Trace number 1837450

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-18UNSAT 5374.4 5377.22

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UTI-20-5p0.cnf
MD5SUM5588dd996576f939b8ae497437078705
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1432.19
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.09/1.20	c ==============================================================================
1.09/1.20	c |           |     ORIGINAL     |              LEARNT              |          |
1.09/1.20	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.09/1.20	c ==============================================================================
1.09/1.20	c |         0 | 1180646  2859965 |  354193       0        0     nan |  0.000 % |
7.78/7.87	c |         0 |  824850  2310027 |      --       0       --      -- |     --   | -102154/25520
7.78/7.87	c ==============================================================================
7.78/7.87	c Result  :   #vars: 121563   #clauses: 824850   #literals: 2310027
7.78/7.87	c CPU time:   7.61384 s
7.78/7.87	c ==============================================================================
8.58/8.68	c This is MiniSat 2.0 beta
8.58/8.68	c WARNING: for repeatability, setting FPU to use double precision
8.58/8.68	c ============================[ Problem Statistics ]=============================
8.58/8.68	c |                                                                             |
8.58/8.68	c |  Number of variables:  121563                                               |
8.58/8.68	c |  Number of clauses:    824850                                               |
9.17/9.21	c |  Parsing time:         0.46         s                                       |
9.17/9.23	c ============================[ Search Statistics ]==============================
9.17/9.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.17/9.23	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
9.17/9.23	c ===============================================================================
9.17/9.23	c |         0 |  121563   824850  2310027 |   274950        0    nan |  0.000 % |
9.46/9.55	c |       100 |  121559   824850  2310027 |   274950       96     76 |  0.701 % |
9.56/9.69	c |       200 |  121559   824850  2310027 |   274950      196     73 |  0.701 % |
9.66/9.77	c |       304 |  121559   824850  2310027 |   274950      300     73 |  0.701 % |
9.76/9.86	c |       414 |  121559   824850  2310027 |   274950      410     70 |  0.701 % |
9.87/9.96	c |       514 |  121559   824850  2310027 |   274950      510     73 |  0.701 % |
9.97/10.08	c |       626 |  121559   824850  2310027 |   274950      622     72 |  0.701 % |
10.16/10.28	c |       747 |  121523   824850  2310027 |   274950      742     76 |  0.706 % |
10.56/10.68	c |       847 |  119645   807238  2263456 |   274950      822     75 |  1.701 % |
10.66/10.79	c |       957 |  119645   807238  2263456 |   274950      932     79 |  1.701 % |
10.86/10.95	c |      1079 |  119645   807238  2263456 |   274950     1054     78 |  1.701 % |
10.97/11.04	c |      1213 |  119645   807238  2263456 |   274950     1188     81 |  1.701 % |
11.07/11.19	c |      1316 |  119645   807238  2263456 |   274950     1291     79 |  1.701 % |
11.26/11.34	c |      1426 |  119641   807238  2263456 |   274950     1399     75 |  1.721 % |
11.46/11.59	c |      1548 |  119641   807238  2263456 |   274950     1521     76 |  1.721 % |
11.76/11.80	c |      1681 |  119525   807238  2263456 |   274950     1649     73 |  2.976 % |
12.06/12.11	c |      1827 |  117562   794940  2232802 |   274950     1789     71 |  4.027 % |
12.46/12.57	c |      1930 |  117278   794940  2232802 |   274950     1889     69 |  7.404 % |
12.66/12.77	c |      2041 |  117216   794940  2232802 |   274950     1999     69 |  8.101 % |
12.86/12.99	c |      2162 |  117092   794940  2232802 |   274950     2118     67 |  9.140 % |
13.17/13.20	c |      2296 |  117057   794940  2232802 |   274950     2251     65 |  9.186 % |
13.27/13.31	c |      2442 |  117057   794940  2232802 |   274950     2397     65 |  9.186 % |
13.36/13.49	c |      2603 |  117057   794940  2232802 |   274950     2558     64 |  9.186 % |
13.56/13.67	c |      2703 |  117045   794940  2232802 |   274950     2658     64 |  9.186 % |
13.96/14.09	c |      2813 |  110245   745601  2107207 |   274950     2756     63 | 10.747 % |
14.16/14.21	c |      2935 |  110183   745601  2107207 |   274950     2878     67 | 10.747 % |
14.16/14.30	c |      3068 |  110183   745601  2107207 |   274950     3011     69 | 10.747 % |
14.37/14.48	c |      3214 |  110180   745601  2107207 |   274950     3156     68 | 10.757 % |
14.56/14.67	c |      3374 |  110180   745601  2107207 |   274950     3316     74 | 10.757 % |
15.06/15.13	c |      3550 |  109672   745601  2107207 |   274950     3489     72 | 10.844 % |
15.26/15.36	c |      3651 |  109224   745601  2107207 |   274950     3588     72 | 11.928 % |
15.56/15.69	c |      3761 |  107063   721374  2044445 |   274950     3671     71 | 11.928 % |
16.16/16.27	c |      3883 |  106824   721374  2044445 |   274950     3785     70 | 14.547 % |
16.56/16.65	c |      4017 |  106781   721374  2044445 |   274950     3917     69 | 14.997 % |
16.86/16.90	c |      4164 |  102192   687929  1958776 |   274950     4046     67 | 15.935 % |
17.06/17.12	c |      4324 |  101974   687929  1958776 |   274950     4202     66 | 17.235 % |
17.36/17.50	c |      4500 |  101810   687929  1958776 |   274950     4374     65 | 17.743 % |
17.86/17.92	c |      4693 |  101672   687929  1958776 |   274950     4563     64 | 18.265 % |
17.96/18.05	c |      4795 |  101672   687929  1958776 |   274950     4665     66 | 18.265 % |
18.06/18.17	c |      4905 |  101556   687929  1958776 |   274950     4773     66 | 18.691 % |
18.16/18.27	c |      5026 |  101556   687929  1958776 |   274950     4894     65 | 18.691 % |
18.36/18.42	c |      5159 |   98714   664587  1900404 |   274950     4989     66 | 18.796 % |
18.46/18.55	c |      5307 |   98714   664587  1900404 |   274950     5137     66 | 18.796 % |
18.76/18.82	c |      5467 |   98699   664587  1900404 |   274950     5296     65 | 19.367 % |
18.96/19.08	c |      5643 |   98699   664587  1900404 |   274950     5472     67 | 19.367 % |
19.16/19.25	c |      5836 |   98699   664587  1900404 |   274950     5665     69 | 19.367 % |
19.56/19.61	c |      6048 |   98545   664587  1900404 |   274950     5874     68 | 20.245 % |
19.66/19.76	c |      6152 |   98415   664587  1900404 |   274950     5976     68 | 20.476 % |
19.86/19.94	c |      6262 |   96553   650017  1862417 |   274950     6075     68 | 20.575 % |
20.26/20.32	c |      6383 |   96548   650017  1862417 |   274950     6192     68 | 20.603 % |
20.36/20.50	c |      6518 |   96547   650017  1862417 |   274950     6326     68 | 20.614 % |
20.56/20.65	c |      6666 |   96546   650017  1862417 |   274950     6474     67 | 20.614 % |
20.76/20.90	c |      6829 |   96536   650017  1862417 |   274950     6635     66 | 21.140 % |
21.26/21.31	c |      7007 |   96324   650017  1862417 |   274950     6810     66 | 21.508 % |
21.66/21.72	c |      7202 |   95225   640557  1838018 |   274950     6981     65 | 21.718 % |
21.86/21.92	c |      7414 |   95223   640557  1838018 |   274950     7191     65 | 21.871 % |
22.06/22.15	c |      7650 |   95153   640557  1838018 |   274950     7426     65 | 21.881 % |
22.35/22.42	c |      7750 |   95115   640557  1838018 |   274950     7524     65 | 22.022 % |
22.45/22.59	c |      7862 |   95079   640557  1838018 |   274950     7635     65 | 22.110 % |
22.75/22.86	c |      7983 |   95073   640557  1838018 |   274950     7755     65 | 22.261 % |
22.95/23.04	c |      8118 |   94385   635897  1827689 |   274950     7880     64 | 22.446 % |
23.35/23.42	c |      8266 |   94134   635897  1827689 |   274950     8019     63 | 25.749 % |
23.55/23.68	c |      8428 |   94121   635897  1827689 |   274950     8177     63 | 25.811 % |
23.85/23.91	c |      8604 |   94067   635897  1827689 |   274950     8351     62 | 26.074 % |
24.16/24.26	c |      8801 |   93998   635897  1827689 |   274950     8548     62 | 26.074 % |
24.55/24.65	c |      9013 |   89580   601173  1738870 |   274950     8722     62 | 26.310 % |
24.95/25.09	c |      9246 |   89535   601173  1738870 |   274950     8952     62 | 26.736 % |
25.45/25.54	c |      9502 |   89534   601173  1738870 |   274950     9207     62 | 26.782 % |
25.65/25.73	c |      9602 |   89473   601173  1738870 |   274950     9305     61 | 26.955 % |
25.85/25.95	c |      9713 |   89466   601173  1738870 |   274950     9414     61 | 26.976 % |
26.25/26.33	c |      9835 |   87993   582561  1687089 |   274950     9517     61 | 27.615 % |
26.45/26.56	c |      9968 |   87972   582561  1687089 |   274950     9649     61 | 27.661 % |
26.65/26.77	c |     10115 |   87972   582561  1687089 | 2147483647     9796     61 | 27.661 % |
26.95/27.04	c |     10277 |   87968   582561  1687089 | 2147483647     9956     61 | 27.682 % |
27.15/27.24	c |     10456 |   87968   582561  1687089 | 2147483647    10135     61 | 27.682 % |
27.45/27.58	c |     10649 |   87968   582561  1687089 | 2147483647    10328     61 | 27.682 % |
27.95/28.06	c |     10861 |   87963   582561  1687089 | 2147483647    10539     61 | 27.692 % |
28.35/28.42	c |     11094 |   87898   581906  1685371 | 2147483647    10736     61 | 27.701 % |
28.76/28.88	c |     11352 |   87891   581906  1685371 | 2147483647    10992     62 | 27.726 % |
29.06/29.19	c |     11634 |   87891   581906  1685371 | 2147483647    11274     61 | 27.726 % |
29.36/29.41	c |     11735 |   87891   581906  1685371 | 2147483647    11375     61 | 27.726 % |
29.56/29.65	c |     11846 |   87890   581906  1685371 | 2147483647    11485     61 | 27.735 % |
29.76/29.81	c |     11967 |   87890   581906  1685371 | 2147483647    11606     61 | 27.735 % |
29.96/30.06	c |     12100 |   87888   581906  1685371 | 2147483647    11737     62 | 27.814 % |
30.26/30.35	c |     12246 |   87731   581098  1683458 | 2147483647    11875     62 | 27.976 % |
30.56/30.60	c |     12406 |   87731   581098  1683458 | 2147483647    12035     62 | 27.976 % |
30.86/30.97	c |     12583 |   87731   581098  1683458 | 2147483647    12212     61 | 27.976 % |
31.16/31.29	c |     12776 |   87731   581098  1683458 | 2147483647    12405     61 | 27.976 % |
31.56/31.69	c |     12988 |   87731   581098  1683458 | 2147483647    12617     61 | 27.976 % |
32.05/32.16	c |     13222 |   87541   579490  1679164 | 2147483647    12848     61 | 27.987 % |
32.45/32.55	c |     13478 |   87541   579490  1679164 | 2147483647    13104     62 | 27.987 % |
32.75/32.84	c |     13759 |   87521   579490  1679164 | 2147483647    13383     62 | 28.077 % |
33.35/33.49	c |     14079 |   87505   579490  1679164 | 2147483647    13699     63 | 28.099 % |
33.55/33.60	c |     14179 |   87505   579490  1679164 | 2147483647    13799     63 | 28.099 % |
33.65/33.72	c |     14291 |   87461   579490  1679164 | 2147483647    13909     64 | 28.140 % |
33.75/33.81	c |     14412 |   87461   579490  1679164 | 2147483647    14030     64 | 28.140 % |
33.85/33.94	c |     14546 |   87461   579490  1679164 | 2147483647    14164     64 | 28.140 % |
33.95/34.08	c |     14694 |   87355   577828  1674680 | 2147483647    14267     63 | 28.147 % |
34.15/34.26	c |     14854 |   87353   577828  1674680 | 2147483647    14426     64 | 28.155 % |
34.55/34.61	c |     15032 |   87353   577828  1674680 | 2147483647    14604     64 | 28.155 % |
34.65/34.74	c |     15225 |   87353   577828  1674680 | 2147483647    14797     63 | 28.155 % |
35.05/35.15	c |     15438 |   87353   577828  1674680 | 2147483647    15010     64 | 28.155 % |
35.35/35.45	c |     15671 |   87353   577828  1674680 | 2147483647    15243     65 | 28.155 % |
35.55/35.65	c |     15929 |   87353   577828  1674680 | 2147483647    15501     66 | 28.155 % |
35.95/36.09	c |     16210 |   87330   577706  1674366 | 2147483647    15779     66 | 28.319 % |
36.55/36.66	c |     16520 |   87330   577706  1674366 | 2147483647    16089     67 | 28.319 % |
36.95/37.02	c |     16860 |   87327   577706  1674366 | 2147483647    16427     68 | 28.381 % |
36.95/37.09	c |     16962 |   87327   577706  1674366 | 2147483647    16529     68 | 28.381 % |
37.05/37.15	c |     17073 |   87327   577706  1674366 | 2147483647    16640     68 | 28.381 % |
37.15/37.23	c |     17194 |   87327   577706  1674366 | 2147483647    16761     69 | 28.381 % |
37.25/37.35	c |     17328 |   87327   577706  1674366 | 2147483647    16895     69 | 28.381 % |
37.55/37.64	c |     17475 |   87301   577706  1674366 | 2147483647    17042     69 | 28.381 % |
37.85/37.99	c |     17636 |   87301   577706  1674366 | 2147483647    17203     69 | 28.381 % |
38.25/38.35	c |     17818 |   87062   575194  1668029 | 2147483647    17278     70 | 28.381 % |
38.65/38.80	c |     18013 |   87062   575194  1668029 | 2147483647    17473     70 | 28.381 % |
39.25/39.35	c |     18225 |   87003   575194  1668029 | 2147483647    17683     70 | 28.568 % |
39.56/39.69	c |     18458 |   87003   575194  1668029 | 2147483647    17916     70 | 28.568 % |
39.95/40.05	c |     18715 |   87000   575194  1668029 | 2147483647    18172     70 | 28.570 % |
40.35/40.44	c |     18997 |   87000   575194  1668029 | 2147483647    18454     71 | 28.570 % |
40.95/41.04	c |     19308 |   86768   570402  1654395 | 2147483647    18746     72 | 28.963 % |
41.45/41.53	c |     19647 |   86768   570402  1654395 | 2147483647    19085     72 | 28.963 % |
41.95/42.01	c |     20019 |   86751   570402  1654395 | 2147483647    19455     72 | 29.258 % |
41.95/42.07	c |     20120 |   86751   570402  1654395 | 2147483647    19556     72 | 29.258 % |
42.25/42.30	c |     20230 |   86751   570402  1654395 | 2147483647    19666     72 | 29.258 % |
42.45/42.51	c |     20353 |   86750   570402  1654395 | 2147483647    19788     72 | 29.261 % |
42.65/42.77	c |     20486 |   86748   570402  1654395 | 2147483647    19920     72 | 29.268 % |
42.95/43.05	c |     20633 |   85984   557134  1617417 | 2147483647    20031     72 | 29.268 % |
43.25/43.36	c |     20794 |   85984   557134  1617417 | 2147483647    20192     72 | 29.268 % |
43.45/43.56	c |     20970 |   85984   557134  1617417 | 2147483647    20367     73 | 29.402 % |
43.65/43.78	c |     21164 |   85983   557134  1617417 | 2147483647    20561     72 | 29.402 % |
44.15/44.25	c |     21378 |   85954   557134  1617417 | 2147483647    20774     72 | 29.409 % |
44.65/44.72	c |     21615 |   85941   557134  1617417 | 2147483647    21009     73 | 29.649 % |
44.95/45.07	c |     21872 |   85941   557134  1617417 | 2147483647    21266     73 | 29.649 % |
45.45/45.55	c |     22153 |   85516   550985  1600813 | 2147483647    21541     73 | 29.767 % |
46.05/46.17	c |     22463 |   85515   550985  1600813 | 2147483647    21850     74 | 29.768 % |
46.65/46.75	c |     22802 |   85511   550985  1600813 | 2147483647    22187     75 | 29.779 % |
47.05/47.13	c |     23174 |   85492   550985  1600813 | 2147483647    22558     75 | 29.887 % |
47.55/47.63	c |     23583 |   85492   550985  1600813 | 2147483647    22967     77 | 29.887 % |
47.65/47.72	c |     23687 |   85492   550985  1600813 | 2147483647    23071     77 | 29.887 % |
47.75/47.87	c |     23802 |   85197   549268  1596783 | 2147483647    23153     77 | 29.957 % |
47.94/48.02	c |     23923 |   85193   549268  1596783 | 2147483647    23274     77 | 29.957 % |
48.14/48.27	c |     24056 |   85191   549268  1596783 | 2147483647    23405     77 | 29.976 % |
48.35/48.42	c |     24202 |   85159   549268  1596783 | 2147483647    23549     77 | 30.068 % |
48.54/48.65	c |     24362 |   85157   549268  1596783 | 2147483647    23707     77 | 30.069 % |
49.14/49.26	c |     24540 |   85157   549268  1596783 | 2147483647    23885     78 | 30.069 % |
49.34/49.48	c |     24733 |   85157   549268  1596783 | 2147483647    24078     78 | 30.069 % |
49.64/49.74	c |     24949 |   85134   549268  1596783 | 2147483647    24291     79 | 30.414 % |
50.14/50.25	c |     25183 |   85121   549268  1596783 | 2147483647    24525     79 | 30.414 % |
50.65/50.70	c |     25439 |   85120   549268  1596783 | 2147483647    24780     80 | 30.519 % |
51.24/51.31	c |     25722 |   84463   539356  1569900 | 2147483647    24940     80 | 30.519 % |
51.75/51.87	c |     26031 |   84463   539356  1569900 | 2147483647    25249     80 | 30.519 % |
51.94/52.09	c |     26370 |   84446   539356  1569900 | 2147483647    25585     80 | 30.555 % |
52.34/52.44	c |     26743 |   84437   539356  1569900 | 2147483647    25957     80 | 30.690 % |
52.65/52.73	c |     27152 |   84437   539356  1569900 | 2147483647    26366     80 | 30.690 % |
53.55/53.65	c |     27602 |   84436   539356  1569900 | 2147483647    26815     81 | 30.753 % |
53.75/53.87	c |     27703 |   84170   537270  1564467 | 2147483647    26861     81 | 30.760 % |
53.95/54.07	c |     27813 |   84170   537270  1564467 | 2147483647    26971     81 | 30.760 % |
54.15/54.25	c |     27938 |   84170   537270  1564467 | 2147483647    27096     81 | 30.760 % |
54.35/54.40	c |     28071 |   84170   537270  1564467 | 2147483647    27229     81 | 30.760 % |
54.55/54.62	c |     28217 |   84169   537270  1564467 | 2147483647    27374     81 | 30.761 % |
54.65/54.77	c |     28378 |   84169   537270  1564467 | 2147483647    27535     81 | 30.761 % |
54.85/54.99	c |     28555 |   84169   537270  1564467 | 2147483647    27712     81 | 30.761 % |
55.15/55.23	c |     28749 |   84169   537270  1564467 | 2147483647    27906     81 | 30.761 % |
55.65/55.72	c |     28962 |   84164   537270  1564467 | 2147483647    28115     81 | 30.916 % |
56.05/56.10	c |     29195 |   84123   537270  1564467 | 2147483647    28345     81 | 31.237 % |
56.44/56.51	c |     29451 |   84121   537270  1564467 | 2147483647    28601     82 | 31.237 % |
56.94/57.01	c |     29732 |   83590   529300  1542546 | 2147483647    28818     83 | 31.237 % |
57.34/57.42	c |     30041 |   83590   529300  1542546 | 2147483647    29127     83 | 31.237 % |
57.64/57.74	c |     30380 |   83585   529300  1542546 | 2147483647    29464     83 | 31.309 % |
58.14/58.22	c |     30752 |   83562   529300  1542546 | 2147483647    29836     84 | 31.309 % |
58.74/58.90	c |     31162 |   83549   529300  1542546 | 2147483647    30245     85 | 31.395 % |
59.35/59.50	c |     31611 |   83536   529300  1542546 | 2147483647    30693     86 | 31.505 % |
59.74/59.88	c |     32104 |   83255   525818  1532782 | 2147483647    30933     86 | 31.513 % |
59.84/59.98	c |     32204 |   83255   525818  1532782 | 2147483647    31033     86 | 31.513 % |
60.04/60.17	c |     32314 |   83251   525818  1532782 | 2147483647    31140     86 | 31.628 % |
60.14/60.28	c |     32435 |   83251   525818  1532782 | 2147483647    31261     86 | 31.628 % |
60.24/60.38	c |     32568 |   83251   525818  1532782 | 2147483647    31394     86 | 31.628 % |
60.45/60.56	c |     32715 |   83235   525818  1532782 | 2147483647    31537     85 | 31.700 % |
60.84/60.91	c |     32875 |   83235   525818  1532782 | 2147483647    31697     86 | 31.700 % |
61.14/61.23	c |     33051 |   83235   525818  1532782 | 2147483647    31873     86 | 31.700 % |
61.34/61.47	c |     33248 |   83235   525818  1532782 | 2147483647    32070     86 | 31.700 % |
61.65/61.71	c |     33460 |   83235   525818  1532782 | 2147483647    32282     86 | 31.700 % |
61.84/61.94	c |     33693 |   83235   525818  1532782 | 2147483647    32515     87 | 31.700 % |
62.04/62.17	c |     33949 |   83232   525818  1532782 | 2147483647    32769     87 | 31.713 % |
62.54/62.66	c |     34232 |   83229   525818  1532782 | 2147483647    33050     87 | 31.721 % |
63.04/63.13	c |     34542 |   83229   525818  1532782 | 2147483647    33360     87 | 31.721 % |
63.54/63.69	c |     34882 |   83002   523774  1527200 | 2147483647    33669     88 | 31.721 % |
63.94/64.06	c |     35257 |   83002   523774  1527200 | 2147483647    34044     89 | 31.721 % |
64.24/64.38	c |     35667 |   83002   523774  1527200 | 2147483647    34454     89 | 31.721 % |
64.84/64.96	c |     36116 |   83002   523774  1527200 | 2147483647    34903     89 | 31.721 % |
65.74/65.90	c |     36613 |   83002   523774  1527200 | 2147483647    35400     90 | 31.721 % |
66.24/66.39	c |     37155 |   83002   523774  1527200 | 2147483647    35941     90 | 31.722 % |
66.34/66.47	c |     37255 |   83001   523774  1527200 | 2147483647    36041     90 | 31.722 % |
66.44/66.58	c |     37365 |   83001   523774  1527200 | 2147483647    36151     90 | 31.722 % |
66.74/66.85	c |     37486 |   83001   523774  1527200 | 2147483647    36272     90 | 31.722 % |
67.14/67.30	c |     37619 |   83001   523770  1527192 | 2147483647    36402     90 | 31.775 % |
67.34/67.43	c |     37765 |   83000   523770  1527192 | 2147483647    36548     90 | 31.775 % |
67.54/67.62	c |     37925 |   83000   523770  1527192 | 2147483647    36708     90 | 31.775 % |
67.64/67.78	c |     38104 |   83000   523770  1527192 | 2147483647    36887     91 | 31.775 % |
67.84/67.96	c |     38298 |   82999   523770  1527192 | 2147483647    37080     91 | 31.782 % |
68.14/68.27	c |     38510 |   82999   523770  1527192 | 2147483647    37292     91 | 31.782 % |
68.44/68.59	c |     38743 |   82999   523770  1527192 | 2147483647    37525     91 | 31.782 % |
68.73/68.87	c |     39000 |   82999   523770  1527192 | 2147483647    37782     92 | 31.782 % |
69.34/69.41	c |     39281 |   82999   523770  1527192 | 2147483647    38063     92 | 31.782 % |
69.93/70.06	c |     39594 |   82999   523770  1527192 | 2147483647    38376     92 | 31.782 % |
70.53/70.62	c |     39933 |   82999   523770  1527192 | 2147483647    38715     93 | 31.782 % |
70.84/70.99	c |     40305 |   82996   523770  1527192 | 2147483647    39086     93 | 31.791 % |
71.63/71.77	c |     40718 |   82913   523296  1526120 | 2147483647    39492     93 | 31.794 % |
72.43/72.56	c |     41167 |   82900   523296  1526120 | 2147483647    39940     93 | 31.836 % |
73.03/73.15	c |     41660 |   82897   523296  1526120 | 2147483647    40432     93 | 31.844 % |
73.93/74.05	c |     42203 |   82896   523296  1526120 | 2147483647    40974     94 | 31.845 % |
74.84/74.99	c |     42801 |   82882   523296  1526120 | 2147483647    41568     95 | 31.872 % |
75.04/75.13	c |     42901 |   82880   523296  1526120 | 2147483647    41666     95 | 31.881 % |
75.24/75.31	c |     43011 |   82880   523296  1526120 | 2147483647    41776     95 | 31.881 % |
75.34/75.44	c |     43132 |   82877   523296  1526120 | 2147483647    41896     95 | 31.898 % |
75.54/75.68	c |     43265 |   82876   523296  1526120 | 2147483647    42029     95 | 31.898 % |
75.84/75.95	c |     43412 |   82874   523296  1526120 | 2147483647    42174     95 | 31.900 % |
76.14/76.22	c |     43573 |   82785   522485  1524056 | 2147483647    42323     95 | 31.900 % |
76.44/76.55	c |     43753 |   82785   522485  1524056 | 2147483647    42503     95 | 31.900 % |
76.64/76.77	c |     43947 |   82785   522485  1524056 | 2147483647    42697     96 | 31.900 % |
76.84/76.97	c |     44160 |   82785   522485  1524056 | 2147483647    42909     96 | 31.900 % |
77.04/77.19	c |     44393 |   82783   522485  1524056 | 2147483647    43141     96 | 31.907 % |
77.34/77.49	c |     44651 |   82783   522485  1524056 | 2147483647    43399     96 | 31.907 % |
77.63/77.73	c |     44932 |   82776   522485  1524056 | 2147483647    43679     96 | 31.908 % |
77.93/78.06	c |     45241 |   82774   522485  1524056 | 2147483647    43986     96 | 31.924 % |
78.43/78.56	c |     45581 |   82756   522485  1524056 | 2147483647    44323     96 | 31.955 % |
79.14/79.28	c |     45956 |   82749   522485  1524056 | 2147483647    44698     96 | 31.955 % |
79.73/79.81	c |     46367 |   82736   522485  1524056 | 2147483647    45106     97 | 32.049 % |
80.24/80.34	c |     46816 |   82736   522485  1524056 | 2147483647    45555     97 | 32.049 % |
81.03/81.15	c |     47312 |   82735   522485  1524056 | 2147483647    46050     97 | 32.050 % |
82.23/82.36	c |     47854 |   82597   521267  1521147 | 2147483647    46556     98 | 32.068 % |
82.73/82.84	c |     48450 |   82595   521267  1521147 | 2147483647    47150     99 | 32.083 % |
83.53/83.69	c |     49105 |   82595   521267  1521147 | 2147483647    47805     99 | 32.083 % |
83.63/83.78	c |     49205 |   82595   521267  1521147 | 2147483647    47905     99 | 32.083 % |
83.83/83.95	c |     49315 |   82595   521267  1521147 | 2147483647    48015     99 | 32.083 % |
84.03/84.19	c |     49436 |   82591   521267  1521147 | 2147483647    48136     99 | 32.083 % |
84.43/84.51	c |     49573 |   82591   521267  1521147 | 2147483647    48273     99 | 32.083 % |
84.63/84.77	c |     49719 |   82591   521267  1521147 | 2147483647    48419     99 | 32.083 % |
84.94/85.10	c |     49880 |   82591   521267  1521147 | 2147483647    48580     99 | 32.083 % |
85.34/85.41	c |     50056 |   82591   521267  1521147 | 2147483647    48756     99 | 32.083 % |
85.53/85.67	c |     50249 |   82588   521267  1521147 | 2147483647    48947     99 | 32.093 % |
86.03/86.18	c |     50461 |   82588   521267  1521147 | 2147483647    49159    100 | 32.093 % |
86.33/86.42	c |     50694 |   82588   521267  1521147 | 2147483647    49392    100 | 32.093 % |
86.53/86.65	c |     50951 |   82588   521267  1521147 | 2147483647    49649    100 | 32.093 % |
87.13/87.20	c |     51234 |   82550   520858  1520061 | 2147483647    49916    100 | 32.093 % |
87.43/87.59	c |     51543 |   82550   520858  1520061 | 2147483647    50225    101 | 32.093 % |
88.33/88.49	c |     51882 |   82547   520858  1520061 | 2147483647    50562    102 | 32.127 % |
88.93/89.08	c |     52254 |   82546   520858  1520061 | 2147483647    50933    102 | 32.150 % |
89.43/89.54	c |     52663 |   82544   520858  1520061 | 2147483647    51341    102 | 32.156 % |
90.13/90.21	c |     53114 |   82529   520858  1520061 | 2147483647    51792    102 | 32.156 % |
90.83/90.97	c |     53607 |   82525   520858  1520061 | 2147483647    52281    102 | 32.530 % |
91.52/91.64	c |     54149 |   82524   520858  1520061 | 2147483647    52822    102 | 32.531 % |
92.33/92.42	c |     54745 |   82524   520858  1520061 | 2147483647    53418    103 | 32.531 % |
93.72/93.88	c |     55403 |   82016   510956  1492247 | 2147483647    53093    103 | 32.532 % |
95.02/95.10	c |     56123 |   82000   510956  1492247 | 2147483647    53809    105 | 32.567 % |
95.02/95.19	c |     56223 |   82000   510956  1492247 | 2147483647    53909    105 | 32.567 % |
95.23/95.34	c |     56336 |   82000   510956  1492247 | 2147483647    54022    105 | 32.567 % |
95.33/95.46	c |     56458 |   82000   510956  1492247 | 2147483647    54144    105 | 32.567 % |
95.63/95.74	c |     56591 |   81998   510956  1492247 | 2147483647    54276    105 | 32.574 % |
95.83/95.98	c |     56738 |   81997   510956  1492247 | 2147483647    54422    105 | 32.578 % |
96.13/96.25	c |     56899 |   81995   510956  1492247 | 2147483647    54582    105 | 32.585 % |
96.33/96.42	c |     57077 |   81995   510956  1492247 | 2147483647    54760    105 | 32.585 % |
96.53/96.63	c |     57271 |   81995   510956  1492247 | 2147483647    54954    105 | 32.585 % |
96.83/96.92	c |     57484 |   81995   510956  1492247 | 2147483647    55167    106 | 32.585 % |
97.13/97.22	c |     57733 |   81984   510956  1492247 | 2147483647    55414    106 | 32.626 % |
97.53/97.62	c |     57991 |   81982   510956  1492247 | 2147483647    55671    106 | 32.636 % |
97.93/98.00	c |     58275 |   81981   510956  1492247 | 2147483647    55954    106 | 32.645 % |
98.33/98.47	c |     58592 |   81979   510956  1492247 | 2147483647    56271    107 | 32.645 % |
98.63/98.78	c |     58931 |   81979   510956  1492247 | 2147483647    56610    107 | 32.645 % |
99.22/99.31	c |     59303 |   81979   510956  1492247 | 2147483647    56981    107 | 32.646 % |
100.22/100.39	c |     59714 |   81979   510956  1492247 | 2147483647    57392    107 | 32.646 % |
101.23/101.31	c |     60167 |   81877   509863  1489491 | 2147483647    57810    108 | 32.646 % |
102.13/102.22	c |     60662 |   81874   509863  1489491 | 2147483647    58303    108 | 32.653 % |
103.03/103.19	c |     61206 |   81870   509863  1489491 | 2147483647    58845    110 | 32.658 % |
103.93/104.00	c |     61802 |   81870   509863  1489491 | 2147483647    59441    110 | 32.658 % |
104.63/104.79	c |     62461 |   81870   509863  1489491 | 2147483647    60100    110 | 32.658 % |
105.72/105.80	c |     63181 |   81835   509863  1489491 | 2147483647    60819    110 | 32.730 % |
106.73/106.83	c |     63973 |   81834   509863  1489491 | 2147483647    61610    110 | 32.739 % |
106.92/107.00	c |     64075 |   81834   509863  1489491 | 2147483647    61712    110 | 32.739 % |
107.02/107.14	c |     64187 |   81831   509863  1489491 | 2147483647    61823    110 | 32.747 % |
107.22/107.38	c |     64308 |   81830   509863  1489491 | 2147483647    61943    110 | 32.748 % |
107.42/107.54	c |     64445 |   81830   509863  1489491 | 2147483647    62079    111 | 32.754 % |
107.72/107.83	c |     64594 |   81829   509863  1489491 | 2147483647    62228    111 | 32.754 % |
107.92/108.04	c |     64754 |   81828   509863  1489491 | 2147483647    62387    111 | 32.755 % |
108.32/108.49	c |     64930 |   81828   509863  1489491 | 2147483647    62563    111 | 32.755 % |
108.92/109.06	c |     65123 |   81729   509035  1487497 | 2147483647    62683    111 | 33.011 % |
109.53/109.64	c |     65335 |   81729   509035  1487497 | 2147483647    62895    112 | 33.011 % |
109.83/109.97	c |     65568 |   81729   509035  1487497 | 2147483647    63128    112 | 33.011 % |
110.32/110.41	c |     65824 |   81721   509035  1487497 | 2147483647    63382    112 | 33.026 % |
110.72/110.83	c |     66105 |   81721   509035  1487497 | 2147483647    63663    112 | 33.026 % |
111.12/111.30	c |     66414 |   81697   509035  1487497 | 2147483647    63971    112 | 33.284 % |
111.62/111.71	c |     66754 |   81693   509035  1487497 | 2147483647    64310    112 | 33.295 % |
112.12/112.24	c |     67126 |   81680   509035  1487497 | 2147483647    64679    112 | 33.306 % |
112.92/113.05	c |     67535 |   81680   509035  1487497 | 2147483647    65088    113 | 33.306 % |
113.61/113.79	c |     67991 |   81680   509035  1487497 | 2147483647    65544    113 | 33.306 % |
114.62/114.75	c |     68485 |   81680   509035  1487497 | 2147483647    66038    113 | 33.306 % |
115.62/115.74	c |     69030 |   81655   509035  1487497 | 2147483647    66580    113 | 33.367 % |
116.62/116.73	c |     69626 |   81653   509035  1487497 | 2147483647    67174    114 | 33.375 % |
117.92/118.06	c |     70281 |   80986   496252  1451660 | 2147483647    67768    115 | 33.392 % |
118.92/119.01	c |     71002 |   80985   496252  1451660 | 2147483647    68488    115 | 33.393 % |
120.21/120.37	c |     71794 |   80985   496252  1451660 | 2147483647    69280    116 | 33.393 % |
121.61/121.73	c |     72668 |   80984   496252  1451660 | 2147483647    70153    116 | 33.400 % |
121.71/121.85	c |     72769 |   80984   496252  1451660 | 2147483647    70254    116 | 33.400 % |
121.81/121.97	c |     72880 |   80984   496252  1451660 | 2147483647    70364    116 | 33.407 % |
121.91/122.09	c |     73002 |   80984   496252  1451660 | 2147483647    70486    116 | 33.407 % |
122.21/122.32	c |     73135 |   80980   496252  1451660 | 2147483647    70619    116 | 33.407 % |
122.32/122.48	c |     73282 |   80980   496252  1451660 | 2147483647    70766    116 | 33.407 % |
122.62/122.71	c |     73442 |   80980   496252  1451660 | 2147483647    70926    116 | 33.407 % |
122.72/122.88	c |     73618 |   80980   496252  1451660 | 2147483647    71102    116 | 33.407 % |
123.02/123.16	c |     73811 |   80980   496252  1451660 | 2147483647    71295    116 | 33.407 % |
123.31/123.45	c |     74028 |   80978   496252  1451660 | 2147483647    71510    116 | 33.412 % |
123.81/123.92	c |     74261 |   80976   496252  1451660 | 2147483647    71742    116 | 33.422 % |
124.32/124.48	c |     74517 |   80976   496252  1451660 | 2147483647    71998    117 | 33.422 % |
124.81/124.97	c |     74798 |   80974   496252  1451660 | 2147483647    72278    117 | 33.431 % |
125.32/125.46	c |     75108 |   80974   496252  1451660 | 2147483647    72588    117 | 33.431 % |
126.01/126.15	c |     75449 |   80922   495649  1450043 | 2147483647    72909    117 | 33.432 % |
126.91/127.04	c |     75821 |   80919   495649  1450043 | 2147483647    73278    117 | 33.437 % |
127.71/127.89	c |     76230 |   80913   495649  1450043 | 2147483647    73685    118 | 33.454 % |
128.62/128.71	c |     76684 |   80898   495649  1450043 | 2147483647    74134    118 | 33.484 % |
129.32/129.45	c |     77178 |   80898   495649  1450043 | 2147483647    74627    119 | 33.485 % |
130.42/130.50	c |     77723 |   80897   495649  1450043 | 2147483647    75172    120 | 33.485 % |
131.22/131.39	c |     78320 |   80897   495649  1450043 | 2147483647    75769    120 | 33.485 % |
132.51/132.69	c |     78975 |   80896   495649  1450043 | 2147483647    76423    121 | 33.522 % |
134.01/134.18	c |     79696 |   80893   495649  1450043 | 2147483647    77142    122 | 33.533 % |
135.51/135.66	c |     80488 |   80892   495649  1450043 | 2147483647    77932    121 | 33.535 % |
136.71/136.82	c |     81359 |   80891   495649  1450043 | 2147483647    78802    122 | 33.536 % |
138.11/138.27	c |     82320 |   80891   495649  1450043 | 2147483647    79763    123 | 33.536 % |
138.41/138.50	c |     82421 |   80796   494810  1447984 | 2147483647    79832    123 | 33.536 % |
138.51/138.65	c |     82531 |   80796   494810  1447984 | 2147483647    79942    123 | 33.536 % |
138.81/138.94	c |     82652 |   80796   494810  1447984 | 2147483647    80063    123 | 33.536 % |
139.11/139.22	c |     82785 |   80796   494810  1447984 | 2147483647    80196    123 | 33.536 % |
139.41/139.55	c |     82932 |   80789   494810  1447984 | 2147483647    80341    123 | 33.548 % |
139.62/139.78	c |     83092 |   80789   494810  1447984 | 2147483647    80501    123 | 33.548 % |
140.11/140.29	c |     83268 |   80788   494810  1447984 | 2147483647    80676    124 | 33.549 % |
140.51/140.67	c |     83461 |   80788   494810  1447984 | 2147483647    80869    124 | 33.549 % |
140.91/141.05	c |     83673 |   80786   494810  1447984 | 2147483647    81079    124 | 33.551 % |
141.31/141.42	c |     83906 |   80786   494810  1447984 | 2147483647    81312    124 | 33.551 % |
141.71/141.81	c |     84162 |   80786   494810  1447984 | 2147483647    81568    124 | 33.551 % |
142.01/142.13	c |     84445 |   80785   494810  1447984 | 2147483647    81850    124 | 33.558 % |
142.61/142.74	c |     84755 |   80784   494810  1447984 | 2147483647    82159    124 | 33.559 % |
143.11/143.23	c |     85095 |   80784   494810  1447984 | 2147483647    82499    124 | 33.559 % |
143.71/143.84	c |     85467 |   80784   494810  1447984 | 2147483647    82871    124 | 33.559 % |
144.11/144.28	c |     85876 |   80784   494810  1447984 | 2147483647    83280    124 | 33.559 % |
144.81/144.90	c |     86327 |   80781   494810  1447984 | 2147483647    83728    124 | 33.598 % |
145.61/145.75	c |     86820 |   80770   494810  1447984 | 2147483647    84221    124 | 33.598 % |
146.71/146.81	c |     87364 |   80767   494810  1447984 | 2147483647    84761    124 | 33.615 % |
147.50/147.61	c |     87960 |   80765   494810  1447984 | 2147483647    85355    124 | 33.624 % |
148.41/148.54	c |     88615 |   80764   494810  1447984 | 2147483647    86009    124 | 33.625 % |
149.51/149.63	c |     89337 |   80763   494810  1447984 | 2147483647    86730    124 | 33.625 % |
150.71/150.81	c |     90129 |   80687   493969  1445754 | 2147483647    87481    124 | 33.625 % |
152.00/152.11	c |     91003 |   80668   493969  1445754 | 2147483647    88350    124 | 33.647 % |
153.80/153.97	c |     91964 |   80668   493969  1445754 | 2147483647    89311    125 | 33.647 % |
156.00/156.17	c |     93017 |   80668   493969  1445754 | 2147483647    90364    127 | 33.647 % |
156.30/156.40	c |     93120 |   80668   493969  1445754 | 2147483647    90467    127 | 33.647 % |
156.40/156.55	c |     93233 |   80668   493969  1445754 | 2147483647    90580    127 | 33.647 % |
156.60/156.76	c |     93354 |   80668   493969  1445754 | 2147483647    90701    127 | 33.647 % |
156.90/157.03	c |     93487 |   80668   493969  1445754 | 2147483647    90834    127 | 33.647 % |
157.20/157.32	c |     93634 |   80667   493969  1445754 | 2147483647    90980    127 | 33.655 % |
157.70/157.81	c |     93799 |   80665   493969  1445754 | 2147483647    91143    127 | 33.657 % |
158.10/158.23	c |     93978 |   80665   493969  1445754 | 2147483647    91322    127 | 33.657 % |
158.40/158.55	c |     94171 |   80665   493969  1445754 | 2147483647    91515    127 | 33.657 % |
158.70/158.84	c |     94385 |   80665   493969  1445754 | 2147483647    91729    127 | 33.657 % |
159.10/159.25	c |     94618 |   80654   493969  1445754 | 2147483647    91961    127 | 33.693 % |
159.50/159.68	c |     94874 |   80654   493969  1445754 | 2147483647    92217    127 | 33.693 % |
159.90/160.09	c |     95156 |   80654   493969  1445754 | 2147483647    92499    127 | 33.693 % |
160.60/160.77	c |     95465 |   80620   493969  1445754 | 2147483647    92806    128 | 33.783 % |
161.20/161.33	c |     95804 |   80618   493969  1445754 | 2147483647    93144    128 | 33.789 % |
161.80/161.96	c |     96178 |   80618   493969  1445754 | 2147483647    93518    128 | 33.789 % |
162.40/162.54	c |     96589 |   80615   493969  1445754 | 2147483647    93928    128 | 34.169 % |
163.19/163.31	c |     97038 |   80615   493969  1445754 | 2147483647    94377    128 | 34.169 % |
164.09/164.25	c |     97532 |   80615   493969  1445754 | 2147483647    94871    129 | 34.169 % |
165.40/165.53	c |     98074 |   80025   491105  1439499 | 2147483647    95353    129 | 34.172 % |
166.29/166.46	c |     98672 |   80025   491105  1439499 | 2147483647    95951    129 | 34.172 % |
167.20/167.35	c |     99327 |   80025   491105  1439499 | 2147483647    96606    129 | 34.172 % |
168.39/168.52	c |    100047 |   80021   491105  1439499 | 2147483647    97324    129 | 34.186 % |
169.99/170.10	c |    100844 |   80021   491105  1439499 | 2147483647    98121    129 | 34.186 % |
171.69/171.80	c |    101719 |   80018   491105  1439499 | 2147483647    98993    130 | 34.242 % |
173.29/173.47	c |    102677 |   80016   491105  1439499 | 2147483647    99949    130 | 34.247 % |
175.19/175.39	c |    103730 |   80015   491105  1439499 | 2147483647   101002    131 | 34.247 % |
177.19/177.34	c |    104888 |   80015   491105  1439499 | 2147483647   102160    133 | 34.247 % |
177.39/177.56	c |    104988 |   80015   491105  1439499 | 2147483647   102260    133 | 34.247 % |
177.69/177.83	c |    105099 |   80015   491105  1439499 | 2147483647   102371    133 | 34.247 % |
177.99/178.17	c |    105220 |   80015   491105  1439499 | 2147483647   102492    133 | 34.247 % |
178.29/178.43	c |    105353 |   80015   491105  1439499 | 2147483647   102625    133 | 34.247 % |
178.49/178.62	c |    105499 |   80015   491105  1439499 | 2147483647   102771    133 | 34.247 % |
178.69/178.88	c |    105661 |   80015   491105  1439499 | 2147483647   102933    133 | 34.247 % |
179.09/179.22	c |    105837 |   80015   491105  1439499 | 2147483647   103109    133 | 34.247 % |
179.30/179.49	c |    106030 |   80007   491105  1439499 | 2147483647   103297    133 | 34.308 % |
179.89/180.09	c |    106242 |   79856   489367  1434790 | 2147483647   103337    133 | 34.309 % |
180.59/180.71	c |    106476 |   79856   489367  1434790 | 2147483647   103571    133 | 34.309 % |
181.09/181.28	c |    106733 |   79855   489367  1434790 | 2147483647   103827    133 | 34.310 % |
181.69/181.81	c |    107014 |   79846   489367  1434790 | 2147483647   104107    133 | 34.367 % |
182.39/182.56	c |    107324 |   79834   489367  1434790 | 2147483647   104415    133 | 34.376 % |
183.09/183.25	c |    107666 |   79753   489367  1434790 | 2147483647   104753    134 | 35.344 % |
183.79/183.91	c |    108042 |   79752   489367  1434790 | 2147483647   105128    134 | 35.345 % |
184.39/184.59	c |    108455 |   79752   489367  1434790 | 2147483647   105541    134 | 35.345 % |
185.29/185.46	c |    108904 |   79751   489367  1434790 | 2147483647   105989    134 | 35.354 % |
186.39/186.58	c |    109397 |   79750   489367  1434790 | 2147483647   106481    134 | 35.355 % |
187.29/187.49	c |    109939 |   79750   489367  1434790 | 2147483647   107023    135 | 35.355 % |
188.39/188.54	c |    110536 |   79747   489367  1434790 | 2147483647   107617    135 | 35.366 % |
189.49/189.62	c |    111191 |   79743   489367  1434790 | 2147483647   108268    135 | 35.373 % |
190.89/191.02	c |    111913 |   79697   489367  1434790 | 2147483647   108986    135 | 35.427 % |
191.99/192.11	c |    112705 |   79697   489367  1434790 | 2147483647   109778    136 | 35.427 % |
193.49/193.69	c |    113577 |   79697   489367  1434790 | 2147483647   110650    136 | 35.427 % |
194.99/195.14	c |    114536 |   79696   489367  1434790 | 2147483647   111608    135 | 35.431 % |
196.68/196.84	c |    115589 |   79693   489367  1434790 | 2147483647   112660    136 | 35.438 % |
199.59/199.74	c |    116748 |   78476   468063  1375649 | 2147483647   112230    137 | 35.444 % |
202.08/202.25	c |    118021 |   78472   468063  1375649 | 2147483647   113502    138 | 35.447 % |
202.28/202.46	c |    118124 |   78472   468063  1375649 | 2147483647   113605    138 | 35.447 % |
202.48/202.66	c |    118236 |   78471   468063  1375649 | 2147483647   113716    138 | 35.451 % |
202.68/202.86	c |    118357 |   78471   468063  1375649 | 2147483647   113837    138 | 35.451 % |
202.88/203.05	c |    118491 |   78471   468063  1375649 | 2147483647   113971    138 | 35.451 % |
203.08/203.27	c |    118637 |   78471   468063  1375649 | 2147483647   114117    138 | 35.451 % |
203.38/203.57	c |    118801 |   78471   468063  1375649 | 2147483647   114281    138 | 35.451 % |
203.68/203.83	c |    118978 |   78468   468063  1375649 | 2147483647   114457    138 | 35.454 % |
204.18/204.34	c |    119172 |   78468   468063  1375649 | 2147483647   114651    138 | 35.454 % |
204.58/204.76	c |    119384 |   78465   468063  1375649 | 2147483647   114861    138 | 35.463 % |
204.98/205.15	c |    119617 |   78465   468063  1375649 | 2147483647   115094    138 | 35.463 % |
205.48/205.67	c |    119873 |   78464   468063  1375649 | 2147483647   115349    138 | 35.464 % |
205.98/206.16	c |    120154 |   78464   468063  1375649 | 2147483647   115630    138 | 35.464 % |
206.68/206.88	c |    120466 |   78464   468063  1375649 | 2147483647   115942    138 | 35.464 % |
207.47/207.62	c |    120807 |   78463   468063  1375649 | 2147483647   116282    138 | 35.465 % |
207.98/208.17	c |    121179 |   78462   468063  1375649 | 2147483647   116653    138 | 35.518 % |
208.68/208.89	c |    121590 |   78461   468063  1375649 | 2147483647   117064    138 | 35.518 % |
209.88/210.06	c |    122039 |   78460   468063  1375649 | 2147483647   117512    138 | 35.526 % |
210.88/211.08	c |    122537 |   78459   468063  1375649 | 2147483647   118009    139 | 35.527 % |
211.98/212.14	c |    123079 |   78459   468063  1375649 | 2147483647   118550    139 | 35.528 % |
213.18/213.39	c |    123676 |   78458   468063  1375649 | 2147483647   119146    139 | 35.535 % |
214.48/214.67	c |    124331 |   78457   468063  1375649 | 2147483647   119800    139 | 35.535 % |
215.78/215.92	c |    125052 |   78448   468063  1375649 | 2147483647   120519    139 | 35.550 % |
217.27/217.45	c |    125846 |   78448   468063  1375649 | 2147483647   121313    140 | 35.550 % |
218.88/219.07	c |    126718 |   78447   468063  1375649 | 2147483647   122184    140 | 35.551 % |
221.38/221.58	c |    127677 |   78344   467253  1373687 | 2147483647   123060    141 | 35.553 % |
223.47/223.62	c |    128730 |   78343   467253  1373687 | 2147483647   124112    141 | 35.554 % |
225.77/225.99	c |    129888 |   78321   467253  1373687 | 2147483647   125267    141 | 35.588 % |
228.37/228.53	c |    131161 |   78298   467253  1373687 | 2147483647   126534    141 | 35.692 % |
231.77/231.94	c |    132561 |   78297   467253  1373687 | 2147483647   127933    142 | 35.694 % |
231.98/232.12	c |    132663 |   78297   467253  1373687 | 2147483647   128035    142 | 35.694 % |
232.17/232.38	c |    132775 |   78297   467253  1373687 | 2147483647   128147    142 | 35.694 % |
232.47/232.62	c |    132896 |   78297   467253  1373687 | 2147483647   128267    142 | 35.697 % |
232.87/233.03	c |    133030 |   78296   467253  1373687 | 2147483647   128400    142 | 35.698 % |
233.08/233.26	c |    133176 |   78296   467253  1373687 | 2147483647   128546    142 | 35.698 % |
233.47/233.62	c |    133340 |   78296   467253  1373687 | 2147483647   128710    142 | 35.698 % |
233.67/233.89	c |    133517 |   78296   467253  1373687 | 2147483647   128887    142 | 35.698 % |
233.97/234.12	c |    133711 |   78294   467253  1373687 | 2147483647   129080    142 | 35.704 % |
234.37/234.54	c |    133928 |   78294   467253  1373687 | 2147483647   129297    142 | 35.704 % |
234.77/234.96	c |    134161 |   78293   467253  1373687 | 2147483647   129529    142 | 35.705 % |
235.28/235.47	c |    134419 |   78293   467253  1373687 | 2147483647   129787    142 | 35.705 % |
236.07/236.21	c |    134702 |   78292   467253  1373687 | 2147483647   130069    142 | 35.709 % |
236.77/236.96	c |    135015 |   78292   467253  1373687 | 2147483647   130382    142 | 35.709 % |
237.67/237.80	c |    135357 |   78290   467253  1373687 | 2147483647   130721    142 | 35.750 % |
238.47/238.64	c |    135733 |   78286   467253  1373687 | 2147483647   131095    143 | 36.008 % |
239.17/239.35	c |    136143 |   78286   467253  1373687 | 2147483647   131505    143 | 36.008 % |
240.17/240.37	c |    136592 |   78286   467253  1373687 | 2147483647   131953    143 | 36.010 % |
241.17/241.30	c |    137086 |   78286   467253  1373687 | 2147483647   132447    143 | 36.010 % |
241.97/242.16	c |    137629 |   78285   467253  1373687 | 2147483647   132989    143 | 36.057 % |
242.97/243.14	c |    138225 |   78285   467253  1373687 | 2147483647   133585    143 | 36.057 % |
244.46/244.67	c |    138881 |   77731   459142  1351288 | 2147483647   134059    143 | 36.057 % |
245.96/246.13	c |    139603 |   77731   459142  1351288 | 2147483647   134781    144 | 36.057 % |
247.56/247.72	c |    140396 |   77730   459142  1351288 | 2147483647   135573    144 | 36.064 % |
249.45/249.63	c |    141277 |   77726   459142  1351288 | 2147483647   136452    144 | 36.065 % |
250.66/250.86	c |    142238 |   77726   459142  1351288 | 2147483647   137413    145 | 36.065 % |
252.86/253.02	c |    143291 |   77724   459142  1351288 | 2147483647   138463    145 | 36.068 % |
254.95/255.18	c |    144452 |   77723   459142  1351288 | 2147483647   139624    145 | 36.068 % |
257.76/257.95	c |    145725 |   77718   459142  1351288 | 2147483647   140893    145 | 36.083 % |
259.66/259.90	c |    147126 |   77713   459142  1351288 | 2147483647   142292    146 | 36.087 % |
262.65/262.82	c |    148668 |   77711   459142  1351288 | 2147483647   143832    148 | 36.103 % |
262.86/263.04	c |    148773 |   77711   459142  1351288 | 2147483647   143937    148 | 36.103 % |
262.95/263.19	c |    148890 |   77711   459142  1351288 | 2147483647   144054    148 | 36.103 % |
263.15/263.38	c |    149014 |   77711   459142  1351288 | 2147483647   144178    148 | 36.103 % |
263.45/263.69	c |    149147 |   77706   459142  1351288 | 2147483647   144310    148 | 36.110 % |
263.85/264.06	c |    149297 |   77699   459142  1351288 | 2147483647   144458    148 | 36.129 % |
264.35/264.54	c |    149459 |   77699   459142  1351288 | 2147483647   144620    148 | 36.129 % |
264.65/264.82	c |    149635 |   77699   459142  1351288 | 2147483647   144796    148 | 36.129 % |
265.15/265.36	c |    149830 |   77699   459142  1351288 | 2147483647   144991    148 | 36.129 % |
265.45/265.63	c |    150043 |   77699   459142  1351288 | 2147483647   145204    148 | 36.129 % |
265.95/266.10	c |    150278 |   77699   459142  1351288 | 2147483647   145439    148 | 36.129 % |
266.55/266.73	c |    150534 |   77699   459142  1351288 | 2147483647   145695    148 | 36.129 % |
267.35/267.50	c |    150817 |   77699   459142  1351288 | 2147483647   145978    148 | 36.129 % |
268.05/268.23	c |    151126 |   77698   459142  1351288 | 2147483647   146286    148 | 36.130 % |
268.75/268.97	c |    151468 |   77698   459142  1351288 | 2147483647   146628    148 | 36.130 % |
269.45/269.64	c |    151840 |   77698   459142  1351288 | 2147483647   147000    148 | 36.130 % |
270.06/270.20	c |    152249 |   77697   459142  1351288 | 2147483647   147408    148 | 36.176 % |
270.96/271.15	c |    152699 |   77697   459142  1351288 | 2147483647   147858    148 | 36.176 % |
272.25/272.41	c |    153192 |   77586   457909  1348065 | 2147483647   148012    149 | 36.176 % |
273.25/273.40	c |    153734 |   77586   457909  1348065 | 2147483647   148554    149 | 36.176 % |
274.55/274.71	c |    154332 |   77586   457909  1348065 | 2147483647   149152    149 | 36.176 % |
276.06/276.25	c |    154987 |   77580   457909  1348065 | 2147483647   149801    150 | 36.218 % |
277.85/278.03	c |    155708 |   77580   457909  1348065 | 2147483647   150522    150 | 36.218 % |
279.75/279.91	c |    156500 |   77579   457909  1348065 | 2147483647   151313    151 | 36.219 % |
281.25/281.49	c |    157372 |   77575   457909  1348065 | 2147483647   152183    151 | 36.231 % |
283.54/283.70	c |    158330 |   77574   457909  1348065 | 2147483647   153140    151 | 36.264 % |
284.76/284.96	c |    159384 |   77566   457909  1348065 | 2147483647   154193    151 | 36.272 % |
287.24/287.41	c |    160542 |   77566   457909  1348065 | 2147483647   155351    152 | 36.272 % |
290.24/290.47	c |    161819 |   77565   457909  1348065 | 2147483647   156627    152 | 36.279 % |
292.84/293.03	c |    163221 |   77565   457909  1348065 | 2147483647   158029    153 | 36.279 % |
295.84/296.05	c |    164767 |   77565   457909  1348065 | 2147483647   159575    153 | 36.279 % |
301.24/301.45	c |    166463 |   77565   457909  1348065 | 2147483647   161271    154 | 36.279 % |
301.44/301.64	c |    166563 |   77565   457909  1348065 | 2147483647   161371    154 | 36.279 % |
301.74/301.92	c |    166675 |   77565   457909  1348065 | 2147483647   161483    154 | 36.279 % |
302.04/302.28	c |    166797 |   77565   457909  1348065 | 2147483647   161605    154 | 36.279 % |
302.34/302.53	c |    166936 |   77565   457909  1348065 | 2147483647   161744    154 | 36.279 % |
302.84/303.01	c |    167082 |   77565   457909  1348065 | 2147483647   161890    154 | 36.279 % |
303.14/303.36	c |    167242 |   77565   457909  1348065 | 2147483647   162050    154 | 36.279 % |
303.44/303.63	c |    167419 |   77565   457909  1348065 | 2147483647   162227    155 | 36.279 % |
303.84/304.08	c |    167613 |   77565   457909  1348065 | 2147483647   162421    155 | 36.279 % |
304.43/304.63	c |    167825 |   77461   456981  1345602 | 2147483647   162548    155 | 36.279 % |
304.93/305.16	c |    168059 |   77461   456981  1345602 | 2147483647   162782    155 | 36.279 % |
305.53/305.74	c |    168317 |   77461   456981  1345602 | 2147483647   163040    155 | 36.279 % |
306.13/306.36	c |    168601 |   77461   456981  1345602 | 2147483647   163324    155 | 36.279 % |
306.74/306.91	c |    168911 |   77461   456981  1345602 | 2147483647   163634    155 | 36.279 % |
307.53/307.77	c |    169251 |   77461   456981  1345602 | 2147483647   163974    155 | 36.279 % |
308.23/308.42	c |    169623 |   77461   456981  1345602 | 2147483647   164346    155 | 36.279 % |
309.03/309.29	c |    170032 |   77461   456981  1345602 | 2147483647   164755    155 | 36.279 % |
310.43/310.60	c |    170487 |   77459   456981  1345602 | 2147483647   165207    155 | 36.298 % |
311.43/311.61	c |    170980 |   77453   456981  1345602 | 2147483647   165700    155 | 36.298 % |
312.73/312.97	c |    171524 |   77453   456981  1345602 | 2147483647   166244    156 | 36.298 % |
313.64/313.84	c |    172122 |   77453   456981  1345602 | 2147483647   166842    156 | 36.298 % |
315.14/315.33	c |    172777 |   77453   456981  1345602 | 2147483647   167497    156 | 36.298 % |
316.04/316.28	c |    173497 |   77453   456981  1345602 | 2147483647   168217    156 | 36.298 % |
318.23/318.43	c |    174289 |   77453   456981  1345602 | 2147483647   169009    156 | 36.298 % |
319.83/320.01	c |    175160 |   77452   456981  1345602 | 2147483647   169879    157 | 36.305 % |
321.53/321.75	c |    176118 |   77451   456981  1345602 | 2147483647   170834    156 | 36.321 % |
323.83/324.07	c |    177171 |   77449   456981  1345602 | 2147483647   171885    157 | 36.323 % |
326.23/326.41	c |    178329 |   77448   456981  1345602 | 2147483647   173042    157 | 36.324 % |
328.83/329.04	c |    179602 |   77448   456981  1345602 | 2147483647   174314    157 | 36.324 % |
331.52/331.77	c |    181002 |   77447   456981  1345602 | 2147483647   175714    158 | 36.324 % |
334.83/335.06	c |    182543 |   77447   456981  1345602 | 2147483647   177255    159 | 36.324 % |
338.62/338.84	c |    184239 |   77447   456981  1345602 | 2147483647   178951    160 | 36.324 % |
343.32/343.58	c |    186104 |   77385   456981  1345602 | 2147483647   180812    160 | 36.403 % |
343.62/343.86	c |    186206 |   77310   455772  1342415 | 2147483647   180430    160 | 36.403 % |
344.02/344.26	c |    186319 |   77310   455772  1342415 | 2147483647   180543    160 | 36.403 % |
344.13/344.35	c |    186440 |   77310   455772  1342415 | 2147483647   180664    160 | 36.403 % |
344.62/344.84	c |    186574 |   77309   455772  1342415 | 2147483647   180796    160 | 36.405 % |
345.02/345.20	c |    186720 |   77306   455772  1342415 | 2147483647   180941    160 | 36.418 % |
345.23/345.46	c |    186881 |   77306   455772  1342415 | 2147483647   181102    160 | 36.418 % |
345.62/345.87	c |    187058 |   77306   455772  1342415 | 2147483647   181279    160 | 36.418 % |
346.02/346.26	c |    187252 |   77306   455772  1342415 | 2147483647   181473    160 | 36.418 % |
346.43/346.66	c |    187465 |   77306   455772  1342415 | 2147483647   181686    160 | 36.418 % |
347.02/347.22	c |    187698 |   77306   455772  1342415 | 2147483647   181919    160 | 36.418 % |
347.42/347.65	c |    187954 |   77306   455772  1342415 | 2147483647   182175    160 | 36.418 % |
348.22/348.42	c |    188237 |   77306   455772  1342415 | 2147483647   182458    160 | 36.418 % |
349.02/349.27	c |    188547 |   77304   455772  1342415 | 2147483647   182767    160 | 36.425 % |
349.42/349.69	c |    188887 |   77304   455772  1342415 | 2147483647   183107    160 | 36.425 % |
349.82/350.03	c |    189259 |   77304   455772  1342415 | 2147483647   183479    160 | 36.425 % |
350.92/351.18	c |    189668 |   77303   455772  1342415 | 2147483647   183887    160 | 36.426 % |
351.82/352.07	c |    190120 |   77303   455772  1342415 | 2147483647   184339    160 | 36.426 % |
353.02/353.24	c |    190613 |   77303   455772  1342415 | 2147483647   184832    160 | 36.426 % |
354.31/354.55	c |    191155 |   77302   455772  1342415 | 2147483647   185373    161 | 36.523 % |
355.61/355.82	c |    191751 |   77302   455772  1342415 | 2147483647   185969    161 | 36.523 % |
357.12/357.32	c |    192406 |   77302   455772  1342415 | 2147483647   186623    161 | 36.531 % |
358.72/358.98	c |    193126 |   77302   455772  1342415 | 2147483647   187343    161 | 36.531 % |
360.31/360.54	c |    193924 |   77302   455772  1342415 | 2147483647   188141    162 | 36.531 % |
362.92/363.10	c |    194795 |   77299   455772  1342415 | 2147483647   189010    162 | 36.545 % |
365.02/365.28	c |    195754 |   77299   455772  1342415 | 2147483647   189969    163 | 36.545 % |
366.71/366.96	c |    196807 |   77299   455772  1342415 | 2147483647   191022    163 | 36.545 % |
369.31/369.50	c |    197967 |   77298   455772  1342415 | 2147483647   192181    164 | 36.546 % |
372.21/372.42	c |    199240 |   77298   455772  1342415 | 2147483647   193454    165 | 36.546 % |
375.72/375.95	c |    200640 |   77298   455772  1342415 | 2147483647   194854    166 | 36.546 % |
379.60/379.86	c |    202181 |   77298   455772  1342415 | 2147483647   196395    167 | 36.546 % |
383.60/383.82	c |    203875 |   77297   455772  1342415 | 2147483647   198088    167 | 36.546 % |
387.90/388.11	c |    205738 |   77296   455772  1342415 | 2147483647   199950    168 | 36.547 % |
393.20/393.47	c |    207788 |   77132   454559  1339394 | 2147483647   198389    169 | 36.550 % |
393.50/393.76	c |    207888 |   77132   454559  1339394 | 2147483647   198489    169 | 36.550 % |
393.80/394.03	c |    207998 |   77132   454559  1339394 | 2147483647   198599    169 | 36.550 % |
394.10/394.34	c |    208121 |   77132   454559  1339394 | 2147483647   198722    170 | 36.550 % |
394.50/394.70	c |    208258 |   77132   454559  1339394 | 2147483647   198859    170 | 36.550 % |
394.90/395.19	c |    208405 |   77132   454559  1339394 | 2147483647   199005    170 | 36.551 % |
395.30/395.58	c |    208565 |   77132   454559  1339394 | 2147483647   199165    170 | 36.551 % |
395.91/396.20	c |    208741 |   77132   454559  1339394 | 2147483647   199341    170 | 36.551 % |
396.70/396.95	c |    208940 |   77132   454559  1339394 | 2147483647   199540    170 | 36.551 % |
397.40/397.64	c |    209155 |   77132   454559  1339394 | 2147483647   199754    170 | 36.552 % |
398.00/398.25	c |    209388 |   77132   454559  1339394 | 2147483647   199987    170 | 36.552 % |
398.50/398.79	c |    209644 |   77132   454559  1339394 | 2147483647   200243    170 | 36.552 % |
399.10/399.32	c |    209927 |   77132   454559  1339394 | 2147483647   200526    170 | 36.552 % |
399.60/399.83	c |    210242 |   77132   454559  1339394 | 2147483647   200841    170 | 36.552 % |
400.10/400.31	c |    210583 |   77132   454559  1339394 | 2147483647   201182    170 | 36.552 % |
400.70/400.95	c |    210956 |   77132   454559  1339394 | 2147483647   201555    170 | 36.552 % |
401.70/401.97	c |    211367 |   77116   454559  1339394 | 2147483647   201965    170 | 36.702 % |
402.50/402.73	c |    211820 |   77116   454559  1339394 | 2147483647   202418    170 | 36.702 % |
403.50/403.73	c |    212313 |   77114   454559  1339394 | 2147483647   202910    170 | 36.710 % |
404.89/405.14	c |    212857 |   77108   454559  1339394 | 2147483647   203451    170 | 37.478 % |
406.09/406.37	c |    213454 |   77108   454559  1339394 | 2147483647   204048    170 | 37.478 % |
408.09/408.34	c |    214110 |   77106   454559  1339394 | 2147483647   204703    171 | 37.483 % |
409.69/409.90	c |    214830 |   77106   454559  1339394 | 2147483647   205423    171 | 37.483 % |
411.40/411.61	c |    215623 |   77105   454559  1339394 | 2147483647   206215    171 | 37.486 % |
413.20/413.43	c |    216494 |   77101   454559  1339394 | 2147483647   207082    171 | 37.497 % |
414.20/414.41	c |    217452 |   77101   454559  1339394 | 2147483647   208040    171 | 37.497 % |
416.70/416.94	c |    218506 |   77094   454559  1339394 | 2147483647   209091    171 | 37.568 % |
419.00/419.22	c |    219664 |   77093   454559  1339394 | 2147483647   210248    171 | 37.569 % |
422.89/423.17	c |    220937 |   77090   454559  1339394 | 2147483647   211520    172 | 37.576 % |
426.58/426.84	c |    222338 |   77090   454559  1339394 | 2147483647   212921    173 | 37.576 % |
429.77/430.07	c |    223878 |   77085   454559  1339394 | 2147483647   214460    173 | 37.581 % |
434.07/434.36	c |    225572 |   77077   454559  1339394 | 2147483647   216151    174 | 37.608 % |
438.97/439.26	c |    227437 |   77077   454559  1339394 | 2147483647   218016    174 | 37.608 % |
444.88/445.12	c |    229487 |   75811   437749  1292497 | 2147483647   213884    173 | 37.636 % |
449.58/449.82	c |    231746 |   75804   437749  1292497 | 2147483647   216138    173 | 37.663 % |
449.87/450.13	c |    231847 |   75804   437749  1292497 | 2147483647   216239    173 | 37.663 % |
450.17/450.43	c |    231957 |   75804   437749  1292497 | 2147483647   216349    173 | 37.663 % |
450.37/450.67	c |    232080 |   75803   437749  1292497 | 2147483647   216471    173 | 37.664 % |
450.57/450.85	c |    232213 |   75803   437749  1292497 | 2147483647   216604    173 | 37.664 % |
450.78/451.03	c |    232360 |   75803   437749  1292497 | 2147483647   216751    173 | 37.664 % |
450.97/451.23	c |    232522 |   75803   437749  1292497 | 2147483647   216913    173 | 37.664 % |
451.17/451.43	c |    232698 |   75803   437749  1292497 | 2147483647   217089    173 | 37.664 % |
451.47/451.74	c |    232891 |   75803   437749  1292497 | 2147483647   217282    173 | 37.664 % |
452.07/452.36	c |    233106 |   75803   437749  1292497 | 2147483647   217497    173 | 37.664 % |
452.67/452.97	c |    233339 |   75803   437749  1292497 | 2147483647   217730    173 | 37.664 % |
453.37/453.66	c |    233595 |   75803   437749  1292497 | 2147483647   217986    173 | 37.664 % |
453.87/454.13	c |    233876 |   75800   437749  1292497 | 2147483647   218266    173 | 37.670 % |
454.67/454.97	c |    234185 |   75798   437749  1292497 | 2147483647   218573    173 | 37.684 % |
455.57/455.85	c |    234526 |   75794   437749  1292497 | 2147483647   218914    173 | 37.684 % |
456.17/456.46	c |    234900 |   75794   437749  1292497 | 2147483647   219288    173 | 37.684 % |
457.38/457.66	c |    235309 |   75792   437749  1292497 | 2147483647   219695    173 | 37.686 % |
458.37/458.60	c |    235760 |   75792   437749  1292497 | 2147483647   220146    173 | 37.686 % |
459.27/459.58	c |    236254 |   75792   437749  1292497 | 2147483647   220640    173 | 37.686 % |
460.57/460.88	c |    236796 |   75792   437749  1292497 | 2147483647   221182    174 | 37.686 % |
461.77/462.05	c |    237392 |   75792   437749  1292497 | 2147483647   221777    174 | 37.690 % |
463.47/463.72	c |    238047 |   75792   437749  1292497 | 2147483647   222432    174 | 37.690 % |
465.17/465.43	c |    238767 |   75792   437749  1292497 | 2147483647   223152    174 | 37.690 % |
466.36/466.61	c |    239560 |   75792   437749  1292497 | 2147483647   223944    174 | 37.721 % |
467.97/468.23	c |    240432 |   75786   437749  1292497 | 2147483647   224816    174 | 37.721 % |
470.06/470.32	c |    241392 |   75783   437749  1292497 | 2147483647   225772    174 | 37.734 % |
472.45/472.72	c |    242446 |   75782   437749  1292497 | 2147483647   226826    174 | 37.734 % |
474.76/475.02	c |    243604 |   75782   437749  1292497 | 2147483647   227984    175 | 37.734 % |
477.26/477.59	c |    244877 |   75782   437749  1292497 | 2147483647   229256    175 | 37.734 % |
480.46/480.74	c |    246277 |   75780   437749  1292497 | 2147483647   230654    175 | 37.736 % |
484.36/484.69	c |    247817 |   75780   437749  1292497 | 2147483647   232194    176 | 37.736 % |
488.69/489.36	c |    249513 |   75780   437749  1292497 | 2147483647   233890    176 | 37.736 % |
493.49/494.19	c |    251376 |   75779   437749  1292497 | 2147483647   235752    177 | 37.737 % |
496.68/497.30	c |    253425 |   75775   437749  1292497 | 2147483647   237796    177 | 37.755 % |
502.09/502.75	c |    255683 |   75773   437749  1292497 | 2147483647   240053    177 | 37.762 % |
508.88/509.56	c |    258161 |   75657   436742  1289863 | 2147483647   242394    178 | 37.772 % |
509.18/509.83	c |    258261 |   75657   436742  1289863 | 2147483647   242494    178 | 37.772 % |
509.38/510.07	c |    258374 |   75657   436742  1289863 | 2147483647   242607    178 | 37.772 % |
509.79/510.44	c |    258496 |   75657   436742  1289863 | 2147483647   242729    178 | 37.772 % |
510.08/510.79	c |    258633 |   75656   436742  1289863 | 2147483647   242865    178 | 37.773 % |
510.68/511.33	c |    258779 |   75656   436742  1289863 | 2147483647   243011    178 | 37.773 % |
511.18/511.82	c |    258940 |   75656   436742  1289863 | 2147483647   243172    178 | 37.773 % |
511.68/512.39	c |    259116 |   75656   436742  1289863 | 2147483647   243348    178 | 37.773 % |
512.28/512.97	c |    259311 |   75656   436742  1289863 | 2147483647   243543    178 | 37.773 % |
512.88/513.55	c |    259525 |   75656   436742  1289863 | 2147483647   243757    178 | 37.773 % |
513.48/514.19	c |    259763 |   75656   436742  1289863 | 2147483647   243995    178 | 37.773 % |
514.47/515.19	c |    260021 |   75654   436742  1289863 | 2147483647   244250    178 | 37.808 % |
515.17/515.83	c |    260302 |   75654   436742  1289863 | 2147483647   244531    178 | 37.808 % |
516.07/516.73	c |    260611 |   75653   436742  1289863 | 2147483647   244839    178 | 37.809 % |
516.97/517.65	c |    260950 |   75653   436742  1289863 | 2147483647   245178    179 | 37.809 % |
518.07/518.79	c |    261326 |   75653   436742  1289863 | 2147483647   245554    179 | 37.809 % |
518.98/519.62	c |    261737 |   75653   436742  1289863 | 2147483647   245965    179 | 37.809 % |
520.17/520.87	c |    262187 |   75653   436742  1289863 | 2147483647   246413    179 | 37.815 % |
521.77/522.41	c |    262682 |   75653   436742  1289863 | 2147483647   246908    179 | 37.815 % |
522.67/523.35	c |    263224 |   75653   436742  1289863 | 2147483647   247450    179 | 37.815 % |
523.97/524.67	c |    263823 |   75653   436742  1289863 | 2147483647   248049    179 | 37.815 % |
525.77/526.44	c |    264481 |   75653   436742  1289863 | 2147483647   248707    179 | 37.815 % |
527.74/528.48	c |    265203 |   75653   436742  1289863 | 2147483647   249429    179 | 37.815 % |
530.13/530.81	c |    265995 |   75649   436742  1289863 | 2147483647   250220    179 | 37.848 % |
532.63/533.36	c |    266868 |   75643   436742  1289863 | 2147483647   251089    179 | 37.901 % |
534.64/535.31	c |    267826 |   75643   436742  1289863 | 2147483647   252047    179 | 37.901 % |
537.43/538.14	c |    268880 |   75643   436742  1289863 | 2147483647   253101    179 | 37.901 % |
540.93/541.61	c |    270039 |   75643   436742  1289863 | 2147483647   254260    180 | 37.901 % |
544.63/545.33	c |    271314 |   75642   436742  1289863 | 2147483647   255534    180 | 37.914 % |
548.33/549.02	c |    272717 |   75642   436742  1289863 | 2147483647   256935    180 | 37.919 % |
552.53/553.29	c |    274262 |   75640   436742  1289863 | 2147483647   258476    180 | 37.932 % |
557.33/558.09	c |    275956 |   75640   436742  1289863 | 2147483647   260170    180 | 37.932 % |
562.72/563.43	c |    277819 |   75637   436742  1289863 | 2147483647   262031    181 | 37.938 % |
568.91/569.67	c |    279873 |   75637   436742  1289863 | 2147483647   264085    181 | 37.938 % |
575.42/576.19	c |    282128 |   75442   435276  1286011 | 2147483647   266190    182 | 37.940 % |
582.21/582.93	c |    284610 |   75440   435276  1286011 | 2147483647   268670    182 | 37.945 % |
589.91/590.68	c |    287337 |   75432   435276  1286011 | 2147483647   271389    182 | 38.081 % |
590.21/590.95	c |    287438 |   75432   435276  1286011 | 2147483647   271490    182 | 38.081 % |
590.51/591.24	c |    287548 |   75432   435276  1286011 | 2147483647   271600    182 | 38.081 % |
590.81/591.55	c |    287669 |   75432   435276  1286011 | 2147483647   271721    182 | 38.081 % |
591.21/591.96	c |    287802 |   75432   435276  1286011 | 2147483647   271854    182 | 38.081 % |
591.71/592.46	c |    287951 |   75432   435276  1286011 | 2147483647   272003    182 | 38.081 % |
592.21/592.93	c |    288112 |   75432   435276  1286011 | 2147483647   272164    182 | 38.081 % |
592.81/593.53	c |    288288 |   75432   435276  1286011 | 2147483647   272340    182 | 38.081 % |
593.41/594.14	c |    288481 |   75432   435276  1286011 | 2147483647   272533    182 | 38.081 % |
594.00/594.74	c |    288694 |   75432   435276  1286011 | 2147483647   272746    182 | 38.081 % |
594.61/595.32	c |    288928 |   75432   435276  1286011 | 2147483647   272980    182 | 38.081 % |
595.31/596.08	c |    289185 |   75432   435276  1286011 | 2147483647   273237    182 | 38.081 % |
596.01/596.77	c |    289469 |   75432   435276  1286011 | 2147483647   273521    182 | 38.081 % |
596.81/597.59	c |    289778 |   75432   435276  1286011 | 2147483647   273830    182 | 38.081 % |
597.91/598.69	c |    290118 |   75431   435276  1286011 | 2147483647   274169    182 | 38.091 % |
598.81/599.55	c |    290491 |   75431   435276  1286011 | 2147483647   274542    182 | 38.091 % |
600.11/600.82	c |    290904 |   75431   435276  1286011 | 2147483647   274955    182 | 38.091 % |
601.61/602.33	c |    291355 |   75431   435276  1286011 | 2147483647   275406    182 | 38.091 % |
603.21/603.99	c |    291851 |   75431   435276  1286011 | 2147483647   275902    182 | 38.091 % |
604.70/605.43	c |    292394 |   75431   435276  1286011 | 2147483647   276445    182 | 38.091 % |
606.50/607.22	c |    292993 |   75431   435276  1286011 | 2147483647   277044    182 | 38.091 % |
608.19/608.90	c |    293657 |   75426   435276  1286011 | 2147483647   277706    182 | 38.106 % |
610.58/611.37	c |    294378 |   75422   435276  1286011 | 2147483647   278424    182 | 38.117 % |
613.18/613.99	c |    295170 |   75408   435276  1286011 | 2147483647   279215    182 | 38.153 % |
615.27/616.05	c |    296041 |   75408   435276  1286011 | 2147483647   280086    182 | 38.153 % |
618.68/619.41	c |    297000 |   75408   435276  1286011 | 2147483647   281045    183 | 38.153 % |
621.67/622.43	c |    298055 |   75405   435276  1286011 | 2147483647   282097    183 | 38.161 % |
625.47/626.28	c |    299215 |   75405   435276  1286011 | 2147483647   283255    183 | 38.200 % |
628.96/629.74	c |    300488 |   75403   435276  1286011 | 2147483647   284527    183 | 38.209 % |
632.67/633.45	c |    301889 |   75401   435276  1286011 | 2147483647   285926    183 | 38.211 % |
636.77/637.51	c |    303429 |   75401   435276  1286011 | 2147483647   287465    183 | 38.213 % |
641.96/642.72	c |    305124 |   75394   435276  1286011 | 2147483647   289156    184 | 38.222 % |
646.36/647.20	c |    306988 |   75393   435276  1286011 | 2147483647   291018    184 | 38.224 % |
652.46/653.26	c |    309038 |   75096   433131  1280493 | 2147483647   292916    184 | 38.225 % |
658.56/659.38	c |    311294 |   75092   433131  1280493 | 2147483647   295168    184 | 38.248 % |
666.96/667.75	c |    313774 |   75092   433131  1280493 | 2147483647   297647    185 | 38.255 % |
675.36/676.19	c |    316502 |   75083   433131  1280493 | 2147483647   300368    185 | 38.416 % |
683.75/684.52	c |    319499 |   75080   433131  1280493 | 2147483647   303363    185 | 38.423 % |
684.15/684.94	c |    319601 |   75080   433131  1280493 | 2147483647   303465    185 | 38.423 % |
684.55/685.32	c |    319712 |   75080   433131  1280493 | 2147483647   303576    185 | 38.423 % |
684.85/685.61	c |    319836 |   75080   433131  1280493 | 2147483647   303700    185 | 38.423 % |
685.25/686.06	c |    319969 |   75080   433131  1280493 | 2147483647   303833    185 | 38.423 % |
685.65/686.43	c |    320118 |   75080   433131  1280493 | 2147483647   303982    185 | 38.423 % |
686.15/686.91	c |    320284 |   75080   433131  1280493 | 2147483647   304148    185 | 38.423 % |
686.66/687.41	c |    320461 |   75080   433131  1280493 | 2147483647   304325    185 | 38.423 % |
687.25/688.08	c |    320655 |   75080   433131  1280493 | 2147483647   304519    185 | 38.423 % |
687.86/688.68	c |    320868 |   75080   433131  1280493 | 2147483647   304732    185 | 38.423 % |
688.65/689.47	c |    321105 |   75080   433131  1280493 | 2147483647   304969    186 | 38.423 % |
689.85/690.69	c |    321364 |   75079   433131  1280493 | 2147483647   305227    186 | 38.425 % |
690.95/691.76	c |    321647 |   75079   433131  1280493 | 2147483647   305510    186 | 38.425 % |
692.35/693.13	c |    321957 |   75079   433131  1280493 | 2147483647   305820    186 | 38.425 % |
693.45/694.22	c |    322296 |   75078   433131  1280493 | 2147483647   306158    186 | 38.431 % |
694.24/695.07	c |    322668 |   75078   433131  1280493 | 2147483647   306530    186 | 38.431 % |
695.44/696.24	c |    323077 |   75078   433131  1280493 | 2147483647   306939    186 | 38.431 % |
696.64/697.49	c |    323529 |   75078   433131  1280493 | 2147483647   307391    186 | 38.431 % |
697.74/698.57	c |    324022 |   75078   433131  1280493 | 2147483647   307884    186 | 38.431 % |
699.95/700.71	c |    324564 |   75078   433131  1280493 | 2147483647   308426    186 | 38.431 % |
701.74/702.57	c |    325160 |   75078   433131  1280493 | 2147483647   309021    186 | 38.439 % |
703.24/704.04	c |    325816 |   75078   433131  1280493 | 2147483647   309677    186 | 38.439 % |
705.34/706.10	c |    326537 |   75053   433131  1280493 | 2147483647   310397    186 | 38.852 % |
708.03/708.80	c |    327331 |   75053   433131  1280493 | 2147483647   311190    187 | 38.894 % |
710.84/711.62	c |    328204 |   75052   433131  1280493 | 2147483647   312061    187 | 38.902 % |
713.84/714.64	c |    329162 |   75052   433131  1280493 | 2147483647   313019    187 | 38.902 % |
716.74/717.51	c |    330215 |   75052   433131  1280493 | 2147483647   314072    187 | 38.902 % |
721.03/721.84	c |    331373 |   75052   433131  1280493 | 2147483647   315229    187 | 38.903 % |
724.73/725.53	c |    332646 |   75052   433131  1280493 | 2147483647   316501    186 | 38.904 % |
729.54/730.31	c |    334046 |   75052   433131  1280493 | 2147483647   317901    187 | 38.904 % |
734.33/735.19	c |    335587 |   75052   433131  1280493 | 2147483647   319442    187 | 38.904 % |
739.32/740.16	c |    337282 |   74270   427177  1264394 | 2147483647   319285    187 | 38.904 % |
743.33/744.16	c |    339145 |   74269   427177  1264394 | 2147483647   321147    187 | 38.912 % |
749.52/750.36	c |    341196 |   74267   427177  1264394 | 2147483647   323197    188 | 38.912 % |
756.22/757.02	c |    343449 |   74265   427177  1264394 | 2147483647   325447    188 | 39.024 % |
763.73/764.50	c |    345930 |   74263   427177  1264394 | 2147483647   327924    188 | 39.029 % |
772.52/773.39	c |    348655 |   74263   427177  1264394 | 2147483647   330649    188 | 39.029 % |
782.71/783.56	c |    351653 |   74260   427177  1264394 | 2147483647   333645    189 | 39.036 % |
793.60/794.47	c |    354949 |   74256   427177  1264394 | 2147483647   336937    189 | 39.054 % |
793.90/794.76	c |    355049 |   74256   427177  1264394 | 2147483647   337037    189 | 39.054 % |
794.30/795.19	c |    355160 |   74256   427177  1264394 | 2147483647   337148    189 | 39.054 % |
794.80/795.67	c |    355281 |   74256   427177  1264394 | 2147483647   337269    189 | 39.054 % |
795.30/796.13	c |    355414 |   74256   427177  1264394 | 2147483647   337402    189 | 39.054 % |
795.70/796.58	c |    355560 |   74256   427177  1264394 | 2147483647   337548    189 | 39.054 % |
796.20/797.03	c |    355720 |   74255   427177  1264394 | 2147483647   337707    189 | 39.055 % |
796.60/797.46	c |    355897 |   74255   427177  1264394 | 2147483647   337884    190 | 39.055 % |
797.10/797.97	c |    356091 |   74255   427177  1264394 | 2147483647   338078    190 | 39.055 % |
797.60/798.44	c |    356305 |   74255   427177  1264394 | 2147483647   338292    190 | 39.055 % |
798.31/799.18	c |    356538 |   74255   427177  1264394 | 2147483647   338525    190 | 39.055 % |
799.10/799.98	c |    356797 |   74255   427177  1264394 | 2147483647   338784    190 | 39.055 % |
800.11/800.96	c |    357078 |   74255   427177  1264394 | 2147483647   339065    190 | 39.055 % |
801.60/802.42	c |    357388 |   74255   427177  1264394 | 2147483647   339375    190 | 39.055 % |
802.60/803.48	c |    357731 |   74255   427177  1264394 | 2147483647   339718    190 | 39.055 % |
804.30/805.11	c |    358105 |   74254   427177  1264394 | 2147483647   340091    190 | 39.055 % |
805.60/806.43	c |    358515 |   74254   427177  1264394 | 2147483647   340501    190 | 39.055 % |
807.20/808.02	c |    358969 |   74253   427177  1264394 | 2147483647   340954    190 | 39.067 % |
808.60/809.49	c |    359465 |   74253   427177  1264394 | 2147483647   341449    190 | 39.101 % |
810.30/811.18	c |    360011 |   74253   427177  1264394 | 2147483647   341995    190 | 39.101 % |
812.59/813.41	c |    360607 |   74253   427177  1264394 | 2147483647   342591    190 | 39.101 % |
814.79/815.62	c |    361263 |   74253   427177  1264394 | 2147483647   343246    190 | 39.102 % |
817.60/818.47	c |    361983 |   74250   427177  1264394 | 2147483647   343962    190 | 39.116 % |
820.09/820.97	c |    362780 |   74247   427177  1264394 | 2147483647   344756    190 | 39.119 % |
822.99/823.89	c |    363651 |   74247   427177  1264394 | 2147483647   345627    190 | 39.119 % |
825.89/826.77	c |    364610 |   74244   427177  1264394 | 2147483647   346585    190 | 39.127 % |
829.19/830.07	c |    365663 |   74243   427177  1264394 | 2147483647   347636    190 | 39.161 % |
832.77/833.69	c |    366822 |   74241   427177  1264394 | 2147483647   348792    190 | 39.172 % |
837.47/838.32	c |    368100 |   74241   427177  1264394 | 2147483647   350070    190 | 39.172 % |
842.87/843.73	c |    369501 |   73943   425136  1258994 | 2147483647   351278    191 | 39.175 % |
847.86/848.80	c |    371041 |   73942   425136  1258994 | 2147483647   352817    191 | 39.177 % |
852.16/853.04	c |    372735 |   73938   425136  1258994 | 2147483647   354508    190 | 39.186 % |
858.46/859.36	c |    374600 |   73938   425136  1258994 | 2147483647   356373    191 | 39.186 % |
865.05/865.94	c |    376650 |   73932   425136  1258994 | 2147483647   358421    191 | 39.199 % |
872.25/873.19	c |    378903 |   73931   425136  1258994 | 2147483647   360673    191 | 39.200 % |
881.45/882.39	c |    381381 |   73929   425136  1258994 | 2147483647   363148    191 | 39.227 % |
889.34/890.27	c |    384106 |   73925   425136  1258994 | 2147483647   365869    192 | 39.300 % |
899.04/899.98	c |    387106 |   73925   425136  1258994 | 2147483647   368867    192 | 39.301 % |
911.23/912.12	c |    390406 |   73921   425136  1258994 | 2147483647   372161    192 | 39.320 % |
922.73/923.68	c |    394033 |   73918   425136  1258994 | 2147483647   375786    193 | 39.328 % |
923.03/923.97	c |    394134 |   73918   425136  1258994 | 2147483647   375887    193 | 39.328 % |
923.43/924.38	c |    394247 |   73918   425136  1258994 | 2147483647   376000    193 | 39.328 % |
923.83/924.78	c |    394370 |   73918   425136  1258994 | 2147483647   376123    193 | 39.328 % |
924.23/925.13	c |    394503 |   73918   425136  1258994 | 2147483647   376256    193 | 39.328 % |
924.72/925.64	c |    394650 |   73918   425136  1258994 | 2147483647   376403    193 | 39.328 % |
925.33/926.22	c |    394813 |   73918   425136  1258994 | 2147483647   376566    193 | 39.328 % |
926.02/926.91	c |    394989 |   73918   425136  1258994 | 2147483647   376742    193 | 39.328 % |
926.82/927.71	c |    395184 |   73918   425136  1258994 | 2147483647   376937    193 | 39.328 % |
927.42/928.31	c |    395396 |   73918   425136  1258994 | 2147483647   377149    193 | 39.328 % |
927.62/928.59	c |    395629 |   73918   425136  1258994 | 2147483647   377382    193 | 39.328 % |
928.42/929.39	c |    395887 |   73918   425136  1258994 | 2147483647   377640    193 | 39.328 % |
929.73/930.69	c |    396172 |   73918   425136  1258994 | 2147483647   377925    193 | 39.328 % |
931.02/931.99	c |    396485 |   73918   425136  1258994 | 2147483647   378238    193 | 39.328 % |
932.22/933.15	c |    396827 |   73918   425136  1258994 | 2147483647   378580    193 | 39.328 % |
933.52/934.43	c |    397201 |   73918   425136  1258994 | 2147483647   378954    193 | 39.328 % |
934.92/935.80	c |    397610 |   73917   425136  1258994 | 2147483647   379362    193 | 39.341 % |
936.51/937.47	c |    398059 |   73917   425136  1258994 | 2147483647   379810    193 | 39.343 % |
938.62/939.55	c |    398552 |   73917   425136  1258994 | 2147483647   380303    194 | 39.343 % |
940.42/941.32	c |    399095 |   73913   425136  1258994 | 2147483647   380844    194 | 39.361 % |
942.72/943.65	c |    399691 |   73911   425136  1258994 | 2147483647   381438    194 | 39.375 % |
945.12/946.07	c |    400346 |   73910   425136  1258994 | 2147483647   382091    194 | 39.481 % |
948.02/948.90	c |    401066 |   73910   425136  1258994 | 2147483647   382811    194 | 39.481 % |
950.11/951.08	c |    401861 |   73910   425136  1258994 | 2147483647   383606    194 | 39.481 % |
951.61/952.58	c |    402732 |   73910   425136  1258994 | 2147483647   384477    194 | 39.481 % |
954.91/955.85	c |    403691 |   73910   425136  1258994 | 2147483647   385436    194 | 39.481 % |
958.61/959.56	c |    404745 |   73909   425136  1258994 | 2147483647   386489    194 | 39.487 % |
961.71/962.66	c |    405911 |   73909   425136  1258994 | 2147483647   387655    194 | 39.487 % |
965.40/966.38	c |    407188 |   73560   421686  1249404 | 2147483647   380549    193 | 39.488 % |
969.60/970.54	c |    408588 |   73557   421686  1249404 | 2147483647   381946    194 | 39.496 % |
974.90/975.89	c |    410128 |   73557   421686  1249404 | 2147483647   383486    194 | 39.496 % |
980.99/981.96	c |    411824 |   73554   421686  1249404 | 2147483647   385178    194 | 39.535 % |
987.49/988.41	c |    413694 |   73542   421686  1249404 | 2147483647   387045    194 | 39.554 % |
993.39/994.40	c |    415744 |   73541   421686  1249404 | 2147483647   389094    194 | 39.559 % |
1000.09/1001.05	c |    418000 |   73541   421686  1249404 | 2147483647   391348    194 | 39.578 % |
1007.99/1008.95	c |    420483 |   73540   421686  1249404 | 2147483647   393830    195 | 39.579 % |
1017.39/1018.33	c |    423208 |   73533   421686  1249404 | 2147483647   396550    195 | 39.589 % |
1028.78/1029.78	c |    426207 |   73528   421686  1249404 | 2147483647   399547    195 | 39.629 % |
1042.98/1043.95	c |    429505 |   73526   421686  1249404 | 2147483647   402843    196 | 39.630 % |
1056.96/1057.95	c |    433133 |   73520   421686  1249404 | 2147483647   406466    196 | 39.712 % |
1069.95/1070.93	c |    437120 |   73517   421686  1249404 | 2147483647   410449    196 | 39.723 % |
1070.35/1071.39	c |    437221 |   73517   421686  1249404 | 2147483647   410550    196 | 39.723 % |
1070.86/1071.81	c |    437331 |   73516   421686  1249404 | 2147483647   410659    196 | 39.724 % |
1071.46/1072.43	c |    437455 |   73516   421686  1249404 | 2147483647   410783    196 | 39.724 % |
1072.06/1073.04	c |    437591 |   73516   421686  1249404 | 2147483647   410919    196 | 39.724 % |
1072.46/1073.46	c |    437739 |   73516   421686  1249404 | 2147483647   411067    196 | 39.724 % |
1073.46/1074.49	c |    437902 |   73513   421686  1249404 | 2147483647   411228    196 | 39.730 % |
1074.25/1075.27	c |    438078 |   73513   421686  1249404 | 2147483647   411404    196 | 39.730 % |
1074.86/1075.84	c |    438271 |   73513   421686  1249404 | 2147483647   411597    196 | 39.730 % |
1075.75/1076.73	c |    438483 |   73511   421686  1249404 | 2147483647   411808    196 | 39.737 % |
1076.35/1077.36	c |    438716 |   73511   421686  1249404 | 2147483647   412041    196 | 39.737 % |
1077.06/1078.04	c |    438972 |   73511   421686  1249404 | 2147483647   412297    196 | 39.737 % |
1078.06/1079.01	c |    439253 |   73511   421686  1249404 | 2147483647   412578    196 | 39.737 % |
1079.16/1080.10	c |    439562 |   73511   421686  1249404 | 2147483647   412887    196 | 39.737 % |
1080.56/1081.50	c |    439902 |   73511   421686  1249404 | 2147483647   413226    196 | 39.792 % |
1082.06/1083.01	c |    440277 |   73511   421686  1249404 | 2147483647   413601    196 | 39.792 % |
1083.35/1084.38	c |    440687 |   73511   421686  1249404 | 2147483647   414011    196 | 39.792 % |
1084.65/1085.60	c |    441136 |   73510   421686  1249404 | 2147483647   414459    196 | 39.793 % |
1085.96/1086.91	c |    441629 |   73510   421686  1249404 | 2147483647   414951    196 | 39.793 % |
1087.95/1088.94	c |    442171 |   73508   421686  1249404 | 2147483647   415492    196 | 39.800 % |
1089.95/1090.92	c |    442767 |   73508   421686  1249404 | 2147483647   416087    196 | 39.806 % |
1091.85/1092.82	c |    443423 |   73508   421686  1249404 | 2147483647   416743    196 | 39.806 % |
1094.85/1095.85	c |    444143 |   73508   421686  1249404 | 2147483647   417463    197 | 39.806 % |
1097.15/1098.19	c |    444935 |   73508   421686  1249404 | 2147483647   418255    197 | 39.806 % |
1099.74/1100.77	c |    445807 |   73506   421686  1249404 | 2147483647   419125    197 | 39.813 % |
1104.34/1105.34	c |    446767 |   72593   410957  1219672 | 2147483647   402379    196 | 40.284 % |
1108.64/1109.62	c |    447821 |   72593   410957  1219672 | 2147483647   403433    196 | 40.284 % |
1113.04/1114.02	c |    448981 |   72590   410957  1219672 | 2147483647   404592    196 | 40.290 % |
1118.24/1119.28	c |    450255 |   72590   410957  1219672 | 2147483647   405866    196 | 40.290 % |
1124.03/1125.07	c |    451656 |   72589   410957  1219672 | 2147483647   407266    196 | 40.291 % |
1128.33/1129.38	c |    453198 |   72589   410957  1219672 | 2147483647   408807    197 | 40.292 % |
1135.33/1136.35	c |    454896 |   72587   410957  1219672 | 2147483647   410503    197 | 40.300 % |
1141.73/1142.71	c |    456759 |   72584   410957  1219672 | 2147483647   412362    197 | 40.323 % |
1148.53/1149.58	c |    458809 |   72581   410957  1219672 | 2147483647   414410    197 | 40.337 % |
1159.32/1160.33	c |    461065 |   72581   410957  1219672 | 2147483647   416666    198 | 40.337 % |
1168.01/1169.00	c |    463548 |   72580   410957  1219672 | 2147483647   419148    198 | 40.344 % |
1177.51/1178.56	c |    466273 |   72580   410957  1219672 | 2147483647   421872    198 | 40.345 % |
1188.61/1189.68	c |    469270 |   72579   410957  1219672 | 2147483647   424867    199 | 40.416 % |
1198.90/1199.91	c |    472567 |   72576   410957  1219672 | 2147483647   428162    199 | 40.426 % |
1214.08/1215.11	c |    476201 |   72547   410957  1219672 | 2147483647   431790    199 | 40.547 % |
1224.08/1225.18	c |    480189 |   72547   410957  1219672 | 2147483647   435778    200 | 40.547 % |
1242.48/1243.54	c |    484579 |   72544   410957  1219672 | 2147483647   440163    200 | 40.580 % |
1242.88/1243.95	c |    484679 |   72544   410957  1219672 | 2147483647   440263    200 | 40.580 % |
1243.58/1244.60	c |    484793 |   72542   410957  1219672 | 2147483647   440376    200 | 40.716 % |
1244.08/1245.14	c |    484917 |   72542   410957  1219672 | 2147483647   440500    200 | 40.716 % |
1244.48/1245.52	c |    485050 |   72542   410957  1219672 | 2147483647   440633    200 | 40.716 % |
1245.08/1246.16	c |    485196 |   72542   410957  1219672 | 2147483647   440779    200 | 40.716 % |
1245.58/1246.66	c |    485359 |   72542   410957  1219672 | 2147483647   440942    200 | 40.716 % |
1246.18/1247.30	c |    485535 |   72542   410957  1219672 | 2147483647   441118    200 | 40.716 % |
1246.97/1248.07	c |    485728 |   72542   410957  1219672 | 2147483647   441311    200 | 40.716 % |
1247.87/1248.94	c |    485942 |   72542   410957  1219672 | 2147483647   441525    200 | 40.716 % |
1248.97/1250.06	c |    486177 |   72542   410957  1219672 | 2147483647   441760    200 | 40.716 % |
1249.97/1251.04	c |    486434 |   72542   410957  1219672 | 2147483647   442017    200 | 40.716 % |
1251.47/1252.52	c |    486715 |   72542   410957  1219672 | 2147483647   442298    200 | 40.716 % |
1252.57/1253.64	c |    487026 |   72540   410957  1219672 | 2147483647   442608    200 | 40.724 % |
1253.77/1254.88	c |    487372 |   72539   410957  1219672 | 2147483647   442953    200 | 40.725 % |
1255.47/1256.56	c |    487746 |   72539   410957  1219672 | 2147483647   443327    200 | 40.725 % |
1257.27/1258.40	c |    488157 |   72057   405213  1203766 | 2147483647   438987    200 | 40.725 % |
1258.47/1259.58	c |    488606 |   72057   405213  1203766 | 2147483647   439436    200 | 40.725 % |
1260.17/1261.27	c |    489100 |   72057   405213  1203766 | 2147483647   439930    200 | 40.725 % |
1261.77/1262.89	c |    489644 |   72057   405213  1203766 | 2147483647   440474    200 | 40.725 % |
1263.87/1264.96	c |    490240 |   72057   405213  1203766 | 2147483647   441070    200 | 40.725 % |
1266.56/1267.66	c |    490897 |   72055   405213  1203766 | 2147483647   441725    200 | 40.736 % |
1270.96/1272.00	c |    491621 |   72055   405213  1203766 | 2147483647   442449    200 | 40.736 % |
1273.16/1274.27	c |    492413 |   72055   405213  1203766 | 2147483647   443241    200 | 40.736 % |
1277.66/1278.72	c |    493284 |   72054   405213  1203766 | 2147483647   444110    201 | 40.738 % |
1281.15/1282.22	c |    494242 |   72054   405213  1203766 | 2147483647   445068    200 | 40.738 % |
1285.45/1286.57	c |    495295 |   72054   405213  1203766 | 2147483647   446121    201 | 40.738 % |
1289.65/1290.76	c |    496455 |   72054   405213  1203766 | 2147483647   447281    201 | 40.738 % |
1292.94/1294.06	c |    497730 |   72052   405213  1203766 | 2147483647   448554    201 | 40.763 % |
1297.65/1298.77	c |    499137 |   72050   405213  1203766 | 2147483647   449958    201 | 41.064 % |
1304.04/1305.19	c |    500680 |   72050   405213  1203766 | 2147483647   451501    201 | 41.064 % |
1311.24/1312.32	c |    502375 |   72050   405213  1203766 | 2147483647   453196    202 | 41.064 % |
1318.84/1319.94	c |    504238 |   72050   405213  1203766 | 2147483647   455059    202 | 41.064 % |
1325.63/1326.73	c |    506287 |   72049   405213  1203766 | 2147483647   457107    202 | 41.065 % |
1333.93/1335.00	c |    508540 |   72049   405213  1203766 | 2147483647   459360    203 | 41.065 % |
1349.22/1350.35	c |    511019 |   72049   405213  1203766 | 2147483647   461839    203 | 41.065 % |
1362.52/1363.61	c |    513746 |   72046   405213  1203766 | 2147483647   464562    203 | 41.085 % |
1372.72/1373.84	c |    516744 |   72043   405213  1203766 | 2147483647   467557    203 | 41.100 % |
1383.71/1384.85	c |    520046 |   72041   405213  1203766 | 2147483647   470856    203 | 41.105 % |
1393.91/1395.00	c |    523671 |   72041   405213  1203766 | 2147483647   474481    203 | 41.105 % |
1410.70/1411.81	c |    527658 |   72040   405213  1203766 | 2147483647   478467    204 | 41.107 % |
1428.90/1430.03	c |    532051 |   72038   405213  1203766 | 2147483647   482858    204 | 41.109 % |
1452.59/1453.76	c |    536876 |   71586   399612  1188023 | 2147483647   487322    205 | 41.112 % |
1452.99/1454.17	c |    536979 |   71586   399612  1188023 | 2147483647   487425    205 | 41.112 % |
1453.48/1454.63	c |    537092 |   71586   399612  1188023 | 2147483647   487538    205 | 41.112 % |
1454.08/1455.24	c |    537215 |   71586   399612  1188023 | 2147483647   487661    205 | 41.112 % |
1454.58/1455.74	c |    537350 |   71586   399612  1188023 | 2147483647   487796    205 | 41.112 % |
1455.58/1456.78	c |    537497 |   71586   399612  1188023 | 2147483647   487943    205 | 41.112 % |
1456.59/1457.77	c |    537666 |   71586   399612  1188023 | 2147483647   488112    205 | 41.112 % |
1457.68/1458.81	c |    537843 |   71586   399612  1188023 | 2147483647   488288    205 | 41.130 % |
1458.58/1459.70	c |    538040 |   71585   399612  1188023 | 2147483647   488485    205 | 41.130 % |
1459.57/1460.78	c |    538253 |   71585   399612  1188023 | 2147483647   488698    205 | 41.130 % |
1460.47/1461.64	c |    538488 |   71585   399612  1188023 | 2147483647   488933    205 | 41.130 % |
1461.88/1463.04	c |    538744 |   71585   399612  1188023 | 2147483647   489189    204 | 41.130 % |
1463.17/1464.37	c |    539025 |   71585   399612  1188023 | 2147483647   489470    205 | 41.130 % |
1464.47/1465.70	c |    539334 |   71585   399612  1188023 | 2147483647   489779    205 | 41.130 % |
1465.47/1466.64	c |    539675 |   71584   399612  1188023 | 2147483647   490119    205 | 41.131 % |
1467.38/1468.59	c |    540048 |   71579   399612  1188023 | 2147483647   490490    205 | 41.140 % |
1469.88/1471.02	c |    540459 |   71578   399612  1188023 | 2147483647   490900    205 | 41.142 % |
1471.78/1472.99	c |    540908 |   71578   399612  1188023 | 2147483647   491349    205 | 41.142 % |
1473.88/1475.05	c |    541403 |   71578   399612  1188023 | 2147483647   491844    205 | 41.142 % |
1475.77/1476.92	c |    541946 |   71578   399612  1188023 | 2147483647   492387    205 | 41.142 % |
1478.27/1479.40	c |    542543 |   71578   399612  1188023 | 2147483647   492984    205 | 41.142 % |
1480.57/1481.71	c |    543198 |   71577   399612  1188023 | 2147483647   493638    205 | 41.143 % |
1483.17/1484.40	c |    543918 |   71577   399612  1188023 | 2147483647   494358    205 | 41.143 % |
1487.17/1488.40	c |    544711 |   71577   399612  1188023 | 2147483647   495151    205 | 41.143 % |
1491.36/1492.53	c |    545582 |   71573   399612  1188023 | 2147483647   496021    205 | 41.149 % |
1494.37/1495.54	c |    546542 |   71568   399612  1188023 | 2147483647   496978    205 | 41.175 % |
1498.96/1500.15	c |    547596 |   71568   399612  1188023 | 2147483647   498032    205 | 41.175 % |
1503.46/1504.62	c |    548757 |   71567   399612  1188023 | 2147483647   499192    205 | 41.175 % |
1509.74/1510.90	c |    550030 |   71565   399612  1188023 | 2147483647   500464    205 | 41.295 % |
1516.75/1517.95	c |    551432 |   71565   399612  1188023 | 2147483647   501865    205 | 41.299 % |
1522.84/1524.07	c |    552972 |   71565   399612  1188023 | 2147483647   503405    205 | 41.299 % |
1531.73/1532.93	c |    554667 |   71564   399612  1188023 | 2147483647   505099    205 | 41.306 % |
1540.64/1541.81	c |    556531 |   71564   399612  1188023 | 2147483647   506963    205 | 41.306 % |
1549.52/1550.79	c |    558584 |   71563   399612  1188023 | 2147483647   509014    205 | 41.363 % |
1559.91/1561.11	c |    560837 |   71563   399612  1188023 | 2147483647   511267    205 | 41.363 % |
1571.91/1573.14	c |    563315 |   71563   399612  1188023 | 2147483647   513745    205 | 41.363 % |
1587.61/1588.80	c |    566044 |   71563   399612  1188023 | 2147483647   516474    206 | 41.363 % |
1599.49/1600.79	c |    569043 |   71563   399612  1188023 | 2147483647   519472    206 | 41.364 % |
1615.99/1617.24	c |    572342 |   71563   399612  1188023 | 2147483647   522771    206 | 41.364 % |
1633.39/1634.62	c |    575969 |   71558   399612  1188023 | 2147483647   526394    207 | 41.379 % |
1651.97/1653.29	c |    579956 |   71555   399612  1188023 | 2147483647   530377    207 | 41.420 % |
1672.37/1673.62	c |    584341 |   71555   399612  1188023 | 2147483647   534761    208 | 41.428 % |
1697.85/1699.15	c |    589171 |   71202   397334  1182050 | 2147483647   539198    208 | 41.428 % |
1720.15/1721.45	c |    594479 |   71198   397334  1182050 | 2147483647   544502    209 | 41.442 % |
1720.75/1722.05	c |    594580 |   71198   397334  1182050 | 2147483647   544603    209 | 41.442 % |
1721.45/1722.73	c |    594694 |   71198   397334  1182050 | 2147483647   544717    209 | 41.442 % |
1722.05/1723.36	c |    594817 |   71198   397334  1182050 | 2147483647   544840    209 | 41.442 % |
1722.94/1724.26	c |    594957 |   71198   397334  1182050 | 2147483647   544980    209 | 41.442 % |
1723.44/1724.75	c |    595105 |   71198   397334  1182050 | 2147483647   545128    209 | 41.442 % |
1724.44/1725.77	c |    595267 |   71198   397334  1182050 | 2147483647   545290    209 | 41.442 % |
1725.24/1726.56	c |    595443 |   71198   397334  1182050 | 2147483647   545466    209 | 41.442 % |
1726.04/1727.36	c |    595640 |   71198   397334  1182050 | 2147483647   545663    209 | 41.442 % |
1726.64/1727.97	c |    595853 |   71198   397334  1182050 | 2147483647   545876    209 | 41.442 % |
1727.44/1728.74	c |    596086 |   71198   397334  1182050 | 2147483647   546109    209 | 41.442 % |
1728.43/1729.72	c |    596344 |   71198   397334  1182050 | 2147483647   546367    209 | 41.442 % |
1729.63/1730.95	c |    596627 |   71198   397334  1182050 | 2147483647   546650    209 | 41.442 % |
1731.73/1733.05	c |    596940 |   71198   397334  1182050 | 2147483647   546963    209 | 41.442 % |
1733.44/1734.74	c |    597279 |   71198   397334  1182050 | 2147483647   547302    209 | 41.442 % |
1734.83/1736.17	c |    597651 |   71198   397334  1182050 | 2147483647   547674    209 | 41.442 % |
1736.43/1737.71	c |    598064 |   71198   397334  1182050 | 2147483647   548087    209 | 41.442 % |
1738.33/1739.64	c |    598518 |   71198   397334  1182050 | 2147483647   548541    209 | 41.442 % |
1740.73/1742.06	c |    599011 |   71197   397334  1182050 | 2147483647   549033    209 | 41.443 % |
1742.93/1744.27	c |    599553 |   71197   397334  1182050 | 2147483647   549575    209 | 41.443 % |
1746.33/1747.66	c |    600152 |   71197   397334  1182050 | 2147483647   550174    209 | 41.443 % |
1748.33/1749.62	c |    600810 |   71197   397334  1182050 | 2147483647   550832    209 | 41.443 % |
1750.93/1752.29	c |    601530 |   71197   397334  1182050 | 2147483647   551552    209 | 41.443 % |
1754.43/1755.72	c |    602324 |   71196   397334  1182050 | 2147483647   552345    209 | 41.444 % |
1759.12/1760.45	c |    603195 |   71196   397334  1182050 | 2147483647   553216    209 | 41.444 % |
1764.22/1765.56	c |    604153 |   71196   397334  1182050 | 2147483647   554174    209 | 41.444 % |
1769.83/1771.18	c |    605209 |   71194   397334  1182050 | 2147483647   555228    209 | 41.446 % |
1775.11/1776.41	c |    606368 |   71194   397334  1182050 | 2147483647   556387    209 | 41.446 % |
1782.21/1783.58	c |    607641 |   71193   397334  1182050 | 2147483647   557659    209 | 41.447 % |
1787.61/1788.98	c |    609041 |   71193   397334  1182050 | 2147483647   559059    209 | 41.447 % |
1794.91/1796.23	c |    610581 |   71191   397334  1182050 | 2147483647   560598    210 | 41.452 % |
1804.21/1805.56	c |    612277 |   71191   397334  1182050 | 2147483647   562294    210 | 41.452 % |
1814.80/1816.17	c |    614142 |   71191   397334  1182050 | 2147483647   564159    210 | 41.452 % |
1825.50/1826.84	c |    616193 |   71191   397334  1182050 | 2147483647   566208    210 | 41.459 % |
1833.89/1835.26	c |    618446 |   71191   397334  1182050 | 2147483647   568460    210 | 41.460 % |
1847.59/1848.94	c |    620924 |   71191   397334  1182050 | 2147483647   570935    210 | 41.483 % |
1862.59/1863.94	c |    623653 |   71190   397334  1182050 | 2147483647   573662    210 | 41.485 % |
1878.67/1880.09	c |    626652 |   71190   397334  1182050 | 2147483647   576660    210 | 41.512 % |
1893.97/1895.34	c |    629953 |   71190   397334  1182050 | 2147483647   579960    210 | 41.513 % |
1911.66/1913.03	c |    633584 |   71188   397334  1182050 | 2147483647   583588    210 | 41.546 % |
1933.45/1934.80	c |    637571 |   71184   397334  1182050 | 2147483647   587573    210 | 41.555 % |
1955.13/1956.52	c |    641959 |   71179   397334  1182050 | 2147483647   591956    210 | 41.587 % |
1977.73/1979.15	c |    646782 |   71009   396163  1178969 | 2147483647   596499    211 | 41.587 % |
1999.62/2001.02	c |    652089 |   71008   396163  1178969 | 2147483647   601804    211 | 41.589 % |
2018.22/2019.69	c |    657935 |   71008   396163  1178969 | 2147483647   607650    212 | 41.589 % |
2018.91/2020.31	c |    658039 |   71008   396163  1178969 | 2147483647   607754    212 | 41.589 % |
2019.61/2021.02	c |    658152 |   71008   396163  1178969 | 2147483647   607866    212 | 41.590 % |
2020.31/2021.78	c |    658275 |   71008   396163  1178969 | 2147483647   607989    212 | 41.590 % |
2021.11/2022.54	c |    658410 |   71008   396163  1178969 | 2147483647   608124    212 | 41.590 % |
2021.91/2023.31	c |    658556 |   71008   396163  1178969 | 2147483647   608270    212 | 41.590 % |
2022.81/2024.25	c |    658716 |   71008   396163  1178969 | 2147483647   608430    212 | 41.590 % |
2023.82/2025.21	c |    658892 |   71008   396163  1178969 | 2147483647   608606    212 | 41.590 % |
2025.11/2026.52	c |    659085 |   71008   396163  1178969 | 2147483647   608799    212 | 41.590 % |
2027.11/2028.53	c |    659301 |   71007   396163  1178969 | 2147483647   609014    212 | 41.608 % |
2028.51/2029.99	c |    659540 |   71007   396163  1178969 | 2147483647   609253    212 | 41.608 % |
2030.01/2031.43	c |    659796 |   71007   396163  1178969 | 2147483647   609509    212 | 41.608 % |
2031.01/2032.43	c |    660077 |   71006   396163  1178969 | 2147483647   609789    212 | 41.609 % |
2032.31/2033.76	c |    660390 |   71006   396163  1178969 | 2147483647   610102    212 | 41.609 % |
2033.91/2035.38	c |    660729 |   71006   396163  1178969 | 2147483647   610441    212 | 41.609 % |
2036.10/2037.52	c |    661101 |   71006   396163  1178969 | 2147483647   610812    212 | 41.612 % |
2037.60/2039.05	c |    661511 |   71006   396163  1178969 | 2147483647   611222    212 | 41.612 % |
2040.50/2041.99	c |    661960 |   71006   396163  1178969 | 2147483647   611671    212 | 41.612 % |
2043.29/2044.76	c |    662454 |   71006   396163  1178969 | 2147483647   612165    212 | 41.612 % |
2045.80/2047.26	c |    662998 |   71005   396163  1178969 | 2147483647   612708    212 | 41.620 % |
2048.79/2050.24	c |    663594 |   71005   396163  1178969 | 2147483647   613304    212 | 41.620 % |
2051.90/2053.33	c |    664249 |   71005   396163  1178969 | 2147483647   613959    212 | 41.620 % |
2055.49/2056.95	c |    664969 |   71005   396163  1178969 | 2147483647   614678    212 | 41.620 % |
2058.59/2060.08	c |    665761 |   71005   396163  1178969 | 2147483647   615470    213 | 41.620 % |
2063.09/2064.57	c |    666633 |   71005   396163  1178969 | 2147483647   616342    213 | 41.620 % |
2067.29/2068.73	c |    667595 |   71005   396163  1178969 | 2147483647   617304    213 | 41.620 % |
2071.18/2072.70	c |    668653 |   71004   396163  1178969 | 2147483647   618361    213 | 41.622 % |
2076.88/2078.36	c |    669814 |   71004   396163  1178969 | 2147483647   619522    213 | 41.622 % |
2084.98/2086.43	c |    671087 |   71003   396163  1178969 | 2147483647   620794    213 | 41.623 % |
2092.37/2093.89	c |    672490 |   71002   396163  1178969 | 2147483647   622196    213 | 41.624 % |
2098.07/2099.54	c |    674033 |   71002   396163  1178969 | 2147483647   623739    213 | 41.624 % |
2108.16/2109.62	c |    675730 |   71001   396163  1178969 | 2147483647   625434    213 | 41.634 % |
2119.36/2120.83	c |    677595 |   71001   396163  1178969 | 2147483647   627299    213 | 41.634 % |
2130.96/2132.49	c |    679644 |   70999   396163  1178969 | 2147483647   629346    213 | 41.642 % |
2146.15/2147.68	c |    681897 |   70999   396163  1178969 | 2147483647   631599    213 | 41.642 % |
2159.84/2161.30	c |    684376 |   70999   396163  1178969 | 2147483647   634078    214 | 41.642 % |
2171.25/2172.76	c |    687101 |   70999   396163  1178969 | 2147483647   636803    214 | 41.642 % |
2190.72/2192.24	c |    690101 |   70997   396163  1178969 | 2147483647   639801    214 | 41.650 % |
2210.51/2212.00	c |    693397 |   70997   396163  1178969 | 2147483647   643095    214 | 41.713 % |
2235.68/2237.22	c |    697022 |   70997   396163  1178969 | 2147483647   646719    214 | 41.714 % |
2255.08/2256.62	c |    701012 |   70997   396163  1178969 | 2147483647   650708    214 | 41.715 % |
2279.07/2280.66	c |    705398 |   70980   396163  1178969 | 2147483647   655088    214 | 41.819 % |
2301.26/2302.81	c |    710227 |   70724   394517  1174677 | 2147483647   659617    214 | 41.829 % |
2335.25/2336.81	c |    715536 |   70724   394517  1174677 | 2147483647   664926    214 | 41.829 % |
2358.92/2360.59	c |    721380 |   70724   394517  1174677 | 2147483647   670770    214 | 41.829 % |
2386.72/2388.32	c |    727802 |   70722   394517  1174677 | 2147483647   677190    216 | 41.838 % |
2387.12/2388.72	c |    727906 |   70722   394517  1174677 | 2147483647   677294    216 | 41.838 % |
2387.63/2389.22	c |    728017 |   70722   394517  1174677 | 2147483647   677405    216 | 41.838 % |
2388.83/2390.41	c |    728139 |   70722   394517  1174677 | 2147483647   677527    216 | 41.838 % |
2389.72/2391.33	c |    728276 |   70722   394517  1174677 | 2147483647   677664    216 | 41.838 % |
2390.42/2392.09	c |    728422 |   70722   394517  1174677 | 2147483647   677810    216 | 41.838 % |
2391.52/2393.13	c |    728582 |   70722   394517  1174677 | 2147483647   677970    216 | 41.838 % |
2393.12/2394.71	c |    728761 |   70722   394517  1174677 | 2147483647   678149    216 | 41.838 % |
2394.32/2395.94	c |    728960 |   70722   394517  1174677 | 2147483647   678348    216 | 41.838 % |
2394.92/2396.55	c |    729175 |   70722   394517  1174677 | 2147483647   678563    216 | 41.838 % |
2396.02/2397.61	c |    729411 |   70722   394517  1174677 | 2147483647   678799    216 | 41.838 % |
2397.42/2399.08	c |    729671 |   70722   394517  1174677 | 2147483647   679059    216 | 41.838 % |
2399.11/2400.77	c |    729958 |   70722   394517  1174677 | 2147483647   679346    216 | 41.838 % |
2400.82/2402.50	c |    730267 |   70717   394517  1174677 | 2147483647   679654    216 | 41.846 % |
2401.71/2403.38	c |    730606 |   70717   394517  1174677 | 2147483647   679993    216 | 41.846 % |
2403.90/2405.59	c |    730978 |   70717   394517  1174677 | 2147483647   680365    216 | 41.846 % |
2406.80/2408.48	c |    731387 |   70717   394517  1174677 | 2147483647   680774    216 | 41.846 % |
2409.20/2410.84	c |    731837 |   70717   394517  1174677 | 2147483647   681224    216 | 41.846 % |
2412.70/2414.34	c |    732343 |   70717   394517  1174677 | 2147483647   681730    216 | 41.846 % |
2416.10/2417.70	c |    732885 |   70717   394517  1174677 | 2147483647   682272    216 | 41.846 % |
2419.00/2420.70	c |    733481 |   70717   394517  1174677 | 2147483647   682868    216 | 41.846 % |
2421.71/2423.39	c |    734137 |   70717   394517  1174677 | 2147483647   683524    216 | 41.846 % |
2425.10/2426.76	c |    734857 |   70717   394517  1174677 | 2147483647   684244    216 | 41.846 % |
2428.70/2430.32	c |    735649 |   70717   394517  1174677 | 2147483647   685036    216 | 41.846 % |
2436.50/2438.18	c |    736526 |   70717   394517  1174677 | 2147483647   685913    216 | 41.846 % |
2443.19/2444.84	c |    737484 |   70717   394517  1174677 | 2147483647   686870    216 | 41.853 % |
2451.09/2452.74	c |    738537 |   70717   394517  1174677 | 2147483647   687923    216 | 41.853 % |
2459.88/2461.52	c |    739697 |   70717   394517  1174677 | 2147483647   689083    216 | 41.853 % |
2468.68/2470.36	c |    740970 |   70717   394517  1174677 | 2147483647   690356    216 | 41.853 % |
2476.87/2478.51	c |    742371 |   70717   394517  1174677 | 2147483647   691757    216 | 41.853 % |
2485.08/2486.74	c |    743911 |   70717   394517  1174677 | 2147483647   693297    216 | 41.853 % |
2495.17/2496.82	c |    745605 |   70715   394517  1174677 | 2147483647   694989    216 | 41.858 % |
2505.96/2507.69	c |    747471 |   70713   394517  1174677 | 2147483647   696853    216 | 41.860 % |
2519.76/2521.50	c |    749521 |   70713   394517  1174677 | 2147483647   698903    216 | 41.860 % |
2537.35/2539.00	c |    751777 |   70713   394517  1174677 | 2147483647   701159    216 | 41.860 % |
2552.04/2553.78	c |    754255 |   70713   394517  1174677 | 2147483647   703637    216 | 41.860 % |
2564.14/2565.85	c |    756980 |   70713   394517  1174677 | 2147483647   706362    216 | 41.860 % |
2580.34/2582.08	c |    759978 |   70712   394517  1174677 | 2147483647   709359    217 | 41.863 % |
2606.83/2608.56	c |    763276 |   70711   394517  1174677 | 2147483647   712653    217 | 41.882 % |
2633.22/2634.93	c |    766903 |   70711   394517  1174677 | 2147483647   716280    216 | 41.882 % |
2651.11/2652.82	c |    770890 |   70711   394517  1174677 | 2147483647   720267    217 | 41.882 % |
2679.11/2680.88	c |    775275 |   70709   394517  1174677 | 2147483647   724650    217 | 41.893 % |
2715.98/2717.74	c |    780098 |   70708   394517  1174677 | 2147483647   729471    217 | 41.912 % |
2743.48/2745.27	c |    785404 |   70598   393592  1172111 | 2147483647   734025    217 | 41.935 % |
2771.55/2773.38	c |    791239 |   70598   393592  1172111 | 2147483647   739860    218 | 41.935 % |
2818.64/2820.44	c |    797658 |   70596   393592  1172111 | 2147483647   746276    218 | 41.975 % |
2879.01/2880.88	c |    804718 |   70596   393592  1172111 | 2147483647   753336    218 | 41.975 % |
2879.61/2881.45	c |    804820 |   70596   393592  1172111 | 2147483647   753438    218 | 41.975 % |
2880.61/2882.45	c |    804933 |   70596   393592  1172111 | 2147483647   753551    218 | 41.975 % |
2881.91/2883.78	c |    805065 |   70596   393592  1172111 | 2147483647   753683    218 | 41.975 % |
2883.41/2885.27	c |    805201 |   70596   393592  1172111 | 2147483647   753819    218 | 41.975 % |
2885.31/2887.19	c |    805350 |   70596   393592  1172111 | 2147483647   753968    218 | 41.975 % |
2887.21/2889.05	c |    805512 |   70596   393592  1172111 | 2147483647   754130    218 | 41.975 % |
2888.81/2890.63	c |    805690 |   70596   393592  1172111 | 2147483647   754308    218 | 41.975 % |
2889.81/2891.70	c |    805883 |   70596   393592  1172111 | 2147483647   754501    218 | 41.975 % |
2891.72/2893.53	c |    806095 |   70596   393592  1172111 | 2147483647   754713    218 | 41.975 % |
2893.92/2895.73	c |    806330 |   70596   393592  1172111 | 2147483647   754948    218 | 41.975 % |
2896.01/2897.82	c |    806595 |   70596   393592  1172111 | 2147483647   755213    218 | 41.975 % |
2898.31/2900.11	c |    806879 |   70596   393592  1172111 | 2147483647   755497    218 | 41.975 % |
2900.11/2901.91	c |    807188 |   70596   393592  1172111 | 2147483647   755806    218 | 41.975 % |
2901.31/2903.18	c |    807527 |   70596   393592  1172111 | 2147483647   756145    218 | 41.975 % |
2903.61/2905.43	c |    807900 |   70596   393592  1172111 | 2147483647   756518    218 | 41.975 % |
2905.40/2907.29	c |    808309 |   70596   393592  1172111 | 2147483647   756927    218 | 41.975 % |
2907.90/2909.76	c |    808758 |   70596   393592  1172111 | 2147483647   757376    218 | 41.975 % |
2910.50/2912.32	c |    809259 |   70596   393592  1172111 | 2147483647   757877    218 | 41.975 % |
2912.80/2914.63	c |    809803 |   70596   393592  1172111 | 2147483647   758421    218 | 41.975 % |
2915.60/2917.42	c |    810399 |   70596   393592  1172111 | 2147483647   759017    218 | 41.975 % |
2918.20/2920.06	c |    811056 |   70594   393592  1172111 | 2147483647   759673    218 | 41.980 % |
2921.30/2923.13	c |    811776 |   70594   393592  1172111 | 2147483647   760393    219 | 41.980 % |
2927.89/2929.71	c |    812574 |   70594   393592  1172111 | 2147483647   761191    219 | 41.980 % |
2932.50/2934.31	c |    813446 |   70594   393592  1172111 | 2147483647   762063    219 | 41.980 % |
2938.20/2940.03	c |    814407 |   70594   393592  1172111 | 2147483647   763023    219 | 41.981 % |
2946.99/2948.84	c |    815464 |   70593   393592  1172111 | 2147483647   764079    219 | 41.982 % |
2952.38/2954.26	c |    816622 |   70593   393592  1172111 | 2147483647   765237    219 | 41.982 % |
2958.18/2960.08	c |    817904 |   70593   393592  1172111 | 2147483647   766519    219 | 41.982 % |
2967.18/2969.10	c |    819304 |   70592   393592  1172111 | 2147483647   767918    219 | 41.982 % |
2976.37/2978.30	c |    820846 |   70592   393592  1172111 | 2147483647   769460    219 | 41.982 % |
2989.27/2991.11	c |    822541 |   70591   393592  1172111 | 2147483647   771154    219 | 41.991 % |
3001.26/3003.12	c |    824409 |   70591   393592  1172111 | 2147483647   773022    219 | 41.991 % |
3018.85/3020.74	c |    826463 |   70590   393592  1172111 | 2147483647   775075    219 | 41.998 % |
3030.55/3032.44	c |    828716 |   70590   393592  1172111 | 2147483647   777328    219 | 41.998 % |
3047.63/3049.59	c |    831196 |   70590   393592  1172111 | 2147483647   779808    220 | 41.998 % |
3063.73/3065.62	c |    833921 |   70590   393592  1172111 | 2147483647   782532    220 | 41.999 % |
3087.31/3089.24	c |    836927 |   70590   393592  1172111 | 2147483647   785538    220 | 41.999 % |
3116.61/3118.53	c |    840225 |   70590   393592  1172111 | 2147483647   788836    220 | 41.999 % |
3139.30/3141.27	c |    843853 |   70590   393592  1172111 | 2147483647   792464    220 | 41.999 % |
3172.88/3174.89	c |    847841 |   70588   393592  1172111 | 2147483647   796451    221 | 42.004 % |
3204.48/3206.45	c |    852227 |   70586   393592  1172111 | 2147483647   800835    221 | 42.015 % |
3240.66/3242.63	c |    857050 |   70586   393592  1172111 | 2147483647   805657    221 | 42.017 % |
3283.34/3285.39	c |    862355 |   70586   393592  1172111 | 2147483647   810962    221 | 42.017 % |
3336.42/3338.49	c |    868193 |   70484   392742  1169834 | 2147483647   816375    221 | 42.023 % |
3395.39/3397.42	c |    874612 |   70484   392742  1169834 | 2147483647   822794    220 | 42.023 % |
3450.86/3452.95	c |    881672 |   70484   392742  1169834 | 2147483647   829854    220 | 42.023 % |
3505.74/3507.85	c |    889438 |   70482   392742  1169834 | 2147483647   837617    220 | 42.144 % |
3506.84/3508.95	c |    889538 |   70482   392742  1169834 | 2147483647   837717    220 | 42.144 % |
3508.24/3510.33	c |    889653 |   70482   392742  1169834 | 2147483647   837832    220 | 42.144 % |
3509.15/3511.26	c |    889774 |   70482   392742  1169834 | 2147483647   837953    220 | 42.144 % |
3510.54/3512.60	c |    889907 |   70482   392742  1169834 | 2147483647   838086    220 | 42.144 % |
3511.54/3513.70	c |    890057 |   70482   392742  1169834 | 2147483647   838236    220 | 42.144 % |
3512.64/3514.71	c |    890219 |   70482   392742  1169834 | 2147483647   838398    220 | 42.144 % |
3514.24/3516.33	c |    890401 |   70482   392742  1169834 | 2147483647   838580    220 | 42.144 % |
3515.94/3518.08	c |    890595 |   70482   392742  1169834 | 2147483647   838774    220 | 42.144 % |
3517.64/3519.75	c |    890807 |   70482   392742  1169834 | 2147483647   838986    220 | 42.144 % |
3520.04/3522.10	c |    891041 |   70482   392742  1169834 | 2147483647   839220    220 | 42.144 % |
3523.24/3525.32	c |    891304 |   70482   392742  1169834 | 2147483647   839483    220 | 42.144 % |
3525.93/3528.09	c |    891587 |   70482   392742  1169834 | 2147483647   839766    220 | 42.144 % |
3529.53/3531.62	c |    891897 |   70482   392742  1169834 | 2147483647   840076    220 | 42.144 % |
3533.83/3535.95	c |    892240 |   70482   392742  1169834 | 2147483647   840419    220 | 42.144 % |
3536.73/3538.86	c |    892613 |   70482   392742  1169834 | 2147483647   840792    220 | 42.144 % |
3540.13/3542.24	c |    893022 |   70482   392742  1169834 | 2147483647   841201    220 | 42.144 % |
3545.32/3547.41	c |    893471 |   70482   392742  1169834 | 2147483647   841650    220 | 42.144 % |
3550.12/3552.20	c |    893967 |   70482   392742  1169834 | 2147483647   842146    220 | 42.144 % |
3554.72/3556.88	c |    894509 |   70482   392742  1169834 | 2147483647   842688    220 | 42.144 % |
3561.22/3563.35	c |    895105 |   70481   392742  1169834 | 2147483647   843283    220 | 42.151 % |
3567.12/3569.28	c |    895760 |   70481   392742  1169834 | 2147483647   843938    220 | 42.151 % |
3574.51/3576.62	c |    896482 |   70480   392742  1169834 | 2147483647   844657    220 | 42.155 % |
3580.11/3582.22	c |    897276 |   70480   392742  1169834 | 2147483647   845451    220 | 42.155 % |
3589.00/3591.18	c |    898148 |   70480   392742  1169834 | 2147483647   846323    220 | 42.155 % |
3594.70/3596.85	c |    899108 |   70480   392742  1169834 | 2147483647   847282    220 | 42.158 % |
3603.10/3605.27	c |    900162 |   70480   392742  1169834 | 2147483647   848336    220 | 42.158 % |
3612.60/3614.71	c |    901321 |   70479   392742  1169834 | 2147483647   849493    220 | 42.178 % |
3625.28/3627.41	c |    902595 |   70479   392742  1169834 | 2147483647   850767    220 | 42.178 % |
3635.69/3637.89	c |    903996 |   70479   392742  1169834 | 2147483647   852168    220 | 42.178 % |
3648.28/3650.47	c |    905541 |   70479   392742  1169834 | 2147483647   853713    220 | 42.178 % |
3666.07/3668.25	c |    907235 |   70479   392742  1169834 | 2147483647   855407    220 | 42.178 % |
3683.26/3685.42	c |    909100 |   70479   392742  1169834 | 2147483647   857271    220 | 42.179 % |
3696.26/3698.42	c |    911149 |   70479   392742  1169834 | 2147483647   859320    220 | 42.179 % |
3717.25/3719.45	c |    913404 |   70479   392742  1169834 | 2147483647   861575    221 | 42.179 % |
3738.64/3740.81	c |    915885 |   70479   392742  1169834 | 2147483647   864056    221 | 42.179 % |
3762.63/3764.84	c |    918610 |   70478   392742  1169834 | 2147483647   866780    221 | 42.180 % |
3785.03/3787.29	c |    921608 |   70478   392742  1169834 | 2147483647   869778    221 | 42.180 % |
3817.91/3820.15	c |    924907 |   70478   392742  1169834 | 2147483647   873076    221 | 42.181 % |
3851.69/3853.93	c |    928537 |   70477   392742  1169834 | 2147483647   876703    221 | 42.201 % |
3883.59/3885.82	c |    932524 |   70477   392742  1169834 | 2147483647   880690    221 | 42.201 % |
3922.87/3925.13	c |    936912 |   70477   392742  1169834 | 2147483647   885076    221 | 42.209 % |
3954.86/3957.10	c |    941735 |   70250   390301  1163008 | 2147483647   889593    221 | 42.260 % |
3999.25/4001.55	c |    947040 |   70250   390301  1163008 | 2147483647   894898    221 | 42.260 % |
4056.92/4059.28	c |    952876 |   70250   390301  1163008 | 2147483647   900734    221 | 42.260 % |
4103.10/4105.50	c |    959299 |   70249   390301  1163008 | 2147483647   907156    221 | 42.261 % |
4162.27/4164.69	c |    966362 |   70248   390301  1163008 | 2147483647   914218    222 | 42.262 % |
4204.35/4206.79	c |    974132 |   70247   390301  1163008 | 2147483647   921986    223 | 42.264 % |
4289.12/4291.54	c |    982672 |   70246   390301  1163008 | 2147483647   930525    223 | 42.265 % |
4290.22/4292.61	c |    982772 |   70246   390301  1163008 | 2147483647   930625    223 | 42.265 % |
4291.22/4293.68	c |    982882 |   70246   390301  1163008 | 2147483647   930735    223 | 42.265 % |
4292.62/4295.00	c |    983005 |   70246   390301  1163008 | 2147483647   930858    223 | 42.265 % |
4294.22/4296.62	c |    983138 |   70246   390301  1163008 | 2147483647   930991    223 | 42.265 % |
4296.52/4298.99	c |    983284 |   70246   390301  1163008 | 2147483647   931137    223 | 42.265 % |
4298.72/4301.13	c |    983449 |   70246   390301  1163008 | 2147483647   931302    223 | 42.265 % |
4300.61/4303.03	c |    983627 |   70246   390301  1163008 | 2147483647   931480    223 | 42.265 % |
4302.31/4304.70	c |    983821 |   70246   390301  1163008 | 2147483647   931674    223 | 42.265 % |
4304.41/4306.85	c |    984037 |   70246   390301  1163008 | 2147483647   931890    223 | 42.265 % |
4308.41/4310.90	c |    984270 |   70246   390301  1163008 | 2147483647   932121    223 | 42.266 % |
4310.11/4312.56	c |    984528 |   70246   390301  1163008 | 2147483647   932379    223 | 42.266 % |
4313.61/4316.00	c |    984822 |   70246   390301  1163008 | 2147483647   932673    223 | 42.266 % |
4318.91/4321.36	c |    985135 |   70246   390301  1163008 | 2147483647   932986    223 | 42.266 % |
4322.60/4325.01	c |    985475 |   70246   390301  1163008 | 2147483647   933326    223 | 42.266 % |
4326.70/4329.16	c |    985848 |   70246   390301  1163008 | 2147483647   933699    223 | 42.266 % |
4330.60/4333.08	c |    986257 |   70246   390301  1163008 | 2147483647   934108    223 | 42.266 % |
4336.30/4338.70	c |    986706 |   70245   390301  1163008 | 2147483647   934556    223 | 42.267 % |
4342.29/4344.72	c |    987201 |   70245   390301  1163008 | 2147483647   935051    223 | 42.267 % |
4347.29/4349.78	c |    987743 |   70245   390301  1163008 | 2147483647   935593    223 | 42.267 % |
4354.89/4357.34	c |    988343 |   70245   390301  1163008 | 2147483647   936193    223 | 42.267 % |
4358.19/4360.65	c |    988998 |   70245   390301  1163008 | 2147483647   936848    223 | 42.267 % |
4365.39/4367.83	c |    989721 |   70245   390301  1163008 | 2147483647   937571    223 | 42.267 % |
4370.68/4373.14	c |    990516 |   70245   390301  1163008 | 2147483647   938366    223 | 42.267 % |
4387.08/4389.55	c |    991390 |   70245   390301  1163008 | 2147483647   939240    223 | 42.267 % |
4396.17/4398.60	c |    992349 |   70244   390301  1163008 | 2147483647   940198    223 | 42.268 % |
4407.47/4409.91	c |    993403 |   70244   390301  1163008 | 2147483647   941252    223 | 42.268 % |
4422.26/4424.75	c |    994561 |   70244   390301  1163008 | 2147483647   942409    223 | 42.274 % |
4439.25/4441.73	c |    995834 |   70244   390301  1163008 | 2147483647   943682    222 | 42.274 % |
4453.85/4456.38	c |    997234 |   70244   390301  1163008 | 2147483647   945082    223 | 42.274 % |
4471.64/4474.12	c |    998775 |   70243   390301  1163008 | 2147483647   946622    223 | 42.274 % |
4485.64/4488.17	c |   1000471 |   70242   390301  1163008 | 2147483647   948316    223 | 42.283 % |
4505.93/4508.45	c |   1002337 |   70241   390301  1163008 | 2147483647   950180    223 | 42.290 % |
4528.31/4530.85	c |   1004386 |   70238   390301  1163008 | 2147483647   952225    222 | 42.314 % |
4555.92/4558.47	c |   1006640 |   70238   390301  1163008 | 2147483647   954479    222 | 42.314 % |
4582.40/4584.94	c |   1009120 |   70238   390301  1163008 | 2147483647   956958    223 | 42.316 % |
4611.17/4613.78	c |   1011848 |   70238   390301  1163008 | 2147483647   959685    222 | 42.331 % |
4639.37/4641.98	c |   1014848 |   70238   390301  1163008 | 2147483647   962685    223 | 42.331 % |
4666.86/4669.47	c |   1018148 |   70238   390301  1163008 | 2147483647   965985    223 | 42.331 % |
4705.75/4708.32	c |   1021775 |   70238   390301  1163008 | 2147483647   969612    223 | 42.331 % |
4750.32/4752.91	c |   1025763 |   70104   389352  1160477 | 2147483647   972980    224 | 42.339 % |
4789.21/4791.83	c |   1030148 |   70104   389352  1160477 | 2147483647   977365    224 | 42.339 % |
4822.30/4824.92	c |   1034971 |   70104   389352  1160477 | 2147483647   982188    224 | 42.339 % |
4873.58/4876.25	c |   1040276 |   70104   389352  1160477 | 2147483647   987492    224 | 42.340 % |
4945.04/4947.74	c |   1046114 |   70103   389352  1160477 | 2147483647   993330    224 | 42.340 % |
5025.11/5027.81	c |   1052536 |   70103   389352  1160477 | 2147483647   999752    224 | 42.340 % |
5096.89/5099.64	c |   1059596 |   70103   389352  1160477 | 2147483647  1006811    224 | 42.351 % |
5181.75/5184.53	c |   1067360 |   70103   389352  1160477 | 2147483647  1014574    224 | 42.352 % |
5293.60/5296.40	c |   1075905 |   70103   389352  1160477 | 2147483647  1023119    223 | 42.352 % |
5374.17/5377.05	c ===============================================================================
5374.17/5377.05	c restarts              : 1226
5374.17/5377.05	c conflicts             : 1081762        (202 /sec)
5374.17/5377.05	c decisions             : 4388198        (1.40 % random) (818 /sec)
5374.17/5377.05	c propagations          : 2146008070     (400161 /sec)
5374.17/5377.05	c conflict literals     : 239287213      (45.91 % deleted)
5374.17/5377.05	c Memory used           : 978.86 MB
5374.17/5377.05	c CPU time              : 5362.86 s
5374.17/5377.05	c 
5374.17/5377.05	s UNSATISFIABLE
5374.27/5377.19	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837450-1242870834/watcher-1837450-1242870834 -o /tmp/evaluation-result-1837450-1242870834/solver-1837450-1242870834 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837450-1242870834.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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.07 1.04 1.00 3/65 9227
/proc/meminfo: memFree=1563976/2055920 swapFree=4131192/4192956
[pid=9227] ppid=9225 vsize=5356 CPUtime=0
/proc/9227/stat : 9227 (SatELiteGTI) S 9225 9227 9089 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 315113335 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 214945202258 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/9227/statm: 1339 235 195 169 0 50 0
[pid=9228] ppid=9227 vsize=5356 CPUtime=0
/proc/9228/stat : 9228 (SatELiteGTI) S 9227 9227 9089 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 315113335 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/9228/statm: 1339 238 198 169 0 50 0
[pid=9230] ppid=9228 vsize=5356 CPUtime=0
/proc/9230/stat : 9230 (SatELiteGTI) R 9228 9227 9089 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 315113335 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214945033511 0 0 4096 0 0 0 0 17 1 0 0
/proc/9230/statm: 1339 239 199 169 0 50 0

