0.00/0.00	c
0.00/0.00	c Starting SatElite Preprocessing
0.00/0.00	c
0.00/0.00	c Parsing...
0.00/0.73	c ==============================================================================
0.00/0.73	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.73	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.73	c ==============================================================================
0.00/0.73	c |         0 | 1358076  3290875 |  407422       0        0     nan |  0.000 % |
3.29/3.32	c |         0 |  943589  2622489 |      --       0       --      -- |     --   | -112392/18842
3.29/3.33	c ==============================================================================
3.29/3.33	c Result  :   #vars: 137484   #clauses: 943589   #literals: 2622489
3.29/3.33	c CPU time:   3.20751 s
3.29/3.33	c ==============================================================================
3.79/3.83	c
3.79/3.83	c Starting glucose
3.79/3.83	c
15.17/15.23	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
15.17/15.23	c WARNING: for repeatability, setting FPU to use double precision
15.17/15.23	c ============================[ Problem Statistics ]=============================
15.17/15.23	c |                                                                             |
15.17/15.23	c |  Number of variables:        137484                                         |
15.17/15.23	c |  Number of clauses:          943589                                         |
15.17/15.23	c |  Parse time:                   0.27 s                                       |
15.17/15.23	c |                                                                             |
15.17/15.23	c ============================[ Search Statistics ]==============================
15.17/15.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
15.17/15.23	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
15.17/15.23	c ===============================================================================
15.17/15.23	c |       465 |  136825   943589  2622489 |        1      462    110 |  0.479 % |
15.17/15.23	c |      1051 |  134143   934865  2592869 |        1     1020    108 |  2.430 % |
15.17/15.23	c |      1494 |  133476   934865  2592869 |        1     1459    101 |  2.915 % |
15.17/15.23	c |      1746 |  132492   931191  2579269 |        1     1708    101 |  3.631 % |
15.17/15.23	c |      1846 |  132492   931191  2579269 |        1     1808     99 |  3.631 % |
15.17/15.23	c |      2398 |  131408   931191  2579269 |        1     2359     88 |  4.419 % |
15.17/15.23	c |      2674 |  131092   928449  2569213 |        1     2633     89 |  4.649 % |
15.17/15.23	c |      4079 |  127781   923996  2553186 |        1     2056     43 |  7.058 % |
15.17/15.23	c |      4509 |  126935   923996  2553186 |        1     2482     46 |  7.673 % |
15.17/15.23	c |      5292 |  125909   920533  2541981 |        1     3215     47 |  8.419 % |
15.17/15.23	c |      5392 |  125813   920533  2541981 |        1     3314     47 |  8.489 % |
15.17/15.23	c |      5755 |  125810   920533  2541981 |        1     3676     49 |  8.491 % |
15.17/15.23	c |      5857 |  125810   920533  2541981 |        1     3778     50 |  8.491 % |
15.17/15.23	c |      6550 |  125110   919785  2539253 |        1     4466     55 |  9.000 % |
15.17/15.23	c |      6810 |  124523   919785  2539253 |        1     4723     56 |  9.427 % |
15.17/15.23	c |      6912 |  124523   919785  2539253 |        1     4825     56 |  9.427 % |
15.17/15.23	c |      9483 |  122964   915142  2523570 |        1     7153     58 | 10.561 % |
15.17/15.23	c |     10384 |  122770   915142  2523570 |        1     8051     60 | 10.702 % |
15.17/15.23	c |     10484 |  122767   914541  2521419 |        1     8149     60 | 10.705 % |
15.17/15.23	c |     10979 |  122651   914541  2521419 |        1     4540     33 | 10.789 % |
15.17/15.23	c |     11282 |  122651   914541  2521419 |        1     4843     34 | 10.789 % |
15.17/15.23	c |     12039 |  122625   914134  2519988 |        1     5597     42 | 10.808 % |
15.17/15.23	c |     12139 |  122625   914052  2519682 |        1     5697     43 | 10.808 % |
15.17/15.23	c |     12493 |  122596   914052  2519682 |        1     6048     47 | 10.829 % |
15.17/15.23	c |     12594 |  122596   914052  2519682 |        1     6149     50 | 10.829 % |
15.17/15.23	c |     12696 |  122596   914052  2519682 |        1     6251     52 | 10.829 % |
15.17/15.23	c |     13027 |  122596   913973  2519385 |        1     6580     55 | 10.829 % |
15.17/15.23	c |     13350 |  122596   913973  2519385 |        1     6903     57 | 10.829 % |
15.17/15.23	c |     14332 |  121111   911517  2510247 |        1     7877     61 | 11.909 % |
15.17/15.23	c |     14493 |  121111   911517  2510247 |        1     8038     62 | 11.909 % |
15.17/15.23	c |     14704 |  121070   910918  2508422 |        1     8243     63 | 11.939 % |
15.17/15.23	c |     14805 |  121070   910918  2508422 |        1     8344     63 | 11.939 % |
15.17/15.23	c |     14915 |  121070   910918  2508422 |        1     8454     63 | 11.939 % |
15.17/15.23	c |     15689 |  120045   910918  2508422 |        1     9225     67 | 12.684 % |
15.17/15.23	c |     15789 |  120045   908825  2500787 |        1     9305     67 | 12.684 % |
15.17/15.23	c |     16540 |  120008   908825  2500787 |        1    10053     68 | 12.711 % |
15.17/15.23	c |     16640 |  120008   908825  2500787 |        1    10153     67 | 12.711 % |
15.17/15.23	c |     16876 |  119997   908825  2500787 |        1    10388     70 | 12.719 % |
15.17/15.23	c |     17487 |  119706   908723  2500421 |        1    10972     71 | 12.931 % |
26.57/26.69	c |     17587 |  119693   908723  2500421 |        1    11071     72 | 12.940 % |
26.57/26.69	c |     17687 |  119693   908723  2500421 |        1    11171     72 | 12.940 % |
26.57/26.69	c |     17959 |  119434   908723  2500421 |        1    11441     72 | 13.129 % |
26.57/26.69	c |     18427 |  119029   908392  2499382 |        1    11895     72 | 13.423 % |
26.57/26.69	c |     18535 |  119029   908392  2499382 |        1    12003     73 | 13.423 % |
26.57/26.69	c |     18635 |  119029   908392  2499382 |        1    12103     73 | 13.423 % |
26.57/26.69	c |     19441 |  119015   908245  2498873 |        1    12894     77 | 13.434 % |
26.57/26.69	c |     19656 |  118434   908245  2498873 |        1    13105     78 | 13.856 % |
26.57/26.69	c |     19756 |  118434   908245  2498873 |        1    13205     78 | 13.856 % |
26.57/26.69	c |     20147 |  118249   908245  2498873 |        1     7008     43 | 13.991 % |
26.57/26.69	c |     20566 |  118237   908245  2498873 |        1     7426     46 | 13.999 % |
26.57/26.69	c |     20847 |  118236   908245  2498873 |        1     7706     48 | 14.000 % |
26.57/26.69	c |     20947 |  118236   907137  2495495 |        1     7790     48 | 14.000 % |
26.57/26.69	c |     21946 |  118194   907137  2495495 |        1     8785     54 | 14.031 % |
26.57/26.69	c |     22256 |  118194   907098  2495366 |        1     9088     57 | 14.031 % |
26.57/26.69	c |     22702 |  118193   907098  2495366 |        1     9533     65 | 14.031 % |
26.57/26.69	c |     22802 |  118193   907098  2495366 |        1     9633     67 | 14.031 % |
26.57/26.69	c |     22902 |  118145   907098  2495366 |        1     9729     68 | 14.066 % |
26.57/26.69	c |     23027 |  118145   906938  2494766 |        1     9854     69 | 14.066 % |
26.57/26.69	c |     23135 |  118135   906938  2494766 |        1     9961     69 | 14.074 % |
26.57/26.69	c |     23765 |  118127   906938  2494766 |        1    10590     77 | 14.079 % |
26.57/26.69	c |     23891 |  118127   906859  2494489 |        1    10712     77 | 14.079 % |
26.57/26.69	c |     23995 |  118127   906859  2494489 |        1    10816     77 | 14.079 % |
26.57/26.69	c |     24097 |  118127   906859  2494489 |        1    10918     79 | 14.079 % |
26.57/26.69	c |     24197 |  118127   906859  2494489 |        1    11018     79 | 14.079 % |
26.57/26.69	c |     25456 |  118114   906819  2494339 |        1    12269     82 | 14.089 % |
26.57/26.69	c |     25557 |  118114   906819  2494339 |        1    12370     82 | 14.089 % |
26.57/26.69	c |     26225 |  118007   906819  2494339 |        1    13033     84 | 14.167 % |
26.57/26.69	c |     26373 |  117931   906819  2494339 |        1    13178     84 | 14.222 % |
26.57/26.69	c |     26474 |  117931   906450  2493050 |        1    13263     84 | 14.222 % |
26.57/26.69	c |     26967 |  117923   906450  2493050 |        1    13755     87 | 14.228 % |
26.57/26.69	c |     27181 |  117917   906450  2493050 |        1    13967     88 | 14.232 % |
26.57/26.69	c |     27765 |  117917   906450  2493050 |        1    14551     90 | 14.232 % |
26.57/26.69	c |     27868 |  117905   906398  2492880 |        1    14650     91 | 14.241 % |
26.57/26.69	c |     28265 |  117854   906398  2492880 |        1    15043     92 | 14.278 % |
26.57/26.69	c |     28365 |  117823   906398  2492880 |        1    15141     93 | 14.301 % |
26.57/26.69	c |     29011 |  117758   906398  2492880 |        1    15786     94 | 14.348 % |
26.57/26.69	c |     29198 |  117758   906104  2491788 |        1    15970     95 | 14.348 % |
26.57/26.69	c |     29298 |  117753   906104  2491788 |        1    16069     95 | 14.351 % |
26.57/26.69	c |     29398 |  117753   906104  2491788 |        1    16169     96 | 14.351 % |
26.57/26.69	c |     29498 |  117753   906104  2491788 |        1    16269     96 | 14.351 % |
26.57/26.69	c |     29994 |  117707   905962  2491300 |        1    16754     98 | 14.385 % |
26.57/26.69	c |     30094 |  117707   905962  2491300 |        1    16854     98 | 14.385 % |
26.57/26.69	c |     30194 |  117707   905962  2491300 |        1    16954     99 | 14.385 % |
26.57/26.69	c |     30300 |  117707   905962  2491300 |        1    17060    100 | 14.385 % |
26.57/26.69	c |     30533 |  117657   905962  2491300 |        1    17292    102 | 14.421 % |
26.57/26.69	c |     30633 |  117645   905962  2491300 |        1    17391    102 | 14.430 % |
26.57/26.69	c |     30733 |  117645   905962  2491300 |        1    17491    103 | 14.430 % |
26.57/26.69	c |     30835 |  117564   905962  2491300 |        1    17592    103 | 14.489 % |
26.57/26.69	c |     31297 |  117564   905962  2491300 |        1    18054    104 | 14.489 % |
37.48/37.57	c |     31397 |  117186   905774  2490700 |        1    18146    105 | 14.764 % |
37.48/37.57	c |     31497 |  117186   905774  2490700 |        1    18246    105 | 14.764 % |
37.48/37.57	c |     31597 |  117186   905774  2490700 |        1    18346    106 | 14.764 % |
37.48/37.57	c |     31741 |  117186   905774  2490700 |        1     9544     50 | 14.764 % |
37.48/37.57	c |     32419 |  117130   905774  2490700 |        1    10220     53 | 14.805 % |
37.48/37.57	c |     32641 |  117130   905774  2490700 |        1    10442     55 | 14.805 % |
37.48/37.57	c |     32960 |  116875   904743  2486961 |        1    10758     56 | 14.990 % |
37.48/37.57	c |     33083 |  116863   904743  2486961 |        1    10880     57 | 14.999 % |
37.48/37.57	c |     33184 |  116863   904743  2486961 |        1    10981     58 | 14.999 % |
37.48/37.57	c |     33567 |  116851   904743  2486961 |        1    11363     63 | 15.008 % |
37.48/37.57	c |     33667 |  116851   904020  2484286 |        1    11459     64 | 15.008 % |
37.48/37.57	c |     33790 |  116851   904020  2484286 |        1    11582     67 | 15.008 % |
37.48/37.57	c |     33890 |  116851   904020  2484286 |        1    11682     67 | 15.008 % |
37.48/37.57	c |     33998 |  116818   904020  2484286 |        1    11788     68 | 15.032 % |
37.48/37.57	c |     34100 |  116818   904020  2484286 |        1    11890     68 | 15.032 % |
37.48/37.57	c |     34471 |  116818   904020  2484286 |        1    12261     74 | 15.032 % |
37.48/37.57	c |     34572 |  116818   903996  2484208 |        1    12360     75 | 15.032 % |
37.48/37.57	c |     34755 |  116805   903996  2484208 |        1    12541     77 | 15.041 % |
37.48/37.57	c |     34859 |  116805   903996  2484208 |        1    12645     78 | 15.041 % |
37.48/37.57	c |     34961 |  116805   903996  2484208 |        1    12747     79 | 15.041 % |
37.48/37.57	c |     35061 |  116805   903996  2484208 |        1    12847     80 | 15.041 % |
37.48/37.57	c |     35166 |  116805   903996  2484208 |        1    12952     81 | 15.041 % |
37.48/37.57	c |     35317 |  116805   903996  2484208 |        1    13103     82 | 15.041 % |
37.48/37.57	c |     36128 |  116585   903957  2484061 |        1    13908     82 | 15.201 % |
37.48/37.57	c |     36280 |  116585   903957  2484061 |        1    14060     82 | 15.201 % |
37.48/37.57	c |     36428 |  116585   903957  2484061 |        1    14208     83 | 15.201 % |
37.48/37.57	c |     36635 |  116140   903872  2483790 |        1    14410     85 | 15.525 % |
37.48/37.57	c |     36835 |  116129   903872  2483790 |        1    14609     86 | 15.533 % |
37.48/37.57	c |     37048 |  116129   903872  2483790 |        1    14822     88 | 15.533 % |
37.48/37.57	c |     37150 |  116129   903872  2483790 |        1    14924     88 | 15.533 % |
37.48/37.57	c |     37465 |  116129   903872  2483790 |        1    15239     92 | 15.533 % |
37.48/37.57	c |     37568 |  116129   902635  2479299 |        1    15337     92 | 15.533 % |
37.48/37.57	c |     37668 |  116129   902635  2479299 |        1    15437     93 | 15.533 % |
37.48/37.57	c |     38110 |  116122   902635  2479299 |        1    15878     94 | 15.538 % |
37.48/37.57	c |     38210 |  116122   902635  2479299 |        1    15978     94 | 15.538 % |
37.48/37.57	c |     38946 |  116102   902524  2478898 |        1    16707     96 | 15.552 % |
37.48/37.57	c |     39047 |  116102   902524  2478898 |        1    16808     96 | 15.552 % |
37.48/37.57	c |     39211 |  116011   902524  2478898 |        1    16970     97 | 15.619 % |
37.48/37.57	c |     39473 |  116008   902524  2478898 |        1    17231    100 | 15.621 % |
37.48/37.57	c |     39626 |  116008   902524  2478898 |        1    17384    101 | 15.621 % |
37.48/37.57	c |     39731 |  116006   902307  2478231 |        1    17483    101 | 15.622 % |
37.48/37.57	c |     39831 |  116006   902307  2478231 |        1    17583    101 | 15.622 % |
37.48/37.57	c |     40246 |  115898   902307  2478231 |        1    17995    101 | 15.701 % |
37.48/37.57	c |     40346 |  115898   902307  2478231 |        1    18095    101 | 15.701 % |
37.48/37.57	c |     40664 |  115630   901793  2476589 |        1    18400    102 | 15.896 % |
37.48/37.57	c |     40764 |  115630   901793  2476589 |        1    18500    102 | 15.896 % |
37.48/37.57	c |     40864 |  115630   901793  2476589 |        1    18600    103 | 15.896 % |
37.48/37.57	c |     40965 |  115630   901793  2476589 |        1    18701    103 | 15.896 % |
37.48/37.57	c |     41259 |  115360   901793  2476589 |        1    18994    105 | 16.092 % |
37.48/37.57	c |     41359 |  115360   901793  2476589 |        1    19094    107 | 16.092 % |
49.98/50.02	c |     41459 |  115360   901793  2476589 |        1    19194    107 | 16.092 % |
49.98/50.02	c |     41896 |  115029   901793  2476589 |        1    19629    107 | 16.333 % |
49.98/50.02	c |     42066 |  115029   900809  2473247 |        1    19798    108 | 16.333 % |
49.98/50.02	c |     42943 |  115029   900809  2473247 |        1    20675    113 | 16.333 % |
49.98/50.02	c |     43085 |  115029   900809  2473247 |        1    20817    113 | 16.333 % |
49.98/50.02	c |     43239 |  115029   900809  2473247 |        1    20971    112 | 16.333 % |
49.98/50.02	c |     43534 |  115029   900809  2473247 |        1    21266    113 | 16.333 % |
49.98/50.02	c |     43634 |  115029   900809  2473247 |        1    21366    114 | 16.333 % |
49.98/50.02	c |     43952 |  115029   900809  2473247 |        1    21684    116 | 16.333 % |
49.98/50.02	c |     44052 |  115029   900809  2473247 |        1    21784    116 | 16.333 % |
49.98/50.02	c |     44153 |  115029   900809  2473247 |        1    21885    116 | 16.333 % |
49.98/50.02	c |     44253 |  115017   900768  2473094 |        1    21983    116 | 16.342 % |
49.98/50.02	c |     44353 |  115017   900768  2473094 |        1    22083    116 | 16.342 % |
49.98/50.02	c |     44510 |  115006   900768  2473094 |        1    22239    117 | 16.350 % |
49.98/50.02	c |     44610 |  115006   900768  2473094 |        1    22339    117 | 16.350 % |
49.98/50.02	c |     44792 |  115006   900768  2473094 |        1    22521    117 | 16.350 % |
49.98/50.02	c |     44983 |  115006   900768  2473094 |        1    22712    117 | 16.350 % |
49.98/50.02	c |     45212 |  115006   900768  2473094 |        1    22941    118 | 16.350 % |
49.98/50.02	c |     45417 |  115006   900768  2473094 |        1    23146    118 | 16.350 % |
49.98/50.02	c |     45563 |  115006   900768  2473094 |        1    23292    119 | 16.350 % |
49.98/50.02	c |     45663 |  115006   900768  2473094 |        1    23392    120 | 16.350 % |
49.98/50.02	c |     45764 |  115006   900730  2472950 |        1    23492    119 | 16.350 % |
49.98/50.02	c |     45866 |  115006   900730  2472950 |        1    23594    120 | 16.350 % |
49.98/50.02	c |     46076 |  115006   900730  2472950 |        1    12347     47 | 16.350 % |
49.98/50.02	c |     46398 |  115006   900730  2472950 |        1    12669     49 | 16.350 % |
49.98/50.02	c |     46830 |  114971   900730  2472950 |        1    13099     55 | 16.375 % |
49.98/50.02	c |     46931 |  114971   900730  2472950 |        1    13200     56 | 16.375 % |
49.98/50.02	c |     47141 |  114964   900730  2472950 |        1    13409     57 | 16.380 % |
49.98/50.02	c |     48600 |  114954   900618  2472574 |        1    14861     72 | 16.387 % |
49.98/50.02	c |     48700 |  114953   900618  2472574 |        1    14960     73 | 16.388 % |
49.98/50.02	c |     49037 |  114862   900618  2472574 |        1    15295     75 | 16.454 % |
49.98/50.02	c |     49410 |  114862   900618  2472574 |        1    15668     76 | 16.454 % |
49.98/50.02	c |     49766 |  114862   900618  2472574 |        1    16024     79 | 16.454 % |
49.98/50.02	c |     50938 |  114805   900592  2472490 |        1    17192     84 | 16.496 % |
49.98/50.02	c |     51038 |  114804   900526  2472276 |        1    17285     85 | 16.496 % |
49.98/50.02	c |     51274 |  114795   900526  2472276 |        1    17520     87 | 16.503 % |
49.98/50.02	c |     51375 |  114794   900526  2472276 |        1    17620     87 | 16.504 % |
49.98/50.02	c |     51502 |  114790   900526  2472276 |        1    17745     87 | 16.507 % |
49.98/50.02	c |     51615 |  114790   900526  2472276 |        1    17858     88 | 16.507 % |
49.98/50.02	c |     51745 |  114790   900526  2472276 |        1    17988     88 | 16.507 % |
49.98/50.02	c |     51876 |  114790   900526  2472276 |        1    18119     88 | 16.507 % |
49.98/50.02	c |     51976 |  114790   900526  2472276 |        1    18219     88 | 16.507 % |
49.98/50.02	c |     52158 |  114790   900526  2472276 |        1    18401     90 | 16.507 % |
49.98/50.02	c |     52385 |  114790   900482  2472130 |        1    18620     91 | 16.507 % |
49.98/50.02	c |     52485 |  114790   900482  2472130 |        1    18720     91 | 16.507 % |
49.98/50.02	c |     52586 |  114790   900482  2472130 |        1    18821     91 | 16.507 % |
49.98/50.02	c |     53244 |  114790   900482  2472130 |        1    19479     93 | 16.507 % |
49.98/50.02	c |     53355 |  114790   900482  2472130 |        1    19590     94 | 16.507 % |
49.98/50.02	c |     53498 |  114790   900482  2472130 |        1    19733     94 | 16.507 % |
49.98/50.02	c |     53736 |  114779   900441  2471977 |        1    19969     95 | 16.515 % |
69.08/69.12	c |     54470 |  114779   900441  2471977 |        1    20703     97 | 16.515 % |
69.08/69.12	c |     54572 |  114779   900441  2471977 |        1    20805     97 | 16.515 % |
69.08/69.12	c |     54831 |  114779   900441  2471977 |        1    21064     97 | 16.515 % |
69.08/69.12	c |     54931 |  114779   900441  2471977 |        1    21164     97 | 16.515 % |
69.08/69.12	c |     55183 |  114779   900441  2471977 |        1    21416     97 | 16.515 % |
69.08/69.12	c |     55284 |  114772   900441  2471977 |        1    21516     97 | 16.520 % |
69.08/69.12	c |     55463 |  114771   900441  2471977 |        1    21694     99 | 16.520 % |
69.08/69.12	c |     55563 |  114771   900412  2471884 |        1    21792     99 | 16.520 % |
69.08/69.12	c |     56454 |  114770   900412  2471884 |        1    22682    106 | 16.521 % |
69.08/69.12	c |     56786 |  114749   900366  2471716 |        1    23008    108 | 16.536 % |
69.08/69.12	c |     57391 |  114749   900366  2471716 |        1    23613    117 | 16.536 % |
69.08/69.12	c |     57491 |  114749   900366  2471716 |        1    23713    117 | 16.536 % |
69.08/69.12	c |     57591 |  114737   900320  2471556 |        1    23811    117 | 16.545 % |
69.08/69.12	c |     57947 |  114737   900320  2471556 |        1    24167    122 | 16.545 % |
69.08/69.12	c |     58048 |  114737   900320  2471556 |        1    24268    123 | 16.545 % |
69.08/69.12	c |     58538 |  114711   900320  2471556 |        1    24755    127 | 16.564 % |
69.08/69.12	c |     58640 |  114711   900320  2471556 |        1    24857    127 | 16.564 % |
69.08/69.12	c |     59782 |  114527   900164  2471004 |        1    25985    129 | 16.698 % |
69.08/69.12	c |     59977 |  114527   900164  2471004 |        1    26180    129 | 16.698 % |
69.08/69.12	c |     60416 |  114527   900164  2471004 |        1    26619    130 | 16.698 % |
69.08/69.12	c |     60516 |  114527   900164  2471004 |        1    26719    130 | 16.698 % |
69.08/69.12	c |     60930 |  114519   899669  2469337 |        1    27123    132 | 16.704 % |
69.08/69.12	c |     61616 |  114519   899669  2469337 |        1    27809    133 | 16.704 % |
69.08/69.12	c |     61843 |  114519   899669  2469337 |        1    28036    133 | 16.704 % |
69.08/69.12	c |     62313 |  114505   899669  2469337 |        1    28505    133 | 16.714 % |
69.08/69.12	c |     62917 |  114356   899669  2469337 |        1    29102    134 | 16.822 % |
69.08/69.12	c |     63187 |  114304   899177  2467589 |        1    16091     58 | 16.860 % |
69.08/69.12	c |     63343 |  114304   899177  2467589 |        1    16247     61 | 16.860 % |
69.08/69.12	c |     63443 |  114293   899177  2467589 |        1    16346     61 | 16.868 % |
69.08/69.12	c |     63636 |  114279   899177  2467589 |        1    16538     64 | 16.878 % |
69.08/69.12	c |     63856 |  114279   899177  2467589 |        1    16758     65 | 16.878 % |
69.08/69.12	c |     64174 |  114265   899177  2467589 |        1    17074     67 | 16.889 % |
69.08/69.12	c |     64278 |  114265   899177  2467589 |        1    17178     69 | 16.889 % |
69.08/69.12	c |     64580 |  114265   898843  2466409 |        1    17464     72 | 16.889 % |
69.08/69.12	c |     64713 |  114265   898843  2466409 |        1    17597     73 | 16.889 % |
69.08/69.12	c |     65198 |  114224   898749  2466067 |        1    18080     77 | 16.918 % |
69.08/69.12	c |     66268 |  114218   898749  2466067 |        1    19148     83 | 16.923 % |
69.08/69.12	c |     66368 |  114218   898731  2466013 |        1    19248     84 | 16.923 % |
69.08/69.12	c |     66468 |  114218   898731  2466013 |        1    19348     85 | 16.923 % |
69.08/69.12	c |     66621 |  114207   898731  2466013 |        1    19500     86 | 16.931 % |
69.08/69.12	c |     67383 |  114200   898731  2466013 |        1    20259     88 | 16.936 % |
69.08/69.12	c |     67542 |  114200   898731  2466013 |        1    20418     89 | 16.936 % |
69.08/69.12	c |     67829 |  114200   898731  2466013 |        1    20705     91 | 16.936 % |
69.08/69.12	c |     67929 |  114200   898689  2465865 |        1    20804     92 | 16.936 % |
69.08/69.12	c |     68029 |  114200   898689  2465865 |        1    20904     92 | 16.936 % |
69.08/69.12	c |     68293 |  114200   898689  2465865 |        1    21168     94 | 16.936 % |
69.08/69.12	c |     68395 |  114200   898689  2465865 |        1    21270     95 | 16.936 % |
69.08/69.12	c |     68496 |  114200   898689  2465865 |        1    21371     95 | 16.936 % |
69.08/69.12	c |     69038 |  114187   898689  2465865 |        1    21912     99 | 16.945 % |
69.08/69.12	c |     69356 |  114187   898649  2465715 |        1    22230     99 | 16.945 % |
87.68/87.76	c |     69457 |  114187   898649  2465715 |        1    22331     99 | 16.945 % |
87.68/87.76	c |     69654 |  114173   898649  2465715 |        1    22527    100 | 16.955 % |
87.68/87.76	c |     70622 |  114173   898649  2465715 |        1    23495    103 | 16.955 % |
87.68/87.76	c |     71275 |  114173   898649  2465715 |        1    24148    107 | 16.955 % |
87.68/87.76	c |     71462 |  114173   898592  2465538 |        1    24328    108 | 16.955 % |
87.68/87.76	c |     71562 |  114173   898592  2465538 |        1    24428    108 | 16.955 % |
87.68/87.76	c |     71662 |  114173   898592  2465538 |        1    24528    108 | 16.955 % |
87.68/87.76	c |     71911 |  114165   898592  2465538 |        1    24776    109 | 16.961 % |
87.68/87.76	c |     72020 |  114165   898592  2465538 |        1    24885    109 | 16.961 % |
87.68/87.76	c |     72409 |  114162   898592  2465538 |        1    25273    111 | 16.963 % |
87.68/87.76	c |     72825 |  114139   898592  2465538 |        1    25688    112 | 16.980 % |
87.68/87.76	c |     74396 |  114124   898476  2465106 |        1    27245    132 | 16.991 % |
87.68/87.76	c |     74497 |  114124   898419  2464905 |        1    27346    132 | 16.991 % |
87.68/87.76	c |     74696 |  114124   898419  2464905 |        1    27545    134 | 16.991 % |
87.68/87.76	c |     75141 |  114124   898419  2464905 |        1    27990    136 | 16.991 % |
87.68/87.76	c |     75243 |  114124   898419  2464905 |        1    28092    136 | 16.991 % |
87.68/87.76	c |     75593 |  114124   898419  2464905 |        1    28442    135 | 16.991 % |
87.68/87.76	c |     75693 |  114124   898419  2464905 |        1    28542    136 | 16.991 % |
87.68/87.76	c |     75833 |  114124   898419  2464905 |        1    28682    136 | 16.991 % |
87.68/87.76	c |     75934 |  114124   898419  2464905 |        1    28783    136 | 16.991 % |
87.68/87.76	c |     76488 |  114124   898419  2464905 |        1    29337    138 | 16.991 % |
87.68/87.76	c |     76590 |  114124   898419  2464905 |        1    29439    138 | 16.991 % |
87.68/87.76	c |     77203 |  114123   898419  2464905 |        1    30051    139 | 16.992 % |
87.68/87.76	c |     77303 |  114123   898419  2464905 |        1    30151    139 | 16.992 % |
87.68/87.76	c |     77723 |  114116   898419  2464905 |        1    30570    143 | 16.997 % |
87.68/87.76	c |     77824 |  114116   898419  2464905 |        1    30671    143 | 16.997 % |
87.68/87.76	c |     77924 |  114116   898419  2464905 |        1    30771    143 | 16.997 % |
87.68/87.76	c |     78059 |  114116   898419  2464905 |        1    30906    143 | 16.997 % |
87.68/87.76	c |     78159 |  114116   898419  2464905 |        1    31006    143 | 16.997 % |
87.68/87.76	c |     78261 |  114116   898419  2464905 |        1    31108    143 | 16.997 % |
87.68/87.76	c |     78361 |  114116   898419  2464905 |        1    31208    142 | 16.997 % |
87.68/87.76	c |     78463 |  114116   898419  2464905 |        1    31310    142 | 16.997 % |
87.68/87.76	c |     78655 |  114103   898419  2464905 |        1    31501    142 | 17.006 % |
87.68/87.76	c |     78789 |  114103   898419  2464905 |        1    31635    142 | 17.006 % |
87.68/87.76	c |     78893 |  114103   898373  2464725 |        1    31739    143 | 17.006 % |
87.68/87.76	c |     79016 |  114103   898373  2464725 |        1    31862    143 | 17.006 % |
87.68/87.76	c |     79116 |  114103   898373  2464725 |        1    31962    143 | 17.006 % |
87.68/87.76	c |     79287 |  114103   898373  2464725 |        1    32133    143 | 17.006 % |
87.68/87.76	c |     80113 |  114103   898373  2464725 |        1    32959    149 | 17.006 % |
87.68/87.76	c |     80282 |  114103   898373  2464725 |        1    33128    149 | 17.006 % |
87.68/87.76	c |     80404 |  113974   898373  2464725 |        1    33249    150 | 17.100 % |
87.68/87.76	c |     81085 |  113974   898309  2464533 |        1    33920    150 | 17.100 % |
87.68/87.76	c |     81187 |  113974   898309  2464533 |        1    34022    150 | 17.100 % |
87.68/87.76	c |     81357 |  113974   898309  2464533 |        1    34192    151 | 17.100 % |
87.68/87.76	c |     82041 |  113960   898309  2464533 |        1    34875    153 | 17.110 % |
87.68/87.76	c |     82163 |  113960   898309  2464533 |        1    34997    153 | 17.110 % |
87.68/87.76	c |     82264 |  113960   898309  2464533 |        1    35098    153 | 17.110 % |
87.68/87.76	c |     82364 |  113960   898309  2464533 |        1    35198    154 | 17.110 % |
87.68/87.76	c |     82636 |  113959   898241  2464317 |        1    19398     63 | 17.111 % |
87.68/87.76	c |     82767 |  113959   898241  2464317 |        1    19529     64 | 17.111 % |
116.67/116.72	c |     82867 |  113959   898241  2464317 |        1    19629     65 | 17.111 % |
116.67/116.72	c |     83252 |  113959   898241  2464317 |        1    20014     73 | 17.111 % |
116.67/116.72	c |     83506 |  113955   898241  2464317 |        1    20267     75 | 17.114 % |
116.67/116.72	c |     84469 |  113872   898241  2464317 |        1    21227     78 | 17.174 % |
116.67/116.72	c |     84569 |  113872   898002  2463600 |        1    21308     78 | 17.174 % |
116.67/116.72	c |     85069 |  113862   898002  2463600 |        1    21807     81 | 17.182 % |
116.67/116.72	c |     85257 |  113862   898002  2463600 |        1    21995     83 | 17.182 % |
116.67/116.72	c |     85426 |  113862   898002  2463600 |        1    22164     83 | 17.182 % |
116.67/116.72	c |     85893 |  113861   898002  2463600 |        1    22630     86 | 17.182 % |
116.67/116.72	c |     86328 |  113861   897994  2463576 |        1    23064     91 | 17.182 % |
116.67/116.72	c |     86465 |  113861   897994  2463576 |        1    23201     91 | 17.182 % |
116.67/116.72	c |     86954 |  113861   897994  2463576 |        1    23690    102 | 17.182 % |
116.67/116.72	c |     87057 |  113861   897994  2463576 |        1    23793    102 | 17.182 % |
116.67/116.72	c |     87159 |  113861   897994  2463576 |        1    23895    102 | 17.182 % |
116.67/116.72	c |     87778 |  113861   897994  2463576 |        1    24514    110 | 17.182 % |
116.67/116.72	c |     87883 |  113861   897994  2463576 |        1    24619    110 | 17.182 % |
116.67/116.72	c |     87983 |  113861   897994  2463576 |        1    24719    110 | 17.182 % |
116.67/116.72	c |     88084 |  113861   897994  2463576 |        1    24820    110 | 17.182 % |
116.67/116.72	c |     88307 |  113861   897994  2463576 |        1    25043    112 | 17.182 % |
116.67/116.72	c |     88744 |  113861   897994  2463576 |        1    25480    116 | 17.182 % |
116.67/116.72	c |     89194 |  113851   897938  2463384 |        1    25928    117 | 17.190 % |
116.67/116.72	c |     89298 |  113851   897938  2463384 |        1    26032    117 | 17.190 % |
116.67/116.72	c |     89398 |  113851   897938  2463384 |        1    26132    117 | 17.190 % |
116.67/116.72	c |     89940 |  113851   897938  2463384 |        1    26674    121 | 17.190 % |
116.67/116.72	c |     90486 |  113736   897860  2463128 |        1    27207    122 | 17.273 % |
116.67/116.72	c |     93915 |  113502   897860  2463128 |        1    30631    159 | 17.443 % |
116.67/116.72	c |     94015 |  113502   897170  2460578 |        1    30713    159 | 17.443 % |
116.67/116.72	c |     94115 |  113502   897170  2460578 |        1    30813    159 | 17.443 % |
116.67/116.72	c |     94215 |  113501   897170  2460578 |        1    30912    158 | 17.444 % |
116.67/116.72	c |     94371 |  113501   897170  2460578 |        1    31068    159 | 17.444 % |
116.67/116.72	c |     94853 |  113501   897170  2460578 |        1    31550    159 | 17.444 % |
116.67/116.72	c |     95240 |  113500   897170  2460578 |        1    31936    158 | 17.445 % |
116.67/116.72	c |     95863 |  113499   897170  2460578 |        1    32558    162 | 17.446 % |
116.67/116.72	c |     95964 |  113499   897170  2460578 |        1    32659    162 | 17.446 % |
116.67/116.72	c |     96066 |  113499   897170  2460578 |        1    32761    162 | 17.446 % |
116.67/116.72	c |     96233 |  113499   897169  2460575 |        1    32908    163 | 17.446 % |
116.67/116.72	c |     96333 |  113499   897169  2460575 |        1    33008    163 | 17.446 % |
116.67/116.72	c |     96434 |  113499   897169  2460575 |        1    33109    163 | 17.446 % |
116.67/116.72	c |     96535 |  113499   897169  2460575 |        1    33210    164 | 17.446 % |
116.67/116.72	c |     97033 |  113498   897169  2460575 |        1    33707    166 | 17.446 % |
116.67/116.72	c |     97135 |  113498   897169  2460575 |        1    33809    166 | 17.446 % |
116.67/116.72	c |     97271 |  113498   897169  2460575 |        1    33945    167 | 17.446 % |
116.67/116.72	c |     97415 |  113498   897169  2460575 |        1    34089    167 | 17.446 % |
116.67/116.72	c |     97516 |  113498   897169  2460575 |        1    34190    168 | 17.446 % |
116.67/116.72	c |     97806 |  113487   897169  2460575 |        1    34476    168 | 17.454 % |
116.67/116.72	c |     97907 |  113487   897169  2460575 |        1    34577    168 | 17.454 % |
116.67/116.72	c |     98007 |  113478   897169  2460575 |        1    34676    168 | 17.461 % |
116.67/116.72	c |     98387 |  113453   897169  2460575 |        1    35054    169 | 17.479 % |
116.67/116.72	c |     99267 |  113451   897022  2460058 |        1    35875    181 | 17.481 % |
144.58/144.63	c |     99367 |  113451   897022  2460058 |        1    35975    181 | 17.481 % |
144.58/144.63	c |     99468 |  113451   897022  2460058 |        1    36076    181 | 17.481 % |
144.58/144.63	c |     99568 |  113451   897022  2460058 |        1    36176    182 | 17.481 % |
144.58/144.63	c |    100007 |  113443   897022  2460058 |        1    36614    182 | 17.486 % |
144.58/144.63	c |    100124 |  113443   897022  2460058 |        1    36731    182 | 17.486 % |
144.58/144.63	c |    100454 |  112628   897022  2460058 |        1    37053    182 | 18.079 % |
144.58/144.63	c |    100555 |  112628   897022  2460058 |        1    37154    183 | 18.079 % |
144.58/144.63	c |    100655 |  112621   897022  2460058 |        1    37253    183 | 18.084 % |
144.58/144.63	c |    101837 |  112612   897022  2460058 |        1    38433    187 | 18.091 % |
144.58/144.63	c |    101937 |  112601   891490  2441403 |        1    38266    188 | 18.099 % |
144.58/144.63	c |    102590 |  112601   891490  2441403 |        1    38919    190 | 18.099 % |
144.58/144.63	c |    102690 |  112601   891490  2441403 |        1    39019    191 | 18.099 % |
144.58/144.63	c |    102790 |  112601   891490  2441403 |        1    39119    191 | 18.099 % |
144.58/144.63	c |    102969 |  112430   891490  2441403 |        1    39297    190 | 18.223 % |
144.58/144.63	c |    103070 |  112430   891490  2441403 |        1    39398    191 | 18.223 % |
144.58/144.63	c |    103879 |  112430   891490  2441403 |        1    40207    191 | 18.223 % |
144.58/144.63	c |    103979 |  112430   891490  2441403 |        1    40307    191 | 18.223 % |
144.58/144.63	c |    104082 |  112279   891490  2441403 |        1    40409    191 | 18.333 % |
144.58/144.63	c |    104479 |  112278   891490  2441403 |        1    40805    191 | 18.334 % |
144.58/144.63	c |    105169 |  112271   890313  2437583 |        1    22644     77 | 18.339 % |
144.58/144.63	c |    105269 |  112264   890313  2437583 |        1    22743     78 | 18.344 % |
144.58/144.63	c |    105404 |  112220   890313  2437583 |        1    22877     79 | 18.376 % |
144.58/144.63	c |    105819 |  112220   890313  2437583 |        1    23292     80 | 18.376 % |
144.58/144.63	c |    105920 |  112220   890313  2437583 |        1    23393     80 | 18.376 % |
144.58/144.63	c |    106068 |  112219   890313  2437583 |        1    23540     80 | 18.377 % |
144.58/144.63	c |    106338 |  112219   890313  2437583 |        1    23810     82 | 18.377 % |
144.58/144.63	c |    106555 |  112219   890313  2437583 |        1    24027     84 | 18.377 % |
144.58/144.63	c |    106855 |  112219   890313  2437583 |        1    24327     86 | 18.377 % |
144.58/144.63	c |    107379 |  112219   890313  2437583 |        1    24851     92 | 18.377 % |
144.58/144.63	c |    107586 |  112214   890078  2436838 |        1    25029     93 | 18.380 % |
144.58/144.63	c |    108245 |  112189   890078  2436838 |        1    25686    100 | 18.399 % |
144.58/144.63	c |    108415 |  112189   890078  2436838 |        1    25856    101 | 18.399 % |
144.58/144.63	c |    108899 |  112184   889982  2436488 |        1    26330    103 | 18.402 % |
144.58/144.63	c |    108999 |  112184   889982  2436488 |        1    26430    103 | 18.402 % |
144.58/144.63	c |    109099 |  112184   889982  2436488 |        1    26530    104 | 18.402 % |
144.58/144.63	c |    109643 |  112135   889982  2436488 |        1    27071    106 | 18.438 % |
144.58/144.63	c |    110724 |  111889   889187  2434004 |        1    28068    114 | 18.617 % |
144.58/144.63	c |    110887 |  111889   889187  2434004 |        1    28231    114 | 18.617 % |
144.58/144.63	c |    111047 |  111889   889187  2434004 |        1    28391    114 | 18.617 % |
144.58/144.63	c |    111182 |  111889   889187  2434004 |        1    28526    115 | 18.617 % |
144.58/144.63	c |    113267 |  111851   889117  2433748 |        1    30603    129 | 18.644 % |
144.58/144.63	c |    113882 |  111843   889117  2433748 |        1    31217    130 | 18.650 % |
144.58/144.63	c |    113984 |  111843   889117  2433748 |        1    31319    130 | 18.650 % |
144.58/144.63	c |    114154 |  111843   889117  2433748 |        1    31489    132 | 18.650 % |
144.58/144.63	c |    114702 |  111826   888935  2433130 |        1    32021    132 | 18.663 % |
144.58/144.63	c |    115229 |  111826   888935  2433130 |        1    32548    134 | 18.663 % |
144.58/144.63	c |    115519 |  111826   888935  2433130 |        1    32838    135 | 18.663 % |
144.58/144.63	c |    115625 |  111826   888918  2433079 |        1    32926    136 | 18.663 % |
144.58/144.63	c |    116599 |  111758   888918  2433079 |        1    33898    138 | 18.712 % |
144.58/144.63	c |    116700 |  111758   888918  2433079 |        1    33999    138 | 18.712 % |
170.97/171.05	c |    116806 |  111758   888918  2433079 |        1    34105    139 | 18.712 % |
170.97/171.05	c |    117961 |  111735   888848  2432869 |        1    35246    141 | 18.729 % |
170.97/171.05	c |    118061 |  111735   888848  2432869 |        1    35346    142 | 18.729 % |
170.97/171.05	c |    118161 |  111735   888848  2432869 |        1    35446    142 | 18.729 % |
170.97/171.05	c |    118261 |  111735   888848  2432869 |        1    35546    143 | 18.729 % |
170.97/171.05	c |    118362 |  111735   888848  2432869 |        1    35647    143 | 18.729 % |
170.97/171.05	c |    118546 |  111735   888848  2432869 |        1    35831    144 | 18.729 % |
170.97/171.05	c |    118646 |  111611   888848  2432869 |        1    35930    144 | 18.819 % |
170.97/171.05	c |    118747 |  111611   888848  2432869 |        1    36031    144 | 18.819 % |
170.97/171.05	c |    118847 |  111611   888492  2431761 |        1    36051    145 | 18.819 % |
170.97/171.05	c |    119078 |  111611   888492  2431761 |        1    36282    145 | 18.819 % |
170.97/171.05	c |    119178 |  111611   888492  2431761 |        1    36382    145 | 18.819 % |
170.97/171.05	c |    119297 |  111611   888492  2431761 |        1    36501    146 | 18.819 % |
170.97/171.05	c |    119400 |  111611   888492  2431761 |        1    36604    146 | 18.819 % |
170.97/171.05	c |    119589 |  111611   888492  2431761 |        1    36793    147 | 18.819 % |
170.97/171.05	c |    120053 |  111611   888492  2431761 |        1    37257    147 | 18.819 % |
170.97/171.05	c |    120156 |  111611   888492  2431761 |        1    37360    147 | 18.819 % |
170.97/171.05	c |    120505 |  111611   888492  2431761 |        1    37709    149 | 18.819 % |
170.97/171.05	c |    120874 |  111611   888492  2431761 |        1    38078    151 | 18.819 % |
170.97/171.05	c |    120976 |  111611   888492  2431761 |        1    38180    152 | 18.819 % |
170.97/171.05	c |    121231 |  111611   888492  2431761 |        1    38435    153 | 18.819 % |
170.97/171.05	c |    121335 |  111611   888492  2431761 |        1    38539    153 | 18.819 % |
170.97/171.05	c |    123270 |  111575   888450  2431613 |        1    40470    161 | 18.845 % |
170.97/171.05	c |    123371 |  111566   888450  2431613 |        1    40570    161 | 18.852 % |
170.97/171.05	c |    123689 |  111566   888450  2431613 |        1    40888    163 | 18.852 % |
170.97/171.05	c |    123789 |  111565   888450  2431613 |        1    40987    163 | 18.852 % |
170.97/171.05	c |    123889 |  111469   888450  2431613 |        1    41086    163 | 18.922 % |
170.97/171.05	c |    124002 |  111469   888450  2431613 |        1    41199    164 | 18.922 % |
170.97/171.05	c |    124103 |  111468   888450  2431613 |        1    41299    164 | 18.923 % |
170.97/171.05	c |    124203 |  111468   888450  2431613 |        1    41399    164 | 18.923 % |
170.97/171.05	c |    124358 |  111459   887967  2430086 |        1    41539    165 | 18.929 % |
170.97/171.05	c |    124458 |  111459   887967  2430086 |        1    41639    165 | 18.929 % |
170.97/171.05	c |    124558 |  111459   887967  2430086 |        1    41739    165 | 18.929 % |
170.97/171.05	c |    126004 |  110961   880566  2407763 |        1    42334    170 | 19.292 % |
170.97/171.05	c |    126120 |  110961   880566  2407763 |        1    42450    170 | 19.292 % |
170.97/171.05	c |    126731 |  110932   880566  2407763 |        1    43058    171 | 19.313 % |
170.97/171.05	c |    126833 |  110932   880566  2407763 |        1    43160    171 | 19.313 % |
170.97/171.05	c |    126933 |  110923   880566  2407763 |        1    43259    172 | 19.319 % |
170.97/171.05	c |    128298 |  110909   880418  2407223 |        1    44604    176 | 19.330 % |
170.97/171.05	c |    128400 |  110909   880418  2407223 |        1    44706    175 | 19.330 % |
170.97/171.05	c |    128584 |  110908   880418  2407223 |        1    44889    175 | 19.330 % |
170.97/171.05	c |    129457 |  110907   880418  2407223 |        1    45761    182 | 19.331 % |
170.97/171.05	c |    129557 |  110907   880418  2407223 |        1    45861    182 | 19.331 % |
170.97/171.05	c |    129722 |  110907   880418  2407223 |        1    25524     71 | 19.331 % |
170.97/171.05	c |    129823 |  110907   880418  2407223 |        1    25625     72 | 19.331 % |
170.97/171.05	c |    129923 |  110907   880418  2407223 |        1    25725     73 | 19.331 % |
170.97/171.05	c |    130023 |  110907   880418  2407223 |        1    25825     74 | 19.331 % |
170.97/171.05	c |    130602 |  110907   880418  2407223 |        1    26404     80 | 19.331 % |
170.97/171.05	c |    130702 |  110907   880418  2407223 |        1    26503     81 | 19.331 % |
170.97/171.05	c |    130941 |  110907   880418  2407223 |        1    26742     81 | 19.331 % |
203.67/203.78	c |    131041 |  110907   880418  2407223 |        1    26842     81 | 19.331 % |
203.67/203.78	c |    131216 |  110898   880418  2407223 |        1    27016     83 | 19.338 % |
203.67/203.78	c |    131316 |  110898   880418  2407223 |        1    27116     84 | 19.338 % |
203.67/203.78	c |    132202 |  110887   880418  2407223 |        1    28001     95 | 19.346 % |
203.67/203.78	c |    132304 |  110887   880343  2406944 |        1    28101     95 | 19.346 % |
203.67/203.78	c |    133091 |  110873   880343  2406944 |        1    28886    105 | 19.356 % |
203.67/203.78	c |    133191 |  110863   880264  2406669 |        1    28965    105 | 19.363 % |
203.67/203.78	c |    133291 |  110863   880264  2406669 |        1    29065    105 | 19.363 % |
203.67/203.78	c |    133762 |  110863   880264  2406669 |        1    29536    110 | 19.363 % |
203.67/203.78	c |    133862 |  110863   880264  2406669 |        1    29636    110 | 19.363 % |
203.67/203.78	c |    134279 |  110863   880264  2406669 |        1    30053    113 | 19.363 % |
203.67/203.78	c |    134379 |  110863   880264  2406669 |        1    30153    114 | 19.363 % |
203.67/203.78	c |    134479 |  110862   880264  2406669 |        1    30251    114 | 19.364 % |
203.67/203.78	c |    135155 |  110808   880264  2406669 |        1    30926    117 | 19.403 % |
203.67/203.78	c |    135280 |  110808   880264  2406669 |        1    31051    118 | 19.403 % |
203.67/203.78	c |    135381 |  110808   880264  2406669 |        1    31152    118 | 19.403 % |
203.67/203.78	c |    135481 |  110808   880264  2406669 |        1    31252    119 | 19.403 % |
203.67/203.78	c |    135583 |  110808   880264  2406669 |        1    31354    119 | 19.403 % |
203.67/203.78	c |    135795 |  110794   880116  2406225 |        1    31554    120 | 19.413 % |
203.67/203.78	c |    135895 |  110794   880116  2406225 |        1    31654    121 | 19.413 % |
203.67/203.78	c |    135996 |  110794   880116  2406225 |        1    31755    121 | 19.413 % |
203.67/203.78	c |    136240 |  110794   880116  2406225 |        1    31999    122 | 19.413 % |
203.67/203.78	c |    137189 |  110794   880116  2406225 |        1    32948    128 | 19.413 % |
203.67/203.78	c |    137289 |  110794   880116  2406225 |        1    33048    129 | 19.413 % |
203.67/203.78	c |    137390 |  110794   880116  2406225 |        1    33149    130 | 19.413 % |
203.67/203.78	c |    137490 |  110794   880116  2406225 |        1    33249    130 | 19.413 % |
203.67/203.78	c |    137592 |  110794   880116  2406225 |        1    33351    130 | 19.413 % |
203.67/203.78	c |    139231 |  110716   879783  2405167 |        1    34966    153 | 19.470 % |
203.67/203.78	c |    139332 |  110716   879783  2405167 |        1    35067    153 | 19.470 % |
203.67/203.78	c |    139432 |  110632   879783  2405167 |        1    35166    154 | 19.531 % |
203.67/203.78	c |    140022 |  110625   879783  2405167 |        1    35755    155 | 19.536 % |
203.67/203.78	c |    140122 |  110625   879783  2405167 |        1    35855    156 | 19.536 % |
203.67/203.78	c |    140222 |  110608   879783  2405167 |        1    35954    156 | 19.548 % |
203.67/203.78	c |    140323 |  110608   879783  2405167 |        1    36055    157 | 19.548 % |
203.67/203.78	c |    140424 |  110608   879783  2405167 |        1    36156    157 | 19.548 % |
203.67/203.78	c |    140524 |  110608   879783  2405167 |        1    36256    158 | 19.548 % |
203.67/203.78	c |    140624 |  110608   879490  2404234 |        1    36347    158 | 19.548 % |
203.67/203.78	c |    140724 |  110608   879490  2404234 |        1    36447    159 | 19.548 % |
203.67/203.78	c |    141664 |  110603   879490  2404234 |        1    37386    161 | 19.552 % |
203.67/203.78	c |    141766 |  110603   879490  2404234 |        1    37488    161 | 19.552 % |
203.67/203.78	c |    143605 |  110602   879490  2404234 |        1    39326    168 | 19.553 % |
203.67/203.78	c |    143705 |  110602   879477  2404195 |        1    39423    168 | 19.553 % |
203.67/203.78	c |    144383 |  110589   879477  2404195 |        1    40099    169 | 19.562 % |
203.67/203.78	c |    144483 |  110589   879477  2404195 |        1    40199    170 | 19.562 % |
203.67/203.78	c |    145470 |  110573   879477  2404195 |        1    41184    173 | 19.574 % |
203.67/203.78	c |    145570 |  110573   879362  2403792 |        1    41269    174 | 19.574 % |
203.67/203.78	c |    147297 |  110571   879362  2403792 |        1    42995    175 | 19.575 % |
203.67/203.78	c |    147397 |  110571   879361  2403789 |        1    43093    175 | 19.575 % |
203.67/203.78	c |    147497 |  110571   879361  2403789 |        1    43193    175 | 19.575 % |
203.67/203.78	c |    147700 |  110571   879361  2403789 |        1    43396    175 | 19.575 % |
262.06/262.19	c |    147885 |  110571   879361  2403789 |        1    43581    176 | 19.575 % |
262.06/262.19	c |    148285 |  110571   879361  2403789 |        1    43981    178 | 19.575 % |
262.06/262.19	c |    148385 |  110553   879361  2403789 |        1    44080    179 | 19.588 % |
262.06/262.19	c |    148485 |  110553   879361  2403789 |        1    44180    179 | 19.588 % |
262.06/262.19	c |    149282 |  110553   879361  2403789 |        1    44977    180 | 19.588 % |
262.06/262.19	c |    149382 |  110553   879361  2403789 |        1    45077    180 | 19.588 % |
262.06/262.19	c |    149490 |  110553   879361  2403789 |        1    45185    180 | 19.588 % |
262.06/262.19	c |    149814 |  110553   879347  2403747 |        1    45507    180 | 19.588 % |
262.06/262.19	c |    149915 |  110553   879347  2403747 |        1    45608    181 | 19.588 % |
262.06/262.19	c |    150227 |  110553   879347  2403747 |        1    45920    182 | 19.588 % |
262.06/262.19	c |    150356 |  110553   879347  2403747 |        1    46049    182 | 19.588 % |
262.06/262.19	c |    150474 |  110553   879347  2403747 |        1    46167    182 | 19.588 % |
262.06/262.19	c |    150618 |  110553   879347  2403747 |        1    46311    182 | 19.588 % |
262.06/262.19	c |    151345 |  110553   879347  2403747 |        1    47038    184 | 19.588 % |
262.06/262.19	c |    152155 |  110429   879347  2403747 |        1    47843    184 | 19.679 % |
262.06/262.19	c |    152265 |  110429   879347  2403747 |        1    47953    184 | 19.679 % |
262.06/262.19	c |    152365 |  110429   879347  2403747 |        1    48053    184 | 19.679 % |
262.06/262.19	c |    152836 |  110418   879347  2403747 |        1    48523    185 | 19.687 % |
262.06/262.19	c |    153153 |  110418   879347  2403747 |        1    48840    185 | 19.687 % |
262.06/262.19	c |    153257 |  110418   879347  2403747 |        1    48944    185 | 19.687 % |
262.06/262.19	c |    153481 |  110418   879347  2403747 |        1    49168    185 | 19.687 % |
262.06/262.19	c |    154414 |  110417   879241  2403399 |        1    50079    189 | 19.687 % |
262.06/262.19	c |    154515 |  110417   879241  2403399 |        1    50180    190 | 19.687 % |
262.06/262.19	c |    155140 |  110417   879241  2403399 |        1    50805    191 | 19.687 % |
262.06/262.19	c |    155244 |  110417   879241  2403399 |        1    50909    191 | 19.687 % |
262.06/262.19	c |    155344 |  110417   879241  2403399 |        1    51009    191 | 19.687 % |
262.06/262.19	c |    156484 |  110417   879241  2403399 |        1    52149    191 | 19.687 % |
262.06/262.19	c |    156835 |  110417   879241  2403399 |        1    52500    191 | 19.687 % |
262.06/262.19	c |    156935 |  110417   879241  2403399 |        1    52600    191 | 19.687 % |
262.06/262.19	c |    157039 |  110417   879241  2403399 |        1    29298     72 | 19.687 % |
262.06/262.19	c |    158906 |  110148   878921  2402353 |        1    31139     83 | 19.883 % |
262.06/262.19	c |    160216 |  110141   878893  2402268 |        1    32444     90 | 19.888 % |
262.06/262.19	c |    169881 |  109945   878635  2401314 |        1    42103    139 | 20.031 % |
262.06/262.19	c |    169983 |  109945   878635  2401314 |        1    42205    140 | 20.031 % |
262.06/262.19	c |    170945 |  109945   878635  2401314 |        1    43167    141 | 20.031 % |
262.06/262.19	c |    171045 |  109945   878533  2401001 |        1    43248    141 | 20.031 % |
262.06/262.19	c |    171152 |  109945   878533  2401001 |        1    43355    141 | 20.031 % |
262.06/262.19	c |    171410 |  109945   878533  2401001 |        1    43613    143 | 20.031 % |
262.06/262.19	c |    171510 |  109945   878533  2401001 |        1    43713    143 | 20.031 % |
262.06/262.19	c |    171611 |  109945   878533  2401001 |        1    43814    143 | 20.031 % |
262.06/262.19	c |    171999 |  109945   878533  2401001 |        1    44202    144 | 20.031 % |
262.06/262.19	c |    172102 |  109945   878533  2401001 |        1    44305    145 | 20.031 % |
262.06/262.19	c |    172399 |  109945   878533  2401001 |        1    44602    145 | 20.031 % |
262.06/262.19	c |    172525 |  109937   878533  2401001 |        1    44727    146 | 20.037 % |
262.06/262.19	c |    172626 |  109937   878482  2400824 |        1    44826    146 | 20.037 % |
262.06/262.19	c |    172726 |  109937   878482  2400824 |        1    44926    147 | 20.037 % |
262.06/262.19	c |    173287 |  109937   878482  2400824 |        1    45487    147 | 20.037 % |
262.06/262.19	c |    174129 |  109937   878482  2400824 |        1    46329    150 | 20.037 % |
262.06/262.19	c |    174274 |  109937   878482  2400824 |        1    46474    150 | 20.037 % |
262.06/262.19	c |    174867 |  109936   878482  2400824 |        1    47065    152 | 20.037 % |
300.57/300.67	c |    174969 |  109936   878482  2400824 |        1    47167    152 | 20.037 % |
300.57/300.67	c |    175117 |  109925   878482  2400824 |        1    47314    153 | 20.045 % |
300.57/300.67	c |    175217 |  109925   878482  2400824 |        1    47414    153 | 20.045 % |
300.57/300.67	c |    175346 |  109925   878482  2400824 |        1    47543    152 | 20.045 % |
300.57/300.67	c |    176415 |  109925   878482  2400824 |        1    48612    158 | 20.045 % |
300.57/300.67	c |    176603 |  109925   878445  2400691 |        1    48800    158 | 20.045 % |
300.57/300.67	c |    176703 |  109925   878445  2400691 |        1    48900    158 | 20.045 % |
300.57/300.67	c |    176807 |  109925   878445  2400691 |        1    49004    158 | 20.045 % |
300.57/300.67	c |    178440 |  109925   878445  2400691 |        1    50637    162 | 20.045 % |
300.57/300.67	c |    179628 |  109920   878412  2400592 |        1    51824    163 | 20.049 % |
300.57/300.67	c |    180082 |  109896   878412  2400592 |        1    52276    165 | 20.066 % |
300.57/300.67	c |    180183 |  109896   878412  2400592 |        1    52377    165 | 20.066 % |
300.57/300.67	c |    180283 |  109896   878412  2400592 |        1    52477    165 | 20.066 % |
300.57/300.67	c |    180865 |  109896   878412  2400592 |        1    53059    168 | 20.066 % |
300.57/300.67	c |    180965 |  109896   878412  2400592 |        1    53159    168 | 20.066 % |
300.57/300.67	c |    181066 |  109896   878412  2400592 |        1    53260    169 | 20.066 % |
300.57/300.67	c |    181167 |  109896   878412  2400592 |        1    53361    169 | 20.066 % |
300.57/300.67	c |    181383 |  109896   878412  2400592 |        1    53577    170 | 20.066 % |
300.57/300.67	c |    181483 |  109882   878314  2400238 |        1    53668    171 | 20.077 % |
300.57/300.67	c |    181873 |  109882   878314  2400238 |        1    54058    171 | 20.077 % |
300.57/300.67	c |    181975 |  109882   878314  2400238 |        1    54160    171 | 20.077 % |
300.57/300.67	c |    182289 |  109882   878314  2400238 |        1    54474    172 | 20.077 % |
300.57/300.67	c |    182548 |  109882   878314  2400238 |        1    54733    172 | 20.077 % |
300.57/300.67	c |    182649 |  109882   878314  2400238 |        1    54834    172 | 20.077 % |
300.57/300.67	c |    182786 |  109882   878314  2400238 |        1    54971    172 | 20.077 % |
300.57/300.67	c |    182893 |  109882   878314  2400238 |        1    55078    173 | 20.077 % |
300.57/300.67	c |    182993 |  109882   878314  2400238 |        1    55178    173 | 20.077 % |
300.57/300.67	c |    183492 |  109854   878314  2400238 |        1    55675    173 | 20.097 % |
300.57/300.67	c |    183929 |  109854   878204  2399838 |        1    56088    174 | 20.097 % |
300.57/300.67	c |    184029 |  109854   878204  2399838 |        1    56188    175 | 20.097 % |
300.57/300.67	c |    185933 |  109854   878204  2399838 |        1    58092    181 | 20.097 % |
300.57/300.67	c |    186035 |  109854   878204  2399838 |        1    58194    182 | 20.097 % |
300.57/300.67	c |    186135 |  109854   878204  2399838 |        1    58294    182 | 20.097 % |
300.57/300.67	c |    186238 |  109854   878204  2399838 |        1    58397    182 | 20.097 % |
300.57/300.67	c |    186338 |  109852   878199  2399823 |        1    58496    182 | 20.098 % |
300.57/300.67	c |    187500 |  109851   878199  2399823 |        1    32290     81 | 20.099 % |
300.57/300.67	c |    187600 |  109851   878199  2399823 |        1    32390     82 | 20.099 % |
300.57/300.67	c |    187701 |  109851   878199  2399823 |        1    32491     82 | 20.099 % |
300.57/300.67	c |    187847 |  109851   878199  2399823 |        1    32637     83 | 20.099 % |
300.57/300.67	c |    187949 |  109851   878199  2399823 |        1    32739     84 | 20.099 % |
300.57/300.67	c |    188228 |  109851   878199  2399823 |        1    33018     85 | 20.099 % |
300.57/300.67	c |    188336 |  109851   878199  2399823 |        1    33126     85 | 20.099 % |
300.57/300.67	c |    188438 |  109851   878199  2399823 |        1    33228     86 | 20.099 % |
300.57/300.67	c |    188800 |  109851   878199  2399823 |        1    33590     88 | 20.099 % |
300.57/300.67	c |    188901 |  109851   878199  2399823 |        1    33691     89 | 20.099 % |
300.57/300.67	c |    189761 |  109842   878199  2399823 |        1    34548     94 | 20.106 % |
300.57/300.67	c |    189973 |  109842   878199  2399823 |        1    34760     96 | 20.106 % |
300.57/300.67	c |    191307 |  109834   878126  2399575 |        1    36075    103 | 20.111 % |
300.57/300.67	c |    192572 |  109823   878088  2399431 |        1    37339    107 | 20.119 % |
300.57/300.67	c |    192710 |  109823   878088  2399431 |        1    37477    107 | 20.119 % |
343.87/343.97	c |    192864 |  109823   878088  2399431 |        1    37631    108 | 20.119 % |
343.87/343.97	c |    192965 |  109823   878088  2399431 |        1    37732    108 | 20.119 % |
343.87/343.97	c |    193120 |  109823   878088  2399431 |        1    37887    110 | 20.119 % |
343.87/343.97	c |    193303 |  109823   878088  2399431 |        1    38070    110 | 20.119 % |
343.87/343.97	c |    193404 |  109823   878088  2399431 |        1    38171    111 | 20.119 % |
343.87/343.97	c |    194239 |  109766   878058  2399341 |        1    39002    114 | 20.161 % |
343.87/343.97	c |    194339 |  109766   878058  2399341 |        1    39102    114 | 20.161 % |
343.87/343.97	c |    194765 |  109766   878058  2399341 |        1    39528    116 | 20.161 % |
343.87/343.97	c |    194866 |  109766   878058  2399341 |        1    39629    116 | 20.161 % |
343.87/343.97	c |    195008 |  109766   878058  2399341 |        1    39771    118 | 20.161 % |
343.87/343.97	c |    195172 |  109766   878058  2399341 |        1    39934    118 | 20.161 % |
343.87/343.97	c |    195954 |  109697   878058  2399341 |        1    40714    121 | 20.211 % |
343.87/343.97	c |    196056 |  109697   878058  2399341 |        1    40816    121 | 20.211 % |
343.87/343.97	c |    196421 |  109697   878058  2399341 |        1    41181    124 | 20.211 % |
343.87/343.97	c |    197036 |  109697   877990  2399137 |        1    41775    125 | 20.211 % |
343.87/343.97	c |    197136 |  109697   877990  2399137 |        1    41875    125 | 20.211 % |
343.87/343.97	c |    198391 |  109695   877990  2399137 |        1    43128    129 | 20.213 % |
343.87/343.97	c |    198955 |  109695   877990  2399137 |        1    43692    131 | 20.213 % |
343.87/343.97	c |    199463 |  109695   877990  2399137 |        1    44200    132 | 20.213 % |
343.87/343.97	c |    199577 |  109540   877948  2398981 |        1    44312    132 | 20.325 % |
343.87/343.97	c |    200346 |  109540   877948  2398981 |        1    45081    134 | 20.325 % |
343.87/343.97	c |    200447 |  109540   877948  2398981 |        1    45182    134 | 20.325 % |
343.87/343.97	c |    200615 |  109540   877948  2398981 |        1    45350    135 | 20.325 % |
343.87/343.97	c |    201096 |  109539   877948  2398981 |        1    45830    136 | 20.326 % |
343.87/343.97	c |    201201 |  109539   877613  2397736 |        1    45934    136 | 20.326 % |
343.87/343.97	c |    201301 |  109539   877613  2397736 |        1    46034    136 | 20.326 % |
343.87/343.97	c |    201461 |  109539   877613  2397736 |        1    46194    136 | 20.326 % |
343.87/343.97	c |    203623 |  109539   877613  2397736 |        1    48356    150 | 20.326 % |
343.87/343.97	c |    203800 |  109539   877613  2397736 |        1    48533    151 | 20.326 % |
343.87/343.97	c |    204016 |  109539   877613  2397736 |        1    48749    152 | 20.326 % |
343.87/343.97	c |    204692 |  109539   877613  2397736 |        1    49425    154 | 20.326 % |
343.87/343.97	c |    204792 |  109539   877613  2397736 |        1    49525    154 | 20.326 % |
343.87/343.97	c |    205326 |  109539   877613  2397736 |        1    50059    154 | 20.326 % |
343.87/343.97	c |    205463 |  109539   877613  2397736 |        1    50196    155 | 20.326 % |
343.87/343.97	c |    205563 |  109539   877613  2397736 |        1    50296    155 | 20.326 % |
343.87/343.97	c |    205663 |  109539   877613  2397736 |        1    50396    155 | 20.326 % |
343.87/343.97	c |    207709 |  109531   877581  2397632 |        1    52435    168 | 20.332 % |
343.87/343.97	c |    207810 |  109531   877581  2397632 |        1    52536    169 | 20.332 % |
343.87/343.97	c |    207911 |  109531   877581  2397632 |        1    52637    169 | 20.332 % |
343.87/343.97	c |    208394 |  109517   877581  2397632 |        1    53118    169 | 20.342 % |
343.87/343.97	c |    208497 |  109517   877581  2397632 |        1    53221    170 | 20.342 % |
343.87/343.97	c |    209591 |  109517   877581  2397632 |        1    54315    172 | 20.342 % |
343.87/343.97	c |    209691 |  109517   877581  2397632 |        1    54415    172 | 20.342 % |
343.87/343.97	c |    209791 |  109517   877581  2397632 |        1    54515    172 | 20.342 % |
343.87/343.97	c |    212123 |  109503   877518  2397411 |        1    56838    179 | 20.352 % |
343.87/343.97	c |    212223 |  109503   877518  2397411 |        1    56938    179 | 20.352 % |
343.87/343.97	c |    212347 |  109503   877518  2397411 |        1    57062    179 | 20.352 % |
343.87/343.97	c |    212447 |  109503   877518  2397411 |        1    57162    180 | 20.352 % |
343.87/343.97	c |    212549 |  109503   877518  2397411 |        1    57264    180 | 20.352 % |
343.87/343.97	c |    213101 |  109503   877518  2397411 |        1    57816    180 | 20.352 % |
389.47/389.52	c |    215482 |  109502   877476  2397279 |        1    60191    184 | 20.353 % |
389.47/389.52	c |    216779 |  109501   877476  2397279 |        1    61487    187 | 20.354 % |
389.47/389.52	c |    216881 |  109501   877476  2397279 |        1    61589    187 | 20.354 % |
389.47/389.52	c |    216982 |  109501   877476  2397279 |        1    61690    188 | 20.354 % |
389.47/389.52	c |    217402 |  109500   877476  2397279 |        1    62109    188 | 20.354 % |
389.47/389.52	c |    218833 |  109491   877429  2397114 |        1    63537    188 | 20.361 % |
389.47/389.52	c |    219021 |  109491   877429  2397114 |        1    63725    188 | 20.361 % |
389.47/389.52	c |    219300 |  109491   877429  2397114 |        1    64004    188 | 20.361 % |
389.47/389.52	c |    219465 |  109491   877429  2397114 |        1    64169    188 | 20.361 % |
389.47/389.52	c |    220997 |  109485   877429  2397114 |        1    37458     82 | 20.365 % |
389.47/389.52	c |    221097 |  109485   877429  2397114 |        1    37558     82 | 20.365 % |
389.47/389.52	c |    221389 |  109485   877399  2397024 |        1    37847     84 | 20.365 % |
389.47/389.52	c |    221763 |  109485   877399  2397024 |        1    38221     86 | 20.365 % |
389.47/389.52	c |    221954 |  109485   877399  2397024 |        1    38412     87 | 20.365 % |
389.47/389.52	c |    222055 |  109485   877399  2397024 |        1    38513     88 | 20.365 % |
389.47/389.52	c |    222155 |  109485   877399  2397024 |        1    38613     88 | 20.365 % |
389.47/389.52	c |    222256 |  109485   877399  2397024 |        1    38714     89 | 20.365 % |
389.47/389.52	c |    223065 |  109485   877399  2397024 |        1    39523     93 | 20.365 % |
389.47/389.52	c |    223384 |  109485   877399  2397024 |        1    39842     95 | 20.365 % |
389.47/389.52	c |    223635 |  109485   877399  2397024 |        1    40093     97 | 20.365 % |
389.47/389.52	c |    223736 |  109485   877399  2397024 |        1    40194     97 | 20.365 % |
389.47/389.52	c |    223836 |  109437   877375  2396952 |        1    40287     98 | 20.400 % |
389.47/389.52	c |    225070 |  109424   877375  2396952 |        1    41520    105 | 20.410 % |
389.47/389.52	c |    225631 |  109424   877375  2396952 |        1    42081    110 | 20.410 % |
389.47/389.52	c |    225732 |  109424   877335  2396812 |        1    42178    111 | 20.410 % |
389.47/389.52	c |    225963 |  109424   877335  2396812 |        1    42409    112 | 20.410 % |
389.47/389.52	c |    226632 |  109424   877335  2396812 |        1    43078    114 | 20.410 % |
389.47/389.52	c |    226765 |  109424   877335  2396812 |        1    43211    115 | 20.410 % |
389.47/389.52	c |    227008 |  109424   877335  2396812 |        1    43454    116 | 20.410 % |
389.47/389.52	c |    227108 |  109424   877335  2396812 |        1    43554    116 | 20.410 % |
389.47/389.52	c |    227209 |  109423   877335  2396812 |        1    43654    116 | 20.410 % |
389.47/389.52	c |    227886 |  109423   877335  2396812 |        1    44331    120 | 20.410 % |
389.47/389.52	c |    227986 |  109423   877335  2396812 |        1    44431    120 | 20.410 % |
389.47/389.52	c |    228296 |  109422   877335  2396812 |        1    44740    121 | 20.411 % |
389.47/389.52	c |    228542 |  109422   877335  2396812 |        1    44986    122 | 20.411 % |
389.47/389.52	c |    228644 |  109422   877335  2396812 |        1    45087    123 | 20.411 % |
389.47/389.52	c |    228992 |  109422   877335  2396812 |        1    45435    124 | 20.411 % |
389.47/389.52	c |    229282 |  109422   877335  2396812 |        1    45725    125 | 20.411 % |
389.47/389.52	c |    229890 |  109422   877335  2396812 |        1    46333    129 | 20.411 % |
389.47/389.52	c |    229990 |  109422   877335  2396812 |        1    46433    130 | 20.411 % |
389.47/389.52	c |    230090 |  109422   877335  2396812 |        1    46533    130 | 20.411 % |
389.47/389.52	c |    230498 |  109378   877262  2396587 |        1    46925    131 | 20.443 % |
389.47/389.52	c |    231404 |  109378   877262  2396587 |        1    47831    135 | 20.443 % |
389.47/389.52	c |    231504 |  109378   877262  2396587 |        1    47931    135 | 20.443 % |
389.47/389.52	c |    231604 |  109378   877262  2396587 |        1    48031    135 | 20.443 % |
389.47/389.52	c |    231708 |  109378   877262  2396587 |        1    48135    136 | 20.443 % |
389.47/389.52	c |    231811 |  109378   877262  2396587 |        1    48238    136 | 20.443 % |
389.47/389.52	c |    232195 |  109378   877210  2396423 |        1    48618    138 | 20.443 % |
389.47/389.52	c |    232977 |  109378   877210  2396423 |        1    49400    139 | 20.443 % |
389.47/389.52	c |    234166 |  109378   877210  2396423 |        1    50589    142 | 20.443 % |
439.06/439.10	c |    235790 |  109344   877210  2396423 |        1    52204    146 | 20.468 % |
439.06/439.10	c |    235921 |  109335   877210  2396423 |        1    52334    146 | 20.474 % |
439.06/439.10	c |    236150 |  109334   877210  2396423 |        1    52562    147 | 20.475 % |
439.06/439.10	c |    236453 |  109334   877210  2396423 |        1    52865    148 | 20.475 % |
439.06/439.10	c |    236724 |  109334   877210  2396423 |        1    53136    148 | 20.475 % |
439.06/439.10	c |    236843 |  109334   877210  2396423 |        1    53255    149 | 20.475 % |
439.06/439.10	c |    236948 |  109334   877210  2396423 |        1    53360    149 | 20.475 % |
439.06/439.10	c |    237051 |  109334   877210  2396423 |        1    53463    149 | 20.475 % |
439.06/439.10	c |    237169 |  109334   877210  2396423 |        1    53581    150 | 20.475 % |
439.06/439.10	c |    240541 |  109275   876892  2395321 |        1    56884    158 | 20.518 % |
439.06/439.10	c |    240657 |  109275   876892  2395321 |        1    57000    159 | 20.518 % |
439.06/439.10	c |    240757 |  109275   876892  2395321 |        1    57100    159 | 20.518 % |
439.06/439.10	c |    240857 |  109275   876892  2395321 |        1    57200    159 | 20.518 % |
439.06/439.10	c |    241174 |  109271   876892  2395321 |        1    57516    160 | 20.521 % |
439.06/439.10	c |    241275 |  109271   876892  2395321 |        1    57617    160 | 20.521 % |
439.06/439.10	c |    241537 |  109264   876892  2395321 |        1    57878    160 | 20.526 % |
439.06/439.10	c |    242004 |  109264   876892  2395321 |        1    58345    161 | 20.526 % |
439.06/439.10	c |    242743 |  109264   876846  2395175 |        1    59069    162 | 20.526 % |
439.06/439.10	c |    243872 |  109264   876846  2395175 |        1    60198    164 | 20.526 % |
439.06/439.10	c |    244159 |  109253   876805  2395044 |        1    60471    164 | 20.534 % |
439.06/439.10	c |    244892 |  109206   876805  2395044 |        1    61202    166 | 20.568 % |
439.06/439.10	c |    244997 |  109206   876805  2395044 |        1    61307    166 | 20.568 % |
439.06/439.10	c |    245099 |  109193   876805  2395044 |        1    61408    166 | 20.578 % |
439.06/439.10	c |    246783 |  109191   876805  2395044 |        1    63091    169 | 20.579 % |
439.06/439.10	c |    246884 |  109191   876617  2394448 |        1    63179    170 | 20.579 % |
439.06/439.10	c |    246984 |  109190   876617  2394448 |        1    63278    170 | 20.580 % |
439.06/439.10	c |    247911 |  109190   876617  2394448 |        1    64205    171 | 20.580 % |
439.06/439.10	c |    248011 |  109190   876617  2394448 |        1    64305    171 | 20.580 % |
439.06/439.10	c |    248176 |  109190   876617  2394448 |        1    64470    172 | 20.580 % |
439.06/439.10	c |    248276 |  109190   876617  2394448 |        1    64570    172 | 20.580 % |
439.06/439.10	c |    249126 |  109190   876617  2394448 |        1    65420    173 | 20.580 % |
439.06/439.10	c |    249230 |  109190   876617  2394448 |        1    65524    173 | 20.580 % |
439.06/439.10	c |    250636 |  109190   876617  2394448 |        1    66929    176 | 20.580 % |
439.06/439.10	c |    250740 |  109190   876617  2394448 |        1    67033    176 | 20.580 % |
439.06/439.10	c |    250840 |  109190   876617  2394448 |        1    67133    176 | 20.580 % |
439.06/439.10	c |    251593 |  109190   876617  2394448 |        1    67886    178 | 20.580 % |
439.06/439.10	c |    251693 |  109190   876617  2394448 |        1    67986    178 | 20.580 % |
439.06/439.10	c |    253055 |  109189   876617  2394448 |        1    69347    181 | 20.581 % |
439.06/439.10	c |    253158 |  109189   876617  2394448 |        1    69450    181 | 20.581 % |
439.06/439.10	c |    253260 |  109189   876617  2394448 |        1    69552    182 | 20.581 % |
439.06/439.10	c |    254839 |  109189   876617  2394448 |        1    40040     78 | 20.581 % |
439.06/439.10	c |    254940 |  109176   876574  2394289 |        1    40138     79 | 20.590 % |
439.06/439.10	c |    255042 |  109176   876574  2394289 |        1    40240     80 | 20.590 % |
439.06/439.10	c |    255654 |  109171   876574  2394289 |        1    40851     83 | 20.594 % |
439.06/439.10	c |    255754 |  109171   876574  2394289 |        1    40951     84 | 20.594 % |
439.06/439.10	c |    255928 |  109171   876574  2394289 |        1    41125     85 | 20.594 % |
439.06/439.10	c |    256028 |  109171   876574  2394289 |        1    41221     85 | 20.594 % |
439.06/439.10	c |    256312 |  109171   876574  2394289 |        1    41505     87 | 20.594 % |
439.06/439.10	c |    257961 |  109171   876574  2394289 |        1    43154     98 | 20.594 % |
439.06/439.10	c |    258061 |  109163   876574  2394289 |        1    43246     98 | 20.599 % |
495.66/495.72	c |    260243 |  109163   876574  2394289 |        1    45428    103 | 20.599 % |
495.66/495.72	c |    260938 |  109162   876573  2394286 |        1    46118    106 | 20.600 % |
495.66/495.72	c |    263992 |  109162   876573  2394286 |        1    49172    131 | 20.600 % |
495.66/495.72	c |    264114 |  109162   876573  2394286 |        1    49294    131 | 20.600 % |
495.66/495.72	c |    264280 |  109162   876573  2394286 |        1    49460    132 | 20.600 % |
495.66/495.72	c |    264474 |  109162   876573  2394286 |        1    49654    133 | 20.600 % |
495.66/495.72	c |    264574 |  109162   876573  2394286 |        1    49754    133 | 20.600 % |
495.66/495.72	c |    265279 |  109162   876573  2394286 |        1    50459    134 | 20.600 % |
495.66/495.72	c |    265482 |  109162   876573  2394286 |        1    50662    135 | 20.600 % |
495.66/495.72	c |    270731 |  109162   876573  2394286 |        1    55911    150 | 20.600 % |
495.66/495.72	c |    271196 |  109162   876573  2394286 |        1    56376    150 | 20.600 % |
495.66/495.72	c |    272527 |  109136   876514  2394079 |        1    57706    153 | 20.619 % |
495.66/495.72	c |    272931 |  109135   876514  2394079 |        1    58109    154 | 20.620 % |
495.66/495.72	c |    273196 |  109135   876514  2394079 |        1    58374    155 | 20.620 % |
495.66/495.72	c |    274385 |  109135   876514  2394079 |        1    59563    158 | 20.620 % |
495.66/495.72	c |    274485 |  109135   876514  2394079 |        1    59662    158 | 20.620 % |
495.66/495.72	c |    274586 |  109135   876514  2394079 |        1    59763    158 | 20.620 % |
495.66/495.72	c |    276094 |  109135   876514  2394079 |        1    61271    159 | 20.620 % |
495.66/495.72	c |    276194 |  109135   876514  2394079 |        1    61371    159 | 20.620 % |
495.66/495.72	c |    279542 |  109114   876514  2394079 |        1    64705    168 | 20.635 % |
495.66/495.72	c |    279642 |  109114   876514  2394079 |        1    64805    169 | 20.635 % |
495.66/495.72	c |    279748 |  109114   876514  2394079 |        1    64911    169 | 20.635 % |
495.66/495.72	c |    280000 |  109114   876514  2394079 |        1    65163    169 | 20.635 % |
495.66/495.72	c |    280157 |  109114   876514  2394079 |        1    65320    169 | 20.635 % |
495.66/495.72	c |    280257 |  109114   876514  2394079 |        1    65420    169 | 20.635 % |
495.66/495.72	c |    280357 |  109114   876514  2394079 |        1    65520    170 | 20.635 % |
495.66/495.72	c |    280457 |  109114   876514  2394079 |        1    65620    170 | 20.635 % |
495.66/495.72	c |    280620 |  109114   876514  2394079 |        1    65783    171 | 20.635 % |
495.66/495.72	c |    281733 |  109100   876479  2393974 |        1    66894    175 | 20.645 % |
495.66/495.72	c |    281834 |  109100   876479  2393974 |        1    66995    175 | 20.645 % |
495.66/495.72	c |    281934 |  109100   876479  2393974 |        1    67095    175 | 20.645 % |
495.66/495.72	c |    282037 |  109100   876479  2393974 |        1    67198    176 | 20.645 % |
495.66/495.72	c |    282137 |  109100   876479  2393974 |        1    67298    176 | 20.645 % |
495.66/495.72	c |    282237 |  109100   876479  2393974 |        1    67398    176 | 20.645 % |
495.66/495.72	c |    282340 |  109100   876479  2393974 |        1    67501    176 | 20.645 % |
495.66/495.72	c |    282695 |  109100   876479  2393974 |        1    67856    178 | 20.645 % |
495.66/495.72	c |    282796 |  109100   876479  2393974 |        1    67957    178 | 20.645 % |
495.66/495.72	c |    282897 |  109100   876479  2393974 |        1    68058    178 | 20.645 % |
495.66/495.72	c |    283026 |  109100   876479  2393974 |        1    68187    178 | 20.645 % |
495.66/495.72	c |    283243 |  109100   876479  2393974 |        1    68404    179 | 20.645 % |
495.66/495.72	c |    283490 |  109100   876479  2393974 |        1    68651    180 | 20.645 % |
495.66/495.72	c |    283592 |  109100   876479  2393974 |        1    68753    180 | 20.645 % |
495.66/495.72	c |    284287 |  109100   876479  2393974 |        1    69448    181 | 20.645 % |
495.66/495.72	c |    284823 |  109100   876479  2393974 |        1    69984    183 | 20.645 % |
495.66/495.72	c |    284926 |  109100   876479  2393974 |        1    70087    183 | 20.645 % |
495.66/495.72	c |    285027 |  109100   876479  2393974 |        1    70188    183 | 20.645 % |
495.66/495.72	c |    285127 |  109100   876479  2393974 |        1    70288    183 | 20.645 % |
495.66/495.72	c |    285302 |  109088   876420  2393765 |        1    70459    183 | 20.654 % |
495.66/495.72	c |    285593 |  109088   876420  2393765 |        1    70750    184 | 20.654 % |
495.66/495.72	c |    285699 |  109088   876420  2393765 |        1    70856    185 | 20.654 % |
559.27/559.39	c |    285956 |  109078   876420  2393765 |        1    71112    185 | 20.661 % |
559.27/559.39	c |    286221 |  109078   876420  2393765 |        1    71377    185 | 20.661 % |
559.27/559.39	c |    288476 |  109077   876420  2393765 |        1    73631    185 | 20.662 % |
559.27/559.39	c |    288577 |  109077   876382  2393627 |        1    73721    185 | 20.662 % |
559.27/559.39	c |    288677 |  109077   876382  2393627 |        1    73821    185 | 20.662 % |
559.27/559.39	c |    289189 |  109077   876382  2393627 |        1    74333    186 | 20.662 % |
559.27/559.39	c |    289290 |  109077   876382  2393627 |        1    74434    186 | 20.662 % |
559.27/559.39	c |    289390 |  109077   876382  2393627 |        1    74534    187 | 20.662 % |
559.27/559.39	c |    289650 |  109075   876382  2393627 |        1    74793    187 | 20.663 % |
559.27/559.39	c |    289752 |  109075   876382  2393627 |        1    74895    187 | 20.663 % |
559.27/559.39	c |    290072 |  109075   876382  2393627 |        1    75215    188 | 20.663 % |
559.27/559.39	c |    290172 |  109075   876382  2393627 |        1    75315    188 | 20.663 % |
559.27/559.39	c |    290733 |  109075   876382  2393627 |        1    75876    190 | 20.663 % |
559.27/559.39	c |    292070 |  109074   876377  2393612 |        1    77210    192 | 20.664 % |
559.27/559.39	c |    292898 |  109074   876377  2393612 |        1    43691     84 | 20.664 % |
559.27/559.39	c |    293148 |  109073   876377  2393612 |        1    43940     84 | 20.665 % |
559.27/559.39	c |    293251 |  109073   876377  2393612 |        1    44043     85 | 20.665 % |
559.27/559.39	c |    293351 |  109073   876377  2393612 |        1    44143     85 | 20.665 % |
559.27/559.39	c |    293624 |  109073   876377  2393612 |        1    44416     86 | 20.665 % |
559.27/559.39	c |    293724 |  109073   876377  2393612 |        1    44516     86 | 20.665 % |
559.27/559.39	c |    294111 |  109073   876377  2393612 |        1    44903     88 | 20.665 % |
559.27/559.39	c |    294211 |  109073   876377  2393612 |        1    45003     88 | 20.665 % |
559.27/559.39	c |    294346 |  109073   876377  2393612 |        1    45138     89 | 20.665 % |
559.27/559.39	c |    294447 |  109073   876377  2393612 |        1    45239     89 | 20.665 % |
559.27/559.39	c |    296976 |  109070   876377  2393612 |        1    47766    102 | 20.667 % |
559.27/559.39	c |    298641 |  109069   876377  2393612 |        1    49422    109 | 20.668 % |
559.27/559.39	c |    298742 |  109068   876377  2393612 |        1    49522    109 | 20.669 % |
559.27/559.39	c |    301578 |  109068   876377  2393612 |        1    52358    123 | 20.669 % |
559.27/559.39	c |    302518 |  109067   876377  2393612 |        1    53297    125 | 20.669 % |
559.27/559.39	c |    302618 |  109067   876377  2393612 |        1    53397    125 | 20.669 % |
559.27/559.39	c |    302739 |  109067   876377  2393612 |        1    53518    125 | 20.669 % |
559.27/559.39	c |    302839 |  109067   876377  2393612 |        1    53618    125 | 20.669 % |
559.27/559.39	c |    303381 |  109066   876377  2393612 |        1    54159    126 | 20.670 % |
559.27/559.39	c |    306115 |  109055   876344  2393491 |        1    56876    129 | 20.678 % |
559.27/559.39	c |    306268 |  109055   876344  2393491 |        1    57029    129 | 20.678 % |
559.27/559.39	c |    306371 |  109055   876344  2393491 |        1    57132    130 | 20.678 % |
559.27/559.39	c |    307385 |  108975   876344  2393491 |        1    58145    131 | 20.736 % |
559.27/559.39	c |    307487 |  108975   876344  2393491 |        1    58247    132 | 20.736 % |
559.27/559.39	c |    307587 |  108975   876344  2393491 |        1    58347    132 | 20.736 % |
559.27/559.39	c |    308348 |  108975   876304  2393371 |        1    59107    134 | 20.736 % |
559.27/559.39	c |    308950 |  108975   876304  2393371 |        1    59709    134 | 20.736 % |
559.27/559.39	c |    314760 |  108862   875968  2392331 |        1    65497    144 | 20.818 % |
559.27/559.39	c |    314860 |  108862   875968  2392331 |        1    65597    145 | 20.818 % |
559.27/559.39	c |    314960 |  108862   875968  2392331 |        1    65697    145 | 20.818 % |
559.27/559.39	c |    317300 |  108862   875968  2392331 |        1    68037    147 | 20.818 % |
559.27/559.39	c |    317401 |  108862   875968  2392331 |        1    68138    147 | 20.818 % |
559.27/559.39	c |    317501 |  108862   875968  2392331 |        1    68238    148 | 20.818 % |
559.27/559.39	c |    317876 |  108862   875968  2392331 |        1    68613    149 | 20.818 % |
559.27/559.39	c |    318027 |  108862   875968  2392331 |        1    68764    149 | 20.818 % |
559.27/559.39	c |    318788 |  108862   875968  2392331 |        1    69525    151 | 20.818 % |
655.65/655.70	c |    331781 |  108862   875968  2392331 |        1    82518    161 | 20.818 % |
655.65/655.70	c |    331881 |  108862   875968  2392331 |        1    82618    161 | 20.818 % |
655.65/655.70	c |    332581 |  108862   875968  2392331 |        1    83318    161 | 20.818 % |
655.65/655.70	c |    332688 |  108862   875968  2392331 |        1    83425    161 | 20.818 % |
655.65/655.70	c |    332788 |  108862   875968  2392331 |        1    83525    161 | 20.818 % |
655.65/655.70	c |    332888 |  108862   875968  2392331 |        1    83625    162 | 20.818 % |
655.65/655.70	c |    333274 |  108861   875968  2392331 |        1    47330     78 | 20.819 % |
655.65/655.70	c |    334698 |  108861   875968  2392331 |        1    48754     84 | 20.819 % |
655.65/655.70	c |    334799 |  108861   875968  2392331 |        1    48855     84 | 20.819 % |
655.65/655.70	c |    334899 |  108861   875968  2392331 |        1    48955     85 | 20.819 % |
655.65/655.70	c |    335370 |  108861   875968  2392331 |        1    49426     87 | 20.819 % |
655.65/655.70	c |    335472 |  108861   875968  2392331 |        1    49528     88 | 20.819 % |
655.65/655.70	c |    335572 |  108861   875968  2392331 |        1    49628     88 | 20.819 % |
655.65/655.70	c |    336662 |  108861   875968  2392331 |        1    50718     94 | 20.819 % |
655.65/655.70	c |    336762 |  108861   875968  2392331 |        1    50818     95 | 20.819 % |
655.65/655.70	c |    336863 |  108861   875968  2392331 |        1    50919     95 | 20.819 % |
655.65/655.70	c |    336966 |  108861   875968  2392331 |        1    51022     96 | 20.819 % |
655.65/655.70	c |    337472 |  108861   875968  2392331 |        1    51528     97 | 20.819 % |
655.65/655.70	c |    337573 |  108861   875968  2392331 |        1    51629     98 | 20.819 % |
655.65/655.70	c |    337849 |  108861   875968  2392331 |        1    51905    100 | 20.819 % |
655.65/655.70	c |    337949 |  108861   875968  2392331 |        1    52005    100 | 20.819 % |
655.65/655.70	c |    338049 |  108861   875968  2392331 |        1    52105    100 | 20.819 % |
655.65/655.70	c |    343115 |  108859   875968  2392331 |        1    57166    111 | 20.821 % |
655.65/655.70	c |    343216 |  108859   875968  2392331 |        1    57267    111 | 20.821 % |
655.65/655.70	c |    344222 |  108849   875913  2392142 |        1    58259    113 | 20.828 % |
655.65/655.70	c |    344323 |  108849   875913  2392142 |        1    58360    113 | 20.828 % |
655.65/655.70	c |    344513 |  108849   875913  2392142 |        1    58550    113 | 20.828 % |
655.65/655.70	c |    344615 |  108849   875913  2392142 |        1    58652    113 | 20.828 % |
655.65/655.70	c |    344717 |  108849   875913  2392142 |        1    58754    114 | 20.828 % |
655.65/655.70	c |    344823 |  108849   875913  2392142 |        1    58860    114 | 20.828 % |
655.65/655.70	c |    344923 |  108849   875913  2392142 |        1    58960    114 | 20.828 % |
655.65/655.70	c |    345023 |  108849   875913  2392142 |        1    59060    115 | 20.828 % |
655.65/655.70	c |    345127 |  108849   875913  2392142 |        1    59164    115 | 20.828 % |
655.65/655.70	c |    346752 |  108849   875913  2392142 |        1    60789    119 | 20.828 % |
655.65/655.70	c |    346852 |  108849   875913  2392142 |        1    60889    119 | 20.828 % |
655.65/655.70	c |    346955 |  108849   875913  2392142 |        1    60992    120 | 20.828 % |
655.65/655.70	c |    349960 |  108848   875913  2392142 |        1    63996    123 | 20.829 % |
655.65/655.70	c |    350061 |  108848   875913  2392142 |        1    64097    123 | 20.829 % |
655.65/655.70	c |    352760 |  108848   875913  2392142 |        1    66796    126 | 20.829 % |
655.65/655.70	c |    352884 |  108848   875913  2392142 |        1    66920    127 | 20.829 % |
655.65/655.70	c |    352986 |  108848   875913  2392142 |        1    67022    127 | 20.829 % |
655.65/655.70	c |    353088 |  108848   875913  2392142 |        1    67124    127 | 20.829 % |
655.65/655.70	c |    353896 |  108848   875913  2392142 |        1    67932    128 | 20.829 % |
655.65/655.70	c |    353996 |  108845   875912  2392139 |        1    68030    128 | 20.831 % |
655.65/655.70	c |    354106 |  108845   875912  2392139 |        1    68140    129 | 20.831 % |
655.65/655.70	c |    355229 |  108845   875912  2392139 |        1    69263    131 | 20.831 % |
655.65/655.70	c |    356479 |  108845   875912  2392139 |        1    70513    133 | 20.831 % |
655.65/655.70	c |    361319 |  108416   874398  2387597 |        1    75338    140 | 21.143 % |
655.65/655.70	c |    363216 |  108416   874398  2387597 |        1    77235    144 | 21.143 % |
655.65/655.70	c |    363316 |  108416   874398  2387597 |        1    77335    144 | 21.143 % |
782.07/782.16	c |    364637 |  108415   874398  2387597 |        1    78654    145 | 21.144 % |
782.07/782.16	c |    365213 |  108415   874398  2387597 |        1    79230    145 | 21.144 % |
782.07/782.16	c |    365853 |  108415   874398  2387597 |        1    79870    146 | 21.144 % |
782.07/782.16	c |    368842 |  108414   874398  2387597 |        1    82858    146 | 21.144 % |
782.07/782.16	c |    373122 |  108413   874398  2387597 |        1    87137    149 | 21.145 % |
782.07/782.16	c |    373631 |  108413   874398  2387597 |        1    87646    149 | 21.145 % |
782.07/782.16	c |    374819 |  108412   874398  2387597 |        1    88833    150 | 21.146 % |
782.07/782.16	c |    374919 |  108411   874398  2387597 |        1    88932    150 | 21.146 % |
782.07/782.16	c |    375020 |  108411   874398  2387597 |        1    89033    150 | 21.146 % |
782.07/782.16	c |    376172 |  108411   874398  2387597 |        1    50679     76 | 21.146 % |
782.07/782.16	c |    376272 |  108411   874398  2387597 |        1    50779     77 | 21.146 % |
782.07/782.16	c |    376372 |  108411   874398  2387597 |        1    50879     78 | 21.146 % |
782.07/782.16	c |    376893 |  108001   874398  2387597 |        1    51399     79 | 21.445 % |
782.07/782.16	c |    377298 |  108000   867044  2365535 |        1    51768     80 | 21.445 % |
782.07/782.16	c |    377398 |  108000   867044  2365535 |        1    51868     80 | 21.445 % |
782.07/782.16	c |    377498 |  108000   867044  2365535 |        1    51968     80 | 21.445 % |
782.07/782.16	c |    378151 |  108000   867044  2365535 |        1    52621     82 | 21.445 % |
782.07/782.16	c |    379358 |  107619   866605  2364210 |        1    53746     84 | 21.723 % |
782.07/782.16	c |    383765 |  107619   866605  2364210 |        1    58153    114 | 21.723 % |
782.07/782.16	c |    384794 |  107618   866605  2364210 |        1    59181    116 | 21.723 % |
782.07/782.16	c |    387188 |  107618   866605  2364210 |        1    61575    124 | 21.723 % |
782.07/782.16	c |    388173 |  107618   866605  2364210 |        1    62560    127 | 21.723 % |
782.07/782.16	c |    394980 |  107613   866593  2364174 |        1    69362    141 | 21.727 % |
782.07/782.16	c |    395095 |  107613   866593  2364174 |        1    69477    141 | 21.727 % |
782.07/782.16	c |    396691 |  107565   866399  2363496 |        1    71061    142 | 21.762 % |
782.07/782.16	c |    396824 |  107565   866399  2363496 |        1    71194    143 | 21.762 % |
782.07/782.16	c |    397336 |  107565   866399  2363496 |        1    71706    144 | 21.762 % |
782.07/782.16	c |    397436 |  107565   866399  2363496 |        1    71806    144 | 21.762 % |
782.07/782.16	c |    397536 |  107565   866399  2363496 |        1    71906    144 | 21.762 % |
782.07/782.16	c |    398824 |  107565   866330  2363257 |        1    73188    145 | 21.762 % |
782.07/782.16	c |    399972 |  107452   866330  2363257 |        1    74335    147 | 21.844 % |
782.07/782.16	c |    400072 |  107452   865974  2362157 |        1    74421    147 | 21.844 % |
782.07/782.16	c |    400173 |  107452   865974  2362157 |        1    74522    147 | 21.844 % |
782.07/782.16	c |    400542 |  107452   865974  2362157 |        1    74891    148 | 21.844 % |
782.07/782.16	c |    401332 |  107450   865974  2362157 |        1    75679    149 | 21.845 % |
782.07/782.16	c |    405704 |  107438   865918  2361957 |        1    80044    152 | 21.854 % |
782.07/782.16	c |    411736 |  107431   865918  2361957 |        1    86074    157 | 21.859 % |
782.07/782.16	c |    411836 |  107431   865916  2361939 |        1    86173    157 | 21.859 % |
782.07/782.16	c |    411937 |  107431   865916  2361939 |        1    86274    157 | 21.859 % |
782.07/782.16	c |    412585 |  107431   865916  2361939 |        1    86922    157 | 21.859 % |
782.07/782.16	c |    412685 |  107431   865916  2361939 |        1    87022    157 | 21.859 % |
782.07/782.16	c |    412785 |  107431   865916  2361939 |        1    87122    157 | 21.859 % |
782.07/782.16	c |    413048 |  107431   865916  2361939 |        1    87385    158 | 21.859 % |
782.07/782.16	c |    413148 |  107431   865916  2361939 |        1    87485    158 | 21.859 % |
782.07/782.16	c |    413600 |  107431   865916  2361939 |        1    87937    159 | 21.859 % |
782.07/782.16	c |    414033 |  107306   865591  2360844 |        1    88306    159 | 21.950 % |
782.07/782.16	c |    414250 |  107306   865591  2360844 |        1    88523    159 | 21.950 % |
782.07/782.16	c |    417465 |  107306   865591  2360844 |        1    91738    166 | 21.950 % |
782.07/782.16	c |    417942 |  107306   865591  2360844 |        1    92215    167 | 21.950 % |
782.07/782.16	c |    422682 |  107306   865591  2360844 |        1    54252     86 | 21.950 % |
972.86/972.93	c |    422994 |  107306   865591  2360844 |        1    54564     87 | 21.950 % |
972.86/972.93	c |    434475 |  107292   865591  2360844 |        1    66042    133 | 21.960 % |
972.86/972.93	c |    434860 |  107292   865536  2360647 |        1    66405    133 | 21.960 % |
972.86/972.93	c |    434964 |  107292   865536  2360647 |        1    66509    134 | 21.960 % |
972.86/972.93	c |    435065 |  107292   865536  2360647 |        1    66610    134 | 21.960 % |
972.86/972.93	c |    436537 |  107292   865536  2360647 |        1    68082    136 | 21.960 % |
972.86/972.93	c |    436639 |  107292   865536  2360647 |        1    68184    137 | 21.960 % |
972.86/972.93	c |    445666 |  107281   865497  2360498 |        1    77204    139 | 21.968 % |
972.86/972.93	c |    447705 |  107281   865497  2360498 |        1    79243    146 | 21.968 % |
972.86/972.93	c |    447844 |  107281   865497  2360498 |        1    79382    146 | 21.968 % |
972.86/972.93	c |    447944 |  107281   865497  2360498 |        1    79482    146 | 21.968 % |
972.86/972.93	c |    448047 |  107281   865497  2360498 |        1    79585    147 | 21.968 % |
972.86/972.93	c |    448930 |  107281   865497  2360498 |        1    80468    147 | 21.968 % |
972.86/972.93	c |    449030 |  107281   865497  2360498 |        1    80568    147 | 21.968 % |
972.86/972.93	c |    449395 |  107281   865497  2360498 |        1    80933    148 | 21.968 % |
972.86/972.93	c |    449648 |  107280   865497  2360498 |        1    81185    148 | 21.969 % |
972.86/972.93	c |    449748 |  107280   865497  2360498 |        1    81285    148 | 21.969 % |
972.86/972.93	c |    452323 |  107260   865497  2360498 |        1    83858    155 | 21.984 % |
972.86/972.93	c |    452423 |  107260   865422  2360219 |        1    83939    155 | 21.984 % |
972.86/972.93	c |    454820 |  107249   865355  2359986 |        1    86334    157 | 21.992 % |
972.86/972.93	c |    463786 |  107238   865301  2359792 |        1    95298    165 | 22.000 % |
972.86/972.93	c |    465161 |  107238   865301  2359792 |        1    96673    166 | 22.000 % |
972.86/972.93	c |    466164 |  107238   865301  2359792 |        1    97676    167 | 22.000 % |
972.86/972.93	c |    467082 |  107226   865258  2359631 |        1    98586    167 | 22.008 % |
972.86/972.93	c |    467185 |  107226   865258  2359631 |        1    98689    167 | 22.008 % |
972.86/972.93	c |    467287 |  107226   865258  2359631 |        1    98791    167 | 22.008 % |
972.86/972.93	c |    467388 |  107226   865258  2359631 |        1    98892    168 | 22.008 % |
972.86/972.93	c |    467488 |  107226   865258  2359631 |        1    98992    168 | 22.008 % |
972.86/972.93	c |    469493 |  107212   865258  2359631 |        1   100996    169 | 22.019 % |
972.86/972.93	c |    469594 |  107212   865186  2359383 |        1   101093    169 | 22.019 % |
972.86/972.93	c |    469694 |  107212   865186  2359383 |        1   101193    169 | 22.019 % |
972.86/972.93	c |    470229 |  107212   865186  2359383 |        1    55932     83 | 22.019 % |
972.86/972.93	c |    470551 |  107212   865186  2359383 |        1    56254     84 | 22.019 % |
972.86/972.93	c |    470832 |  107212   865186  2359383 |        1    56535     84 | 22.019 % |
972.86/972.93	c |    471078 |  107212   865186  2359383 |        1    56781     85 | 22.019 % |
972.86/972.93	c |    474410 |  107174   865060  2358981 |        1    60104     89 | 22.046 % |
972.86/972.93	c |    474519 |  107174   865060  2358981 |        1    60213     90 | 22.046 % |
972.86/972.93	c |    477396 |  107171   865058  2358975 |        1    63088     98 | 22.048 % |
972.86/972.93	c |    477496 |  107171   865058  2358975 |        1    63188     99 | 22.048 % |
972.86/972.93	c |    477596 |  107171   865058  2358975 |        1    63288     99 | 22.048 % |
972.86/972.93	c |    492187 |  107171   865058  2358975 |        1    77879    113 | 22.048 % |
972.86/972.93	c |    493110 |  107171   865058  2358975 |        1    78802    114 | 22.048 % |
972.86/972.93	c |    495901 |  107171   865058  2358975 |        1    81593    116 | 22.048 % |
972.86/972.93	c |    496711 |  107171   865058  2358975 |        1    82403    117 | 22.048 % |
972.86/972.93	c |    502303 |  107162   865021  2358840 |        1    87993    124 | 22.055 % |
972.86/972.93	c |    510091 |  107154   864981  2358704 |        1    95779    132 | 22.061 % |
972.86/972.93	c |    510191 |  107154   864981  2358704 |        1    95879    132 | 22.061 % |
972.86/972.93	c |    511209 |  107154   864981  2358704 |        1    96897    133 | 22.061 % |
972.86/972.93	c |    511663 |  107154   864981  2358704 |        1    97351    134 | 22.061 % |
972.86/972.93	c |    513188 |  107154   8

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3283422-1303754152/watcher-3283422-1303754152 -o /tmp/evaluation-result-3283422-1303754152/solver-3283422-1303754152 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3283422-1303754152.cnf 

