Trace number 1833857

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.09 1200.71

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UTI-20-5p0.cnf
MD5SUM5588dd996576f939b8ae497437078705
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables225296
Number of clauses1192799
Sum of the clauses size2872868
Maximum clause length10
Minimum clause length1
Number of clauses of size 111403
Number of clauses of size 2852883
Number of clauses of size 3271793
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.18/1.24	c ==============================================================================
1.18/1.24	c |           |     ORIGINAL     |              LEARNT              |          |
1.18/1.24	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.18/1.24	c ==============================================================================
1.18/1.24	c |         0 | 1180646  2859965 |  354193       0        0     nan |  0.000 % |
7.88/7.99	c |         0 |  824850  2310027 |      --       0       --      -- |     --   | -102154/25520
7.97/8.00	c ==============================================================================
7.97/8.00	c Result  :   #vars: 121563   #clauses: 824850   #literals: 2310027
7.97/8.00	c CPU time:   7.71983 s
7.97/8.00	c ==============================================================================
8.68/8.80	c This is MiniSat 2.0 beta
8.68/8.80	c WARNING: for repeatability, setting FPU to use double precision
8.68/8.80	c ============================[ Problem Statistics ]=============================
8.68/8.80	c |                                                                             |
8.78/8.80	c |  Number of variables:  121563                                               |
8.78/8.80	c |  Number of clauses:    824850                                               |
8.78/9.35	c |  Parsing time:         0.49         s                                       |
8.78/9.38	c ============================[ Search Statistics ]==============================
8.78/9.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.78/9.38	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
8.78/9.38	c ===============================================================================
8.78/9.38	c |         0 |  121563   824850  2310027 |   274950        0    nan |  0.000 % |
8.78/9.71	c |       100 |  121559   824850  2310027 |   274950       96     76 |  0.701 % |
9.77/9.86	c |       200 |  121559   824850  2310027 |   274950      196     73 |  0.701 % |
9.87/9.94	c |       304 |  121559   824850  2310027 |   274950      300     73 |  0.701 % |
9.96/10.03	c |       414 |  121559   824850  2310027 |   274950      410     70 |  0.701 % |
10.06/10.13	c |       514 |  121559   824850  2310027 |   274950      510     73 |  0.701 % |
10.16/10.24	c |       626 |  121559   824850  2310027 |   274950      622     72 |  0.701 % |
10.36/10.45	c |       747 |  121523   824850  2310027 |   274950      742     76 |  0.706 % |
10.76/10.84	c |       847 |  119645   807238  2263456 |   274950      822     75 |  1.701 % |
10.87/10.96	c |       957 |  119645   807238  2263456 |   274950      932     79 |  1.701 % |
11.06/11.12	c |      1079 |  119645   807238  2263456 |   274950     1054     78 |  1.701 % |
11.16/11.20	c |      1213 |  119645   807238  2263456 |   274950     1188     81 |  1.701 % |
11.26/11.35	c |      1316 |  119645   807238  2263456 |   274950     1291     79 |  1.701 % |
11.46/11.51	c |      1426 |  119641   807238  2263456 |   274950     1399     75 |  1.721 % |
11.66/11.75	c |      1548 |  119641   807238  2263456 |   274950     1521     76 |  1.721 % |
11.86/11.97	c |      1681 |  119525   807238  2263456 |   274950     1649     73 |  2.976 % |
12.17/12.28	c |      1827 |  117562   794940  2232802 |   274950     1789     71 |  4.027 % |
12.67/12.73	c |      1930 |  117278   794940  2232802 |   274950     1889     69 |  7.404 % |
12.87/12.92	c |      2041 |  117216   794940  2232802 |   274950     1999     69 |  8.101 % |
13.07/13.15	c |      2162 |  117092   794940  2232802 |   274950     2118     67 |  9.140 % |
13.26/13.36	c |      2296 |  117057   794940  2232802 |   274950     2251     65 |  9.186 % |
13.36/13.46	c |      2442 |  117057   794940  2232802 |   274950     2397     65 |  9.186 % |
13.56/13.65	c |      2603 |  117057   794940  2232802 |   274950     2558     64 |  9.186 % |
13.76/13.82	c |      2703 |  117045   794940  2232802 |   274950     2658     64 |  9.186 % |
14.17/14.24	c |      2813 |  110245   745601  2107207 |   274950     2756     63 | 10.747 % |
14.27/14.36	c |      2935 |  110183   745601  2107207 |   274950     2878     67 | 10.747 % |
14.36/14.45	c |      3068 |  110183   745601  2107207 |   274950     3011     69 | 10.747 % |
14.56/14.64	c |      3214 |  110180   745601  2107207 |   274950     3156     68 | 10.757 % |
14.76/14.82	c |      3374 |  110180   745601  2107207 |   274950     3316     74 | 10.757 % |
15.16/15.27	c |      3550 |  109672   745601  2107207 |   274950     3489     72 | 10.844 % |
15.46/15.51	c |      3651 |  109224   745601  2107207 |   274950     3588     72 | 11.928 % |
15.76/15.83	c |      3761 |  107063   721374  2044445 |   274950     3671     71 | 11.928 % |
16.36/16.40	c |      3883 |  106824   721374  2044445 |   274950     3785     70 | 14.547 % |
16.66/16.78	c |      4017 |  106781   721374  2044445 |   274950     3917     69 | 14.997 % |
16.96/17.03	c |      4164 |  102192   687929  1958776 |   274950     4046     67 | 15.935 % |
17.16/17.24	c |      4324 |  101974   687929  1958776 |   274950     4202     66 | 17.235 % |
17.56/17.62	c |      4500 |  101810   687929  1958776 |   274950     4374     65 | 17.743 % |
17.96/18.04	c |      4693 |  101672   687929  1958776 |   274950     4563     64 | 18.265 % |
18.06/18.17	c |      4795 |  101672   687929  1958776 |   274950     4665     66 | 18.265 % |
18.16/18.29	c |      4905 |  101556   687929  1958776 |   274950     4773     66 | 18.691 % |
18.26/18.40	c |      5026 |  101556   687929  1958776 |   274950     4894     65 | 18.691 % |
18.46/18.55	c |      5159 |   98714   664587  1900404 |   274950     4989     66 | 18.796 % |
18.56/18.68	c |      5307 |   98714   664587  1900404 |   274950     5137     66 | 18.796 % |
18.86/18.94	c |      5467 |   98699   664587  1900404 |   274950     5296     65 | 19.367 % |
19.06/19.19	c |      5643 |   98699   664587  1900404 |   274950     5472     67 | 19.367 % |
19.26/19.36	c |      5836 |   98699   664587  1900404 |   274950     5665     69 | 19.367 % |
19.66/19.72	c |      6048 |   98545   664587  1900404 |   274950     5874     68 | 20.245 % |
19.76/19.88	c |      6152 |   98415   664587  1900404 |   274950     5976     68 | 20.476 % |
19.96/20.05	c |      6262 |   96553   650017  1862417 |   274950     6075     68 | 20.575 % |
20.36/20.43	c |      6383 |   96548   650017  1862417 |   274950     6192     68 | 20.603 % |
20.56/20.61	c |      6518 |   96547   650017  1862417 |   274950     6326     68 | 20.614 % |
20.66/20.76	c |      6666 |   96546   650017  1862417 |   274950     6474     67 | 20.614 % |
20.96/21.01	c |      6829 |   96536   650017  1862417 |   274950     6635     66 | 21.140 % |
21.36/21.43	c |      7007 |   96324   650017  1862417 |   274950     6810     66 | 21.508 % |
21.76/21.83	c |      7202 |   95225   640557  1838018 |   274950     6981     65 | 21.718 % |
21.96/22.03	c |      7414 |   95223   640557  1838018 |   274950     7191     65 | 21.871 % |
22.16/22.26	c |      7650 |   95153   640557  1838018 |   274950     7426     65 | 21.881 % |
22.45/22.54	c |      7750 |   95115   640557  1838018 |   274950     7524     65 | 22.022 % |
22.65/22.71	c |      7862 |   95079   640557  1838018 |   274950     7635     65 | 22.110 % |
22.85/22.97	c |      7983 |   95073   640557  1838018 |   274950     7755     65 | 22.261 % |
23.06/23.15	c |      8118 |   94385   635897  1827689 |   274950     7880     64 | 22.446 % |
23.45/23.53	c |      8266 |   94134   635897  1827689 |   274950     8019     63 | 25.749 % |
23.65/23.80	c |      8428 |   94121   635897  1827689 |   274950     8177     63 | 25.811 % |
23.95/24.02	c |      8604 |   94067   635897  1827689 |   274950     8351     62 | 26.074 % |
24.25/24.37	c |      8801 |   93998   635897  1827689 |   274950     8548     62 | 26.074 % |
24.65/24.77	c |      9013 |   89580   601173  1738870 |   274950     8722     62 | 26.310 % |
25.15/25.21	c |      9246 |   89535   601173  1738870 |   274950     8952     62 | 26.736 % |
25.55/25.67	c |      9502 |   89534   601173  1738870 |   274950     9207     62 | 26.782 % |
25.75/25.85	c |      9602 |   89473   601173  1738870 |   274950     9305     61 | 26.955 % |
25.95/26.07	c |      9713 |   89466   601173  1738870 |   274950     9414     61 | 26.976 % |
26.35/26.46	c |      9835 |   87993   582561  1687089 |   274950     9517     61 | 27.615 % |
26.65/26.70	c |      9968 |   87972   582561  1687089 |   274950     9649     61 | 27.661 % |
26.85/26.90	c |     10115 |   87972   582561  1687089 | 2147483647     9796     61 | 27.661 % |
27.05/27.18	c |     10277 |   87968   582561  1687089 | 2147483647     9956     61 | 27.682 % |
27.25/27.38	c |     10456 |   87968   582561  1687089 | 2147483647    10135     61 | 27.682 % |
27.65/27.72	c |     10649 |   87968   582561  1687089 | 2147483647    10328     61 | 27.682 % |
28.15/28.21	c |     10861 |   87963   582561  1687089 | 2147483647    10539     61 | 27.692 % |
28.45/28.57	c |     11094 |   87898   581906  1685371 | 2147483647    10736     61 | 27.701 % |
28.95/29.05	c |     11352 |   87891   581906  1685371 | 2147483647    10992     62 | 27.726 % |
29.25/29.37	c |     11634 |   87891   581906  1685371 | 2147483647    11274     61 | 27.726 % |
29.45/29.60	c |     11735 |   87891   581906  1685371 | 2147483647    11375     61 | 27.726 % |
29.74/29.84	c |     11846 |   87890   581906  1685371 | 2147483647    11485     61 | 27.735 % |
29.84/30.00	c |     11967 |   87890   581906  1685371 | 2147483647    11606     61 | 27.735 % |
30.14/30.25	c |     12100 |   87888   581906  1685371 | 2147483647    11737     62 | 27.814 % |
30.44/30.55	c |     12246 |   87731   581098  1683458 | 2147483647    11875     62 | 27.976 % |
30.65/30.79	c |     12406 |   87731   581098  1683458 | 2147483647    12035     62 | 27.976 % |
31.04/31.16	c |     12583 |   87731   581098  1683458 | 2147483647    12212     61 | 27.976 % |
31.34/31.48	c |     12776 |   87731   581098  1683458 | 2147483647    12405     61 | 27.976 % |
31.75/31.88	c |     12988 |   87731   581098  1683458 | 2147483647    12617     61 | 27.976 % |
32.24/32.35	c |     13222 |   87541   579490  1679164 | 2147483647    12848     61 | 27.987 % |
32.64/32.74	c |     13478 |   87541   579490  1679164 | 2147483647    13104     62 | 27.987 % |
32.95/33.03	c |     13759 |   87521   579490  1679164 | 2147483647    13383     62 | 28.077 % |
33.54/33.69	c |     14079 |   87505   579490  1679164 | 2147483647    13699     63 | 28.099 % |
33.74/33.81	c |     14179 |   87505   579490  1679164 | 2147483647    13799     63 | 28.099 % |
33.84/33.94	c |     14291 |   87461   579490  1679164 | 2147483647    13909     64 | 28.140 % |
33.94/34.03	c |     14412 |   87461   579490  1679164 | 2147483647    14030     64 | 28.140 % |
34.04/34.16	c |     14546 |   87461   579490  1679164 | 2147483647    14164     64 | 28.140 % |
34.23/34.30	c |     14694 |   87355   577828  1674680 | 2147483647    14267     63 | 28.147 % |
34.33/34.48	c |     14854 |   87353   577828  1674680 | 2147483647    14426     64 | 28.155 % |
34.73/34.83	c |     15032 |   87353   577828  1674680 | 2147483647    14604     64 | 28.155 % |
34.83/34.96	c |     15225 |   87353   577828  1674680 | 2147483647    14797     63 | 28.155 % |
35.23/35.36	c |     15438 |   87353   577828  1674680 | 2147483647    15010     64 | 28.155 % |
35.53/35.66	c |     15671 |   87353   577828  1674680 | 2147483647    15243     65 | 28.155 % |
35.73/35.86	c |     15929 |   87353   577828  1674680 | 2147483647    15501     66 | 28.155 % |
36.14/36.29	c |     16210 |   87330   577706  1674366 | 2147483647    15779     66 | 28.319 % |
36.73/36.86	c |     16520 |   87330   577706  1674366 | 2147483647    16089     67 | 28.319 % |
37.13/37.22	c |     16860 |   87327   577706  1674366 | 2147483647    16427     68 | 28.381 % |
37.13/37.29	c |     16962 |   87327   577706  1674366 | 2147483647    16529     68 | 28.381 % |
37.23/37.35	c |     17073 |   87327   577706  1674366 | 2147483647    16640     68 | 28.381 % |
37.34/37.42	c |     17194 |   87327   577706  1674366 | 2147483647    16761     69 | 28.381 % |
37.44/37.55	c |     17328 |   87327   577706  1674366 | 2147483647    16895     69 | 28.381 % |
37.74/37.84	c |     17475 |   87301   577706  1674366 | 2147483647    17042     69 | 28.381 % |
38.04/38.19	c |     17636 |   87301   577706  1674366 | 2147483647    17203     69 | 28.381 % |
38.44/38.55	c |     17818 |   87062   575194  1668029 | 2147483647    17278     70 | 28.381 % |
38.83/38.99	c |     18013 |   87062   575194  1668029 | 2147483647    17473     70 | 28.381 % |
39.44/39.54	c |     18225 |   87003   575194  1668029 | 2147483647    17683     70 | 28.568 % |
39.73/39.89	c |     18458 |   87003   575194  1668029 | 2147483647    17916     70 | 28.568 % |
40.13/40.25	c |     18715 |   87000   575194  1668029 | 2147483647    18172     70 | 28.570 % |
40.54/40.64	c |     18997 |   87000   575194  1668029 | 2147483647    18454     71 | 28.570 % |
41.13/41.23	c |     19308 |   86768   570402  1654395 | 2147483647    18746     72 | 28.963 % |
41.64/41.73	c |     19647 |   86768   570402  1654395 | 2147483647    19085     72 | 28.963 % |
42.13/42.21	c |     20019 |   86751   570402  1654395 | 2147483647    19455     72 | 29.258 % |
42.13/42.27	c |     20120 |   86751   570402  1654395 | 2147483647    19556     72 | 29.258 % |
42.43/42.50	c |     20230 |   86751   570402  1654395 | 2147483647    19666     72 | 29.258 % |
42.63/42.70	c |     20353 |   86750   570402  1654395 | 2147483647    19788     72 | 29.261 % |
42.83/42.97	c |     20486 |   86748   570402  1654395 | 2147483647    19920     72 | 29.268 % |
43.13/43.25	c |     20633 |   85984   557134  1617417 | 2147483647    20031     72 | 29.268 % |
43.43/43.56	c |     20794 |   85984   557134  1617417 | 2147483647    20192     72 | 29.268 % |
43.63/43.76	c |     20970 |   85984   557134  1617417 | 2147483647    20367     73 | 29.402 % |
43.83/43.99	c |     21164 |   85983   557134  1617417 | 2147483647    20561     72 | 29.402 % |
44.32/44.46	c |     21378 |   85954   557134  1617417 | 2147483647    20774     72 | 29.409 % |
44.82/44.93	c |     21615 |   85941   557134  1617417 | 2147483647    21009     73 | 29.649 % |
45.12/45.28	c |     21872 |   85941   557134  1617417 | 2147483647    21266     73 | 29.649 % |
45.62/45.77	c |     22153 |   85516   550985  1600813 | 2147483647    21541     73 | 29.767 % |
46.22/46.39	c |     22463 |   85515   550985  1600813 | 2147483647    21850     74 | 29.768 % |
46.82/46.98	c |     22802 |   85511   550985  1600813 | 2147483647    22187     75 | 29.779 % |
47.23/47.36	c |     23174 |   85492   550985  1600813 | 2147483647    22558     75 | 29.887 % |
47.72/47.86	c |     23583 |   85492   550985  1600813 | 2147483647    22967     77 | 29.887 % |
47.82/47.95	c |     23687 |   85492   550985  1600813 | 2147483647    23071     77 | 29.887 % |
48.02/48.11	c |     23802 |   85197   549268  1596783 | 2147483647    23153     77 | 29.957 % |
48.12/48.25	c |     23923 |   85193   549268  1596783 | 2147483647    23274     77 | 29.957 % |
48.42/48.51	c |     24056 |   85191   549268  1596783 | 2147483647    23405     77 | 29.976 % |
48.52/48.66	c |     24202 |   85159   549268  1596783 | 2147483647    23549     77 | 30.068 % |
48.72/48.89	c |     24362 |   85157   549268  1596783 | 2147483647    23707     77 | 30.069 % |
49.32/49.50	c |     24540 |   85157   549268  1596783 | 2147483647    23885     78 | 30.069 % |
49.62/49.71	c |     24733 |   85157   549268  1596783 | 2147483647    24078     78 | 30.069 % |
49.82/49.97	c |     24949 |   85134   549268  1596783 | 2147483647    24291     79 | 30.414 % |
50.32/50.48	c |     25183 |   85121   549268  1596783 | 2147483647    24525     79 | 30.414 % |
50.82/50.93	c |     25439 |   85120   549268  1596783 | 2147483647    24780     80 | 30.519 % |
51.42/51.55	c |     25722 |   84463   539356  1569900 | 2147483647    24940     80 | 30.519 % |
52.02/52.10	c |     26031 |   84463   539356  1569900 | 2147483647    25249     80 | 30.519 % |
52.22/52.33	c |     26370 |   84446   539356  1569900 | 2147483647    25585     80 | 30.555 % |
52.52/52.67	c |     26743 |   84437   539356  1569900 | 2147483647    25957     80 | 30.690 % |
52.82/52.95	c |     27152 |   84437   539356  1569900 | 2147483647    26366     80 | 30.690 % |
53.73/53.87	c |     27602 |   84436   539356  1569900 | 2147483647    26815     81 | 30.753 % |
53.92/54.09	c |     27703 |   84170   537270  1564467 | 2147483647    26861     81 | 30.760 % |
54.22/54.30	c |     27813 |   84170   537270  1564467 | 2147483647    26971     81 | 30.760 % |
54.32/54.48	c |     27938 |   84170   537270  1564467 | 2147483647    27096     81 | 30.760 % |
54.52/54.62	c |     28071 |   84170   537270  1564467 | 2147483647    27229     81 | 30.760 % |
54.72/54.84	c |     28217 |   84169   537270  1564467 | 2147483647    27374     81 | 30.761 % |
54.83/54.99	c |     28378 |   84169   537270  1564467 | 2147483647    27535     81 | 30.761 % |
55.12/55.20	c |     28555 |   84169   537270  1564467 | 2147483647    27712     81 | 30.761 % |
55.32/55.44	c |     28749 |   84169   537270  1564467 | 2147483647    27906     81 | 30.761 % |
55.82/55.93	c |     28962 |   84164   537270  1564467 | 2147483647    28115     81 | 30.916 % |
56.22/56.31	c |     29195 |   84123   537270  1564467 | 2147483647    28345     81 | 31.237 % |
56.62/56.71	c |     29451 |   84121   537270  1564467 | 2147483647    28601     82 | 31.237 % |
57.12/57.20	c |     29732 |   83590   529300  1542546 | 2147483647    28818     83 | 31.237 % |
57.51/57.60	c |     30041 |   83590   529300  1542546 | 2147483647    29127     83 | 31.237 % |
57.81/57.93	c |     30380 |   83585   529300  1542546 | 2147483647    29464     83 | 31.309 % |
58.31/58.41	c |     30752 |   83562   529300  1542546 | 2147483647    29836     84 | 31.309 % |
58.91/59.08	c |     31162 |   83549   529300  1542546 | 2147483647    30245     85 | 31.395 % |
59.51/59.69	c |     31611 |   83536   529300  1542546 | 2147483647    30693     86 | 31.505 % |
59.91/60.07	c |     32104 |   83255   525818  1532782 | 2147483647    30933     86 | 31.513 % |
60.01/60.16	c |     32204 |   83255   525818  1532782 | 2147483647    31033     86 | 31.513 % |
60.21/60.35	c |     32314 |   83251   525818  1532782 | 2147483647    31140     86 | 31.628 % |
60.31/60.46	c |     32435 |   83251   525818  1532782 | 2147483647    31261     86 | 31.628 % |
60.41/60.56	c |     32568 |   83251   525818  1532782 | 2147483647    31394     86 | 31.628 % |
60.61/60.74	c |     32715 |   83235   525818  1532782 | 2147483647    31537     85 | 31.700 % |
60.91/61.09	c |     32875 |   83235   525818  1532782 | 2147483647    31697     86 | 31.700 % |
61.32/61.40	c |     33051 |   83235   525818  1532782 | 2147483647    31873     86 | 31.700 % |
61.52/61.65	c |     33248 |   83235   525818  1532782 | 2147483647    32070     86 | 31.700 % |
61.71/61.89	c |     33460 |   83235   525818  1532782 | 2147483647    32282     86 | 31.700 % |
62.01/62.12	c |     33693 |   83235   525818  1532782 | 2147483647    32515     87 | 31.700 % |
62.21/62.35	c |     33949 |   83232   525818  1532782 | 2147483647    32769     87 | 31.713 % |
62.71/62.84	c |     34232 |   83229   525818  1532782 | 2147483647    33050     87 | 31.721 % |
63.21/63.31	c |     34542 |   83229   525818  1532782 | 2147483647    33360     87 | 31.721 % |
63.71/63.87	c |     34882 |   83002   523774  1527200 | 2147483647    33669     88 | 31.721 % |
64.11/64.23	c |     35257 |   83002   523774  1527200 | 2147483647    34044     89 | 31.721 % |
64.41/64.56	c |     35667 |   83002   523774  1527200 | 2147483647    34454     89 | 31.721 % |
65.01/65.13	c |     36116 |   83002   523774  1527200 | 2147483647    34903     89 | 31.721 % |
65.91/66.07	c |     36613 |   83002   523774  1527200 | 2147483647    35400     90 | 31.721 % |
66.41/66.56	c |     37155 |   83002   523774  1527200 | 2147483647    35941     90 | 31.722 % |
66.51/66.65	c |     37255 |   83001   523774  1527200 | 2147483647    36041     90 | 31.722 % |
66.61/66.76	c |     37365 |   83001   523774  1527200 | 2147483647    36151     90 | 31.722 % |
66.91/67.03	c |     37486 |   83001   523774  1527200 | 2147483647    36272     90 | 31.722 % |
67.31/67.48	c |     37619 |   83001   523770  1527192 | 2147483647    36402     90 | 31.775 % |
67.51/67.63	c |     37765 |   83000   523770  1527192 | 2147483647    36548     90 | 31.775 % |
67.71/67.83	c |     37925 |   83000   523770  1527192 | 2147483647    36708     90 | 31.775 % |
67.81/67.99	c |     38104 |   83000   523770  1527192 | 2147483647    36887     91 | 31.775 % |
68.01/68.18	c |     38298 |   82999   523770  1527192 | 2147483647    37080     91 | 31.782 % |
68.30/68.49	c |     38510 |   82999   523770  1527192 | 2147483647    37292     91 | 31.782 % |
68.70/68.83	c |     38743 |   82999   523770  1527192 | 2147483647    37525     91 | 31.782 % |
69.00/69.12	c |     39000 |   82999   523770  1527192 | 2147483647    37782     92 | 31.782 % |
69.49/69.67	c |     39281 |   82999   523770  1527192 | 2147483647    38063     92 | 31.782 % |
70.20/70.32	c |     39594 |   82999   523770  1527192 | 2147483647    38376     92 | 31.782 % |
70.69/70.88	c |     39933 |   82999   523770  1527192 | 2147483647    38715     93 | 31.782 % |
71.09/71.24	c |     40305 |   82996   523770  1527192 | 2147483647    39086     93 | 31.791 % |
71.89/72.02	c |     40718 |   82913   523296  1526120 | 2147483647    39492     93 | 31.794 % |
72.69/72.81	c |     41167 |   82900   523296  1526120 | 2147483647    39940     93 | 31.836 % |
73.29/73.41	c |     41660 |   82897   523296  1526120 | 2147483647    40432     93 | 31.844 % |
74.20/74.31	c |     42203 |   82896   523296  1526120 | 2147483647    40974     94 | 31.845 % |
75.09/75.25	c |     42801 |   82882   523296  1526120 | 2147483647    41568     95 | 31.872 % |
75.19/75.38	c |     42901 |   82880   523296  1526120 | 2147483647    41666     95 | 31.881 % |
75.39/75.56	c |     43011 |   82880   523296  1526120 | 2147483647    41776     95 | 31.881 % |
75.49/75.69	c |     43132 |   82877   523296  1526120 | 2147483647    41896     95 | 31.898 % |
75.80/75.93	c |     43265 |   82876   523296  1526120 | 2147483647    42029     95 | 31.898 % |
76.09/76.20	c |     43412 |   82874   523296  1526120 | 2147483647    42174     95 | 31.900 % |
76.29/76.46	c |     43573 |   82785   522485  1524056 | 2147483647    42323     95 | 31.900 % |
76.59/76.79	c |     43753 |   82785   522485  1524056 | 2147483647    42503     95 | 31.900 % |
76.89/77.00	c |     43947 |   82785   522485  1524056 | 2147483647    42697     96 | 31.900 % |
77.09/77.20	c |     44160 |   82785   522485  1524056 | 2147483647    42909     96 | 31.900 % |
77.29/77.42	c |     44393 |   82783   522485  1524056 | 2147483647    43141     96 | 31.907 % |
77.59/77.73	c |     44651 |   82783   522485  1524056 | 2147483647    43399     96 | 31.907 % |
77.79/77.97	c |     44932 |   82776   522485  1524056 | 2147483647    43679     96 | 31.908 % |
78.09/78.29	c |     45241 |   82774   522485  1524056 | 2147483647    43986     96 | 31.924 % |
78.69/78.80	c |     45581 |   82756   522485  1524056 | 2147483647    44323     96 | 31.955 % |
79.39/79.51	c |     45956 |   82749   522485  1524056 | 2147483647    44698     96 | 31.955 % |
79.89/80.04	c |     46367 |   82736   522485  1524056 | 2147483647    45106     97 | 32.049 % |
80.39/80.57	c |     46816 |   82736   522485  1524056 | 2147483647    45555     97 | 32.049 % |
81.19/81.38	c |     47312 |   82735   522485  1524056 | 2147483647    46050     97 | 32.050 % |
82.39/82.59	c |     47854 |   82597   521267  1521147 | 2147483647    46556     98 | 32.068 % |
82.89/83.07	c |     48450 |   82595   521267  1521147 | 2147483647    47150     99 | 32.083 % |
83.78/83.93	c |     49105 |   82595   521267  1521147 | 2147483647    47805     99 | 32.083 % |
83.88/84.02	c |     49205 |   82595   521267  1521147 | 2147483647    47905     99 | 32.083 % |
83.98/84.20	c |     49315 |   82595   521267  1521147 | 2147483647    48015     99 | 32.083 % |
84.28/84.44	c |     49436 |   82591   521267  1521147 | 2147483647    48136     99 | 32.083 % |
84.58/84.77	c |     49573 |   82591   521267  1521147 | 2147483647    48273     99 | 32.083 % |
84.88/85.03	c |     49719 |   82591   521267  1521147 | 2147483647    48419     99 | 32.083 % |
85.18/85.36	c |     49880 |   82591   521267  1521147 | 2147483647    48580     99 | 32.083 % |
85.48/85.67	c |     50056 |   82591   521267  1521147 | 2147483647    48756     99 | 32.083 % |
85.78/85.94	c |     50249 |   82588   521267  1521147 | 2147483647    48947     99 | 32.093 % |
86.28/86.46	c |     50461 |   82588   521267  1521147 | 2147483647    49159    100 | 32.093 % |
86.48/86.70	c |     50694 |   82588   521267  1521147 | 2147483647    49392    100 | 32.093 % |
86.79/86.93	c |     50951 |   82588   521267  1521147 | 2147483647    49649    100 | 32.093 % |
87.28/87.48	c |     51234 |   82550   520858  1520061 | 2147483647    49916    100 | 32.093 % |
87.68/87.87	c |     51543 |   82550   520858  1520061 | 2147483647    50225    101 | 32.093 % |
88.58/88.77	c |     51882 |   82547   520858  1520061 | 2147483647    50562    102 | 32.127 % |
89.18/89.36	c |     52254 |   82546   520858  1520061 | 2147483647    50933    102 | 32.150 % |
89.68/89.81	c |     52663 |   82544   520858  1520061 | 2147483647    51341    102 | 32.156 % |
90.28/90.49	c |     53114 |   82529   520858  1520061 | 2147483647    51792    102 | 32.156 % |
91.08/91.24	c |     53607 |   82525   520858  1520061 | 2147483647    52281    102 | 32.530 % |
91.78/91.91	c |     54149 |   82524   520858  1520061 | 2147483647    52822    102 | 32.531 % |
92.48/92.69	c |     54745 |   82524   520858  1520061 | 2147483647    53418    103 | 32.531 % |
93.98/94.14	c |     55403 |   82016   510956  1492247 | 2147483647    53093    103 | 32.532 % |
95.17/95.37	c |     56123 |   82000   510956  1492247 | 2147483647    53809    105 | 32.567 % |
95.27/95.45	c |     56223 |   82000   510956  1492247 | 2147483647    53909    105 | 32.567 % |
95.48/95.60	c |     56336 |   82000   510956  1492247 | 2147483647    54022    105 | 32.567 % |
95.58/95.72	c |     56458 |   82000   510956  1492247 | 2147483647    54144    105 | 32.567 % |
95.87/96.00	c |     56591 |   81998   510956  1492247 | 2147483647    54276    105 | 32.574 % |
96.07/96.23	c |     56738 |   81997   510956  1492247 | 2147483647    54422    105 | 32.578 % |
96.37/96.50	c |     56899 |   81995   510956  1492247 | 2147483647    54582    105 | 32.585 % |
96.47/96.68	c |     57077 |   81995   510956  1492247 | 2147483647    54760    105 | 32.585 % |
96.68/96.88	c |     57271 |   81995   510956  1492247 | 2147483647    54954    105 | 32.585 % |
96.97/97.17	c |     57484 |   81995   510956  1492247 | 2147483647    55167    106 | 32.585 % |
97.27/97.46	c |     57733 |   81984   510956  1492247 | 2147483647    55414    106 | 32.626 % |
97.68/97.86	c |     57991 |   81982   510956  1492247 | 2147483647    55671    106 | 32.636 % |
98.07/98.24	c |     58275 |   81981   510956  1492247 | 2147483647    55954    106 | 32.645 % |
98.57/98.71	c |     58592 |   81979   510956  1492247 | 2147483647    56271    107 | 32.645 % |
98.88/99.03	c |     58931 |   81979   510956  1492247 | 2147483647    56610    107 | 32.645 % |
99.37/99.55	c |     59303 |   81979   510956  1492247 | 2147483647    56981    107 | 32.646 % |
100.48/100.63	c |     59714 |   81979   510956  1492247 | 2147483647    57392    107 | 32.646 % |
101.38/101.55	c |     60167 |   81877   509863  1489491 | 2147483647    57810    108 | 32.646 % |
102.27/102.46	c |     60662 |   81874   509863  1489491 | 2147483647    58303    108 | 32.653 % |
103.27/103.43	c |     61206 |   81870   509863  1489491 | 2147483647    58845    110 | 32.658 % |
104.07/104.24	c |     61802 |   81870   509863  1489491 | 2147483647    59441    110 | 32.658 % |
104.87/105.03	c |     62461 |   81870   509863  1489491 | 2147483647    60100    110 | 32.658 % |
105.87/106.04	c |     63181 |   81835   509863  1489491 | 2147483647    60819    110 | 32.730 % |
106.87/107.08	c |     63973 |   81834   509863  1489491 | 2147483647    61610    110 | 32.739 % |
107.07/107.25	c |     64075 |   81834   509863  1489491 | 2147483647    61712    110 | 32.739 % |
107.17/107.39	c |     64187 |   81831   509863  1489491 | 2147483647    61823    110 | 32.747 % |
107.47/107.63	c |     64308 |   81830   509863  1489491 | 2147483647    61943    110 | 32.748 % |
107.57/107.79	c |     64445 |   81830   509863  1489491 | 2147483647    62079    111 | 32.754 % |
107.87/108.09	c |     64594 |   81829   509863  1489491 | 2147483647    62228    111 | 32.754 % |
108.07/108.29	c |     64754 |   81828   509863  1489491 | 2147483647    62387    111 | 32.755 % |
108.57/108.75	c |     64930 |   81828   509863  1489491 | 2147483647    62563    111 | 32.755 % |
109.17/109.31	c |     65123 |   81729   509035  1487497 | 2147483647    62683    111 | 33.011 % |
109.66/109.88	c |     65335 |   81729   509035  1487497 | 2147483647    62895    112 | 33.011 % |
110.07/110.21	c |     65568 |   81729   509035  1487497 | 2147483647    63128    112 | 33.011 % |
110.47/110.65	c |     65824 |   81721   509035  1487497 | 2147483647    63382    112 | 33.026 % |
110.88/111.06	c |     66105 |   81721   509035  1487497 | 2147483647    63663    112 | 33.026 % |
111.37/111.53	c |     66414 |   81697   509035  1487497 | 2147483647    63971    112 | 33.284 % |
111.77/111.94	c |     66754 |   81693   509035  1487497 | 2147483647    64310    112 | 33.295 % |
112.27/112.47	c |     67126 |   81680   509035  1487497 | 2147483647    64679    112 | 33.306 % |
113.17/113.33	c |     67535 |   81680   509035  1487497 | 2147483647    65088    113 | 33.306 % |
113.86/114.06	c |     67991 |   81680   509035  1487497 | 2147483647    65544    113 | 33.306 % |
114.86/115.02	c |     68485 |   81680   509035  1487497 | 2147483647    66038    113 | 33.306 % |
115.86/116.00	c |     69030 |   81655   509035  1487497 | 2147483647    66580    113 | 33.367 % |
116.76/116.98	c |     69626 |   81653   509035  1487497 | 2147483647    67174    114 | 33.375 % |
118.16/118.31	c |     70281 |   80986   496252  1451660 | 2147483647    67768    115 | 33.392 % |
119.06/119.25	c |     71002 |   80985   496252  1451660 | 2147483647    68488    115 | 33.393 % |
120.46/120.61	c |     71794 |   80985   496252  1451660 | 2147483647    69280    116 | 33.393 % |
121.76/121.97	c |     72668 |   80984   496252  1451660 | 2147483647    70153    116 | 33.400 % |
121.86/122.09	c |     72769 |   80984   496252  1451660 | 2147483647    70254    116 | 33.400 % |
122.06/122.21	c |     72880 |   80984   496252  1451660 | 2147483647    70364    116 | 33.407 % |
122.16/122.34	c |     73002 |   80984   496252  1451660 | 2147483647    70486    116 | 33.407 % |
122.36/122.56	c |     73135 |   80980   496252  1451660 | 2147483647    70619    116 | 33.407 % |
122.56/122.72	c |     73282 |   80980   496252  1451660 | 2147483647    70766    116 | 33.407 % |
122.76/122.96	c |     73442 |   80980   496252  1451660 | 2147483647    70926    116 | 33.407 % |
122.96/123.13	c |     73618 |   80980   496252  1451660 | 2147483647    71102    116 | 33.407 % |
123.26/123.40	c |     73811 |   80980   496252  1451660 | 2147483647    71295    116 | 33.407 % |
123.46/123.69	c |     74028 |   80978   496252  1451660 | 2147483647    71510    116 | 33.412 % |
123.95/124.16	c |     74261 |   80976   496252  1451660 | 2147483647    71742    116 | 33.422 % |
124.55/124.72	c |     74517 |   80976   496252  1451660 | 2147483647    71998    117 | 33.422 % |
125.05/125.22	c |     74798 |   80974   496252  1451660 | 2147483647    72278    117 | 33.431 % |
125.56/125.71	c |     75108 |   80974   496252  1451660 | 2147483647    72588    117 | 33.431 % |
126.26/126.41	c |     75449 |   80922   495649  1450043 | 2147483647    72909    117 | 33.432 % |
127.16/127.30	c |     75821 |   80919   495649  1450043 | 2147483647    73278    117 | 33.437 % |
127.96/128.16	c |     76230 |   80913   495649  1450043 | 2147483647    73685    118 | 33.454 % |
128.76/128.98	c |     76684 |   80898   495649  1450043 | 2147483647    74134    118 | 33.484 % |
129.56/129.71	c |     77178 |   80898   495649  1450043 | 2147483647    74627    119 | 33.485 % |
130.55/130.77	c |     77723 |   80897   495649  1450043 | 2147483647    75172    120 | 33.485 % |
131.45/131.65	c |     78320 |   80897   495649  1450043 | 2147483647    75769    120 | 33.485 % |
132.75/132.94	c |     78975 |   80896   495649  1450043 | 2147483647    76423    121 | 33.522 % |
134.25/134.44	c |     79696 |   80893   495649  1450043 | 2147483647    77142    122 | 33.533 % |
135.75/135.91	c |     80488 |   80892   495649  1450043 | 2147483647    77932    121 | 33.535 % |
136.85/137.06	c |     81359 |   80891   495649  1450043 | 2147483647    78802    122 | 33.536 % |
138.36/138.50	c |     82320 |   80891   495649  1450043 | 2147483647    79763    123 | 33.536 % |
138.55/138.73	c |     82421 |   80796   494810  1447984 | 2147483647    79832    123 | 33.536 % |
138.65/138.88	c |     82531 |   80796   494810  1447984 | 2147483647    79942    123 | 33.536 % |
138.95/139.17	c |     82652 |   80796   494810  1447984 | 2147483647    80063    123 | 33.536 % |
139.25/139.46	c |     82785 |   80796   494810  1447984 | 2147483647    80196    123 | 33.536 % |
139.56/139.78	c |     82932 |   80789   494810  1447984 | 2147483647    80341    123 | 33.548 % |
139.85/140.01	c |     83092 |   80789   494810  1447984 | 2147483647    80501    123 | 33.548 % |
140.35/140.52	c |     83268 |   80788   494810  1447984 | 2147483647    80676    124 | 33.549 % |
140.75/140.90	c |     83461 |   80788   494810  1447984 | 2147483647    80869    124 | 33.549 % |
141.05/141.28	c |     83673 |   80786   494810  1447984 | 2147483647    81079    124 | 33.551 % |
141.45/141.66	c |     83906 |   80786   494810  1447984 | 2147483647    81312    124 | 33.551 % |
141.85/142.04	c |     84162 |   80786   494810  1447984 | 2147483647    81568    124 | 33.551 % |
142.15/142.36	c |     84445 |   80785   494810  1447984 | 2147483647    81850    124 | 33.558 % |
142.75/142.97	c |     84755 |   80784   494810  1447984 | 2147483647    82159    124 | 33.559 % |
143.24/143.47	c |     85095 |   80784   494810  1447984 | 2147483647    82499    124 | 33.559 % |
143.85/144.07	c |     85467 |   80784   494810  1447984 | 2147483647    82871    124 | 33.559 % |
144.34/144.52	c |     85876 |   80784   494810  1447984 | 2147483647    83280    124 | 33.559 % |
144.95/145.14	c |     86327 |   80781   494810  1447984 | 2147483647    83728    124 | 33.598 % |
145.74/146.00	c |     86820 |   80770   494810  1447984 | 2147483647    84221    124 | 33.598 % |
146.84/147.07	c |     87364 |   80767   494810  1447984 | 2147483647    84761    124 | 33.615 % |
147.64/147.87	c |     87960 |   80765   494810  1447984 | 2147483647    85355    124 | 33.624 % |
148.64/148.80	c |     88615 |   80764   494810  1447984 | 2147483647    86009    124 | 33.625 % |
149.65/149.89	c |     89337 |   80763   494810  1447984 | 2147483647    86730    124 | 33.625 % |
150.85/151.06	c |     90129 |   80687   493969  1445754 | 2147483647    87481    124 | 33.625 % |
152.15/152.36	c |     91003 |   80668   493969  1445754 | 2147483647    88350    124 | 33.647 % |
154.04/154.22	c |     91964 |   80668   493969  1445754 | 2147483647    89311    125 | 33.647 % |
156.24/156.41	c |     93017 |   80668   493969  1445754 | 2147483647    90364    127 | 33.647 % |
156.44/156.64	c |     93120 |   80668   493969  1445754 | 2147483647    90467    127 | 33.647 % |
156.54/156.78	c |     93233 |   80668   493969  1445754 | 2147483647    90580    127 | 33.647 % |
156.74/156.99	c |     93354 |   80668   493969  1445754 | 2147483647    90701    127 | 33.647 % |
157.05/157.25	c |     93487 |   80668   493969  1445754 | 2147483647    90834    127 | 33.647 % |
157.34/157.55	c |     93634 |   80667   493969  1445754 | 2147483647    90980    127 | 33.655 % |
157.84/158.04	c |     93799 |   80665   493969  1445754 | 2147483647    91143    127 | 33.657 % |
158.24/158.48	c |     93978 |   80665   493969  1445754 | 2147483647    91322    127 | 33.657 % |
158.54/158.80	c |     94171 |   80665   493969  1445754 | 2147483647    91515    127 | 33.657 % |
158.84/159.08	c |     94385 |   80665   493969  1445754 | 2147483647    91729    127 | 33.657 % |
159.24/159.50	c |     94618 |   80654   493969  1445754 | 2147483647    91961    127 | 33.693 % |
159.73/159.93	c |     94874 |   80654   493969  1445754 | 2147483647    92217    127 | 33.693 % |
160.13/160.34	c |     95156 |   80654   493969  1445754 | 2147483647    92499    127 | 33.693 % |
160.83/161.02	c |     95465 |   80620   493969  1445754 | 2147483647    92806    128 | 33.783 % |
161.33/161.58	c |     95804 |   80618   493969  1445754 | 2147483647    93144    128 | 33.789 % |
162.03/162.21	c |     96178 |   80618   493969  1445754 | 2147483647    93518    128 | 33.789 % |
162.53/162.79	c |     96589 |   80615   493969  1445754 | 2147483647    93928    128 | 34.169 % |
163.33/163.56	c |     97038 |   80615   493969  1445754 | 2147483647    94377    128 | 34.169 % |
164.23/164.50	c |     97532 |   80615   493969  1445754 | 2147483647    94871    129 | 34.169 % |
165.53/165.79	c |     98074 |   80025   491105  1439499 | 2147483647    95353    129 | 34.172 % |
166.53/166.72	c |     98672 |   80025   491105  1439499 | 2147483647    95951    129 | 34.172 % |
167.43/167.62	c |     99327 |   80025   491105  1439499 | 2147483647    96606    129 | 34.172 % |
168.53/168.79	c |    100047 |   80021   491105  1439499 | 2147483647    97324    129 | 34.186 % |
170.13/170.37	c |    100844 |   80021   491105  1439499 | 2147483647    98121    129 | 34.186 % |
171.83/172.08	c |    101719 |   80018   491105  1439499 | 2147483647    98993    130 | 34.242 % |
173.54/173.74	c |    102677 |   80016   491105  1439499 | 2147483647    99949    130 | 34.247 % |
175.43/175.65	c |    103730 |   80015   491105  1439499 | 2147483647   101002    131 | 34.247 % |
177.33/177.58	c |    104888 |   80015   491105  1439499 | 2147483647   102160    133 | 34.247 % |
177.63/177.80	c |    104988 |   80015   491105  1439499 | 2147483647   102260    133 | 34.247 % |
177.83/178.08	c |    105099 |   80015   491105  1439499 | 2147483647   102371    133 | 34.247 % |
178.22/178.41	c |    105220 |   80015   491105  1439499 | 2147483647   102492    133 | 34.247 % |
178.42/178.67	c |    105353 |   80015   491105  1439499 | 2147483647   102625    133 | 34.247 % |
178.62/178.86	c |    105499 |   80015   491105  1439499 | 2147483647   102771    133 | 34.247 % |
178.92/179.12	c |    105661 |   80015   491105  1439499 | 2147483647   102933    133 | 34.247 % |
179.22/179.46	c |    105837 |   80015   491105  1439499 | 2147483647   103109    133 | 34.247 % |
179.52/179.73	c |    106030 |   80007   491105  1439499 | 2147483647   103297    133 | 34.308 % |
180.12/180.33	c |    106242 |   79856   489367  1434790 | 2147483647   103337    133 | 34.309 % |
180.72/180.95	c |    106476 |   79856   489367  1434790 | 2147483647   103571    133 | 34.309 % |
181.33/181.52	c |    106733 |   79855   489367  1434790 | 2147483647   103827    133 | 34.310 % |
181.83/182.05	c |    107014 |   79846   489367  1434790 | 2147483647   104107    133 | 34.367 % |
182.63/182.80	c |    107324 |   79834   489367  1434790 | 2147483647   104415    133 | 34.376 % |
183.23/183.48	c |    107666 |   79753   489367  1434790 | 2147483647   104753    134 | 35.344 % |
183.93/184.15	c |    108042 |   79752   489367  1434790 | 2147483647   105128    134 | 35.345 % |
184.63/184.83	c |    108455 |   79752   489367  1434790 | 2147483647   105541    134 | 35.345 % |
185.53/185.71	c |    108904 |   79751   489367  1434790 | 2147483647   105989    134 | 35.354 % |
186.62/186.84	c |    109397 |   79750   489367  1434790 | 2147483647   106481    134 | 35.355 % |
187.52/187.75	c |    109939 |   79750   489367  1434790 | 2147483647   107023    135 | 35.355 % |
188.52/188.79	c |    110536 |   79747   489367  1434790 | 2147483647   107617    135 | 35.366 % |
189.62/189.88	c |    111191 |   79743   489367  1434790 | 2147483647   108268    135 | 35.373 % |
191.02/191.28	c |    111913 |   79697   489367  1434790 | 2147483647   108986    135 | 35.427 % |
192.13/192.37	c |    112705 |   79697   489367  1434790 | 2147483647   109778    136 | 35.427 % |
193.72/193.95	c |    113577 |   79697   489367  1434790 | 2147483647   110650    136 | 35.427 % |
195.12/195.38	c |    114536 |   79696   489367  1434790 | 2147483647   111608    135 | 35.431 % |
196.82/197.07	c |    115589 |   79693   489367  1434790 | 2147483647   112660    136 | 35.438 % |
199.72/199.95	c |    116748 |   78476   468063  1375649 | 2147483647   112230    137 | 35.444 % |
202.22/202.46	c |    118021 |   78472   468063  1375649 | 2147483647   113502    138 | 35.447 % |
202.42/202.67	c |    118124 |   78472   468063  1375649 | 2147483647   113605    138 | 35.447 % |
202.61/202.87	c |    118236 |   78471   468063  1375649 | 2147483647   113716    138 | 35.451 % |
202.81/203.07	c |    118357 |   78471   468063  1375649 | 2147483647   113837    138 | 35.451 % |
203.01/203.26	c |    118491 |   78471   468063  1375649 | 2147483647   113971    138 | 35.451 % |
203.22/203.48	c |    118637 |   78471   468063  1375649 | 2147483647   114117    138 | 35.451 % |
203.51/203.78	c |    118801 |   78471   468063  1375649 | 2147483647   114281    138 | 35.451 % |
203.81/204.05	c |    118978 |   78468   468063  1375649 | 2147483647   114457    138 | 35.454 % |
204.32/204.56	c |    119172 |   78468   468063  1375649 | 2147483647   114651    138 | 35.454 % |
204.71/204.98	c |    119384 |   78465   468063  1375649 | 2147483647   114861    138 | 35.463 % |
205.11/205.37	c |    119617 |   78465   468063  1375649 | 2147483647   115094    138 | 35.463 % |
205.61/205.89	c |    119873 |   78464   468063  1375649 | 2147483647   115349    138 | 35.464 % |
206.11/206.39	c |    120154 |   78464   468063  1375649 | 2147483647   115630    138 | 35.464 % |
206.91/207.11	c |    120466 |   78464   468063  1375649 | 2147483647   115942    138 | 35.464 % |
207.61/207.86	c |    120807 |   78463   468063  1375649 | 2147483647   116282    138 | 35.465 % |
208.21/208.41	c |    121179 |   78462   468063  1375649 | 2147483647   116653    138 | 35.518 % |
208.91/209.13	c |    121590 |   78461   468063  1375649 | 2147483647   117064    138 | 35.518 % |
210.12/210.30	c |    122039 |   78460   468063  1375649 | 2147483647   117512    138 | 35.526 % |
211.11/211.31	c |    122537 |   78459   468063  1375649 | 2147483647   118009    139 | 35.527 % |
212.11/212.38	c |    123079 |   78459   468063  1375649 | 2147483647   118550    139 | 35.528 % |
213.41/213.63	c |    123676 |   78458   468063  1375649 | 2147483647   119146    139 | 35.535 % |
214.71/214.90	c |    124331 |   78457   468063  1375649 | 2147483647   119800    139 | 35.535 % |
215.92/216.14	c |    125052 |   78448   468063  1375649 | 2147483647   120519    139 | 35.550 % |
217.42/217.67	c |    125846 |   78448   468063  1375649 | 2147483647   121313    140 | 35.550 % |
219.01/219.28	c |    126718 |   78447   468063  1375649 | 2147483647   122184    140 | 35.551 % |
221.51/221.78	c |    127677 |   78344   467253  1373687 | 2147483647   123060    141 | 35.553 % |
223.61/223.83	c |    128730 |   78343   467253  1373687 | 2147483647   124112    141 | 35.554 % |
226.01/226.20	c |    129888 |   78321   467253  1373687 | 2147483647   125267    141 | 35.588 % |
228.51/228.75	c |    131161 |   78298   467253  1373687 | 2147483647   126534    141 | 35.692 % |
231.91/232.17	c |    132561 |   78297   467253  1373687 | 2147483647   127933    142 | 35.694 % |
232.11/232.35	c |    132663 |   78297   467253  1373687 | 2147483647   128035    142 | 35.694 % |
232.41/232.61	c |    132775 |   78297   467253  1373687 | 2147483647   128147    142 | 35.694 % |
232.61/232.86	c |    132896 |   78297   467253  1373687 | 2147483647   128267    142 | 35.697 % |
233.01/233.27	c |    133030 |   78296   467253  1373687 | 2147483647   128400    142 | 35.698 % |
233.21/233.50	c |    133176 |   78296   467253  1373687 | 2147483647   128546    142 | 35.698 % |
233.61/233.85	c |    133340 |   78296   467253  1373687 | 2147483647   128710    142 | 35.698 % |
233.91/234.12	c |    133517 |   78296   467253  1373687 | 2147483647   128887    142 | 35.698 % |
234.11/234.36	c |    133711 |   78294   467253  1373687 | 2147483647   129080    142 | 35.704 % |
234.51/234.78	c |    133928 |   78294   467253  1373687 | 2147483647   129297    142 | 35.704 % |
234.91/235.19	c |    134161 |   78293   467253  1373687 | 2147483647   129529    142 | 35.705 % |
235.41/235.70	c |    134419 |   78293   467253  1373687 | 2147483647   129787    142 | 35.705 % |
236.21/236.43	c |    134702 |   78292   467253  1373687 | 2147483647   130069    142 | 35.709 % |
236.91/237.17	c |    135015 |   78292   467253  1373687 | 2147483647   130382    142 | 35.709 % |
237.80/238.01	c |    135357 |   78290   467253  1373687 | 2147483647   130721    142 | 35.750 % |
238.60/238.85	c |    135733 |   78286   467253  1373687 | 2147483647   131095    143 | 36.008 % |
239.30/239.56	c |    136143 |   78286   467253  1373687 | 2147483647   131505    143 | 36.008 % |
240.30/240.58	c |    136592 |   78286   467253  1373687 | 2147483647   131953    143 | 36.010 % |
241.31/241.51	c |    137086 |   78286   467253  1373687 | 2147483647   132447    143 | 36.010 % |
242.11/242.37	c |    137629 |   78285   467253  1373687 | 2147483647   132989    143 | 36.057 % |
243.11/243.34	c |    138225 |   78285   467253  1373687 | 2147483647   133585    143 | 36.057 % |
244.60/244.87	c |    138881 |   77731   459142  1351288 | 2147483647   134059    143 | 36.057 % |
246.10/246.33	c |    139603 |   77731   459142  1351288 | 2147483647   134781    144 | 36.057 % |
247.70/247.93	c |    140396 |   77730   459142  1351288 | 2147483647   135573    144 | 36.064 % |
249.60/249.84	c |    141277 |   77726   459142  1351288 | 2147483647   136452    144 | 36.065 % |
250.80/251.07	c |    142238 |   77726   459142  1351288 | 2147483647   137413    145 | 36.065 % |
253.00/253.22	c |    143291 |   77724   459142  1351288 | 2147483647   138463    145 | 36.068 % |
255.10/255.37	c |    144452 |   77723   459142  1351288 | 2147483647   139624    145 | 36.068 % |
257.89/258.11	c |    145725 |   77718   459142  1351288 | 2147483647   140893    145 | 36.083 % |
259.80/260.06	c |    147126 |   77713   459142  1351288 | 2147483647   142292    146 | 36.087 % |
262.70/262.98	c |    148668 |   77711   459142  1351288 | 2147483647   143832    148 | 36.103 % |
262.99/263.20	c |    148773 |   77711   459142  1351288 | 2147483647   143937    148 | 36.103 % |
263.09/263.35	c |    148890 |   77711   459142  1351288 | 2147483647   144054    148 | 36.103 % |
263.29/263.54	c |    149014 |   77711   459142  1351288 | 2147483647   144178    148 | 36.103 % |
263.59/263.86	c |    149147 |   77706   459142  1351288 | 2147483647   144310    148 | 36.110 % |
263.99/264.22	c |    149297 |   77699   459142  1351288 | 2147483647   144458    148 | 36.129 % |
264.49/264.70	c |    149459 |   77699   459142  1351288 | 2147483647   144620    148 | 36.129 % |
264.69/264.98	c |    149635 |   77699   459142  1351288 | 2147483647   144796    148 | 36.129 % |
265.29/265.53	c |    149830 |   77699   459142  1351288 | 2147483647   144991    148 | 36.129 % |
265.49/265.80	c |    150043 |   77699   459142  1351288 | 2147483647   145204    148 | 36.129 % |
265.99/266.28	c |    150278 |   77699   459142  1351288 | 2147483647   145439    148 | 36.129 % |
266.68/266.91	c |    150534 |   77699   459142  1351288 | 2147483647   145695    148 | 36.129 % |
267.38/267.69	c |    150817 |   77699   459142  1351288 | 2147483647   145978    148 | 36.129 % |
268.19/268.42	c |    151126 |   77698   459142  1351288 | 2147483647   146286    148 | 36.130 % |
268.89/269.16	c |    151468 |   77698   459142  1351288 | 2147483647   146628    148 | 36.130 % |
269.59/269.82	c |    151840 |   77698   459142  1351288 | 2147483647   147000    148 | 36.130 % |
270.09/270.39	c |    152249 |   77697   459142  1351288 | 2147483647   147408    148 | 36.176 % |
271.09/271.33	c |    152699 |   77697   459142  1351288 | 2147483647   147858    148 | 36.176 % |
272.39/272.60	c |    153192 |   77586   457909  1348065 | 2147483647   148012    149 | 36.176 % |
273.29/273.59	c |    153734 |   77586   457909  1348065 | 2147483647   148554    149 | 36.176 % |
274.59/274.89	c |    154332 |   77586   457909  1348065 | 2147483647   149152    149 | 36.176 % |
276.19/276.42	c |    154987 |   77580   457909  1348065 | 2147483647   149801    150 | 36.218 % |
277.88/278.19	c |    155708 |   77580   457909  1348065 | 2147483647   150522    150 | 36.218 % |
279.78/280.07	c |    156500 |   77579   457909  1348065 | 2147483647   151313    151 | 36.219 % |
281.38/281.64	c |    157372 |   77575   457909  1348065 | 2147483647   152183    151 | 36.231 % |
283.59/283.85	c |    158330 |   77574   457909  1348065 | 2147483647   153140    151 | 36.264 % |
284.89/285.11	c |    159384 |   77566   457909  1348065 | 2147483647   154193    151 | 36.272 % |
287.28/287.58	c |    160542 |   77566   457909  1348065 | 2147483647   155351    152 | 36.272 % |
290.38/290.63	c |    161819 |   77565   457909  1348065 | 2147483647   156627    152 | 36.279 % |
292.87/293.18	c |    163221 |   77565   457909  1348065 | 2147483647   158029    153 | 36.279 % |
295.88/296.18	c |    164767 |   77565   457909  1348065 | 2147483647   159575    153 | 36.279 % |
301.27/301.58	c |    166463 |   77565   457909  1348065 | 2147483647   161271    154 | 36.279 % |
301.47/301.77	c |    166563 |   77565   457909  1348065 | 2147483647   161371    154 | 36.279 % |
301.77/302.06	c |    166675 |   77565   457909  1348065 | 2147483647   161483    154 | 36.279 % |
302.18/302.41	c |    166797 |   77565   457909  1348065 | 2147483647   161605    154 | 36.279 % |
302.37/302.66	c |    166936 |   77565   457909  1348065 | 2147483647   161744    154 | 36.279 % |
302.87/303.14	c |    167082 |   77565   457909  1348065 | 2147483647   161890    154 | 36.279 % |
303.17/303.49	c |    167242 |   77565   457909  1348065 | 2147483647   162050    154 | 36.279 % |
303.47/303.76	c |    167419 |   77565   457909  1348065 | 2147483647   162227    155 | 36.279 % |
303.97/304.21	c |    167613 |   77565   457909  1348065 | 2147483647   162421    155 | 36.279 % |
304.48/304.76	c |    167825 |   77461   456981  1345602 | 2147483647   162548    155 | 36.279 % |
305.07/305.30	c |    168059 |   77461   456981  1345602 | 2147483647   162782    155 | 36.279 % |
305.57/305.88	c |    168317 |   77461   456981  1345602 | 2147483647   163040    155 | 36.279 % |
306.27/306.51	c |    168601 |   77461   456981  1345602 | 2147483647   163324    155 | 36.279 % |
306.77/307.05	c |    168911 |   77461   456981  1345602 | 2147483647   163634    155 | 36.279 % |
307.67/307.92	c |    169251 |   77461   456981  1345602 | 2147483647   163974    155 | 36.279 % |
308.27/308.57	c |    169623 |   77461   456981  1345602 | 2147483647   164346    155 | 36.279 % |
309.17/309.44	c |    170032 |   77461   456981  1345602 | 2147483647   164755    155 | 36.279 % |
310.47/310.75	c |    170487 |   77459   456981  1345602 | 2147483647   165207    155 | 36.298 % |
311.48/311.75	c |    170980 |   77453   456981  1345602 | 2147483647   165700    155 | 36.298 % |
312.87/313.12	c |    171524 |   77453   456981  1345602 | 2147483647   166244    156 | 36.298 % |
313.67/313.98	c |    172122 |   77453   456981  1345602 | 2147483647   166842    156 | 36.298 % |
315.17/315.47	c |    172777 |   77453   456981  1345602 | 2147483647   167497    156 | 36.298 % |
316.17/316.41	c |    173497 |   77453   456981  1345602 | 2147483647   168217    156 | 36.298 % |
318.27/318.54	c |    174289 |   77453   456981  1345602 | 2147483647   169009    156 | 36.298 % |
319.88/320.12	c |    175160 |   77452   456981  1345602 | 2147483647   169879    157 | 36.305 % |
321.57/321.85	c |    176118 |   77451   456981  1345602 | 2147483647   170834    156 | 36.321 % |
323.87/324.17	c |    177171 |   77449   456981  1345602 | 2147483647   171885    157 | 36.323 % |
326.27/326.52	c |    178329 |   77448   456981  1345602 | 2147483647   173042    157 | 36.324 % |
328.87/329.16	c |    179602 |   77448   456981  1345602 | 2147483647   174314    157 | 36.324 % |
331.57/331.89	c |    181002 |   77447   456981  1345602 | 2147483647   175714    158 | 36.324 % |
334.86/335.17	c |    182543 |   77447   456981  1345602 | 2147483647   177255    159 | 36.324 % |
338.66/338.94	c |    184239 |   77447   456981  1345602 | 2147483647   178951    160 | 36.324 % |
343.36/343.68	c |    186104 |   77385   456981  1345602 | 2147483647   180812    160 | 36.403 % |
343.66/343.96	c |    186206 |   77310   455772  1342415 | 2147483647   180430    160 | 36.403 % |
344.06/344.36	c |    186319 |   77310   455772  1342415 | 2147483647   180543    160 | 36.403 % |
344.16/344.46	c |    186440 |   77310   455772  1342415 | 2147483647   180664    160 | 36.403 % |
344.66/344.94	c |    186574 |   77309   455772  1342415 | 2147483647   180796    160 | 36.405 % |
345.06/345.31	c |    186720 |   77306   455772  1342415 | 2147483647   180941    160 | 36.418 % |
345.26/345.57	c |    186881 |   77306   455772  1342415 | 2147483647   181102    160 | 36.418 % |
345.66/345.98	c |    187058 |   77306   455772  1342415 | 2147483647   181279    160 | 36.418 % |
346.06/346.37	c |    187252 |   77306   455772  1342415 | 2147483647   181473    160 | 36.418 % |
346.46/346.78	c |    187465 |   77306   455772  1342415 | 2147483647   181686    160 | 36.418 % |
347.05/347.34	c |    187698 |   77306   455772  1342415 | 2147483647   181919    160 | 36.418 % |
347.45/347.78	c |    187954 |   77306   455772  1342415 | 2147483647   182175    160 | 36.418 % |
348.25/348.55	c |    188237 |   77306   455772  1342415 | 2147483647   182458    160 | 36.418 % |
349.15/349.40	c |    188547 |   77304   455772  1342415 | 2147483647   182767    160 | 36.425 % |
349.56/349.81	c |    188887 |   77304   455772  1342415 | 2147483647   183107    160 | 36.425 % |
349.85/350.15	c |    189259 |   77304   455772  1342415 | 2147483647   183479    160 | 36.425 % |
351.05/351.31	c |    189668 |   77303   455772  1342415 | 2147483647   183887    160 | 36.426 % |
351.95/352.20	c |    190120 |   77303   455772  1342415 | 2147483647   184339    160 | 36.426 % |
353.05/353.37	c |    190613 |   77303   455772  1342415 | 2147483647   184832    160 | 36.426 % |
354.35/354.67	c |    191155 |   77302   455772  1342415 | 2147483647   185373    161 | 36.523 % |
355.65/355.92	c |    191751 |   77302   455772  1342415 | 2147483647   185969    161 | 36.523 % |
357.15/357.41	c |    192406 |   77302   455772  1342415 | 2147483647   186623    161 | 36.531 % |
358.75/359.06	c |    193126 |   77302   455772  1342415 | 2147483647   187343    161 | 36.531 % |
360.35/360.62	c |    193924 |   77302   455772  1342415 | 2147483647   188141    162 | 36.531 % |
362.85/363.18	c |    194795 |   77299   455772  1342415 | 2147483647   189010    162 | 36.545 % |
365.04/365.36	c |    195754 |   77299   455772  1342415 | 2147483647   189969    163 | 36.545 % |
366.75/367.05	c |    196807 |   77299   455772  1342415 | 2147483647   191022    163 | 36.545 % |
369.25/369.60	c |    197967 |   77298   455772  1342415 | 2147483647   192181    164 | 36.546 % |
372.25/372.52	c |    199240 |   77298   455772  1342415 | 2147483647   193454    165 | 36.546 % |
375.75/376.03	c |    200640 |   77298   455772  1342415 | 2147483647   194854    166 | 36.546 % |
379.64/379.92	c |    202181 |   77298   455772  1342415 | 2147483647   196395    167 | 36.546 % |
383.54/383.89	c |    203875 |   77297   455772  1342415 | 2147483647   198088    167 | 36.546 % |
387.83/388.20	c |    205738 |   77296   455772  1342415 | 2147483647   199950    168 | 36.547 % |
393.23/393.55	c |    207788 |   77132   454559  1339394 | 2147483647   198389    169 | 36.550 % |
393.53/393.84	c |    207888 |   77132   454559  1339394 | 2147483647   198489    169 | 36.550 % |
393.83/394.10	c |    207998 |   77132   454559  1339394 | 2147483647   198599    169 | 36.550 % |
394.13/394.42	c |    208121 |   77132   454559  1339394 | 2147483647   198722    170 | 36.550 % |
394.43/394.78	c |    208258 |   77132   454559  1339394 | 2147483647   198859    170 | 36.550 % |
394.93/395.26	c |    208405 |   77132   454559  1339394 | 2147483647   199005    170 | 36.551 % |
395.33/395.65	c |    208565 |   77132   454559  1339394 | 2147483647   199165    170 | 36.551 % |
395.93/396.26	c |    208741 |   77132   454559  1339394 | 2147483647   199341    170 | 36.551 % |
396.73/397.01	c |    208940 |   77132   454559  1339394 | 2147483647   199540    170 | 36.551 % |
397.33/397.69	c |    209155 |   77132   454559  1339394 | 2147483647   199754    170 | 36.552 % |
397.93/398.29	c |    209388 |   77132   454559  1339394 | 2147483647   199987    170 | 36.552 % |
398.53/398.83	c |    209644 |   77132   454559  1339394 | 2147483647   200243    170 | 36.552 % |
399.03/399.37	c |    209927 |   77132   454559  1339394 | 2147483647   200526    170 | 36.552 % |
399.53/399.87	c |    210242 |   77132   454559  1339394 | 2147483647   200841    170 | 36.552 % |
400.03/400.35	c |    210583 |   77132   454559  1339394 | 2147483647   201182    170 | 36.552 % |
400.62/400.99	c |    210956 |   77132   454559  1339394 | 2147483647   201555    170 | 36.552 % |
401.72/402.01	c |    211367 |   77116   454559  1339394 | 2147483647   201965    170 | 36.702 % |
402.42/402.77	c |    211820 |   77116   454559  1339394 | 2147483647   202418    170 | 36.702 % |
403.43/403.77	c |    212313 |   77114   454559  1339394 | 2147483647   202910    170 | 36.710 % |
404.83/405.18	c |    212857 |   77108   454559  1339394 | 2147483647   203451    170 | 37.478 % |
406.12/406.42	c |    213454 |   77108   454559  1339394 | 2147483647   204048    170 | 37.478 % |
408.12/408.40	c |    214110 |   77106   454559  1339394 | 2147483647   204703    171 | 37.483 % |
409.62/409.96	c |    214830 |   77106   454559  1339394 | 2147483647   205423    171 | 37.483 % |
411.32/411.66	c |    215623 |   77105   454559  1339394 | 2147483647   206215    171 | 37.486 % |
413.12/413.49	c |    216494 |   77101   454559  1339394 | 2147483647   207082    171 | 37.497 % |
414.12/414.47	c |    217452 |   77101   454559  1339394 | 2147483647   208040    171 | 37.497 % |
416.62/416.98	c |    218506 |   77094   454559  1339394 | 2147483647   209091    171 | 37.568 % |
418.91/419.25	c |    219664 |   77093   454559  1339394 | 2147483647   210248    171 | 37.569 % |
422.91/423.20	c |    220937 |   77090   454559  1339394 | 2147483647   211520    172 | 37.576 % |
426.52/426.87	c |    222338 |   77090   454559  1339394 | 2147483647   212921    173 | 37.576 % |
429.82/430.11	c |    223878 |   77085   454559  1339394 | 2147483647   214460    173 | 37.581 % |
434.01/434.40	c |    225572 |   77077   454559  1339394 | 2147483647   216151    174 | 37.608 % |
438.90/439.28	c |    227437 |   77077   454559  1339394 | 2147483647   218016    174 | 37.608 % |
444.81/445.14	c |    229487 |   75811   437749  1292497 | 2147483647   213884    173 | 37.636 % |
449.51/449.87	c |    231746 |   75804   437749  1292497 | 2147483647   216138    173 | 37.663 % |
449.81/450.17	c |    231847 |   75804   437749  1292497 | 2147483647   216239    173 | 37.663 % |
450.11/450.47	c |    231957 |   75804   437749  1292497 | 2147483647   216349    173 | 37.663 % |
450.41/450.71	c |    232080 |   75803   437749  1292497 | 2147483647   216471    173 | 37.664 % |
450.51/450.89	c |    232213 |   75803   437749  1292497 | 2147483647   216604    173 | 37.664 % |
450.71/451.07	c |    232360 |   75803   437749  1292497 | 2147483647   216751    173 | 37.664 % |
450.91/451.27	c |    232522 |   75803   437749  1292497 | 2147483647   216913    173 | 37.664 % |
451.11/451.47	c |    232698 |   75803   437749  1292497 | 2147483647   217089    173 | 37.664 % |
451.41/451.78	c |    232891 |   75803   437749  1292497 | 2147483647   217282    173 | 37.664 % |
452.10/452.40	c |    233106 |   75803   437749  1292497 | 2147483647   217497    173 | 37.664 % |
452.70/453.01	c |    233339 |   75803   437749  1292497 | 2147483647   217730    173 | 37.664 % |
453.40/453.70	c |    233595 |   75803   437749  1292497 | 2147483647   217986    173 | 37.664 % |
453.80/454.17	c |    233876 |   75800   437749  1292497 | 2147483647   218266    173 | 37.670 % |
454.70/455.00	c |    234185 |   75798   437749  1292497 | 2147483647   218573    173 | 37.684 % |
455.50/455.88	c |    234526 |   75794   437749  1292497 | 2147483647   218914    173 | 37.684 % |
456.11/456.48	c |    234900 |   75794   437749  1292497 | 2147483647   219288    173 | 37.684 % |
457.31/457.67	c |    235309 |   75792   437749  1292497 | 2147483647   219695    173 | 37.686 % |
458.30/458.61	c |    235760 |   75792   437749  1292497 | 2147483647   220146    173 | 37.686 % |
459.30/459.60	c |    236254 |   75792   437749  1292497 | 2147483647   220640    173 | 37.686 % |
460.50/460.89	c |    236796 |   75792   437749  1292497 | 2147483647   221182    174 | 37.686 % |
461.70/462.07	c |    237392 |   75792   437749  1292497 | 2147483647   221777    174 | 37.690 % |
463.40/463.74	c |    238047 |   75792   437749  1292497 | 2147483647   222432    174 | 37.690 % |
465.10/465.45	c |    238767 |   75792   437749  1292497 | 2147483647   223152    174 | 37.690 % |
466.29/466.65	c |    239560 |   75792   437749  1292497 | 2147483647   223944    174 | 37.721 % |
467.90/468.28	c |    240432 |   75786   437749  1292497 | 2147483647   224816    174 | 37.721 % |
470.00/470.36	c |    241392 |   75783   437749  1292497 | 2147483647   225772    174 | 37.734 % |
472.39/472.76	c |    242446 |   75782   437749  1292497 | 2147483647   226826    174 | 37.734 % |
474.69/475.06	c |    243604 |   75782   437749  1292497 | 2147483647   227984    175 | 37.734 % |
477.30/477.60	c |    244877 |   75782   437749  1292497 | 2147483647   229256    175 | 37.734 % |
480.40/480.75	c |    246277 |   75780   437749  1292497 | 2147483647   230654    175 | 37.736 % |
484.39/484.70	c |    247817 |   75780   437749  1292497 | 2147483647   232194    176 | 37.736 % |
488.59/488.94	c |    249513 |   75780   437749  1292497 | 2147483647   233890    176 | 37.736 % |
493.39/493.73	c |    251376 |   75779   437749  1292497 | 2147483647   235752    177 | 37.737 % |
496.48/496.80	c |    253425 |   75775   437749  1292497 | 2147483647   237796    177 | 37.755 % |
501.89/502.23	c |    255683 |   75773   437749  1292497 | 2147483647   240053    177 | 37.762 % |
508.68/509.02	c |    258161 |   75657   436742  1289863 | 2147483647   242394    178 | 37.772 % |
508.89/509.28	c |    258261 |   75657   436742  1289863 | 2147483647   242494    178 | 37.772 % |
509.18/509.53	c |    258374 |   75657   436742  1289863 | 2147483647   242607    178 | 37.772 % |
509.48/509.89	c |    258496 |   75657   436742  1289863 | 2147483647   242729    178 | 37.772 % |
509.88/510.23	c |    258633 |   75656   436742  1289863 | 2147483647   242865    178 | 37.773 % |
510.38/510.77	c |    258779 |   75656   436742  1289863 | 2147483647   243011    178 | 37.773 % |
510.88/511.25	c |    258940 |   75656   436742  1289863 | 2147483647   243172    178 | 37.773 % |
511.48/511.82	c |    259116 |   75656   436742  1289863 | 2147483647   243348    178 | 37.773 % |
511.98/512.39	c |    259311 |   75656   436742  1289863 | 2147483647   243543    178 | 37.773 % |
512.58/512.97	c |    259525 |   75656   436742  1289863 | 2147483647   243757    178 | 37.773 % |
513.28/513.60	c |    259763 |   75656   436742  1289863 | 2147483647   243995    178 | 37.773 % |
514.18/514.58	c |    260021 |   75654   436742  1289863 | 2147483647   244250    178 | 37.808 % |
514.88/515.21	c |    260302 |   75654   436742  1289863 | 2147483647   244531    178 | 37.808 % |
515.78/516.11	c |    260611 |   75653   436742  1289863 | 2147483647   244839    178 | 37.809 % |
516.68/517.02	c |    260950 |   75653   436742  1289863 | 2147483647   245178    179 | 37.809 % |
517.78/518.16	c |    261326 |   75653   436742  1289863 | 2147483647   245554    179 | 37.809 % |
518.58/518.98	c |    261737 |   75653   436742  1289863 | 2147483647   245965    179 | 37.809 % |
519.87/520.26	c |    262187 |   75653   436742  1289863 | 2147483647   246413    179 | 37.815 % |
521.47/521.85	c |    262682 |   75653   436742  1289863 | 2147483647   246908    179 | 37.815 % |
522.47/522.81	c |    263224 |   75653   436742  1289863 | 2147483647   247450    179 | 37.815 % |
523.76/524.16	c |    263823 |   75653   436742  1289863 | 2147483647   248049    179 | 37.815 % |
525.56/525.94	c |    264481 |   75653   436742  1289863 | 2147483647   248707    179 | 37.815 % |
527.56/527.92	c |    265203 |   75653   436742  1289863 | 2147483647   249429    179 | 37.815 % |
529.86/530.26	c |    265995 |   75649   436742  1289863 | 2147483647   250220    179 | 37.848 % |
532.45/532.80	c |    266868 |   75643   436742  1289863 | 2147483647   251089    179 | 37.901 % |
534.35/534.74	c |    267826 |   75643   436742  1289863 | 2147483647   252047    179 | 37.901 % |
537.16/537.54	c |    268880 |   75643   436742  1289863 | 2147483647   253101    179 | 37.901 % |
540.65/541.01	c |    270039 |   75643   436742  1289863 | 2147483647   254260    180 | 37.901 % |
544.35/544.74	c |    271314 |   75642   436742  1289863 | 2147483647   255534    180 | 37.914 % |
548.05/548.45	c |    272717 |   75642   436742  1289863 | 2147483647   256935    180 | 37.919 % |
552.35/552.71	c |    274262 |   75640   436742  1289863 | 2147483647   258476    180 | 37.932 % |
557.05/557.49	c |    275956 |   75640   436742  1289863 | 2147483647   260170    180 | 37.932 % |
562.44/562.84	c |    277819 |   75637   436742  1289863 | 2147483647   262031    181 | 37.938 % |
568.73/569.13	c |    279873 |   75637   436742  1289863 | 2147483647   264085    181 | 37.938 % |
575.24/575.63	c |    282128 |   75442   435276  1286011 | 2147483647   266190    182 | 37.940 % |
581.93/582.35	c |    284610 |   75440   435276  1286011 | 2147483647   268670    182 | 37.945 % |
589.73/590.13	c |    287337 |   75432   435276  1286011 | 2147483647   271389    182 | 38.081 % |
590.03/590.40	c |    287438 |   75432   435276  1286011 | 2147483647   271490    182 | 38.081 % |
590.24/590.69	c |    287548 |   75432   435276  1286011 | 2147483647   271600    182 | 38.081 % |
590.53/591.00	c |    287669 |   75432   435276  1286011 | 2147483647   271721    182 | 38.081 % |
591.03/591.41	c |    287802 |   75432   435276  1286011 | 2147483647   271854    182 | 38.081 % |
591.53/591.91	c |    287951 |   75432   435276  1286011 | 2147483647   272003    182 | 38.081 % |
591.93/592.38	c |    288112 |   75432   435276  1286011 | 2147483647   272164    182 | 38.081 % |
592.54/592.98	c |    288288 |   75432   435276  1286011 | 2147483647   272340    182 | 38.081 % |
593.13/593.59	c |    288481 |   75432   435276  1286011 | 2147483647   272533    182 | 38.081 % |
593.73/594.19	c |    288694 |   75432   435276  1286011 | 2147483647   272746    182 | 38.081 % |
594.33/594.76	c |    288928 |   75432   435276  1286011 | 2147483647   272980    182 | 38.081 % |
595.13/595.52	c |    289185 |   75432   435276  1286011 | 2147483647   273237    182 | 38.081 % |
595.83/596.20	c |    289469 |   75432   435276  1286011 | 2147483647   273521    182 | 38.081 % |
596.63/597.01	c |    289778 |   75432   435276  1286011 | 2147483647   273830    182 | 38.081 % |
597.73/598.10	c |    290118 |   75431   435276  1286011 | 2147483647   274169    182 | 38.091 % |
598.53/598.97	c |    290491 |   75431   435276  1286011 | 2147483647   274542    182 | 38.091 % |
599.82/600.24	c |    290904 |   75431   435276  1286011 | 2147483647   274955    182 | 38.091 % |
601.34/601.75	c |    291355 |   75431   435276  1286011 | 2147483647   275406    182 | 38.091 % |
603.03/603.41	c |    291851 |   75431   435276  1286011 | 2147483647   275902    182 | 38.091 % |
604.43/604.85	c |    292394 |   75431   435276  1286011 | 2147483647   276445    182 | 38.091 % |
606.23/606.62	c |    292993 |   75431   435276  1286011 | 2147483647   277044    182 | 38.091 % |
607.83/608.29	c |    293657 |   75426   435276  1286011 | 2147483647   277706    182 | 38.106 % |
610.32/610.73	c |    294378 |   75422   435276  1286011 | 2147483647   278424    182 | 38.117 % |
612.92/613.35	c |    295170 |   75408   435276  1286011 | 2147483647   279215    182 | 38.153 % |
614.92/615.39	c |    296041 |   75408   435276  1286011 | 2147483647   280086    182 | 38.153 % |
618.32/618.73	c |    297000 |   75408   435276  1286011 | 2147483647   281045    183 | 38.153 % |
621.32/621.76	c |    298055 |   75405   435276  1286011 | 2147483647   282097    183 | 38.161 % |
625.22/625.62	c |    299215 |   75405   435276  1286011 | 2147483647   283255    183 | 38.200 % |
628.62/629.10	c |    300488 |   75403   435276  1286011 | 2147483647   284527    183 | 38.209 % |
632.41/632.81	c |    301889 |   75401   435276  1286011 | 2147483647   285926    183 | 38.211 % |
636.42/636.84	c |    303429 |   75401   435276  1286011 | 2147483647   287465    183 | 38.213 % |
641.61/642.04	c |    305124 |   75394   435276  1286011 | 2147483647   289156    184 | 38.222 % |
646.11/646.55	c |    306988 |   75393   435276  1286011 | 2147483647   291018    184 | 38.224 % |
652.20/652.63	c |    309038 |   75096   433131  1280493 | 2147483647   292916    184 | 38.225 % |
658.31/658.71	c |    311294 |   75092   433131  1280493 | 2147483647   295168    184 | 38.248 % |
666.70/667.12	c |    313774 |   75092   433131  1280493 | 2147483647   297647    185 | 38.255 % |
675.10/675.55	c |    316502 |   75083   433131  1280493 | 2147483647   300368    185 | 38.416 % |
683.40/683.85	c |    319499 |   75080   433131  1280493 | 2147483647   303363    185 | 38.423 % |
683.81/684.28	c |    319601 |   75080   433131  1280493 | 2147483647   303465    185 | 38.423 % |
684.20/684.66	c |    319712 |   75080   433131  1280493 | 2147483647   303576    185 | 38.423 % |
684.50/684.96	c |    319836 |   75080   433131  1280493 | 2147483647   303700    185 | 38.423 % |
685.00/685.41	c |    319969 |   75080   433131  1280493 | 2147483647   303833    185 | 38.423 % |
685.30/685.78	c |    320118 |   75080   433131  1280493 | 2147483647   303982    185 | 38.423 % |
685.80/686.26	c |    320284 |   75080   433131  1280493 | 2147483647   304148    185 | 38.423 % |
686.30/686.77	c |    320461 |   75080   433131  1280493 | 2147483647   304325    185 | 38.423 % |
687.00/687.45	c |    320655 |   75080   433131  1280493 | 2147483647   304519    185 | 38.423 % |
687.60/688.05	c |    320868 |   75080   433131  1280493 | 2147483647   304732    185 | 38.423 % |
688.40/688.83	c |    321105 |   75080   433131  1280493 | 2147483647   304969    186 | 38.423 % |
689.60/690.07	c |    321364 |   75079   433131  1280493 | 2147483647   305227    186 | 38.425 % |
690.70/691.13	c |    321647 |   75079   433131  1280493 | 2147483647   305510    186 | 38.425 % |
692.10/692.51	c |    321957 |   75079   433131  1280493 | 2147483647   305820    186 | 38.425 % |
693.09/693.59	c |    322296 |   75078   433131  1280493 | 2147483647   306158    186 | 38.431 % |
693.99/694.44	c |    322668 |   75078   433131  1280493 | 2147483647   306530    186 | 38.431 % |
695.09/695.59	c |    323077 |   75078   433131  1280493 | 2147483647   306939    186 | 38.431 % |
696.40/696.83	c |    323529 |   75078   433131  1280493 | 2147483647   307391    186 | 38.431 % |
697.40/697.90	c |    324022 |   75078   433131  1280493 | 2147483647   307884    186 | 38.431 % |
699.59/700.05	c |    324564 |   75078   433131  1280493 | 2147483647   308426    186 | 38.431 % |
701.49/701.90	c |    325160 |   75078   433131  1280493 | 2147483647   309021    186 | 38.439 % |
702.89/703.38	c |    325816 |   75078   433131  1280493 | 2147483647   309677    186 | 38.439 % |
704.99/705.45	c |    326537 |   75053   433131  1280493 | 2147483647   310397    186 | 38.852 % |
707.68/708.18	c |    327331 |   75053   433131  1280493 | 2147483647   311190    187 | 38.894 % |
710.48/711.00	c |    328204 |   75052   433131  1280493 | 2147483647   312061    187 | 38.902 % |
713.59/714.02	c |    329162 |   75052   433131  1280493 | 2147483647   313019    187 | 38.902 % |
716.39/716.86	c |    330215 |   75052   433131  1280493 | 2147483647   314072    187 | 38.902 % |
720.68/721.18	c |    331373 |   75052   433131  1280493 | 2147483647   315229    187 | 38.903 % |
724.38/724.87	c |    332646 |   75052   433131  1280493 | 2147483647   316501    186 | 38.904 % |
729.18/729.68	c |    334046 |   75052   433131  1280493 | 2147483647   317901    187 | 38.904 % |
734.08/734.55	c |    335587 |   75052   433131  1280493 | 2147483647   319442    187 | 38.904 % |
738.98/739.49	c |    337282 |   74270   427177  1264394 | 2147483647   319285    187 | 38.904 % |
742.97/743.49	c |    339145 |   74269   427177  1264394 | 2147483647   321147    187 | 38.912 % |
749.28/749.73	c |    341196 |   74267   427177  1264394 | 2147483647   323197    188 | 38.912 % |
755.87/756.35	c |    343449 |   74265   427177  1264394 | 2147483647   325447    188 | 39.024 % |
763.37/763.82	c |    345930 |   74263   427177  1264394 | 2147483647   327924    188 | 39.029 % |
772.27/772.75	c |    348655 |   74263   427177  1264394 | 2147483647   330649    188 | 39.029 % |
782.36/782.89	c |    351653 |   74260   427177  1264394 | 2147483647   333645    189 | 39.036 % |
793.36/793.84	c |    354949 |   74256   427177  1264394 | 2147483647   336937    189 | 39.054 % |
793.66/794.13	c |    355049 |   74256   427177  1264394 | 2147483647   337037    189 | 39.054 % |
794.06/794.56	c |    355160 |   74256   427177  1264394 | 2147483647   337148    189 | 39.054 % |
794.55/795.04	c |    355281 |   74256   427177  1264394 | 2147483647   337269    189 | 39.054 % |
794.95/795.49	c |    355414 |   74256   427177  1264394 | 2147483647   337402    189 | 39.054 % |
795.45/795.93	c |    355560 |   74256   427177  1264394 | 2147483647   337548    189 | 39.054 % |
795.86/796.38	c |    355720 |   74255   427177  1264394 | 2147483647   337707    189 | 39.055 % |
796.36/796.80	c |    355897 |   74255   427177  1264394 | 2147483647   337884    190 | 39.055 % |
796.86/797.31	c |    356091 |   74255   427177  1264394 | 2147483647   338078    190 | 39.055 % |
797.26/797.77	c |    356305 |   74255   427177  1264394 | 2147483647   338292    190 | 39.055 % |
798.06/798.52	c |    356538 |   74255   427177  1264394 | 2147483647   338525    190 | 39.055 % |
798.86/799.31	c |    356797 |   74255   427177  1264394 | 2147483647   338784    190 | 39.055 % |
799.75/800.29	c |    357078 |   74255   427177  1264394 | 2147483647   339065    190 | 39.055 % |
801.25/801.75	c |    357388 |   74255   427177  1264394 | 2147483647   339375    190 | 39.055 % |
802.36/802.82	c |    357731 |   74255   427177  1264394 | 2147483647   339718    190 | 39.055 % |
803.96/804.46	c |    358105 |   74254   427177  1264394 | 2147483647   340091    190 | 39.055 % |
805.26/805.79	c |    358515 |   74254   427177  1264394 | 2147483647   340501    190 | 39.055 % |
806.86/807.39	c |    358969 |   74253   427177  1264394 | 2147483647   340954    190 | 39.067 % |
808.35/808.87	c |    359465 |   74253   427177  1264394 | 2147483647   341449    190 | 39.101 % |
810.05/810.56	c |    360011 |   74253   427177  1264394 | 2147483647   341995    190 | 39.101 % |
812.25/812.79	c |    360607 |   74253   427177  1264394 | 2147483647   342591    190 | 39.101 % |
814.45/814.99	c |    361263 |   74253   427177  1264394 | 2147483647   343246    190 | 39.102 % |
817.35/817.81	c |    361983 |   74250   427177  1264394 | 2147483647   343962    190 | 39.116 % |
819.85/820.32	c |    362780 |   74247   427177  1264394 | 2147483647   344756    190 | 39.119 % |
822.74/823.24	c |    363651 |   74247   427177  1264394 | 2147483647   345627    190 | 39.119 % |
825.65/826.14	c |    364610 |   74244   427177  1264394 | 2147483647   346585    190 | 39.127 % |
828.95/829.43	c |    365663 |   74243   427177  1264394 | 2147483647   347636    190 | 39.161 % |
832.54/833.00	c |    366822 |   74241   427177  1264394 | 2147483647   348792    190 | 39.172 % |
837.13/837.60	c |    368100 |   74241   427177  1264394 | 2147483647   350070    190 | 39.172 % |
842.53/843.01	c |    369501 |   73943   425136  1258994 | 2147483647   351278    191 | 39.175 % |
847.64/848.10	c |    371041 |   73942   425136  1258994 | 2147483647   352817    191 | 39.177 % |
851.83/852.34	c |    372735 |   73938   425136  1258994 | 2147483647   354508    190 | 39.186 % |
858.13/858.63	c |    374600 |   73938   425136  1258994 | 2147483647   356373    191 | 39.186 % |
864.72/865.22	c |    376650 |   73932   425136  1258994 | 2147483647   358421    191 | 39.199 % |
872.03/872.50	c |    378903 |   73931   425136  1258994 | 2147483647   360673    191 | 39.200 % |
881.12/881.64	c |    381381 |   73929   425136  1258994 | 2147483647   363148    191 | 39.227 % |
889.02/889.56	c |    384106 |   73925   425136  1258994 | 2147483647   365869    192 | 39.300 % |
898.72/899.25	c |    387106 |   73925   425136  1258994 | 2147483647   368867    192 | 39.301 % |
910.92/911.43	c |    390406 |   73921   425136  1258994 | 2147483647   372161    192 | 39.320 % |
922.41/922.97	c |    394033 |   73918   425136  1258994 | 2147483647   375786    193 | 39.328 % |
922.71/923.26	c |    394134 |   73918   425136  1258994 | 2147483647   375887    193 | 39.328 % |
923.11/923.67	c |    394247 |   73918   425136  1258994 | 2147483647   376000    193 | 39.328 % |
923.51/924.06	c |    394370 |   73918   425136  1258994 | 2147483647   376123    193 | 39.328 % |
923.90/924.43	c |    394503 |   73918   425136  1258994 | 2147483647   376256    193 | 39.328 % |
924.40/924.95	c |    394650 |   73918   425136  1258994 | 2147483647   376403    193 | 39.328 % |
925.00/925.53	c |    394813 |   73918   425136  1258994 | 2147483647   376566    193 | 39.328 % |
925.71/926.23	c |    394989 |   73918   425136  1258994 | 2147483647   376742    193 | 39.328 % |
926.50/927.04	c |    395184 |   73918   425136  1258994 | 2147483647   376937    193 | 39.328 % |
927.10/927.65	c |    395396 |   73918   425136  1258994 | 2147483647   377149    193 | 39.328 % |
927.40/927.93	c |    395629 |   73918   425136  1258994 | 2147483647   377382    193 | 39.328 % |
928.20/928.73	c |    395887 |   73918   425136  1258994 | 2147483647   377640    193 | 39.328 % |
929.50/930.04	c |    396172 |   73918   425136  1258994 | 2147483647   377925    193 | 39.328 % |
930.80/931.33	c |    396485 |   73918   425136  1258994 | 2147483647   378238    193 | 39.328 % |
932.00/932.50	c |    396827 |   73918   425136  1258994 | 2147483647   378580    193 | 39.328 % |
933.20/933.77	c |    397201 |   73918   425136  1258994 | 2147483647   378954    193 | 39.328 % |
934.60/935.13	c |    397610 |   73917   425136  1258994 | 2147483647   379362    193 | 39.341 % |
936.20/936.78	c |    398059 |   73917   425136  1258994 | 2147483647   379810    193 | 39.343 % |
938.30/938.86	c |    398552 |   73917   425136  1258994 | 2147483647   380303    194 | 39.343 % |
940.10/940.62	c |    399095 |   73913   425136  1258994 | 2147483647   380844    194 | 39.361 % |
942.40/942.96	c |    399691 |   73911   425136  1258994 | 2147483647   381438    194 | 39.375 % |
944.79/945.39	c |    400346 |   73910   425136  1258994 | 2147483647   382091    194 | 39.481 % |
947.70/948.24	c |    401066 |   73910   425136  1258994 | 2147483647   382811    194 | 39.481 % |
949.90/950.42	c |    401861 |   73910   425136  1258994 | 2147483647   383606    194 | 39.481 % |
951.39/951.92	c |    402732 |   73910   425136  1258994 | 2147483647   384477    194 | 39.481 % |
954.59/955.18	c |    403691 |   73910   425136  1258994 | 2147483647   385436    194 | 39.481 % |
958.30/958.88	c |    404745 |   73909   425136  1258994 | 2147483647   386489    194 | 39.487 % |
961.39/961.97	c |    405911 |   73909   425136  1258994 | 2147483647   387655    194 | 39.487 % |
965.09/965.70	c |    407188 |   73560   421686  1249404 | 2147483647   380549    193 | 39.488 % |
969.29/969.88	c |    408588 |   73557   421686  1249404 | 2147483647   381946    194 | 39.496 % |
974.69/975.21	c |    410128 |   73557   421686  1249404 | 2147483647   383486    194 | 39.496 % |
980.69/981.27	c |    411824 |   73554   421686  1249404 | 2147483647   385178    194 | 39.535 % |
987.19/987.75	c |    413694 |   73542   421686  1249404 | 2147483647   387045    194 | 39.554 % |
993.19/993.73	c |    415744 |   73541   421686  1249404 | 2147483647   389094    194 | 39.559 % |
999.78/1000.34	c |    418000 |   73541   421686  1249404 | 2147483647   391348    194 | 39.578 % |
1007.68/1008.29	c |    420483 |   73540   421686  1249404 | 2147483647   393830    195 | 39.579 % |
1017.07/1017.63	c |    423208 |   73533   421686  1249404 | 2147483647   396550    195 | 39.589 % |
1028.57/1029.13	c |    426207 |   73528   421686  1249404 | 2147483647   399547    195 | 39.629 % |
1042.66/1043.27	c |    429505 |   73526   421686  1249404 | 2147483647   402843    196 | 39.630 % |
1056.66/1057.23	c |    433133 |   73520   421686  1249404 | 2147483647   406466    196 | 39.712 % |
1069.66/1070.22	c |    437120 |   73517   421686  1249404 | 2147483647   410449    196 | 39.723 % |
1070.05/1070.68	c |    437221 |   73517   421686  1249404 | 2147483647   410550    196 | 39.723 % |
1070.55/1071.10	c |    437331 |   73516   421686  1249404 | 2147483647   410659    196 | 39.724 % |
1071.15/1071.71	c |    437455 |   73516   421686  1249404 | 2147483647   410783    196 | 39.724 % |
1071.75/1072.32	c |    437591 |   73516   421686  1249404 | 2147483647   410919    196 | 39.724 % |
1072.15/1072.74	c |    437739 |   73516   421686  1249404 | 2147483647   411067    196 | 39.724 % |
1073.15/1073.78	c |    437902 |   73513   421686  1249404 | 2147483647   411228    196 | 39.730 % |
1073.95/1074.55	c |    438078 |   73513   421686  1249404 | 2147483647   411404    196 | 39.730 % |
1074.55/1075.12	c |    438271 |   73513   421686  1249404 | 2147483647   411597    196 | 39.730 % |
1075.45/1076.01	c |    438483 |   73511   421686  1249404 | 2147483647   411808    196 | 39.737 % |
1076.06/1076.62	c |    438716 |   73511   421686  1249404 | 2147483647   412041    196 | 39.737 % |
1076.65/1077.29	c |    438972 |   73511   421686  1249404 | 2147483647   412297    196 | 39.737 % |
1077.65/1078.27	c |    439253 |   73511   421686  1249404 | 2147483647   412578    196 | 39.737 % |
1078.75/1079.35	c |    439562 |   73511   421686  1249404 | 2147483647   412887    196 | 39.737 % |
1080.15/1080.75	c |    439902 |   73511   421686  1249404 | 2147483647   413226    196 | 39.792 % |
1081.65/1082.26	c |    440277 |   73511   421686  1249404 | 2147483647   413601    196 | 39.792 % |
1083.05/1083.63	c |    440687 |   73511   421686  1249404 | 2147483647   414011    196 | 39.792 % |
1084.25/1084.86	c |    441136 |   73510   421686  1249404 | 2147483647   414459    196 | 39.793 % |
1085.55/1086.18	c |    441629 |   73510   421686  1249404 | 2147483647   414951    196 | 39.793 % |
1087.64/1088.22	c |    442171 |   73508   421686  1249404 | 2147483647   415492    196 | 39.800 % |
1089.56/1090.19	c |    442767 |   73508   421686  1249404 | 2147483647   416087    196 | 39.806 % |
1091.45/1092.09	c |    443423 |   73508   421686  1249404 | 2147483647   416743    196 | 39.806 % |
1094.54/1095.11	c |    444143 |   73508   421686  1249404 | 2147483647   417463    197 | 39.806 % |
1096.84/1097.42	c |    444935 |   73508   421686  1249404 | 2147483647   418255    197 | 39.806 % |
1099.35/1099.98	c |    445807 |   73506   421686  1249404 | 2147483647   419125    197 | 39.813 % |
1103.94/1104.56	c |    446767 |   72593   410957  1219672 | 2147483647   402379    196 | 40.284 % |
1108.33/1108.90	c |    447821 |   72593   410957  1219672 | 2147483647   403433    196 | 40.284 % |
1112.64/1113.30	c |    448981 |   72590   410957  1219672 | 2147483647   404592    196 | 40.290 % |
1117.93/1118.52	c |    450255 |   72590   410957  1219672 | 2147483647   405866    196 | 40.290 % |
1123.73/1124.31	c |    451656 |   72589   410957  1219672 | 2147483647   407266    196 | 40.291 % |
1128.03/1128.67	c |    453198 |   72589   410957  1219672 | 2147483647   408807    197 | 40.292 % |
1135.03/1135.61	c |    454896 |   72587   410957  1219672 | 2147483647   410503    197 | 40.300 % |
1141.33/1141.94	c |    456759 |   72584   410957  1219672 | 2147483647   412362    197 | 40.323 % |
1148.22/1148.85	c |    458809 |   72581   410957  1219672 | 2147483647   414410    197 | 40.337 % |
1158.91/1159.57	c |    461065 |   72581   410957  1219672 | 2147483647   416666    198 | 40.337 % |
1167.61/1168.26	c |    463548 |   72580   410957  1219672 | 2147483647   419148    198 | 40.344 % |
1177.11/1177.78	c |    466273 |   72580   410957  1219672 | 2147483647   421872    198 | 40.345 % |
1188.31/1188.90	c |    469270 |   72579   410957  1219672 | 2147483647   424867    199 | 40.416 % |
1198.49/1199.13	c |    472567 |   72576   410957  1219672 | 2147483647   428162    199 | 40.426 % |

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-1833857-1242825611/watcher-1833857-1242825611 -o /tmp/evaluation-result-1833857-1242825611/solver-1833857-1242825611 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833857-1242825611.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/64 13173
/proc/meminfo: memFree=1740536/2055920 swapFree=4180980/4192956
[pid=13173] ppid=13171 vsize=5356 CPUtime=0
/proc/13173/stat : 13173 (SatELiteGTI) S 13171 13173 12994 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310593952 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 254195499090 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/13173/statm: 1339 235 195 169 0 50 0
[pid=13174] ppid=13173 vsize=5356 CPUtime=0
/proc/13174/stat : 13174 (SatELiteGTI) S 13173 13173 12994 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310593953 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/13174/statm: 1339 238 198 169 0 50 0
[pid=13176] ppid=13174 vsize=2584 CPUtime=0
/proc/13176/stat : 13176 (sed) R 13174 13173 12994 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 310593953 2646016 101 1992294400 4194304 4240196 548682069056 18446744073709551615 254195393840 0 0 4096 0 0 0 0 17 0 0 0
/proc/13176/statm: 650 110 88 11 0 54 0