[startup+0.100294 s]
/proc/loadavg: 1.07 1.04 1.00 3/65 9227
/proc/meminfo: memFree=1563976/2055920 swapFree=4131192/4192956
[pid=9227] ppid=9225 vsize=5356 CPUtime=0
/proc/9227/stat : 9227 (SatELiteGTI) S 9225 9227 9089 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315113335 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9227/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.201304 s]
/proc/loadavg: 1.07 1.04 1.00 3/65 9227
/proc/meminfo: memFree=1563976/2055920 swapFree=4131192/4192956
[pid=9227] ppid=9225 vsize=5356 CPUtime=0
/proc/9227/stat : 9227 (SatELiteGTI) S 9225 9227 9089 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315113335 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9227/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301316 s]
/proc/loadavg: 1.07 1.04 1.00 3/65 9227
/proc/meminfo: memFree=1563976/2055920 swapFree=4131192/4192956
[pid=9227] ppid=9225 vsize=5356 CPUtime=0
/proc/9227/stat : 9227 (SatELiteGTI) S 9225 9227 9089 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315113335 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9227/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701358 s]
/proc/loadavg: 1.07 1.04 1.00 3/65 9227
/proc/meminfo: memFree=1563976/2055920 swapFree=4131192/4192956
[pid=9227] ppid=9225 vsize=5356 CPUtime=0
/proc/9227/stat : 9227 (SatELiteGTI) S 9225 9227 9089 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315113335 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9227/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50144 s]
/proc/loadavg: 1.07 1.04 1.00 2/67 9232
/proc/meminfo: memFree=1463160/2055920 swapFree=4131192/4192956
[pid=9227] ppid=9225 vsize=5356 CPUtime=0
/proc/9227/stat : 9227 (SatELiteGTI) S 9225 9227 9089 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315113335 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9227/statm: 1339 237 197 169 0 50 0
[pid=9232] ppid=9227 vsize=115364 CPUtime=1.48
/proc/9232/stat : 9232 (SatELite_releas) R 9227 9227 9089 0 -1 4194304 26685 0 0 0 134 14 0 0 25 0 1 0 315113336 118132736 26471 1992294400 134512640 135223648 4294956128 18446744073709551615 134549070 0 0 4096 3 0 0 0 17 0 0 0
/proc/9232/statm: 28841 26471 71 173 0 28666 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 120720