running on 2 cores: 1,3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.99 4.06 3.82 6/192 4896
/proc/meminfo: memFree=12948392/32950928 swapFree=67111528/67111528
[pid=4896] ppid=4894 vsize=8704 CPUtime=0 cores=1,3
/proc/4896/stat : 4896 (glucose.sh) S 4894 4896 3507 0 -1 4202496 333 0 0 0 0 0 0 0 18 0 1 0 565646032 8912896 252 33554432000 4194304 4922060 140735726195408 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4896/statm: 2176 252 211 178 0 69 0

[startup+0.061188 s]
/proc/loadavg: 3.99 4.06 3.82 6/192 4896
/proc/meminfo: memFree=12948392/32950928 swapFree=67111528/67111528
[pid=4896] ppid=4894 vsize=8704 CPUtime=0 cores=1,3
/proc/4896/stat : 4896 (glucose.sh) S 4894 4896 3507 0 -1 4202496 333 0 0 0 0 0 0 0 18 0 1 0 565646032 8912896 252 33554432000 4194304 4922060 140735726195408 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4896/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.101181 s]
/proc/loadavg: 3.99 4.06 3.82 6/192 4896
/proc/meminfo: memFree=12948392/32950928 swapFree=67111528/67111528
[pid=4896] ppid=4894 vsize=8704 CPUtime=0 cores=1,3
/proc/4896/stat : 4896 (glucose.sh) S 4894 4896 3507 0 -1 4202496 333 0 0 0 0 0 0 0 18 0 1 0 565646032 8912896 252 33554432000 4194304 4922060 140735726195408 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4896/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.301145 s]
/proc/loadavg: 3.99 4.06 3.82 6/192 4896
/proc/meminfo: memFree=12948392/32950928 swapFree=67111528/67111528
[pid=4896] ppid=4894 vsize=8704 CPUtime=0 cores=1,3
/proc/4896/stat : 4896 (glucose.sh) S 4894 4896 3507 0 -1 4202496 333 0 0 0 0 0 0 0 18 0 1 0 565646032 8912896 252 33554432000 4194304 4922060 140735726195408 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4896/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.701067 s]
/proc/loadavg: 3.99 4.06 3.82 6/192 4896
/proc/meminfo: memFree=12948392/32950928 swapFree=67111528/67111528
[pid=4896] ppid=4894 vsize=8704 CPUtime=0 cores=1,3
/proc/4896/stat : 4896 (glucose.sh) S 4894 4896 3507 0 -1 4202496 333 0 0 0 0 0 0 0 18 0 1 0 565646032 8912896 252 33554432000 4194304 4922060 140735726195408 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4896/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50093 s]
/proc/loadavg: 3.99 4.06 3.82 5/194 4898
/proc/meminfo: memFree=12820780/32950928 swapFree=67111528/67111528
[pid=4896] ppid=4894 vsize=8704 CPUtime=0 cores=1,3
/proc/4896/stat : 4896 (glucose.sh) S 4894 4896 3507 0 -1 4202496 333 0 0 0 0 0 0 0 18 0 1 0 565646032 8912896 252 33554432000 4194304 4922060 140735726195408 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4896/statm: 2176 252 211 178 0 69 0
[pid=4897] ppid=4896 vsize=149760 CPUtime=1.48 cores=1,3
/proc/4897/stat : 4897 (SatELite_releas) R 4896 4896 3507 0 -1 4202496 38847 0 0 0 138 10 0 0 23 0 1 0 565646032 153354240 35427 33554432000 134512640 135144242 4289186128 18446744073709551615 134726939 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4897/statm: 37440 35427 77 155 0 37283 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 158464