[startup+0.0896551 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13173
/proc/meminfo: memFree=1740536/2055920 swapFree=4180980/4192956
[pid=13173] ppid=13171 vsize=5356 CPUtime=0
/proc/13173/stat : 13173 (SatELiteGTI) S 13171 13173 12994 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310593952 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13173/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101653 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13173
/proc/meminfo: memFree=1740536/2055920 swapFree=4180980/4192956
[pid=13173] ppid=13171 vsize=5356 CPUtime=0
/proc/13173/stat : 13173 (SatELiteGTI) S 13171 13173 12994 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310593952 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13173/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301669 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13173
/proc/meminfo: memFree=1740536/2055920 swapFree=4180980/4192956
[pid=13173] ppid=13171 vsize=5356 CPUtime=0
/proc/13173/stat : 13173 (SatELiteGTI) S 13171 13173 12994 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310593952 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13173/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701699 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13173
/proc/meminfo: memFree=1740536/2055920 swapFree=4180980/4192956
[pid=13173] ppid=13171 vsize=5356 CPUtime=0
/proc/13173/stat : 13173 (SatELiteGTI) S 13171 13173 12994 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310593952 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13173/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50176 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13178
/proc/meminfo: memFree=1640424/2055920 swapFree=4180980/4192956
[pid=13173] ppid=13171 vsize=5356 CPUtime=0
/proc/13173/stat : 13173 (SatELiteGTI) S 13171 13173 12994 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310593952 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13173/statm: 1339 237 197 169 0 50 0
[pid=13178] ppid=13173 vsize=115364 CPUtime=1.48
/proc/13178/stat : 13178 (SatELite_releas) R 13173 13173 12994 0 -1 4194304 26646 0 0 0 132 16 0 0 25 0 1 0 310593953 118132736 26432 1992294400 134512640 135223648 4294956128 18446744073709551615 134548489 0 0 4096 3 0 0 0 17 1 0 0
/proc/13178/statm: 28841 26432 70 173 0 28666 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 120720

[startup+3.10186 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13178
/proc/meminfo: memFree=1623400/2055920 swapFree=4180980/4192956
[pid=13173] ppid=13171 vsize=5356 CPUtime=0
/proc/13173/stat : 13173 (SatELiteGTI) S 13171 13173 12994 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310593952 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13173/statm: 1339 237 197 169 0 50 0
[pid=13178] ppid=13173 vsize=136200 CPUtime=3.07
/proc/13178/stat : 13178 (SatELite_releas) R 13173 13173 12994 0 -1 4194304 34102 0 0 0 285 22 0 0 25 0 1 0 310593953 139468800 31030 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 0 0 0
/proc/13178/statm: 34050 31030 76 173 0 33875 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 141556

[startup+6.30109 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13178
/proc/meminfo: memFree=1609512/2055920 swapFree=4180980/4192956
[pid=13173] ppid=13171 vsize=5356 CPUtime=0
/proc/13173/stat : 13173 (SatELiteGTI) S 13171 13173 12994 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310593952 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13173/statm: 1339 237 197 169 0 50 0
[pid=13178] ppid=13173 vsize=137264 CPUtime=6.27
/proc/13178/stat : 13178 (SatELite_releas) R 13173 13173 12994 0 -1 4194304 37281 0 0 0 603 24 0 0 25 0 1 0 310593953 140558336 31361 1992294400 134512640 135223648 4294956128 18446744073709551615 134598302 0 0 4096 3 0 0 0 17 0 0 0
/proc/13178/statm: 34316 31361 76 173 0 34141 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 142620

[startup+12.7026 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13179
/proc/meminfo: memFree=1670768/2055920 swapFree=4180980/4192956
[pid=13173] ppid=13171 vsize=5356 CPUtime=8.78
/proc/13173/stat : 13173 (SatELiteGTI) S 13171 13173 12994 0 -1 4194304 336 42084 0 0 0 0 845 33 16 0 1 0 310593952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13173/statm: 1339 239 197 169 0 50 0
[pid=13179] ppid=13173 vsize=47024 CPUtime=3.89
/proc/13179/stat : 13179 (minisat_static) R 13173 13173 12994 0 -1 4194304 11125 0 0 0 382 7 0 0 25 0 1 0 310594833 48152576 11078 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13179/statm: 11756 11078 77 171 0 11583 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 52380

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13179
/proc/meminfo: memFree=1670832/2055920 swapFree=4180980/4192956
[pid=13173] ppid=13171 vsize=5356 CPUtime=8.78
/proc/13173/stat : 13173 (SatELiteGTI) S 13171 13173 12994 0 -1 4194304 336 42084 0 0 0 0 845 33 16 0 1 0 310593952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13173/statm: 1339 239 197 169 0 50 0
[pid=13179] ppid=13173 vsize=47640 CPUtime=16.67
/proc/13179/stat : 13179 (minisat_static) R 13173 13173 12994 0 -1 4194304 11259 0 0 0 1660 7 0 0 25 0 1 0 310594833 48783360 11212 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13179/statm: 11910 11212 77 171 0 11737 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 52996

[startup+51.1013 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 13179
/proc/meminfo: memFree=1665648/2055920 swapFree=4180980/4192956
[pid=13173] ppid=13171 vsize=5356 CPUtime=8.78
/proc/13173/stat : 13173 (SatELiteGTI) S 13171 13173 12994 0 -1 4194304 336 42084 0 0 0 0 845 33 16 0 1 0 310593952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13173/statm: 1339 239 197 169 0 50 0
[pid=13179] ppid=13173 vsize=53016 CPUtime=42.24
/proc/13179/stat : 13179 (minisat_static) R 13173 13173 12994 0 -1 4194304 12614 0 0 0 4215 9 0 0 25 0 1 0 310594833 54288384 12567 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/13179/statm: 13254 12567 77 171 0 13081 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 58372

[startup+102.305 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 13179
/proc/meminfo: memFree=1647280/2055920 swapFree=4180980/4192956
[pid=13173] ppid=13171 vsize=5356 CPUtime=8.78
/proc/13173/stat : 13173 (SatELiteGTI) S 13171 13173 12994 0 -1 4194304 336 42084 0 0 0 0 845 33 16 0 1 0 310593952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13173/statm: 1339 239 197 169 0 50 0
[pid=13179] ppid=13173 vsize=71344 CPUtime=93.4
/proc/13179/stat : 13179 (minisat_static) R 13173 13173 12994 0 -1 4194304 17189 0 0 0 9327 13 0 0 25 0 1 0 310594833 73056256 17142 1992294400 134512640 135215339 4294956240 18446744073709551615 134532687 0 0 4096 3 0 0 0 17 0 0 0
/proc/13179/statm: 17836 17142 77 171 0 17663 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 76700

[startup+162.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 13179
/proc/meminfo: memFree=1623536/2055920 swapFree=4180980/4192956
[pid=13173] ppid=13171 vsize=5356 CPUtime=8.78
/proc/13173/stat : 13173 (SatELiteGTI) S 13171 13173 12994 0 -1 4194304 336 42084 0 0 0 0 845 33 16 0 1 0 310593952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13173/statm: 1339 239 197 169 0 50 0
[pid=13179] ppid=13173 vsize=95404 CPUtime=153.35
/proc/13179/stat : 13179 (minisat_static) R 13173 13173 12994 0 -1 4194304 23164 0 0 0 15316 19 0 0 25 0 1 0 310594833 97693696 23117 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/13179/statm: 23851 23117 77 171 0 23678 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 100760

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13179
/proc/meminfo: memFree=1600880/2055920 swapFree=4180980/4192956
[pid=13173] ppid=13171 vsize=5356 CPUtime=8.78
/proc/13173/stat : 13173 (SatELiteGTI) S 13171 13173 12994 0 -1 4194304 336 42084 0 0 0 0 845 33 16 0 1 0 310593952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13173/statm: 1339 239 197 169 0 50 0
[pid=13179] ppid=13173 vsize=117728 CPUtime=213.33
/proc/13179/stat : 13179 (minisat_static) R 13173 13173 12994 0 -1 4194304 28775 0 0 0 21309 24 0 0 25 0 1 0 310594833 120553472 28728 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13179/statm: 29432 28728 77 171 0 29259 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 123084

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13179
/proc/meminfo: memFree=1577712/2055920 swapFree=4180980/4192956
[pid=13173] ppid=13171 vsize=5356 CPUtime=8.78
/proc/13173/stat : 13173 (SatELiteGTI) S 13171 13173 12994 0 -1 4194304 336 42084 0 0 0 0 845 33 16 0 1 0 310593952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13173/statm: 1339 239 197 169 0 50 0
[pid=13179] ppid=13173 vsize=141240 CPUtime=273.3
/proc/13179/stat : 13179 (minisat_static) R 13173 13173 12994 0 -1 4194304 34596 0 0 0 27301 29 0 0 25 0 1 0 310594833 144629760 34549 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13179/statm: 35310 34549 77 171 0 35137 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 146596

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13179
/proc/meminfo: memFree=1553264/2055920 swapFree=4180980/4192956
[pid=13173] ppid=13171 vsize=5356 CPUtime=8.78
/proc/13173/stat : 13173 (SatELiteGTI) S 13171 13173 12994 0 -1 4194304 336 42084 0 0 0 0 845 33 16 0 1 0 310593952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13173/statm: 1339 239 197 169 0 50 0
[pid=13179] ppid=13173 vsize=165264 CPUtime=333.28
/proc/13179/stat : 13179 (minisat_static) R 13173 13173 12994 0 -1 4194304 40647 0 0 0 33294 34 0 0 25 0 1 0 310594833 169230336 40600 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/13179/statm: 41316 40600 77 171 0 41143 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 170620

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13179
/proc/meminfo: memFree=1530480/2055920 swapFree=4180980/4192956
[pid=13173] ppid=13171 vsize=5356 CPUtime=8.78
/proc/13173/stat : 13173 (SatELiteGTI) S 13171 13173 12994 0 -1 4194304 336 42084 0 0 0 0 845 33 16 0 1 0 310593952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13173/statm: 1339 239 197 169 0 50 0
[pid=13179] ppid=13173 vsize=188236 CPUtime=393.24

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

/proc/13179/statm: 62184 61430 77 171 0 62011 0
Current children cumulated CPU time (s) 581.93
Current children cumulated vsize (KiB) 254092

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13179
/proc/meminfo: memFree=1451888/2055920 swapFree=4180980/4192956
[pid=13173] ppid=13171 vsize=5356 CPUtime=8.78
/proc/13173/stat : 13173 (SatELiteGTI) S 13171 13173 12994 0 -1 4194304 336 42084 0 0 0 0 845 33 16 0 1 0 310593952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13173/statm: 1339 239 197 169 0 50 0
[pid=13179] ppid=13173 vsize=266172 CPUtime=633.13
/proc/13179/stat : 13179 (minisat_static) R 13173 13173 12994 0 -1 4194304 65877 0 0 0 63253 60 0 0 25 0 1 0 310594833 272560128 65830 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/13179/statm: 66543 65830 77 171 0 66370 0
Current children cumulated CPU time (s) 641.91
Current children cumulated vsize (KiB) 271528

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13179
/proc/meminfo: memFree=1433520/2055920 swapFree=4180980/4192956
[pid=13173] ppid=13171 vsize=5356 CPUtime=8.78
/proc/13173/stat : 13173 (SatELiteGTI) S 13171 13173 12994 0 -1 4194304 336 42084 0 0 0 0 845 33 16 0 1 0 310593952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13173/statm: 1339 239 197 169 0 50 0
[pid=13179] ppid=13173 vsize=284532 CPUtime=693.11
/proc/13179/stat : 13179 (minisat_static) R 13173 13173 12994 0 -1 4194304 70478 0 0 0 69246 65 0 0 25 0 1 0 310594833 291360768 70431 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/13179/statm: 71133 70431 77 171 0 70960 0
Current children cumulated CPU time (s) 701.89
Current children cumulated vsize (KiB) 289888

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13179
/proc/meminfo: memFree=1417072/2055920 swapFree=4180980/4192956
[pid=13173] ppid=13171 vsize=5356 CPUtime=8.78
/proc/13173/stat : 13173 (SatELiteGTI) S 13171 13173 12994 0 -1 4194304 336 42084 0 0 0 0 845 33 16 0 1 0 310593952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13173/statm: 1339 239 197 169 0 50 0
[pid=13179] ppid=13173 vsize=301376 CPUtime=753.09
/proc/13179/stat : 13179 (minisat_static) R 13173 13173 12994 0 -1 4194304 74544 0 0 0 75241 68 0 0 25 0 1 0 310594833 308609024 74497 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13179/statm: 75344 74497 77 171 0 75171 0
Current children cumulated CPU time (s) 761.87
Current children cumulated vsize (KiB) 306732

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13179
/proc/meminfo: memFree=1399728/2055920 swapFree=4180980/4192956
[pid=13173] ppid=13171 vsize=5356 CPUtime=8.78
/proc/13173/stat : 13173 (SatELiteGTI) S 13171 13173 12994 0 -1 4194304 336 42084 0 0 0 0 845 33 16 0 1 0 310593952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13173/statm: 1339 239 197 169 0 50 0
[pid=13179] ppid=13173 vsize=318716 CPUtime=813.06
/proc/13179/stat : 13179 (minisat_static) R 13173 13173 12994 0 -1 4194304 78904 0 0 0 81234 72 0 0 25 0 1 0 310594833 326365184 78857 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/13179/statm: 79679 78858 77 171 0 79506 0
Current children cumulated CPU time (s) 821.84
Current children cumulated vsize (KiB) 324072

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13179
/proc/meminfo: memFree=1383536/2055920 swapFree=4180980/4192956
[pid=13173] ppid=13171 vsize=5356 CPUtime=8.78
/proc/13173/stat : 13173 (SatELiteGTI) S 13171 13173 12994 0 -1 4194304 336 42084 0 0 0 0 845 33 16 0 1 0 310593952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13173/statm: 1339 239 197 169 0 50 0
[pid=13179] ppid=13173 vsize=334716 CPUtime=873.04
/proc/13179/stat : 13179 (minisat_static) R 13173 13173 12994 0 -1 4194304 82919 0 0 0 87228 76 0 0 25 0 1 0 310594833 342749184 82872 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13179/statm: 83679 82872 77 171 0 83506 0
Current children cumulated CPU time (s) 881.82
Current children cumulated vsize (KiB) 340072

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13179
/proc/meminfo: memFree=1365936/2055920 swapFree=4180980/4192956
[pid=13173] ppid=13171 vsize=5356 CPUtime=8.78
/proc/13173/stat : 13173 (SatELiteGTI) S 13171 13173 12994 0 -1 4194304 336 42084 0 0 0 0 845 33 16 0 1 0 310593952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13173/statm: 1339 239 197 169 0 50 0
[pid=13179] ppid=13173 vsize=352312 CPUtime=933.02
/proc/13179/stat : 13179 (minisat_static) R 13173 13173 12994 0 -1 4194304 87322 0 0 0 93222 80 0 0 25 0 1 0 310594833 360767488 87275 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/13179/statm: 88078 87275 77 171 0 87905 0
Current children cumulated CPU time (s) 941.8
Current children cumulated vsize (KiB) 357668

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13179
/proc/meminfo: memFree=1355760/2055920 swapFree=4180980/4192956
[pid=13173] ppid=13171 vsize=5356 CPUtime=8.78
/proc/13173/stat : 13173 (SatELiteGTI) S 13171 13173 12994 0 -1 4194304 336 42084 0 0 0 0 845 33 16 0 1 0 310593952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13173/statm: 1339 239 197 169 0 50 0
[pid=13179] ppid=13173 vsize=362360 CPUtime=993
/proc/13179/stat : 13179 (minisat_static) R 13173 13173 12994 0 -1 4194304 89839 0 0 0 99217 83 0 0 25 0 1 0 310594833 371056640 89792 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/13179/statm: 90590 89792 77 171 0 90417 0
Current children cumulated CPU time (s) 1001.78
Current children cumulated vsize (KiB) 367716

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13179
/proc/meminfo: memFree=1339760/2055920 swapFree=4180980/4192956
[pid=13173] ppid=13171 vsize=5356 CPUtime=8.78
/proc/13173/stat : 13173 (SatELiteGTI) S 13171 13173 12994 0 -1 4194304 336 42084 0 0 0 0 845 33 16 0 1 0 310593952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13173/statm: 1339 239 197 169 0 50 0
[pid=13179] ppid=13173 vsize=378332 CPUtime=1052.97
/proc/13179/stat : 13179 (minisat_static) R 13173 13173 12994 0 -1 4194304 93872 0 0 0 105210 87 0 0 25 0 1 0 310594833 387411968 93825 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/13179/statm: 94583 93825 77 171 0 94410 0
Current children cumulated CPU time (s) 1061.75
Current children cumulated vsize (KiB) 383688

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13179
/proc/meminfo: memFree=1329584/2055920 swapFree=4180980/4192956
[pid=13173] ppid=13171 vsize=5356 CPUtime=8.78
/proc/13173/stat : 13173 (SatELiteGTI) S 13171 13173 12994 0 -1 4194304 336 42084 0 0 0 0 845 33 16 0 1 0 310593952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13173/statm: 1339 239 197 169 0 50 0
[pid=13179] ppid=13173 vsize=388280 CPUtime=1112.95
/proc/13179/stat : 13179 (minisat_static) R 13173 13173 12994 0 -1 4194304 96346 0 0 0 111204 91 0 0 25 0 1 0 310594833 397598720 96299 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/13179/statm: 97070 96299 77 171 0 96897 0
Current children cumulated CPU time (s) 1121.73
Current children cumulated vsize (KiB) 393636

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13179
/proc/meminfo: memFree=1323440/2055920 swapFree=4180980/4192956
[pid=13173] ppid=13171 vsize=5356 CPUtime=8.78
/proc/13173/stat : 13173 (SatELiteGTI) S 13171 13173 12994 0 -1 4194304 336 42084 0 0 0 0 845 33 16 0 1 0 310593952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13173/statm: 1339 239 197 169 0 50 0
[pid=13179] ppid=13173 vsize=394492 CPUtime=1172.93
/proc/13179/stat : 13179 (minisat_static) R 13173 13173 12994 0 -1 4194304 97905 0 0 0 117200 93 0 0 25 0 1 0 310594833 403959808 97858 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13179/statm: 98623 97858 77 171 0 98450 0
Current children cumulated CPU time (s) 1181.71
Current children cumulated vsize (KiB) 399848



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13179
/proc/meminfo: memFree=1317552/2055920 swapFree=4180980/4192956
[pid=13173] ppid=13171 vsize=5356 CPUtime=8.78
/proc/13173/stat : 13173 (SatELiteGTI) S 13171 13173 12994 0 -1 4194304 336 42084 0 0 0 0 845 33 16 0 1 0 310593952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13173/statm: 1339 239 197 169 0 50 0
[pid=13179] ppid=13173 vsize=400176 CPUtime=1191.31
/proc/13179/stat : 13179 (minisat_static) R 13173 13173 12994 0 -1 4194304 99332 0 0 0 119037 94 0 0 25 0 1 0 310594833 409780224 99285 1992294400 134512640 135215339 4294956240 18446744073709551615 134532687 0 0 4096 3 0 0 0 17 0 0 0
/proc/13179/statm: 100044 99285 77 171 0 99871 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 405532

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/66 13179
/proc/meminfo: memFree=1317552/2055920 swapFree=4180980/4192956
[pid=13173] ppid=13171 vsize=5356 CPUtime=8.78
/proc/13173/stat : 13173 (SatELiteGTI) S 13171 13173 12994 0 -1 4194304 336 42084 0 0 0 0 845 33 16 0 1 0 310593952 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13173/statm: 1339 239 197 169 0 50 0
[pid=13179] ppid=13173 vsize=400176 CPUtime=1191.31
/proc/13179/stat : 13179 (minisat_static) R 13173 13173 12994 0 -1 4194304 99332 0 0 0 119037 94 0 0 25 0 1 0 310594833 409780224 99285 1992294400 134512640 135215339 4294956240 18446744073709551615 134532687 0 0 4096 3 0 0 0 17 0 0 0
/proc/13179/statm: 100044 99285 77 171 0 99871 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 405532

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13173 and gives
#  childrusage.ru_utime.tv_sec=8
#  childrusage.ru_utime.tv_usec=456714
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=335948
# CPU time returned by wait4() is 8.79266
# while last known CPU time is 1200.09
#
# 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.09
CPU user time (s): 1198.82
CPU system time (s): 1.27
CPU usage (%): 99.9481
Max. virtual memory (cumulated for all children) (KiB): 405532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.45671
system time used= 0.335948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42420
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= 55

runsolver used 1.14783 second user time and 3.3095 second system time

The end

Launcher Data 

Begin job on node34 at 2009-05-20 15:20:13
IDJOB=1833857
IDBENCH=70985
IDSOLVER=671
FILE ID=node34/1833857-1242825611
PBS_JOBID= 9322538
Free space on /tmp= 66400 MiB

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

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

MD5SUM BENCH= 5588dd996576f939b8ae497437078705
RANDOM SEED=78506688

node34.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.214
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.214
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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1741016 kB
Buffers:         50828 kB
Cached:         214936 kB
SwapCached:       6100 kB
Active:         113084 kB
Inactive:       160892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1741016 kB
SwapTotal:     4192956 kB
SwapFree:      4180980 kB
Dirty:           23992 kB
Writeback:           0 kB
Mapped:          13560 kB
Slab:            27016 kB
Committed_AS:  1073864 kB
PageTables:       1384 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66376 MiB
End job on node34 at 2009-05-20 15:40:16