[startup+3.10262 s]
/proc/loadavg: 1.07 1.04 1.00 2/67 9232
/proc/meminfo: memFree=1441784/2055920 swapFree=4131192/4192956
[pid=9227] ppid=9225 vsize=5356 CPUtime=0
/proc/9227/stat : 9227 (SatELiteGTI) S 9225 9227 9089 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315113335 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9227/statm: 1339 237 197 169 0 50 0
[pid=9232] ppid=9227 vsize=136860 CPUtime=3.08
/proc/9232/stat : 9232 (SatELite_releas) R 9227 9227 9089 0 -1 4194304 34256 0 0 0 287 21 0 0 25 0 1 0 315113336 140144640 31184 1992294400 134512640 135223648 4294956128 18446744073709551615 134669911 0 0 4096 3 0 0 0 17 0 0 0
/proc/9232/statm: 34215 31184 76 173 0 34040 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 142216

[startup+6.30198 s]
/proc/loadavg: 1.06 1.04 1.00 2/67 9232
/proc/meminfo: memFree=1432312/2055920 swapFree=4131192/4192956
[pid=9227] ppid=9225 vsize=5356 CPUtime=0
/proc/9227/stat : 9227 (SatELiteGTI) S 9225 9227 9089 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315113335 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9227/statm: 1339 237 197 169 0 50 0
[pid=9232] ppid=9227 vsize=137264 CPUtime=6.28
/proc/9232/stat : 9232 (SatELite_releas) R 9227 9227 9089 0 -1 4194304 37281 0 0 0 605 23 0 0 25 0 1 0 315113336 140558336 31361 1992294400 134512640 135223648 4294956128 18446744073709551615 134586730 0 0 4096 3 0 0 0 17 0 0 0
/proc/9232/statm: 34316 31361 76 173 0 34141 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 142620