[startup+3.10062 s]
/proc/loadavg: 3.99 4.06 3.82 5/194 4898
/proc/meminfo: memFree=12792120/32950928 swapFree=67111528/67111528
[pid=4896] ppid=4894 vsize=8704 CPUtime=0 cores=1,3
/proc/4896/stat : 4896 (glucose.sh) S 4894 4896 3507 0 -1 4202496 333 0 0 0 0 0 0 0 18 0 1 0 565646032 8912896 252 33554432000 4194304 4922060 140735726195408 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4896/statm: 2176 252 211 178 0 69 0
[pid=4897] ppid=4896 vsize=151700 CPUtime=3.09 cores=1,3
/proc/4897/stat : 4897 (SatELite_releas) R 4896 4896 3507 0 -1 4202496 42696 0 0 0 298 11 0 0 25 0 1 0 565646032 155340800 36062 33554432000 134512640 135144242 4289186128 18446744073709551615 134585397 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4897/statm: 37925 36062 77 155 0 37768 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 160404

[startup+6.30101 s]
/proc/loadavg: 3.99 4.06 3.82 5/194 4899
/proc/meminfo: memFree=12844544/32950928 swapFree=67111528/67111528
[pid=4896] ppid=4894 vsize=8704 CPUtime=3.82 cores=1,3
/proc/4896/stat : 4896 (glucose.sh) S 4894 4896 3507 0 -1 4202496 360 46962 0 0 0 0 367 15 18 0 1 0 565646032 8912896 254 33554432000 4194304 4922060 140735726195408 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4896/statm: 2176 254 211 178 0 69 0
[pid=4899] ppid=4896 vsize=97268 CPUtime=2.46 cores=1,3
/proc/4899/stat : 4899 (glucose_static) R 4896 4896 3507 0 -1 4202496 18417 0 0 0 243 3 0 0 25 0 1 0 565646416 99602432 17289 33554432000 4194304 4260849 140734988892704 18446744073709551615 4211101 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4899/statm: 24317 17289 250 17 0 20958 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 105972

