Trace number 1833891

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.02 1200.71

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UTI-20-5p1.cnf
MD5SUM10eca282b9263f77903cd90a479b46ee
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark393.634
Satisfiable
(Un)Satisfiability was proved
Number of variables225926
Number of clauses1207249
Sum of the clauses size2914329
Maximum clause length10
Minimum clause length1
Number of clauses of size 111403
Number of clauses of size 2854772
Number of clauses of size 3284354
Number of clauses of size 46300
Number of clauses of size 525200
Number of clauses of size over 525220

Solver Data 

0.00/0.00	c Parsing...
1.08/1.19	c ==============================================================================
1.08/1.19	c |           |     ORIGINAL     |              LEARNT              |          |
1.08/1.19	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.08/1.19	c ==============================================================================
1.08/1.19	c |         0 | 1195096  2901426 |  358528       0        0     nan |  0.000 % |
7.98/8.05	c |         0 |  838748  2352556 |      --       0       --      -- |     --   | -102684/26671
7.98/8.06	c ==============================================================================
7.98/8.06	c Result  :   #vars: 121873   #clauses: 838748   #literals: 2352556
7.98/8.06	c CPU time:   7.77882 s
7.98/8.06	c ==============================================================================
8.78/8.89	c This is MiniSat 2.0 beta
8.78/8.89	c WARNING: for repeatability, setting FPU to use double precision
8.78/8.89	c ============================[ Problem Statistics ]=============================
8.78/8.90	c |                                                                             |
8.87/8.90	c |  Number of variables:  121873                                               |
8.87/8.90	c |  Number of clauses:    838748                                               |
8.87/9.42	c |  Parsing time:         0.46         s                                       |
8.87/9.45	c ============================[ Search Statistics ]==============================
8.87/9.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.87/9.45	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
8.87/9.45	c ===============================================================================
8.87/9.45	c |         0 |  121873   838748  2352556 |   279582        0    nan |  0.000 % |
8.87/9.61	c |       104 |  121870   838748  2352556 |   279582      102     81 |  0.252 % |
8.87/9.75	c |       206 |  121870   838748  2352556 |   279582      204     80 |  0.252 % |
9.86/9.94	c |       306 |  121868   838748  2352556 |   279582      304     71 |  0.252 % |
10.26/10.36	c |       419 |  121637   838748  2352556 |   279582      413     58 |  5.218 % |
10.36/10.45	c |       521 |  121637   838748  2352556 |   279582      515     52 |  5.218 % |
10.36/10.49	c |       632 |  121637   838748  2352556 |   279582      626     51 |  5.218 % |
10.46/10.55	c |       755 |  121637   838748  2352556 |   279582      749     49 |  5.218 % |
10.56/10.62	c |       855 |  121636   838748  2352556 |   279582      848     48 |  5.224 % |
10.66/10.70	c |       965 |  121636   838748  2352556 |   279582      958     47 |  5.224 % |
10.76/10.80	c |      1089 |  121636   838748  2352556 |   279582     1082     55 |  5.224 % |
10.86/10.93	c |      1222 |  115506   788648  2221139 |   279582     1211     58 |  5.224 % |
10.96/11.03	c |      1322 |  115500   788648  2221139 |   279582     1310     63 |  5.229 % |
11.16/11.26	c |      1434 |  115371   788648  2221139 |   279582     1418     60 |  5.575 % |
11.26/11.34	c |      1555 |  115371   788648  2221139 |   279582     1539     63 |  5.575 % |
11.46/11.55	c |      1689 |  115322   788648  2221139 |   279582     1673     64 |  5.575 % |
11.56/11.69	c |      1835 |  115259   788648  2221139 |   279582     1816     65 |  7.288 % |
11.66/11.78	c |      1936 |  115259   788648  2221139 |   279582     1917     63 |  7.288 % |
11.86/11.90	c |      2046 |  115259   788648  2221139 |   279582     2027     62 |  7.288 % |
11.86/11.99	c |      2167 |  115259   788648  2221139 |   279582     2148     60 |  7.288 % |
11.96/12.09	c |      2300 |  115259   788648  2221139 |   279582     2281     61 |  7.288 % |
12.16/12.29	c |      2446 |  115258   788648  2221139 |   279582     2426     60 |  7.506 % |
12.46/12.54	c |      2607 |  112725   769033  2171143 |   279582     2566     59 |  7.506 % |
12.56/12.69	c |      2707 |  112721   769033  2171143 |   279582     2665     59 |  7.516 % |
12.76/12.88	c |      2817 |  112703   769033  2171143 |   279582     2774     59 |  7.539 % |
12.96/13.00	c |      2938 |  112703   769033  2171143 |   279582     2895     61 |  7.539 % |
13.06/13.16	c |      3071 |  112701   769033  2171143 |   279582     3027     60 |  7.550 % |
13.16/13.25	c |      3220 |  112700   769033  2171143 |   279582     3175     60 |  7.554 % |
13.36/13.45	c |      3380 |  112700   769033  2171143 |   279582     3335     59 |  7.554 % |
13.56/13.69	c |      3556 |  112605   769033  2171143 |   279582     3509     58 |  8.783 % |
13.76/13.81	c |      3656 |  112605   769033  2171143 |   279582     3609     58 |  8.783 % |
13.86/13.91	c |      3768 |  112605   769033  2171143 |   279582     3721     58 |  8.783 % |
14.06/14.10	c |      3889 |  111092   756638  2139183 |   279582     3830     58 |  9.430 % |
14.16/14.25	c |      4022 |  111078   756638  2139183 |   279582     3962     59 |  9.512 % |
14.26/14.37	c |      4170 |  111055   756638  2139183 |   279582     4108     59 |  9.707 % |
14.56/14.66	c |      4333 |  111000   756638  2139183 |   279582     4271     59 |  9.707 % |
14.66/14.77	c |      4511 |  111000   756638  2139183 |   279582     4449     58 |  9.707 % |
14.86/14.99	c |      4704 |  111000   756638  2139183 |   279582     4642     61 |  9.707 % |
15.36/15.46	c |      4804 |  110614   756638  2139183 |   279582     4736     60 | 11.449 % |
15.56/15.69	c |      4914 |  106383   725019  2059235 |   279582     4823     59 | 12.781 % |
15.76/15.86	c |      5035 |  106383   725019  2059235 |   279582     4944     59 | 12.781 % |
16.06/16.12	c |      5168 |  106185   725019  2059235 |   279582     5074     58 | 13.638 % |
16.16/16.24	c |      5314 |  106087   725019  2059235 |   279582     5220     58 | 13.638 % |
16.46/16.52	c |      5474 |  105970   725019  2059235 |   279582     5378     57 | 14.264 % |
16.66/16.75	c |      5657 |  105941   725019  2059235 |   279582     5554     56 | 15.091 % |
16.96/17.00	c |      5850 |  105920   725019  2059235 |   279582     5744     56 | 15.131 % |
17.25/17.37	c |      6062 |  105920   725019  2059235 |   279582     5956     56 | 15.131 % |
17.46/17.51	c |      6162 |  103433   705891  2011815 |   279582     6028     56 | 15.131 % |
17.56/17.65	c |      6272 |  103433   705891  2011815 |   279582     6138     56 | 15.131 % |
17.75/17.82	c |      6393 |  103433   705891  2011815 |   279582     6259     56 | 15.131 % |
17.85/17.96	c |      6532 |  103433   705891  2011815 |   279582     6398     57 | 15.131 % |
18.05/18.16	c |      6678 |  103418   705891  2011815 |   279582     6543     57 | 15.206 % |
18.25/18.39	c |      6841 |  103386   705891  2011815 |   279582     6706     56 | 15.206 % |
18.45/18.59	c |      7017 |  103373   705891  2011815 |   279582     6881     56 | 15.229 % |
19.05/19.10	c |      7210 |  100792   686849  1962827 |   279582     7046     56 | 17.298 % |
19.45/19.54	c |      7423 |  100403   686849  1962827 |   279582     7244     56 | 19.293 % |
19.85/19.91	c |      7656 |  100205   686849  1962827 |   279582     7467     56 | 21.284 % |
20.05/20.12	c |      7756 |   99981   686849  1962827 |   279582     7566     56 | 21.350 % |
20.35/20.43	c |      7866 |   99693   686849  1962827 |   279582     7675     55 | 21.359 % |
20.65/20.71	c |      7988 |   95708   654806  1882020 |   279582     7781     55 | 22.075 % |
20.85/20.90	c |      8121 |   95705   654806  1882020 |   279582     7912     55 | 22.110 % |
21.05/21.14	c |      8267 |   95674   654806  1882020 |   279582     8055     55 | 22.179 % |
21.45/21.59	c |      8427 |   95651   654806  1882020 |   279582     8213     54 | 22.477 % |
21.95/22.02	c |      8603 |   95643   654806  1882020 |   279582     8385     54 | 23.899 % |
22.25/22.36	c |      8796 |   92686   633094  1825638 |   279582     8546     54 | 23.991 % |
22.55/22.66	c |      9011 |   92609   633094  1825638 |   279582     8758     54 | 24.216 % |
22.85/22.91	c |      9244 |   92603   633094  1825638 |   279582     8989     55 | 24.232 % |
23.35/23.42	c |      9503 |   92480   633094  1825638 |   279582     9244     55 | 24.914 % |
23.45/23.52	c |      9606 |   92467   633094  1825638 |   279582     9345     55 | 25.411 % |
23.55/23.67	c |      9716 |   92467   633094  1825638 |   279582     9455     56 | 25.411 % |
23.75/23.83	c |      9837 |   90904   620920  1794348 |   279582     9536     55 | 25.411 % |
23.95/24.07	c |      9972 |   90859   620920  1794348 |   279582     9670     56 | 25.604 % |
24.15/24.29	c |     10122 |   90812   620920  1794348 | 2147483647     9819     56 | 25.755 % |
24.45/24.50	c |     10283 |   90810   620920  1794348 | 2147483647     9979     56 | 25.764 % |
24.65/24.72	c |     10459 |   90808   620920  1794348 | 2147483647    10154     56 | 25.773 % |
25.25/25.39	c |     10652 |   90758   620920  1794348 | 2147483647    10345     56 | 25.938 % |
25.65/25.74	c |     10865 |   90258   617837  1787160 | 2147483647    10553     56 | 25.963 % |
26.05/26.16	c |     11098 |   90238   617837  1787160 | 2147483647    10785     56 | 25.973 % |
26.64/26.74	c |     11354 |   90116   617837  1787160 | 2147483647    11036     56 | 26.398 % |
27.24/27.31	c |     11635 |   89687   606014  1753452 | 2147483647    11300     56 | 26.409 % |
27.34/27.42	c |     11736 |   89687   606014  1753452 | 2147483647    11401     56 | 26.409 % |
27.54/27.68	c |     11846 |   89684   606014  1753452 | 2147483647    11509     56 | 26.464 % |
27.74/27.82	c |     11967 |   89684   606014  1753452 | 2147483647    11630     56 | 26.464 % |
27.95/28.07	c |     12102 |   89684   606014  1753452 | 2147483647    11765     57 | 26.464 % |
28.15/28.25	c |     12248 |   89684   606014  1753452 | 2147483647    11911     57 | 26.464 % |
28.55/28.67	c |     12408 |   89684   606014  1753452 | 2147483647    12071     57 | 26.464 % |
28.65/28.77	c |     12586 |   89684   606014  1753452 | 2147483647    12249     57 | 26.464 % |
28.84/28.98	c |     12779 |   89684   606014  1753452 | 2147483647    12442     58 | 26.464 % |
29.04/29.13	c |     12991 |   89620   605632  1752607 | 2147483647    12653     58 | 26.464 % |
29.55/29.60	c |     13224 |   89581   605632  1752607 | 2147483647    12881     58 | 26.923 % |
29.74/29.88	c |     13480 |   89567   605632  1752607 | 2147483647    13137     59 | 26.923 % |
30.34/30.41	c |     13761 |   89517   605632  1752607 | 2147483647    13415     59 | 26.931 % |
30.65/30.77	c |     14070 |   89517   605632  1752607 | 2147483647    13724     60 | 26.931 % |
30.75/30.87	c |     14170 |   89051   598224  1731925 | 2147483647    13810     61 | 26.931 % |
30.94/31.06	c |     14280 |   89050   598224  1731925 | 2147483647    13918     61 | 27.124 % |
31.14/31.24	c |     14403 |   89042   598224  1731925 | 2147483647    14040     61 | 27.136 % |
31.24/31.37	c |     14537 |   89042   598224  1731925 | 2147483647    14174     61 | 27.136 % |
31.34/31.45	c |     14683 |   89042   598224  1731925 | 2147483647    14320     61 | 27.136 % |
31.54/31.66	c |     14844 |   89018   598224  1731925 | 2147483647    14480     61 | 27.177 % |
31.64/31.75	c |     15020 |   89018   598224  1731925 | 2147483647    14656     61 | 27.177 % |
32.04/32.12	c |     15213 |   89003   598224  1731925 | 2147483647    14848     61 | 27.177 % |
32.54/32.65	c |     15425 |   88647   595362  1724745 | 2147483647    15050     61 | 27.263 % |
32.85/32.92	c |     15662 |   88647   595362  1724745 | 2147483647    15287     62 | 27.263 % |
33.14/33.25	c |     15920 |   88646   595362  1724745 | 2147483647    15544     63 | 27.310 % |
33.54/33.66	c |     16201 |   88645   595362  1724745 | 2147483647    15824     64 | 27.319 % |
34.14/34.20	c |     16514 |   88612   595362  1724745 | 2147483647    16133     63 | 27.659 % |
34.64/34.73	c |     16854 |   88566   595362  1724745 | 2147483647    16471     64 | 27.872 % |
34.74/34.90	c |     16954 |   87905   590292  1711749 | 2147483647    16543     64 | 27.872 % |
35.04/35.12	c |     17073 |   87905   590292  1711749 | 2147483647    16662     64 | 27.872 % |
35.23/35.32	c |     17195 |   87905   590292  1711749 | 2147483647    16783     64 | 27.977 % |
35.33/35.46	c |     17328 |   87905   590292  1711749 | 2147483647    16916     64 | 27.977 % |
35.63/35.73	c |     17478 |   87904   590292  1711749 | 2147483647    17066     65 | 27.977 % |
35.94/36.00	c |     17638 |   87902   590292  1711749 | 2147483647    17225     65 | 27.987 % |
36.14/36.25	c |     17816 |   87902   590292  1711749 | 2147483647    17403     66 | 27.987 % |
36.34/36.45	c |     18009 |   87899   590292  1711749 | 2147483647    17595     65 | 27.996 % |
36.44/36.59	c |     18221 |   87899   590292  1711749 | 2147483647    17807     66 | 27.996 % |
36.74/36.80	c |     18454 |   87899   590292  1711749 | 2147483647    18040     66 | 27.996 % |
37.04/37.17	c |     18710 |   87749   589554  1710023 | 2147483647    18293     66 | 28.000 % |
37.54/37.61	c |     18993 |   87749   589554  1710023 | 2147483647    18576     66 | 28.000 % |
37.84/37.90	c |     19303 |   87749   589554  1710023 | 2147483647    18886     67 | 28.000 % |
38.44/38.55	c |     19645 |   87749   589554  1710023 | 2147483647    19228     68 | 28.000 % |
39.04/39.13	c |     20018 |   87749   589554  1710023 | 2147483647    19601     68 | 28.000 % |
39.14/39.29	c |     20119 |   87749   589554  1710023 | 2147483647    19702     68 | 28.000 % |
39.44/39.58	c |     20229 |   87738   589457  1709752 | 2147483647    19810     68 | 28.009 % |
39.54/39.66	c |     20350 |   87738   589457  1709752 | 2147483647    19931     68 | 28.009 % |
39.93/40.02	c |     20485 |   87738   589457  1709752 | 2147483647    20066     67 | 28.009 % |
40.13/40.28	c |     20632 |   87737   589457  1709752 | 2147483647    20212     67 | 28.019 % |
40.43/40.59	c |     20794 |   87737   589457  1709752 | 2147483647    20374     68 | 28.019 % |
40.73/40.82	c |     20971 |   87736   589457  1709752 | 2147483647    20550     68 | 28.019 % |
40.93/41.05	c |     21164 |   87736   589457  1709752 | 2147483647    20743     68 | 28.019 % |
41.33/41.45	c |     21376 |   87736   589457  1709752 | 2147483647    20955     69 | 28.019 % |
41.64/41.74	c |     21610 |   87736   589457  1709752 | 2147483647    21189     69 | 28.019 % |
41.93/42.07	c |     21869 |   87736   589457  1709752 | 2147483647    21448     69 | 28.019 % |
42.33/42.47	c |     22153 |   87725   589348  1709448 | 2147483647    21732     69 | 28.019 % |
42.74/42.84	c |     22468 |   87725   589348  1709448 | 2147483647    22047     69 | 28.019 % |
43.33/43.47	c |     22807 |   87725   589348  1709448 | 2147483647    22386     69 | 28.019 % |
43.83/44.00	c |     23181 |   87722   589348  1709448 | 2147483647    22759     70 | 28.028 % |
44.53/44.64	c |     23590 |   87722   589348  1709448 | 2147483647    23168     70 | 28.028 % |
44.73/44.82	c |     23690 |   87722   589348  1709448 | 2147483647    23268     70 | 28.028 % |
44.93/45.01	c |     23802 |   87714   589255  1709185 | 2147483647    23379     70 | 28.028 % |
45.12/45.20	c |     23924 |   87714   589255  1709185 | 2147483647    23501     70 | 28.028 % |
45.22/45.32	c |     24057 |   87714   589255  1709185 | 2147483647    23634     70 | 28.028 % |
45.42/45.55	c |     24205 |   87714   589255  1709185 | 2147483647    23782     71 | 28.028 % |
45.72/45.88	c |     24367 |   87714   589255  1709185 | 2147483647    23944     71 | 28.028 % |
46.03/46.11	c |     24543 |   87714   589255  1709185 | 2147483647    24120     71 | 28.028 % |
46.42/46.51	c |     24736 |   87626   589255  1709185 | 2147483647    24311     71 | 28.195 % |
46.72/46.83	c |     24948 |   87626   589255  1709185 | 2147483647    24523     71 | 28.195 % |
47.23/47.33	c |     25183 |   87623   589255  1709185 | 2147483647    24757     72 | 28.232 % |
47.62/47.79	c |     25440 |   87607   589255  1709185 | 2147483647    25013     72 | 28.277 % |
48.12/48.27	c |     25724 |   87411   587087  1703585 | 2147483647    25272     72 | 28.277 % |
48.43/48.52	c |     26034 |   87408   587087  1703585 | 2147483647    25580     72 | 28.302 % |
48.83/48.98	c |     26378 |   87398   587087  1703585 | 2147483647    25924     73 | 28.302 % |
49.63/49.75	c |     26752 |   87394   587087  1703585 | 2147483647    26297     73 | 28.311 % |
50.33/50.41	c |     27161 |   87388   587087  1703585 | 2147483647    26703     74 | 28.328 % |
51.03/51.10	c |     27610 |   87388   587087  1703585 | 2147483647    27152     74 | 28.328 % |
51.13/51.25	c |     27710 |   87349   586297  1701386 | 2147483647    27221     74 | 28.328 % |
51.33/51.40	c |     27821 |   87349   586297  1701386 | 2147483647    27332     74 | 28.328 % |
51.53/51.62	c |     27942 |   87349   586297  1701386 | 2147483647    27453     74 | 28.328 % |
51.73/51.88	c |     28081 |   87348   586297  1701386 | 2147483647    27591     74 | 28.329 % |
51.93/52.03	c |     28228 |   87344   586297  1701386 | 2147483647    27736     74 | 28.343 % |
52.13/52.27	c |     28388 |   87344   586297  1701386 | 2147483647    27896     75 | 28.343 % |
52.43/52.59	c |     28564 |   87344   586297  1701386 | 2147483647    28072     75 | 28.343 % |
52.83/52.91	c |     28759 |   87342   586297  1701386 | 2147483647    28266     75 | 28.345 % |
53.13/53.23	c |     28974 |   87342   586297  1701386 | 2147483647    28481     75 | 28.345 % |
53.43/53.50	c |     29209 |   87342   586297  1701386 | 2147483647    28715     76 | 28.346 % |
53.73/53.84	c |     29465 |   87341   586297  1701386 | 2147483647    28971     76 | 28.346 % |
54.13/54.23	c |     29752 |   87341   586297  1701386 | 2147483647    29258     76 | 28.346 % |
54.63/54.73	c |     30063 |   87327   586108  1700879 | 2147483647    29569     78 | 28.346 % |
55.13/55.29	c |     30403 |   87325   586108  1700879 | 2147483647    29907     79 | 28.348 % |
55.53/55.65	c |     30775 |   87322   586108  1700879 | 2147483647    30278     79 | 28.355 % |
56.22/56.36	c |     31184 |   87322   586108  1700879 | 2147483647    30687     80 | 28.355 % |
56.92/57.04	c |     31635 |   87322   586108  1700879 | 2147483647    31138     80 | 28.355 % |
57.63/57.78	c |     32128 |   87278   585435  1699003 | 2147483647    31523     81 | 28.386 % |
57.83/57.97	c |     32228 |   87278   585435  1699003 | 2147483647    31623     81 | 28.386 % |
58.03/58.16	c |     32339 |   87257   585435  1699003 | 2147483647    31732     81 | 28.462 % |
58.33/58.46	c |     32462 |   87234   585435  1699003 | 2147483647    31855     82 | 28.462 % |
58.63/58.71	c |     32598 |   87234   585435  1699003 | 2147483647    31991     82 | 28.462 % |
58.93/59.00	c |     32744 |   87234   585435  1699003 | 2147483647    32137     82 | 28.462 % |
59.13/59.26	c |     32904 |   87234   585435  1699003 | 2147483647    32297     82 | 28.462 % |
59.42/59.53	c |     33087 |   87234   585435  1699003 | 2147483647    32480     82 | 28.462 % |
59.92/60.01	c |     33282 |   87234   585435  1699003 | 2147483647    32675     82 | 28.462 % |
60.43/60.52	c |     33494 |   87219   585435  1699003 | 2147483647    32885     82 | 28.507 % |
60.72/60.81	c |     33727 |   87217   585435  1699003 | 2147483647    33117     83 | 28.514 % |
61.02/61.14	c |     33983 |   87217   585435  1699003 | 2147483647    33373     84 | 28.514 % |
61.53/61.64	c |     34265 |   87217   585435  1699003 | 2147483647    33655     84 | 28.514 % |
62.12/62.22	c |     34584 |   87122   584202  1695899 | 2147483647    33911     84 | 28.514 % |
62.52/62.61	c |     34927 |   87121   584202  1695899 | 2147483647    34253     85 | 28.515 % |
62.82/62.93	c |     35299 |   87121   584202  1695899 | 2147483647    34625     85 | 28.515 % |
63.62/63.77	c |     35708 |   87116   584202  1695899 | 2147483647    35032     85 | 28.519 % |
64.32/64.42	c |     36157 |   87110   584202  1695899 | 2147483647    35480     86 | 28.545 % |
65.42/65.53	c |     36650 |   87110   584202  1695899 | 2147483647    35973     87 | 28.545 % |
66.42/66.58	c |     37193 |   87081   583967  1695296 | 2147483647    36512     87 | 28.557 % |
66.62/66.75	c |     37293 |   87081   583967  1695296 | 2147483647    36612     87 | 28.557 % |
66.82/66.97	c |     37405 |   87081   583967  1695296 | 2147483647    36724     87 | 28.557 % |
67.12/67.20	c |     37526 |   87081   583967  1695296 | 2147483647    36845     87 | 28.557 % |
67.42/67.58	c |     37659 |   87081   583967  1695296 | 2147483647    36978     87 | 28.557 % |
67.72/67.86	c |     37807 |   87081   583967  1695296 | 2147483647    37126     87 | 28.557 % |
68.13/68.24	c |     37968 |   87078   583967  1695296 | 2147483647    37286     87 | 28.565 % |
68.42/68.56	c |     38147 |   87078   583967  1695296 | 2147483647    37465     88 | 28.565 % |
68.52/68.69	c |     38340 |   87078   583967  1695296 | 2147483647    37658     88 | 28.565 % |
68.82/68.91	c |     38552 |   87078   583967  1695296 | 2147483647    37870     88 | 28.565 % |
69.23/69.30	c |     38786 |   87078   583967  1695296 | 2147483647    38104     88 | 28.565 % |
69.72/69.81	c |     39043 |   87077   583967  1695296 | 2147483647    38360     88 | 28.571 % |
70.12/70.27	c |     39325 |   87076   583967  1695296 | 2147483647    38641     89 | 28.572 % |
70.42/70.53	c |     39634 |   87076   583967  1695296 | 2147483647    38950     88 | 28.572 % |
71.02/71.11	c |     39978 |   87036   583682  1694541 | 2147483647    39280     89 | 28.595 % |
71.52/71.60	c |     40350 |   87032   583682  1694541 | 2147483647    39651     89 | 28.611 % |
72.11/72.24	c |     40761 |   87025   583682  1694541 | 2147483647    40061     90 | 28.612 % |
72.81/72.92	c |     41212 |   87025   583682  1694541 | 2147483647    40512     90 | 28.612 % |
73.71/73.85	c |     41707 |   87021   583682  1694541 | 2147483647    41005     90 | 28.617 % |
74.81/74.96	c |     42251 |   87021   583682  1694541 | 2147483647    41549     92 | 28.617 % |
75.91/76.08	c |     42847 |   86984   582991  1692654 | 2147483647    42003     93 | 28.644 % |
76.21/76.34	c |     42947 |   86983   582991  1692654 | 2147483647    42102     93 | 28.652 % |
76.31/76.45	c |     43057 |   86903   582991  1692654 | 2147483647    42211     93 | 29.148 % |
76.61/76.78	c |     43178 |   86853   582991  1692654 | 2147483647    42332     93 | 29.148 % |
76.81/76.96	c |     43312 |   86853   582991  1692654 | 2147483647    42466     93 | 29.148 % |
77.21/77.34	c |     43459 |   86853   582991  1692654 | 2147483647    42613     93 | 29.148 % |
77.51/77.64	c |     43624 |   86801   582991  1692654 | 2147483647    42776     93 | 29.466 % |
77.71/77.84	c |     43800 |   86801   582991  1692654 | 2147483647    42952     93 | 29.466 % |
77.91/78.04	c |     43993 |   86800   582991  1692654 | 2147483647    43144     94 | 29.474 % |
78.11/78.26	c |     44207 |   86799   582991  1692654 | 2147483647    43357     94 | 29.475 % |
78.31/78.47	c |     44440 |   86799   582991  1692654 | 2147483647    43590     95 | 29.475 % |
78.71/78.80	c |     44697 |   86799   582991  1692654 | 2147483647    43847     95 | 29.475 % |
79.12/79.24	c |     44979 |   86799   582991  1692654 | 2147483647    44129     95 | 29.475 % |
79.71/79.84	c |     45289 |   86799   582991  1692654 | 2147483647    44439     95 | 29.475 % |
80.31/80.48	c |     45630 |   86795   582991  1692654 | 2147483647    44779     95 | 29.486 % |
81.21/81.31	c |     46003 |   85938   568933  1654211 | 2147483647    45021     96 | 29.486 % |
81.51/81.69	c |     46412 |   85938   568933  1654211 | 2147483647    45430     96 | 29.486 % |
82.31/82.47	c |     46861 |   85931   568933  1654211 | 2147483647    45877     97 | 29.505 % |
83.21/83.39	c |     47354 |   85927   568933  1654211 | 2147483647    46369     98 | 29.511 % |
84.21/84.39	c |     47899 |   85924   568933  1654211 | 2147483647    46912     98 | 29.521 % |
85.50/85.65	c |     48495 |   85924   568933  1654211 | 2147483647    47508     99 | 29.521 % |
86.61/86.78	c |     49155 |   85917   568933  1654211 | 2147483647    48164    100 | 29.740 % |
86.91/87.04	c |     49255 |   85625   563869  1639995 | 2147483647    48234    100 | 29.750 % |
87.11/87.25	c |     49365 |   85623   563869  1639995 | 2147483647    48342    100 | 29.761 % |
87.31/87.49	c |     49499 |   85623   563869  1639995 | 2147483647    48476     99 | 29.761 % |
87.61/87.71	c |     49632 |   85621   563869  1639995 | 2147483647    48606     99 | 29.827 % |
87.71/87.86	c |     49778 |   85621   563869  1639995 | 2147483647    48752    100 | 29.827 % |
88.11/88.20	c |     49938 |   85620   563869  1639995 | 2147483647    48911    100 | 29.828 % |
88.31/88.47	c |     50117 |   85615   563869  1639995 | 2147483647    49089    100 | 29.837 % |
88.61/88.72	c |     50312 |   85615   563869  1639995 | 2147483647    49284    100 | 29.837 % |
89.20/89.35	c |     50524 |   85602   563869  1639995 | 2147483647    49495    101 | 29.856 % |
89.60/89.70	c |     50758 |   85601   563869  1639995 | 2147483647    49727    101 | 29.865 % |
89.90/90.06	c |     51014 |   85599   563869  1639995 | 2147483647    49982    101 | 29.871 % |
90.30/90.49	c |     51296 |   85599   563869  1639995 | 2147483647    50264    101 | 29.871 % |
91.00/91.15	c |     51605 |   85599   563869  1639995 | 2147483647    50573    101 | 29.871 % |
91.50/91.69	c |     51950 |   85595   563869  1639995 | 2147483647    50916    101 | 29.881 % |
92.00/92.17	c |     52323 |   85593   563869  1639995 | 2147483647    51288    102 | 29.890 % |
92.80/93.00	c |     52732 |   85519   563869  1639995 | 2147483647    51694    103 | 30.497 % |
93.70/93.88	c |     53181 |   84703   547849  1595364 | 2147483647    51734    103 | 30.499 % |
94.20/94.35	c |     53676 |   84703   547849  1595364 | 2147483647    52229    103 | 30.499 % |
95.20/95.37	c |     54220 |   84702   547849  1595364 | 2147483647    52772    104 | 30.501 % |
96.50/96.67	c |     54818 |   84702   547849  1595364 | 2147483647    53370    105 | 30.501 % |
97.51/97.69	c |     55473 |   84702   547849  1595364 | 2147483647    54025    106 | 30.501 % |
98.60/98.78	c |     56194 |   84702   547849  1595364 | 2147483647    54746    108 | 30.501 % |
98.81/98.97	c |     56296 |   84701   547849  1595364 | 2147483647    54847    108 | 30.502 % |
99.00/99.14	c |     56406 |   84701   547849  1595364 | 2147483647    54957    108 | 30.502 % |
99.20/99.39	c |     56529 |   84701   547849  1595364 | 2147483647    55080    108 | 30.502 % |
99.40/99.55	c |     56666 |   84701   547849  1595364 | 2147483647    55217    108 | 30.502 % |
99.60/99.78	c |     56814 |   84699   547849  1595364 | 2147483647    55363    108 | 30.504 % |
99.70/99.88	c |     56975 |   84699   547849  1595364 | 2147483647    55524    108 | 30.504 % |
99.90/100.09	c |     57154 |   84699   547849  1595364 | 2147483647    55703    108 | 30.504 % |
100.50/100.61	c |     57352 |   84617   547849  1595364 | 2147483647    55899    108 | 30.630 % |
100.90/101.04	c |     57564 |   84617   547849  1595364 | 2147483647    56111    108 | 30.630 % |
101.60/101.71	c |     57798 |   84543   547031  1593425 | 2147483647    56287    109 | 30.630 % |
102.10/102.21	c |     58054 |   84542   547031  1593425 | 2147483647    56542    109 | 30.631 % |
102.59/102.77	c |     58338 |   84533   547031  1593425 | 2147483647    56822    109 | 30.649 % |
103.31/103.42	c |     58650 |   84533   547031  1593425 | 2147483647    57133    109 | 30.738 % |
104.00/104.13	c |     58989 |   84533   547031  1593425 | 2147483647    57472    110 | 30.738 % |
104.70/104.82	c |     59362 |   84533   547031  1593425 | 2147483647    57845    110 | 30.738 % |
105.20/105.39	c |     59775 |   84533   547031  1593425 | 2147483647    58258    111 | 30.738 % |
105.80/105.97	c |     60226 |   84533   547031  1593425 | 2147483647    58709    112 | 30.738 % |
106.50/106.60	c |     60719 |   84533   547031  1593425 | 2147483647    59202    112 | 30.738 % |
107.50/107.68	c |     61263 |   84532   547031  1593425 | 2147483647    59745    112 | 30.739 % |
108.39/108.50	c |     61859 |   84529   547031  1593425 | 2147483647    60339    112 | 30.743 % |
109.09/109.22	c |     62515 |   84529   547031  1593425 | 2147483647    60995    113 | 30.743 % |
110.29/110.47	c |     63237 |   84405   544678  1586827 | 2147483647    61647    113 | 30.743 % |
111.40/111.50	c |     64029 |   84401   544678  1586827 | 2147483647    62438    114 | 30.753 % |
111.60/111.74	c |     64129 |   84397   544678  1586827 | 2147483647    62536    114 | 30.790 % |
111.90/112.01	c |     64243 |   84396   544678  1586827 | 2147483647    62649    114 | 30.791 % |
112.00/112.20	c |     64366 |   84395   544678  1586827 | 2147483647    62770    114 | 30.818 % |
112.30/112.40	c |     64503 |   84393   544678  1586827 | 2147483647    62906    114 | 30.819 % |
112.40/112.59	c |     64649 |   84393   544678  1586827 | 2147483647    63052    114 | 30.819 % |
112.79/112.93	c |     64809 |   84378   544678  1586827 | 2147483647    63212    114 | 30.819 % |
113.10/113.29	c |     64988 |   84366   544678  1586827 | 2147483647    63389    114 | 31.167 % |
113.59/113.76	c |     65183 |   84366   544678  1586827 | 2147483647    63584    114 | 31.167 % |
113.89/114.08	c |     65395 |   84364   544678  1586827 | 2147483647    63794    114 | 31.169 % |
114.20/114.33	c |     65630 |   84363   544678  1586827 | 2147483647    64028    114 | 31.169 % |
114.89/115.02	c |     65887 |   84363   544678  1586827 | 2147483647    64285    114 | 31.169 % |
115.19/115.39	c |     66168 |   84361   544678  1586827 | 2147483647    64565    115 | 31.176 % |
115.59/115.78	c |     66478 |   84361   544678  1586827 | 2147483647    64875    115 | 31.176 % |
116.19/116.33	c |     66817 |   84360   544678  1586827 | 2147483647    65213    115 | 31.182 % |
116.59/116.79	c |     67192 |   84360   544678  1586827 | 2147483647    65588    115 | 31.182 % |
117.58/117.70	c |     67602 |   84359   544678  1586827 | 2147483647    65998    116 | 31.182 % |
118.28/118.44	c |     68051 |   83870   540364  1575382 | 2147483647    66190    115 | 31.222 % |
118.88/119.05	c |     68548 |   83870   540364  1575382 | 2147483647    66687    115 | 31.222 % |
119.88/120.08	c |     69093 |   83870   540364  1575382 | 2147483647    67232    116 | 31.222 % |
121.09/121.26	c |     69689 |   83866   540364  1575382 | 2147483647    67827    116 | 31.232 % |
122.09/122.28	c |     70345 |   83850   540364  1575382 | 2147483647    68480    116 | 31.256 % |
123.48/123.62	c |     71066 |   83848   540364  1575382 | 2147483647    69198    116 | 31.260 % |
124.58/124.73	c |     71864 |   83846   540364  1575382 | 2147483647    69993    117 | 31.263 % |
126.29/126.49	c |     72735 |   83844   540364  1575382 | 2147483647    70863    117 | 31.264 % |
126.48/126.70	c |     72837 |   83841   540364  1575382 | 2147483647    70962    117 | 31.266 % |
126.78/126.93	c |     72948 |   83767   539404  1572883 | 2147483647    70858    117 | 31.309 % |
126.98/127.17	c |     73071 |   83761   539404  1572883 | 2147483647    70980    117 | 31.310 % |
127.18/127.39	c |     73205 |   83761   539404  1572883 | 2147483647    71114    117 | 31.310 % |
127.58/127.73	c |     73351 |   83757   539404  1572883 | 2147483647    71259    117 | 31.313 % |
127.88/128.08	c |     73517 |   83755   539404  1572883 | 2147483647    71423    117 | 31.315 % |
128.48/128.66	c |     73693 |   83675   539404  1572883 | 2147483647    71596    117 | 31.730 % |
129.08/129.20	c |     73886 |   83675   539404  1572883 | 2147483647    71789    117 | 31.730 % |
129.38/129.51	c |     74099 |   83648   539404  1572883 | 2147483647    72000    117 | 31.800 % |
129.88/130.02	c |     74335 |   83643   539404  1572883 | 2147483647    72235    117 | 31.818 % |
130.38/130.53	c |     74594 |   83643   539404  1572883 | 2147483647    72494    118 | 31.818 % |
130.78/130.93	c |     74875 |   83643   539404  1572883 | 2147483647    72775    118 | 31.818 % |
131.17/131.35	c |     75184 |   83643   539404  1572883 | 2147483647    73084    118 | 31.818 % |
131.58/131.75	c |     75524 |   83643   539404  1572883 | 2147483647    73424    118 | 31.818 % |
132.48/132.60	c |     75896 |   83643   539404  1572883 | 2147483647    73796    119 | 31.818 % |
132.99/133.11	c |     76307 |   83638   539404  1572883 | 2147483647    74204    119 | 31.835 % |
133.68/133.82	c |     76758 |   83638   539404  1572883 | 2147483647    74655    119 | 31.835 % |
134.48/134.69	c |     77251 |   83638   539404  1572883 | 2147483647    75148    119 | 31.835 % |
135.28/135.46	c |     77796 |   83637   539404  1572883 | 2147483647    75692    120 | 31.839 % |
136.58/136.71	c |     78393 |   83637   539404  1572883 | 2147483647    76288    120 | 31.847 % |
137.47/137.60	c |     79051 |   83055   528166  1541640 | 2147483647    76797    120 | 31.860 % |
138.48/138.66	c |     79772 |   83055   528166  1541640 | 2147483647    77518    120 | 31.860 % |
140.27/140.42	c |     80565 |   83042   528166  1541640 | 2147483647    78308    121 | 31.906 % |
141.37/141.50	c |     81436 |   83042   528166  1541640 | 2147483647    79179    121 | 31.906 % |
143.97/144.17	c |     82397 |   83042   528166  1541640 | 2147483647    80140    122 | 31.906 % |
144.17/144.36	c |     82497 |   83042   528166  1541640 | 2147483647    80240    122 | 31.906 % |
144.27/144.49	c |     82609 |   83042   528166  1541640 | 2147483647    80352    122 | 31.906 % |
144.47/144.63	c |     82731 |   83042   528166  1541640 | 2147483647    80474    122 | 31.906 % |
144.77/144.96	c |     82864 |   83042   528166  1541640 | 2147483647    80607    122 | 31.906 % |
145.07/145.21	c |     83010 |   83039   528166  1541640 | 2147483647    80751    122 | 31.988 % |
145.27/145.42	c |     83170 |   83039   528166  1541640 | 2147483647    80911    122 | 31.988 % |
145.67/145.84	c |     83347 |   83039   528166  1541640 | 2147483647    81088    122 | 31.988 % |
145.97/146.17	c |     83540 |   83039   528166  1541640 | 2147483647    81281    122 | 31.988 % |
146.27/146.45	c |     83754 |   83039   528166  1541640 | 2147483647    81495    122 | 31.988 % |
146.57/146.79	c |     83987 |   83039   528166  1541640 | 2147483647    81728    122 | 31.988 % |
147.37/147.50	c |     84243 |   83039   528166  1541640 | 2147483647    81984    122 | 31.988 % |
147.77/147.98	c |     84525 |   83039   528166  1541640 | 2147483647    82266    123 | 31.988 % |
148.17/148.31	c |     84837 |   83039   528166  1541640 | 2147483647    82578    123 | 31.988 % |
148.67/148.85	c |     85178 |   83035   528166  1541640 | 2147483647    82918    123 | 31.992 % |
149.27/149.40	c |     85550 |   83035   528166  1541640 | 2147483647    83290    123 | 31.992 % |
149.87/150.07	c |     85961 |   82883   526975  1538481 | 2147483647    83656    123 | 31.992 % |
150.87/151.02	c |     86410 |   82879   526975  1538481 | 2147483647    84103    123 | 32.007 % |
151.87/152.00	c |     86905 |   82876   526975  1538481 | 2147483647    84597    123 | 32.017 % |
152.57/152.75	c |     87447 |   82875   526975  1538481 | 2147483647    85138    124 | 32.018 % |
152.97/153.16	c |     88046 |   82875   526975  1538481 | 2147483647    85737    123 | 32.018 % |
153.67/153.86	c |     88708 |   82875   526975  1538481 | 2147483647    86399    124 | 32.018 % |
155.17/155.36	c |     89432 |   82860   526975  1538481 | 2147483647    87121    124 | 32.050 % |
157.17/157.36	c |     90224 |   82856   526975  1538481 | 2147483647    87912    126 | 32.051 % |
158.86/159.08	c |     91095 |   82849   526975  1538481 | 2147483647    88777    126 | 32.071 % |
160.37/160.56	c |     92053 |   82848   526975  1538481 | 2147483647    89734    126 | 32.074 % |
162.35/162.50	c |     93107 |   82843   526975  1538481 | 2147483647    90786    126 | 32.093 % |
162.56/162.72	c |     93207 |   82760   525731  1535077 | 2147483647    90789    126 | 32.093 % |
162.85/163.09	c |     93317 |   82760   525731  1535077 | 2147483647    90899    127 | 32.093 % |
163.25/163.41	c |     93443 |   82760   525731  1535077 | 2147483647    91025    127 | 32.093 % |
163.66/163.87	c |     93577 |   82760   525731  1535077 | 2147483647    91159    127 | 32.093 % |
163.95/164.12	c |     93728 |   82760   525731  1535077 | 2147483647    91310    126 | 32.093 % |
164.35/164.59	c |     93889 |   82746   525731  1535077 | 2147483647    91469    127 | 32.138 % |
164.86/165.06	c |     94065 |   82740   525731  1535077 | 2147483647    91645    126 | 32.138 % |
165.46/165.65	c |     94258 |   82734   525731  1535077 | 2147483647    91837    127 | 32.147 % |
166.16/166.33	c |     94472 |   82733   525731  1535077 | 2147483647    92050    127 | 32.150 % |
166.46/166.63	c |     94708 |   82731   525731  1535077 | 2147483647    92284    127 | 32.158 % |
166.96/167.15	c |     94964 |   82731   525731  1535077 | 2147483647    92540    127 | 32.158 % |
167.46/167.69	c |     95247 |   82731   525731  1535077 | 2147483647    92823    127 | 32.158 % |
168.16/168.34	c |     95559 |   82727   525731  1535077 | 2147483647    93134    128 | 32.166 % |
168.65/168.84	c |     95899 |   82727   525731  1535077 | 2147483647    93474    128 | 32.166 % |
169.26/169.46	c |     96271 |   82727   525731  1535077 | 2147483647    93846    129 | 32.166 % |
169.85/170.07	c |     96681 |   82727   525731  1535077 | 2147483647    94256    129 | 32.166 % |
170.45/170.66	c |     97134 |   82727   525731  1535077 | 2147483647    94709    129 | 32.166 % |
171.56/171.72	c |     97627 |   82724   525731  1535077 | 2147483647    95199    129 | 32.175 % |
172.66/172.89	c |     98169 |   82715   525731  1535077 | 2147483647    95737    129 | 32.187 % |
173.66/173.83	c |     98767 |   82715   525731  1535077 | 2147483647    96335    130 | 32.187 % |
174.95/175.11	c |     99425 |   82702   525731  1535077 | 2147483647    96984    130 | 32.210 % |
176.75/176.95	c |    100146 |   82700   525731  1535077 | 2147483647    97705    131 | 32.210 % |
177.96/178.11	c |    100938 |   82698   525731  1535077 | 2147483647    98496    131 | 32.211 % |
179.35/179.54	c |    101813 |   82612   523953  1530142 | 2147483647    98721    131 | 32.221 % |
181.15/181.32	c |    102773 |   82612   523953  1530142 | 2147483647    99681    132 | 32.221 % |
183.25/183.46	c |    103826 |   82610   523953  1530142 | 2147483647   100732    133 | 32.223 % |
185.26/185.45	c |    104984 |   82608   523953  1530142 | 2147483647   101888    133 | 32.231 % |
185.35/185.56	c |    105084 |   82608   523953  1530142 | 2147483647   101988    133 | 32.231 % |
185.45/185.69	c |    105196 |   82608   523953  1530142 | 2147483647   102100    133 | 32.231 % |
185.76/185.95	c |    105318 |   82606   523953  1530142 | 2147483647   102222    133 | 32.231 % |
186.15/186.31	c |    105451 |   82605   523953  1530142 | 2147483647   102353    133 | 32.255 % |
186.45/186.62	c |    105597 |   82576   523953  1530142 | 2147483647   102495    133 | 32.327 % |
186.65/186.90	c |    105758 |   82576   523953  1530142 | 2147483647   102656    133 | 32.327 % |
187.15/187.38	c |    105934 |   82560   523953  1530142 | 2147483647   102832    133 | 32.327 % |
187.55/187.74	c |    106127 |   82557   523953  1530142 | 2147483647   103024    133 | 32.335 % |
187.85/188.07	c |    106342 |   82557   523953  1530142 | 2147483647   103239    133 | 32.334 % |
188.25/188.48	c |    106575 |   82557   523953  1530142 | 2147483647   103472    133 | 32.334 % |
188.75/188.91	c |    106834 |   82557   523953  1530142 | 2147483647   103731    133 | 32.334 % |
189.25/189.40	c |    107117 |   82539   523953  1530142 | 2147483647   104012    133 | 32.614 % |
189.75/189.97	c |    107426 |   82539   523953  1530142 | 2147483647   104321    134 | 32.614 % |
190.34/190.59	c |    107765 |   82539   523953  1530142 | 2147483647   104660    134 | 32.614 % |
190.94/191.12	c |    108138 |   82539   523953  1530142 | 2147483647   105033    135 | 32.614 % |
191.64/191.81	c |    108547 |   82534   523953  1530142 | 2147483647   105438    135 | 32.624 % |
192.64/192.88	c |    108996 |   82531   523953  1530142 | 2147483647   105885    135 | 32.638 % |
193.35/193.54	c |    109492 |   82529   523953  1530142 | 2147483647   106380    136 | 32.645 % |
194.45/194.62	c |    110034 |   82529   523953  1530142 | 2147483647   106922    136 | 32.645 % |
195.75/195.94	c |    110630 |   82057   518434  1515726 | 2147483647   107451    136 | 32.677 % |
197.15/197.35	c |    111286 |   82054   518434  1515726 | 2147483647   108104    136 | 32.700 % |
198.54/198.72	c |    112013 |   82047   518434  1515726 | 2147483647   108831    136 | 32.700 % |
200.24/200.47	c |    112805 |   82047   518434  1515726 | 2147483647   109623    137 | 32.700 % |
201.44/201.62	c |    113676 |   82047   518434  1515726 | 2147483647   110494    137 | 32.700 % |
203.44/203.69	c |    114640 |   82045   518434  1515726 | 2147483647   111457    138 | 32.703 % |
206.34/206.55	c |    115695 |   82045   518434  1515726 | 2147483647   112512    138 | 32.703 % |
208.44/208.60	c |    116855 |   82043   518434  1515726 | 2147483647   113670    138 | 32.713 % |
210.94/211.20	c |    118128 |   82042   518434  1515726 | 2147483647   114941    139 | 32.714 % |
211.33/211.51	c |    118229 |   82042   518434  1515726 | 2147483647   115041    139 | 32.718 % |
211.63/211.83	c |    118339 |   82042   518434  1515726 | 2147483647   115151    139 | 32.718 % |
211.83/212.05	c |    118461 |   82042   518434  1515726 | 2147483647   115273    139 | 32.718 % |
212.14/212.31	c |    118594 |   82042   518434  1515726 | 2147483647   115406    139 | 32.718 % |
212.33/212.58	c |    118740 |   82042   518434  1515726 | 2147483647   115552    139 | 32.718 % |
212.73/212.90	c |    118901 |   82042   518434  1515726 | 2147483647   115713    139 | 32.718 % |
213.03/213.28	c |    119081 |   82042   518434  1515726 | 2147483647   115893    139 | 32.718 % |
213.42/213.61	c |    119275 |   82042   518434  1515726 | 2147483647   116087    139 | 32.718 % |
214.13/214.34	c |    119487 |   81999   517937  1514375 | 2147483647   116267    140 | 32.718 % |
214.73/215.00	c |    119724 |   81999   517937  1514375 | 2147483647   116504    140 | 32.718 % |
215.44/215.64	c |    119980 |   81997   517937  1514375 | 2147483647   116758    140 | 32.719 % |
216.23/216.42	c |    120263 |   81997   517937  1514375 | 2147483647   117041    140 | 32.719 % |
217.03/217.23	c |    120573 |   81997   517937  1514375 | 2147483647   117350    140 | 32.727 % |
217.93/218.19	c |    120916 |   81997   517937  1514375 | 2147483647   117693    140 | 32.727 % |
218.83/219.02	c |    121290 |   81997   517937  1514375 | 2147483647   118067    140 | 32.727 % |
219.43/219.65	c |    121699 |   81997   517937  1514375 | 2147483647   118476    140 | 32.727 % |
220.33/220.52	c |    122148 |   81997   517937  1514375 | 2147483647   118925    140 | 32.727 % |
221.33/221.58	c |    122641 |   81997   517937  1514375 | 2147483647   119418    140 | 32.727 % |
222.43/222.69	c |    123184 |   81991   517937  1514375 | 2147483647   119960    140 | 32.736 % |
223.63/223.82	c |    123781 |   81991   517937  1514375 | 2147483647   120556    141 | 32.737 % |
224.92/225.18	c |    124438 |   81989   517937  1514375 | 2147483647   121212    141 | 32.746 % |
226.52/226.70	c |    125160 |   81929   517937  1514375 | 2147483647   121932    141 | 32.814 % |
228.32/228.58	c |    125952 |   81926   517937  1514375 | 2147483647   122722    142 | 32.824 % |
230.62/230.88	c |    126823 |   81926   517937  1514375 | 2147483647   123593    142 | 32.824 % |
232.62/232.85	c |    127781 |   81925   517937  1514375 | 2147483647   124549    143 | 32.828 % |
234.62/234.80	c |    128834 |   81925   517937  1514375 | 2147483647   125602    143 | 32.828 % |
237.82/238.00	c |    129995 |   81925   517937  1514375 | 2147483647   126763    145 | 32.828 % |
241.42/241.66	c |    131268 |   81856   517105  1512220 | 2147483647   128006    145 | 32.846 % |
244.03/244.24	c |    132669 |   81856   517105  1512220 | 2147483647   129407    145 | 32.846 % |
244.22/244.42	c |    132770 |   81856   517105  1512220 | 2147483647   129508    146 | 32.846 % |
244.32/244.54	c |    132880 |   81856   517105  1512220 | 2147483647   129618    146 | 32.846 % |
244.62/244.80	c |    133001 |   81856   517105  1512220 | 2147483647   129739    146 | 32.846 % |
244.72/244.92	c |    133134 |   81856   517105  1512220 | 2147483647   129872    145 | 32.846 % |
245.02/245.24	c |    133285 |   81856   517105  1512220 | 2147483647   130023    146 | 32.846 % |
245.42/245.66	c |    133446 |   81856   517105  1512220 | 2147483647   130184    146 | 32.846 % |
245.92/246.11	c |    133622 |   81856   517105  1512220 | 2147483647   130360    146 | 32.846 % |
246.22/246.44	c |    133815 |   81855   517105  1512220 | 2147483647   130552    146 | 32.849 % |
246.71/246.97	c |    134029 |   81855   517105  1512220 | 2147483647   130766    146 | 32.849 % |
247.51/247.71	c |    134264 |   81855   517105  1512220 | 2147483647   131001    146 | 32.849 % |
248.11/248.30	c |    134520 |   81855   517105  1512220 | 2147483647   131257    146 | 32.849 % |
248.71/248.95	c |    134802 |   81848   517105  1512220 | 2147483647   131537    146 | 32.864 % |
249.52/249.73	c |    135111 |   81848   517105  1512220 | 2147483647   131846    147 | 32.864 % |
250.32/250.57	c |    135451 |   81848   517105  1512220 | 2147483647   132186    146 | 32.864 % |
251.42/251.62	c |    135823 |   81847   517105  1512220 | 2147483647   132557    147 | 32.865 % |
252.41/252.65	c |    136232 |   81847   517105  1512220 | 2147483647   132966    147 | 32.865 % |
253.51/253.76	c |    136684 |   81845   517105  1512220 | 2147483647   133417    147 | 32.868 % |
254.40/254.65	c |    137178 |   81844   517105  1512220 | 2147483647   133910    147 | 32.869 % |
255.40/255.65	c |    137722 |   81844   517105  1512220 | 2147483647   134454    148 | 32.869 % |
256.91/257.14	c |    138319 |   81841   517105  1512220 | 2147483647   135049    148 | 32.910 % |
258.61/258.82	c |    138977 |   81841   517105  1512220 | 2147483647   135707    148 | 32.910 % |
260.21/260.47	c |    139697 |   81837   517105  1512220 | 2147483647   136424    148 | 32.930 % |
262.11/262.32	c |    140496 |   81834   517105  1512220 | 2147483647   137222    148 | 32.933 % |
263.71/263.90	c |    141372 |   81833   517105  1512220 | 2147483647   138097    148 | 32.933 % |
265.70/265.98	c |    142330 |   81692   516034  1509285 | 2147483647   138982    148 | 33.009 % |
268.50/268.76	c |    143383 |   81692   516034  1509285 | 2147483647   140035    149 | 33.009 % |
270.61/270.86	c |    144542 |   81691   516034  1509285 | 2147483647   141193    150 | 33.017 % |
272.80/273.00	c |    145815 |   81690   516034  1509285 | 2147483647   142465    150 | 33.018 % |
276.50/276.75	c |    147215 |   81686   516034  1509285 | 2147483647   143863    151 | 33.052 % |
278.80/279.05	c |    148755 |   81686   516034  1509285 | 2147483647   145403    150 | 33.052 % |
279.21/279.44	c |    148858 |   81686   516034  1509285 | 2147483647   145506    150 | 33.052 % |
279.50/279.75	c |    148972 |   81686   516034  1509285 | 2147483647   145620    150 | 33.052 % |
280.00/280.21	c |    149095 |   81686   516034  1509285 | 2147483647   145743    151 | 33.052 % |
280.31/280.58	c |    149230 |   81682   516034  1509285 | 2147483647   145877    151 | 33.061 % |
280.70/280.94	c |    149376 |   81682   516034  1509285 | 2147483647   146023    151 | 33.061 % |
281.00/281.29	c |    149537 |   81682   516034  1509285 | 2147483647   146184    151 | 33.061 % |
281.70/281.91	c |    149715 |   81682   516034  1509285 | 2147483647   146362    151 | 33.061 % |
282.20/282.42	c |    149909 |   81682   516034  1509285 | 2147483647   146555    151 | 33.280 % |
282.41/282.65	c |    150123 |   81682   516034  1509285 | 2147483647   146769    150 | 33.280 % |
282.90/283.14	c |    150358 |   81682   516034  1509285 | 2147483647   147004    151 | 33.280 % |
283.80/284.03	c |    150615 |   81682   516034  1509285 | 2147483647   147261    151 | 33.280 % |
284.40/284.64	c |    150896 |   81682   516034  1509285 | 2147483647   147542    151 | 33.280 % |
285.30/285.56	c |    151205 |   81682   516034  1509285 | 2147483647   147851    151 | 33.280 % |
286.20/286.42	c |    151545 |   81681   516034  1509285 | 2147483647   148190    152 | 33.286 % |
286.90/287.18	c |    151917 |   81681   516034  1509285 | 2147483647   148562    152 | 33.286 % |
288.40/288.63	c |    152326 |   81681   516034  1509285 | 2147483647   148971    152 | 33.286 % |
289.30/289.59	c |    152776 |   81678   516034  1509285 | 2147483647   149418    152 | 33.293 % |
290.29/290.56	c |    153277 |   81677   516034  1509285 | 2147483647   149918    152 | 33.294 % |
291.69/291.97	c |    153820 |   81677   516034  1509285 | 2147483647   150461    152 | 33.294 % |
293.60/293.88	c |    154418 |   81677   516034  1509285 | 2147483647   151059    153 | 33.294 % |
295.30/295.54	c |    155075 |   81662   516034  1509285 | 2147483647   151714    153 | 33.348 % |
297.39/297.60	c |    155800 |   81227   512435  1499463 | 2147483647   152168    153 | 33.374 % |
299.29/299.60	c |    156592 |   81227   512435  1499463 | 2147483647   152960    154 | 33.374 % |
301.29/301.55	c |    157464 |   81227   512435  1499463 | 2147483647   153832    155 | 33.374 % |
304.28/304.56	c |    158422 |   81227   512435  1499463 | 2147483647   154790    156 | 33.374 % |
306.08/306.31	c |    159476 |   81222   512435  1499463 | 2147483647   155842    156 | 33.385 % |
308.79/309.04	c |    160638 |   81220   512435  1499463 | 2147483647   157003    156 | 33.401 % |
310.98/311.24	c |    161912 |   81220   512435  1499463 | 2147483647   158277    156 | 33.401 % |
314.38/314.63	c |    163315 |   81220   512435  1499463 | 2147483647   159680    157 | 33.401 % |
317.68/317.92	c |    164855 |   81202   512435  1499463 | 2147483647   161204    157 | 33.508 % |
321.87/322.11	c |    166550 |   81201   512435  1499463 | 2147483647   162898    157 | 33.509 % |
322.08/322.38	c |    166655 |   81201   512435  1499463 | 2147483647   163003    157 | 33.509 % |
322.37/322.62	c |    166767 |   81200   512435  1499463 | 2147483647   163114    157 | 33.509 % |
322.58/322.83	c |    166891 |   81200   512435  1499463 | 2147483647   163238    157 | 33.509 % |
322.98/323.26	c |    167024 |   81198   512435  1499463 | 2147483647   163370    157 | 33.519 % |
323.28/323.58	c |    167170 |   81198   512435  1499463 | 2147483647   163516    157 | 33.519 % |
323.78/324.00	c |    167330 |   81198   512435  1499463 | 2147483647   163676    157 | 33.519 % |
324.08/324.40	c |    167506 |   81198   512435  1499463 | 2147483647   163852    157 | 33.519 % |
324.47/324.70	c |    167699 |   81198   512435  1499463 | 2147483647   164045    157 | 33.519 % |
325.17/325.45	c |    167911 |   81198   512435  1499463 | 2147483647   164257    158 | 33.519 % |
325.77/326.04	c |    168144 |   81198   512435  1499463 | 2147483647   164490    158 | 33.519 % |
326.17/326.48	c |    168400 |   81198   512435  1499463 | 2147483647   164746    158 | 33.519 % |
326.97/327.26	c |    168683 |   81198   512435  1499463 | 2147483647   165029    158 | 33.519 % |
327.67/327.95	c |    168992 |   81197   512435  1499463 | 2147483647   165337    158 | 33.520 % |
328.47/328.72	c |    169332 |   81197   512435  1499463 | 2147483647   165677    158 | 33.520 % |
328.87/329.18	c |    169704 |   81197   512435  1499463 | 2147483647   166049    158 | 33.520 % |
329.78/330.02	c |    170116 |   81005   510913  1495222 | 2147483647   166368    158 | 33.547 % |
330.57/330.85	c |    170565 |   81005   510913  1495222 | 2147483647   166817    157 | 33.547 % |
331.67/331.97	c |    171058 |   80998   510913  1495222 | 2147483647   167308    157 | 33.612 % |
333.67/333.91	c |    171603 |   80998   510913  1495222 | 2147483647   167853    158 | 33.612 % |
335.07/335.34	c |    172201 |   80998   510913  1495222 | 2147483647   168451    158 | 33.612 % |
336.77/337.07	c |    172856 |   80997   510913  1495222 | 2147483647   169105    158 | 33.613 % |
338.48/338.76	c |    173577 |   80997   510913  1495222 | 2147483647   169826    159 | 33.613 % |
340.77/341.06	c |    174369 |   80995   510913  1495222 | 2147483647   170616    159 | 33.615 % |
343.06/343.34	c |    175240 |   80991   510913  1495222 | 2147483647   171485    159 | 33.658 % |
345.46/345.79	c |    176198 |   80943   510913  1495222 | 2147483647   172438    159 | 34.064 % |
348.36/348.69	c |    177253 |   80940   510913  1495222 | 2147483647   173491    160 | 34.066 % |
351.36/351.62	c |    178415 |   80940   510913  1495222 | 2147483647   174653    161 | 34.066 % |
354.55/354.82	c |    179688 |   80936   510913  1495222 | 2147483647   175925    161 | 34.073 % |
358.76/359.09	c |    181088 |   80934   510913  1495222 | 2147483647   177323    161 | 34.075 % |
362.55/362.80	c |    182628 |   80932   510913  1495222 | 2147483647   178861    162 | 34.085 % |
366.36/366.64	c |    184322 |   80925   510913  1495222 | 2147483647   180552    162 | 34.103 % |
370.36/370.67	c |    186186 |   80907   510913  1495222 | 2147483647   182414    162 | 34.148 % |
370.75/371.02	c |    186292 |   80256   499969  1465013 | 2147483647   176558    163 | 34.148 % |
370.95/371.21	c |    186402 |   80256   499969  1465013 | 2147483647   176668    163 | 34.148 % |
371.15/371.46	c |    186526 |   80256   499969  1465013 | 2147483647   176792    163 | 34.148 % |
371.56/371.86	c |    186661 |   80256   499969  1465013 | 2147483647   176927    163 | 34.148 % |
371.95/372.28	c |    186807 |   80255   499969  1465013 | 2147483647   177072    163 | 34.155 % |
372.56/372.82	c |    186968 |   80255   499969  1465013 | 2147483647   177233    163 | 34.155 % |
372.85/373.15	c |    187144 |   80255   499969  1465013 | 2147483647   177409    162 | 34.155 % |
373.25/373.53	c |    187337 |   80255   499969  1465013 | 2147483647   177602    163 | 34.155 % |
373.85/374.12	c |    187553 |   80255   499969  1465013 | 2147483647   177818    163 | 34.155 % |
374.45/374.76	c |    187787 |   80254   499969  1465013 | 2147483647   178051    163 | 34.157 % |
374.85/375.17	c |    188043 |   80254   499969  1465013 | 2147483647   178307    163 | 34.157 % |
375.45/375.71	c |    188324 |   80254   499969  1465013 | 2147483647   178587    163 | 34.165 % |
376.15/376.46	c |    188637 |   80252   499969  1465013 | 2147483647   178898    163 | 34.456 % |
377.15/377.46	c |    188976 |   80162   499969  1465013 | 2147483647   179235    163 | 34.526 % |
378.05/378.35	c |    189348 |   80162   499969  1465013 | 2147483647   179607    163 | 34.526 % |
378.65/378.99	c |    189757 |   80162   499969  1465013 | 2147483647   180016    163 | 34.526 % |
379.85/380.13	c |    190216 |   80162   499969  1465013 | 2147483647   180475    163 | 34.526 % |
381.35/381.63	c |    190714 |   80162   499969  1465013 | 2147483647   180973    163 | 34.526 % |
382.35/382.67	c |    191256 |   80161   499969  1465013 | 2147483647   181514    163 | 34.537 % |
384.05/384.39	c |    191853 |   80157   499969  1465013 | 2147483647   182111    164 | 34.537 % |
385.14/385.47	c |    192508 |   80157   499969  1465013 | 2147483647   182766    164 | 34.537 % |
386.94/387.25	c |    193228 |   80157   499969  1465013 | 2147483647   183485    164 | 34.538 % |
388.83/389.14	c |    194020 |   80157   499969  1465013 | 2147483647   184277    165 | 34.538 % |
391.04/391.37	c |    194894 |   80156   499969  1465013 | 2147483647   185150    165 | 34.597 % |
393.24/393.51	c |    195853 |   80155   499969  1465013 | 2147483647   186108    165 | 34.597 % |
395.53/395.87	c |    196912 |   80155   499969  1465013 | 2147483647   187167    165 | 34.597 % |
399.03/399.31	c |    198070 |   80155   499969  1465013 | 2147483647   188325    166 | 34.597 % |
402.13/402.49	c |    199350 |   80155   499969  1465013 | 2147483647   189605    167 | 34.597 % |
406.13/406.46	c |    200753 |   80155   499969  1465013 | 2147483647   191007    168 | 34.602 % |
411.93/412.23	c |    202296 |   80155   499969  1465013 | 2147483647   192550    170 | 34.602 % |
415.63/415.92	c |    203991 |   80100   499969  1465013 | 2147483647   194241    170 | 34.820 % |
420.93/421.25	c |    205859 |   80099   499969  1465013 | 2147483647   196108    171 | 34.821 % |
426.22/426.50	c |    207908 |   79428   491792  1442128 | 2147483647   194860    173 | 34.835 % |
426.42/426.80	c |    208008 |   79427   491792  1442128 | 2147483647   194959    173 | 34.836 % |
426.82/427.14	c |    208119 |   79425   491792  1442128 | 2147483647   195068    173 | 34.841 % |
427.02/427.38	c |    208240 |   79425   491792  1442128 | 2147483647   195189    173 | 34.841 % |
427.32/427.64	c |    208375 |   79425   491792  1442128 | 2147483647   195324    173 | 34.841 % |
427.72/428.09	c |    208522 |   79425   491792  1442128 | 2147483647   195471    173 | 34.841 % |
428.32/428.63	c |    208682 |   79425   491792  1442128 | 2147483647   195631    174 | 34.841 % |
428.52/428.90	c |    208863 |   79425   491792  1442128 | 2147483647   195812    174 | 34.841 % |
429.13/429.46	c |    209058 |   79424   491792  1442128 | 2147483647   196006    173 | 34.847 % |
429.52/429.85	c |    209272 |   79424   491792  1442128 | 2147483647   196220    174 | 34.847 % |
430.32/430.61	c |    209506 |   79424   491792  1442128 | 2147483647   196454    174 | 34.847 % |
430.82/431.17	c |    209769 |   79424   491792  1442128 | 2147483647   196717    174 | 34.847 % |
431.12/431.47	c |    210053 |   79424   491792  1442128 | 2147483647   197001    174 | 34.847 % |
432.41/432.76	c |    210362 |   79424   491792  1442128 | 2147483647   197310    174 | 34.847 % |
433.31/433.65	c |    210702 |   79424   491792  1442128 | 2147483647   197650    174 | 34.847 % |
434.51/434.89	c |    211078 |   79422   491792  1442128 | 2147483647   198024    174 | 34.849 % |
435.21/435.53	c |    211487 |   79422   491792  1442128 | 2147483647   198433    174 | 34.849 % |
436.60/436.97	c |    211940 |   79415   491792  1442128 | 2147483647   198884    174 | 34.858 % |
438.10/438.47	c |    212435 |   79415   491792  1442128 | 2147483647   199377    174 | 34.869 % |
439.71/440.10	c |    212977 |   79400   491792  1442128 | 2147483647   199917    174 | 34.898 % |
441.01/441.36	c |    213574 |   79400   491792  1442128 | 2147483647   200514    174 | 34.898 % |
442.81/443.16	c |    214230 |   79400   491792  1442128 | 2147483647   201170    174 | 34.898 % |
444.20/444.58	c |    214950 |   79400   491792  1442128 | 2147483647   201890    174 | 34.898 % |
446.30/446.64	c |    215748 |   79395   491792  1442128 | 2147483647   202685    175 | 34.908 % |
448.71/449.00	c |    216622 |   79395   491792  1442128 | 2147483647   203559    175 | 34.908 % |
450.90/451.29	c |    217584 |   79395   491792  1442128 | 2147483647   204521    175 | 34.908 % |
453.60/453.93	c |    218637 |   79395   491792  1442128 | 2147483647   205574    175 | 34.908 % |
457.20/457.57	c |    219796 |   79395   491792  1442128 | 2147483647   206733    176 | 34.908 % |
459.40/459.75	c |    221070 |   79395   491792  1442128 | 2147483647   208006    176 | 34.908 % |
463.30/463.66	c |    222470 |   79394   491792  1442128 | 2147483647   209405    177 | 34.915 % |
468.19/468.59	c |    224012 |   79394   491792  1442128 | 2147483647   210947    178 | 34.915 % |
474.49/474.84	c |    225706 |   79393   491792  1442128 | 2147483647   212640    179 | 34.916 % |
479.48/479.86	c |    227569 |   79368   491792  1442128 | 2147483647   214500    179 | 34.988 % |
485.36/485.74	c |    229618 |   79231   490594  1439262 | 2147483647   216330    180 | 34.996 % |
491.06/491.49	c |    231871 |   79231   490594  1439262 | 2147483647   218583    180 | 34.996 % |
491.46/491.89	c |    231971 |   79231   490594  1439262 | 2147483647   218683    180 | 34.996 % |
491.86/492.28	c |    232081 |   79231   490594  1439262 | 2147483647   218793    180 | 34.996 % |
492.26/492.62	c |    232206 |   79227   490594  1439262 | 2147483647   218917    180 | 35.004 % |
492.86/493.20	c |    232341 |   79227   490594  1439262 | 2147483647   219052    180 | 35.004 % |
493.36/493.74	c |    232487 |   79227   490594  1439262 | 2147483647   219198    181 | 35.004 % |
494.06/494.41	c |    232649 |   79227   490594  1439262 | 2147483647   219360    181 | 35.004 % |
494.35/494.72	c |    232826 |   79227   490594  1439262 | 2147483647   219537    180 | 35.004 % |
494.75/495.10	c |    233019 |   79227   490594  1439262 | 2147483647   219730    181 | 35.004 % |
495.25/495.66	c |    233234 |   79224   490594  1439262 | 2147483647   219944    181 | 35.034 % |
495.66/496.07	c |    233467 |   79224   490594  1439262 | 2147483647   220177    181 | 35.034 % |
496.25/496.62	c |    233724 |   79224   490594  1439262 | 2147483647   220434    181 | 35.034 % |
497.05/497.43	c |    234005 |   79224   490594  1439262 | 2147483647   220715    181 | 35.034 % |
497.86/498.29	c |    234314 |   79223   490594  1439262 | 2147483647   221023    181 | 35.044 % |
498.76/499.17	c |    234653 |   79222   490594  1439262 | 2147483647   221360    181 | 35.059 % |
499.96/500.39	c |    235025 |   79220   490594  1439262 | 2147483647   221731    181 | 35.060 % |
500.85/501.22	c |    235434 |   79220   490594  1439262 | 2147483647   222140    181 | 35.060 % |
502.65/503.03	c |    235883 |   79220   490594  1439262 | 2147483647   222589    181 | 35.060 % |
503.95/504.32	c |    236376 |   79220   490594  1439262 | 2147483647   223082    182 | 35.060 % |
505.75/506.15	c |    236921 |   79220   490594  1439262 | 2147483647   223627    182 | 35.060 % |
507.15/507.55	c |    237519 |   79217   490594  1439262 | 2147483647   224222    182 | 35.077 % |
508.55/508.95	c |    238174 |   79215   490594  1439262 | 2147483647   224876    182 | 35.079 % |
510.65/511.07	c |    238899 |   79213   490594  1439262 | 2147483647   225600    182 | 35.087 % |
512.55/512.91	c |    239692 |   79213   490594  1439262 | 2147483647   226393    182 | 35.087 % |
515.75/516.12	c |    240564 |   79212   490594  1439262 | 2147483647   227264    182 | 35.088 % |
517.64/518.07	c |    241522 |   79209   490594  1439262 | 2147483647   228221    183 | 35.102 % |
521.04/521.47	c |    242575 |   79203   490594  1439262 | 2147483647   229272    183 | 35.187 % |
524.44/524.80	c |    243735 |   79201   490594  1439262 | 2147483647   230430    183 | 35.198 % |
528.83/529.25	c |    245010 |   79201   490594  1439262 | 2147483647   231704    183 | 35.210 % |
532.03/532.42	c |    246412 |   79201   490594  1439262 | 2147483647   233106    184 | 35.210 % |
536.93/537.30	c |    247956 |   79199   490594  1439262 | 2147483647   234648    184 | 35.219 % |
541.63/542.03	c |    249657 |   79194   490594  1439262 | 2147483647   236346    185 | 35.225 % |
545.83/546.20	c |    251523 |   78942   488491  1433731 | 2147483647   237715    186 | 35.226 % |
552.02/552.40	c |    253574 |   78942   488491  1433731 | 2147483647   239766    186 | 35.226 % |
558.22/558.61	c |    255827 |   78938   488491  1433731 | 2147483647   242015    187 | 35.242 % |
564.62/565.06	c |    258308 |   78938   488491  1433731 | 2147483647   244496    188 | 35.242 % |
565.03/565.41	c |    258408 |   78938   488491  1433731 | 2147483647   244596    188 | 35.242 % |
565.22/565.67	c |    258518 |   78938   488491  1433731 | 2147483647   244706    188 | 35.242 % |
565.72/566.16	c |    258639 |   78936   488491  1433731 | 2147483647   244826    188 | 35.246 % |
566.03/566.48	c |    258772 |   78934   488491  1433731 | 2147483647   244958    188 | 35.247 % |
566.32/566.71	c |    258918 |   78934   488491  1433731 | 2147483647   245104    188 | 35.247 % |
566.72/567.17	c |    259078 |   78928   488491  1433731 | 2147483647   245261    188 | 35.274 % |
567.32/567.71	c |    259254 |   78928   488491  1433731 | 2147483647   245437    188 | 35.274 % |
567.91/568.35	c |    259447 |   78928   488491  1433731 | 2147483647   245630    188 | 35.274 % |
568.41/568.82	c |    259659 |   78928   488491  1433731 | 2147483647   245842    188 | 35.274 % |
569.51/569.96	c |    259898 |   78928   488491  1433731 | 2147483647   246081    188 | 35.274 % |
570.21/570.65	c |    260161 |   78928   488491  1433731 | 2147483647   246344    188 | 35.274 % |
570.81/571.20	c |    260443 |   78927   488491  1433731 | 2147483647   246625    188 | 35.282 % |
571.71/572.16	c |    260753 |   78927   488491  1433731 | 2147483647   246935    188 | 35.282 % |
572.91/573.38	c |    261092 |   78927   488491  1433731 | 2147483647   247274    188 | 35.282 % |
574.21/574.62	c |    261465 |   78927   488491  1433731 | 2147483647   247647    188 | 35.282 % |
575.21/575.70	c |    261875 |   78927   488491  1433731 | 2147483647   248057    189 | 35.282 % |
576.71/577.10	c |    262324 |   78922   488491  1433731 | 2147483647   248505    189 | 35.291 % |
577.71/578.12	c |    262818 |   78922   488491  1433731 | 2147483647   248999    189 | 35.291 % |
579.60/580.06	c |    263361 |   78921   488491  1433731 | 2147483647   249541    190 | 35.338 % |
581.41/581.86	c |    263957 |   78916   488491  1433731 | 2147483647   250136    190 | 35.349 % |
583.51/583.99	c |    264612 |   78916   488491  1433731 | 2147483647   250791    190 | 35.349 % |
586.71/587.15	c |    265332 |   78916   488491  1433731 | 2147483647   251511    190 | 35.349 % |
588.90/589.31	c |    266126 |   78916   488491  1433731 | 2147483647   252305    190 | 35.349 % |
590.91/591.34	c |    266998 |   78916   488491  1433731 | 2147483647   253177    190 | 35.349 % |
593.61/594.08	c |    267957 |   78912   488491  1433731 | 2147483647   254133    190 | 35.380 % |
596.10/596.56	c |    269010 |   78912   488491  1433731 | 2147483647   255186    190 | 35.380 % |
599.20/599.64	c |    270168 |   78903   488491  1433731 | 2147483647   256342    190 | 35.406 % |
602.60/603.09	c |    271442 |   78903   488491  1433731 | 2147483647   257616    191 | 35.406 % |
606.80/607.25	c |    272844 |   78898   488491  1433731 | 2147483647   259017    191 | 35.414 % |
611.59/612.06	c |    274391 |   78898   488491  1433731 | 2147483647   260564    193 | 35.414 % |
616.49/616.91	c |    276085 |   78897   488491  1433731 | 2147483647   262257    193 | 35.421 % |
623.79/624.26	c |    277950 |   78897   488491  1433731 | 2147483647   264122    195 | 35.421 % |
630.19/630.69	c |    279999 |   78896   488491  1433731 | 2147483647   266170    195 | 35.422 % |
636.78/637.22	c |    282252 |   78700   486857  1429585 | 2147483647   267209    196 | 35.434 % |
644.89/645.39	c |    284730 |   78664   486857  1429585 | 2147483647   269679    197 | 35.652 % |
652.37/652.88	c |    287455 |   78662   486857  1429585 | 2147483647   272402    199 | 35.675 % |
652.67/653.15	c |    287556 |   78662   486857  1429585 | 2147483647   272503    199 | 35.675 % |
652.98/653.47	c |    287666 |   78662   486857  1429585 | 2147483647   272613    199 | 35.675 % |
653.27/653.75	c |    287792 |   78662   486857  1429585 | 2147483647   272739    199 | 35.675 % |
653.77/654.29	c |    287925 |   78662   486857  1429585 | 2147483647   272872    199 | 35.675 % |
654.37/654.86	c |    288071 |   78662   486857  1429585 | 2147483647   273018    199 | 35.675 % |
654.88/655.35	c |    288231 |   78662   486857  1429585 | 2147483647   273178    199 | 35.675 % |
655.38/655.86	c |    288407 |   78662   486857  1429585 | 2147483647   273354    199 | 35.675 % |
656.17/656.61	c |    288601 |   78662   486857  1429585 | 2147483647   273548    199 | 35.675 % |
656.87/657.33	c |    288813 |   78662   486857  1429585 | 2147483647   273760    200 | 35.675 % |
657.96/658.43	c |    289047 |   78662   486857  1429585 | 2147483647   273994    200 | 35.675 % |
658.96/659.40	c |    289305 |   78653   486857  1429585 | 2147483647   274250    200 | 35.720 % |
659.86/660.31	c |    289591 |   78649   486857  1429585 | 2147483647   274534    200 | 36.096 % |
661.06/661.57	c |    289901 |   78648   486857  1429585 | 2147483647   274843    200 | 36.104 % |
662.26/662.71	c |    290241 |   78648   486857  1429585 | 2147483647   275183    200 | 36.104 % |
663.56/664.07	c |    290617 |   78647   486857  1429585 | 2147483647   275558    200 | 36.106 % |
664.76/665.20	c |    291026 |   78647   486857  1429585 | 2147483647   275967    200 | 36.106 % |
666.26/666.71	c |    291480 |   78647   486857  1429585 | 2147483647   276421    200 | 36.106 % |
667.96/668.45	c |    291973 |   78645   486857  1429585 | 2147483647   276911    200 | 36.120 % |
670.16/670.61	c |    292517 |   78645   486857  1429585 | 2147483647   277455    200 | 36.120 % |
672.26/672.78	c |    293114 |   78645   486857  1429585 | 2147483647   278052    201 | 36.120 % |
674.25/674.71	c |    293772 |   78629   486857  1429585 | 2147483647   278708    201 | 36.142 % |
675.76/676.25	c |    294494 |   78626   486857  1429585 | 2147483647   279429    201 | 36.149 % |
677.76/678.23	c |    295286 |   78626   486857  1429585 | 2147483647   280221    201 | 36.149 % |
681.35/681.85	c |    296162 |   78619   486857  1429585 | 2147483647   281095    201 | 36.248 % |
683.76/684.28	c |    297120 |   78619   486857  1429585 | 2147483647   282053    201 | 36.248 % |
687.65/688.16	c |    298173 |   78619   486857  1429585 | 2147483647   283106    202 | 36.248 % |
690.45/690.95	c |    299333 |   78619   486857  1429585 | 2147483647   284266    202 | 36.248 % |
695.15/695.61	c |    300606 |   78617   486857  1429585 | 2147483647   285538    203 | 36.272 % |
699.06/699.51	c |    302006 |   78617   486857  1429585 | 2147483647   286938    203 | 36.272 % |
703.84/704.32	c |    303546 |   78616   486857  1429585 | 2147483647   288477    204 | 36.274 % |
709.14/709.61	c |    305243 |   78615   486857  1429585 | 2147483647   290172    204 | 36.326 % |
714.74/715.28	c |    307108 |   78613   486857  1429585 | 2147483647   292034    205 | 36.352 % |
721.43/721.98	c |    309160 |   78612   486857  1429585 | 2147483647   294083    205 | 36.356 % |
728.34/728.83	c |    311414 |   78612   486857  1429585 | 2147483647   296337    205 | 36.356 % |
736.03/736.51	c |    313892 |   77535   479870  1411635 | 2147483647   298420    206 | 36.610 % |
743.63/744.19	c |    316618 |   77534   479870  1411635 | 2147483647   301145    207 | 36.611 % |
751.53/752.03	c |    319615 |   77533   479870  1411635 | 2147483647   304141    208 | 36.612 % |
751.83/752.38	c |    319715 |   77533   479870  1411635 | 2147483647   304241    208 | 36.612 % |
752.33/752.85	c |    319828 |   77533   479870  1411635 | 2147483647   304354    208 | 36.612 % |
752.83/753.36	c |    319949 |   77533   479870  1411635 | 2147483647   304475    208 | 36.612 % |
753.03/753.58	c |    320082 |   77533   479870  1411635 | 2147483647   304608    208 | 36.612 % |
753.62/754.16	c |    320229 |   77530   479870  1411635 | 2147483647   304754    208 | 36.630 % |
754.22/754.78	c |    320396 |   77530   479870  1411635 | 2147483647   304921    208 | 36.630 % |
754.82/755.35	c |    320574 |   77530   479870  1411635 | 2147483647   305099    207 | 36.630 % |
755.62/756.17	c |    320769 |   77530   479870  1411635 | 2147483647   305294    207 | 36.630 % |
756.33/756.88	c |    320982 |   77528   479870  1411635 | 2147483647   305506    207 | 36.659 % |
756.62/757.16	c |    321215 |   77528   479870  1411635 | 2147483647   305739    207 | 36.659 % |
757.82/758.38	c |    321473 |   77528   479870  1411635 | 2147483647   305997    208 | 36.659 % |
758.62/759.20	c |    321757 |   77528   479870  1411635 | 2147483647   306281    208 | 36.659 % |
759.92/760.43	c |    322071 |   77528   479870  1411635 | 2147483647   306595    208 | 36.659 % |
760.51/761.03	c |    322411 |   77528   479870  1411635 | 2147483647   306935    208 | 36.659 % |
762.01/762.51	c |    322785 |   77528   479870  1411635 | 2147483647   307309    208 | 36.659 % |
763.92/764.46	c |    323198 |   77528   479870  1411635 | 2147483647   307721    208 | 36.659 % |
765.51/766.08	c |    323647 |   77528   479870  1411635 | 2147483647   308170    208 | 36.659 % |
767.12/767.66	c |    324140 |   77527   479870  1411635 | 2147483647   308662    208 | 36.668 % |
768.82/769.31	c |    324682 |   77526   479870  1411635 | 2147483647   309203    208 | 36.668 % |
770.62/771.11	c |    325280 |   77522   479870  1411635 | 2147483647   309799    208 | 36.682 % |
772.31/772.85	c |    325938 |   77522   479870  1411635 | 2147483647   310457    208 | 36.682 % |
774.71/775.21	c |    326658 |   77521   479870  1411635 | 2147483647   311176    208 | 36.682 % |
776.72/777.24	c |    327450 |   77521   479870  1411635 | 2147483647   311968    209 | 36.682 % |
779.91/780.49	c |    328333 |   77521   479870  1411635 | 2147483647   312851    209 | 36.682 % |
783.11/783.66	c |    329294 |   77521   479870  1411635 | 2147483647   313812    209 | 36.682 % |
786.50/787.05	c |    330357 |   77517   479870  1411635 | 2147483647   314873    210 | 36.700 % |
790.31/790.83	c |    331521 |   77514   479870  1411635 | 2147483647   316036    210 | 36.710 % |
794.30/794.86	c |    332795 |   77514   479870  1411635 | 2147483647   317310    210 | 36.710 % |
797.30/797.85	c |    334195 |   77514   479870  1411635 | 2147483647   318710    210 | 36.710 % |
802.41/802.92	c |    335735 |   77514   479870  1411635 | 2147483647   320250    210 | 36.710 % |
807.50/808.03	c |    337430 |   77514   479870  1411635 | 2147483647   321945    210 | 36.710 % |
812.40/813.00	c |    339293 |   77514   479870  1411635 | 2147483647   323808    210 | 36.710 % |
818.49/819.07	c |    341348 |   77492   479870  1411635 | 2147483647   325848    211 | 37.344 % |
825.39/825.95	c |    343605 |   77487   479870  1411635 | 2147483647   328102    210 | 37.483 % |
834.49/835.01	c |    346086 |   77482   479870  1411635 | 2147483647   330581    211 | 37.784 % |
845.18/845.77	c |    348812 |   77482   479870  1411635 | 2147483647   333307    212 | 37.784 % |
854.88/855.42	c |    351814 |   77481   479870  1411635 | 2147483647   336308    213 | 37.789 % |
867.97/868.59	c |    355115 |   75814   460032  1357421 | 2147483647   337166    214 | 37.794 % |
868.38/868.97	c |    355215 |   75813   460032  1357421 | 2147483647   337264    214 | 37.840 % |
869.07/869.60	c |    355325 |   75797   460032  1357421 | 2147483647   337374    214 | 37.840 % |
869.57/870.10	c |    355446 |   75797   460032  1357421 | 2147483647   337495    214 | 37.840 % |
870.07/870.63	c |    355582 |   75797   460032  1357421 | 2147483647   337631    214 | 37.840 % |
870.67/871.21	c |    355728 |   75797   460032  1357421 | 2147483647   337777    214 | 37.840 % |
871.07/871.69	c |    355892 |   75797   460032  1357421 | 2147483647   337941    214 | 37.840 % |
871.88/872.44	c |    356073 |   75797   460032  1357421 | 2147483647   338122    214 | 37.840 % |
872.38/872.94	c |    356267 |   75797   460032  1357421 | 2147483647   338316    214 | 37.840 % |
873.38/873.97	c |    356480 |   75797   460032  1357421 | 2147483647   338529    215 | 37.840 % |
874.48/875.03	c |    356713 |   75797   460032  1357421 | 2147483647   338762    215 | 37.840 % |
875.27/875.88	c |    356970 |   75797   460032  1357421 | 2147483647   339019    215 | 37.840 % |
876.37/876.94	c |    357253 |   75797   460032  1357421 | 2147483647   339302    215 | 37.840 % |
877.37/877.90	c |    357562 |   75796   460032  1357421 | 2147483647   339610    215 | 37.845 % |
878.28/878.81	c |    357901 |   75796   460032  1357421 | 2147483647   339949    215 | 37.845 % |
879.48/880.04	c |    358274 |   75796   460032  1357421 | 2147483647   340322    215 | 37.845 % |
880.77/881.33	c |    358683 |   75795   460032  1357421 | 2147483647   340730    215 | 37.867 % |
882.77/883.31	c |    359132 |   75795   460032  1357421 | 2147483647   341179    215 | 37.867 % |
884.56/885.13	c |    359625 |   75795   460032  1357421 | 2147483647   341672    215 | 37.867 % |
886.66/887.23	c |    360167 |   75795   460032  1357421 | 2147483647   342214    215 | 37.867 % |
888.16/888.78	c |    360765 |   75795   460032  1357421 | 2147483647   342812    215 | 37.867 % |
890.36/890.96	c |    361422 |   75794   460032  1357421 | 2147483647   343468    215 | 37.885 % |
893.55/894.19	c |    362144 |   75793   460032  1357421 | 2147483647   344189    215 | 37.885 % |
895.75/896.38	c |    362936 |   75793   460032  1357421 | 2147483647   344981    215 | 37.885 % |
899.26/899.80	c |    363807 |   75766   460032  1357421 | 2147483647   345844    215 | 38.602 % |
903.05/903.61	c |    364766 |   75764   460032  1357421 | 2147483647   346801    215 | 38.604 % |
906.66/907.23	c |    365823 |   75764   460032  1357421 | 2147483647   347858    216 | 38.604 % |
910.95/911.52	c |    366982 |   75764   460032  1357421 | 2147483647   349017    217 | 38.604 % |
914.75/915.34	c |    368256 |   75764   460032  1357421 | 2147483647   350291    217 | 38.604 % |
918.85/919.46	c |    369656 |   75764   460032  1357421 | 2147483647   351691    217 | 38.604 % |
924.15/924.78	c |    371197 |   75764   460032  1357421 | 2147483647   353232    217 | 38.604 % |
930.74/931.36	c |    372895 |   75764   460032  1357421 | 2147483647   354929    218 | 38.680 % |
939.03/939.63	c |    374758 |   75755   460032  1357421 | 2147483647   356788    218 | 38.738 % |
946.14/946.73	c |    376809 |   75751   460032  1357421 | 2147483647   358835    218 | 38.754 % |
954.44/955.05	c |    379063 |   75751   460032  1357421 | 2147483647   361089    219 | 38.754 % |
962.73/963.39	c |    381543 |   75751   460032  1357421 | 2147483647   363569    219 | 38.754 % |
969.54/970.17	c |    384268 |   75751   460032  1357421 | 2147483647   366294    219 | 38.754 % |
981.01/981.68	c |    387265 |   75751   460032  1357421 | 2147483647   369291    221 | 38.754 % |
995.31/995.91	c |    390561 |   75750   460032  1357421 | 2147483647   372586    222 | 38.757 % |
1004.41/1005.08	c |    394186 |   75750   460032  1357421 | 2147483647   376211    224 | 38.757 % |
1004.81/1005.45	c |    394287 |   75750   460032  1357421 | 2147483647   376312    224 | 38.757 % |
1005.11/1005.77	c |    394399 |   75750   460032  1357421 | 2147483647   376424    224 | 38.757 % |
1005.51/1006.14	c |    394520 |   75750   460032  1357421 | 2147483647   376545    224 | 38.757 % |
1006.01/1006.64	c |    394657 |   75750   460032  1357421 | 2147483647   376682    224 | 38.757 % |
1006.51/1007.15	c |    394805 |   75750   460032  1357421 | 2147483647   376830    224 | 38.757 % |
1007.21/1007.89	c |    394966 |   75750   460032  1357421 | 2147483647   376991    224 | 38.757 % |
1007.71/1008.34	c |    395145 |   75750   460032  1357421 | 2147483647   377170    224 | 38.757 % |
1008.21/1008.84	c |    395340 |   75750   460032  1357421 | 2147483647   377365    224 | 38.757 % |
1009.30/1009.92	c |    395553 |   75750   460032  1357421 | 2147483647   377578    224 | 38.757 % |
1010.10/1010.79	c |    395787 |   75750   460032  1357421 | 2147483647   377812    224 | 38.757 % |
1010.91/1011.52	c |    396044 |   75750   460032  1357421 | 2147483647   378069    224 | 38.757 % |
1011.81/1012.44	c |    396327 |   75750   460032  1357421 | 2147483647   378352    225 | 38.757 % |
1012.81/1013.50	c |    396638 |   75750   460032  1357421 | 2147483647   378663    225 | 38.757 % |
1014.41/1015.06	c |    396978 |   75750   460032  1357421 | 2147483647   379003    225 | 38.757 % |
1015.61/1016.25	c |    397351 |   75750   460032  1357421 | 2147483647   379375    225 | 38.758 % |
1017.30/1017.90	c |    397763 |   75749   460032  1357421 | 2147483647   379787    225 | 38.758 % |
1018.70/1019.36	c |    398212 |   75749   460032  1357421 | 2147483647   380236    225 | 38.758 % |
1020.50/1021.18	c |    398705 |   75749   460032  1357421 | 2147483647   380729    225 | 38.758 % |
1022.40/1023.06	c |    399247 |   75749   460032  1357421 | 2147483647   381271    225 | 38.758 % |
1024.60/1025.24	c |    399845 |   75748   460032  1357421 | 2147483647   381868    225 | 38.759 % |
1027.49/1028.15	c |    400502 |   75747   460032  1357421 | 2147483647   382524    225 | 38.760 % |
1030.89/1031.54	c |    401222 |   74635   442255  1307361 | 2147483647   360455    226 | 38.760 % |
1033.69/1034.34	c |    402017 |   74635   442255  1307361 | 2147483647   361250    226 | 38.760 % |
1037.49/1038.16	c |    402889 |   74635   442255  1307361 | 2147483647   362122    226 | 38.760 % |
1040.89/1041.52	c |    403847 |   74634   442255  1307361 | 2147483647   363079    226 | 38.761 % |
1043.99/1044.66	c |    404900 |   74634   442255  1307361 | 2147483647   364132    226 | 38.761 % |
1049.48/1050.17	c |    406063 |   74634   442255  1307361 | 2147483647   365295    227 | 38.761 % |
1055.29/1055.92	c |    407336 |   74634   442255  1307361 | 2147483647   366568    227 | 38.761 % |
1060.18/1060.82	c |    408736 |   74634   442255  1307361 | 2147483647   367968    228 | 38.761 % |
1066.67/1067.31	c |    410280 |   74634   442255  1307361 | 2147483647   369511    228 | 38.762 % |
1072.57/1073.26	c |    411977 |   74634   442255  1307361 | 2147483647   371208    229 | 38.762 % |
1078.17/1078.80	c |    413840 |   74634   442255  1307361 | 2147483647   373071    229 | 38.762 % |
1086.47/1087.12	c |    415890 |   74634   442255  1307361 | 2147483647   375121    230 | 38.762 % |
1095.26/1095.90	c |    418143 |   74633   442255  1307361 | 2147483647   377372    230 | 38.763 % |
1103.86/1104.57	c |    420621 |   74632   442255  1307361 | 2147483647   379848    231 | 38.769 % |
1112.95/1113.65	c |    423347 |   74631   442255  1307361 | 2147483647   382571    231 | 38.791 % |
1122.95/1123.67	c |    426346 |   74630   442255  1307361 | 2147483647   385569    231 | 38.792 % |
1136.75/1137.43	c |    429642 |   74629   442255  1307361 | 2147483647   388864    232 | 38.794 % |
1152.54/1153.25	c |    433269 |   74620   442255  1307361 | 2147483647   392483    232 | 38.905 % |
1165.84/1166.51	c |    437264 |   74616   442255  1307361 | 2147483647   396476    233 | 38.918 % |
1166.13/1166.81	c |    437367 |   74616   442255  1307361 | 2147483647   396579    233 | 38.918 % |
1166.83/1167.51	c |    437478 |   74616   442255  1307361 | 2147483647   396690    233 | 38.918 % |
1167.13/1167.80	c |    437604 |   74616   442255  1307361 | 2147483647   396816    233 | 38.918 % |
1167.44/1168.13	c |    437737 |   74616   442255  1307361 | 2147483647   396949    233 | 38.918 % |
1168.13/1168.82	c |    437886 |   74616   442255  1307361 | 2147483647   397098    233 | 38.918 % |
1168.43/1169.18	c |    438051 |   74614   442255  1307361 | 2147483647   397262    233 | 38.919 % |
1169.53/1170.22	c |    438227 |   74614   442255  1307361 | 2147483647   397438    233 | 38.919 % |
1170.63/1171.33	c |    438422 |   74614   442255  1307361 | 2147483647   397633    233 | 38.919 % |
1171.73/1172.45	c |    438634 |   74614   442255  1307361 | 2147483647   397845    233 | 38.919 % |
1172.63/1173.35	c |    438868 |   74614   442255  1307361 | 2147483647   398079    233 | 38.919 % |
1173.53/1174.25	c |    439126 |   74606   442255  1307361 | 2147483647   398336    233 | 38.975 % |
1174.84/1175.54	c |    439408 |   74606   442255  1307361 | 2147483647   398618    233 | 38.975 % |
1175.73/1176.42	c |    439717 |   74606   442255  1307361 | 2147483647   398927    233 | 38.975 % |
1177.33/1178.01	c |    440056 |   74606   442255  1307361 | 2147483647   399266    233 | 38.975 % |
1178.73/1179.43	c |    440428 |   74606   442255  1307361 | 2147483647   399638    233 | 38.975 % |
1179.63/1180.35	c |    440840 |   74606   442255  1307361 | 2147483647   400050    233 | 38.975 % |
1180.93/1181.66	c |    441289 |   74605   442255  1307361 | 2147483647   400498    233 | 38.976 % |
1183.22/1183.92	c |    441782 |   74604   442255  1307361 | 2147483647   400990    233 | 38.977 % |
1185.22/1185.98	c |    442325 |   74602   442255  1307361 | 2147483647   401531    233 | 38.987 % |
1188.02/1188.77	c |    442926 |   74602   442255  1307361 | 2147483647   402132    233 | 38.987 % |
1190.72/1191.43	c |    443582 |   74602   442255  1307361 | 2147483647   402788    233 | 38.987 % |
1194.12/1194.82	c |    444303 |   74601   442255  1307361 | 2147483647   403508    233 | 38.991 % |
1197.01/1197.73	c |    445095 |   74600   442255  1307361 | 2147483647   404299    233 | 38.991 % |