[startup+12.7017 s]
/proc/loadavg: 1.06 1.04 1.00 2/67 9233
/proc/meminfo: memFree=1494648/2055920 swapFree=4131192/4192956
[pid=9227] ppid=9225 vsize=5356 CPUtime=8.66
/proc/9227/stat : 9227 (SatELiteGTI) S 9225 9227 9089 0 -1 4194304 336 42084 0 0 0 0 832 34 16 0 1 0 315113335 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9227/statm: 1339 239 197 169 0 50 0
[pid=9233] ppid=9227 vsize=47024 CPUtime=4
/proc/9233/stat : 9233 (minisat_static) R 9227 9227 9089 0 -1 4194304 11125 0 0 0 394 6 0 0 25 0 1 0 315114203 48152576 11078 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9233/statm: 11756 11078 77 171 0 11583 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 52380

[startup+25.5011 s]
/proc/loadavg: 1.05 1.04 1.00 2/67 9233
/proc/meminfo: memFree=1494712/2055920 swapFree=4131192/4192956
[pid=9227] ppid=9225 vsize=5356 CPUtime=8.66
/proc/9227/stat : 9227 (SatELiteGTI) S 9225 9227 9089 0 -1 4194304 336 42084 0 0 0 0 832 34 16 0 1 0 315113335 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9227/statm: 1339 239 197 169 0 50 0
[pid=9233] ppid=9227 vsize=47640 CPUtime=16.79
/proc/9233/stat : 9233 (minisat_static) R 9227 9227 9089 0 -1 4194304 11259 0 0 0 1672 7 0 0 25 0 1 0 315114203 48783360 11212 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/9233/statm: 11910 11212 77 171 0 11737 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 52996