[startup+12.7008 s]
/proc/loadavg: 3.99 4.06 3.82 5/194 4899
/proc/meminfo: memFree=12807340/32950928 swapFree=67111528/67111528
[pid=4896] ppid=4894 vsize=8704 CPUtime=3.82 cores=1,3
/proc/4896/stat : 4896 (glucose.sh) S 4894 4896 3507 0 -1 4202496 360 46962 0 0 0 0 367 15 18 0 1 0 565646032 8912896 254 33554432000 4194304 4922060 140735726195408 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4896/statm: 2176 254 211 178 0 69 0
[pid=4899] ppid=4896 vsize=98748 CPUtime=8.85 cores=1,3
/proc/4899/stat : 4899 (glucose_static) R 4896 4896 3507 0 -1 4202496 19563 0 0 0 882 3 0 0 25 0 1 0 565646416 101117952 18426 33554432000 4194304 4260849 140734988892704 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4899/statm: 24687 18426 250 17 0 21328 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 107452

[startup+25.5004 s]
/proc/loadavg: 3.99 4.05 3.82 5/194 4899
/proc/meminfo: memFree=12749312/32950928 swapFree=67111528/67111528
[pid=4896] ppid=4894 vsize=8704 CPUtime=3.82 cores=1,3
/proc/4896/stat : 4896 (glucose.sh) S 4894 4896 3507 0 -1 4202496 360 46962 0 0 0 0 367 15 18 0 1 0 565646032 8912896 254 33554432000 4194304 4922060 140735726195408 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4896/statm: 2176 254 211 178 0 69 0
[pid=4899] ppid=4896 vsize=100288 CPUtime=21.65 cores=1,3
/proc/4899/stat : 4899 (glucose_static) R 4896 4896 3507 0 -1 4202496 27341 0 0 0 2160 5 0 0 25 0 1 0 565646416 102694912 19251 33554432000 4194304 4260849 140734988892704 18446744073709551615 4209389 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4899/statm: 25072 19251 251 17 0 21713 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 108992

