www

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

2106-stat (81164B)


      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   576,173 processor cycles
     17   138,720 bytes consed
     18   
     19 di 3
     20 Evaluation took:
     21   0.000 seconds of real time
     22   0.000000 seconds of total run time (0.000000 user, 0.000000 system)
     23   100.00% CPU
     24   738,842 processor cycles
     25   192,176 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,275,352 processor cycles
     33   253,040 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,806,856 processor cycles
     41   554,192 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,546,024 processor cycles
     49   451,632 bytes consed
     50   
     51 di 5
     52 Evaluation took:
     53   0.008 seconds of real time
     54   0.010000 seconds of total run time (0.010000 user, 0.000000 system)
     55   125.00% CPU
     56   19,513,364 processor cycles
     57   1,094,256 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,063,527 processor cycles
     65   670,656 bytes consed
     66   
     67 di 6
     68 Evaluation took:
     69   0.005 seconds of real time
     70   0.010000 seconds of total run time (0.010000 user, 0.000000 system)
     71   200.00% CPU
     72   12,476,490 processor cycles
     73   1,973,952 bytes consed
     74   
     75 ek 7
     76 Evaluation took:
     77   0.003 seconds of real time
     78   0.010000 seconds of total run time (0.010000 user, 0.000000 system)
     79   333.33% CPU
     80   6,246,175 processor cycles
     81   984,512 bytes consed
     82   
     83 di 7
     84 Evaluation took:
     85   0.009 seconds of real time
     86   0.000000 seconds of total run time (0.000000 user, 0.000000 system)
     87   0.00% CPU
     88   22,143,316 processor cycles
     89   3,252,400 bytes consed
     90   
     91 ek 8
     92 Evaluation took:
     93   0.004 seconds of real time
     94   0.010000 seconds of total run time (0.010000 user, 0.000000 system)
     95   250.00% CPU
     96   8,956,012 processor cycles
     97   1,344,000 bytes consed
     98   
     99 di 8
    100 Evaluation took:
    101   0.017 seconds of real time
    102   0.010000 seconds of total run time (0.010000 user, 0.000000 system)
    103   58.82% CPU
    104   44,390,346 processor cycles
    105   5,526,816 bytes consed
    106   
    107 ek 9
    108 Evaluation took:
    109   0.004 seconds of real time
    110   0.010000 seconds of total run time (0.010000 user, 0.000000 system)
    111   250.00% CPU
    112   11,581,843 processor cycles
    113   1,726,448 bytes consed
    114   
    115 di 9
    116 Evaluation took:
    117   0.034 seconds of real time
    118   0.030000 seconds of total run time (0.020000 user, 0.010000 system)
    119   [ Run times consist of 0.010 seconds GC time, and 0.020 seconds non-GC time. ]
    120   88.24% CPU
    121   88,884,991 processor cycles
    122   7,905,152 bytes consed
    123   
    124 ek 10
    125 Evaluation took:
    126   0.007 seconds of real time
    127   0.010000 seconds of total run time (0.010000 user, 0.000000 system)
    128   142.86% CPU
    129   17,436,874 processor cycles
    130   2,147,216 bytes consed
    131   
    132 di 10
    133 Evaluation took:
    134   0.040 seconds of real time
    135   0.040000 seconds of total run time (0.040000 user, 0.000000 system)
    136   100.00% CPU
    137   103,141,207 processor cycles
    138   11,232,736 bytes consed
    139   
    140 ek 11
    141 Evaluation took:
    142   0.008 seconds of real time
    143   0.010000 seconds of total run time (0.010000 user, 0.000000 system)
    144   125.00% CPU
    145   20,424,326 processor cycles
    146   2,710,640 bytes consed
    147   
    148 di 11
    149 Evaluation took:
    150   0.053 seconds of real time
    151   0.060000 seconds of total run time (0.060000 user, 0.000000 system)
    152   113.21% CPU
    153   137,237,776 processor cycles
    154   15,751,728 bytes consed
    155   
    156 ek 12
    157 Evaluation took:
    158   0.009 seconds of real time
    159   0.010000 seconds of total run time (0.010000 user, 0.000000 system)
    160   111.11% CPU
    161   24,564,800 processor cycles
    162   3,221,392 bytes consed
    163   
    164 di 12
    165 Evaluation took:
    166   0.076 seconds of real time
    167   0.080000 seconds of total run time (0.080000 user, 0.000000 system)
    168   [ Run times consist of 0.010 seconds GC time, and 0.070 seconds non-GC time. ]
    169   105.26% CPU
    170   198,082,183 processor cycles
    171   21,026,224 bytes consed
    172   
    173 ek 13
    174 Evaluation took:
    175   0.021 seconds of real time
    176   0.020000 seconds of total run time (0.010000 user, 0.010000 system)
    177   [ Run times consist of 0.010 seconds GC time, and 0.010 seconds non-GC time. ]
    178   95.24% CPU
    179   53,896,102 processor cycles
    180   3,783,552 bytes consed
    181   
    182 di 13
    183 Evaluation took:
    184   0.096 seconds of real time
    185   0.090000 seconds of total run time (0.080000 user, 0.010000 system)
    186   [ Run times consist of 0.010 seconds GC time, and 0.080 seconds non-GC time. ]
    187   93.75% CPU
    188   246,640,134 processor cycles
    189   25,197,840 bytes consed
    190   
    191 ek 14
    192 Evaluation took:
    193   0.014 seconds of real time
    194   0.020000 seconds of total run time (0.020000 user, 0.000000 system)
    195   142.86% CPU
    196   36,652,590 processor cycles
    197   4,381,760 bytes consed
    198   
    199 di 14
    200 Evaluation took:
    201   0.124 seconds of real time
    202   0.120000 seconds of total run time (0.120000 user, 0.000000 system)
    203   96.77% CPU
    204   320,022,872 processor cycles
    205   31,678,992 bytes consed
    206   
    207 ek 15
    208 Evaluation took:
    209   0.019 seconds of real time
    210   0.020000 seconds of total run time (0.020000 user, 0.000000 system)
    211   [ Run times consist of 0.010 seconds GC time, and 0.010 seconds non-GC time. ]
    212   105.26% CPU
    213   50,024,052 processor cycles
    214   4,958,688 bytes consed
    215   
    216 di 15
    217 Evaluation took:
    218   0.161 seconds of real time
    219   0.160000 seconds of total run time (0.150000 user, 0.010000 system)
    220   [ Run times consist of 0.010 seconds GC time, and 0.150 seconds non-GC time. ]
    221   99.38% CPU
    222   418,121,847 processor cycles
    223   39,744,624 bytes consed
    224   
    225 ek 16
    226 Evaluation took:
    227   0.023 seconds of real time
    228   0.020000 seconds of total run time (0.020000 user, 0.000000 system)
    229   86.96% CPU
    230   57,903,313 processor cycles
    231   5,659,984 bytes consed
    232   
    233 di 16
    234 Evaluation took:
    235   0.186 seconds of real time
    236   0.180000 seconds of total run time (0.180000 user, 0.000000 system)
    237   96.77% CPU
    238   480,410,801 processor cycles
    239   47,079,264 bytes consed
    240   
    241 ek 17
    242 Evaluation took:
    243   0.024 seconds of real time
    244   0.020000 seconds of total run time (0.020000 user, 0.000000 system)
    245   83.33% CPU
    246   61,966,320 processor cycles
    247   6,390,256 bytes consed
    248   
    249 di 17
    250 Evaluation took:
    251   0.245 seconds of real time
    252   0.250000 seconds of total run time (0.240000 user, 0.010000 system)
    253   [ Run times consist of 0.010 seconds GC time, and 0.240 seconds non-GC time. ]
    254   102.04% CPU
    255   635,255,959 processor cycles
    256   57,370,656 bytes consed
    257   
    258 ek 18
    259 Evaluation took:
    260   0.027 seconds of real time
    261   0.030000 seconds of total run time (0.020000 user, 0.010000 system)
    262   111.11% CPU
    263   71,833,385 processor cycles
    264   7,177,648 bytes consed
    265   
    266 di 18
    267 Evaluation took:
    268   0.290 seconds of real time
    269   0.290000 seconds of total run time (0.290000 user, 0.000000 system)
    270   100.00% CPU
    271   751,917,530 processor cycles
    272   67,955,328 bytes consed
    273   
    274 ek 19
    275 Evaluation took:
    276   0.033 seconds of real time
    277   0.030000 seconds of total run time (0.030000 user, 0.000000 system)
    278   90.91% CPU
    279   86,946,002 processor cycles
    280   8,031,664 bytes consed
    281   
    282 di 19
    283 Evaluation took:
    284   0.377 seconds of real time
    285   0.380000 seconds of total run time (0.380000 user, 0.000000 system)
    286   [ Run times consist of 0.020 seconds GC time, and 0.360 seconds non-GC time. ]
    287   100.80% CPU
    288   978,023,202 processor cycles
    289   81,646,784 bytes consed
    290   
    291 ek 20
    292 Evaluation took:
    293   0.037 seconds of real time
    294   0.030000 seconds of total run time (0.030000 user, 0.000000 system)
    295   [ Run times consist of 0.010 seconds GC time, and 0.020 seconds non-GC time. ]
    296   81.08% CPU
    297   95,329,052 processor cycles
    298   8,629,472 bytes consed
    299   
    300 di 20
    301 Evaluation took:
    302   0.423 seconds of real time
    303   0.430000 seconds of total run time (0.400000 user, 0.030000 system)
    304   [ Run times consist of 0.020 seconds GC time, and 0.410 seconds non-GC time. ]
    305   101.65% CPU
    306   1,096,665,986 processor cycles
    307   91,793,424 bytes consed
    308   
    309 ek 21
    310 Evaluation took:
    311   0.050 seconds of real time
    312   0.050000 seconds of total run time (0.050000 user, 0.000000 system)
    313   [ Run times consist of 0.020 seconds GC time, and 0.030 seconds non-GC time. ]
    314   100.00% CPU
    315   129,155,780 processor cycles
    316   9,555,856 bytes consed
    317   
    318 di 21
    319 Evaluation took:
    320   0.479 seconds of real time
    321   0.480000 seconds of total run time (0.480000 user, 0.000000 system)
    322   [ Run times consist of 0.020 seconds GC time, and 0.460 seconds non-GC time. ]
    323   100.21% CPU
    324   1,241,591,013 processor cycles
    325   106,081,408 bytes consed
    326   
    327 ek 22
    328 Evaluation took:
    329   0.046 seconds of real time
    330   0.050000 seconds of total run time (0.050000 user, 0.000000 system)
    331   [ Run times consist of 0.010 seconds GC time, and 0.040 seconds non-GC time. ]
    332   108.70% CPU
    333   119,553,044 processor cycles
    334   10,387,664 bytes consed
    335   
    336 di 22
    337 Evaluation took:
    338   0.554 seconds of real time
    339   0.550000 seconds of total run time (0.530000 user, 0.020000 system)
    340   [ Run times consist of 0.040 seconds GC time, and 0.510 seconds non-GC time. ]
    341   99.28% CPU
    342   1,437,289,347 processor cycles
    343   119,197,056 bytes consed
    344   
    345 ek 23
    346 Evaluation took:
    347   0.048 seconds of real time
    348   0.050000 seconds of total run time (0.050000 user, 0.000000 system)
    349   [ Run times consist of 0.010 seconds GC time, and 0.040 seconds non-GC time. ]
    350   104.17% CPU
    351   126,098,973 processor cycles
    352   11,296,400 bytes consed
    353   
    354 di 23
    355 Evaluation took:
    356   0.648 seconds of real time
    357   0.640000 seconds of total run time (0.620000 user, 0.020000 system)
    358   [ Run times consist of 0.030 seconds GC time, and 0.610 seconds non-GC time. ]
    359   98.77% CPU
    360   1,681,558,424 processor cycles
    361   136,050,624 bytes consed
    362   
    363 ek 24
    364 Evaluation took:
    365   0.055 seconds of real time
    366   0.050000 seconds of total run time (0.050000 user, 0.000000 system)
    367   [ Run times consist of 0.010 seconds GC time, and 0.040 seconds non-GC time. ]
    368   90.91% CPU
    369   141,342,487 processor cycles
    370   12,069,296 bytes consed
    371   
    372 di 24
    373 Evaluation took:
    374   0.704 seconds of real time
    375   0.700000 seconds of total run time (0.680000 user, 0.020000 system)
    376   [ Run times consist of 0.040 seconds GC time, and 0.660 seconds non-GC time. ]
    377   99.43% CPU
    378   1,824,266,860 processor cycles
    379   149,721,584 bytes consed
    380   
    381 ek 25
    382 Evaluation took:
    383   0.072 seconds of real time
    384   0.070000 seconds of total run time (0.060000 user, 0.010000 system)
    385   [ Run times consist of 0.010 seconds GC time, and 0.060 seconds non-GC time. ]
    386   97.22% CPU
    387   185,308,825 processor cycles
    388   13,171,232 bytes consed
    389   
    390 di 25
    391 Evaluation took:
    392   0.798 seconds of real time
    393   0.800000 seconds of total run time (0.800000 user, 0.000000 system)
    394   [ Run times consist of 0.020 seconds GC time, and 0.780 seconds non-GC time. ]
    395   100.25% CPU
    396   2,068,176,630 processor cycles
    397   169,706,992 bytes consed
    398   
    399 ek 26
    400 Evaluation took:
    401   0.064 seconds of real time
    402   0.060000 seconds of total run time (0.050000 user, 0.010000 system)
    403   [ Run times consist of 0.010 seconds GC time, and 0.050 seconds non-GC time. ]
    404   93.75% CPU
    405   165,922,991 processor cycles
    406   13,847,600 bytes consed
    407   
    408 di 26
    409 Evaluation took:
    410   0.847 seconds of real time
    411   0.840000 seconds of total run time (0.840000 user, 0.000000 system)
    412   [ Run times consist of 0.020 seconds GC time, and 0.820 seconds non-GC time. ]
    413   99.17% CPU
    414   2,197,893,464 processor cycles
    415   175,670,992 bytes consed
    416   
    417 ek 27
    418 Evaluation took:
    419   0.084 seconds of real time
    420   0.080000 seconds of total run time (0.050000 user, 0.030000 system)
    421   [ Run times consist of 0.020 seconds GC time, and 0.060 seconds non-GC time. ]
    422   95.24% CPU
    423   218,220,600 processor cycles
    424   14,851,680 bytes consed
    425   
    426 di 27
    427 Evaluation took:
    428   0.980 seconds of real time
    429   0.980000 seconds of total run time (0.980000 user, 0.000000 system)
    430   [ Run times consist of 0.010 seconds GC time, and 0.970 seconds non-GC time. ]
    431   100.00% CPU
    432   2,542,228,910 processor cycles
    433   201,326,880 bytes consed
    434   
    435 ek 28
    436 Evaluation took:
    437   0.071 seconds of real time
    438   0.070000 seconds of total run time (0.070000 user, 0.000000 system)
    439   98.59% CPU
    440   183,834,235 processor cycles
    441   16,277,600 bytes consed
    442   
    443 di 28
    444 Evaluation took:
    445   1.160 seconds of real time
    446   1.160000 seconds of total run time (1.120000 user, 0.040000 system)
    447   [ Run times consist of 0.050 seconds GC time, and 1.110 seconds non-GC time. ]
    448   100.00% CPU
    449   3,010,577,869 processor cycles
    450   231,137,200 bytes consed
    451   
    452 ek 29
    453 Evaluation took:
    454   0.080 seconds of real time
    455   0.070000 seconds of total run time (0.060000 user, 0.010000 system)
    456   [ Run times consist of 0.010 seconds GC time, and 0.060 seconds non-GC time. ]
    457   87.50% CPU
    458   206,757,005 processor cycles
    459   16,818,992 bytes consed
    460   
    461 di 29
    462 Evaluation took:
    463   1.191 seconds of real time
    464   1.200000 seconds of total run time (1.180000 user, 0.020000 system)
    465   [ Run times consist of 0.030 seconds GC time, and 1.170 seconds non-GC time. ]
    466   100.76% CPU
    467   3,088,813,416 processor cycles
    468   237,004,160 bytes consed
    469   
    470 ek 30
    471 Evaluation took:
    472   0.090 seconds of real time
    473   0.090000 seconds of total run time (0.090000 user, 0.000000 system)
    474   [ Run times consist of 0.010 seconds GC time, and 0.080 seconds non-GC time. ]
    475   100.00% CPU
    476   232,288,017 processor cycles
    477   17,779,696 bytes consed
    478   
    479 di 30
    480 Evaluation took:
    481   1.283 seconds of real time
    482   1.290000 seconds of total run time (1.280000 user, 0.010000 system)
    483   [ Run times consist of 0.040 seconds GC time, and 1.250 seconds non-GC time. ]
    484   100.55% CPU
    485   3,324,953,359 processor cycles
    486   252,792,960 bytes consed
    487   
    488 ek 31
    489 Evaluation took:
    490   0.135 seconds of real time
    491   0.140000 seconds of total run time (0.130000 user, 0.010000 system)
    492   [ Run times consist of 0.050 seconds GC time, and 0.090 seconds non-GC time. ]
    493   103.70% CPU
    494   350,651,951 processor cycles
    495   18,993,072 bytes consed
    496   
    497 di 31
    498 Evaluation took:
    499   1.454 seconds of real time
    500   1.450000 seconds of total run time (1.440000 user, 0.010000 system)
    501   [ Run times consist of 0.030 seconds GC time, and 1.420 seconds non-GC time. ]
    502   99.72% CPU
    503   3,772,666,638 processor cycles
    504   284,697,632 bytes consed
    505   
    506 ek 32
    507 Evaluation took:
    508   0.121 seconds of real time
    509   0.120000 seconds of total run time (0.110000 user, 0.010000 system)
    510   [ Run times consist of 0.030 seconds GC time, and 0.090 seconds non-GC time. ]
    511   99.17% CPU
    512   313,933,048 processor cycles
    513   20,147,776 bytes consed
    514   
    515 di 32
    516 Evaluation took:
    517   1.575 seconds of real time
    518   1.560000 seconds of total run time (1.550000 user, 0.010000 system)
    519   [ Run times consist of 0.020 seconds GC time, and 1.540 seconds non-GC time. ]
    520   99.05% CPU
    521   4,084,422,823 processor cycles
    522   304,445,856 bytes consed
    523   
    524 ek 33
    525 Evaluation took:
    526   0.096 seconds of real time
    527   0.100000 seconds of total run time (0.090000 user, 0.010000 system)
    528   [ Run times consist of 0.010 seconds GC time, and 0.090 seconds non-GC time. ]
    529   104.17% CPU
    530   248,922,297 processor cycles
    531   20,499,632 bytes consed
    532   
    533 di 33
    534 Evaluation took:
    535   1.581 seconds of real time
    536   1.580000 seconds of total run time (1.570000 user, 0.010000 system)
    537   [ Run times consist of 0.050 seconds GC time, and 1.530 seconds non-GC time. ]
    538   99.94% CPU
    539   4,101,740,123 processor cycles
    540   301,150,096 bytes consed
    541   
    542 ek 34
    543 Evaluation took:
    544   0.115 seconds of real time
    545   0.110000 seconds of total run time (0.110000 user, 0.000000 system)
    546   [ Run times consist of 0.010 seconds GC time, and 0.100 seconds non-GC time. ]
    547   95.65% CPU
    548   298,473,747 processor cycles
    549   22,117,968 bytes consed
    550   
    551 di 34
    552 Evaluation took:
    553   1.905 seconds of real time
    554   1.910000 seconds of total run time (1.860000 user, 0.050000 system)
    555   [ Run times consist of 0.070 seconds GC time, and 1.840 seconds non-GC time. ]
    556   100.26% CPU
    557   4,939,669,033 processor cycles
    558   357,045,760 bytes consed
    559   
    560 ek 35
    561 Evaluation took:
    562   0.124 seconds of real time
    563   0.120000 seconds of total run time (0.120000 user, 0.000000 system)
    564   [ Run times consist of 0.010 seconds GC time, and 0.110 seconds non-GC time. ]
    565   96.77% CPU
    566   321,060,324 processor cycles
    567   23,283,712 bytes consed
    568   
    569 di 35
    570 Evaluation took:
    571   2.015 seconds of real time
    572   2.010000 seconds of total run time (2.0000000 user, 0.010000 system)
    573   [ Run times consist of 0.090 seconds GC time, and 1.920 seconds non-GC time. ]
    574   99.75% CPU
    575   5,227,435,109 processor cycles
    576   371,769,200 bytes consed
    577   
    578 ek 36
    579 Evaluation took:
    580   0.121 seconds of real time
    581   0.120000 seconds of total run time (0.120000 user, 0.000000 system)
    582   99.17% CPU
    583   314,839,070 processor cycles
    584   24,115,680 bytes consed
    585   
    586 di 36
    587 Evaluation took:
    588   2.229 seconds of real time
    589   2.230000 seconds of total run time (2.220000 user, 0.010000 system)
    590   [ Run times consist of 0.090 seconds GC time, and 2.140 seconds non-GC time. ]
    591   100.04% CPU
    592   5,782,031,268 processor cycles
    593   407,555,824 bytes consed
    594   
    595 ek 37
    596 Evaluation took:
    597   0.140 seconds of real time
    598   0.140000 seconds of total run time (0.130000 user, 0.010000 system)
    599   [ Run times consist of 0.020 seconds GC time, and 0.120 seconds non-GC time. ]
    600   100.00% CPU
    601   362,641,903 processor cycles
    602   25,890,976 bytes consed
    603   
    604 di 37
    605 Evaluation took:
    606   2.481 seconds of real time
    607   2.470000 seconds of total run time (2.440000 user, 0.030000 system)
    608   [ Run times consist of 0.080 seconds GC time, and 2.390 seconds non-GC time. ]
    609   99.56% CPU
    610   6,434,293,242 processor cycles
    611   447,448,688 bytes consed
    612   
    613 ek 38
    614 Evaluation took:
    615   0.142 seconds of real time
    616   0.150000 seconds of total run time (0.150000 user, 0.000000 system)
    617   [ Run times consist of 0.020 seconds GC time, and 0.130 seconds non-GC time. ]
    618   105.63% CPU
    619   368,719,598 processor cycles
    620   26,614,672 bytes consed
    621   
    622 di 38
    623 Evaluation took:
    624   2.543 seconds of real time
    625   2.540000 seconds of total run time (2.520000 user, 0.020000 system)
    626   [ Run times consist of 0.020 seconds GC time, and 2.520 seconds non-GC time. ]
    627   99.88% CPU
    628   6,595,572,581 processor cycles
    629   454,963,696 bytes consed
    630   
    631 ek 39
    632 Evaluation took:
    633   0.145 seconds of real time
    634   0.140000 seconds of total run time (0.130000 user, 0.010000 system)
    635   [ Run times consist of 0.010 seconds GC time, and 0.130 seconds non-GC time. ]
    636   96.55% CPU
    637   376,840,217 processor cycles
    638   27,725,472 bytes consed
    639   
    640 di 39
    641 Evaluation took:
    642   2.753 seconds of real time
    643   2.760000 seconds of total run time (2.730000 user, 0.030000 system)
    644   [ Run times consist of 0.100 seconds GC time, and 2.660 seconds non-GC time. ]
    645   100.25% CPU
    646   7,141,242,615 processor cycles
    647   484,057,840 bytes consed
    648   
    649 ek 40
    650 Evaluation took:
    651   0.167 seconds of real time
    652   0.170000 seconds of total run time (0.160000 user, 0.010000 system)
    653   [ Run times consist of 0.030 seconds GC time, and 0.140 seconds non-GC time. ]
    654   101.80% CPU
    655   434,050,227 processor cycles
    656   28,496,912 bytes consed
    657   
    658 di 40
    659 Evaluation took:
    660   2.868 seconds of real time
    661   2.870000 seconds of total run time (2.850000 user, 0.020000 system)
    662   [ Run times consist of 0.070 seconds GC time, and 2.800 seconds non-GC time. ]
    663   100.07% CPU
    664   7,436,820,105 processor cycles
    665   503,286,608 bytes consed
    666   
    667 ek 41
    668 Evaluation took:
    669   0.185 seconds of real time
    670   0.180000 seconds of total run time (0.170000 user, 0.010000 system)
    671   [ Run times consist of 0.030 seconds GC time, and 0.150 seconds non-GC time. ]
    672   97.30% CPU
    673   477,785,958 processor cycles
    674   30,108,544 bytes consed
    675   
    676 di 41
    677 Evaluation took:
    678   3.204 seconds of real time
    679   3.210000 seconds of total run time (3.170000 user, 0.040000 system)
    680   [ Run times consist of 0.140 seconds GC time, and 3.070 seconds non-GC time. ]
    681   100.19% CPU
    682   8,309,816,723 processor cycles
    683   547,396,496 bytes consed
    684   
    685 ek 42
    686 Evaluation took:
    687   0.205 seconds of real time
    688   0.200000 seconds of total run time (0.180000 user, 0.020000 system)
    689   [ Run times consist of 0.050 seconds GC time, and 0.150 seconds non-GC time. ]
    690   97.56% CPU
    691   529,520,563 processor cycles
    692   31,665,728 bytes consed
    693   
    694 di 42
    695 Evaluation took:
    696   3.469 seconds of real time
    697   3.460000 seconds of total run time (3.410000 user, 0.050000 system)
    698   [ Run times consist of 0.090 seconds GC time, and 3.370 seconds non-GC time. ]
    699   99.74% CPU
    700   8,997,376,219 processor cycles
    701   597,261,408 bytes consed
    702   
    703 ek 43
    704 Evaluation took:
    705   0.200 seconds of real time
    706   0.200000 seconds of total run time (0.190000 user, 0.010000 system)
    707   [ Run times consist of 0.040 seconds GC time, and 0.160 seconds non-GC time. ]
    708   100.00% CPU
    709   518,255,153 processor cycles
    710   32,754,688 bytes consed
    711   
    712 di 43
    713 Evaluation took:
    714   3.572 seconds of real time
    715   3.560000 seconds of total run time (3.550000 user, 0.010000 system)
    716   [ Run times consist of 0.110 seconds GC time, and 3.450 seconds non-GC time. ]
    717   99.66% CPU
    718   9,264,498,581 processor cycles
    719   612,174,416 bytes consed
    720   
    721 ek 44
    722 Evaluation took:
    723   0.235 seconds of real time
    724   0.230000 seconds of total run time (0.230000 user, 0.000000 system)
    725   [ Run times consist of 0.050 seconds GC time, and 0.180 seconds non-GC time. ]
    726   97.87% CPU
    727   607,963,733 processor cycles
    728   33,439,744 bytes consed
    729   
    730 di 44
    731 Evaluation took:
    732   3.696 seconds of real time
    733   3.690000 seconds of total run time (3.660000 user, 0.030000 system)
    734   [ Run times consist of 0.080 seconds GC time, and 3.610 seconds non-GC time. ]
    735   99.84% CPU
    736   9,586,225,441 processor cycles
    737   627,597,440 bytes consed
    738   
    739 ek 45
    740 Evaluation took:
    741   0.208 seconds of real time
    742   0.210000 seconds of total run time (0.210000 user, 0.000000 system)
    743   [ Run times consist of 0.020 seconds GC time, and 0.190 seconds non-GC time. ]
    744   100.96% CPU
    745   539,007,300 processor cycles
    746   34,558,992 bytes consed
    747   
    748 di 45
    749 Evaluation took:
    750   3.881 seconds of real time
    751   3.880000 seconds of total run time (3.840000 user, 0.040000 system)
    752   [ Run times consist of 0.140 seconds GC time, and 3.740 seconds non-GC time. ]
    753   99.97% CPU
    754   10,065,086,694 processor cycles
    755   654,514,864 bytes consed
    756   
    757 ek 46
    758 Evaluation took:
    759   0.229 seconds of real time
    760   0.230000 seconds of total run time (0.200000 user, 0.030000 system)
    761   [ Run times consist of 0.040 seconds GC time, and 0.190 seconds non-GC time. ]
    762   100.44% CPU
    763   593,425,560 processor cycles
    764   35,916,848 bytes consed
    765   
    766 di 46
    767 Evaluation took:
    768   4.036 seconds of real time
    769   4.030000 seconds of total run time (3.960000 user, 0.070000 system)
    770   [ Run times consist of 0.150 seconds GC time, and 3.880 seconds non-GC time. ]
    771   99.85% CPU
    772   10,466,528,488 processor cycles
    773   675,197,696 bytes consed
    774   
    775 ek 47
    776 Evaluation took:
    777   0.236 seconds of real time
    778   0.240000 seconds of total run time (0.230000 user, 0.010000 system)
    779   [ Run times consist of 0.040 seconds GC time, and 0.200 seconds non-GC time. ]
    780   101.69% CPU
    781   611,677,989 processor cycles
    782   37,180,944 bytes consed
    783   
    784 di 47
    785 Evaluation took:
    786   4.153 seconds of real time
    787   4.150000 seconds of total run time (4.070000 user, 0.080000 system)
    788   [ Run times consist of 0.110 seconds GC time, and 4.040 seconds non-GC time. ]
    789   99.93% CPU
    790   10,769,337,085 processor cycles
    791   688,248,960 bytes consed
    792   
    793 ek 48
    794 Evaluation took:
    795   0.296 seconds of real time
    796   0.290000 seconds of total run time (0.260000 user, 0.030000 system)
    797   [ Run times consist of 0.090 seconds GC time, and 0.200 seconds non-GC time. ]
    798   97.97% CPU
    799   768,292,447 processor cycles
    800   38,453,504 bytes consed
    801   
    802 di 48
    803 Evaluation took:
    804   4.490 seconds of real time
    805   4.480000 seconds of total run time (4.460000 user, 0.020000 system)
    806   [ Run times consist of 0.090 seconds GC time, and 4.390 seconds non-GC time. ]
    807   99.78% CPU
    808   11,643,952,346 processor cycles
    809   748,439,824 bytes consed
    810   
    811 ek 49
    812 Evaluation took:
    813   0.248 seconds of real time
    814   0.250000 seconds of total run time (0.240000 user, 0.010000 system)
    815   [ Run times consist of 0.020 seconds GC time, and 0.230 seconds non-GC time. ]
    816   100.81% CPU
    817   643,351,774 processor cycles
    818   39,884,560 bytes consed
    819   
    820 di 49
    821 Evaluation took:
    822   4.831 seconds of real time
    823   4.830000 seconds of total run time (4.800000 user, 0.030000 system)
    824   [ Run times consist of 0.100 seconds GC time, and 4.730 seconds non-GC time. ]
    825   99.98% CPU
    826   12,530,143,067 processor cycles
    827   790,584,848 bytes consed
    828   
    829 ek 50
    830 Evaluation took:
    831   0.265 seconds of real time
    832   0.260000 seconds of total run time (0.250000 user, 0.010000 system)
    833   [ Run times consist of 0.050 seconds GC time, and 0.210 seconds non-GC time. ]
    834   98.11% CPU
    835   687,239,917 processor cycles
    836   40,877,696 bytes consed
    837   
    838 di 50
    839 Evaluation took:
    840   5.117 seconds of real time
    841   5.120000 seconds of total run time (5.090000 user, 0.030000 system)
    842   [ Run times consist of 0.140 seconds GC time, and 4.980 seconds non-GC time. ]
    843   100.06% CPU
    844   13,272,696,606 processor cycles
    845   829,314,144 bytes consed
    846   
    847 ek 51
    848 Evaluation took:
    849   0.259 seconds of real time
    850   0.260000 seconds of total run time (0.240000 user, 0.020000 system)
    851   [ Run times consist of 0.050 seconds GC time, and 0.210 seconds non-GC time. ]
    852   100.39% CPU
    853   672,220,770 processor cycles
    854   41,621,696 bytes consed
    855   
    856 di 51
    857 Evaluation took:
    858   5.086 seconds of real time
    859   5.090000 seconds of total run time (5.010000 user, 0.080000 system)
    860   [ Run times consist of 0.140 seconds GC time, and 4.950 seconds non-GC time. ]
    861   100.08% CPU
    862   13,191,836,476 processor cycles
    863   824,577,376 bytes consed
    864   
    865 ek 52
    866 Evaluation took:
    867   0.276 seconds of real time
    868   0.280000 seconds of total run time (0.280000 user, 0.000000 system)
    869   [ Run times consist of 0.040 seconds GC time, and 0.240 seconds non-GC time. ]
    870   101.45% CPU
    871   715,684,892 processor cycles
    872   42,466,208 bytes consed
    873   
    874 di 52
    875 Evaluation took:
    876   5.006 seconds of real time
    877   4.990000 seconds of total run time (4.930000 user, 0.060000 system)
    878   [ Run times consist of 0.150 seconds GC time, and 4.840 seconds non-GC time. ]
    879   99.68% CPU
    880   12,982,178,495 processor cycles
    881   808,378,816 bytes consed
    882   
    883 ek 53
    884 Evaluation took:
    885   0.279 seconds of real time
    886   0.280000 seconds of total run time (0.270000 user, 0.010000 system)
    887   [ Run times consist of 0.050 seconds GC time, and 0.230 seconds non-GC time. ]
    888   100.36% CPU
    889   724,100,689 processor cycles
    890   44,548,816 bytes consed
    891   
    892 di 53
    893 Evaluation took:
    894   5.607 seconds of real time
    895   5.600000 seconds of total run time (5.560000 user, 0.040000 system)
    896   [ Run times consist of 0.170 seconds GC time, and 5.430 seconds non-GC time. ]
    897   99.88% CPU
    898   14,543,327,045 processor cycles
    899   895,429,040 bytes consed
    900   
    901 ek 54
    902 Evaluation took:
    903   0.301 seconds of real time
    904   0.300000 seconds of total run time (0.300000 user, 0.000000 system)
    905   [ Run times consist of 0.040 seconds GC time, and 0.260 seconds non-GC time. ]
    906   99.67% CPU
    907   780,703,651 processor cycles
    908   46,466,832 bytes consed
    909   
    910 di 54
    911 Evaluation took:
    912   6.162 seconds of real time
    913   6.160000 seconds of total run time (6.110000 user, 0.050000 system)
    914   [ Run times consist of 0.190 seconds GC time, and 5.970 seconds non-GC time. ]
    915   99.97% CPU
    916   15,981,540,705 processor cycles
    917   975,795,072 bytes consed
    918   
    919 ek 55
    920 Evaluation took:
    921   0.316 seconds of real time
    922   0.310000 seconds of total run time (0.310000 user, 0.000000 system)
    923   [ Run times consist of 0.040 seconds GC time, and 0.270 seconds non-GC time. ]
    924   98.10% CPU
    925   817,859,055 processor cycles
    926   47,210,768 bytes consed
    927   
    928 di 55
    929 Evaluation took:
    930   6.121 seconds of real time
    931   6.120000 seconds of total run time (6.040000 user, 0.080000 system)
    932   [ Run times consist of 0.280 seconds GC time, and 5.840 seconds non-GC time. ]
    933   99.98% CPU
    934   15,872,907,687 processor cycles
    935   964,582,032 bytes consed
    936   
    937 ek 56
    938 Evaluation took:
    939   0.323 seconds of real time
    940   0.320000 seconds of total run time (0.320000 user, 0.000000 system)
    941   [ Run times consist of 0.050 seconds GC time, and 0.270 seconds non-GC time. ]
    942   99.07% CPU
    943   836,836,520 processor cycles
    944   48,465,136 bytes consed
    945   
    946 di 56
    947 Evaluation took:
    948   6.667 seconds of real time
    949   6.660000 seconds of total run time (6.580000 user, 0.080000 system)
    950   [ Run times consist of 0.150 seconds GC time, and 6.510 seconds non-GC time. ]
    951   99.90% CPU
    952   17,292,141,347 processor cycles
    953   1,040,988,560 bytes consed
    954   
    955 ek 57
    956 Evaluation took:
    957   0.319 seconds of real time
    958   0.320000 seconds of total run time (0.290000 user, 0.030000 system)
    959   [ Run times consist of 0.030 seconds GC time, and 0.290 seconds non-GC time. ]
    960   100.31% CPU
    961   828,418,903 processor cycles
    962   49,870,912 bytes consed
    963   
    964 di 57
    965 Evaluation took:
    966   6.635 seconds of real time
    967   6.630000 seconds of total run time (6.570000 user, 0.060000 system)
    968   [ Run times consist of 0.200 seconds GC time, and 6.430 seconds non-GC time. ]
    969   99.92% CPU
    970   17,208,537,801 processor cycles
    971   1,041,279,840 bytes consed
    972   
    973 ek 58
    974 Evaluation took:
    975   0.342 seconds of real time
    976   0.350000 seconds of total run time (0.330000 user, 0.020000 system)
    977   [ Run times consist of 0.040 seconds GC time, and 0.310 seconds non-GC time. ]
    978   102.34% CPU
    979   888,313,738 processor cycles
    980   51,412,912 bytes consed
    981   
    982 di 58
    983 Evaluation took:
    984   7.266 seconds of real time
    985   7.250000 seconds of total run time (7.220000 user, 0.030000 system)
    986   [ Run times consist of 0.250 seconds GC time, and 7.0000 seconds non-GC time. ]
    987   99.78% CPU
    988   18,845,915,387 processor cycles
    989   1,117,222,288 bytes consed
    990   
    991 ek 59
    992 Evaluation took:
    993   0.351 seconds of real time
    994   0.360000 seconds of total run time (0.350000 user, 0.010000 system)
    995   [ Run times consist of 0.050 seconds GC time, and 0.310 seconds non-GC time. ]
    996   102.56% CPU
    997   912,387,970 processor cycles
    998   52,292,240 bytes consed
    999   
   1000 di 59
   1001 Evaluation took:
   1002   7.363 seconds of real time
   1003   7.360000 seconds of total run time (7.260000 user, 0.100000 system)
   1004   [ Run times consist of 0.360 seconds GC time, and 7.0000 seconds non-GC time. ]
   1005   99.96% CPU
   1006   19,096,558,104 processor cycles
   1007   1,129,302,992 bytes consed
   1008   
   1009 ek 60
   1010 Evaluation took:
   1011   0.348 seconds of real time
   1012   0.350000 seconds of total run time (0.320000 user, 0.030000 system)
   1013   [ Run times consist of 0.060 seconds GC time, and 0.290 seconds non-GC time. ]
   1014   100.57% CPU
   1015   902,624,918 processor cycles
   1016   52,324,048 bytes consed
   1017   
   1018 di 60
   1019 Evaluation took:
   1020   6.978 seconds of real time
   1021   6.960000 seconds of total run time (6.840000 user, 0.120000 system)
   1022   [ Run times consist of 0.260 seconds GC time, and 6.700 seconds non-GC time. ]
   1023   99.74% CPU
   1024   18,098,784,509 processor cycles
   1025   1,075,051,248 bytes consed
   1026   
   1027 ek 61
   1028 Evaluation took:
   1029   0.381 seconds of real time
   1030   0.380000 seconds of total run time (0.370000 user, 0.010000 system)
   1031   [ Run times consist of 0.050 seconds GC time, and 0.330 seconds non-GC time. ]
   1032   99.74% CPU
   1033   988,638,742 processor cycles
   1034   55,327,920 bytes consed
   1035   
   1036 di 61
   1037 Evaluation took:
   1038   8.115 seconds of real time
   1039   8.110000 seconds of total run time (8.020000 user, 0.090000 system)
   1040   [ Run times consist of 0.290 seconds GC time, and 7.820 seconds non-GC time. ]
   1041   99.94% CPU
   1042   21,045,419,395 processor cycles
   1043   1,232,337,776 bytes consed
   1044   
   1045 ek 62
   1046 Evaluation took:
   1047   0.493 seconds of real time
   1048   0.490000 seconds of total run time (0.440000 user, 0.050000 system)
   1049   [ Run times consist of 0.160 seconds GC time, and 0.330 seconds non-GC time. ]
   1050   99.39% CPU
   1051   1,276,999,802 processor cycles
   1052   56,985,808 bytes consed
   1053   
   1054 di 62
   1055 Evaluation took:
   1056   8.228 seconds of real time
   1057   8.220000 seconds of total run time (8.120000 user, 0.100000 system)
   1058   [ Run times consist of 0.230 seconds GC time, and 7.990 seconds non-GC time. ]
   1059   99.90% CPU
   1060   21,337,031,950 processor cycles
   1061   1,258,867,648 bytes consed
   1062   
   1063 ek 63
   1064 Evaluation took:
   1065   0.379 seconds of real time
   1066   0.380000 seconds of total run time (0.360000 user, 0.020000 system)
   1067   [ Run times consist of 0.050 seconds GC time, and 0.330 seconds non-GC time. ]
   1068   100.26% CPU
   1069   984,368,853 processor cycles
   1070   57,056,176 bytes consed
   1071   
   1072 di 63
   1073 Evaluation took:
   1074   7.978 seconds of real time
   1075   7.980000 seconds of total run time (7.810000 user, 0.170000 system)
   1076   [ Run times consist of 0.270 seconds GC time, and 7.710 seconds non-GC time. ]
   1077   100.03% CPU
   1078   20,690,886,320 processor cycles
   1079   1,210,788,144 bytes consed
   1080   
   1081 ek 64
   1082 Evaluation took:
   1083   0.352 seconds of real time
   1084   0.350000 seconds of total run time (0.350000 user, 0.000000 system)
   1085   [ Run times consist of 0.010 seconds GC time, and 0.340 seconds non-GC time. ]
   1086   99.43% CPU
   1087   914,603,547 processor cycles
   1088   58,774,128 bytes consed
   1089   
   1090 di 64
   1091 Evaluation took:
   1092   8.669 seconds of real time
   1093   8.660000 seconds of total run time (8.540000 user, 0.120000 system)
   1094   [ Run times consist of 0.330 seconds GC time, and 8.330 seconds non-GC time. ]
   1095   99.90% CPU
   1096   22,484,036,328 processor cycles
   1097   1,307,130,464 bytes consed
   1098   
   1099 ek 65
   1100 Evaluation took:
   1101   0.409 seconds of real time
   1102   0.410000 seconds of total run time (0.400000 user, 0.010000 system)
   1103   [ Run times consist of 0.070 seconds GC time, and 0.340 seconds non-GC time. ]
   1104   100.24% CPU
   1105   1,060,504,523 processor cycles
   1106   59,640,272 bytes consed
   1107   
   1108 di 65
   1109 Evaluation took:
   1110   8.741 seconds of real time
   1111   8.740000 seconds of total run time (8.590000 user, 0.150000 system)
   1112   [ Run times consist of 0.370 seconds GC time, and 8.370 seconds non-GC time. ]
   1113   99.99% CPU
   1114   22,668,932,026 processor cycles
   1115   1,316,286,128 bytes consed
   1116   
   1117 ek 66
   1118 Evaluation took:
   1119   0.406 seconds of real time
   1120   0.410000 seconds of total run time (0.410000 user, 0.000000 system)
   1121   [ Run times consist of 0.060 seconds GC time, and 0.350 seconds non-GC time. ]
   1122   100.99% CPU
   1123   1,051,704,030 processor cycles
   1124   60,166,784 bytes consed
   1125   
   1126 di 66
   1127 Evaluation took:
   1128   8.569 seconds of real time
   1129   8.560000 seconds of total run time (8.430000 user, 0.130000 system)
   1130   [ Run times consist of 0.440 seconds GC time, and 8.120 seconds non-GC time. ]
   1131   99.89% CPU
   1132   22,224,020,052 processor cycles
   1133   1,283,225,296 bytes consed
   1134   
   1135 ek 67
   1136 Evaluation took:
   1137   0.447 seconds of real time
   1138   0.440000 seconds of total run time (0.410000 user, 0.030000 system)
   1139   [ Run times consist of 0.050 seconds GC time, and 0.390 seconds non-GC time. ]
   1140   98.43% CPU
   1141   1,160,147,989 processor cycles
   1142   63,424,144 bytes consed
   1143   
   1144 di 67
   1145 Evaluation took:
   1146   9.558 seconds of real time
   1147   9.550000 seconds of total run time (9.410000 user, 0.140000 system)
   1148   [ Run times consist of 0.360 seconds GC time, and 9.190 seconds non-GC time. ]
   1149   99.92% CPU
   1150   24,787,600,513 processor cycles
   1151   1,424,869,824 bytes consed
   1152   
   1153 ek 68
   1154 Evaluation took:
   1155   0.410 seconds of real time
   1156   0.410000 seconds of total run time (0.400000 user, 0.010000 system)
   1157   [ Run times consist of 0.030 seconds GC time, and 0.380 seconds non-GC time. ]
   1158   100.00% CPU
   1159   1,063,411,492 processor cycles
   1160   63,900,336 bytes consed
   1161   
   1162 di 68
   1163 Evaluation took:
   1164   9.586 seconds of real time
   1165   9.590000 seconds of total run time (9.470000 user, 0.120000 system)
   1166   [ Run times consist of 0.330 seconds GC time, and 9.260 seconds non-GC time. ]
   1167   100.04% CPU
   1168   24,862,143,501 processor cycles
   1169   1,439,503,168 bytes consed
   1170   
   1171 ek 69
   1172 Evaluation took:
   1173   0.426 seconds of real time
   1174   0.420000 seconds of total run time (0.400000 user, 0.020000 system)
   1175   [ Run times consist of 0.040 seconds GC time, and 0.380 seconds non-GC time. ]
   1176   98.59% CPU
   1177   1,102,367,539 processor cycles
   1178   65,355,680 bytes consed
   1179   
   1180 di 69
   1181 Evaluation took:
   1182   9.784 seconds of real time
   1183   9.780000 seconds of total run time (9.640000 user, 0.140000 system)
   1184   [ Run times consist of 0.320 seconds GC time, and 9.460 seconds non-GC time. ]
   1185   99.96% CPU
   1186   25,373,926,513 processor cycles
   1187   1,463,676,192 bytes consed
   1188   
   1189 ek 70
   1190 Evaluation took:
   1191   0.416 seconds of real time
   1192   0.410000 seconds of total run time (0.390000 user, 0.020000 system)
   1193   [ Run times consist of 0.050 seconds GC time, and 0.360 seconds non-GC time. ]
   1194   98.56% CPU
   1195   1,079,286,195 processor cycles
   1196   64,117,216 bytes consed
   1197   
   1198 di 70
   1199 Evaluation took:
   1200   9.159 seconds of real time
   1201   9.160000 seconds of total run time (9.050000 user, 0.110000 system)
   1202   [ Run times consist of 0.340 seconds GC time, and 8.820 seconds non-GC time. ]
   1203   100.01% CPU
   1204   23,752,880,580 processor cycles
   1205   1,369,184,928 bytes consed
   1206   
   1207 ek 71
   1208 Evaluation took:
   1209   0.413 seconds of real time
   1210   0.410000 seconds of total run time (0.380000 user, 0.030000 system)
   1211   [ Run times consist of 0.040 seconds GC time, and 0.370 seconds non-GC time. ]
   1212   99.27% CPU
   1213   1,071,065,814 processor cycles
   1214   66,178,736 bytes consed
   1215   
   1216 di 71
   1217 Evaluation took:
   1218   9.716 seconds of real time
   1219   9.710000 seconds of total run time (9.520000 user, 0.190000 system)
   1220   [ Run times consist of 0.360 seconds GC time, and 9.350 seconds non-GC time. ]
   1221   99.94% CPU
   1222   25,200,151,353 processor cycles
   1223   1,460,135,648 bytes consed
   1224   
   1225 ek 72
   1226 Evaluation took:
   1227   0.470 seconds of real time
   1228   0.470000 seconds of total run time (0.430000 user, 0.040000 system)
   1229   [ Run times consist of 0.050 seconds GC time, and 0.420 seconds non-GC time. ]
   1230   100.00% CPU
   1231   1,219,574,343 processor cycles
   1232   68,886,736 bytes consed
   1233   
   1234 di 72
   1235 Evaluation took:
   1236   10.614 seconds of real time
   1237   10.610000 seconds of total run time (10.460000 user, 0.150000 system)
   1238   [ Run times consist of 0.290 seconds GC time, and 10.320 seconds non-GC time. ]
   1239   99.96% CPU
   1240   27,526,977,608 processor cycles
   1241   1,565,691,248 bytes consed
   1242   
   1243 ek 73
   1244 Evaluation took:
   1245   0.459 seconds of real time
   1246   0.460000 seconds of total run time (0.450000 user, 0.010000 system)
   1247   [ Run times consist of 0.050 seconds GC time, and 0.410 seconds non-GC time. ]
   1248   100.22% CPU
   1249   1,189,266,221 processor cycles
   1250   69,340,256 bytes consed
   1251   
   1252 di 73
   1253 Evaluation took:
   1254   10.017 seconds of real time
   1255   10.010000 seconds of total run time (9.820000 user, 0.190000 system)
   1256   [ Run times consist of 0.370 seconds GC time, and 9.640 seconds non-GC time. ]
   1257   99.93% CPU
   1258   25,978,267,315 processor cycles
   1259   1,489,936,160 bytes consed
   1260   
   1261 ek 74
   1262 Evaluation took:
   1263   0.438 seconds of real time
   1264   0.440000 seconds of total run time (0.430000 user, 0.010000 system)
   1265   [ Run times consist of 0.040 seconds GC time, and 0.400 seconds non-GC time. ]
   1266   100.46% CPU
   1267   1,136,371,158 processor cycles
   1268   70,512,480 bytes consed
   1269   
   1270 di 74
   1271 Evaluation took:
   1272   10.554 seconds of real time
   1273   10.560000 seconds of total run time (10.420000 user, 0.140000 system)
   1274   [ Run times consist of 0.410 seconds GC time, and 10.150 seconds non-GC time. ]
   1275   100.06% CPU
   1276   27,372,183,943 processor cycles
   1277   1,554,853,024 bytes consed
   1278   
   1279 ek 75
   1280 Evaluation took:
   1281   0.484 seconds of real time
   1282   0.480000 seconds of total run time (0.480000 user, 0.000000 system)
   1283   [ Run times consist of 0.030 seconds GC time, and 0.450 seconds non-GC time. ]
   1284   99.17% CPU
   1285   1,255,738,588 processor cycles
   1286   73,580,288 bytes consed
   1287   
   1288 di 75
   1289 Evaluation took:
   1290   11.870 seconds of real time
   1291   11.860000 seconds of total run time (11.710000 user, 0.150000 system)
   1292   [ Run times consist of 0.460 seconds GC time, and 11.400 seconds non-GC time. ]
   1293   99.92% CPU
   1294   30,784,480,051 processor cycles
   1295   1,755,037,568 bytes consed
   1296   
   1297 ek 76
   1298 Evaluation took:
   1299   0.517 seconds of real time
   1300   0.520000 seconds of total run time (0.490000 user, 0.030000 system)
   1301   [ Run times consist of 0.070 seconds GC time, and 0.450 seconds non-GC time. ]
   1302   100.58% CPU
   1303   1,340,631,188 processor cycles
   1304   74,491,728 bytes consed
   1305   
   1306 di 76
   1307 Evaluation took:
   1308   11.750 seconds of real time
   1309   11.750000 seconds of total run time (11.600000 user, 0.150000 system)
   1310   [ Run times consist of 0.430 seconds GC time, and 11.320 seconds non-GC time. ]
   1311   100.00% CPU
   1312   30,471,756,679 processor cycles
   1313   1,710,690,320 bytes consed
   1314   
   1315 ek 77
   1316 Evaluation took:
   1317   0.491 seconds of real time
   1318   0.490000 seconds of total run time (0.490000 user, 0.000000 system)
   1319   [ Run times consist of 0.030 seconds GC time, and 0.460 seconds non-GC time. ]
   1320   99.80% CPU
   1321   1,272,833,016 processor cycles
   1322   76,915,152 bytes consed
   1323   
   1324 di 77
   1325 Evaluation took:
   1326   12.442 seconds of real time
   1327   12.440000 seconds of total run time (12.210000 user, 0.230000 system)
   1328   [ Run times consist of 0.450 seconds GC time, and 11.990 seconds non-GC time. ]
   1329   99.98% CPU
   1330   32,268,421,653 processor cycles
   1331   1,793,283,664 bytes consed
   1332   
   1333 ek 78
   1334 Evaluation took:
   1335   0.505 seconds of real time
   1336   0.500000 seconds of total run time (0.490000 user, 0.010000 system)
   1337   [ Run times consist of 0.040 seconds GC time, and 0.460 seconds non-GC time. ]
   1338   99.01% CPU
   1339   1,310,523,435 processor cycles
   1340   75,700,080 bytes consed
   1341   
   1342 di 78
   1343 Evaluation took:
   1344   11.387 seconds of real time
   1345   11.390000 seconds of total run time (11.270000 user, 0.120000 system)
   1346   [ Run times consist of 0.450 seconds GC time, and 10.940 seconds non-GC time. ]
   1347   100.03% CPU
   1348   29,532,401,691 processor cycles
   1349   1,654,166,448 bytes consed
   1350   
   1351 ek 79
   1352 Evaluation took:
   1353   0.523 seconds of real time
   1354   0.520000 seconds of total run time (0.520000 user, 0.000000 system)
   1355   [ Run times consist of 0.040 seconds GC time, and 0.480 seconds non-GC time. ]
   1356   99.43% CPU
   1357   1,355,524,573 processor cycles
   1358   78,169,168 bytes consed
   1359   
   1360 di 79
   1361 Evaluation took:
   1362   12.399 seconds of real time
   1363   12.390000 seconds of total run time (12.270000 user, 0.120000 system)
   1364   [ Run times consist of 0.490 seconds GC time, and 11.900 seconds non-GC time. ]
   1365   99.93% CPU
   1366   32,156,734,454 processor cycles
   1367   1,814,858,848 bytes consed
   1368   
   1369 ek 80
   1370 Evaluation took:
   1371   0.531 seconds of real time
   1372   0.530000 seconds of total run time (0.520000 user, 0.010000 system)
   1373   [ Run times consist of 0.040 seconds GC time, and 0.490 seconds non-GC time. ]
   1374   99.81% CPU
   1375   1,377,934,597 processor cycles
   1376   79,178,448 bytes consed
   1377   
   1378 di 80
   1379 Evaluation took:
   1380   12.830 seconds of real time
   1381   12.820000 seconds of total run time (12.600000 user, 0.220000 system)
   1382   [ Run times consist of 0.470 seconds GC time, and 12.350 seconds non-GC time. ]
   1383   99.92% CPU
   1384   33,275,787,181 processor cycles
   1385   1,867,300,032 bytes consed
   1386   
   1387 ek 81
   1388 Evaluation took:
   1389   0.573 seconds of real time
   1390   0.570000 seconds of total run time (0.550000 user, 0.020000 system)
   1391   [ Run times consist of 0.040 seconds GC time, and 0.530 seconds non-GC time. ]
   1392   99.48% CPU
   1393   1,486,642,235 processor cycles
   1394   82,418,880 bytes consed
   1395   
   1396 di 81
   1397 Evaluation took:
   1398   13.767 seconds of real time
   1399   13.770000 seconds of total run time (13.550000 user, 0.220000 system)
   1400   [ Run times consist of 0.660 seconds GC time, and 13.110 seconds non-GC time. ]
   1401   100.02% CPU
   1402   35,702,897,750 processor cycles
   1403   1,966,747,008 bytes consed
   1404   
   1405 ek 82
   1406 Evaluation took:
   1407   0.547 seconds of real time
   1408   0.550000 seconds of total run time (0.510000 user, 0.040000 system)
   1409   [ Run times consist of 0.030 seconds GC time, and 0.520 seconds non-GC time. ]
   1410   100.55% CPU
   1411   1,420,191,747 processor cycles
   1412   82,574,160 bytes consed
   1413   
   1414 di 82
   1415 Evaluation took:
   1416   13.677 seconds of real time
   1417   13.670000 seconds of total run time (13.520000 user, 0.150000 system)
   1418   [ Run times consist of 0.520 seconds GC time, and 13.150 seconds non-GC time. ]
   1419   99.95% CPU
   1420   35,471,751,224 processor cycles
   1421   1,953,907,744 bytes consed
   1422   
   1423 ek 83
   1424 Evaluation took:
   1425   0.550 seconds of real time
   1426   0.550000 seconds of total run time (0.530000 user, 0.020000 system)
   1427   [ Run times consist of 0.040 seconds GC time, and 0.510 seconds non-GC time. ]
   1428   100.00% CPU
   1429   1,425,964,995 processor cycles
   1430   84,054,576 bytes consed
   1431   
   1432 di 83
   1433 Evaluation took:
   1434   13.560 seconds of real time
   1435   13.550000 seconds of total run time (13.350000 user, 0.200000 system)
   1436   [ Run times consist of 0.580 seconds GC time, and 12.970 seconds non-GC time. ]
   1437   99.93% CPU
   1438   35,167,327,208 processor cycles
   1439   1,933,618,544 bytes consed
   1440   
   1441 ek 84
   1442 Evaluation took:
   1443   0.563 seconds of real time
   1444   0.560000 seconds of total run time (0.550000 user, 0.010000 system)
   1445   [ Run times consist of 0.080 seconds GC time, and 0.480 seconds non-GC time. ]
   1446   99.47% CPU
   1447   1,459,118,934 processor cycles
   1448   84,488,496 bytes consed
   1449   
   1450 di 84
   1451 Evaluation took:
   1452   13.896 seconds of real time
   1453   13.900000 seconds of total run time (13.640000 user, 0.260000 system)
   1454   [ Run times consist of 0.670 seconds GC time, and 13.230 seconds non-GC time. ]
   1455   100.03% CPU
   1456   36,040,028,882 processor cycles
   1457   1,981,847,488 bytes consed
   1458   
   1459 ek 85
   1460 Evaluation took:
   1461   0.579 seconds of real time
   1462   0.580000 seconds of total run time (0.560000 user, 0.020000 system)
   1463   [ Run times consist of 0.050 seconds GC time, and 0.530 seconds non-GC time. ]
   1464   100.17% CPU
   1465   1,503,591,167 processor cycles
   1466   85,764,720 bytes consed
   1467   
   1468 di 85
   1469 Evaluation took:
   1470   13.925 seconds of real time
   1471   13.910000 seconds of total run time (13.590000 user, 0.320000 system)
   1472   [ Run times consist of 0.550 seconds GC time, and 13.360 seconds non-GC time. ]
   1473   99.89% CPU
   1474   36,115,337,479 processor cycles
   1475   1,981,973,152 bytes consed
   1476   
   1477 ek 86
   1478 Evaluation took:
   1479   0.631 seconds of real time
   1480   0.630000 seconds of total run time (0.600000 user, 0.030000 system)
   1481   [ Run times consist of 0.090 seconds GC time, and 0.540 seconds non-GC time. ]
   1482   99.84% CPU
   1483   1,635,904,374 processor cycles
   1484   87,362,672 bytes consed
   1485   
   1486 di 86
   1487 Evaluation took:
   1488   15.182 seconds of real time
   1489   15.170000 seconds of total run time (14.870000 user, 0.300000 system)
   1490   [ Run times consist of 0.760 seconds GC time, and 14.410 seconds non-GC time. ]
   1491   99.92% CPU
   1492   39,373,142,588 processor cycles
   1493   2,125,422,592 bytes consed
   1494   
   1495 ek 87
   1496 Evaluation took:
   1497   0.642 seconds of real time
   1498   0.650000 seconds of total run time (0.640000 user, 0.010000 system)
   1499   [ Run times consist of 0.030 seconds GC time, and 0.620 seconds non-GC time. ]
   1500   101.25% CPU
   1501   1,665,680,848 processor cycles
   1502   90,535,552 bytes consed
   1503   
   1504 di 87
   1505 Evaluation took:
   1506   15.837 seconds of real time
   1507   15.820000 seconds of total run time (15.540000 user, 0.280000 system)
   1508   [ Run times consist of 0.730 seconds GC time, and 15.090 seconds non-GC time. ]
   1509   99.89% CPU
   1510   41,073,331,039 processor cycles
   1511   2,234,399,264 bytes consed
   1512   
   1513 ek 88
   1514 Evaluation took:
   1515   0.575 seconds of real time
   1516   0.580000 seconds of total run time (0.570000 user, 0.010000 system)
   1517   [ Run times consist of 0.050 seconds GC time, and 0.530 seconds non-GC time. ]
   1518   100.87% CPU
   1519   1,491,944,532 processor cycles
   1520   87,131,392 bytes consed
   1521   
   1522 di 88
   1523 Evaluation took:
   1524   13.350 seconds of real time
   1525   13.350000 seconds of total run time (13.130000 user, 0.220000 system)
   1526   [ Run times consist of 0.700 seconds GC time, and 12.650 seconds non-GC time. ]
   1527   100.00% CPU
   1528   34,621,722,798 processor cycles
   1529   1,900,494,800 bytes consed
   1530   
   1531 ek 89
   1532 Evaluation took:
   1533   0.591 seconds of real time
   1534   0.590000 seconds of total run time (0.590000 user, 0.000000 system)
   1535   [ Run times consist of 0.030 seconds GC time, and 0.560 seconds non-GC time. ]
   1536   99.83% CPU
   1537   1,533,538,266 processor cycles
   1538   90,857,760 bytes consed
   1539   
   1540 di 89
   1541 Evaluation took:
   1542   15.230 seconds of real time
   1543   15.220000 seconds of total run time (14.990000 user, 0.230000 system)
   1544   [ Run times consist of 0.690 seconds GC time, and 14.530 seconds non-GC time. ]
   1545   99.93% CPU
   1546   39,497,844,828 processor cycles
   1547   2,140,824,368 bytes consed
   1548   
   1549 ek 90
   1550 Evaluation took:
   1551   0.664 seconds of real time
   1552   0.670000 seconds of total run time (0.650000 user, 0.020000 system)
   1553   [ Run times consist of 0.090 seconds GC time, and 0.580 seconds non-GC time. ]
   1554   100.90% CPU
   1555   1,721,937,828 processor cycles
   1556   93,410,704 bytes consed
   1557   
   1558 di 90
   1559 Evaluation took:
   1560   16.317 seconds of real time
   1561   16.300000 seconds of total run time (15.970000 user, 0.330000 system)
   1562   [ Run times consist of 0.770 seconds GC time, and 15.530 seconds non-GC time. ]
   1563   99.90% CPU
   1564   42,319,137,250 processor cycles
   1565   2,295,672,048 bytes consed
   1566   
   1567 ek 91
   1568 Evaluation took:
   1569   0.610 seconds of real time
   1570   0.610000 seconds of total run time (0.610000 user, 0.000000 system)
   1571   [ Run times consist of 0.010 seconds GC time, and 0.600 seconds non-GC time. ]
   1572   100.00% CPU
   1573   1,580,219,381 processor cycles
   1574   93,947,472 bytes consed
   1575   
   1576 di 91
   1577 Evaluation took:
   1578   15.572 seconds of real time
   1579   15.560000 seconds of total run time (15.150000 user, 0.410000 system)
   1580   [ Run times consist of 0.780 seconds GC time, and 14.780 seconds non-GC time. ]
   1581   99.92% CPU
   1582   40,386,186,399 processor cycles
   1583   2,175,641,728 bytes consed
   1584   
   1585 ek 92
   1586 Evaluation took:
   1587   0.635 seconds of real time
   1588   0.640000 seconds of total run time (0.640000 user, 0.000000 system)
   1589   [ Run times consist of 0.040 seconds GC time, and 0.600 seconds non-GC time. ]
   1590   100.79% CPU
   1591   1,647,649,822 processor cycles
   1592   96,006,560 bytes consed
   1593   
   1594 di 92
   1595 Evaluation took:
   1596   16.247 seconds of real time
   1597   16.240000 seconds of total run time (15.870000 user, 0.370000 system)
   1598   [ Run times consist of 0.740 seconds GC time, and 15.500 seconds non-GC time. ]
   1599   99.96% CPU
   1600   42,138,124,379 processor cycles
   1601   2,274,186,896 bytes consed
   1602   
   1603 ek 93
   1604 Evaluation took:
   1605   0.734 seconds of real time
   1606   0.730000 seconds of total run time (0.710000 user, 0.020000 system)
   1607   [ Run times consist of 0.080 seconds GC time, and 0.650 seconds non-GC time. ]
   1608   99.46% CPU
   1609   1,903,304,260 processor cycles
   1610   98,385,008 bytes consed
   1611   
   1612 di 93
   1613 Evaluation took:
   1614   17.713 seconds of real time
   1615   17.720000 seconds of total run time (17.510000 user, 0.210000 system)
   1616   [ Run times consist of 0.860 seconds GC time, and 16.860 seconds non-GC time. ]
   1617   100.04% CPU
   1618   45,939,453,677 processor cycles
   1619   2,450,337,120 bytes consed
   1620   
   1621 ek 94
   1622 Evaluation took:
   1623   0.667 seconds of real time
   1624   0.660000 seconds of total run time (0.660000 user, 0.000000 system)
   1625   [ Run times consist of 0.050 seconds GC time, and 0.610 seconds non-GC time. ]
   1626   98.95% CPU
   1627   1,730,402,336 processor cycles
   1628   98,144,544 bytes consed
   1629   
   1630 di 94
   1631 Evaluation took:
   1632   17.415 seconds of real time
   1633   17.410000 seconds of total run time (17.090000 user, 0.320000 system)
   1634   [ Run times consist of 0.910 seconds GC time, and 16.500 seconds non-GC time. ]
   1635   99.97% CPU
   1636   45,167,793,385 processor cycles
   1637   2,401,812,640 bytes consed
   1638   
   1639 ek 95
   1640 Evaluation took:
   1641   0.723 seconds of real time
   1642   0.720000 seconds of total run time (0.710000 user, 0.010000 system)
   1643   [ Run times consist of 0.070 seconds GC time, and 0.650 seconds non-GC time. ]
   1644   99.59% CPU
   1645   1,873,860,014 processor cycles
   1646   101,426,464 bytes consed
   1647   
   1648 di 95
   1649 Evaluation took:
   1650   18.509 seconds of real time
   1651   18.500000 seconds of total run time (18.070000 user, 0.430000 system)
   1652   [ Run times consist of 1.000 seconds GC time, and 17.500 seconds non-GC time. ]
   1653   99.95% CPU
   1654   48,002,339,762 processor cycles
   1655   2,558,884,160 bytes consed
   1656   
   1657 ek 96
   1658 Evaluation took:
   1659   0.737 seconds of real time
   1660   0.730000 seconds of total run time (0.680000 user, 0.050000 system)
   1661   [ Run times consist of 0.070 seconds GC time, and 0.660 seconds non-GC time. ]
   1662   99.05% CPU
   1663   1,909,806,522 processor cycles
   1664   101,015,296 bytes consed
   1665   
   1666 di 96
   1667 Evaluation took:
   1668   17.670 seconds of real time
   1669   17.660000 seconds of total run time (17.210000 user, 0.450000 system)
   1670   [ Run times consist of 0.840 seconds GC time, and 16.820 seconds non-GC time. ]
   1671   99.94% CPU
   1672   45,828,013,218 processor cycles
   1673   2,441,704,896 bytes consed
   1674   
   1675 ek 97
   1676 Evaluation took:
   1677   0.717 seconds of real time
   1678   0.710000 seconds of total run time (0.700000 user, 0.010000 system)
   1679   [ Run times consist of 0.050 seconds GC time, and 0.660 seconds non-GC time. ]
   1680   99.02% CPU
   1681   1,860,604,408 processor cycles
   1682   103,039,888 bytes consed
   1683   
   1684 di 97
   1685 Evaluation took:
   1686   18.315 seconds of real time
   1687   18.300000 seconds of total run time (17.930000 user, 0.370000 system)
   1688   [ Run times consist of 0.780 seconds GC time, and 17.520 seconds non-GC time. ]
   1689   99.92% CPU
   1690   47,499,849,007 processor cycles
   1691   2,525,993,376 bytes consed
   1692   
   1693 ek 98
   1694 Evaluation took:
   1695   0.711 seconds of real time
   1696   0.700000 seconds of total run time (0.670000 user, 0.030000 system)
   1697   [ Run times consist of 0.070 seconds GC time, and 0.630 seconds non-GC time. ]
   1698   98.45% CPU
   1699   1,842,817,730 processor cycles
   1700   104,718,864 bytes consed
   1701   
   1702 di 98
   1703 Evaluation took:
   1704   18.192 seconds of real time
   1705   18.190000 seconds of total run time (17.890000 user, 0.300000 system)
   1706   [ Run times consist of 0.820 seconds GC time, and 17.370 seconds non-GC time. ]
   1707   99.99% CPU
   1708   47,181,973,475 processor cycles
   1709   2,548,777,536 bytes consed
   1710   
   1711 ek 99
   1712 Evaluation took:
   1713   0.721 seconds of real time
   1714   0.720000 seconds of total run time (0.700000 user, 0.020000 system)
   1715   [ Run times consist of 0.060 seconds GC time, and 0.660 seconds non-GC time. ]
   1716   99.86% CPU
   1717   1,870,244,506 processor cycles
   1718   105,611,888 bytes consed
   1719   
   1720 di 99
   1721 Evaluation took:
   1722   18.175 seconds of real time
   1723   18.160000 seconds of total run time (17.800000 user, 0.360000 system)
   1724   [ Run times consist of 0.920 seconds GC time, and 17.240 seconds non-GC time. ]
   1725   99.92% CPU
   1726   47,135,965,565 processor cycles
   1727   2,535,742,528 bytes consed
   1728   
   1729 ek 100
   1730 Evaluation took:
   1731   0.792 seconds of real time
   1732   0.790000 seconds of total run time (0.740000 user, 0.050000 system)
   1733   [ Run times consist of 0.100 seconds GC time, and 0.690 seconds non-GC time. ]
   1734   99.75% CPU
   1735   2,055,874,405 processor cycles
   1736   108,117,456 bytes consed
   1737   
   1738 di 100
   1739 Evaluation took:
   1740   19.464 seconds of real time
   1741   19.450000 seconds of total run time (19.160000 user, 0.290000 system)
   1742   [ Run times consist of 1.030 seconds GC time, and 18.420 seconds non-GC time. ]
   1743   99.93% CPU
   1744   50,478,955,111 processor cycles
   1745   2,690,679,680 bytes consed
   1746   
   1747 ek 101
   1748 Evaluation took:
   1749   0.734 seconds of real time
   1750   0.740000 seconds of total run time (0.720000 user, 0.020000 system)
   1751   [ Run times consist of 0.070 seconds GC time, and 0.670 seconds non-GC time. ]
   1752   100.82% CPU
   1753   1,903,004,155 processor cycles
   1754   107,922,864 bytes consed
   1755   
   1756 di 101
   1757 Evaluation took:
   1758   19.588 seconds of real time
   1759   19.580000 seconds of total run time (19.170000 user, 0.410000 system)
   1760   [ Run times consist of 0.970 seconds GC time, and 18.610 seconds non-GC time. ]
   1761   99.96% CPU
   1762   50,799,607,807 processor cycles
   1763   2,695,320,416 bytes consed
   1764   
   1765 ek 102
   1766 Evaluation took:
   1767   0.754 seconds of real time
   1768   0.750000 seconds of total run time (0.740000 user, 0.010000 system)
   1769   [ Run times consist of 0.080 seconds GC time, and 0.670 seconds non-GC time. ]
   1770   99.47% CPU
   1771   1,957,235,501 processor cycles
   1772   109,572,352 bytes consed
   1773   
   1774 di 102
   1775 Evaluation took:
   1776   19.792 seconds of real time
   1777   19.780000 seconds of total run time (19.460000 user, 0.320000 system)
   1778   [ Run times consist of 0.980 seconds GC time, and 18.800 seconds non-GC time. ]
   1779   99.94% CPU
   1780   51,331,253,519 processor cycles
   1781   2,742,316,976 bytes consed
   1782   
   1783 ek 103
   1784 Evaluation took:
   1785   0.759 seconds of real time
   1786   0.760000 seconds of total run time (0.750000 user, 0.010000 system)
   1787   [ Run times consist of 0.060 seconds GC time, and 0.700 seconds non-GC time. ]
   1788   100.13% CPU
   1789   1,967,866,914 processor cycles
   1790   109,731,568 bytes consed
   1791   
   1792 di 103
   1793 Evaluation took:
   1794   19.363 seconds of real time
   1795   19.350000 seconds of total run time (18.990000 user, 0.360000 system)
   1796   [ Run times consist of 0.890 seconds GC time, and 18.460 seconds non-GC time. ]
   1797   99.93% CPU
   1798   50,215,521,122 processor cycles
   1799   2,661,155,632 bytes consed
   1800   
   1801 ek 104
   1802 Evaluation took:
   1803   0.770 seconds of real time
   1804   0.770000 seconds of total run time (0.750000 user, 0.020000 system)
   1805   [ Run times consist of 0.030 seconds GC time, and 0.740 seconds non-GC time. ]
   1806   100.00% CPU
   1807   1,996,582,328 processor cycles
   1808   112,343,712 bytes consed
   1809   
   1810 di 104
   1811 Evaluation took:
   1812   20.719 seconds of real time
   1813   20.710000 seconds of total run time (20.240000 user, 0.470000 system)
   1814   [ Run times consist of 0.950 seconds GC time, and 19.760 seconds non-GC time. ]
   1815   99.96% CPU
   1816   53,736,244,627 processor cycles
   1817   2,834,194,928 bytes consed
   1818   
   1819 ek 105
   1820 Evaluation took:
   1821   0.770 seconds of real time
   1822   0.770000 seconds of total run time (0.750000 user, 0.020000 system)
   1823   [ Run times consist of 0.050 seconds GC time, and 0.720 seconds non-GC time. ]
   1824   100.00% CPU
   1825   1,998,253,218 processor cycles
   1826   113,370,256 bytes consed
   1827   
   1828 di 105
   1829 Evaluation took:
   1830   20.150 seconds of real time
   1831   20.140000 seconds of total run time (19.720000 user, 0.420000 system)
   1832   [ Run times consist of 1.050 seconds GC time, and 19.090 seconds non-GC time. ]
   1833   99.95% CPU
   1834   52,259,430,769 processor cycles
   1835   2,783,008,432 bytes consed
   1836   
   1837 ek 106
   1838 Evaluation took:
   1839   0.807 seconds of real time
   1840   0.800000 seconds of total run time (0.780000 user, 0.020000 system)
   1841   [ Run times consist of 0.030 seconds GC time, and 0.770 seconds non-GC time. ]
   1842   99.13% CPU
   1843   2,090,849,943 processor cycles
   1844   116,166,592 bytes consed
   1845   
   1846 di 106
   1847 Evaluation took:
   1848   21.342 seconds of real time
   1849   21.330000 seconds of total run time (20.880000 user, 0.450000 system)
   1850   [ Run times consist of 1.070 seconds GC time, and 20.260 seconds non-GC time. ]
   1851   99.94% CPU
   1852   55,351,049,910 processor cycles
   1853   2,945,739,152 bytes consed
   1854   
   1855 ek 107
   1856 Evaluation took:
   1857   0.803 seconds of real time
   1858   0.800000 seconds of total run time (0.760000 user, 0.040000 system)
   1859   [ Run times consist of 0.060 seconds GC time, and 0.740 seconds non-GC time. ]
   1860   99.63% CPU
   1861   2,081,916,213 processor cycles
   1862   114,712,432 bytes consed
   1863   
   1864 di 107
   1865 Evaluation took:
   1866   20.753 seconds of real time
   1867   20.750000 seconds of total run time (20.310000 user, 0.440000 system)
   1868   [ Run times consist of 1.060 seconds GC time, and 19.690 seconds non-GC time. ]
   1869   99.99% CPU
   1870   53,823,164,486 processor cycles
   1871   2,840,381,120 bytes consed
   1872   
   1873 ek 108
   1874 Evaluation took:
   1875   0.834 seconds of real time
   1876   0.840000 seconds of total run time (0.830000 user, 0.010000 system)
   1877   [ Run times consist of 0.010 seconds GC time, and 0.830 seconds non-GC time. ]
   1878   100.72% CPU
   1879   2,165,365,930 processor cycles
   1880   119,567,152 bytes consed
   1881   
   1882 di 108
   1883 Evaluation took:
   1884   22.131 seconds of real time
   1885   22.120000 seconds of total run time (21.730000 user, 0.390000 system)
   1886   [ Run times consist of 1.080 seconds GC time, and 21.040 seconds non-GC time. ]
   1887   99.95% CPU
   1888   57,397,593,825 processor cycles
   1889   3,015,755,200 bytes consed
   1890   
   1891 ek 109
   1892 Evaluation took:
   1893   0.848 seconds of real time
   1894   0.850000 seconds of total run time (0.840000 user, 0.010000 system)
   1895   [ Run times consist of 0.060 seconds GC time, and 0.790 seconds non-GC time. ]
   1896   100.24% CPU
   1897   2,199,184,169 processor cycles
   1898   120,792,464 bytes consed
   1899   
   1900 di 109
   1901 Evaluation took:
   1902   22.173 seconds of real time
   1903   22.150000 seconds of total run time (21.690000 user, 0.460000 system)
   1904   [ Run times consist of 1.230 seconds GC time, and 20.920 seconds non-GC time. ]
   1905   99.90% CPU
   1906   57,504,654,181 processor cycles
   1907   3,036,285,440 bytes consed
   1908   
   1909 ek 110
   1910 Evaluation took:
   1911   0.860 seconds of real time
   1912   0.860000 seconds of total run time (0.850000 user, 0.010000 system)
   1913   [ Run times consist of 0.080 seconds GC time, and 0.780 seconds non-GC time. ]
   1914   100.00% CPU
   1915   2,228,610,254 processor cycles
   1916   121,423,888 bytes consed
   1917   
   1918 di 110
   1919 Evaluation took:
   1920   22.514 seconds of real time
   1921   22.500000 seconds of total run time (21.970000 user, 0.530000 system)
   1922   [ Run times consist of 1.170 seconds GC time, and 21.330 seconds non-GC time. ]
   1923   99.94% CPU
   1924   58,389,134,726 processor cycles
   1925   3,071,505,728 bytes consed
   1926   
   1927 ek 111
   1928 Evaluation took:
   1929   0.811 seconds of real time
   1930   0.810000 seconds of total run time (0.790000 user, 0.020000 system)
   1931   [ Run times consist of 0.050 seconds GC time, and 0.760 seconds non-GC time. ]
   1932   99.88% CPU
   1933   2,103,063,287 processor cycles
   1934   120,540,608 bytes consed
   1935   
   1936 di 111
   1937 Evaluation took:
   1938   21.458 seconds of real time
   1939   21.450000 seconds of total run time (21.0000000 user, 0.450000 system)
   1940   [ Run times consist of 1.180 seconds GC time, and 20.270 seconds non-GC time. ]
   1941   99.96% CPU
   1942   55,650,458,175 processor cycles
   1943   2,939,805,024 bytes consed
   1944   
   1945 ek 112
   1946 Evaluation took:
   1947   0.861 seconds of real time
   1948   0.860000 seconds of total run time (0.850000 user, 0.010000 system)
   1949   [ Run times consist of 0.030 seconds GC time, and 0.830 seconds non-GC time. ]
   1950   99.88% CPU
   1951   2,232,449,583 processor cycles
   1952   122,480,112 bytes consed
   1953   
   1954 di 112
   1955 Evaluation took:
   1956   22.723 seconds of real time
   1957   22.710000 seconds of total run time (22.030000 user, 0.680000 system)
   1958   [ Run times consist of 1.350 seconds GC time, and 21.360 seconds non-GC time. ]
   1959   99.94% CPU
   1960   58,932,081,754 processor cycles
   1961   3,089,647,696 bytes consed
   1962   
   1963 ek 113
   1964 Evaluation took:
   1965   0.842 seconds of real time
   1966   0.840000 seconds of total run time (0.830000 user, 0.010000 system)
   1967   [ Run times consist of 0.040 seconds GC time, and 0.800 seconds non-GC time. ]
   1968   99.76% CPU
   1969   2,182,697,075 processor cycles
   1970   123,155,360 bytes consed
   1971   
   1972 di 113
   1973 Evaluation took:
   1974   22.332 seconds of real time
   1975   22.320000 seconds of total run time (21.830000 user, 0.490000 system)
   1976   [ Run times consist of 1.250 seconds GC time, and 21.070 seconds non-GC time. ]
   1977   99.95% CPU
   1978   57,916,848,821 processor cycles
   1979   3,011,848,080 bytes consed
   1980   
   1981 ek 114
   1982 Evaluation took:
   1983   0.918 seconds of real time
   1984   0.920000 seconds of total run time (0.880000 user, 0.040000 system)
   1985   [ Run times consist of 0.070 seconds GC time, and 0.850 seconds non-GC time. ]
   1986   100.22% CPU
   1987   2,380,525,368 processor cycles
   1988   127,787,328 bytes consed
   1989   
   1990 di 114
   1991 Evaluation took:
   1992   24.584 seconds of real time
   1993   24.570000 seconds of total run time (23.820000 user, 0.750000 system)
   1994   [ Run times consist of 1.190 seconds GC time, and 23.380 seconds non-GC time. ]
   1995   99.94% CPU
   1996   63,758,043,271 processor cycles
   1997   3,366,713,232 bytes consed
   1998   
   1999 ek 115
   2000 Evaluation took:
   2001   0.885 seconds of real time
   2002   0.880000 seconds of total run time (0.880000 user, 0.000000 system)
   2003   [ Run times consist of 0.040 seconds GC time, and 0.840 seconds non-GC time. ]
   2004   99.44% CPU
   2005   2,294,770,881 processor cycles
   2006   129,054,432 bytes consed
   2007   
   2008 di 115
   2009 Evaluation took:
   2010   23.398 seconds of real time
   2011   23.390000 seconds of total run time (22.840000 user, 0.550000 system)
   2012   [ Run times consist of 1.140 seconds GC time, and 22.250 seconds non-GC time. ]
   2013   99.97% CPU
   2014   60,684,854,022 processor cycles
   2015   3,203,642,448 bytes consed
   2016   
   2017 ek 116
   2018 Evaluation took:
   2019   0.957 seconds of real time
   2020   0.950000 seconds of total run time (0.940000 user, 0.010000 system)
   2021   [ Run times consist of 0.050 seconds GC time, and 0.900 seconds non-GC time. ]
   2022   99.27% CPU
   2023   2,481,768,705 processor cycles
   2024   129,318,688 bytes consed
   2025   
   2026 di 116
   2027 Evaluation took:
   2028   25.197 seconds of real time
   2029   25.180000 seconds of total run time (24.660000 user, 0.520000 system)
   2030   [ Run times consist of 1.190 seconds GC time, and 23.990 seconds non-GC time. ]
   2031   99.93% CPU
   2032   65,349,085,438 processor cycles
   2033   3,420,688,032 bytes consed
   2034   
   2035 ek 117
   2036 Evaluation took:
   2037   0.875 seconds of real time
   2038   0.880000 seconds of total run time (0.860000 user, 0.020000 system)
   2039   [ Run times consist of 0.040 seconds GC time, and 0.840 seconds non-GC time. ]
   2040   100.57% CPU
   2041   2,270,091,343 processor cycles
   2042   130,096,816 bytes consed
   2043   
   2044 di 117
   2045 Evaluation took:
   2046   23.627 seconds of real time
   2047   23.610000 seconds of total run time (23.190000 user, 0.420000 system)
   2048   [ Run times consist of 1.090 seconds GC time, and 22.520 seconds non-GC time. ]
   2049   99.93% CPU
   2050   61,276,261,436 processor cycles
   2051   3,248,621,664 bytes consed
   2052   
   2053 ek 118
   2054 Evaluation took:
   2055   0.934 seconds of real time
   2056   0.930000 seconds of total run time (0.900000 user, 0.030000 system)
   2057   [ Run times consist of 0.060 seconds GC time, and 0.870 seconds non-GC time. ]
   2058   99.57% CPU
   2059   2,420,701,959 processor cycles
   2060   131,110,464 bytes consed
   2061   
   2062 di 118
   2063 Evaluation took:
   2064   24.554 seconds of real time
   2065   24.550000 seconds of total run time (23.930000 user, 0.620000 system)
   2066   [ Run times consist of 1.300 seconds GC time, and 23.250 seconds non-GC time. ]
   2067   99.98% CPU
   2068   63,680,172,894 processor cycles
   2069   3,325,482,400 bytes consed
   2070   
   2071 ek 119
   2072 Evaluation took:
   2073   0.943 seconds of real time
   2074   0.950000 seconds of total run time (0.940000 user, 0.010000 system)
   2075   [ Run times consist of 0.040 seconds GC time, and 0.910 seconds non-GC time. ]
   2076   100.74% CPU
   2077   2,445,463,410 processor cycles
   2078   133,089,392 bytes consed
   2079   
   2080 di 119
   2081 Evaluation took:
   2082   24.530 seconds of real time
   2083   24.520000 seconds of total run time (23.970000 user, 0.550000 system)
   2084   [ Run times consist of 1.240 seconds GC time, and 23.280 seconds non-GC time. ]
   2085   99.96% CPU
   2086   63,618,339,109 processor cycles
   2087   3,340,872,464 bytes consed
   2088   
   2089 ek 120
   2090 Evaluation took:
   2091   0.943 seconds of real time
   2092   0.950000 seconds of total run time (0.930000 user, 0.020000 system)
   2093   [ Run times consist of 0.050 seconds GC time, and 0.900 seconds non-GC time. ]
   2094   100.74% CPU
   2095   2,443,827,373 processor cycles
   2096   134,297,280 bytes consed
   2097   
   2098 di 120
   2099 Evaluation took:
   2100   25.076 seconds of real time
   2101   25.050000 seconds of total run time (24.440000 user, 0.610000 system)
   2102   [ Run times consist of 1.410 seconds GC time, and 23.640 seconds non-GC time. ]
   2103   99.90% CPU
   2104   65,034,217,066 processor cycles
   2105   3,399,019,632 bytes consed
   2106   
   2107 ek 121
   2108 Evaluation took:
   2109   0.963 seconds of real time
   2110   0.970000 seconds of total run time (0.950000 user, 0.020000 system)
   2111   [ Run times consist of 0.080 seconds GC time, and 0.890 seconds non-GC time. ]
   2112   100.73% CPU
   2113   2,496,713,076 processor cycles
   2114   135,402,416 bytes consed
   2115   
   2116 di 121
   2117 Evaluation took:
   2118   25.156 seconds of real time
   2119   25.140000 seconds of total run time (24.590000 user, 0.550000 system)
   2120   [ Run times consist of 1.390 seconds GC time, and 23.750 seconds non-GC time. ]
   2121   99.94% CPU
   2122   65,244,033,166 processor cycles
   2123   3,437,950,480 bytes consed
   2124   
   2125 ek 122
   2126 Evaluation took:
   2127   0.995 seconds of real time
   2128   0.990000 seconds of total run time (0.970000 user, 0.020000 system)
   2129   [ Run times consist of 0.080 seconds GC time, and 0.910 seconds non-GC time. ]
   2130   99.50% CPU
   2131   2,580,966,765 processor cycles
   2132   137,518,656 bytes consed
   2133   
   2134 di 122
   2135 Evaluation took:
   2136   26.057 seconds of real time
   2137   26.040000 seconds of total run time (25.420000 user, 0.620000 system)
   2138   [ Run times consist of 1.520 seconds GC time, and 24.520 seconds non-GC time. ]
   2139   99.93% CPU
   2140   67,578,369,716 processor cycles
   2141   3,534,417,520 bytes consed
   2142   
   2143 ek 123
   2144 Evaluation took:
   2145   1.243 seconds of real time
   2146   1.240000 seconds of total run time (1.150000 user, 0.090000 system)
   2147   [ Run times consist of 0.320 seconds GC time, and 0.920 seconds non-GC time. ]
   2148   99.76% CPU
   2149   3,225,226,329 processor cycles
   2150   140,234,160 bytes consed
   2151   
   2152 di 123
   2153 Evaluation took:
   2154   26.838 seconds of real time
   2155   26.820000 seconds of total run time (26.260000 user, 0.560000 system)
   2156   [ Run times consist of 1.180 seconds GC time, and 25.640 seconds non-GC time. ]
   2157   99.93% CPU
   2158   69,604,067,832 processor cycles
   2159   3,649,657,456 bytes consed
   2160   
   2161 ek 124
   2162 Evaluation took:
   2163   1.051 seconds of real time
   2164   1.050000 seconds of total run time (1.040000 user, 0.010000 system)
   2165   [ Run times consist of 0.080 seconds GC time, and 0.970 seconds non-GC time. ]
   2166   99.90% CPU
   2167   2,725,728,031 processor cycles
   2168   141,334,992 bytes consed
   2169   
   2170 di 124
   2171 Evaluation took:
   2172   27.262 seconds of real time
   2173   27.260000 seconds of total run time (26.580000 user, 0.680000 system)
   2174   [ Run times consist of 1.510 seconds GC time, and 25.750 seconds non-GC time. ]
   2175   99.99% CPU
   2176   70,704,752,547 processor cycles
   2177   3,684,357,440 bytes consed
   2178   
   2179 ek 125
   2180 Evaluation took:
   2181   1.037 seconds of real time
   2182   1.030000 seconds of total run time (1.000000 user, 0.030000 system)
   2183   [ Run times consist of 0.090 seconds GC time, and 0.940 seconds non-GC time. ]
   2184   99.32% CPU
   2185   2,687,922,484 processor cycles
   2186   142,174,736 bytes consed
   2187   
   2188 di 125
   2189 Evaluation took:
   2190   26.630 seconds of real time
   2191   26.620000 seconds of total run time (25.980000 user, 0.640000 system)
   2192   [ Run times consist of 1.620 seconds GC time, and 25.0000 seconds non-GC time. ]
   2193   99.96% CPU
   2194   69,064,650,577 processor cycles
   2195   3,588,412,448 bytes consed
   2196   
   2197 ek 126
   2198 Evaluation took:
   2199   1.130 seconds of real time
   2200   1.130000 seconds of total run time (1.090000 user, 0.040000 system)
   2201   [ Run times consist of 0.080 seconds GC time, and 1.050 seconds non-GC time. ]
   2202   100.00% CPU
   2203   2,931,882,252 processor cycles
   2204   145,431,600 bytes consed
   2205   
   2206 di 126
   2207 Evaluation took:
   2208   29.414 seconds of real time
   2209   29.390000 seconds of total run time (28.600000 user, 0.790000 system)
   2210   [ Run times consist of 1.710 seconds GC time, and 27.680 seconds non-GC time. ]
   2211   99.92% CPU
   2212   76,284,765,232 processor cycles
   2213   3,969,180,080 bytes consed
   2214   
   2215 ek 127
   2216 Evaluation took:
   2217   1.068 seconds of real time
   2218   1.070000 seconds of total run time (1.050000 user, 0.020000 system)
   2219   [ Run times consist of 0.130 seconds GC time, and 0.940 seconds non-GC time. ]
   2220   100.19% CPU
   2221   2,769,366,223 processor cycles
   2222   145,117,344 bytes consed
   2223   
   2224 di 127
   2225 Evaluation took:
   2226   28.048 seconds of real time
   2227   28.040000 seconds of total run time (27.310000 user, 0.730000 system)
   2228   [ Run times consist of 1.660 seconds GC time, and 26.380 seconds non-GC time. ]
   2229   99.97% CPU
   2230   72,742,978,620 processor cycles
   2231   3,744,632,112 bytes consed
   2232   
   2233 ek 128
   2234 Evaluation took:
   2235   1.186 seconds of real time
   2236   1.190000 seconds of total run time (1.150000 user, 0.040000 system)
   2237   [ Run times consist of 0.140 seconds GC time, and 1.050 seconds non-GC time. ]
   2238   100.34% CPU
   2239   3,074,282,380 processor cycles
   2240   147,832,384 bytes consed
   2241   
   2242 di 128
   2243 Evaluation took:
   2244   30.004 seconds of real time
   2245   29.980000 seconds of total run time (29.280000 user, 0.700000 system)
   2246   [ Run times consist of 1.780 seconds GC time, and 28.200 seconds non-GC time. ]
   2247   99.92% CPU
   2248   77,814,149,218 processor cycles
   2249   4,033,891,744 bytes consed
   2250   
   2251 ek 129
   2252 Evaluation took:
   2253   1.047 seconds of real time
   2254   1.050000 seconds of total run time (1.040000 user, 0.010000 system)
   2255   [ Run times consist of 0.090 seconds GC time, and 0.960 seconds non-GC time. ]
   2256   100.29% CPU
   2257   2,715,162,710 processor cycles
   2258   148,184,928 bytes consed
   2259   
   2260 di 129
   2261 Evaluation took:
   2262   28.460 seconds of real time
   2263   28.450000 seconds of total run time (27.760000 user, 0.690000 system)
   2264   [ Run times consist of 1.720 seconds GC time, and 26.730 seconds non-GC time. ]
   2265   99.96% CPU
   2266   73,810,628,463 processor cycles
   2267   3,831,266,528 bytes consed
   2268   
   2269 ek 130
   2270 Evaluation took:
   2271   1.139 seconds of real time
   2272   1.150000 seconds of total run time (1.130000 user, 0.020000 system)
   2273   [ Run times consist of 0.160 seconds GC time, and 0.990 seconds non-GC time. ]
   2274   100.97% CPU
   2275   2,957,809,075 processor cycles
   2276   147,907,744 bytes consed
   2277   
   2278 di 130
   2279 Evaluation took:
   2280   30.117 seconds of real time
   2281   30.090000 seconds of total run time (29.300000 user, 0.790000 system)
   2282   [ Run times consist of 1.700 seconds GC time, and 28.390 seconds non-GC time. ]
   2283   99.91% CPU
   2284   78,109,053,139 processor cycles
   2285   3,992,684,672 bytes consed
   2286   
   2287 ek 131
   2288 Evaluation took:
   2289   1.031 seconds of real time
   2290   1.030000 seconds of total run time (1.020000 user, 0.010000 system)
   2291   [ Run times consist of 0.110 seconds GC time, and 0.920 seconds non-GC time. ]
   2292   99.90% CPU
   2293   2,675,312,666 processor cycles
   2294   146,897,968 bytes consed
   2295   
   2296 di 131
   2297 Evaluation took:
   2298   27.574 seconds of real time
   2299   27.560000 seconds of total run time (26.880000 user, 0.680000 system)
   2300   [ Run times consist of 1.600 seconds GC time, and 25.960 seconds non-GC time. ]
   2301   99.95% CPU
   2302   71,512,222,392 processor cycles
   2303   3,694,598,352 bytes consed
   2304   
   2305 ek 132
   2306 Evaluation took:
   2307   1.118 seconds of real time
   2308   1.120000 seconds of total run time (1.050000 user, 0.070000 system)
   2309   [ Run times consist of 0.130 seconds GC time, and 0.990 seconds non-GC time. ]
   2310   100.18% CPU
   2311   2,899,022,464 processor cycles
   2312   149,897,232 bytes consed
   2313   
   2314 di 132
   2315 Evaluation took:
   2316   28.300 seconds of real time
   2317   28.280000 seconds of total run time (27.500000 user, 0.780000 system)
   2318   [ Run times consist of 1.540 seconds GC time, and 26.740 seconds non-GC time. ]
   2319   99.93% CPU
   2320   73,395,354,669 processor cycles
   2321   3,796,810,400 bytes consed
   2322   
   2323 ek 133
   2324 Evaluation took:
   2325   1.162 seconds of real time
   2326   1.170000 seconds of total run time (1.140000 user, 0.030000 system)
   2327   [ Run times consist of 0.110 seconds GC time, and 1.060 seconds non-GC time. ]
   2328   100.69% CPU
   2329   3,014,216,062 processor cycles
   2330   155,246,080 bytes consed
   2331   
   2332 di 133
   2333 Evaluation took:
   2334   29.915 seconds of real time
   2335   29.900000 seconds of total run time (29.230000 user, 0.670000 system)
   2336   [ Run times consist of 1.420 seconds GC time, and 28.480 seconds non-GC time. ]
   2337   99.95% CPU
   2338   77,585,461,941 processor cycles
   2339   4,041,839,264 bytes consed
   2340   
   2341 ek 134
   2342 Evaluation took:
   2343   1.266 seconds of real time
   2344   1.260000 seconds of total run time (1.210000 user, 0.050000 system)
   2345   [ Run times consist of 0.260 seconds GC time, and 1.000 seconds non-GC time. ]
   2346   99.53% CPU
   2347   3,282,494,462 processor cycles
   2348   152,210,848 bytes consed
   2349   
   2350 di 134
   2351 Evaluation took:
   2352   28.597 seconds of real time
   2353   28.580000 seconds of total run time (27.880000 user, 0.700000 system)
   2354   [ Run times consist of 1.470 seconds GC time, and 27.110 seconds non-GC time. ]
   2355   99.94% CPU
   2356   74,166,162,655 processor cycles
   2357   3,869,027,920 bytes consed
   2358   
   2359 ek 135
   2360 Evaluation took:
   2361   1.205 seconds of real time
   2362   1.210000 seconds of total run time (1.110000 user, 0.100000 system)
   2363   [ Run times consist of 0.110 seconds GC time, and 1.100 seconds non-GC time. ]
   2364   100.41% CPU
   2365   3,125,854,797 processor cycles
   2366   156,905,440 bytes consed
   2367   
   2368 di 135
   2369 Evaluation took:
   2370   31.463 seconds of real time
   2371   31.450000 seconds of total run time (30.770000 user, 0.680000 system)
   2372   [ Run times consist of 1.780 seconds GC time, and 29.670 seconds non-GC time. ]
   2373   99.96% CPU
   2374   81,599,773,138 processor cycles
   2375   4,196,538,592 bytes consed
   2376   
   2377 ek 136
   2378 Evaluation took:
   2379   1.194 seconds of real time
   2380   1.190000 seconds of total run time (1.170000 user, 0.020000 system)
   2381   [ Run times consist of 0.150 seconds GC time, and 1.040 seconds non-GC time. ]
   2382   99.66% CPU
   2383   3,094,545,207 processor cycles
   2384   156,560,704 bytes consed
   2385   
   2386 di 136
   2387 Evaluation took:
   2388   30.642 seconds of real time
   2389   30.620000 seconds of total run time (30.020000 user, 0.600000 system)
   2390   [ Run times consist of 1.800 seconds GC time, and 28.820 seconds non-GC time. ]
   2391   99.93% CPU
   2392   79,469,633,646 processor cycles
   2393   4,095,706,800 bytes consed
   2394   
   2395 ek 137
   2396 Evaluation took:
   2397   1.197 seconds of real time
   2398   1.200000 seconds of total run time (1.150000 user, 0.050000 system)
   2399   [ Run times consist of 0.130 seconds GC time, and 1.070 seconds non-GC time. ]
   2400   100.25% CPU
   2401   3,103,750,741 processor cycles
   2402   157,989,440 bytes consed
   2403   
   2404 di 137
   2405 Evaluation took:
   2406   30.466 seconds of real time
   2407   30.460000 seconds of total run time (29.710000 user, 0.750000 system)
   2408   [ Run times consist of 1.690 seconds GC time, and 28.770 seconds non-GC time. ]
   2409   99.98% CPU
   2410   79,013,335,726 processor cycles
   2411   4,109,370,016 bytes consed
   2412   
   2413 ek 138
   2414 Evaluation took:
   2415   1.193 seconds of real time
   2416   1.200000 seconds of total run time (1.190000 user, 0.010000 system)
   2417   [ Run times consist of 0.100 seconds GC time, and 1.100 seconds non-GC time. ]
   2418   100.59% CPU
   2419   3,095,870,687 processor cycles
   2420   159,183,264 bytes consed
   2421   
   2422 di 138
   2423 Evaluation took:
   2424   31.753 seconds of real time
   2425   31.740000 seconds of total run time (30.950000 user, 0.790000 system)
   2426   [ Run times consist of 1.820 seconds GC time, and 29.920 seconds non-GC time. ]
   2427   99.96% CPU
   2428   82,350,903,232 processor cycles
   2429   4,254,167,328 bytes consed
   2430   
   2431 ek 139
   2432 Evaluation took:
   2433   1.258 seconds of real time
   2434   1.250000 seconds of total run time (1.230000 user, 0.020000 system)
   2435   [ Run times consist of 0.140 seconds GC time, and 1.110 seconds non-GC time. ]
   2436   99.36% CPU
   2437   3,264,347,138 processor cycles
   2438   163,020,224 bytes consed
   2439   
   2440 di 139
   2441 Evaluation took:
   2442   32.839 seconds of real time
   2443   32.820000 seconds of total run time (32.030000 user, 0.790000 system)
   2444   [ Run times consist of 2.050 seconds GC time, and 30.770 seconds non-GC time. ]
   2445   99.94% CPU
   2446   85,168,439,746 processor cycles
   2447   4,356,158,192 bytes consed
   2448   
   2449 ek 140
   2450 Evaluation took:
   2451   1.281 seconds of real time
   2452   1.280000 seconds of total run time (1.230000 user, 0.050000 system)
   2453   [ Run times consist of 0.130 seconds GC time, and 1.150 seconds non-GC time. ]
   2454   99.92% CPU
   2455   3,322,892,963 processor cycles
   2456   163,721,888 bytes consed
   2457   
   2458 di 140
   2459 Evaluation took:
   2460   34.033 seconds of real time
   2461   34.020000 seconds of total run time (33.260000 user, 0.760000 system)
   2462   [ Run times consist of 1.870 seconds GC time, and 32.150 seconds non-GC time. ]
   2463   99.96% CPU
   2464   88,262,731,752 processor cycles
   2465   4,539,158,496 bytes consed
   2466   
   2467 ek 141
   2468 Evaluation took:
   2469   1.373 seconds of real time
   2470   1.380000 seconds of total run time (1.350000 user, 0.030000 system)
   2471   [ Run times consist of 0.170 seconds GC time, and 1.210 seconds non-GC time. ]
   2472   100.51% CPU
   2473   3,562,279,344 processor cycles
   2474   167,218,544 bytes consed
   2475   
   2476 di 141
   2477 Evaluation took:
   2478   33.495 seconds of real time
   2479   33.480000 seconds of total run time (32.820000 user, 0.660000 system)
   2480   [ Run times consist of 1.960 seconds GC time, and 31.520 seconds non-GC time. ]
   2481   99.96% CPU
   2482   86,869,931,343 processor cycles
   2483   4,485,414,608 bytes consed
   2484   
   2485 ek 142
   2486 Evaluation took:
   2487   1.438 seconds of real time
   2488   1.440000 seconds of total run time (1.340000 user, 0.100000 system)
   2489   [ Run times consist of 0.270 seconds GC time, and 1.170 seconds non-GC time. ]
   2490   100.14% CPU
   2491   3,729,898,926 processor cycles
   2492   167,395,792 bytes consed
   2493   
   2494 di 142
   2495 Evaluation took:
   2496   32.843 seconds of real time
   2497   32.820000 seconds of total run time (32.210000 user, 0.610000 system)
   2498   [ Run times consist of 1.730 seconds GC time, and 31.090 seconds non-GC time. ]
   2499   99.93% CPU
   2500   85,177,392,846 processor cycles
   2501   4,393,311,056 bytes consed
   2502   
   2503 ek 143
   2504 Evaluation took:
   2505   1.315 seconds of real time
   2506   1.320000 seconds of total run time (1.240000 user, 0.080000 system)
   2507   [ Run times consist of 0.230 seconds GC time, and 1.090 seconds non-GC time. ]
   2508   100.38% CPU
   2509   3,408,314,338 processor cycles
   2510   166,905,808 bytes consed
   2511   
   2512 di 143
   2513 Evaluation took:
   2514   32.766 seconds of real time
   2515   32.740000 seconds of total run time (31.810000 user, 0.930000 system)
   2516   [ Run times consist of 2.110 seconds GC time, and 30.630 seconds non-GC time. ]
   2517   99.92% CPU
   2518   84,977,628,697 processor cycles
   2519   4,358,456,064 bytes consed
   2520   
   2521 ek 144
   2522 Evaluation took:
   2523   1.348 seconds of real time
   2524   1.350000 seconds of total run time (1.300000 user, 0.050000 system)
   2525   [ Run times consist of 0.230 seconds GC time, and 1.120 seconds non-GC time. ]
   2526   100.15% CPU
   2527   3,496,938,250 processor cycles
   2528   168,548,624 bytes consed
   2529   
   2530 di 144
   2531 Evaluation took:
   2532   33.263 seconds of real time
   2533   33.250000 seconds of total run time (32.400000 user, 0.850000 system)
   2534   [ Run times consist of 2.010 seconds GC time, and 31.240 seconds non-GC time. ]
   2535   99.96% CPU
   2536   86,267,074,166 processor cycles
   2537   4,452,044,384 bytes consed
   2538   
   2539 ek 145
   2540 Evaluation took:
   2541   1.395 seconds of real time
   2542   1.380000 seconds of total run time (1.360000 user, 0.020000 system)
   2543   [ Run times consist of 0.200 seconds GC time, and 1.180 seconds non-GC time. ]
   2544   98.92% CPU
   2545   3,615,546,272 processor cycles
   2546   170,936,384 bytes consed
   2547   
   2548 di 145
   2549 Evaluation took:
   2550   34.991 seconds of real time
   2551   34.980000 seconds of total run time (34.240000 user, 0.740000 system)
   2552   [ Run times consist of 2.060 seconds GC time, and 32.920 seconds non-GC time. ]
   2553   99.97% CPU
   2554   90,748,616,218 processor cycles
   2555   4,644,464,880 bytes consed
   2556   
   2557 ek 146
   2558 Evaluation took:
   2559   1.573 seconds of real time
   2560   1.570000 seconds of total run time (1.490000 user, 0.080000 system)
   2561   [ Run times consist of 0.440 seconds GC time, and 1.130 seconds non-GC time. ]
   2562   99.81% CPU
   2563   4,078,700,236 processor cycles
   2564   168,534,944 bytes consed
   2565   
   2566 di 146
   2567 Evaluation took:
   2568   31.968 seconds of real time
   2569   31.950000 seconds of total run time (31.090000 user, 0.860000 system)
   2570   [ Run times consist of 1.640 seconds GC time, and 30.310 seconds non-GC time. ]
   2571   99.94% CPU
   2572   82,910,605,076 processor cycles
   2573   4,301,795,264 bytes consed
   2574   
   2575 ek 147
   2576 Evaluation took:
   2577   1.283 seconds of real time
   2578   1.290000 seconds of total run time (1.240000 user, 0.050000 system)
   2579   [ Run times consist of 0.090 seconds GC time, and 1.200 seconds non-GC time. ]
   2580   100.55% CPU
   2581   3,326,983,829 processor cycles
   2582   173,231,904 bytes consed
   2583   
   2584 di 147
   2585 Evaluation took:
   2586   33.981 seconds of real time
   2587   33.960000 seconds of total run time (33.230000 user, 0.730000 system)
   2588   [ Run times consist of 2.080 seconds GC time, and 31.880 seconds non-GC time. ]
   2589   99.94% CPU
   2590   88,129,699,255 processor cycles
   2591   4,545,847,792 bytes consed
   2592   
   2593 ek 148
   2594 Evaluation took:
   2595   1.276 seconds of real time
   2596   1.270000 seconds of total run time (1.250000 user, 0.020000 system)
   2597   [ Run times consist of 0.080 seconds GC time, and 1.190 seconds non-GC time. ]
   2598   99.53% CPU
   2599   3,309,931,196 processor cycles
   2600   171,708,992 bytes consed
   2601   
   2602 di 148
   2603 Evaluation took:
   2604   33.953 seconds of real time
   2605   33.940000 seconds of total run time (33.130000 user, 0.810000 system)
   2606   [ Run times consist of 2.110 seconds GC time, and 31.830 seconds non-GC time. ]
   2607   99.96% CPU
   2608   88,055,845,826 processor cycles
   2609   4,518,484,768 bytes consed
   2610   
   2611 ek 149
   2612 Evaluation took:
   2613   1.317 seconds of real time
   2614   1.320000 seconds of total run time (1.280000 user, 0.040000 system)
   2615   [ Run times consist of 0.120 seconds GC time, and 1.200 seconds non-GC time. ]
   2616   100.23% CPU
   2617   3,416,780,900 processor cycles
   2618   177,085,312 bytes consed
   2619   
   2620 di 149
   2621 Evaluation took:
   2622   35.727 seconds of real time
   2623   35.720000 seconds of total run time (34.940000 user, 0.780000 system)
   2624   [ Run times consist of 2.570 seconds GC time, and 33.150 seconds non-GC time. ]
   2625   99.98% CPU
   2626   92,657,756,971 processor cycles
   2627   4,706,161,920 bytes consed
   2628   
   2629 ek 150
   2630 Evaluation took:
   2631   1.388 seconds of real time
   2632   1.380000 seconds of total run time (1.350000 user, 0.030000 system)
   2633   [ Run times consist of 0.120 seconds GC time, and 1.260 seconds non-GC time. ]
   2634   99.42% CPU
   2635   3,599,669,827 processor cycles
   2636   177,137,824 bytes consed
   2637   
   2638 di 150
   2639 Evaluation took:
   2640   37.084 seconds of real time
   2641   37.080000 seconds of total run time (36.230000 user, 0.850000 system)
   2642   [ Run times consist of 2.370 seconds GC time, and 34.710 seconds non-GC time. ]
   2643   99.99% CPU
   2644   96,176,525,120 processor cycles
   2645   4,897,308,224 bytes consed
   2646   
   2647 NIL
   2648 *