[startup+51.101 s]
/proc/loadavg: 1.03 1.03 1.00 2/67 9233
/proc/meminfo: memFree=1489464/2055920 swapFree=4131192/4192956
[pid=9227] ppid=9225 vsize=5356 CPUtime=8.66
/proc/9227/stat : 9227 (SatELiteGTI) S 9225 9227 9089 0 -1 4194304 336 42084 0 0 0 0 832 34 16 0 1 0 315113335 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9227/statm: 1339 239 197 169 0 50 0
[pid=9233] ppid=9227 vsize=53148 CPUtime=42.38
/proc/9233/stat : 9233 (minisat_static) R 9227 9227 9089 0 -1 4194304 12625 0 0 0 4229 9 0 0 25 0 1 0 315114203 54423552 12578 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9233/statm: 13287 12578 77 171 0 13114 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 58504

[startup+102.302 s]
/proc/loadavg: 1.01 1.03 1.00 2/67 9233
/proc/meminfo: memFree=1470904/2055920 swapFree=4131192/4192956
[pid=9227] ppid=9225 vsize=5356 CPUtime=8.66
/proc/9227/stat : 9227 (SatELiteGTI) S 9225 9227 9089 0 -1 4194304 336 42084 0 0 0 0 832 34 16 0 1 0 315113335 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9227/statm: 1339 239 197 169 0 50 0
[pid=9233] ppid=9227 vsize=71476 CPUtime=93.57
/proc/9233/stat : 9233 (minisat_static) R 9227 9227 9089 0 -1 4194304 17213 0 0 0 9342 15 0 0 25 0 1 0 315114203 73191424 17166 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9233/statm: 17869 17166 77 171 0 17696 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 76832