[startup+51.1006 s]
/proc/loadavg: 3.99 4.05 3.82 4/190 4922
/proc/meminfo: memFree=12861128/32950928 swapFree=67111528/67111528
[pid=4896] ppid=4894 vsize=8704 CPUtime=3.82 cores=1,3
/proc/4896/stat : 4896 (glucose.sh) S 4894 4896 3507 0 -1 4202496 360 46962 0 0 0 0 367 15 18 0 1 0 565646032 8912896 254 33554432000 4194304 4922060 140735726195408 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4896/statm: 2176 254 211 178 0 69 0
[pid=4899] ppid=4896 vsize=131084 CPUtime=47.25 cores=1,3
/proc/4899/stat : 4899 (glucose_static) R 4896 4896 3507 0 -1 4202496 42868 0 0 0 4717 8 0 0 25 0 1 0 565646416 134230016 26833 33554432000 4194304 4260849 140734988892704 18446744073709551615 4224374 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4899/statm: 32771 26833 251 17 0 29412 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 139788

[startup+102.307 s]
/proc/loadavg: 3.99 4.04 3.83 5/194 4932
/proc/meminfo: memFree=12644624/32950928 swapFree=67111528/67111528
[pid=4896] ppid=4894 vsize=8704 CPUtime=3.82 cores=1,3
/proc/4896/stat : 4896 (glucose.sh) S 4894 4896 3507 0 -1 4202496 360 46962 0 0 0 0 367 15 18 0 1 0 565646032 8912896 254 33554432000 4194304 4922060 140735726195408 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4896/statm: 2176 254 211 178 0 69 0
[pid=4899] ppid=4896 vsize=180404 CPUtime=98.46 cores=1,3
/proc/4899/stat : 4899 (glucose_static) R 4896 4896 3507 0 -1 4202496 69911 0 0 0 9833 13 0 0 25 0 1 0 565646416 184733696 36140 33554432000 4194304 4260849 140734988892704 18446744073709551615 4226306 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4899/statm: 45101 36140 251 17 0 41742 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 189108

