www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs

1967-stat-50 (107791B)


      1 This is SBCL 1.0.40.0.debian, an implementation of ANSI Common Lisp.
      2 More information about SBCL is available at <http://www.sbcl.org/>.
      3 
      4 SBCL is free software, provided as is, with absolutely no warranty.
      5 It is mostly in the public domain; some portions are provided under
      6 BSD-style licenses.  See the CREDITS and COPYING files in the
      7 distribution for more information.
      8 * 
      9 T
     10 * 
     11 ek 3
     12 Evaluation took:
     13   0.000 seconds of real time
     14   0.000000 seconds of total run time (0.000000 user, 0.000000 system)
     15   100.00% CPU
     16   581,022 processor cycles
     17   138,800 bytes consed
     18   
     19 di 3
     20 Evaluation took:
     21   0.001 seconds of real time
     22   0.000000 seconds of total run time (0.000000 user, 0.000000 system)
     23   0.00% CPU
     24   743,756 processor cycles
     25   196,240 bytes consed
     26   
     27 ek 4
     28 Evaluation took:
     29   0.001 seconds of real time
     30   0.000000 seconds of total run time (0.000000 user, 0.000000 system)
     31   0.00% CPU
     32   1,227,317 processor cycles
     33   244,912 bytes consed
     34   
     35 di 4
     36 Evaluation took:
     37   0.001 seconds of real time
     38   0.000000 seconds of total run time (0.000000 user, 0.000000 system)
     39   0.00% CPU
     40   2,370,017 processor cycles
     41   488,304 bytes consed
     42   
     43 ek 5
     44 Evaluation took:
     45   0.001 seconds of real time
     46   0.000000 seconds of total run time (0.000000 user, 0.000000 system)
     47   0.00% CPU
     48   2,491,229 processor cycles
     49   439,136 bytes consed
     50   
     51 di 5
     52 Evaluation took:
     53   0.007 seconds of real time
     54   0.010000 seconds of total run time (0.010000 user, 0.000000 system)
     55   142.86% CPU
     56   20,050,745 processor cycles
     57   1,092,464 bytes consed
     58   
     59 ek 6
     60 Evaluation took:
     61   0.001 seconds of real time
     62   0.000000 seconds of total run time (0.000000 user, 0.000000 system)
     63   0.00% CPU
     64   4,209,101 processor cycles
     65   672,336 bytes consed
     66   
     67 di 6
     68 Evaluation took:
     69   0.004 seconds of real time
     70   0.010000 seconds of total run time (0.010000 user, 0.000000 system)
     71   250.00% CPU
     72   12,272,065 processor cycles
     73   1,916,928 bytes consed
     74   
     75 ek 7
     76 Evaluation took:
     77   0.002 seconds of real time
     78   0.000000 seconds of total run time (0.000000 user, 0.000000 system)
     79   0.00% CPU
     80   6,203,951 processor cycles
     81   967,264 bytes consed
     82   
     83 di 7
     84 Evaluation took:
     85   0.008 seconds of real time
     86   0.010000 seconds of total run time (0.010000 user, 0.000000 system)
     87   125.00% CPU
     88   21,038,693 processor cycles
     89   3,139,712 bytes consed
     90   
     91 ek 8
     92 Evaluation took:
     93   0.003 seconds of real time
     94   0.000000 seconds of total run time (0.000000 user, 0.000000 system)
     95   0.00% CPU
     96   8,069,828 processor cycles
     97   1,228,528 bytes consed
     98   
     99 di 8
    100 Evaluation took:
    101   0.015 seconds of real time
    102   0.010000 seconds of total run time (0.010000 user, 0.000000 system)
    103   66.67% CPU
    104   38,224,784 processor cycles
    105   4,731,328 bytes consed
    106   
    107 ek 9
    108 Evaluation took:
    109   0.005 seconds of real time
    110   0.010000 seconds of total run time (0.010000 user, 0.000000 system)
    111   200.00% CPU
    112   10,921,664 processor cycles
    113   1,611,472 bytes consed
    114   
    115 di 9
    116 Evaluation took:
    117   0.029 seconds of real time
    118   0.020000 seconds of total run time (0.020000 user, 0.000000 system)
    119   [ Run times consist of 0.010 seconds GC time, and 0.010 seconds non-GC time. ]
    120   68.97% CPU
    121   76,267,113 processor cycles
    122   6,669,184 bytes consed
    123   
    124 ek 10
    125 Evaluation took:
    126   0.006 seconds of real time
    127   0.010000 seconds of total run time (0.000000 user, 0.010000 system)
    128   166.67% CPU
    129   15,904,863 processor cycles
    130   2,005,088 bytes consed
    131   
    132 di 10
    133 Evaluation took:
    134   0.037 seconds of real time
    135   0.040000 seconds of total run time (0.040000 user, 0.000000 system)
    136   108.11% CPU
    137   94,730,415 processor cycles
    138   9,861,920 bytes consed
    139   
    140 ek 11
    141 Evaluation took:
    142   0.006 seconds of real time
    143   0.000000 seconds of total run time (0.000000 user, 0.000000 system)
    144   0.00% CPU
    145   16,888,456 processor cycles
    146   2,376,320 bytes consed
    147   
    148 di 11
    149 Evaluation took:
    150   0.039 seconds of real time
    151   0.040000 seconds of total run time (0.040000 user, 0.000000 system)
    152   102.56% CPU
    153   102,373,583 processor cycles
    154   11,686,096 bytes consed
    155   
    156 ek 12
    157 Evaluation took:
    158   0.008 seconds of real time
    159   0.010000 seconds of total run time (0.010000 user, 0.000000 system)
    160   125.00% CPU
    161   20,736,339 processor cycles
    162   2,796,688 bytes consed
    163   
    164 di 12
    165 Evaluation took:
    166   0.059 seconds of real time
    167   0.060000 seconds of total run time (0.050000 user, 0.010000 system)
    168   101.69% CPU
    169   153,686,429 processor cycles
    170   16,387,248 bytes consed
    171   
    172 ek 13
    173 Evaluation took:
    174   0.010 seconds of real time
    175   0.010000 seconds of total run time (0.010000 user, 0.000000 system)
    176   100.00% CPU
    177   26,153,205 processor cycles
    178   3,382,192 bytes consed
    179   
    180 di 13
    181 Evaluation took:
    182   0.082 seconds of real time
    183   0.080000 seconds of total run time (0.070000 user, 0.010000 system)
    184   [ Run times consist of 0.020 seconds GC time, and 0.060 seconds non-GC time. ]
    185   97.56% CPU
    186   213,712,785 processor cycles
    187   19,650,976 bytes consed
    188   
    189 ek 14
    190 Evaluation took:
    191   0.016 seconds of real time
    192   0.020000 seconds of total run time (0.020000 user, 0.000000 system)
    193   125.00% CPU
    194   41,213,029 processor cycles
    195   3,768,976 bytes consed
    196   
    197 di 14
    198 Evaluation took:
    199   0.090 seconds of real time
    200   0.090000 seconds of total run time (0.090000 user, 0.000000 system)
    201   100.00% CPU
    202   233,076,259 processor cycles
    203   24,769,776 bytes consed
    204   
    205 ek 15
    206 Evaluation took:
    207   0.013 seconds of real time
    208   0.020000 seconds of total run time (0.020000 user, 0.000000 system)
    209   153.85% CPU
    210   33,960,095 processor cycles
    211   4,315,072 bytes consed
    212   
    213 di 15
    214 Evaluation took:
    215   0.117 seconds of real time
    216   0.110000 seconds of total run time (0.110000 user, 0.000000 system)
    217   [ Run times consist of 0.010 seconds GC time, and 0.100 seconds non-GC time. ]
    218   94.02% CPU
    219   303,591,509 processor cycles
    220   29,798,416 bytes consed
    221   
    222 ek 16
    223 Evaluation took:
    224   0.017 seconds of real time
    225   0.020000 seconds of total run time (0.020000 user, 0.000000 system)
    226   117.65% CPU
    227   44,866,718 processor cycles
    228   4,779,056 bytes consed
    229   
    230 di 16
    231 Evaluation took:
    232   0.136 seconds of real time
    233   0.140000 seconds of total run time (0.140000 user, 0.000000 system)
    234   102.94% CPU
    235   354,163,277 processor cycles
    236   34,771,424 bytes consed
    237   
    238 ek 17
    239 Evaluation took:
    240   0.019 seconds of real time
    241   0.020000 seconds of total run time (0.020000 user, 0.000000 system)
    242   105.26% CPU
    243   50,001,198 processor cycles
    244   5,284,544 bytes consed
    245   
    246 di 17
    247 Evaluation took:
    248   0.153 seconds of real time
    249   0.160000 seconds of total run time (0.160000 user, 0.000000 system)
    250   104.58% CPU
    251   397,304,076 processor cycles
    252   38,995,824 bytes consed
    253   
    254 ek 18
    255 Evaluation took:
    256   0.020 seconds of real time
    257   0.020000 seconds of total run time (0.020000 user, 0.000000 system)
    258   100.00% CPU
    259   51,883,728 processor cycles
    260   5,920,672 bytes consed
    261   
    262 di 18
    263 Evaluation took:
    264   0.196 seconds of real time
    265   0.200000 seconds of total run time (0.180000 user, 0.020000 system)
    266   [ Run times consist of 0.020 seconds GC time, and 0.180 seconds non-GC time. ]
    267   102.04% CPU
    268   508,411,813 processor cycles
    269   46,245,568 bytes consed
    270   
    271 ek 19
    272 Evaluation took:
    273   0.026 seconds of real time
    274   0.020000 seconds of total run time (0.020000 user, 0.000000 system)
    275   76.92% CPU
    276   68,478,085 processor cycles
    277   6,629,840 bytes consed
    278   
    279 di 19
    280 Evaluation took:
    281   0.235 seconds of real time
    282   0.240000 seconds of total run time (0.210000 user, 0.030000 system)
    283   [ Run times consist of 0.020 seconds GC time, and 0.220 seconds non-GC time. ]
    284   102.13% CPU
    285   608,137,504 processor cycles
    286   52,642,800 bytes consed
    287   
    288 ek 20
    289 Evaluation took:
    290   0.023 seconds of real time
    291   0.020000 seconds of total run time (0.020000 user, 0.000000 system)
    292   86.96% CPU
    293   60,621,327 processor cycles
    294   6,974,304 bytes consed
    295   
    296 di 20
    297 Evaluation took:
    298   0.248 seconds of real time
    299   0.250000 seconds of total run time (0.240000 user, 0.010000 system)
    300   [ Run times consist of 0.010 seconds GC time, and 0.240 seconds non-GC time. ]
    301   100.81% CPU
    302   644,750,977 processor cycles
    303   58,350,768 bytes consed
    304   
    305 ek 21
    306 Evaluation took:
    307   0.040 seconds of real time
    308   0.040000 seconds of total run time (0.030000 user, 0.010000 system)
    309   [ Run times consist of 0.020 seconds GC time, and 0.020 seconds non-GC time. ]
    310   100.00% CPU
    311   103,651,379 processor cycles
    312   7,643,744 bytes consed
    313   
    314 di 21
    315 Evaluation took:
    316   0.271 seconds of real time
    317   0.270000 seconds of total run time (0.270000 user, 0.000000 system)
    318   99.63% CPU
    319   702,739,583 processor cycles
    320   65,710,784 bytes consed
    321   
    322 ek 22
    323 Evaluation took:
    324   0.033 seconds of real time
    325   0.030000 seconds of total run time (0.030000 user, 0.000000 system)
    326   [ Run times consist of 0.010 seconds GC time, and 0.020 seconds non-GC time. ]
    327   90.91% CPU
    328   84,215,430 processor cycles
    329   8,142,160 bytes consed
    330   
    331 di 22
    332 Evaluation took:
    333   0.323 seconds of real time
    334   0.320000 seconds of total run time (0.300000 user, 0.020000 system)
    335   [ Run times consist of 0.020 seconds GC time, and 0.300 seconds non-GC time. ]
    336   99.07% CPU
    337   835,309,345 processor cycles
    338   73,046,832 bytes consed
    339   
    340 ek 23
    341 Evaluation took:
    342   0.056 seconds of real time
    343   0.050000 seconds of total run time (0.040000 user, 0.010000 system)
    344   [ Run times consist of 0.020 seconds GC time, and 0.030 seconds non-GC time. ]
    345   89.29% CPU
    346   144,481,220 processor cycles
    347   8,910,608 bytes consed
    348   
    349 di 23
    350 Evaluation took:
    351   0.339 seconds of real time
    352   0.340000 seconds of total run time (0.330000 user, 0.010000 system)
    353   100.29% CPU
    354   877,416,462 processor cycles
    355   79,495,760 bytes consed
    356   
    357 ek 24
    358 Evaluation took:
    359   0.039 seconds of real time
    360   0.040000 seconds of total run time (0.040000 user, 0.000000 system)
    361   [ Run times consist of 0.010 seconds GC time, and 0.030 seconds non-GC time. ]
    362   102.56% CPU
    363   102,672,921 processor cycles
    364   9,487,344 bytes consed
    365   
    366 di 24
    367 Evaluation took:
    368   0.401 seconds of real time
    369   0.400000 seconds of total run time (0.400000 user, 0.000000 system)
    370   [ Run times consist of 0.010 seconds GC time, and 0.390 seconds non-GC time. ]
    371   99.75% CPU
    372   1,041,133,782 processor cycles
    373   91,235,584 bytes consed
    374   
    375 ek 25
    376 Evaluation took:
    377   0.042 seconds of real time
    378   0.040000 seconds of total run time (0.040000 user, 0.000000 system)
    379   95.24% CPU
    380   107,794,076 processor cycles
    381   10,276,048 bytes consed
    382   
    383 di 25
    384 Evaluation took:
    385   0.443 seconds of real time
    386   0.440000 seconds of total run time (0.420000 user, 0.020000 system)
    387   [ Run times consist of 0.030 seconds GC time, and 0.410 seconds non-GC time. ]
    388   99.32% CPU
    389   1,147,560,089 processor cycles
    390   99,166,480 bytes consed
    391   
    392 ek 26
    393 Evaluation took:
    394   0.040 seconds of real time
    395   0.040000 seconds of total run time (0.040000 user, 0.000000 system)
    396   100.00% CPU
    397   102,573,367 processor cycles
    398   10,762,448 bytes consed
    399   
    400 di 26
    401 Evaluation took:
    402   0.469 seconds of real time
    403   0.470000 seconds of total run time (0.460000 user, 0.010000 system)
    404   [ Run times consist of 0.020 seconds GC time, and 0.450 seconds non-GC time. ]
    405   100.21% CPU
    406   1,217,388,861 processor cycles
    407   105,710,256 bytes consed
    408   
    409 ek 27
    410 Evaluation took:
    411   0.047 seconds of real time
    412   0.050000 seconds of total run time (0.030000 user, 0.020000 system)
    413   106.38% CPU
    414   122,133,882 processor cycles
    415   11,187,408 bytes consed
    416   
    417 di 27
    418 Evaluation took:
    419   0.466 seconds of real time
    420   0.460000 seconds of total run time (0.450000 user, 0.010000 system)
    421   [ Run times consist of 0.020 seconds GC time, and 0.440 seconds non-GC time. ]
    422   98.71% CPU
    423   1,209,465,660 processor cycles
    424   108,602,048 bytes consed
    425   
    426 ek 28
    427 Evaluation took:
    428   0.051 seconds of real time
    429   0.050000 seconds of total run time (0.050000 user, 0.000000 system)
    430   [ Run times consist of 0.010 seconds GC time, and 0.040 seconds non-GC time. ]
    431   98.04% CPU
    432   133,116,152 processor cycles
    433   11,951,728 bytes consed
    434   
    435 di 28
    436 Evaluation took:
    437   0.560 seconds of real time
    438   0.560000 seconds of total run time (0.530000 user, 0.030000 system)
    439   [ Run times consist of 0.030 seconds GC time, and 0.530 seconds non-GC time. ]
    440   100.00% CPU
    441   1,452,956,063 processor cycles
    442   120,739,792 bytes consed
    443   
    444 ek 29
    445 Evaluation took:
    446   0.053 seconds of real time
    447   0.050000 seconds of total run time (0.050000 user, 0.000000 system)
    448   [ Run times consist of 0.010 seconds GC time, and 0.040 seconds non-GC time. ]
    449   94.34% CPU
    450   136,131,229 processor cycles
    451   12,789,232 bytes consed
    452   
    453 di 29
    454 Evaluation took:
    455   0.610 seconds of real time
    456   0.610000 seconds of total run time (0.580000 user, 0.030000 system)
    457   [ Run times consist of 0.020 seconds GC time, and 0.590 seconds non-GC time. ]
    458   100.00% CPU
    459   1,579,965,855 processor cycles
    460   133,359,904 bytes consed
    461   
    462 ek 30
    463 Evaluation took:
    464   0.068 seconds of real time
    465   0.070000 seconds of total run time (0.070000 user, 0.000000 system)
    466   [ Run times consist of 0.010 seconds GC time, and 0.060 seconds non-GC time. ]
    467   102.94% CPU
    468   176,553,832 processor cycles
    469   13,080,016 bytes consed
    470   
    471 di 30
    472 Evaluation took:
    473   0.585 seconds of real time
    474   0.580000 seconds of total run time (0.580000 user, 0.000000 system)
    475   [ Run times consist of 0.020 seconds GC time, and 0.560 seconds non-GC time. ]
    476   99.15% CPU
    477   1,518,668,528 processor cycles
    478   132,595,840 bytes consed
    479   
    480 ek 31
    481 Evaluation took:
    482   0.065 seconds of real time
    483   0.060000 seconds of total run time (0.050000 user, 0.010000 system)
    484   [ Run times consist of 0.010 seconds GC time, and 0.050 seconds non-GC time. ]
    485   92.31% CPU
    486   168,236,302 processor cycles
    487   13,969,344 bytes consed
    488   
    489 di 31
    490 Evaluation took:
    491   0.659 seconds of real time
    492   0.660000 seconds of total run time (0.650000 user, 0.010000 system)
    493   [ Run times consist of 0.020 seconds GC time, and 0.640 seconds non-GC time. ]
    494   100.15% CPU
    495   1,709,453,434 processor cycles
    496   144,065,552 bytes consed
    497   
    498 ek 32
    499 Evaluation took:
    500   0.094 seconds of real time
    501   0.090000 seconds of total run time (0.060000 user, 0.030000 system)
    502   [ Run times consist of 0.030 seconds GC time, and 0.060 seconds non-GC time. ]
    503   95.74% CPU
    504   242,273,616 processor cycles
    505   14,634,880 bytes consed
    506   
    507 di 32
    508 Evaluation took:
    509   0.703 seconds of real time
    510   0.710000 seconds of total run time (0.710000 user, 0.000000 system)
    511   [ Run times consist of 0.010 seconds GC time, and 0.700 seconds non-GC time. ]
    512   101.00% CPU
    513   1,823,711,279 processor cycles
    514   156,955,280 bytes consed
    515   
    516 ek 33
    517 Evaluation took:
    518   0.068 seconds of real time
    519   0.070000 seconds of total run time (0.060000 user, 0.010000 system)
    520   [ Run times consist of 0.010 seconds GC time, and 0.060 seconds non-GC time. ]
    521   102.94% CPU
    522   176,072,754 processor cycles
    523   15,370,720 bytes consed
    524   
    525 di 33
    526 Evaluation took:
    527   0.759 seconds of real time
    528   0.760000 seconds of total run time (0.750000 user, 0.010000 system)
    529   [ Run times consist of 0.020 seconds GC time, and 0.740 seconds non-GC time. ]
    530   100.13% CPU
    531   1,968,720,039 processor cycles
    532   162,407,568 bytes consed
    533   
    534 ek 34
    535 Evaluation took:
    536   0.068 seconds of real time
    537   0.070000 seconds of total run time (0.070000 user, 0.000000 system)
    538   102.94% CPU
    539   176,624,890 processor cycles
    540   15,497,264 bytes consed
    541   
    542 di 34
    543 Evaluation took:
    544   0.736 seconds of real time
    545   0.740000 seconds of total run time (0.740000 user, 0.000000 system)
    546   [ Run times consist of 0.010 seconds GC time, and 0.730 seconds non-GC time. ]
    547   100.54% CPU
    548   1,909,735,568 processor cycles
    549   162,371,072 bytes consed
    550   
    551 ek 35
    552 Evaluation took:
    553   0.098 seconds of real time
    554   0.090000 seconds of total run time (0.080000 user, 0.010000 system)
    555   [ Run times consist of 0.020 seconds GC time, and 0.070 seconds non-GC time. ]
    556   91.84% CPU
    557   252,746,247 processor cycles
    558   16,574,224 bytes consed
    559   
    560 di 35
    561 Evaluation took:
    562   0.818 seconds of real time
    563   0.820000 seconds of total run time (0.810000 user, 0.010000 system)
    564   [ Run times consist of 0.020 seconds GC time, and 0.800 seconds non-GC time. ]
    565   100.24% CPU
    566   2,119,961,181 processor cycles
    567   177,441,536 bytes consed
    568   
    569 ek 36
    570 Evaluation took:
    571   0.086 seconds of real time
    572   0.090000 seconds of total run time (0.090000 user, 0.000000 system)
    573   [ Run times consist of 0.010 seconds GC time, and 0.080 seconds non-GC time. ]
    574   104.65% CPU
    575   222,585,298 processor cycles
    576   17,548,720 bytes consed
    577   
    578 di 36
    579 Evaluation took:
    580   0.930 seconds of real time
    581   0.920000 seconds of total run time (0.900000 user, 0.020000 system)
    582   [ Run times consist of 0.010 seconds GC time, and 0.910 seconds non-GC time. ]
    583   98.92% CPU
    584   2,410,015,153 processor cycles
    585   197,615,456 bytes consed
    586   
    587 ek 37
    588 Evaluation took:
    589   0.116 seconds of real time
    590   0.120000 seconds of total run time (0.110000 user, 0.010000 system)
    591   [ Run times consist of 0.040 seconds GC time, and 0.080 seconds non-GC time. ]
    592   103.45% CPU
    593   300,024,127 processor cycles
    594   17,741,776 bytes consed
    595   
    596 di 37
    597 Evaluation took:
    598   0.904 seconds of real time
    599   0.900000 seconds of total run time (0.890000 user, 0.010000 system)
    600   [ Run times consist of 0.030 seconds GC time, and 0.870 seconds non-GC time. ]
    601   99.56% CPU
    602   2,345,325,801 processor cycles
    603   194,630,544 bytes consed
    604   
    605 ek 38
    606 Evaluation took:
    607   0.087 seconds of real time
    608   0.080000 seconds of total run time (0.080000 user, 0.000000 system)
    609   [ Run times consist of 0.010 seconds GC time, and 0.070 seconds non-GC time. ]
    610   91.95% CPU
    611   225,895,579 processor cycles
    612   18,176,528 bytes consed
    613   
    614 di 38
    615 Evaluation took:
    616   0.982 seconds of real time
    617   0.990000 seconds of total run time (0.980000 user, 0.010000 system)
    618   [ Run times consist of 0.030 seconds GC time, and 0.960 seconds non-GC time. ]
    619   100.81% CPU
    620   2,548,004,576 processor cycles
    621   206,598,544 bytes consed
    622   
    623 ek 39
    624 Evaluation took:
    625   0.084 seconds of real time
    626   0.080000 seconds of total run time (0.080000 user, 0.000000 system)
    627   [ Run times consist of 0.010 seconds GC time, and 0.070 seconds non-GC time. ]
    628   95.24% CPU
    629   217,011,561 processor cycles
    630   18,826,560 bytes consed
    631   
    632 di 39
    633 Evaluation took:
    634   0.966 seconds of real time
    635   0.970000 seconds of total run time (0.950000 user, 0.020000 system)
    636   [ Run times consist of 0.030 seconds GC time, and 0.940 seconds non-GC time. ]
    637   100.41% CPU
    638   2,504,892,637 processor cycles
    639   204,535,856 bytes consed
    640   
    641 ek 40
    642 Evaluation took:
    643   0.089 seconds of real time
    644   0.090000 seconds of total run time (0.080000 user, 0.010000 system)
    645   [ Run times consist of 0.010 seconds GC time, and 0.080 seconds non-GC time. ]
    646   101.12% CPU
    647   230,243,520 processor cycles
    648   19,244,928 bytes consed
    649   
    650 di 40
    651 Evaluation took:
    652   1.013 seconds of real time
    653   1.020000 seconds of total run time (1.000000 user, 0.020000 system)
    654   [ Run times consist of 0.030 seconds GC time, and 0.990 seconds non-GC time. ]
    655   100.69% CPU
    656   2,629,163,732 processor cycles
    657   214,332,512 bytes consed
    658   
    659 ek 41
    660 Evaluation took:
    661   0.095 seconds of real time
    662   0.090000 seconds of total run time (0.090000 user, 0.000000 system)
    663   94.74% CPU
    664   246,325,391 processor cycles
    665   20,770,240 bytes consed
    666   
    667 di 41
    668 Evaluation took:
    669   1.181 seconds of real time
    670   1.190000 seconds of total run time (1.180000 user, 0.010000 system)
    671   [ Run times consist of 0.010 seconds GC time, and 1.180 seconds non-GC time. ]
    672   100.76% CPU
    673   3,063,243,339 processor cycles
    674   245,459,680 bytes consed
    675   
    676 ek 42
    677 Evaluation took:
    678   0.094 seconds of real time
    679   0.090000 seconds of total run time (0.080000 user, 0.010000 system)
    680   [ Run times consist of 0.010 seconds GC time, and 0.080 seconds non-GC time. ]
    681   95.74% CPU
    682   243,636,120 processor cycles
    683   20,899,424 bytes consed
    684   
    685 di 42
    686 Evaluation took:
    687   1.184 seconds of real time
    688   1.180000 seconds of total run time (1.180000 user, 0.000000 system)
    689   99.66% CPU
    690   3,070,710,435 processor cycles
    691   248,910,080 bytes consed
    692   
    693 ek 43
    694 Evaluation took:
    695   0.103 seconds of real time
    696   0.100000 seconds of total run time (0.090000 user, 0.010000 system)
    697   [ Run times consist of 0.010 seconds GC time, and 0.090 seconds non-GC time. ]
    698   97.09% CPU
    699   266,291,610 processor cycles
    700   21,872,352 bytes consed
    701   
    702 di 43
    703 Evaluation took:
    704   1.232 seconds of real time
    705   1.230000 seconds of total run time (1.230000 user, 0.000000 system)
    706   [ Run times consist of 0.050 seconds GC time, and 1.180 seconds non-GC time. ]
    707   99.84% CPU
    708   3,195,548,005 processor cycles
    709   249,711,552 bytes consed
    710   
    711 ek 44
    712 Evaluation took:
    713   0.108 seconds of real time
    714   0.110000 seconds of total run time (0.110000 user, 0.000000 system)
    715   101.85% CPU
    716   279,622,148 processor cycles
    717   22,207,760 bytes consed
    718   
    719 di 44
    720 Evaluation took:
    721   1.261 seconds of real time
    722   1.260000 seconds of total run time (1.260000 user, 0.000000 system)
    723   [ Run times consist of 0.020 seconds GC time, and 1.240 seconds non-GC time. ]
    724   99.92% CPU
    725   3,270,931,833 processor cycles
    726   258,225,472 bytes consed
    727   
    728 ek 45
    729 Evaluation took:
    730   0.116 seconds of real time
    731   0.110000 seconds of total run time (0.110000 user, 0.000000 system)
    732   [ Run times consist of 0.010 seconds GC time, and 0.100 seconds non-GC time. ]
    733   94.83% CPU
    734   301,421,601 processor cycles
    735   23,822,448 bytes consed
    736   
    737 di 45
    738 Evaluation took:
    739   1.479 seconds of real time
    740   1.480000 seconds of total run time (1.480000 user, 0.000000 system)
    741   [ Run times consist of 0.060 seconds GC time, and 1.420 seconds non-GC time. ]
    742   100.07% CPU
    743   3,835,214,019 processor cycles
    744   292,458,768 bytes consed
    745   
    746 ek 46
    747 Evaluation took:
    748   0.118 seconds of real time
    749   0.120000 seconds of total run time (0.110000 user, 0.010000 system)
    750   101.69% CPU
    751   307,621,587 processor cycles
    752   24,397,616 bytes consed
    753   
    754 di 46
    755 Evaluation took:
    756   1.459 seconds of real time
    757   1.460000 seconds of total run time (1.430000 user, 0.030000 system)
    758   [ Run times consist of 0.040 seconds GC time, and 1.420 seconds non-GC time. ]
    759   100.07% CPU
    760   3,783,926,055 processor cycles
    761   295,383,984 bytes consed
    762   
    763 ek 47
    764 Evaluation took:
    765   0.106 seconds of real time
    766   0.100000 seconds of total run time (0.100000 user, 0.000000 system)
    767   [ Run times consist of 0.010 seconds GC time, and 0.090 seconds non-GC time. ]
    768   94.34% CPU
    769   274,612,065 processor cycles
    770   24,172,032 bytes consed
    771   
    772 di 47
    773 Evaluation took:
    774   1.387 seconds of real time
    775   1.380000 seconds of total run time (1.370000 user, 0.010000 system)
    776   [ Run times consist of 0.030 seconds GC time, and 1.350 seconds non-GC time. ]
    777   99.50% CPU
    778   3,596,080,111 processor cycles
    779   286,911,296 bytes consed
    780   
    781 ek 48
    782 Evaluation took:
    783   0.123 seconds of real time
    784   0.110000 seconds of total run time (0.090000 user, 0.020000 system)
    785   [ Run times consist of 0.020 seconds GC time, and 0.090 seconds non-GC time. ]
    786   89.43% CPU
    787   320,418,761 processor cycles
    788   25,204,816 bytes consed
    789   
    790 di 48
    791 Evaluation took:
    792   1.474 seconds of real time
    793   1.470000 seconds of total run time (1.450000 user, 0.020000 system)
    794   [ Run times consist of 0.030 seconds GC time, and 1.440 seconds non-GC time. ]
    795   99.73% CPU
    796   3,824,539,147 processor cycles
    797   299,029,008 bytes consed
    798   
    799 ek 49
    800 Evaluation took:
    801   0.130 seconds of real time
    802   0.130000 seconds of total run time (0.120000 user, 0.010000 system)
    803   [ Run times consist of 0.020 seconds GC time, and 0.110 seconds non-GC time. ]
    804   100.00% CPU
    805   337,633,725 processor cycles
    806   25,920,608 bytes consed
    807   
    808 di 49
    809 Evaluation took:
    810   1.565 seconds of real time
    811   1.560000 seconds of total run time (1.550000 user, 0.010000 system)
    812   [ Run times consist of 0.050 seconds GC time, and 1.510 seconds non-GC time. ]
    813   99.68% CPU
    814   4,057,693,406 processor cycles
    815   316,437,024 bytes consed
    816   
    817 ek 50
    818 Evaluation took:
    819   0.127 seconds of real time
    820   0.130000 seconds of total run time (0.120000 user, 0.010000 system)
    821   [ Run times consist of 0.010 seconds GC time, and 0.120 seconds non-GC time. ]
    822   102.36% CPU
    823   330,166,538 processor cycles
    824   26,452,784 bytes consed
    825   
    826 di 50
    827 Evaluation took:
    828   1.629 seconds of real time
    829   1.630000 seconds of total run time (1.620000 user, 0.010000 system)
    830   [ Run times consist of 0.020 seconds GC time, and 1.610 seconds non-GC time. ]
    831   100.06% CPU
    832   4,225,315,094 processor cycles
    833   328,796,992 bytes consed
    834   
    835 ek 51
    836 Evaluation took:
    837   0.132 seconds of real time
    838   0.130000 seconds of total run time (0.130000 user, 0.000000 system)
    839   98.48% CPU
    840   341,598,894 processor cycles
    841   27,540,576 bytes consed
    842   
    843 di 51
    844 Evaluation took:
    845   1.691 seconds of real time
    846   1.690000 seconds of total run time (1.690000 user, 0.000000 system)
    847   [ Run times consist of 0.040 seconds GC time, and 1.650 seconds non-GC time. ]
    848   99.94% CPU
    849   4,385,664,296 processor cycles
    850   340,910,256 bytes consed
    851   
    852 ek 52
    853 Evaluation took:
    854   0.139 seconds of real time
    855   0.140000 seconds of total run time (0.140000 user, 0.000000 system)
    856   [ Run times consist of 0.010 seconds GC time, and 0.130 seconds non-GC time. ]
    857   100.72% CPU
    858   361,477,623 processor cycles
    859   28,173,200 bytes consed
    860   
    861 di 52
    862 Evaluation took:
    863   1.789 seconds of real time
    864   1.790000 seconds of total run time (1.780000 user, 0.010000 system)
    865   [ Run times consist of 0.060 seconds GC time, and 1.730 seconds non-GC time. ]
    866   100.06% CPU
    867   4,639,605,763 processor cycles
    868   357,762,752 bytes consed
    869   
    870 ek 53
    871 Evaluation took:
    872   0.150 seconds of real time
    873   0.150000 seconds of total run time (0.140000 user, 0.010000 system)
    874   [ Run times consist of 0.020 seconds GC time, and 0.130 seconds non-GC time. ]
    875   100.00% CPU
    876   389,445,875 processor cycles
    877   29,277,760 bytes consed
    878   
    879 di 53
    880 Evaluation took:
    881   1.867 seconds of real time
    882   1.860000 seconds of total run time (1.820000 user, 0.040000 system)
    883   [ Run times consist of 0.110 seconds GC time, and 1.750 seconds non-GC time. ]
    884   99.63% CPU
    885   4,843,898,280 processor cycles
    886   365,228,624 bytes consed
    887   
    888 ek 54
    889 Evaluation took:
    890   0.177 seconds of real time
    891   0.170000 seconds of total run time (0.170000 user, 0.000000 system)
    892   [ Run times consist of 0.040 seconds GC time, and 0.130 seconds non-GC time. ]
    893   96.05% CPU
    894   460,632,588 processor cycles
    895   30,075,440 bytes consed
    896   
    897 di 54
    898 Evaluation took:
    899   1.913 seconds of real time
    900   1.920000 seconds of total run time (1.910000 user, 0.010000 system)
    901   [ Run times consist of 0.070 seconds GC time, and 1.850 seconds non-GC time. ]
    902   100.37% CPU
    903   4,961,056,828 processor cycles
    904   377,861,648 bytes consed
    905   
    906 ek 55
    907 Evaluation took:
    908   0.151 seconds of real time
    909   0.160000 seconds of total run time (0.160000 user, 0.000000 system)
    910   [ Run times consist of 0.020 seconds GC time, and 0.140 seconds non-GC time. ]
    911   105.96% CPU
    912   391,012,141 processor cycles
    913   30,202,496 bytes consed
    914   
    915 di 55
    916 Evaluation took:
    917   1.927 seconds of real time
    918   1.920000 seconds of total run time (1.910000 user, 0.010000 system)
    919   [ Run times consist of 0.100 seconds GC time, and 1.820 seconds non-GC time. ]
    920   99.64% CPU
    921   4,997,269,940 processor cycles
    922   380,374,208 bytes consed
    923   
    924 ek 56
    925 Evaluation took:
    926   0.174 seconds of real time
    927   0.170000 seconds of total run time (0.170000 user, 0.000000 system)
    928   [ Run times consist of 0.020 seconds GC time, and 0.150 seconds non-GC time. ]
    929   97.70% CPU
    930   451,275,032 processor cycles
    931   31,560,128 bytes consed
    932   
    933 di 56
    934 Evaluation took:
    935   2.103 seconds of real time
    936   2.100000 seconds of total run time (2.070000 user, 0.030000 system)
    937   [ Run times consist of 0.080 seconds GC time, and 2.020 seconds non-GC time. ]
    938   99.86% CPU
    939   5,453,913,426 processor cycles
    940   415,885,408 bytes consed
    941   
    942 ek 57
    943 Evaluation took:
    944   0.172 seconds of real time
    945   0.170000 seconds of total run time (0.160000 user, 0.010000 system)
    946   [ Run times consist of 0.020 seconds GC time, and 0.150 seconds non-GC time. ]
    947   98.84% CPU
    948   445,699,644 processor cycles
    949   30,939,824 bytes consed
    950   
    951 di 57
    952 Evaluation took:
    953   1.936 seconds of real time
    954   1.940000 seconds of total run time (1.940000 user, 0.000000 system)
    955   [ Run times consist of 0.060 seconds GC time, and 1.880 seconds non-GC time. ]
    956   100.21% CPU
    957   5,020,911,532 processor cycles
    958   382,918,480 bytes consed
    959   
    960 ek 58
    961 Evaluation took:
    962   0.178 seconds of real time
    963   0.180000 seconds of total run time (0.170000 user, 0.010000 system)
    964   [ Run times consist of 0.030 seconds GC time, and 0.150 seconds non-GC time. ]
    965   101.12% CPU
    966   460,196,620 processor cycles
    967   32,248,176 bytes consed
    968   
    969 di 58
    970 Evaluation took:
    971   2.160 seconds of real time
    972   2.150000 seconds of total run time (2.130000 user, 0.020000 system)
    973   [ Run times consist of 0.110 seconds GC time, and 2.040 seconds non-GC time. ]
    974   99.54% CPU
    975   5,603,285,753 processor cycles
    976   413,207,200 bytes consed
    977   
    978 ek 59
    979 Evaluation took:
    980   0.181 seconds of real time
    981   0.180000 seconds of total run time (0.160000 user, 0.020000 system)
    982   [ Run times consist of 0.040 seconds GC time, and 0.140 seconds non-GC time. ]
    983   99.45% CPU
    984   467,772,318 processor cycles
    985   32,525,408 bytes consed
    986   
    987 di 59
    988 Evaluation took:
    989   2.063 seconds of real time
    990   2.060000 seconds of total run time (2.050000 user, 0.010000 system)
    991   [ Run times consist of 0.070 seconds GC time, and 1.990 seconds non-GC time. ]
    992   99.85% CPU
    993   5,349,952,218 processor cycles
    994   405,337,920 bytes consed
    995   
    996 ek 60
    997 Evaluation took:
    998   0.195 seconds of real time
    999   0.200000 seconds of total run time (0.200000 user, 0.000000 system)
   1000   [ Run times consist of 0.040 seconds GC time, and 0.160 seconds non-GC time. ]
   1001   102.56% CPU
   1002   505,453,520 processor cycles
   1003   34,289,568 bytes consed
   1004   
   1005 di 60
   1006 Evaluation took:
   1007   2.340 seconds of real time
   1008   2.340000 seconds of total run time (2.310000 user, 0.030000 system)
   1009   [ Run times consist of 0.120 seconds GC time, and 2.220 seconds non-GC time. ]
   1010   100.00% CPU
   1011   6,070,006,956 processor cycles
   1012   447,848,992 bytes consed
   1013   
   1014 ek 61
   1015 Evaluation took:
   1016   0.198 seconds of real time
   1017   0.200000 seconds of total run time (0.190000 user, 0.010000 system)
   1018   [ Run times consist of 0.040 seconds GC time, and 0.160 seconds non-GC time. ]
   1019   101.01% CPU
   1020   514,445,503 processor cycles
   1021   34,401,776 bytes consed
   1022   
   1023 di 61
   1024 Evaluation took:
   1025   2.287 seconds of real time
   1026   2.290000 seconds of total run time (2.280000 user, 0.010000 system)
   1027   [ Run times consist of 0.080 seconds GC time, and 2.210 seconds non-GC time. ]
   1028   100.13% CPU
   1029   5,930,369,276 processor cycles
   1030   447,449,424 bytes consed
   1031   
   1032 ek 62
   1033 Evaluation took:
   1034   0.198 seconds of real time
   1035   0.190000 seconds of total run time (0.160000 user, 0.030000 system)
   1036   [ Run times consist of 0.040 seconds GC time, and 0.150 seconds non-GC time. ]
   1037   95.96% CPU
   1038   513,462,079 processor cycles
   1039   34,379,792 bytes consed
   1040   
   1041 di 62
   1042 Evaluation took:
   1043   2.241 seconds of real time
   1044   2.230000 seconds of total run time (2.190000 user, 0.040000 system)
   1045   [ Run times consist of 0.020 seconds GC time, and 2.210 seconds non-GC time. ]
   1046   99.51% CPU
   1047   5,812,498,731 processor cycles
   1048   443,012,192 bytes consed
   1049   
   1050 ek 63
   1051 Evaluation took:
   1052   0.198 seconds of real time
   1053   0.200000 seconds of total run time (0.190000 user, 0.010000 system)
   1054   [ Run times consist of 0.030 seconds GC time, and 0.170 seconds non-GC time. ]
   1055   101.01% CPU
   1056   511,838,184 processor cycles
   1057   34,979,344 bytes consed
   1058   
   1059 di 63
   1060 Evaluation took:
   1061   2.309 seconds of real time
   1062   2.310000 seconds of total run time (2.280000 user, 0.030000 system)
   1063   [ Run times consist of 0.120 seconds GC time, and 2.190 seconds non-GC time. ]
   1064   100.04% CPU
   1065   5,988,154,094 processor cycles
   1066   451,281,520 bytes consed
   1067   
   1068 ek 64
   1069 Evaluation took:
   1070   0.220 seconds of real time
   1071   0.220000 seconds of total run time (0.220000 user, 0.000000 system)
   1072   [ Run times consist of 0.040 seconds GC time, and 0.180 seconds non-GC time. ]
   1073   100.00% CPU
   1074   569,717,343 processor cycles
   1075   37,188,272 bytes consed
   1076   
   1077 di 64
   1078 Evaluation took:
   1079   2.636 seconds of real time
   1080   2.640000 seconds of total run time (2.630000 user, 0.010000 system)
   1081   [ Run times consist of 0.120 seconds GC time, and 2.520 seconds non-GC time. ]
   1082   100.15% CPU
   1083   6,836,708,164 processor cycles
   1084   503,242,256 bytes consed
   1085   
   1086 ek 65
   1087 Evaluation took:
   1088   0.221 seconds of real time
   1089   0.220000 seconds of total run time (0.200000 user, 0.020000 system)
   1090   [ Run times consist of 0.040 seconds GC time, and 0.180 seconds non-GC time. ]
   1091   99.55% CPU
   1092   574,845,804 processor cycles
   1093   37,504,624 bytes consed
   1094   
   1095 di 65
   1096 Evaluation took:
   1097   2.555 seconds of real time
   1098   2.560000 seconds of total run time (2.500000 user, 0.060000 system)
   1099   [ Run times consist of 0.070 seconds GC time, and 2.490 seconds non-GC time. ]
   1100   100.20% CPU
   1101   6,627,682,373 processor cycles
   1102   495,386,688 bytes consed
   1103   
   1104 ek 66
   1105 Evaluation took:
   1106   0.208 seconds of real time
   1107   0.210000 seconds of total run time (0.200000 user, 0.010000 system)
   1108   [ Run times consist of 0.030 seconds GC time, and 0.180 seconds non-GC time. ]
   1109   100.96% CPU
   1110   539,089,395 processor cycles
   1111   37,733,024 bytes consed
   1112   
   1113 di 66
   1114 Evaluation took:
   1115   2.649 seconds of real time
   1116   2.650000 seconds of total run time (2.650000 user, 0.000000 system)
   1117   [ Run times consist of 0.120 seconds GC time, and 2.530 seconds non-GC time. ]
   1118   100.04% CPU
   1119   6,869,736,159 processor cycles
   1120   504,861,216 bytes consed
   1121   
   1122 ek 67
   1123 Evaluation took:
   1124   0.218 seconds of real time
   1125   0.220000 seconds of total run time (0.200000 user, 0.020000 system)
   1126   [ Run times consist of 0.030 seconds GC time, and 0.190 seconds non-GC time. ]
   1127   100.92% CPU
   1128   566,933,770 processor cycles
   1129   38,931,392 bytes consed
   1130   
   1131 di 67
   1132 Evaluation took:
   1133   2.762 seconds of real time
   1134   2.760000 seconds of total run time (2.710000 user, 0.050000 system)
   1135   [ Run times consist of 0.220 seconds GC time, and 2.540 seconds non-GC time. ]
   1136   99.93% CPU
   1137   7,163,180,375 processor cycles
   1138   518,729,728 bytes consed
   1139   
   1140 ek 68
   1141 Evaluation took:
   1142   0.234 seconds of real time
   1143   0.230000 seconds of total run time (0.230000 user, 0.000000 system)
   1144   [ Run times consist of 0.050 seconds GC time, and 0.180 seconds non-GC time. ]
   1145   98.29% CPU
   1146   606,757,463 processor cycles
   1147   39,581,216 bytes consed
   1148   
   1149 di 68
   1150 Evaluation took:
   1151   2.698 seconds of real time
   1152   2.700000 seconds of total run time (2.700000 user, 0.000000 system)
   1153   [ Run times consist of 0.140 seconds GC time, and 2.560 seconds non-GC time. ]
   1154   100.07% CPU
   1155   6,996,633,813 processor cycles
   1156   516,052,512 bytes consed
   1157   
   1158 ek 69
   1159 Evaluation took:
   1160   0.228 seconds of real time
   1161   0.230000 seconds of total run time (0.230000 user, 0.000000 system)
   1162   [ Run times consist of 0.050 seconds GC time, and 0.180 seconds non-GC time. ]
   1163   100.88% CPU
   1164   591,499,038 processor cycles
   1165   39,925,040 bytes consed
   1166   
   1167 di 69
   1168 Evaluation took:
   1169   2.706 seconds of real time
   1170   2.690000 seconds of total run time (2.650000 user, 0.040000 system)
   1171   [ Run times consist of 0.090 seconds GC time, and 2.600 seconds non-GC time. ]
   1172   99.41% CPU
   1173   7,018,764,701 processor cycles
   1174   516,109,440 bytes consed
   1175   
   1176 ek 70
   1177 Evaluation took:
   1178   0.238 seconds of real time
   1179   0.240000 seconds of total run time (0.220000 user, 0.020000 system)
   1180   [ Run times consist of 0.030 seconds GC time, and 0.210 seconds non-GC time. ]
   1181   100.84% CPU
   1182   617,122,623 processor cycles
   1183   41,222,480 bytes consed
   1184   
   1185 di 70
   1186 Evaluation took:
   1187   2.990 seconds of real time
   1188   2.990000 seconds of total run time (2.970000 user, 0.020000 system)
   1189   [ Run times consist of 0.120 seconds GC time, and 2.870 seconds non-GC time. ]
   1190   100.00% CPU
   1191   7,752,023,578 processor cycles
   1192   568,557,088 bytes consed
   1193   
   1194 ek 71
   1195 Evaluation took:
   1196   0.234 seconds of real time
   1197   0.230000 seconds of total run time (0.230000 user, 0.000000 system)
   1198   [ Run times consist of 0.040 seconds GC time, and 0.190 seconds non-GC time. ]
   1199   98.29% CPU
   1200   608,967,034 processor cycles
   1201   41,652,272 bytes consed
   1202   
   1203 di 71
   1204 Evaluation took:
   1205   2.974 seconds of real time
   1206   2.970000 seconds of total run time (2.920000 user, 0.050000 system)
   1207   [ Run times consist of 0.130 seconds GC time, and 2.840 seconds non-GC time. ]
   1208   99.87% CPU
   1209   7,712,238,053 processor cycles
   1210   563,615,696 bytes consed
   1211   
   1212 ek 72
   1213 Evaluation took:
   1214   0.245 seconds of real time
   1215   0.250000 seconds of total run time (0.250000 user, 0.000000 system)
   1216   [ Run times consist of 0.040 seconds GC time, and 0.210 seconds non-GC time. ]
   1217   102.04% CPU
   1218   635,000,795 processor cycles
   1219   42,122,400 bytes consed
   1220   
   1221 di 72
   1222 Evaluation took:
   1223   2.911 seconds of real time
   1224   2.910000 seconds of total run time (2.860000 user, 0.050000 system)
   1225   [ Run times consist of 0.100 seconds GC time, and 2.810 seconds non-GC time. ]
   1226   99.97% CPU
   1227   7,551,278,098 processor cycles
   1228   548,640,448 bytes consed
   1229   
   1230 ek 73
   1231 Evaluation took:
   1232   0.261 seconds of real time
   1233   0.260000 seconds of total run time (0.240000 user, 0.020000 system)
   1234   [ Run times consist of 0.060 seconds GC time, and 0.200 seconds non-GC time. ]
   1235   99.62% CPU
   1236   674,945,414 processor cycles
   1237   43,541,536 bytes consed
   1238   
   1239 di 73
   1240 Evaluation took:
   1241   3.034 seconds of real time
   1242   3.030000 seconds of total run time (3.010000 user, 0.020000 system)
   1243   [ Run times consist of 0.120 seconds GC time, and 2.910 seconds non-GC time. ]
   1244   99.87% CPU
   1245   7,867,782,858 processor cycles
   1246   573,804,672 bytes consed
   1247   
   1248 ek 74
   1249 Evaluation took:
   1250   0.225 seconds of real time
   1251   0.230000 seconds of total run time (0.210000 user, 0.020000 system)
   1252   [ Run times consist of 0.010 seconds GC time, and 0.220 seconds non-GC time. ]
   1253   102.22% CPU
   1254   584,829,609 processor cycles
   1255   43,959,440 bytes consed
   1256   
   1257 di 74
   1258 Evaluation took:
   1259   3.092 seconds of real time
   1260   3.090000 seconds of total run time (3.050000 user, 0.040000 system)
   1261   [ Run times consist of 0.110 seconds GC time, and 2.980 seconds non-GC time. ]
   1262   99.94% CPU
   1263   8,019,990,251 processor cycles
   1264   587,531,488 bytes consed
   1265   
   1266 ek 75
   1267 Evaluation took:
   1268   0.266 seconds of real time
   1269   0.270000 seconds of total run time (0.260000 user, 0.010000 system)
   1270   [ Run times consist of 0.040 seconds GC time, and 0.230 seconds non-GC time. ]
   1271   101.50% CPU
   1272   690,141,231 processor cycles
   1273   45,230,672 bytes consed
   1274   
   1275 di 75
   1276 Evaluation took:
   1277   3.224 seconds of real time
   1278   3.220000 seconds of total run time (3.180000 user, 0.040000 system)
   1279   [ Run times consist of 0.150 seconds GC time, and 3.070 seconds non-GC time. ]
   1280   99.88% CPU
   1281   8,360,389,687 processor cycles
   1282   605,795,264 bytes consed
   1283   
   1284 ek 76
   1285 Evaluation took:
   1286   0.228 seconds of real time
   1287   0.220000 seconds of total run time (0.210000 user, 0.010000 system)
   1288   [ Run times consist of 0.020 seconds GC time, and 0.200 seconds non-GC time. ]
   1289   96.49% CPU
   1290   592,128,966 processor cycles
   1291   45,252,800 bytes consed
   1292   
   1293 di 76
   1294 Evaluation took:
   1295   3.341 seconds of real time
   1296   3.340000 seconds of total run time (3.290000 user, 0.050000 system)
   1297   [ Run times consist of 0.150 seconds GC time, and 3.190 seconds non-GC time. ]
   1298   99.97% CPU
   1299   8,665,158,580 processor cycles
   1300   622,113,184 bytes consed
   1301   
   1302 ek 77
   1303 Evaluation took:
   1304   0.286 seconds of real time
   1305   0.290000 seconds of total run time (0.290000 user, 0.000000 system)
   1306   [ Run times consist of 0.050 seconds GC time, and 0.240 seconds non-GC time. ]
   1307   101.40% CPU
   1308   742,092,078 processor cycles
   1309   47,095,472 bytes consed
   1310   
   1311 di 77
   1312 Evaluation took:
   1313   3.524 seconds of real time
   1314   3.510000 seconds of total run time (3.470000 user, 0.040000 system)
   1315   [ Run times consist of 0.170 seconds GC time, and 3.340 seconds non-GC time. ]
   1316   99.60% CPU
   1317   9,140,209,858 processor cycles
   1318   650,899,296 bytes consed
   1319   
   1320 ek 78
   1321 Evaluation took:
   1322   0.259 seconds of real time
   1323   0.260000 seconds of total run time (0.240000 user, 0.020000 system)
   1324   [ Run times consist of 0.040 seconds GC time, and 0.220 seconds non-GC time. ]
   1325   100.39% CPU
   1326   673,489,037 processor cycles
   1327   45,243,408 bytes consed
   1328   
   1329 di 78
   1330 Evaluation took:
   1331   3.209 seconds of real time
   1332   3.210000 seconds of total run time (3.190000 user, 0.020000 system)
   1333   [ Run times consist of 0.130 seconds GC time, and 3.080 seconds non-GC time. ]
   1334   100.03% CPU
   1335   8,321,501,799 processor cycles
   1336   605,547,104 bytes consed
   1337   
   1338 ek 79
   1339 Evaluation took:
   1340   0.266 seconds of real time
   1341   0.270000 seconds of total run time (0.270000 user, 0.000000 system)
   1342   [ Run times consist of 0.040 seconds GC time, and 0.230 seconds non-GC time. ]
   1343   101.50% CPU
   1344   690,577,732 processor cycles
   1345   47,709,920 bytes consed
   1346   
   1347 di 79
   1348 Evaluation took:
   1349   3.630 seconds of real time
   1350   3.630000 seconds of total run time (3.580000 user, 0.050000 system)
   1351   [ Run times consist of 0.170 seconds GC time, and 3.460 seconds non-GC time. ]
   1352   100.00% CPU
   1353   9,415,353,389 processor cycles
   1354   678,907,584 bytes consed
   1355   
   1356 ek 80
   1357 Evaluation took:
   1358   0.281 seconds of real time
   1359   0.280000 seconds of total run time (0.270000 user, 0.010000 system)
   1360   [ Run times consist of 0.050 seconds GC time, and 0.230 seconds non-GC time. ]
   1361   99.64% CPU
   1362   726,950,276 processor cycles
   1363   47,784,432 bytes consed
   1364   
   1365 di 80
   1366 Evaluation took:
   1367   3.663 seconds of real time
   1368   3.670000 seconds of total run time (3.590000 user, 0.080000 system)
   1369   [ Run times consist of 0.270 seconds GC time, and 3.400 seconds non-GC time. ]
   1370   100.19% CPU
   1371   9,499,889,438 processor cycles
   1372   663,252,256 bytes consed
   1373   
   1374 ek 81
   1375 Evaluation took:
   1376   0.282 seconds of real time
   1377   0.280000 seconds of total run time (0.230000 user, 0.050000 system)
   1378   [ Run times consist of 0.050 seconds GC time, and 0.230 seconds non-GC time. ]
   1379   99.29% CPU
   1380   729,278,758 processor cycles
   1381   48,174,048 bytes consed
   1382   
   1383 di 81
   1384 Evaluation took:
   1385   3.556 seconds of real time
   1386   3.550000 seconds of total run time (3.470000 user, 0.080000 system)
   1387   [ Run times consist of 0.200 seconds GC time, and 3.350 seconds non-GC time. ]
   1388   99.83% CPU
   1389   9,222,709,353 processor cycles
   1390   658,770,256 bytes consed
   1391   
   1392 ek 82
   1393 Evaluation took:
   1394   0.299 seconds of real time
   1395   0.300000 seconds of total run time (0.300000 user, 0.000000 system)
   1396   [ Run times consist of 0.050 seconds GC time, and 0.250 seconds non-GC time. ]
   1397   100.33% CPU
   1398   775,200,192 processor cycles
   1399   49,563,040 bytes consed
   1400   
   1401 di 82
   1402 Evaluation took:
   1403   3.678 seconds of real time
   1404   3.680000 seconds of total run time (3.580000 user, 0.100000 system)
   1405   [ Run times consist of 0.230 seconds GC time, and 3.450 seconds non-GC time. ]
   1406   100.05% CPU
   1407   9,539,952,292 processor cycles
   1408   674,516,496 bytes consed
   1409   
   1410 ek 83
   1411 Evaluation took:
   1412   0.301 seconds of real time
   1413   0.310000 seconds of total run time (0.290000 user, 0.020000 system)
   1414   [ Run times consist of 0.050 seconds GC time, and 0.260 seconds non-GC time. ]
   1415   102.99% CPU
   1416   780,759,252 processor cycles
   1417   50,563,936 bytes consed
   1418   
   1419 di 83
   1420 Evaluation took:
   1421   3.769 seconds of real time
   1422   3.760000 seconds of total run time (3.750000 user, 0.010000 system)
   1423   [ Run times consist of 0.210 seconds GC time, and 3.550 seconds non-GC time. ]
   1424   99.76% CPU
   1425   9,774,271,351 processor cycles
   1426   696,413,392 bytes consed
   1427   
   1428 ek 84
   1429 Evaluation took:
   1430   0.316 seconds of real time
   1431   0.310000 seconds of total run time (0.260000 user, 0.050000 system)
   1432   [ Run times consist of 0.050 seconds GC time, and 0.260 seconds non-GC time. ]
   1433   98.10% CPU
   1434   818,985,739 processor cycles
   1435   51,149,408 bytes consed
   1436   
   1437 di 84
   1438 Evaluation took:
   1439   4.038 seconds of real time
   1440   4.030000 seconds of total run time (3.940000 user, 0.090000 system)
   1441   [ Run times consist of 0.260 seconds GC time, and 3.770 seconds non-GC time. ]
   1442   99.80% CPU
   1443   10,474,428,757 processor cycles
   1444   728,647,904 bytes consed
   1445   
   1446 ek 85
   1447 Evaluation took:
   1448   0.301 seconds of real time
   1449   0.300000 seconds of total run time (0.290000 user, 0.010000 system)
   1450   [ Run times consist of 0.050 seconds GC time, and 0.250 seconds non-GC time. ]
   1451   99.67% CPU
   1452   781,874,938 processor cycles
   1453   52,006,128 bytes consed
   1454   
   1455 di 85
   1456 Evaluation took:
   1457   3.860 seconds of real time
   1458   3.860000 seconds of total run time (3.810000 user, 0.050000 system)
   1459   [ Run times consist of 0.180 seconds GC time, and 3.680 seconds non-GC time. ]
   1460   100.00% CPU
   1461   10,010,463,008 processor cycles
   1462   717,931,376 bytes consed
   1463   
   1464 ek 86
   1465 Evaluation took:
   1466   0.280 seconds of real time
   1467   0.280000 seconds of total run time (0.270000 user, 0.010000 system)
   1468   [ Run times consist of 0.040 seconds GC time, and 0.240 seconds non-GC time. ]
   1469   100.00% CPU
   1470   726,406,824 processor cycles
   1471   51,397,072 bytes consed
   1472   
   1473 di 86
   1474 Evaluation took:
   1475   3.747 seconds of real time
   1476   3.750000 seconds of total run time (3.680000 user, 0.070000 system)
   1477   [ Run times consist of 0.200 seconds GC time, and 3.550 seconds non-GC time. ]
   1478   100.08% CPU
   1479   9,717,506,279 processor cycles
   1480   694,964,128 bytes consed
   1481   
   1482 ek 87
   1483 Evaluation took:
   1484   0.317 seconds of real time
   1485   0.320000 seconds of total run time (0.310000 user, 0.010000 system)
   1486   [ Run times consist of 0.060 seconds GC time, and 0.260 seconds non-GC time. ]
   1487   100.95% CPU
   1488   821,686,151 processor cycles
   1489   52,633,184 bytes consed
   1490   
   1491 di 87
   1492 Evaluation took:
   1493   4.083 seconds of real time
   1494   4.080000 seconds of total run time (4.050000 user, 0.030000 system)
   1495   [ Run times consist of 0.230 seconds GC time, and 3.850 seconds non-GC time. ]
   1496   99.93% CPU
   1497   10,587,565,274 processor cycles
   1498   746,816,752 bytes consed
   1499   
   1500 ek 88
   1501 Evaluation took:
   1502   0.325 seconds of real time
   1503   0.320000 seconds of total run time (0.320000 user, 0.000000 system)
   1504   [ Run times consist of 0.050 seconds GC time, and 0.270 seconds non-GC time. ]
   1505   98.46% CPU
   1506   842,439,312 processor cycles
   1507   53,856,400 bytes consed
   1508   
   1509 di 88
   1510 Evaluation took:
   1511   4.225 seconds of real time
   1512   4.220000 seconds of total run time (4.150000 user, 0.070000 system)
   1513   [ Run times consist of 0.160 seconds GC time, and 4.060 seconds non-GC time. ]
   1514   99.88% CPU
   1515   10,956,657,647 processor cycles
   1516   779,293,232 bytes consed
   1517   
   1518 ek 89
   1519 Evaluation took:
   1520   0.315 seconds of real time
   1521   0.320000 seconds of total run time (0.300000 user, 0.020000 system)
   1522   [ Run times consist of 0.050 seconds GC time, and 0.270 seconds non-GC time. ]
   1523   101.59% CPU
   1524   816,393,760 processor cycles
   1525   53,819,760 bytes consed
   1526   
   1527 di 89
   1528 Evaluation took:
   1529   4.123 seconds of real time
   1530   4.120000 seconds of total run time (4.080000 user, 0.040000 system)
   1531   [ Run times consist of 0.250 seconds GC time, and 3.870 seconds non-GC time. ]
   1532   99.93% CPU
   1533   10,691,307,809 processor cycles
   1534   747,569,168 bytes consed
   1535   
   1536 ek 90
   1537 Evaluation took:
   1538   0.342 seconds of real time
   1539   0.350000 seconds of total run time (0.340000 user, 0.010000 system)
   1540   [ Run times consist of 0.050 seconds GC time, and 0.300 seconds non-GC time. ]
   1541   102.34% CPU
   1542   888,340,596 processor cycles
   1543   56,528,000 bytes consed
   1544   
   1545 di 90
   1546 Evaluation took:
   1547   4.505 seconds of real time
   1548   4.500000 seconds of total run time (4.430000 user, 0.070000 system)
   1549   [ Run times consist of 0.240 seconds GC time, and 4.260 seconds non-GC time. ]
   1550   99.89% CPU
   1551   11,684,443,784 processor cycles
   1552   821,324,160 bytes consed
   1553   
   1554 ek 91
   1555 Evaluation took:
   1556   0.324 seconds of real time
   1557   0.320000 seconds of total run time (0.280000 user, 0.040000 system)
   1558   [ Run times consist of 0.050 seconds GC time, and 0.270 seconds non-GC time. ]
   1559   98.77% CPU
   1560   840,324,238 processor cycles
   1561   55,379,312 bytes consed
   1562   
   1563 di 91
   1564 Evaluation took:
   1565   4.120 seconds of real time
   1566   4.110000 seconds of total run time (4.0000000 user, 0.110000 system)
   1567   [ Run times consist of 0.200 seconds GC time, and 3.910 seconds non-GC time. ]
   1568   99.76% CPU
   1569   10,686,432,146 processor cycles
   1570   754,043,248 bytes consed
   1571   
   1572 ek 92
   1573 Evaluation took:
   1574   0.291 seconds of real time
   1575   0.290000 seconds of total run time (0.280000 user, 0.010000 system)
   1576   [ Run times consist of 0.020 seconds GC time, and 0.270 seconds non-GC time. ]
   1577   99.66% CPU
   1578   753,640,706 processor cycles
   1579   56,307,856 bytes consed
   1580   
   1581 di 92
   1582 Evaluation took:
   1583   4.249 seconds of real time
   1584   4.240000 seconds of total run time (4.190000 user, 0.050000 system)
   1585   [ Run times consist of 0.160 seconds GC time, and 4.080 seconds non-GC time. ]
   1586   99.79% CPU
   1587   11,017,373,484 processor cycles
   1588   776,131,792 bytes consed
   1589   
   1590 ek 93
   1591 Evaluation took:
   1592   0.357 seconds of real time
   1593   0.360000 seconds of total run time (0.340000 user, 0.020000 system)
   1594   [ Run times consist of 0.050 seconds GC time, and 0.310 seconds non-GC time. ]
   1595   100.84% CPU
   1596   924,127,698 processor cycles
   1597   58,258,032 bytes consed
   1598   
   1599 di 93
   1600 Evaluation took:
   1601   4.612 seconds of real time
   1602   4.610000 seconds of total run time (4.530000 user, 0.080000 system)
   1603   [ Run times consist of 0.180 seconds GC time, and 4.430 seconds non-GC time. ]
   1604   99.96% CPU
   1605   11,961,271,660 processor cycles
   1606   836,089,744 bytes consed
   1607   
   1608 ek 94
   1609 Evaluation took:
   1610   0.408 seconds of real time
   1611   0.410000 seconds of total run time (0.390000 user, 0.020000 system)
   1612   [ Run times consist of 0.120 seconds GC time, and 0.290 seconds non-GC time. ]
   1613   100.49% CPU
   1614   1,057,585,815 processor cycles
   1615   57,302,048 bytes consed
   1616   
   1617 di 94
   1618 Evaluation took:
   1619   4.161 seconds of real time
   1620   4.150000 seconds of total run time (4.080000 user, 0.070000 system)
   1621   [ Run times consist of 0.110 seconds GC time, and 4.040 seconds non-GC time. ]
   1622   99.74% CPU
   1623   10,791,863,628 processor cycles
   1624   774,907,568 bytes consed
   1625   
   1626 ek 95
   1627 Evaluation took:
   1628   0.361 seconds of real time
   1629   0.360000 seconds of total run time (0.350000 user, 0.010000 system)
   1630   [ Run times consist of 0.040 seconds GC time, and 0.320 seconds non-GC time. ]
   1631   99.72% CPU
   1632   934,634,116 processor cycles
   1633   59,575,920 bytes consed
   1634   
   1635 di 95
   1636 Evaluation took:
   1637   4.622 seconds of real time
   1638   4.620000 seconds of total run time (4.560000 user, 0.060000 system)
   1639   [ Run times consist of 0.240 seconds GC time, and 4.380 seconds non-GC time. ]
   1640   99.96% CPU
   1641   11,987,446,913 processor cycles
   1642   839,150,496 bytes consed
   1643   
   1644 ek 96
   1645 Evaluation took:
   1646   0.403 seconds of real time
   1647   0.400000 seconds of total run time (0.370000 user, 0.030000 system)
   1648   [ Run times consist of 0.080 seconds GC time, and 0.320 seconds non-GC time. ]
   1649   99.26% CPU
   1650   1,045,879,445 processor cycles
   1651   60,979,440 bytes consed
   1652   
   1653 di 96
   1654 Evaluation took:
   1655   4.800 seconds of real time
   1656   4.800000 seconds of total run time (4.740000 user, 0.060000 system)
   1657   [ Run times consist of 0.180 seconds GC time, and 4.620 seconds non-GC time. ]
   1658   100.00% CPU
   1659   12,447,828,224 processor cycles
   1660   882,156,304 bytes consed
   1661   
   1662 ek 97
   1663 Evaluation took:
   1664   0.364 seconds of real time
   1665   0.370000 seconds of total run time (0.350000 user, 0.020000 system)
   1666   [ Run times consist of 0.050 seconds GC time, and 0.320 seconds non-GC time. ]
   1667   101.65% CPU
   1668   944,273,005 processor cycles
   1669   60,768,208 bytes consed
   1670   
   1671 di 97
   1672 Evaluation took:
   1673   4.761 seconds of real time
   1674   4.750000 seconds of total run time (4.690000 user, 0.060000 system)
   1675   [ Run times consist of 0.240 seconds GC time, and 4.510 seconds non-GC time. ]
   1676   99.77% CPU
   1677   12,348,475,360 processor cycles
   1678   859,305,936 bytes consed
   1679   
   1680 ek 98
   1681 Evaluation took:
   1682   0.388 seconds of real time
   1683   0.390000 seconds of total run time (0.340000 user, 0.050000 system)
   1684   [ Run times consist of 0.080 seconds GC time, and 0.310 seconds non-GC time. ]
   1685   100.52% CPU
   1686   1,007,742,749 processor cycles
   1687   60,143,408 bytes consed
   1688   
   1689 di 98
   1690 Evaluation took:
   1691   4.606 seconds of real time
   1692   4.610000 seconds of total run time (4.530000 user, 0.080000 system)
   1693   [ Run times consist of 0.180 seconds GC time, and 4.430 seconds non-GC time. ]
   1694   100.09% CPU
   1695   11,945,555,973 processor cycles
   1696   848,795,056 bytes consed
   1697   
   1698 ek 99
   1699 Evaluation took:
   1700   0.374 seconds of real time
   1701   0.380000 seconds of total run time (0.380000 user, 0.000000 system)
   1702   [ Run times consist of 0.040 seconds GC time, and 0.340 seconds non-GC time. ]
   1703   101.60% CPU
   1704   969,072,299 processor cycles
   1705   62,305,264 bytes consed
   1706   
   1707 di 99
   1708 Evaluation took:
   1709   5.010 seconds of real time
   1710   5.010000 seconds of total run time (4.950000 user, 0.060000 system)
   1711   [ Run times consist of 0.260 seconds GC time, and 4.750 seconds non-GC time. ]
   1712   100.00% CPU
   1713   12,992,456,516 processor cycles
   1714   907,327,296 bytes consed
   1715   
   1716 ek 100
   1717 Evaluation took:
   1718   0.457 seconds of real time
   1719   0.460000 seconds of total run time (0.430000 user, 0.030000 system)
   1720   [ Run times consist of 0.130 seconds GC time, and 0.330 seconds non-GC time. ]
   1721   100.66% CPU
   1722   1,186,292,653 processor cycles
   1723   63,152,256 bytes consed
   1724   
   1725 di 100
   1726 Evaluation took:
   1727   5.010 seconds of real time
   1728   5.0000000 seconds of total run time (4.940000 user, 0.060000 system)
   1729   [ Run times consist of 0.190 seconds GC time, and 4.810 seconds non-GC time. ]
   1730   99.80% CPU
   1731   12,994,330,024 processor cycles
   1732   909,180,048 bytes consed
   1733   
   1734 ek 101
   1735 Evaluation took:
   1736   0.361 seconds of real time
   1737   0.360000 seconds of total run time (0.340000 user, 0.020000 system)
   1738   [ Run times consist of 0.030 seconds GC time, and 0.330 seconds non-GC time. ]
   1739   99.72% CPU
   1740   938,129,686 processor cycles
   1741   64,373,168 bytes consed
   1742   
   1743 di 101
   1744 Evaluation took:
   1745   5.284 seconds of real time
   1746   5.280000 seconds of total run time (5.150000 user, 0.130000 system)
   1747   [ Run times consist of 0.170 seconds GC time, and 5.110 seconds non-GC time. ]
   1748   99.92% CPU
   1749   13,704,359,370 processor cycles
   1750   950,017,856 bytes consed
   1751   
   1752 ek 102
   1753 Evaluation took:
   1754   0.402 seconds of real time
   1755   0.400000 seconds of total run time (0.370000 user, 0.030000 system)
   1756   [ Run times consist of 0.090 seconds GC time, and 0.310 seconds non-GC time. ]
   1757   99.50% CPU
   1758   1,041,022,580 processor cycles
   1759   62,798,400 bytes consed
   1760   
   1761 di 102
   1762 Evaluation took:
   1763   4.748 seconds of real time
   1764   4.750000 seconds of total run time (4.650000 user, 0.100000 system)
   1765   [ Run times consist of 0.260 seconds GC time, and 4.490 seconds non-GC time. ]
   1766   100.04% CPU
   1767   12,312,489,046 processor cycles
   1768   867,580,080 bytes consed
   1769   
   1770 ek 103
   1771 Evaluation took:
   1772   0.377 seconds of real time
   1773   0.380000 seconds of total run time (0.380000 user, 0.000000 system)
   1774   [ Run times consist of 0.050 seconds GC time, and 0.330 seconds non-GC time. ]
   1775   100.80% CPU
   1776   976,918,774 processor cycles
   1777   63,379,184 bytes consed
   1778   
   1779 di 103
   1780 Evaluation took:
   1781   5.179 seconds of real time
   1782   5.180000 seconds of total run time (5.130000 user, 0.050000 system)
   1783   [ Run times consist of 0.160 seconds GC time, and 5.020 seconds non-GC time. ]
   1784   100.02% CPU
   1785   13,432,085,758 processor cycles
   1786   927,702,768 bytes consed
   1787   
   1788 ek 104
   1789 Evaluation took:
   1790   0.354 seconds of real time
   1791   0.350000 seconds of total run time (0.330000 user, 0.020000 system)
   1792   [ Run times consist of 0.030 seconds GC time, and 0.320 seconds non-GC time. ]
   1793   98.87% CPU
   1794   919,088,534 processor cycles
   1795   63,960,400 bytes consed
   1796   
   1797 di 104
   1798 Evaluation took:
   1799   4.850 seconds of real time
   1800   4.850000 seconds of total run time (4.750000 user, 0.100000 system)
   1801   [ Run times consist of 0.140 seconds GC time, and 4.710 seconds non-GC time. ]
   1802   100.00% CPU
   1803   12,578,794,501 processor cycles
   1804   882,993,712 bytes consed
   1805   
   1806 ek 105
   1807 Evaluation took:
   1808   0.455 seconds of real time
   1809   0.460000 seconds of total run time (0.430000 user, 0.030000 system)
   1810   [ Run times consist of 0.120 seconds GC time, and 0.340 seconds non-GC time. ]
   1811   101.10% CPU
   1812   1,179,770,670 processor cycles
   1813   66,746,000 bytes consed
   1814   
   1815 di 105
   1816 Evaluation took:
   1817   5.384 seconds of real time
   1818   5.380000 seconds of total run time (5.260000 user, 0.120000 system)
   1819   [ Run times consist of 0.240 seconds GC time, and 5.140 seconds non-GC time. ]
   1820   99.93% CPU
   1821   13,963,966,601 processor cycles
   1822   972,553,984 bytes consed
   1823   
   1824 ek 106
   1825 Evaluation took:
   1826   0.388 seconds of real time
   1827   0.390000 seconds of total run time (0.380000 user, 0.010000 system)
   1828   [ Run times consist of 0.040 seconds GC time, and 0.350 seconds non-GC time. ]
   1829   100.52% CPU
   1830   1,008,356,102 processor cycles
   1831   66,372,192 bytes consed
   1832   
   1833 di 106
   1834 Evaluation took:
   1835   5.196 seconds of real time
   1836   5.200000 seconds of total run time (5.140000 user, 0.060000 system)
   1837   [ Run times consist of 0.200 seconds GC time, and 5.0000 seconds non-GC time. ]
   1838   100.08% CPU
   1839   13,475,880,093 processor cycles
   1840   927,728,432 bytes consed
   1841   
   1842 ek 107
   1843 Evaluation took:
   1844   0.363 seconds of real time
   1845   0.360000 seconds of total run time (0.350000 user, 0.010000 system)
   1846   [ Run times consist of 0.030 seconds GC time, and 0.330 seconds non-GC time. ]
   1847   99.17% CPU
   1848   941,226,598 processor cycles
   1849   68,095,344 bytes consed
   1850   
   1851 di 107
   1852 Evaluation took:
   1853   5.597 seconds of real time
   1854   5.600000 seconds of total run time (5.510000 user, 0.090000 system)
   1855   [ Run times consist of 0.190 seconds GC time, and 5.410 seconds non-GC time. ]
   1856   100.05% CPU
   1857   14,516,939,047 processor cycles
   1858   1,009,786,800 bytes consed
   1859   
   1860 ek 108
   1861 Evaluation took:
   1862   0.435 seconds of real time
   1863   0.440000 seconds of total run time (0.430000 user, 0.010000 system)
   1864   [ Run times consist of 0.070 seconds GC time, and 0.370 seconds non-GC time. ]
   1865   101.15% CPU
   1866   1,128,640,604 processor cycles
   1867   69,246,832 bytes consed
   1868   
   1869 di 108
   1870 Evaluation took:
   1871   5.751 seconds of real time
   1872   5.740000 seconds of total run time (5.660000 user, 0.080000 system)
   1873   [ Run times consist of 0.280 seconds GC time, and 5.460 seconds non-GC time. ]
   1874   99.81% CPU
   1875   14,915,648,865 processor cycles
   1876   1,024,207,584 bytes consed
   1877   
   1878 ek 109
   1879 Evaluation took:
   1880   0.412 seconds of real time
   1881   0.410000 seconds of total run time (0.380000 user, 0.030000 system)
   1882   99.51% CPU
   1883   1,068,222,363 processor cycles
   1884   70,895,664 bytes consed
   1885   
   1886 di 109
   1887 Evaluation took:
   1888   6.012 seconds of real time
   1889   6.020000 seconds of total run time (5.930000 user, 0.090000 system)
   1890   [ Run times consist of 0.300 seconds GC time, and 5.720 seconds non-GC time. ]
   1891   100.13% CPU
   1892   15,591,866,017 processor cycles
   1893   1,083,151,040 bytes consed
   1894   
   1895 ek 110
   1896 Evaluation took:
   1897   0.374 seconds of real time
   1898   0.370000 seconds of total run time (0.350000 user, 0.020000 system)
   1899   [ Run times consist of 0.020 seconds GC time, and 0.350 seconds non-GC time. ]
   1900   98.93% CPU
   1901   971,383,218 processor cycles
   1902   69,038,288 bytes consed
   1903   
   1904 di 110
   1905 Evaluation took:
   1906   5.638 seconds of real time
   1907   5.640000 seconds of total run time (5.530000 user, 0.110000 system)
   1908   [ Run times consist of 0.260 seconds GC time, and 5.380 seconds non-GC time. ]
   1909   100.04% CPU
   1910   14,622,017,189 processor cycles
   1911   996,989,232 bytes consed
   1912   
   1913 ek 111
   1914 Evaluation took:
   1915   0.396 seconds of real time
   1916   0.400000 seconds of total run time (0.390000 user, 0.010000 system)
   1917   [ Run times consist of 0.060 seconds GC time, and 0.340 seconds non-GC time. ]
   1918   101.01% CPU
   1919   1,027,285,168 processor cycles
   1920   69,757,456 bytes consed
   1921   
   1922 di 111
   1923 Evaluation took:
   1924   5.582 seconds of real time
   1925   5.570000 seconds of total run time (5.450000 user, 0.120000 system)
   1926   [ Run times consist of 0.310 seconds GC time, and 5.260 seconds non-GC time. ]
   1927   99.79% CPU
   1928   14,478,085,323 processor cycles
   1929   984,942,848 bytes consed
   1930   
   1931 ek 112
   1932 Evaluation took:
   1933   0.432 seconds of real time
   1934   0.430000 seconds of total run time (0.410000 user, 0.020000 system)
   1935   [ Run times consist of 0.040 seconds GC time, and 0.390 seconds non-GC time. ]
   1936   99.54% CPU
   1937   1,119,291,251 processor cycles
   1938   71,660,928 bytes consed
   1939   
   1940 di 112
   1941 Evaluation took:
   1942   6.011 seconds of real time
   1943   6.010000 seconds of total run time (5.890000 user, 0.120000 system)
   1944   [ Run times consist of 0.340 seconds GC time, and 5.670 seconds non-GC time. ]
   1945   99.98% CPU
   1946   15,590,057,834 processor cycles
   1947   1,065,475,120 bytes consed
   1948   
   1949 ek 113
   1950 Evaluation took:
   1951   0.491 seconds of real time
   1952   0.490000 seconds of total run time (0.450000 user, 0.040000 system)
   1953   [ Run times consist of 0.120 seconds GC time, and 0.370 seconds non-GC time. ]
   1954   99.80% CPU
   1955   1,272,541,218 processor cycles
   1956   71,667,712 bytes consed
   1957   
   1958 di 113
   1959 Evaluation took:
   1960   5.805 seconds of real time
   1961   5.800000 seconds of total run time (5.640000 user, 0.160000 system)
   1962   [ Run times consist of 0.270 seconds GC time, and 5.530 seconds non-GC time. ]
   1963   99.91% CPU
   1964   15,054,600,535 processor cycles
   1965   1,038,494,672 bytes consed
   1966   
   1967 ek 114
   1968 Evaluation took:
   1969   0.419 seconds of real time
   1970   0.420000 seconds of total run time (0.400000 user, 0.020000 system)
   1971   [ Run times consist of 0.030 seconds GC time, and 0.390 seconds non-GC time. ]
   1972   100.24% CPU
   1973   1,086,570,043 processor cycles
   1974   73,522,464 bytes consed
   1975   
   1976 di 114
   1977 Evaluation took:
   1978   6.314 seconds of real time
   1979   6.320000 seconds of total run time (6.170000 user, 0.150000 system)
   1980   [ Run times consist of 0.300 seconds GC time, and 6.020 seconds non-GC time. ]
   1981   100.10% CPU
   1982   16,376,841,091 processor cycles
   1983   1,110,603,040 bytes consed
   1984   
   1985 ek 115
   1986 Evaluation took:
   1987   0.419 seconds of real time
   1988   0.420000 seconds of total run time (0.400000 user, 0.020000 system)
   1989   [ Run times consist of 0.060 seconds GC time, and 0.360 seconds non-GC time. ]
   1990   100.24% CPU
   1991   1,085,316,050 processor cycles
   1992   72,829,312 bytes consed
   1993   
   1994 di 115
   1995 Evaluation took:
   1996   6.067 seconds of real time
   1997   6.060000 seconds of total run time (5.980000 user, 0.080000 system)
   1998   [ Run times consist of 0.370 seconds GC time, and 5.690 seconds non-GC time. ]
   1999   99.88% CPU
   2000   15,734,695,600 processor cycles
   2001   1,066,796,592 bytes consed
   2002   
   2003 ek 116
   2004 Evaluation took:
   2005   0.458 seconds of real time
   2006   0.460000 seconds of total run time (0.430000 user, 0.030000 system)
   2007   [ Run times consist of 0.080 seconds GC time, and 0.380 seconds non-GC time. ]
   2008   100.44% CPU
   2009   1,186,558,802 processor cycles
   2010   74,531,040 bytes consed
   2011   
   2012 di 116
   2013 Evaluation took:
   2014   6.364 seconds of real time
   2015   6.350000 seconds of total run time (6.240000 user, 0.110000 system)
   2016   [ Run times consist of 0.420 seconds GC time, and 5.930 seconds non-GC time. ]
   2017   99.78% CPU
   2018   16,504,704,892 processor cycles
   2019   1,101,183,856 bytes consed
   2020   
   2021 ek 117
   2022 Evaluation took:
   2023   0.441 seconds of real time
   2024   0.440000 seconds of total run time (0.430000 user, 0.010000 system)
   2025   [ Run times consist of 0.040 seconds GC time, and 0.400 seconds non-GC time. ]
   2026   99.77% CPU
   2027   1,141,938,616 processor cycles
   2028   74,851,968 bytes consed
   2029   
   2030 di 117
   2031 Evaluation took:
   2032   6.238 seconds of real time
   2033   6.230000 seconds of total run time (6.070000 user, 0.160000 system)
   2034   [ Run times consist of 0.360 seconds GC time, and 5.870 seconds non-GC time. ]
   2035   99.87% CPU
   2036   16,176,502,641 processor cycles
   2037   1,088,971,264 bytes consed
   2038   
   2039 ek 118
   2040 Evaluation took:
   2041   0.431 seconds of real time
   2042   0.430000 seconds of total run time (0.420000 user, 0.010000 system)
   2043   [ Run times consist of 0.050 seconds GC time, and 0.380 seconds non-GC time. ]
   2044   99.77% CPU
   2045   1,116,929,866 processor cycles
   2046   74,956,272 bytes consed
   2047   
   2048 di 118
   2049 Evaluation took:
   2050   6.481 seconds of real time
   2051   6.470000 seconds of total run time (6.310000 user, 0.160000 system)
   2052   [ Run times consist of 0.310 seconds GC time, and 6.160 seconds non-GC time. ]
   2053   99.83% CPU
   2054   16,808,058,813 processor cycles
   2055   1,140,289,888 bytes consed
   2056   
   2057 ek 119
   2058 Evaluation took:
   2059   0.475 seconds of real time
   2060   0.470000 seconds of total run time (0.460000 user, 0.010000 system)
   2061   [ Run times consist of 0.010 seconds GC time, and 0.460 seconds non-GC time. ]
   2062   98.95% CPU
   2063   1,232,253,386 processor cycles
   2064   79,460,160 bytes consed
   2065   
   2066 di 119
   2067 Evaluation took:
   2068   7.286 seconds of real time
   2069   7.290000 seconds of total run time (7.160000 user, 0.130000 system)
   2070   [ Run times consist of 0.450 seconds GC time, and 6.840 seconds non-GC time. ]
   2071   100.05% CPU
   2072   18,898,402,471 processor cycles
   2073   1,256,378,704 bytes consed
   2074   
   2075 ek 120
   2076 Evaluation took:
   2077   0.457 seconds of real time
   2078   0.460000 seconds of total run time (0.440000 user, 0.020000 system)
   2079   [ Run times consist of 0.070 seconds GC time, and 0.390 seconds non-GC time. ]
   2080   100.66% CPU
   2081   1,187,186,065 processor cycles
   2082   77,473,984 bytes consed
   2083   
   2084 di 120
   2085 Evaluation took:
   2086   6.605 seconds of real time
   2087   6.590000 seconds of total run time (6.430000 user, 0.160000 system)
   2088   [ Run times consist of 0.420 seconds GC time, and 6.170 seconds non-GC time. ]
   2089   99.77% CPU
   2090   17,131,428,808 processor cycles
   2091   1,147,311,248 bytes consed
   2092   
   2093 ek 121
   2094 Evaluation took:
   2095   0.464 seconds of real time
   2096   0.460000 seconds of total run time (0.450000 user, 0.010000 system)
   2097   [ Run times consist of 0.020 seconds GC time, and 0.440 seconds non-GC time. ]
   2098   99.14% CPU
   2099   1,204,989,695 processor cycles
   2100   79,386,448 bytes consed
   2101   
   2102 di 121
   2103 Evaluation took:
   2104   6.956 seconds of real time
   2105   6.960000 seconds of total run time (6.840000 user, 0.120000 system)
   2106   [ Run times consist of 0.450 seconds GC time, and 6.510 seconds non-GC time. ]
   2107   100.06% CPU
   2108   18,040,448,036 processor cycles
   2109   1,212,943,872 bytes consed
   2110   
   2111 ek 122
   2112 Evaluation took:
   2113   0.488 seconds of real time
   2114   0.490000 seconds of total run time (0.470000 user, 0.020000 system)
   2115   [ Run times consist of 0.090 seconds GC time, and 0.400 seconds non-GC time. ]
   2116   100.41% CPU
   2117   1,266,703,945 processor cycles
   2118   78,931,008 bytes consed
   2119   
   2120 di 122
   2121 Evaluation took:
   2122   6.578 seconds of real time
   2123   6.570000 seconds of total run time (6.480000 user, 0.090000 system)
   2124   [ Run times consist of 0.330 seconds GC time, and 6.240 seconds non-GC time. ]
   2125   99.88% CPU
   2126   17,059,662,347 processor cycles
   2127   1,142,443,184 bytes consed
   2128   
   2129 ek 123
   2130 Evaluation took:
   2131   0.584 seconds of real time
   2132   0.590000 seconds of total run time (0.580000 user, 0.010000 system)
   2133   [ Run times consist of 0.130 seconds GC time, and 0.460 seconds non-GC time. ]
   2134   101.03% CPU
   2135   1,513,821,777 processor cycles
   2136   80,844,768 bytes consed
   2137   
   2138 di 123
   2139 Evaluation took:
   2140   7.217 seconds of real time
   2141   7.210000 seconds of total run time (7.090000 user, 0.120000 system)
   2142   [ Run times consist of 0.410 seconds GC time, and 6.800 seconds non-GC time. ]
   2143   99.90% CPU
   2144   18,717,506,080 processor cycles
   2145   1,246,276,416 bytes consed
   2146   
   2147 ek 124
   2148 Evaluation took:
   2149   0.466 seconds of real time
   2150   0.460000 seconds of total run time (0.450000 user, 0.010000 system)
   2151   [ Run times consist of 0.030 seconds GC time, and 0.430 seconds non-GC time. ]
   2152   98.71% CPU
   2153   1,208,854,465 processor cycles
   2154   80,401,840 bytes consed
   2155   
   2156 di 124
   2157 Evaluation took:
   2158   6.863 seconds of real time
   2159   6.870000 seconds of total run time (6.780000 user, 0.090000 system)
   2160   [ Run times consist of 0.430 seconds GC time, and 6.440 seconds non-GC time. ]
   2161   100.10% CPU
   2162   17,799,327,910 processor cycles
   2163   1,182,990,048 bytes consed
   2164   
   2165 ek 125
   2166 Evaluation took:
   2167   0.491 seconds of real time
   2168   0.480000 seconds of total run time (0.470000 user, 0.010000 system)
   2169   [ Run times consist of 0.030 seconds GC time, and 0.450 seconds non-GC time. ]
   2170   97.76% CPU
   2171   1,273,155,442 processor cycles
   2172   81,893,904 bytes consed
   2173   
   2174 di 125
   2175 Evaluation took:
   2176   7.442 seconds of real time
   2177   7.440000 seconds of total run time (7.330000 user, 0.110000 system)
   2178   [ Run times consist of 0.350 seconds GC time, and 7.090 seconds non-GC time. ]
   2179   99.97% CPU
   2180   19,301,563,645 processor cycles
   2181   1,279,699,120 bytes consed
   2182   
   2183 ek 126
   2184 Evaluation took:
   2185   0.473 seconds of real time
   2186   0.470000 seconds of total run time (0.440000 user, 0.030000 system)
   2187   [ Run times consist of 0.030 seconds GC time, and 0.440 seconds non-GC time. ]
   2188   99.37% CPU
   2189   1,228,844,370 processor cycles
   2190   81,320,128 bytes consed
   2191   
   2192 di 126
   2193 Evaluation took:
   2194   7.007 seconds of real time
   2195   7.010000 seconds of total run time (6.830000 user, 0.180000 system)
   2196   [ Run times consist of 0.440 seconds GC time, and 6.570 seconds non-GC time. ]
   2197   100.04% CPU
   2198   18,173,164,750 processor cycles
   2199   1,222,908,480 bytes consed
   2200   
   2201 ek 127
   2202 Evaluation took:
   2203   0.481 seconds of real time
   2204   0.470000 seconds of total run time (0.440000 user, 0.030000 system)
   2205   [ Run times consist of 0.090 seconds GC time, and 0.380 seconds non-GC time. ]
   2206   97.71% CPU
   2207   1,245,647,403 processor cycles
   2208   80,433,936 bytes consed
   2209   
   2210 di 127
   2211 Evaluation took:
   2212   6.670 seconds of real time
   2213   6.670000 seconds of total run time (6.470000 user, 0.200000 system)
   2214   [ Run times consist of 0.490 seconds GC time, and 6.180 seconds non-GC time. ]
   2215   100.00% CPU
   2216   17,297,833,618 processor cycles
   2217   1,145,738,720 bytes consed
   2218   
   2219 ek 128
   2220 Evaluation took:
   2221   0.480 seconds of real time
   2222   0.480000 seconds of total run time (0.480000 user, 0.000000 system)
   2223   [ Run times consist of 0.020 seconds GC time, and 0.460 seconds non-GC time. ]
   2224   100.00% CPU
   2225   1,245,436,556 processor cycles
   2226   82,846,000 bytes consed
   2227   
   2228 di 128
   2229 Evaluation took:
   2230   7.436 seconds of real time
   2231   7.430000 seconds of total run time (7.320000 user, 0.110000 system)
   2232   [ Run times consist of 0.440 seconds GC time, and 6.990 seconds non-GC time. ]
   2233   99.92% CPU
   2234   19,283,884,802 processor cycles
   2235   1,275,976,864 bytes consed
   2236   
   2237 ek 129
   2238 Evaluation took:
   2239   0.614 seconds of real time
   2240   0.610000 seconds of total run time (0.520000 user, 0.090000 system)
   2241   [ Run times consist of 0.170 seconds GC time, and 0.440 seconds non-GC time. ]
   2242   99.35% CPU
   2243   1,592,080,906 processor cycles
   2244   82,968,080 bytes consed
   2245   
   2246 di 129
   2247 Evaluation took:
   2248   7.237 seconds of real time
   2249   7.230000 seconds of total run time (7.110000 user, 0.120000 system)
   2250   [ Run times consist of 0.340 seconds GC time, and 6.890 seconds non-GC time. ]
   2251   99.90% CPU
   2252   18,768,553,674 processor cycles
   2253   1,258,292,496 bytes consed
   2254   
   2255 ek 130
   2256 Evaluation took:
   2257   0.523 seconds of real time
   2258   0.520000 seconds of total run time (0.490000 user, 0.030000 system)
   2259   [ Run times consist of 0.080 seconds GC time, and 0.440 seconds non-GC time. ]
   2260   99.43% CPU
   2261   1,357,540,470 processor cycles
   2262   84,216,544 bytes consed
   2263   
   2264 di 130
   2265 Evaluation took:
   2266   7.402 seconds of real time
   2267   7.400000 seconds of total run time (7.280000 user, 0.120000 system)
   2268   [ Run times consist of 0.420 seconds GC time, and 6.980 seconds non-GC time. ]
   2269   99.97% CPU
   2270   19,196,107,892 processor cycles
   2271   1,266,567,904 bytes consed
   2272   
   2273 ek 131
   2274 Evaluation took:
   2275   0.515 seconds of real time
   2276   0.510000 seconds of total run time (0.500000 user, 0.010000 system)
   2277   [ Run times consist of 0.070 seconds GC time, and 0.440 seconds non-GC time. ]
   2278   99.03% CPU
   2279   1,334,484,112 processor cycles
   2280   84,089,040 bytes consed
   2281   
   2282 di 131
   2283 Evaluation took:
   2284   7.506 seconds of real time
   2285   7.500000 seconds of total run time (7.320000 user, 0.180000 system)
   2286   [ Run times consist of 0.510 seconds GC time, and 6.990 seconds non-GC time. ]
   2287   99.92% CPU
   2288   19,467,023,862 processor cycles
   2289   1,269,741,648 bytes consed
   2290   
   2291 ek 132
   2292 Evaluation took:
   2293   0.536 seconds of real time
   2294   0.530000 seconds of total run time (0.490000 user, 0.040000 system)
   2295   [ Run times consist of 0.090 seconds GC time, and 0.440 seconds non-GC time. ]
   2296   98.88% CPU
   2297   1,389,523,239 processor cycles
   2298   85,877,696 bytes consed
   2299   
   2300 di 132
   2301 Evaluation took:
   2302   7.596 seconds of real time
   2303   7.600000 seconds of total run time (7.440000 user, 0.160000 system)
   2304   [ Run times consist of 0.350 seconds GC time, and 7.250 seconds non-GC time. ]
   2305   100.05% CPU
   2306   19,700,605,067 processor cycles
   2307   1,298,641,488 bytes consed
   2308   
   2309 ek 133
   2310 Evaluation took:
   2311   0.518 seconds of real time
   2312   0.520000 seconds of total run time (0.500000 user, 0.020000 system)
   2313   [ Run times consist of 0.070 seconds GC time, and 0.450 seconds non-GC time. ]
   2314   100.39% CPU
   2315   1,345,184,191 processor cycles
   2316   87,428,688 bytes consed
   2317   
   2318 di 133
   2319 Evaluation took:
   2320   7.784 seconds of real time
   2321   7.770000 seconds of total run time (7.580000 user, 0.190000 system)
   2322   [ Run times consist of 0.470 seconds GC time, and 7.300 seconds non-GC time. ]
   2323   99.82% CPU
   2324   20,188,152,296 processor cycles
   2325   1,332,747,824 bytes consed
   2326   
   2327 ek 134
   2328 Evaluation took:
   2329   0.514 seconds of real time
   2330   0.510000 seconds of total run time (0.510000 user, 0.000000 system)
   2331   [ Run times consist of 0.050 seconds GC time, and 0.460 seconds non-GC time. ]
   2332   99.22% CPU
   2333   1,332,504,901 processor cycles
   2334   87,118,176 bytes consed
   2335   
   2336 di 134
   2337 Evaluation took:
   2338   7.373 seconds of real time
   2339   7.380000 seconds of total run time (7.250000 user, 0.130000 system)
   2340   [ Run times consist of 0.380 seconds GC time, and 7.0000 seconds non-GC time. ]
   2341   100.09% CPU
   2342   19,123,374,413 processor cycles
   2343   1,254,537,456 bytes consed
   2344   
   2345 ek 135
   2346 Evaluation took:
   2347   0.534 seconds of real time
   2348   0.540000 seconds of total run time (0.540000 user, 0.000000 system)
   2349   [ Run times consist of 0.030 seconds GC time, and 0.510 seconds non-GC time. ]
   2350   101.12% CPU
   2351   1,384,291,831 processor cycles
   2352   89,118,432 bytes consed
   2353   
   2354 di 135
   2355 Evaluation took:
   2356   8.059 seconds of real time
   2357   8.050000 seconds of total run time (7.920000 user, 0.130000 system)
   2358   [ Run times consist of 0.480 seconds GC time, and 7.570 seconds non-GC time. ]
   2359   99.89% CPU
   2360   20,901,360,922 processor cycles
   2361   1,361,661,584 bytes consed
   2362   
   2363 ek 136
   2364 Evaluation took:
   2365   0.627 seconds of real time
   2366   0.620000 seconds of total run time (0.580000 user, 0.040000 system)
   2367   [ Run times consist of 0.120 seconds GC time, and 0.500 seconds non-GC time. ]
   2368   98.88% CPU
   2369   1,626,206,270 processor cycles
   2370   89,969,984 bytes consed
   2371   
   2372 di 136
   2373 Evaluation took:
   2374   8.361 seconds of real time
   2375   8.370000 seconds of total run time (8.210000 user, 0.160000 system)
   2376   [ Run times consist of 0.440 seconds GC time, and 7.930 seconds non-GC time. ]
   2377   100.11% CPU
   2378   21,685,159,028 processor cycles
   2379   1,426,176,944 bytes consed
   2380   
   2381 ek 137
   2382 Evaluation took:
   2383   0.568 seconds of real time
   2384   0.560000 seconds of total run time (0.540000 user, 0.020000 system)
   2385   [ Run times consist of 0.050 seconds GC time, and 0.510 seconds non-GC time. ]
   2386   98.59% CPU
   2387   1,473,457,011 processor cycles
   2388   92,612,464 bytes consed
   2389   
   2390 di 137
   2391 Evaluation took:
   2392   8.636 seconds of real time
   2393   8.640000 seconds of total run time (8.430000 user, 0.210000 system)
   2394   [ Run times consist of 0.680 seconds GC time, and 7.960 seconds non-GC time. ]
   2395   100.05% CPU
   2396   22,398,795,133 processor cycles
   2397   1,441,417,312 bytes consed
   2398   
   2399 ek 138
   2400 Evaluation took:
   2401   0.516 seconds of real time
   2402   0.520000 seconds of total run time (0.480000 user, 0.040000 system)
   2403   [ Run times consist of 0.030 seconds GC time, and 0.490 seconds non-GC time. ]
   2404   100.78% CPU
   2405   1,336,132,317 processor cycles
   2406   90,848,368 bytes consed
   2407   
   2408 di 138
   2409 Evaluation took:
   2410   8.448 seconds of real time
   2411   8.440000 seconds of total run time (8.260000 user, 0.180000 system)
   2412   [ Run times consist of 0.480 seconds GC time, and 7.960 seconds non-GC time. ]
   2413   99.91% CPU
   2414   21,908,783,468 processor cycles
   2415   1,437,956,544 bytes consed
   2416   
   2417 ek 139
   2418 Evaluation took:
   2419   0.590 seconds of real time
   2420   0.590000 seconds of total run time (0.550000 user, 0.040000 system)
   2421   [ Run times consist of 0.080 seconds GC time, and 0.510 seconds non-GC time. ]
   2422   100.00% CPU
   2423   1,529,271,120 processor cycles
   2424   92,942,752 bytes consed
   2425   
   2426 di 139
   2427 Evaluation took:
   2428   8.262 seconds of real time
   2429   8.260000 seconds of total run time (8.030000 user, 0.230000 system)
   2430   [ Run times consist of 0.460 seconds GC time, and 7.800 seconds non-GC time. ]
   2431   99.98% CPU
   2432   21,427,787,134 processor cycles
   2433   1,397,568,944 bytes consed
   2434   
   2435 ek 140
   2436 Evaluation took:
   2437   0.559 seconds of real time
   2438   0.560000 seconds of total run time (0.530000 user, 0.030000 system)
   2439   [ Run times consist of 0.100 seconds GC time, and 0.460 seconds non-GC time. ]
   2440   100.18% CPU
   2441   1,449,165,484 processor cycles
   2442   91,985,984 bytes consed
   2443   
   2444 di 140
   2445 Evaluation took:
   2446   8.139 seconds of real time
   2447   8.130000 seconds of total run time (7.880000 user, 0.250000 system)
   2448   [ Run times consist of 0.540 seconds GC time, and 7.590 seconds non-GC time. ]
   2449   99.89% CPU
   2450   21,109,070,190 processor cycles
   2451   1,369,210,160 bytes consed
   2452   
   2453 ek 141
   2454 Evaluation took:
   2455   0.609 seconds of real time
   2456   0.610000 seconds of total run time (0.610000 user, 0.000000 system)
   2457   [ Run times consist of 0.060 seconds GC time, and 0.550 seconds non-GC time. ]
   2458   100.16% CPU
   2459   1,578,206,968 processor cycles
   2460   95,566,144 bytes consed
   2461   
   2462 di 141
   2463 Evaluation took:
   2464   8.986 seconds of real time
   2465   8.980000 seconds of total run time (8.750000 user, 0.230000 system)
   2466   [ Run times consist of 0.490 seconds GC time, and 8.490 seconds non-GC time. ]
   2467   99.93% CPU
   2468   23,303,659,678 processor cycles
   2469   1,523,550,992 bytes consed
   2470   
   2471 ek 142
   2472 Evaluation took:
   2473   0.653 seconds of real time
   2474   0.660000 seconds of total run time (0.630000 user, 0.030000 system)
   2475   [ Run times consist of 0.090 seconds GC time, and 0.570 seconds non-GC time. ]
   2476   101.07% CPU
   2477   1,694,470,804 processor cycles
   2478   97,827,120 bytes consed
   2479   
   2480 di 142
   2481 Evaluation took:
   2482   9.477 seconds of real time
   2483   9.470000 seconds of total run time (9.280000 user, 0.190000 system)
   2484   [ Run times consist of 0.660 seconds GC time, and 8.810 seconds non-GC time. ]
   2485   99.93% CPU
   2486   24,578,331,999 processor cycles
   2487   1,571,752,272 bytes consed
   2488   
   2489 ek 143
   2490 Evaluation took:
   2491   0.586 seconds of real time
   2492   0.580000 seconds of total run time (0.550000 user, 0.030000 system)
   2493   [ Run times consist of 0.050 seconds GC time, and 0.530 seconds non-GC time. ]
   2494   98.98% CPU
   2495   1,519,286,847 processor cycles
   2496   95,033,968 bytes consed
   2497   
   2498 di 143
   2499 Evaluation took:
   2500   8.921 seconds of real time
   2501   8.920000 seconds of total run time (8.810000 user, 0.110000 system)
   2502   [ Run times consist of 0.640 seconds GC time, and 8.280 seconds non-GC time. ]
   2503   99.99% CPU
   2504   23,135,724,638 processor cycles
   2505   1,489,012,112 bytes consed
   2506   
   2507 ek 144
   2508 Evaluation took:
   2509   0.594 seconds of real time
   2510   0.600000 seconds of total run time (0.590000 user, 0.010000 system)
   2511   [ Run times consist of 0.050 seconds GC time, and 0.550 seconds non-GC time. ]
   2512   101.01% CPU
   2513   1,540,251,843 processor cycles
   2514   93,937,760 bytes consed
   2515   
   2516 di 144
   2517 Evaluation took:
   2518   8.571 seconds of real time
   2519   8.560000 seconds of total run time (8.250000 user, 0.310000 system)
   2520   [ Run times consist of 0.520 seconds GC time, and 8.040 seconds non-GC time. ]
   2521   99.87% CPU
   2522   22,227,859,667 processor cycles
   2523   1,433,457,984 bytes consed
   2524   
   2525 ek 145
   2526 Evaluation took:
   2527   0.592 seconds of real time
   2528   0.590000 seconds of total run time (0.580000 user, 0.010000 system)
   2529   [ Run times consist of 0.070 seconds GC time, and 0.520 seconds non-GC time. ]
   2530   99.66% CPU
   2531   1,534,816,790 processor cycles
   2532   93,681,168 bytes consed
   2533   
   2534 di 145
   2535 Evaluation took:
   2536   8.151 seconds of real time
   2537   8.150000 seconds of total run time (8.020000 user, 0.130000 system)
   2538   [ Run times consist of 0.530 seconds GC time, and 7.620 seconds non-GC time. ]
   2539   99.99% CPU
   2540   21,139,812,824 processor cycles
   2541   1,382,030,656 bytes consed
   2542   
   2543 ek 146
   2544 Evaluation took:
   2545   0.588 seconds of real time
   2546   0.580000 seconds of total run time (0.570000 user, 0.010000 system)
   2547   [ Run times consist of 0.060 seconds GC time, and 0.520 seconds non-GC time. ]
   2548   98.64% CPU
   2549   1,526,492,851 processor cycles
   2550   96,783,616 bytes consed
   2551   
   2552 di 146
   2553 Evaluation took:
   2554   8.802 seconds of real time
   2555   8.800000 seconds of total run time (8.530000 user, 0.270000 system)
   2556   [ Run times consist of 0.630 seconds GC time, and 8.170 seconds non-GC time. ]
   2557   99.98% CPU
   2558   22,828,778,752 processor cycles
   2559   1,468,638,640 bytes consed
   2560   
   2561 ek 147
   2562 Evaluation took:
   2563   0.569 seconds of real time
   2564   0.570000 seconds of total run time (0.540000 user, 0.030000 system)
   2565   [ Run times consist of 0.060 seconds GC time, and 0.510 seconds non-GC time. ]
   2566   100.18% CPU
   2567   1,477,323,510 processor cycles
   2568   95,601,344 bytes consed
   2569   
   2570 di 147
   2571 Evaluation took:
   2572   8.339 seconds of real time
   2573   8.330000 seconds of total run time (8.210000 user, 0.120000 system)
   2574   [ Run times consist of 0.550 seconds GC time, and 7.780 seconds non-GC time. ]
   2575   99.89% CPU
   2576   21,628,499,464 processor cycles
   2577   1,403,773,664 bytes consed
   2578   
   2579 ek 148
   2580 Evaluation took:
   2581   0.604 seconds of real time
   2582   0.600000 seconds of total run time (0.580000 user, 0.020000 system)
   2583   [ Run times consist of 0.040 seconds GC time, and 0.560 seconds non-GC time. ]
   2584   99.34% CPU
   2585   1,566,333,535 processor cycles
   2586   98,843,888 bytes consed
   2587   
   2588 di 148
   2589 Evaluation took:
   2590   8.965 seconds of real time
   2591   8.970000 seconds of total run time (8.800000 user, 0.170000 system)
   2592   [ Run times consist of 0.520 seconds GC time, and 8.450 seconds non-GC time. ]
   2593   100.06% CPU
   2594   23,251,996,690 processor cycles
   2595   1,505,334,320 bytes consed
   2596   
   2597 ek 149
   2598 Evaluation took:
   2599   0.591 seconds of real time
   2600   0.590000 seconds of total run time (0.560000 user, 0.030000 system)
   2601   [ Run times consist of 0.070 seconds GC time, and 0.520 seconds non-GC time. ]
   2602   99.83% CPU
   2603   1,532,882,117 processor cycles
   2604   98,821,392 bytes consed
   2605   
   2606 di 149
   2607 Evaluation took:
   2608   9.280 seconds of real time
   2609   9.270000 seconds of total run time (9.010000 user, 0.260000 system)
   2610   [ Run times consist of 0.590 seconds GC time, and 8.680 seconds non-GC time. ]
   2611   99.89% CPU
   2612   24,067,833,491 processor cycles
   2613   1,538,819,488 bytes consed
   2614   
   2615 ek 150
   2616 Evaluation took:
   2617   0.622 seconds of real time
   2618   0.620000 seconds of total run time (0.580000 user, 0.040000 system)
   2619   [ Run times consist of 0.090 seconds GC time, and 0.530 seconds non-GC time. ]
   2620   99.68% CPU
   2621   1,613,728,506 processor cycles
   2622   98,740,192 bytes consed
   2623   
   2624 di 150
   2625 Evaluation took:
   2626   9.003 seconds of real time
   2627   8.990000 seconds of total run time (8.760000 user, 0.230000 system)
   2628   [ Run times consist of 0.660 seconds GC time, and 8.330 seconds non-GC time. ]
   2629   99.86% CPU
   2630   23,351,177,616 processor cycles
   2631   1,493,551,648 bytes consed
   2632   
   2633 ek 151
   2634 Evaluation took:
   2635   0.601 seconds of real time
   2636   0.600000 seconds of total run time (0.560000 user, 0.040000 system)
   2637   [ Run times consist of 0.090 seconds GC time, and 0.510 seconds non-GC time. ]
   2638   99.83% CPU
   2639   1,558,337,651 processor cycles
   2640   97,632,576 bytes consed
   2641   
   2642 di 151
   2643 Evaluation took:
   2644   8.823 seconds of real time
   2645   8.820000 seconds of total run time (8.560000 user, 0.260000 system)
   2646   [ Run times consist of 0.690 seconds GC time, and 8.130 seconds non-GC time. ]
   2647   99.97% CPU
   2648   22,882,590,978 processor cycles
   2649   1,444,863,280 bytes consed
   2650   
   2651 ek 152
   2652 Evaluation took:
   2653   0.624 seconds of real time
   2654   0.620000 seconds of total run time (0.590000 user, 0.030000 system)
   2655   [ Run times consist of 0.090 seconds GC time, and 0.530 seconds non-GC time. ]
   2656   99.36% CPU
   2657   1,618,713,187 processor cycles
   2658   100,098,704 bytes consed
   2659   
   2660 di 152
   2661 Evaluation took:
   2662   9.192 seconds of real time
   2663   9.190000 seconds of total run time (8.990000 user, 0.200000 system)
   2664   [ Run times consist of 0.650 seconds GC time, and 8.540 seconds non-GC time. ]
   2665   99.98% CPU
   2666   23,839,097,477 processor cycles
   2667   1,514,020,928 bytes consed
   2668   
   2669 ek 153
   2670 Evaluation took:
   2671   0.649 seconds of real time
   2672   0.650000 seconds of total run time (0.620000 user, 0.030000 system)
   2673   [ Run times consist of 0.080 seconds GC time, and 0.570 seconds non-GC time. ]
   2674   100.15% CPU
   2675   1,683,289,738 processor cycles
   2676   103,313,072 bytes consed
   2677   
   2678 di 153
   2679 Evaluation took:
   2680   10.313 seconds of real time
   2681   10.310000 seconds of total run time (10.040000 user, 0.270000 system)
   2682   [ Run times consist of 0.850 seconds GC time, and 9.460 seconds non-GC time. ]
   2683   99.97% CPU
   2684   26,748,360,223 processor cycles
   2685   1,667,957,456 bytes consed
   2686   
   2687 ek 154
   2688 Evaluation took:
   2689   0.650 seconds of real time
   2690   0.650000 seconds of total run time (0.620000 user, 0.030000 system)
   2691   [ Run times consist of 0.110 seconds GC time, and 0.540 seconds non-GC time. ]
   2692   100.00% CPU
   2693   1,687,562,981 processor cycles
   2694   102,004,400 bytes consed
   2695   
   2696 di 154
   2697 Evaluation took:
   2698   9.817 seconds of real time
   2699   9.800000 seconds of total run time (9.500000 user, 0.300000 system)
   2700   [ Run times consist of 0.560 seconds GC time, and 9.240 seconds non-GC time. ]
   2701   99.83% CPU
   2702   25,460,078,930 processor cycles
   2703   1,622,816,656 bytes consed
   2704   
   2705 ek 155
   2706 Evaluation took:
   2707   0.629 seconds of real time
   2708   0.630000 seconds of total run time (0.630000 user, 0.000000 system)
   2709   [ Run times consist of 0.040 seconds GC time, and 0.590 seconds non-GC time. ]
   2710   100.16% CPU
   2711   1,632,377,071 processor cycles
   2712   103,304,640 bytes consed
   2713   
   2714 di 155
   2715 Evaluation took:
   2716   9.846 seconds of real time
   2717   9.830000 seconds of total run time (9.580000 user, 0.250000 system)
   2718   [ Run times consist of 0.720 seconds GC time, and 9.110 seconds non-GC time. ]
   2719   99.84% CPU
   2720   25,535,612,778 processor cycles
   2721   1,635,169,760 bytes consed
   2722   
   2723 ek 156
   2724 Evaluation took:
   2725   0.632 seconds of real time
   2726   0.630000 seconds of total run time (0.620000 user, 0.010000 system)
   2727   [ Run times consist of 0.060 seconds GC time, and 0.570 seconds non-GC time. ]
   2728   99.68% CPU
   2729   1,638,054,210 processor cycles
   2730   102,942,480 bytes consed
   2731   
   2732 di 156
   2733 Evaluation took:
   2734   9.798 seconds of real time
   2735   9.800000 seconds of total run time (9.560000 user, 0.240000 system)
   2736   [ Run times consist of 0.790 seconds GC time, and 9.010 seconds non-GC time. ]
   2737   100.02% CPU
   2738   25,409,307,105 processor cycles
   2739   1,597,892,432 bytes consed
   2740   
   2741 ek 157
   2742 Evaluation took:
   2743   0.723 seconds of real time
   2744   0.720000 seconds of total run time (0.690000 user, 0.030000 system)
   2745   [ Run times consist of 0.100 seconds GC time, and 0.620 seconds non-GC time. ]
   2746   99.59% CPU
   2747   1,875,669,614 processor cycles
   2748   108,230,016 bytes consed
   2749   
   2750 di 157
   2751 Evaluation took:
   2752   11.086 seconds of real time
   2753   11.080000 seconds of total run time (10.760000 user, 0.320000 system)
   2754   [ Run times consist of 0.710 seconds GC time, and 10.370 seconds non-GC time. ]
   2755   99.95% CPU
   2756   28,753,550,904 processor cycles
   2757   1,831,842,208 bytes consed
   2758   
   2759 ek 158
   2760 Evaluation took:
   2761   0.668 seconds of real time
   2762   0.670000 seconds of total run time (0.650000 user, 0.020000 system)
   2763   [ Run times consist of 0.070 seconds GC time, and 0.600 seconds non-GC time. ]
   2764   100.30% CPU
   2765   1,730,801,397 processor cycles
   2766   106,060,480 bytes consed
   2767   
   2768 di 158
   2769 Evaluation took:
   2770   10.238 seconds of real time
   2771   10.230000 seconds of total run time (10.020000 user, 0.210000 system)
   2772   [ Run times consist of 0.750 seconds GC time, and 9.480 seconds non-GC time. ]
   2773   99.92% CPU
   2774   26,552,358,456 processor cycles
   2775   1,660,443,760 bytes consed
   2776   
   2777 ek 159
   2778 Evaluation took:
   2779   0.668 seconds of real time
   2780   0.670000 seconds of total run time (0.650000 user, 0.020000 system)
   2781   [ Run times consist of 0.080 seconds GC time, and 0.590 seconds non-GC time. ]
   2782   100.30% CPU
   2783   1,732,878,732 processor cycles
   2784   107,320,800 bytes consed
   2785   
   2786 di 159
   2787 Evaluation took:
   2788   10.509 seconds of real time
   2789   10.510000 seconds of total run time (10.270000 user, 0.240000 system)
   2790   [ Run times consist of 0.760 seconds GC time, and 9.750 seconds non-GC time. ]
   2791   100.01% CPU
   2792   27,257,123,374 processor cycles
   2793   1,720,494,960 bytes consed
   2794   
   2795 ek 160
   2796 Evaluation took:
   2797   0.637 seconds of real time
   2798   0.630000 seconds of total run time (0.620000 user, 0.010000 system)
   2799   [ Run times consist of 0.100 seconds GC time, and 0.530 seconds non-GC time. ]
   2800   98.90% CPU
   2801   1,651,913,471 processor cycles
   2802   105,423,888 bytes consed
   2803   
   2804 di 160
   2805 Evaluation took:
   2806   10.042 seconds of real time
   2807   10.040000 seconds of total run time (9.740000 user, 0.300000 system)
   2808   [ Run times consist of 0.720 seconds GC time, and 9.320 seconds non-GC time. ]
   2809   99.98% CPU
   2810   26,044,142,553 processor cycles
   2811   1,637,919,376 bytes consed
   2812   
   2813 ek 161
   2814 Evaluation took:
   2815   0.628 seconds of real time
   2816   0.630000 seconds of total run time (0.620000 user, 0.010000 system)
   2817   [ Run times consist of 0.050 seconds GC time, and 0.580 seconds non-GC time. ]
   2818   100.32% CPU
   2819   1,630,254,587 processor cycles
   2820   105,792,368 bytes consed
   2821   
   2822 di 161
   2823 Evaluation took:
   2824   9.913 seconds of real time
   2825   9.900000 seconds of total run time (9.560000 user, 0.340000 system)
   2826   [ Run times consist of 0.780 seconds GC time, and 9.120 seconds non-GC time. ]
   2827   99.87% CPU
   2828   25,710,026,212 processor cycles
   2829   1,602,183,808 bytes consed
   2830   
   2831 ek 162
   2832 Evaluation took:
   2833   0.607 seconds of real time
   2834   0.610000 seconds of total run time (0.600000 user, 0.010000 system)
   2835   [ Run times consist of 0.020 seconds GC time, and 0.590 seconds non-GC time. ]
   2836   100.49% CPU
   2837   1,574,558,128 processor cycles
   2838   105,931,712 bytes consed
   2839   
   2840 di 162
   2841 Evaluation took:
   2842   9.745 seconds of real time
   2843   9.740000 seconds of total run time (9.420000 user, 0.320000 system)
   2844   [ Run times consist of 0.690 seconds GC time, and 9.050 seconds non-GC time. ]
   2845   99.95% CPU
   2846   25,271,534,873 processor cycles
   2847   1,588,102,464 bytes consed
   2848   
   2849 ek 163
   2850 Evaluation took:
   2851   0.677 seconds of real time
   2852   0.670000 seconds of total run time (0.650000 user, 0.020000 system)
   2853   [ Run times consist of 0.070 seconds GC time, and 0.600 seconds non-GC time. ]
   2854   98.97% CPU
   2855   1,754,558,988 processor cycles
   2856   107,737,600 bytes consed
   2857   
   2858 di 163
   2859 Evaluation took:
   2860   10.351 seconds of real time
   2861   10.340000 seconds of total run time (10.070000 user, 0.270000 system)
   2862   [ Run times consist of 1.000 seconds GC time, and 9.340 seconds non-GC time. ]
   2863   99.89% CPU
   2864   26,844,178,790 processor cycles
   2865   1,667,960,192 bytes consed
   2866   
   2867 ek 164
   2868 Evaluation took:
   2869   0.667 seconds of real time
   2870   0.670000 seconds of total run time (0.660000 user, 0.010000 system)
   2871   [ Run times consist of 0.080 seconds GC time, and 0.590 seconds non-GC time. ]
   2872   100.45% CPU
   2873   1,730,742,130 processor cycles
   2874   108,425,952 bytes consed
   2875   
   2876 di 164
   2877 Evaluation took:
   2878   10.497 seconds of real time
   2879   10.490000 seconds of total run time (10.200000 user, 0.290000 system)
   2880   [ Run times consist of 0.650 seconds GC time, and 9.840 seconds non-GC time. ]
   2881   99.93% CPU
   2882   27,224,222,610 processor cycles
   2883   1,722,343,456 bytes consed
   2884   
   2885 ek 165
   2886 Evaluation took:
   2887   0.645 seconds of real time
   2888   0.640000 seconds of total run time (0.630000 user, 0.010000 system)
   2889   [ Run times consist of 0.040 seconds GC time, and 0.600 seconds non-GC time. ]
   2890   99.22% CPU
   2891   1,674,302,435 processor cycles
   2892   110,059,104 bytes consed
   2893   
   2894 di 165
   2895 Evaluation took:
   2896   9.890 seconds of real time
   2897   9.890000 seconds of total run time (9.640000 user, 0.250000 system)
   2898   [ Run times consist of 0.600 seconds GC time, and 9.290 seconds non-GC time. ]
   2899   100.00% CPU
   2900   25,650,482,897 processor cycles
   2901   1,621,151,504 bytes consed
   2902   
   2903 ek 166
   2904 Evaluation took:
   2905   0.699 seconds of real time
   2906   0.700000 seconds of total run time (0.690000 user, 0.010000 system)
   2907   [ Run times consist of 0.050 seconds GC time, and 0.650 seconds non-GC time. ]
   2908   100.14% CPU
   2909   1,812,775,133 processor cycles
   2910   112,393,696 bytes consed
   2911   
   2912 di 166
   2913 Evaluation took:
   2914   10.954 seconds of real time
   2915   10.950000 seconds of total run time (10.660000 user, 0.290000 system)
   2916   [ Run times consist of 0.760 seconds GC time, and 10.190 seconds non-GC time. ]
   2917   99.96% CPU
   2918   28,407,360,709 processor cycles
   2919   1,766,964,368 bytes consed
   2920   
   2921 ek 167
   2922 Evaluation took:
   2923   0.681 seconds of real time
   2924   0.680000 seconds of total run time (0.660000 user, 0.020000 system)
   2925   [ Run times consist of 0.060 seconds GC time, and 0.620 seconds non-GC time. ]
   2926   99.85% CPU
   2927   1,766,566,893 processor cycles
   2928   112,817,472 bytes consed
   2929   
   2930 di 167
   2931 Evaluation took:
   2932   10.943 seconds of real time
   2933   10.930000 seconds of total run time (10.570000 user, 0.360000 system)
   2934   [ Run times consist of 0.700 seconds GC time, and 10.230 seconds non-GC time. ]
   2935   99.88% CPU
   2936   28,380,982,812 processor cycles
   2937   1,789,778,096 bytes consed
   2938   
   2939 ek 168
   2940 Evaluation took:
   2941   0.711 seconds of real time
   2942   0.710000 seconds of total run time (0.680000 user, 0.030000 system)
   2943   [ Run times consist of 0.050 seconds GC time, and 0.660 seconds non-GC time. ]
   2944   99.86% CPU
   2945   1,843,642,671 processor cycles
   2946   115,464,320 bytes consed
   2947   
   2948 di 168
   2949 Evaluation took:
   2950   11.604 seconds of real time
   2951   11.600000 seconds of total run time (11.200000 user, 0.400000 system)
   2952   [ Run times consist of 0.770 seconds GC time, and 10.830 seconds non-GC time. ]
   2953   99.97% CPU
   2954   30,096,554,657 processor cycles
   2955   1,893,704,608 bytes consed
   2956   
   2957 ek 169
   2958 Evaluation took:
   2959   0.759 seconds of real time
   2960   0.760000 seconds of total run time (0.740000 user, 0.020000 system)
   2961   [ Run times consist of 0.110 seconds GC time, and 0.650 seconds non-GC time. ]
   2962   100.13% CPU
   2963   1,966,864,315 processor cycles
   2964   114,442,080 bytes consed
   2965   
   2966 di 169
   2967 Evaluation took:
   2968   10.953 seconds of real time
   2969   10.950000 seconds of total run time (10.660000 user, 0.290000 system)
   2970   [ Run times consist of 0.720 seconds GC time, and 10.230 seconds non-GC time. ]
   2971   99.97% CPU
   2972   28,405,736,801 processor cycles
   2973   1,788,606,048 bytes consed
   2974   
   2975 ek 170
   2976 Evaluation took:
   2977   0.713 seconds of real time
   2978   0.710000 seconds of total run time (0.670000 user, 0.040000 system)
   2979   [ Run times consist of 0.030 seconds GC time, and 0.680 seconds non-GC time. ]
   2980   99.58% CPU
   2981   1,850,095,689 processor cycles
   2982   116,646,576 bytes consed
   2983   
   2984 di 170
   2985 Evaluation took:
   2986   11.387 seconds of real time
   2987   11.380000 seconds of total run time (11.050000 user, 0.330000 system)
   2988   [ Run times consist of 0.730 seconds GC time, and 10.650 seconds non-GC time. ]
   2989   99.94% CPU
   2990   29,531,050,250 processor cycles
   2991   1,851,522,944 bytes consed
   2992   
   2993 ek 171
   2994 Evaluation took:
   2995   0.707 seconds of real time
   2996   0.710000 seconds of total run time (0.700000 user, 0.010000 system)
   2997   [ Run times consist of 0.040 seconds GC time, and 0.670 seconds non-GC time. ]
   2998   100.42% CPU
   2999   1,834,889,433 processor cycles
   3000   115,846,896 bytes consed
   3001   
   3002 di 171
   3003 Evaluation took:
   3004   11.344 seconds of real time
   3005   11.340000 seconds of total run time (11.010000 user, 0.330000 system)
   3006   [ Run times consist of 0.810 seconds GC time, and 10.530 seconds non-GC time. ]
   3007   99.96% CPU
   3008   29,420,951,573 processor cycles
   3009   1,853,276,544 bytes consed
   3010   
   3011 ek 172
   3012 Evaluation took:
   3013   0.684 seconds of real time
   3014   0.680000 seconds of total run time (0.650000 user, 0.030000 system)
   3015   [ Run times consist of 0.020 seconds GC time, and 0.660 seconds non-GC time. ]
   3016   99.42% CPU
   3017   1,773,664,763 processor cycles
   3018   114,853,952 bytes consed
   3019   
   3020 di 172
   3021 Evaluation took:
   3022   11.264 seconds of real time
   3023   11.260000 seconds of total run time (10.960000 user, 0.300000 system)
   3024   [ Run times consist of 0.700 seconds GC time, and 10.560 seconds non-GC time. ]
   3025   99.96% CPU
   3026   29,213,957,370 processor cycles
   3027   1,853,363,360 bytes consed
   3028   
   3029 ek 173
   3030 Evaluation took:
   3031   0.771 seconds of real time
   3032   0.770000 seconds of total run time (0.740000 user, 0.030000 system)
   3033   [ Run times consist of 0.090 seconds GC time, and 0.680 seconds non-GC time. ]
   3034   99.87% CPU
   3035   1,999,211,877 processor cycles
   3036   120,722,512 bytes consed
   3037   
   3038 di 173
   3039 Evaluation took:
   3040   12.062 seconds of real time
   3041   12.050000 seconds of total run time (11.670000 user, 0.380000 system)
   3042   [ Run times consist of 0.750 seconds GC time, and 11.300 seconds non-GC time. ]
   3043   99.90% CPU
   3044   31,283,055,687 processor cycles
   3045   1,952,952,176 bytes consed
   3046   
   3047 ek 174
   3048 Evaluation took:
   3049   0.741 seconds of real time
   3050   0.740000 seconds of total run time (0.720000 user, 0.020000 system)
   3051   [ Run times consist of 0.070 seconds GC time, and 0.670 seconds non-GC time. ]
   3052   99.87% CPU
   3053   1,922,192,519 processor cycles
   3054   119,259,648 bytes consed
   3055   
   3056 di 174
   3057 Evaluation took:
   3058   11.734 seconds of real time
   3059   11.740000 seconds of total run time (11.590000 user, 0.150000 system)
   3060   [ Run times consist of 0.900 seconds GC time, and 10.840 seconds non-GC time. ]
   3061   100.05% CPU
   3062   30,432,472,928 processor cycles
   3063   1,890,704,608 bytes consed
   3064   
   3065 ek 175
   3066 Evaluation took:
   3067   0.722 seconds of real time
   3068   0.730000 seconds of total run time (0.700000 user, 0.030000 system)
   3069   [ Run times consist of 0.050 seconds GC time, and 0.680 seconds non-GC time. ]
   3070   101.11% CPU
   3071   1,871,934,168 processor cycles
   3072   118,700,672 bytes consed
   3073   
   3074 di 175
   3075 Evaluation took:
   3076   11.703 seconds of real time
   3077   11.690000 seconds of total run time (11.440000 user, 0.250000 system)
   3078   [ Run times consist of 0.830 seconds GC time, and 10.860 seconds non-GC time. ]
   3079   99.89% CPU
   3080   30,351,759,022 processor cycles
   3081   1,882,882,592 bytes consed
   3082   
   3083 ek 176
   3084 Evaluation took:
   3085   0.692 seconds of real time
   3086   0.690000 seconds of total run time (0.640000 user, 0.050000 system)
   3087   [ Run times consist of 0.050 seconds GC time, and 0.640 seconds non-GC time. ]
   3088   99.71% CPU
   3089   1,792,924,731 processor cycles
   3090   117,069,872 bytes consed
   3091   
   3092 di 176
   3093 Evaluation took:
   3094   11.002 seconds of real time
   3095   11.0000000 seconds of total run time (10.660000 user, 0.340000 system)
   3096   [ Run times consist of 0.760 seconds GC time, and 10.240 seconds non-GC time. ]
   3097   99.98% CPU
   3098   28,533,107,005 processor cycles
   3099   1,790,064,832 bytes consed
   3100   
   3101 ek 177
   3102 Evaluation took:
   3103   0.816 seconds of real time
   3104   0.810000 seconds of total run time (0.790000 user, 0.020000 system)
   3105   [ Run times consist of 0.120 seconds GC time, and 0.690 seconds non-GC time. ]
   3106   99.26% CPU
   3107   2,116,035,012 processor cycles
   3108   121,523,568 bytes consed
   3109   
   3110 di 177
   3111 Evaluation took:
   3112   12.270 seconds of real time
   3113   12.270000 seconds of total run time (11.930000 user, 0.340000 system)
   3114   [ Run times consist of 0.770 seconds GC time, and 11.500 seconds non-GC time. ]
   3115   100.00% CPU
   3116   31,823,694,981 processor cycles
   3117   1,977,732,480 bytes consed
   3118   
   3119 ek 178
   3120 Evaluation took:
   3121   0.764 seconds of real time
   3122   0.770000 seconds of total run time (0.760000 user, 0.010000 system)
   3123   [ Run times consist of 0.060 seconds GC time, and 0.710 seconds non-GC time. ]
   3124   100.79% CPU
   3125   1,981,228,405 processor cycles
   3126   121,357,088 bytes consed
   3127   
   3128 di 178
   3129 Evaluation took:
   3130   12.175 seconds of real time
   3131   12.160000 seconds of total run time (11.900000 user, 0.260000 system)
   3132   [ Run times consist of 0.800 seconds GC time, and 11.360 seconds non-GC time. ]
   3133   99.88% CPU
   3134   31,575,861,161 processor cycles
   3135   1,971,436,368 bytes consed
   3136   
   3137 ek 179
   3138 Evaluation took:
   3139   0.763 seconds of real time
   3140   0.770000 seconds of total run time (0.700000 user, 0.070000 system)
   3141   [ Run times consist of 0.100 seconds GC time, and 0.670 seconds non-GC time. ]
   3142   100.92% CPU
   3143   1,979,247,244 processor cycles
   3144   120,761,568 bytes consed
   3145   
   3146 di 179
   3147 Evaluation took:
   3148   12.052 seconds of real time
   3149   12.040000 seconds of total run time (11.740000 user, 0.300000 system)
   3150   [ Run times consist of 0.720 seconds GC time, and 11.320 seconds non-GC time. ]
   3151   99.90% CPU
   3152   31,254,871,856 processor cycles
   3153   1,948,700,240 bytes consed
   3154   
   3155 ek 180
   3156 Evaluation took:
   3157   0.783 seconds of real time
   3158   0.780000 seconds of total run time (0.770000 user, 0.010000 system)
   3159   [ Run times consist of 0.020 seconds GC time, and 0.760 seconds non-GC time. ]
   3160   99.62% CPU
   3161   2,030,862,366 processor cycles
   3162   124,917,904 bytes consed
   3163   
   3164 di 180
   3165 Evaluation took:
   3166   13.090 seconds of real time
   3167   13.090000 seconds of total run time (12.730000 user, 0.360000 system)
   3168   [ Run times consist of 0.900 seconds GC time, and 12.190 seconds non-GC time. ]
   3169   100.00% CPU
   3170   33,949,558,422 processor cycles
   3171   2,118,947,440 bytes consed
   3172   
   3173 ek 181
   3174 Evaluation took:
   3175   0.826 seconds of real time
   3176   0.820000 seconds of total run time (0.800000 user, 0.020000 system)
   3177   [ Run times consist of 0.070 seconds GC time, and 0.750 seconds non-GC time. ]
   3178   99.27% CPU
   3179   2,142,432,461 processor cycles
   3180   127,282,976 bytes consed
   3181   
   3182 di 181
   3183 Evaluation took:
   3184   13.339 seconds of real time
   3185   13.340000 seconds of total run time (12.980000 user, 0.360000 system)
   3186   [ Run times consist of 0.850 seconds GC time, and 12.490 seconds non-GC time. ]
   3187   100.01% CPU
   3188   34,595,499,848 processor cycles
   3189   2,137,925,872 bytes consed
   3190   
   3191 ek 182
   3192 Evaluation took:
   3193   0.787 seconds of real time
   3194   0.790000 seconds of total run time (0.780000 user, 0.010000 system)
   3195   [ Run times consist of 0.090 seconds GC time, and 0.700 seconds non-GC time. ]
   3196   100.38% CPU
   3197   2,040,291,175 processor cycles
   3198   123,387,328 bytes consed
   3199   
   3200 di 182
   3201 Evaluation took:
   3202   11.851 seconds of real time
   3203   11.840000 seconds of total run time (11.530000 user, 0.310000 system)
   3204   [ Run times consist of 0.870 seconds GC time, and 10.970 seconds non-GC time. ]
   3205   99.91% CPU
   3206   30,735,753,802 processor cycles
   3207   1,914,780,032 bytes consed
   3208   
   3209 ek 183
   3210 Evaluation took:
   3211   0.788 seconds of real time
   3212   0.790000 seconds of total run time (0.780000 user, 0.010000 system)
   3213   [ Run times consist of 0.090 seconds GC time, and 0.700 seconds non-GC time. ]
   3214   100.25% CPU
   3215   2,044,734,263 processor cycles
   3216   123,870,992 bytes consed
   3217   
   3218 di 183
   3219 Evaluation took:
   3220   12.447 seconds of real time
   3221   12.430000 seconds of total run time (12.030000 user, 0.400000 system)
   3222   [ Run times consist of 0.790 seconds GC time, and 11.640 seconds non-GC time. ]
   3223   99.86% CPU
   3224   32,280,421,043 processor cycles
   3225   1,990,893,040 bytes consed
   3226   
   3227 ek 184
   3228 Evaluation took:
   3229   0.736 seconds of real time
   3230   0.740000 seconds of total run time (0.740000 user, 0.000000 system)
   3231   [ Run times consist of 0.080 seconds GC time, and 0.660 seconds non-GC time. ]
   3232   100.54% CPU
   3233   1,908,890,555 processor cycles
   3234   121,564,096 bytes consed
   3235   
   3236 di 184
   3237 Evaluation took:
   3238   11.455 seconds of real time
   3239   11.440000 seconds of total run time (11.150000 user, 0.290000 system)
   3240   [ Run times consist of 0.850 seconds GC time, and 10.590 seconds non-GC time. ]
   3241   99.87% CPU
   3242   29,706,484,392 processor cycles
   3243   1,854,825,904 bytes consed
   3244   
   3245 ek 185
   3246 Evaluation took:
   3247   0.744 seconds of real time
   3248   0.740000 seconds of total run time (0.700000 user, 0.040000 system)
   3249   [ Run times consist of 0.070 seconds GC time, and 0.670 seconds non-GC time. ]
   3250   99.46% CPU
   3251   1,930,562,738 processor cycles
   3252   123,617,600 bytes consed
   3253   
   3254 di 185
   3255 Evaluation took:
   3256   12.188 seconds of real time
   3257   12.180000 seconds of total run time (11.840000 user, 0.340000 system)
   3258   [ Run times consist of 0.830 seconds GC time, and 11.350 seconds non-GC time. ]
   3259   99.93% CPU
   3260   31,610,238,998 processor cycles
   3261   1,963,788,736 bytes consed
   3262   
   3263 ek 186
   3264 Evaluation took:
   3265   0.744 seconds of real time
   3266   0.740000 seconds of total run time (0.730000 user, 0.010000 system)
   3267   [ Run times consist of 0.050 seconds GC time, and 0.690 seconds non-GC time. ]
   3268   99.46% CPU
   3269   1,927,310,957 processor cycles
   3270   125,314,720 bytes consed
   3271   
   3272 di 186
   3273 Evaluation took:
   3274   12.033 seconds of real time
   3275   12.040000 seconds of total run time (11.770000 user, 0.270000 system)
   3276   [ Run times consist of 0.810 seconds GC time, and 11.230 seconds non-GC time. ]
   3277   100.06% CPU
   3278   31,206,510,751 processor cycles
   3279   1,935,165,536 bytes consed
   3280   
   3281 ek 187
   3282 Evaluation took:
   3283   0.840 seconds of real time
   3284   0.840000 seconds of total run time (0.790000 user, 0.050000 system)
   3285   [ Run times consist of 0.100 seconds GC time, and 0.740 seconds non-GC time. ]
   3286   100.00% CPU
   3287   2,179,004,204 processor cycles
   3288   128,899,216 bytes consed
   3289   
   3290 di 187
   3291 Evaluation took:
   3292   13.123 seconds of real time
   3293   13.120000 seconds of total run time (12.840000 user, 0.280000 system)
   3294   [ Run times consist of 0.900 seconds GC time, and 12.220 seconds non-GC time. ]
   3295   99.98% CPU
   3296   34,036,021,695 processor cycles
   3297   2,113,569,472 bytes consed
   3298   
   3299 ek 188
   3300 Evaluation took:
   3301   0.819 seconds of real time
   3302   0.810000 seconds of total run time (0.780000 user, 0.030000 system)
   3303   [ Run times consist of 0.160 seconds GC time, and 0.650 seconds non-GC time. ]
   3304   98.90% CPU
   3305   2,122,920,371 processor cycles
   3306   125,030,752 bytes consed
   3307   
   3308 di 188
   3309 Evaluation took:
   3310   11.849 seconds of real time
   3311   11.840000 seconds of total run time (11.540000 user, 0.300000 system)
   3312   [ Run times consist of 0.740 seconds GC time, and 11.100 seconds non-GC time. ]
   3313   99.92% CPU
   3314   30,729,022,935 processor cycles
   3315   1,916,791,648 bytes consed
   3316   
   3317 ek 189
   3318 Evaluation took:
   3319   0.803 seconds of real time
   3320   0.800000 seconds of total run time (0.790000 user, 0.010000 system)
   3321   [ Run times consist of 0.070 seconds GC time, and 0.730 seconds non-GC time. ]
   3322   99.63% CPU
   3323   2,086,218,914 processor cycles
   3324   129,037,008 bytes consed
   3325   
   3326 di 189
   3327 Evaluation took:
   3328   12.990 seconds of real time
   3329   12.980000 seconds of total run time (12.610000 user, 0.370000 system)
   3330   [ Run times consist of 0.960 seconds GC time, and 12.020 seconds non-GC time. ]
   3331   99.92% CPU
   3332   33,687,766,112 processor cycles
   3333   2,081,301,776 bytes consed
   3334   
   3335 ek 190
   3336 Evaluation took:
   3337   0.880 seconds of real time
   3338   0.880000 seconds of total run time (0.840000 user, 0.040000 system)
   3339   [ Run times consist of 0.070 seconds GC time, and 0.810 seconds non-GC time. ]
   3340   100.00% CPU
   3341   2,283,239,556 processor cycles
   3342   132,603,136 bytes consed
   3343   
   3344 di 190
   3345 Evaluation took:
   3346   13.372 seconds of real time
   3347   13.360000 seconds of total run time (12.950000 user, 0.410000 system)
   3348   [ Run times consist of 0.950 seconds GC time, and 12.410 seconds non-GC time. ]
   3349   99.91% CPU
   3350   34,681,034,063 processor cycles
   3351   2,138,872,480 bytes consed
   3352   
   3353 ek 191
   3354 Evaluation took:
   3355   0.859 seconds of real time
   3356   0.860000 seconds of total run time (0.850000 user, 0.010000 system)
   3357   [ Run times consist of 0.080 seconds GC time, and 0.780 seconds non-GC time. ]
   3358   100.12% CPU
   3359   2,228,767,190 processor cycles
   3360   132,178,512 bytes consed
   3361   
   3362 di 191
   3363 Evaluation took:
   3364   13.813 seconds of real time
   3365   13.800000 seconds of total run time (13.520000 user, 0.280000 system)
   3366   [ Run times consist of 0.950 seconds GC time, and 12.850 seconds non-GC time. ]
   3367   99.91% CPU
   3368   35,825,575,409 processor cycles
   3369   2,190,840,400 bytes consed
   3370   
   3371 ek 192
   3372 Evaluation took:
   3373   0.833 seconds of real time
   3374   0.830000 seconds of total run time (0.810000 user, 0.020000 system)
   3375   [ Run times consist of 0.080 seconds GC time, and 0.750 seconds non-GC time. ]
   3376   99.64% CPU
   3377   2,160,486,679 processor cycles
   3378   132,659,008 bytes consed
   3379   
   3380 di 192
   3381 Evaluation took:
   3382   13.841 seconds of real time
   3383   13.840000 seconds of total run time (13.440000 user, 0.400000 system)
   3384   [ Run times consist of 1.060 seconds GC time, and 12.780 seconds non-GC time. ]
   3385   99.99% CPU
   3386   35,897,003,831 processor cycles
   3387   2,170,044,448 bytes consed
   3388   
   3389 ek 193
   3390 Evaluation took:
   3391   0.834 seconds of real time
   3392   0.830000 seconds of total run time (0.820000 user, 0.010000 system)
   3393   [ Run times consist of 0.100 seconds GC time, and 0.730 seconds non-GC time. ]
   3394   99.52% CPU
   3395   2,165,015,983 processor cycles
   3396   132,034,832 bytes consed
   3397   
   3398 di 193
   3399 Evaluation took:
   3400   13.001 seconds of real time
   3401   12.990000 seconds of total run time (12.550000 user, 0.440000 system)
   3402   [ Run times consist of 1.090 seconds GC time, and 11.900 seconds non-GC time. ]
   3403   99.92% CPU
   3404   33,718,582,105 processor cycles
   3405   2,066,936,800 bytes consed
   3406   
   3407 ek 194
   3408 Evaluation took:
   3409   0.780 seconds of real time
   3410   0.780000 seconds of total run time (0.770000 user, 0.010000 system)
   3411   [ Run times consist of 0.060 seconds GC time, and 0.720 seconds non-GC time. ]
   3412   100.00% CPU
   3413   2,023,166,730 processor cycles
   3414   130,936,624 bytes consed
   3415   
   3416 di 194
   3417 Evaluation took:
   3418   12.562 seconds of real time
   3419   12.560000 seconds of total run time (12.160000 user, 0.400000 system)
   3420   [ Run times consist of 0.850 seconds GC time, and 11.710 seconds non-GC time. ]
   3421   99.98% CPU
   3422   32,581,485,781 processor cycles
   3423   1,995,936,896 bytes consed
   3424   
   3425 ek 195
   3426 Evaluation took:
   3427   0.802 seconds of real time
   3428   0.800000 seconds of total run time (0.740000 user, 0.060000 system)
   3429   [ Run times consist of 0.080 seconds GC time, and 0.720 seconds non-GC time. ]
   3430   99.75% CPU
   3431   2,079,581,205 processor cycles
   3432   130,697,696 bytes consed
   3433   
   3434 di 195
   3435 Evaluation took:
   3436   12.990 seconds of real time
   3437   12.980000 seconds of total run time (12.500000 user, 0.480000 system)
   3438   [ Run times consist of 1.030 seconds GC time, and 11.950 seconds non-GC time. ]
   3439   99.92% CPU
   3440   33,688,426,707 processor cycles
   3441   2,051,484,208 bytes consed
   3442   
   3443 ek 196
   3444 Evaluation took:
   3445   0.822 seconds of real time
   3446   0.820000 seconds of total run time (0.790000 user, 0.030000 system)
   3447   [ Run times consist of 0.060 seconds GC time, and 0.760 seconds non-GC time. ]
   3448   99.76% CPU
   3449   2,130,789,232 processor cycles
   3450   132,268,272 bytes consed
   3451   
   3452 di 196
   3453 Evaluation took:
   3454   13.065 seconds of real time
   3455   13.060000 seconds of total run time (12.620000 user, 0.440000 system)
   3456   [ Run times consist of 0.860 seconds GC time, and 12.200 seconds non-GC time. ]
   3457   99.96% CPU
   3458   33,883,779,085 processor cycles
   3459   2,086,619,472 bytes consed
   3460   
   3461 ek 197
   3462 Evaluation took:
   3463   0.814 seconds of real time
   3464   0.810000 seconds of total run time (0.810000 user, 0.000000 system)
   3465   [ Run times consist of 0.070 seconds GC time, and 0.740 seconds non-GC time. ]
   3466   99.51% CPU
   3467   2,111,118,438 processor cycles
   3468   133,508,576 bytes consed
   3469   
   3470 di 197
   3471 Evaluation took:
   3472   13.740 seconds of real time
   3473   13.730000 seconds of total run time (13.380000 user, 0.350000 system)
   3474   [ Run times consist of 1.020 seconds GC time, and 12.710 seconds non-GC time. ]
   3475   99.93% CPU
   3476   35,632,935,442 processor cycles
   3477   2,149,555,728 bytes consed
   3478   
   3479 ek 198
   3480 Evaluation took:
   3481   0.893 seconds of real time
   3482   0.900000 seconds of total run time (0.830000 user, 0.070000 system)
   3483   [ Run times consist of 0.120 seconds GC time, and 0.780 seconds non-GC time. ]
   3484   100.78% CPU
   3485   2,315,117,194 processor cycles
   3486   136,541,520 bytes consed
   3487   
   3488 di 198
   3489 Evaluation took:
   3490   14.170 seconds of real time
   3491   14.160000 seconds of total run time (13.760000 user, 0.400000 system)
   3492   [ Run times consist of 1.140 seconds GC time, and 13.020 seconds non-GC time. ]
   3493   99.93% CPU
   3494   36,750,290,148 processor cycles
   3495   2,218,853,552 bytes consed
   3496   
   3497 ek 199
   3498 Evaluation took:
   3499   0.879 seconds of real time
   3500   0.880000 seconds of total run time (0.840000 user, 0.040000 system)
   3501   [ Run times consist of 0.090 seconds GC time, and 0.790 seconds non-GC time. ]
   3502   100.11% CPU
   3503   2,279,107,701 processor cycles
   3504   136,809,104 bytes consed
   3505   
   3506 di 199
   3507 Evaluation took:
   3508   14.074 seconds of real time
   3509   14.060000 seconds of total run time (13.590000 user, 0.470000 system)
   3510   [ Run times consist of 1.380 seconds GC time, and 12.680 seconds non-GC time. ]
   3511   99.90% CPU
   3512   36,501,380,474 processor cycles
   3513   2,153,399,824 bytes consed
   3514   
   3515 ek 200
   3516 Evaluation took:
   3517   0.816 seconds of real time
   3518   0.820000 seconds of total run time (0.800000 user, 0.020000 system)
   3519   [ Run times consist of 0.060 seconds GC time, and 0.760 seconds non-GC time. ]
   3520   100.49% CPU
   3521   2,114,574,969 processor cycles
   3522   134,813,120 bytes consed
   3523   
   3524 di 200
   3525 Evaluation took:
   3526   13.211 seconds of real time
   3527   13.200000 seconds of total run time (12.870000 user, 0.330000 system)
   3528   [ Run times consist of 0.930 seconds GC time, and 12.270 seconds non-GC time. ]
   3529   99.92% CPU
   3530   34,263,369,777 processor cycles
   3531   2,086,214,816 bytes consed
   3532   
   3533 NIL
   3534 *