[startup+162.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 9233
/proc/meminfo: memFree=1447288/2055920 swapFree=4131192/4192956
[pid=9227] ppid=9225 vsize=5356 CPUtime=8.66
/proc/9227/stat : 9227 (SatELiteGTI) S 9225 9227 9089 0 -1 4194304 336 42084 0 0 0 0 832 34 16 0 1 0 315113335 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9227/statm: 1339 239 197 169 0 50 0
[pid=9233] ppid=9227 vsize=95536 CPUtime=153.54
/proc/9233/stat : 9233 (minisat_static) R 9227 9227 9089 0 -1 4194304 23180 0 0 0 15333 21 0 0 25 0 1 0 315114203 97828864 23133 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/9233/statm: 23884 23133 77 171 0 23711 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 100892

[startup+222.305 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 9233
/proc/meminfo: memFree=1424632/2055920 swapFree=4131192/4192956
[pid=9227] ppid=9225 vsize=5356 CPUtime=8.66
/proc/9227/stat : 9227 (SatELiteGTI) S 9225 9227 9089 0 -1 4194304 336 42084 0 0 0 0 832 34 16 0 1 0 315113335 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9227/statm: 1339 239 197 169 0 50 0
[pid=9233] ppid=9227 vsize=117860 CPUtime=213.52
/proc/9233/stat : 9233 (minisat_static) R 9227 9227 9089 0 -1 4194304 28795 0 0 0 21326 26 0 0 25 0 1 0 315114203 120688640 28748 1992294400 134512640 135215339 4294956240 18446744073709551615 134538574 0 0 4096 3 0 0 0 17 0 0 0
/proc/9233/statm: 29465 28748 77 171 0 29292 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 123216

[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 9233
/proc/meminfo: memFree=1401528/2055920 swapFree=4131192/4192956
[pid=9227] ppid=9225 vsize=5356 CPUtime=8.66
/proc/9227/stat : 9227 (SatELiteGTI) S 9225 9227 9089 0 -1 4194304 336 42084 0 0 0 0 832 34 16 0 1 0 315113335 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9227/statm: 1339 239 197 169 0 50 0
[pid=9233] ppid=9227 vsize=141240 CPUtime=273.49
/proc/9233/stat : 9233 (minisat_static) R 9227 9227 9089 0 -1 4194304 34603 0 0 0 27319 30 0 0 25 0 1 0 315114203 144629760 34556 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/9233/statm: 35310 34556 77 171 0 35137 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 146596

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 9233
/proc/meminfo: memFree=1377080/2055920 swapFree=4131192/4192956
[pid=9227] ppid=9225 vsize=5356 CPUtime=8.66
/proc/9227/stat : 9227 (SatELiteGTI) S 9225 9227 9089 0 -1 4194304 336 42084 0 0 0 0 832 34 16 0 1 0 315113335 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9227/statm: 1339 239 197 169 0 50 0
[pid=9233] ppid=9227 vsize=165264 CPUtime=333.46
/proc/9233/stat : 9233 (minisat_static) R 9227 9227 9089 0 -1 4194304 40655 0 0 0 33309 37 0 0 25 0 1 0 315114203 169230336 40608 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/9233/statm: 41316 40608 77 171 0 41143 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 170620

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 9233
/proc/meminfo: memFree=1354424/2055920 swapFree=4131192/4192956
[pid=9227] ppid=9225 vsize=5356 CPUtime=8.66
/proc/9227/stat : 9227 (SatELiteGTI) S 9225 9227 9089 0 -1 4194304 336 42084 0 0 0 0 832 34 16 0 1 0 315113335 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9227/statm: 1339 239 197 169 0 50 0
[pid=9233] ppid=9227 vsize=188236 CPUtime=393.44

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

/proc/9233/statm: 243729 242568 77 171 0 243556 0
Current children cumulated CPU time (s) 5019.62
Current children cumulated vsize (KiB) 980272

[startup+5082.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11315
/proc/meminfo: memFree=411256/2055920 swapFree=4131192/4192956
[pid=9227] ppid=9225 vsize=5356 CPUtime=8.66
/proc/9227/stat : 9227 (SatELiteGTI) S 9225 9227 9089 0 -1 4194304 336 42084 0 0 0 0 832 34 16 0 1 0 315113335 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9227/statm: 1339 239 197 169 0 50 0
[pid=9233] ppid=9227 vsize=981924 CPUtime=5070.93
/proc/9233/stat : 9233 (minisat_static) R 9227 9227 9089 0 -1 4194304 244374 0 0 0 506826 267 0 0 25 0 1 0 315114203 1005490176 244327 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9233/statm: 245481 244327 77 171 0 245308 0
Current children cumulated CPU time (s) 5079.59
Current children cumulated vsize (KiB) 987280

[startup+5142.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11315
/proc/meminfo: memFree=406264/2055920 swapFree=4131192/4192956
[pid=9227] ppid=9225 vsize=5356 CPUtime=8.66
/proc/9227/stat : 9227 (SatELiteGTI) S 9225 9227 9089 0 -1 4194304 336 42084 0 0 0 0 832 34 16 0 1 0 315113335 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9227/statm: 1339 239 197 169 0 50 0
[pid=9233] ppid=9227 vsize=987176 CPUtime=5130.91
/proc/9233/stat : 9233 (minisat_static) R 9227 9227 9089 0 -1 4194304 245637 0 0 0 512823 268 0 0 25 0 1 0 315114203 1010868224 245590 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9233/statm: 246794 245590 77 171 0 246621 0
Current children cumulated CPU time (s) 5139.57
Current children cumulated vsize (KiB) 992532

[startup+5202.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11315
/proc/meminfo: memFree=401784/2055920 swapFree=4131192/4192956
[pid=9227] ppid=9225 vsize=5356 CPUtime=8.66
/proc/9227/stat : 9227 (SatELiteGTI) S 9225 9227 9089 0 -1 4194304 336 42084 0 0 0 0 832 34 16 0 1 0 315113335 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9227/statm: 1339 239 197 169 0 50 0
[pid=9233] ppid=9227 vsize=991512 CPUtime=5190.88
/proc/9233/stat : 9233 (minisat_static) R 9227 9227 9089 0 -1 4194304 246700 0 0 0 518819 269 0 0 25 0 1 0 315114203 1015308288 246653 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9233/statm: 247878 246653 77 171 0 247705 0
Current children cumulated CPU time (s) 5199.54
Current children cumulated vsize (KiB) 996868

[startup+5262.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11315
/proc/meminfo: memFree=397496/2055920 swapFree=4131192/4192956
[pid=9227] ppid=9225 vsize=5356 CPUtime=8.66
/proc/9227/stat : 9227 (SatELiteGTI) S 9225 9227 9089 0 -1 4194304 336 42084 0 0 0 0 832 34 16 0 1 0 315113335 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9227/statm: 1339 239 197 169 0 50 0
[pid=9233] ppid=9227 vsize=995752 CPUtime=5250.86
/proc/9233/stat : 9233 (minisat_static) R 9227 9227 9089 0 -1 4194304 247770 0 0 0 524817 269 0 0 25 0 1 0 315114203 1019650048 247723 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/9233/statm: 248938 247723 77 171 0 248765 0
Current children cumulated CPU time (s) 5259.52
Current children cumulated vsize (KiB) 1001108

[startup+5322.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11315
/proc/meminfo: memFree=393656/2055920 swapFree=4131192/4192956
[pid=9227] ppid=9225 vsize=5356 CPUtime=8.66
/proc/9227/stat : 9227 (SatELiteGTI) S 9225 9227 9089 0 -1 4194304 336 42084 0 0 0 0 832 34 16 0 1 0 315113335 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9227/statm: 1339 239 197 169 0 50 0
[pid=9233] ppid=9227 vsize=999900 CPUtime=5310.84
/proc/9233/stat : 9233 (minisat_static) R 9227 9227 9089 0 -1 4194304 248731 0 0 0 530814 270 0 0 25 0 1 0 315114203 1023897600 248684 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9233/statm: 249975 248684 77 171 0 249802 0
Current children cumulated CPU time (s) 5319.5
Current children cumulated vsize (KiB) 1005256

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

[startup+5324.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11315
/proc/meminfo: memFree=393656/2055920 swapFree=4131192/4192956
[pid=9227] ppid=9225 vsize=5356 CPUtime=8.66
/proc/9227/stat : 9227 (SatELiteGTI) S 9225 9227 9089 0 -1 4194304 336 42084 0 0 0 0 832 34 16 0 1 0 315113335 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9227/statm: 1339 239 197 169 0 50 0
[pid=9233] ppid=9227 vsize=1000048 CPUtime=5313.34
/proc/9233/stat : 9233 (minisat_static) R 9227 9227 9089 0 -1 4194304 248738 0 0 0 531064 270 0 0 25 0 1 0 315114203 1024049152 248691 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/9233/statm: 250012 248691 77 171 0 249839 0
Current children cumulated CPU time (s) 5322
Current children cumulated vsize (KiB) 1005404

[startup+5350.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11315
/proc/meminfo: memFree=392312/2055920 swapFree=4131192/4192956
[pid=9227] ppid=9225 vsize=5356 CPUtime=8.66
/proc/9227/stat : 9227 (SatELiteGTI) S 9225 9227 9089 0 -1 4194304 336 42084 0 0 0 0 832 34 16 0 1 0 315113335 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9227/statm: 1339 239 197 169 0 50 0
[pid=9233] ppid=9227 vsize=1001328 CPUtime=5338.92
/proc/9233/stat : 9233 (minisat_static) R 9227 9227 9089 0 -1 4194304 249070 0 0 0 533622 270 0 0 25 0 1 0 315114203 1025359872 249023 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9233/statm: 250332 249023 77 171 0 250159 0
Current children cumulated CPU time (s) 5347.58
Current children cumulated vsize (KiB) 1006684

[startup+5363.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11315
/proc/meminfo: memFree=391864/2055920 swapFree=4131192/4192956
[pid=9227] ppid=9225 vsize=5356 CPUtime=8.66
/proc/9227/stat : 9227 (SatELiteGTI) S 9225 9227 9089 0 -1 4194304 336 42084 0 0 0 0 832 34 16 0 1 0 315113335 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9227/statm: 1339 239 197 169 0 50 0
[pid=9233] ppid=9227 vsize=1001868 CPUtime=5351.72
/proc/9233/stat : 9233 (minisat_static) R 9227 9227 9089 0 -1 4194304 249201 0 0 0 534902 270 0 0 25 0 1 0 315114203 1025912832 249154 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9233/statm: 250467 249154 77 171 0 250294 0
Current children cumulated CPU time (s) 5360.38
Current children cumulated vsize (KiB) 1007224

[startup+5369.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11315
/proc/meminfo: memFree=391672/2055920 swapFree=4131192/4192956
[pid=9227] ppid=9225 vsize=5356 CPUtime=8.66
/proc/9227/stat : 9227 (SatELiteGTI) S 9225 9227 9089 0 -1 4194304 336 42084 0 0 0 0 832 34 16 0 1 0 315113335 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9227/statm: 1339 239 197 169 0 50 0
[pid=9233] ppid=9227 vsize=1002000 CPUtime=5358.11
/proc/9233/stat : 9233 (minisat_static) R 9227 9227 9089 0 -1 4194304 249245 0 0 0 535541 270 0 0 25 0 1 0 315114203 1026048000 249198 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9233/statm: 250500 249198 77 171 0 250327 0
Current children cumulated CPU time (s) 5366.77
Current children cumulated vsize (KiB) 1007356

[startup+5372.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11315
/proc/meminfo: memFree=391608/2055920 swapFree=4131192/4192956
[pid=9227] ppid=9225 vsize=5356 CPUtime=8.66
/proc/9227/stat : 9227 (SatELiteGTI) S 9225 9227 9089 0 -1 4194304 336 42084 0 0 0 0 832 34 16 0 1 0 315113335 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9227/statm: 1339 239 197 169 0 50 0
[pid=9233] ppid=9227 vsize=1002132 CPUtime=5361.31
/proc/9233/stat : 9233 (minisat_static) R 9227 9227 9089 0 -1 4194304 249276 0 0 0 535861 270 0 0 25 0 1 0 315114203 1026183168 249229 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 0 0 0
/proc/9233/statm: 250533 249229 77 171 0 250360 0
Current children cumulated CPU time (s) 5369.97
Current children cumulated vsize (KiB) 1007488

[startup+5374.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11315
/proc/meminfo: memFree=391544/2055920 swapFree=4131192/4192956
[pid=9227] ppid=9225 vsize=5356 CPUtime=8.66
/proc/9227/stat : 9227 (SatELiteGTI) S 9225 9227 9089 0 -1 4194304 336 42084 0 0 0 0 832 34 16 0 1 0 315113335 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9227/statm: 1339 239 197 169 0 50 0
[pid=9233] ppid=9227 vsize=1002264 CPUtime=5362.91
/proc/9233/stat : 9233 (minisat_static) R 9227 9227 9089 0 -1 4194304 249289 0 0 0 536021 270 0 0 25 0 1 0 315114203 1026318336 249242 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9233/statm: 250566 249242 77 171 0 250393 0
Current children cumulated CPU time (s) 5371.57
Current children cumulated vsize (KiB) 1007620

[startup+5376 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11315
/proc/meminfo: memFree=391480/2055920 swapFree=4131192/4192956
[pid=9227] ppid=9225 vsize=5356 CPUtime=8.66
/proc/9227/stat : 9227 (SatELiteGTI) S 9225 9227 9089 0 -1 4194304 336 42084 0 0 0 0 832 34 16 0 1 0 315113335 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9227/statm: 1339 239 197 169 0 50 0
[pid=9233] ppid=9227 vsize=1002264 CPUtime=5364.51
/proc/9233/stat : 9233 (minisat_static) R 9227 9227 9089 0 -1 4194304 249295 0 0 0 536181 270 0 0 25 0 1 0 315114203 1026318336 249248 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/9233/statm: 250566 249248 77 171 0 250393 0
Current children cumulated CPU time (s) 5373.17
Current children cumulated vsize (KiB) 1007620

[startup+5376.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11315
/proc/meminfo: memFree=391416/2055920 swapFree=4131192/4192956
[pid=9227] ppid=9225 vsize=5356 CPUtime=8.66
/proc/9227/stat : 9227 (SatELiteGTI) S 9225 9227 9089 0 -1 4194304 336 42084 0 0 0 0 832 34 16 0 1 0 315113335 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9227/statm: 1339 239 197 169 0 50 0
[pid=9233] ppid=9227 vsize=1002344 CPUtime=5365.31
/proc/9233/stat : 9233 (minisat_static) R 9227 9227 9089 0 -1 4194304 249318 0 0 0 536261 270 0 0 25 0 1 0 315114203 1026400256 249271 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9233/statm: 250586 249271 77 171 0 250413 0
Current children cumulated CPU time (s) 5373.97
Current children cumulated vsize (KiB) 1007700

[startup+5377.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11315
/proc/meminfo: memFree=391416/2055920 swapFree=4131192/4192956
[pid=9227] ppid=9225 vsize=5360 CPUtime=5374.38
/proc/9227/stat : 9227 (SatELiteGTI) D 9225 9227 9089 0 -1 4194304 341 291409 0 0 0 0 537118 320 19 0 1 0 315113335 5488640 241 1992294400 4194304 4889804 548682068816 18446744073709551615 214945200741 0 2147483391 4100 65536 0 0 0 17 0 0 0
/proc/9227/statm: 1340 241 198 169 0 51 0
Current children cumulated CPU time (s) 5374.38
Current children cumulated vsize (KiB) 5360

Child status: 20
Real time (s): 5377.22
CPU time (s): 5374.4
CPU user time (s): 5371.19
CPU system time (s): 3.21751
CPU usage (%): 99.9477
Max. virtual memory (cumulated for all children) (KiB): 1007700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5371.19
system time used= 3.21751
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 291899
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= 47
involuntary context switches= 14361

runsolver used 5.66414 second user time and 14.0159 second system time

The end

Launcher Data 

Begin job on node85 at 2009-05-21 03:53:57
IDJOB=1837450
IDBENCH=70985
IDSOLVER=674
FILE ID=node85/1837450-1242870834
PBS_JOBID= 9328598
Free space on /tmp= 126456 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-1837450-1242870834/watcher-1837450-1242870834 -o /tmp/evaluation-result-1837450-1242870834/solver-1837450-1242870834 -C 10000 -W 12000 -M 1800  SatELiteGTI HOME/instance-1837450-1242870834.cnf

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

MD5SUM BENCH= 5588dd996576f939b8ae497437078705
RANDOM SEED=1450664289

node85.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.238
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.238
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1564528 kB
Buffers:         63660 kB
Cached:         320220 kB
SwapCached:      56420 kB
Active:          98548 kB
Inactive:       343744 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1564528 kB
SwapTotal:     4192956 kB
SwapFree:      4131192 kB
Dirty:           23992 kB
Writeback:           0 kB
Mapped:          13976 kB
Slab:            35044 kB
Committed_AS:   980712 kB
PageTables:       1376 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= 126456 MiB
End job on node85 at 2009-05-21 05:23:34