[startup+162.301 s]
/proc/loadavg: 3.99 4.03 3.83 5/194 4933
/proc/meminfo: memFree=12592640/32950928 swapFree=67111528/67111528
[pid=4896] ppid=4894 vsize=8704 CPUtime=3.82 cores=1,3
/proc/4896/stat : 4896 (glucose.sh) S 4894 4896 3507 0 -1 4202496 360 46962 0 0 0 0 367 15 18 0 1 0 565646032 8912896 254 33554432000 4194304 4922060 140735726195408 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4896/statm: 2176 254 211 178 0 69 0
[pid=4899] ppid=4896 vsize=180404 CPUtime=158.45 cores=1,3
/proc/4899/stat : 4899 (glucose_static) R 4896 4896 3507 0 -1 4202496 85420 0 0 0 15826 19 0 0 25 0 1 0 565646416 184733696 39619 33554432000 4194304 4260849 140734988892704 18446744073709551615 4209332 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4899/statm: 45101 39619 251 17 0 41742 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 189108

[startup+222.3 s]
/proc/loadavg: 3.99 4.02 3.84 5/194 4935
/proc/meminfo: memFree=12539908/32950928 swapFree=67111528/67111528
[pid=4896] ppid=4894 vsize=8704 CPUtime=3.82 cores=1,3
/proc/4896/stat : 4896 (glucose.sh) S 4894 4896 3507 0 -1 4202496 360 46962 0 0 0 0 367 15 18 0 1 0 565646032 8912896 254 33554432000 4194304 4922060 140735726195408 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4896/statm: 2176 254 211 178 0 69 0
[pid=4899] ppid=4896 vsize=211224 CPUtime=218.44 cores=1,3
/proc/4899/stat : 4899 (glucose_static) R 4896 4896 3507 0 -1 4202496 100564 0 0 0 21821 23 0 0 25 0 1 0 565646416 216293376 42164 33554432000 4194304 4260849 140734988892704 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4899/statm: 52806 42164 251 17 0 49447 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 219928