Verifier Data 

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

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833891-1242825875/watcher-1833891-1242825875 -o /tmp/evaluation-result-1833891-1242825875/solver-1833891-1242825875 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833891-1242825875.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 15990
/proc/meminfo: memFree=1941792/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=0
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310616720 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 251601322066 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/15990/statm: 1339 235 195 169 0 50 0
[pid=15991] ppid=15990 vsize=5356 CPUtime=0
/proc/15991/stat : 15991 (SatELiteGTI) S 15990 15990 15743 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310616720 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/15991/statm: 1339 238 198 169 0 50 0
[pid=15993] ppid=15991 vsize=5356 CPUtime=0
/proc/15993/stat : 15993 (SatELiteGTI) R 15991 15990 15743 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601153319 0 0 4096 0 0 0 0 17 0 0 0
/proc/15993/statm: 0 0 0 0 0 0 0

[startup+0.064175 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 15990
/proc/meminfo: memFree=1941792/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=0
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310616720 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101177 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 15990
/proc/meminfo: memFree=1941792/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=0
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310616720 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.3012 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 15990
/proc/meminfo: memFree=1941792/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=0
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310616720 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701242 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 15990
/proc/meminfo: memFree=1941792/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=0
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310616720 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50132 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15995
/proc/meminfo: memFree=1840976/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=0
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310616720 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 237 197 169 0 50 0
[pid=15995] ppid=15990 vsize=116052 CPUtime=1.48
/proc/15995/stat : 15995 (SatELite_releas) R 15990 15990 15743 0 -1 4194304 26794 0 0 0 132 16 0 0 25 0 1 0 310616721 118837248 26676 1992294400 134512640 135223648 4294956128 18446744073709551615 134575965 0 0 4096 3 0 0 0 17 0 0 0
/proc/15995/statm: 29013 26676 71 173 0 28838 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 121408

[startup+3.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15995
/proc/meminfo: memFree=1821456/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=0
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310616720 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 237 197 169 0 50 0
[pid=15995] ppid=15990 vsize=142004 CPUtime=3.08
/proc/15995/stat : 15995 (SatELite_releas) R 15990 15990 15743 0 -1 4194304 34826 0 0 0 285 23 0 0 25 0 1 0 310616721 145412096 31819 1992294400 134512640 135223648 4294956128 18446744073709551615 134586986 0 0 4096 3 0 0 0 17 0 0 0
/proc/15995/statm: 35501 31819 76 173 0 35326 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 147360

[startup+6.30185 s]
/proc/loadavg: 1.16 1.03 1.01 2/67 15995
/proc/meminfo: memFree=1806808/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=0
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310616720 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 237 197 169 0 50 0
[pid=15995] ppid=15990 vsize=142252 CPUtime=6.28
/proc/15995/stat : 15995 (SatELite_releas) R 15990 15990 15743 0 -1 4194304 38170 0 0 0 603 25 0 0 25 0 1 0 310616721 145666048 31953 1992294400 134512640 135223648 4294956128 18446744073709551615 134586728 0 0 4096 3 0 0 0 17 0 0 0
/proc/15995/statm: 35563 31953 76 173 0 35388 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 147608

[startup+12.7016 s]
/proc/loadavg: 1.23 1.05 1.02 2/67 15996
/proc/meminfo: memFree=1870688/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=47376 CPUtime=3.79
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 11200 0 0 0 372 7 0 0 25 0 1 0 310617610 48513024 11163 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 11844 11163 77 171 0 11671 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 52732

[startup+25.502 s]
/proc/loadavg: 1.40 1.09 1.03 2/67 15996
/proc/meminfo: memFree=1870240/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=48048 CPUtime=16.58
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 11361 0 0 0 1651 7 0 0 25 0 1 0 310617610 49201152 11324 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 12012 11324 77 171 0 11839 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 53404

[startup+51.1018 s]
/proc/loadavg: 1.32 1.10 1.03 2/67 15996
/proc/meminfo: memFree=1865504/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=53832 CPUtime=42.16
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 12831 0 0 0 4206 10 0 0 25 0 1 0 310617610 55123968 12794 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 13458 12794 77 171 0 13285 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 59188

[startup+102.305 s]
/proc/loadavg: 1.14 1.08 1.03 2/67 15996
/proc/meminfo: memFree=1847648/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=71632 CPUtime=93.33
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 17274 0 0 0 9318 15 0 0 25 0 1 0 310617610 73351168 17237 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 17908 17237 77 171 0 17735 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 76988

[startup+162.301 s]
/proc/loadavg: 1.05 1.07 1.02 2/67 15996
/proc/meminfo: memFree=1825248/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=94208 CPUtime=153.28
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 22914 0 0 0 15308 20 0 0 25 0 1 0 310617610 96468992 22877 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 23552 22877 77 171 0 23379 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 99564

[startup+222.302 s]
/proc/loadavg: 1.02 1.05 1.02 2/67 15996
/proc/meminfo: memFree=1802208/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=116964 CPUtime=213.26
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 28589 0 0 0 21300 26 0 0 25 0 1 0 310617610 119771136 28552 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 29241 28552 77 171 0 29068 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 122320

[startup+282.301 s]
/proc/loadavg: 1.00 1.04 1.01 2/67 15996
/proc/meminfo: memFree=1780064/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=139152 CPUtime=273.23
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 34100 0 0 0 27291 32 0 0 25 0 1 0 310617610 142491648 34063 1992294400 134512640 135215339 4294956240 18446744073709551615 134527353 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 34788 34063 77 171 0 34615 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 144508

[startup+342.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/67 15996
/proc/meminfo: memFree=1758304/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=160676 CPUtime=333.19
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 39498 0 0 0 33280 39 0 0 25 0 1 0 310617610 164532224 39461 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 40169 39461 77 171 0 39996 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 166032

[startup+402.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 15996
/proc/meminfo: memFree=1740192/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=178916 CPUtime=393.16

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

/proc/15996/statm: 61205 60466 77 171 0 61032 0
Current children cumulated CPU time (s) 581.9
Current children cumulated vsize (KiB) 250176

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15996
/proc/meminfo: memFree=1652512/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=265680 CPUtime=633.01
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 65746 0 0 0 63235 66 0 0 25 0 1 0 310617610 272056320 65709 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 66420 65709 77 171 0 66247 0
Current children cumulated CPU time (s) 641.88
Current children cumulated vsize (KiB) 271036

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15996
/proc/meminfo: memFree=1628448/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=289708 CPUtime=692.97
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 71771 0 0 0 69224 73 0 0 25 0 1 0 310617610 296660992 71734 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 72427 71734 77 171 0 72254 0
Current children cumulated CPU time (s) 701.84
Current children cumulated vsize (KiB) 295064

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15996
/proc/meminfo: memFree=1606560/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=311260 CPUtime=752.95
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 77167 0 0 0 75218 77 0 0 25 0 1 0 310617610 318730240 77130 1992294400 134512640 135215339 4294956240 18446744073709551615 134528827 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 77815 77130 77 171 0 77642 0
Current children cumulated CPU time (s) 761.82
Current children cumulated vsize (KiB) 316616

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15996
/proc/meminfo: memFree=1586144/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=332352 CPUtime=812.93
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 82311 0 0 0 81210 83 0 0 25 0 1 0 310617610 340328448 82274 1992294400 134512640 135215339 4294956240 18446744073709551615 134532976 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 83088 82274 77 171 0 82915 0
Current children cumulated CPU time (s) 821.8
Current children cumulated vsize (KiB) 337708

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15996
/proc/meminfo: memFree=1567968/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=350212 CPUtime=872.89
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 86797 0 0 0 87201 88 0 0 25 0 1 0 310617610 358617088 86760 1992294400 134512640 135215339 4294956240 18446744073709551615 134538397 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 87553 86760 77 171 0 87380 0
Current children cumulated CPU time (s) 881.76
Current children cumulated vsize (KiB) 355568

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15996
/proc/meminfo: memFree=1548128/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=370176 CPUtime=932.86
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 91786 0 0 0 93194 92 0 0 25 0 1 0 310617610 379060224 91749 1992294400 134512640 135215339 4294956240 18446744073709551615 134537910 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 92544 91749 77 171 0 92371 0
Current children cumulated CPU time (s) 941.73
Current children cumulated vsize (KiB) 375532

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15996
/proc/meminfo: memFree=1525344/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=392488 CPUtime=992.84
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 97395 0 0 0 99186 98 0 0 25 0 1 0 310617610 401907712 97358 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 98122 97358 77 171 0 97949 0
Current children cumulated CPU time (s) 1001.71
Current children cumulated vsize (KiB) 397844

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15996
/proc/meminfo: memFree=1514912/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=402660 CPUtime=1052.81
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 99944 0 0 0 105182 99 0 0 25 0 1 0 310617610 412323840 99907 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/15996/statm: 100665 99907 77 171 0 100492 0
Current children cumulated CPU time (s) 1061.68
Current children cumulated vsize (KiB) 408016

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15996
/proc/meminfo: memFree=1502752/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=414836 CPUtime=1112.78
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 102992 0 0 0 111175 103 0 0 25 0 1 0 310617610 424792064 102955 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 103709 102955 77 171 0 103536 0
Current children cumulated CPU time (s) 1121.65
Current children cumulated vsize (KiB) 420192

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15998
/proc/meminfo: memFree=1485152/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=432300 CPUtime=1172.76
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 107377 0 0 0 117169 107 0 0 25 0 1 0 310617610 442675200 107340 1992294400 134512640 135215339 4294956240 18446744073709551615 134527384 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 108075 107340 77 171 0 107902 0
Current children cumulated CPU time (s) 1181.63
Current children cumulated vsize (KiB) 437656



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15998
/proc/meminfo: memFree=1480352/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=436932 CPUtime=1191.15
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 108526 0 0 0 119007 108 0 0 25 0 1 0 310617610 447418368 108489 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 109233 108489 77 171 0 109060 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 442288

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

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

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15998
/proc/meminfo: memFree=1480352/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=436932 CPUtime=1191.15
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 108526 0 0 0 119007 108 0 0 25 0 1 0 310617610 447418368 108489 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 109233 108489 77 171 0 109060 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 442288

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15990 and gives
#  childrusage.ru_utime.tv_sec=8
#  childrusage.ru_utime.tv_usec=540701
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=351946
# CPU time returned by wait4() is 8.89265
# while last known CPU time is 1200.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.71
CPU time (s): 1200.02
CPU user time (s): 1198.6
CPU system time (s): 1.42
CPU usage (%): 99.9423
Max. virtual memory (cumulated for all children) (KiB): 442288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.5407
system time used= 0.351946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43341
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= 14
involuntary context switches= 54

runsolver used 1.11983 second user time and 3.34749 second system time

The end

Launcher Data 

Begin job on node91 at 2009-05-20 15:24:37
IDJOB=1833891
IDBENCH=71034
IDSOLVER=671
FILE ID=node91/1833891-1242825875
PBS_JOBID= 9322493
Free space on /tmp= 66300 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UTI-20-5p1.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833891-1242825875/watcher-1833891-1242825875 -o /tmp/evaluation-result-1833891-1242825875/solver-1833891-1242825875 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1833891-1242825875.cnf

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 10eca282b9263f77903cd90a479b46ee
RANDOM SEED=108019407

node91.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.241
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.241
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1942336 kB
Buffers:         17444 kB
Cached:          56104 kB
SwapCached:      10568 kB
Active:          41544 kB
Inactive:        43964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1942336 kB
SwapTotal:     4192956 kB
SwapFree:      4175960 kB
Dirty:           24316 kB
Writeback:           0 kB
Mapped:          17136 kB
Slab:            13980 kB
Committed_AS:   932256 kB
PageTables:       1368 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66276 MiB
End job on node91 at 2009-05-20 15:44:40