[startup+282.301 s]
/proc/loadavg: 3.95 4.00 3.84 5/194 4966
/proc/meminfo: memFree=12560740/32950928 swapFree=67111528/67111528
[pid=4896] ppid=4894 vsize=8704 CPUtime=3.82 cores=1,3
/proc/4896/stat : 4896 (glucose.sh) S 4894 4896 3507 0 -1 4202496 360 46962 0 0 0 0 367 15 18 0 1 0 565646032 8912896 254 33554432000 4194304 4922060 140735726195408 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4896/statm: 2176 254 211 178 0 69 0
[pid=4899] ppid=4896 vsize=211224 CPUtime=278.45 cores=1,3
/proc/4899/stat : 4899 (glucose_static) R 4896 4896 3507 0 -1 4202496 114539 0 0 0 27818 27 0 0 25 0 1 0 565646416 216293376 42035 33554432000 4194304 4260849 140734988892704 18446744073709551615 4224374 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4899/statm: 52806 42035 251 17 0 49447 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 219928

[startup+342.301 s]
/proc/loadavg: 3.98 4.00 3.85 5/194 4977
/proc/meminfo: memFree=12521264/32950928 swapFree=67111528/67111528
[pid=4896] ppid=4894 vsize=8704 CPUtime=3.82 cores=1,3
/proc/4896/stat : 4896 (glucose.sh) S 4894 4896 3507 0 -1 4202496 360 46962 0 0 0 0 367 15 18 0 1 0 565646032 8912896 254 33554432000 4194304 4922060 140735726195408 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4896/statm: 2176 254 211 178 0 69 0
[pid=4899] ppid=4896 vsize=211224 CPUtime=338.45 cores=1,3
/proc/4899/stat : 4899 (glucose_static) R 4896 4896 3507 0 -1 4202496 129967 0 0 0 33813 32 0 0 25 0 1 0 565646416 216293376 42385 33554432000 4194304 4260849 140734988892704 18446744073709551615 4226480 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4899/statm: 52806 42385 251 17 0 49447 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 219928

[startup+402.3 s]
/proc/loadavg: 4.06 4.02 3.86 5/194 4978
/proc/meminfo: memFree=12465636/32950928 swapFree=67111528/67111528
[pid=4896] ppid=4894 vsize=8704 CPUtime=3.82 cores=1,3

################
# More data... #
################

/proc/4899/statm: 52806 44788 251 17 0 49447 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 219928

[startup+642.3 s]
/proc/loadavg: 3.05 3.49 3.67 4/187 5004
/proc/meminfo: memFree=12601712/32950928 swapFree=67111528/67111528
[pid=4896] ppid=4894 vsize=8704 CPUtime=3.82 cores=1,3
/proc/4896/stat : 4896 (glucose.sh) S 4894 4896 3507 0 -1 4202496 360 46962 0 0 0 0 367 15 18 0 1 0 565646032 8912896 254 33554432000 4194304 4922060 140735726195408 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4896/statm: 2176 254 211 178 0 69 0
[pid=4899] ppid=4896 vsize=211224 CPUtime=638.44 cores=1,3
/proc/4899/stat : 4899 (glucose_static) R 4896 4896 3507 0 -1 4202496 200951 0 0 0 63789 55 0 0 25 0 1 0 565646416 216293376 41700 33554432000 4194304 4260849 140734988892704 18446744073709551615 4209990 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4899/statm: 52806 41700 251 17 0 49447 0
Current children cumulated CPU time (s) 642.26
Current children cumulated vsize (KiB) 219928

[startup+702.301 s]
/proc/loadavg: 3.02 3.40 3.63 4/187 5006
/proc/meminfo: memFree=12616960/32950928 swapFree=67111528/67111528
[pid=4896] ppid=4894 vsize=8704 CPUtime=3.82 cores=1,3
/proc/4896/stat : 4896 (glucose.sh) S 4894 4896 3507 0 -1 4202496 360 46962 0 0 0 0 367 15 18 0 1 0 565646032 8912896 254 33554432000 4194304 4922060 140735726195408 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4896/statm: 2176 254 211 178 0 69 0
[pid=4899] ppid=4896 vsize=180404 CPUtime=698.44 cores=1,3
/proc/4899/stat : 4899 (glucose_static) R 4896 4896 3507 0 -1 4202496 216815 0 0 0 69783 61 0 0 25 0 1 0 565646416 184733696 39096 33554432000 4194304 4260849 140734988892704 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4899/statm: 45101 39096 251 17 0 41742 0
Current children cumulated CPU time (s) 702.26
Current children cumulated vsize (KiB) 189108

[startup+762.307 s]
/proc/loadavg: 2.27 3.15 3.53 2/173 5043
/proc/meminfo: memFree=13010068/32950928 swapFree=67111528/67111528
[pid=4896] ppid=4894 vsize=8704 CPUtime=3.82 cores=1,3
/proc/4896/stat : 4896 (glucose.sh) S 4894 4896 3507 0 -1 4202496 360 46962 0 0 0 0 367 15 18 0 1 0 565646032 8912896 254 33554432000 4194304 4922060 140735726195408 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4896/statm: 2176 254 211 178 0 69 0
[pid=4899] ppid=4896 vsize=211224 CPUtime=758.44 cores=1,3
/proc/4899/stat : 4899 (glucose_static) R 4896 4896 3507 0 -1 4202496 223837 0 0 0 75780 64 0 0 25 0 1 0 565646416 216293376 46095 33554432000 4194304 4260849 140734988892704 18446744073709551615 4224374 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4899/statm: 52806 46095 251 17 0 49447 0
Current children cumulated CPU time (s) 762.26
Current children cumulated vsize (KiB) 219928

[startup+822.301 s]
/proc/loadavg: 1.46 2.75 3.37 2/173 5045
/proc/meminfo: memFree=13026032/32950928 swapFree=67111528/67111528
[pid=4896] ppid=4894 vsize=8704 CPUtime=3.82 cores=1,3
/proc/4896/stat : 4896 (glucose.sh) S 4894 4896 3507 0 -1 4202496 360 46962 0 0 0 0 367 15 18 0 1 0 565646032 8912896 254 33554432000 4194304 4922060 140735726195408 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4896/statm: 2176 254 211 178 0 69 0
[pid=4899] ppid=4896 vsize=211224 CPUtime=818.44 cores=1,3
/proc/4899/stat : 4899 (glucose_static) R 4896 4896 3507 0 -1 4202496 240977 0 0 0 81773 71 0 0 25 0 1 0 565646416 216293376 42181 33554432000 4194304 4260849 140734988892704 18446744073709551615 4209401 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4899/statm: 52806 42181 251 17 0 49447 0
Current children cumulated CPU time (s) 822.26
Current children cumulated vsize (KiB) 219928

[startup+882.3 s]
/proc/loadavg: 1.17 2.43 3.22 2/173 5046
/proc/meminfo: memFree=12998584/32950928 swapFree=67111528/67111528
[pid=4896] ppid=4894 vsize=8704 CPUtime=3.82 cores=1,3
/proc/4896/stat : 4896 (glucose.sh) S 4894 4896 3507 0 -1 4202496 360 46962 0 0 0 0 367 15 18 0 1 0 565646032 8912896 254 33554432000 4194304 4922060 140735726195408 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4896/statm: 2176 254 211 178 0 69 0
[pid=4899] ppid=4896 vsize=261312 CPUtime=878.44 cores=1,3
/proc/4899/stat : 4899 (glucose_static) R 4896 4896 3507 0 -1 4202496 247813 0 0 0 87768 76 0 0 25 0 1 0 565646416 267583488 48983 33554432000 4194304 4260849 140734988892704 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4899/statm: 65328 48983 251 17 0 61969 0
Current children cumulated CPU time (s) 882.26
Current children cumulated vsize (KiB) 270016

[startup+942.301 s]
/proc/loadavg: 1.06 2.17 3.07 2/173 5048
/proc/meminfo: memFree=13027436/32950928 swapFree=67111528/67111528
[pid=4896] ppid=4894 vsize=8704 CPUtime=3.82 cores=1,3
/proc/4896/stat : 4896 (glucose.sh) S 4894 4896 3507 0 -1 4202496 360 46962 0 0 0 0 367 15 18 0 1 0 565646032 8912896 254 33554432000 4194304 4922060 140735726195408 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4896/statm: 2176 254 211 178 0 69 0
[pid=4899] ppid=4896 vsize=211224 CPUtime=938.43 cores=1,3
/proc/4899/stat : 4899 (glucose_static) R 4896 4896 3507 0 -1 4202496 262662 0 0 0 93763 80 0 0 25 0 1 0 565646416 216293376 41868 33554432000 4194304 4260849 140734988892704 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4899/statm: 52806 41868 251 17 0 49447 0
Current children cumulated CPU time (s) 942.25
Current children cumulated vsize (KiB) 219928

[startup+1002.3 s]
/proc/loadavg: 1.02 1.95 2.94 2/173 5050
/proc/meminfo: memFree=13042400/32950928 swapFree=67111528/67111528
[pid=4896] ppid=4894 vsize=8704 CPUtime=3.82 cores=1,3
/proc/4896/stat : 4896 (glucose.sh) S 4894 4896 3507 0 -1 4202496 360 46962 0 0 0 0 367 15 18 0 1 0 565646032 8912896 254 33554432000 4194304 4922060 140735726195408 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4896/statm: 2176 254 211 178 0 69 0
[pid=4899] ppid=4896 vsize=180404 CPUtime=998.43 cores=1,3
/proc/4899/stat : 4899 (glucose_static) R 4896 4896 3507 0 -1 4202496 279677 0 0 0 99757 86 0 0 25 0 1 0 565646416 184733696 38054 33554432000 4194304 4260849 140734988892704 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4899/statm: 45101 38054 251 17 0 41742 0
Current children cumulated CPU time (s) 1002.25
Current children cumulated vsize (KiB) 189108

[startup+1062.3 s]
/proc/loadavg: 1.01 1.78 2.82 2/173 5051
/proc/meminfo: memFree=13021292/32950928 swapFree=67111528/67111528
[pid=4896] ppid=4894 vsize=8704 CPUtime=3.82 cores=1,3
/proc/4896/stat : 4896 (glucose.sh) S 4894 4896 3507 0 -1 4202496 360 46962 0 0 0 0 367 15 18 0 1 0 565646032 8912896 254 33554432000 4194304 4922060 140735726195408 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4896/statm: 2176 254 211 178 0 69 0
[pid=4899] ppid=4896 vsize=211224 CPUtime=1058.44 cores=1,3
/proc/4899/stat : 4899 (glucose_static) R 4896 4896 3507 0 -1 4202496 285085 0 0 0 105754 90 0 0 25 0 1 0 565646416 216293376 43446 33554432000 4194304 4260849 140734988892704 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4899/statm: 52806 43446 251 17 0 49447 0
Current children cumulated CPU time (s) 1062.26
Current children cumulated vsize (KiB) 219928

[startup+1122.3 s]
/proc/loadavg: 1.00 1.63 2.70 2/173 5053
/proc/meminfo: memFree=13042836/32950928 swapFree=67111528/67111528
[pid=4896] ppid=4894 vsize=8704 CPUtime=3.82 cores=1,3
/proc/4896/stat : 4896 (glucose.sh) S 4894 4896 3507 0 -1 4202496 360 46962 0 0 0 0 367 15 18 0 1 0 565646032 8912896 254 33554432000 4194304 4922060 140735726195408 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4896/statm: 2176 254 211 178 0 69 0
[pid=4899] ppid=4896 vsize=180404 CPUtime=1118.43 cores=1,3
/proc/4899/stat : 4899 (glucose_static) R 4896 4896 3507 0 -1 4202496 299250 0 0 0 111749 94 0 0 25 0 1 0 565646416 184733696 38044 33554432000 4194304 4260849 140734988892704 18446744073709551615 4227007 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4899/statm: 45101 38044 251 17 0 41742 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 189108

[startup+1182.3 s]
/proc/loadavg: 1.00 1.52 2.59 2/173 5054
/proc/meminfo: memFree=13024688/32950928 swapFree=67111528/67111528
[pid=4896] ppid=4894 vsize=8704 CPUtime=3.82 cores=1,3
/proc/4896/stat : 4896 (glucose.sh) S 4894 4896 3507 0 -1 4202496 360 46962 0 0 0 0 367 15 18 0 1 0 565646032 8912896 254 33554432000 4194304 4922060 140735726195408 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4896/statm: 2176 254 211 178 0 69 0
[pid=4899] ppid=4896 vsize=211224 CPUtime=1178.43 cores=1,3
/proc/4899/stat : 4899 (glucose_static) R 4896 4896 3507 0 -1 4202496 303847 0 0 0 117746 97 0 0 25 0 1 0 565646416 216293376 42612 33554432000 4194304 4260849 140734988892704 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4899/statm: 52806 42612 251 17 0 49447 0
Current children cumulated CPU time (s) 1182.25
Current children cumulated vsize (KiB) 219928

[startup+1242.3 s]
/proc/loadavg: 1.00 1.42 2.49 2/173 5056
/proc/meminfo: memFree=13042632/32950928 swapFree=67111528/67111528
[pid=4896] ppid=4894 vsize=8704 CPUtime=3.82 cores=1,3
/proc/4896/stat : 4896 (glucose.sh) S 4894 4896 3507 0 -1 4202496 360 46962 0 0 0 0 367 15 18 0 1 0 565646032 8912896 254 33554432000 4194304 4922060 140735726195408 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4896/statm: 2176 254 211 178 0 69 0
[pid=4899] ppid=4896 vsize=180404 CPUtime=1238.43 cores=1,3
/proc/4899/stat : 4899 (glucose_static) R 4896 4896 3507 0 -1 4202496 318309 0 0 0 123741 102 0 0 25 0 1 0 565646416 184733696 38115 33554432000 4194304 4260849 140734988892704 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4899/statm: 45101 38115 251 17 0 41742 0
Current children cumulated CPU time (s) 1242.25
Current children cumulated vsize (KiB) 189108



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 1.00 1.34 2.39 2/173 5057
/proc/meminfo: memFree=13020520/32950928 swapFree=67111528/67111528
[pid=4896] ppid=4894 vsize=8704 CPUtime=3.82 cores=1,3
/proc/4896/stat : 4896 (glucose.sh) S 4894 4896 3507 0 -1 4202496 360 46962 0 0 0 0 367 15 18 0 1 0 565646032 8912896 254 33554432000 4194304 4922060 140735726195408 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4896/statm: 2176 254 211 178 0 69 0
[pid=4899] ppid=4896 vsize=211224 CPUtime=1296.14 cores=1,3
/proc/4899/stat : 4899 (glucose_static) R 4896 4896 3507 0 -1 4202496 323782 0 0 0 129509 105 0 0 25 0 1 0 565646416 216293376 43570 33554432000 4194304 4260849 140734988892704 18446744073709551615 4224812 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4899/statm: 52806 43570 251 17 0 49447 0
Current children cumulated CPU time (s) 1299.96
Current children cumulated vsize (KiB) 219928

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4896 and gives
#  childrusage.ru_utime.tv_sec=3
#  childrusage.ru_utime.tv_usec=679440
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=155976
# CPU time returned by wait4() is 3.83542
# while last known CPU time is 1299.96
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1300.01
CPU time (s): 1299.96
CPU user time (s): 1298.76
CPU system time (s): 1.2
CPU usage (%): 99.9959
Max. virtual memory (cumulated for all children) (KiB): 319336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.67944
system time used= 0.155976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47322
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9
involuntary context switches= 20

runsolver used 1.89771 second user time and 4.99424 second system time

The end

Begin job on node114 at 2011-04-25 19:55:54
IDJOB=3283422
IDBENCH=71036
IDSOLVER=1651
FILE ID=node114/3283422-1303754152
RUNJOBID= node114-1303752609-4413
PBS_JOBID= 13154048
Free space on /tmp= 71520 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-20-10p0.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3283422-1303754152/watcher-3283422-1303754152 -o /tmp/evaluation-result-3283422-1303754152/solver-3283422-1303754152 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3283422-1303754152.cnf 

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= faef1c850bb82ceddc7da5a4c445dd25
RANDOM SEED=365596553

node114.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      12948664 kB
Buffers:       2310376 kB
Cached:       16826704 kB
SwapCached:          0 kB
Active:        9646808 kB
Inactive:      9762096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      12948664 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           99292 kB
Writeback:           0 kB
AnonPages:      270728 kB
Mapped:          15344 kB
Slab:           527584 kB
PageTables:       5928 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   485800 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71568 MiB
End job on node114 at 2011-04-25 20:17:36