Trace number 1821514

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.09 1200.03

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UTI-20-5p0.cnf
MD5SUM5588dd996576f939b8ae497437078705
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables225296
Number of clauses1192799
Sum of the clauses size2872868
Maximum clause length10
Minimum clause length1
Number of clauses of size 111403
Number of clauses of size 2852883
Number of clauses of size 3271793
Number of clauses of size 46300
Number of clauses of size 525200
Number of clauses of size over 525220

Solver Data 

0.00/0.00	c Parsing...
1.22/1.22	c ==============================================================================
1.22/1.22	c |           |     ORIGINAL     |              LEARNT              |          |
1.22/1.22	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.22/1.22	c ==============================================================================
1.22/1.22	c |         0 | 1180646  2859965 |  354193       0        0     nan |  0.000 % |
7.12/7.11	c |         0 |  824850  2310027 |      --       0       --      -- |     --   | -102154/25520
7.12/7.12	c ==============================================================================
7.12/7.12	c Result  :   #vars: 121563   #clauses: 824850   #literals: 2310027
7.12/7.12	c CPU time:   6.93 s
7.12/7.12	c ==============================================================================
7.92/7.96	c This is MiniSat 2.0 beta
7.92/7.96	c WARNING: for repeatability, setting FPU to use double precision
7.92/7.96	c ============================[ Problem Statistics ]=============================
7.92/7.96	c |                                                                             |
7.92/7.97	c |  Number of variables:  121563                                               |
7.92/7.97	c |  Number of clauses:    824850                                               |
7.97/8.57	c |  Parsing time:         0.57         s                                       |
7.97/8.61	c ============================[ Search Statistics ]==============================
7.97/8.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.97/8.61	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
7.97/8.61	c ===============================================================================
7.97/8.61	c |         0 |  121563   824850  2310027 |   274950        0    nan |  0.000 % |
9.02/9.02	c |       100 |  121559   824850  2310027 |   274950       96     76 |  0.701 % |
9.12/9.19	c |       200 |  121559   824850  2310027 |   274950      196     73 |  0.701 % |
9.22/9.30	c |       304 |  121559   824850  2310027 |   274950      300     73 |  0.701 % |
9.42/9.41	c |       414 |  121559   824850  2310027 |   274950      410     70 |  0.701 % |
9.52/9.54	c |       514 |  121559   824850  2310027 |   274950      510     73 |  0.701 % |
9.62/9.68	c |       626 |  121559   824850  2310027 |   274950      622     72 |  0.701 % |
9.93/9.94	c |       747 |  121523   824850  2310027 |   274950      742     76 |  0.706 % |
10.42/10.45	c |       847 |  119645   807238  2263456 |   274950      822     75 |  1.701 % |
10.52/10.59	c |       957 |  119645   807238  2263456 |   274950      932     79 |  1.701 % |
10.72/10.80	c |      1079 |  119645   807238  2263456 |   274950     1054     78 |  1.701 % |
10.82/10.90	c |      1213 |  119645   807238  2263456 |   274950     1188     81 |  1.701 % |
11.03/11.09	c |      1316 |  119645   807238  2263456 |   274950     1291     79 |  1.701 % |
11.22/11.28	c |      1426 |  119641   807238  2263456 |   274950     1399     75 |  1.721 % |
11.52/11.59	c |      1548 |  119641   807238  2263456 |   274950     1521     76 |  1.721 % |
11.82/11.85	c |      1681 |  119525   807238  2263456 |   274950     1649     73 |  2.976 % |
12.22/12.25	c |      1827 |  117562   794940  2232802 |   274950     1789     71 |  4.027 % |
12.82/12.81	c |      1930 |  117278   794940  2232802 |   274950     1889     69 |  7.404 % |
13.02/13.06	c |      2041 |  117216   794940  2232802 |   274950     1999     69 |  8.101 % |
13.32/13.34	c |      2162 |  117092   794940  2232802 |   274950     2118     67 |  9.140 % |
13.52/13.60	c |      2296 |  117057   794940  2232802 |   274950     2251     65 |  9.186 % |
13.72/13.73	c |      2442 |  117057   794940  2232802 |   274950     2397     65 |  9.186 % |
13.92/13.96	c |      2603 |  117057   794940  2232802 |   274950     2558     64 |  9.186 % |
14.12/14.18	c |      2703 |  117045   794940  2232802 |   274950     2658     64 |  9.186 % |
14.72/14.71	c |      2813 |  110245   745601  2107207 |   274950     2756     63 | 10.747 % |
14.82/14.86	c |      2935 |  110183   745601  2107207 |   274950     2878     67 | 10.747 % |
14.92/14.97	c |      3068 |  110183   745601  2107207 |   274950     3011     69 | 10.747 % |
15.12/15.20	c |      3214 |  110180   745601  2107207 |   274950     3156     68 | 10.757 % |
15.43/15.43	c |      3374 |  110180   745601  2107207 |   274950     3316     74 | 10.757 % |
15.92/16.00	c |      3550 |  109672   745601  2107207 |   274950     3489     72 | 10.844 % |
16.22/16.29	c |      3651 |  109224   745601  2107207 |   274950     3588     72 | 11.928 % |
16.72/16.71	c |      3761 |  107063   721374  2044445 |   274950     3671     71 | 11.928 % |
17.42/17.43	c |      3883 |  106824   721374  2044445 |   274950     3785     70 | 14.547 % |
17.82/17.90	c |      4017 |  106781   721374  2044445 |   274950     3917     69 | 14.997 % |
18.22/18.22	c |      4164 |  102192   687929  1958776 |   274950     4046     67 | 15.935 % |
18.42/18.48	c |      4324 |  101974   687929  1958776 |   274950     4202     66 | 17.235 % |
18.92/18.95	c |      4500 |  101810   687929  1958776 |   274950     4374     65 | 17.743 % |
19.42/19.46	c |      4693 |  101672   687929  1958776 |   274950     4563     64 | 18.265 % |
19.62/19.61	c |      4795 |  101672   687929  1958776 |   274950     4665     66 | 18.265 % |
19.72/19.76	c |      4905 |  101556   687929  1958776 |   274950     4773     66 | 18.691 % |
19.83/19.89	c |      5026 |  101556   687929  1958776 |   274950     4894     65 | 18.691 % |
20.02/20.09	c |      5159 |   98714   664587  1900404 |   274950     4989     66 | 18.796 % |
20.22/20.25	c |      5307 |   98714   664587  1900404 |   274950     5137     66 | 18.796 % |
20.52/20.57	c |      5467 |   98699   664587  1900404 |   274950     5296     65 | 19.367 % |
20.82/20.88	c |      5643 |   98699   664587  1900404 |   274950     5472     67 | 19.367 % |
21.02/21.09	c |      5836 |   98699   664587  1900404 |   274950     5665     69 | 19.367 % |
21.52/21.54	c |      6048 |   98545   664587  1900404 |   274950     5874     68 | 20.245 % |
21.72/21.73	c |      6152 |   98415   664587  1900404 |   274950     5976     68 | 20.476 % |
21.92/21.95	c |      6262 |   96553   650017  1862417 |   274950     6075     68 | 20.575 % |
22.42/22.43	c |      6383 |   96548   650017  1862417 |   274950     6192     68 | 20.603 % |
22.62/22.64	c |      6518 |   96547   650017  1862417 |   274950     6326     68 | 20.614 % |
22.82/22.82	c |      6666 |   96546   650017  1862417 |   274950     6474     67 | 20.614 % |
23.13/23.12	c |      6829 |   96536   650017  1862417 |   274950     6635     66 | 21.140 % |
23.62/23.63	c |      7007 |   96324   650017  1862417 |   274950     6810     66 | 21.508 % |
24.12/24.14	c |      7202 |   95225   640557  1838018 |   274950     6981     65 | 21.718 % |
24.32/24.38	c |      7414 |   95223   640557  1838018 |   274950     7191     65 | 21.871 % |
24.62/24.66	c |      7650 |   95153   640557  1838018 |   274950     7426     65 | 21.881 % |
24.92/24.99	c |      7750 |   95115   640557  1838018 |   274950     7524     65 | 22.022 % |
25.12/25.20	c |      7862 |   95079   640557  1838018 |   274950     7635     65 | 22.110 % |
25.52/25.52	c |      7983 |   95073   640557  1838018 |   274950     7755     65 | 22.261 % |
25.72/25.76	c |      8118 |   94385   635897  1827689 |   274950     7880     64 | 22.446 % |
26.22/26.21	c |      8266 |   94134   635897  1827689 |   274950     8019     63 | 25.749 % |
26.52/26.53	c |      8428 |   94121   635897  1827689 |   274950     8177     63 | 25.811 % |
26.82/26.81	c |      8604 |   94067   635897  1827689 |   274950     8351     62 | 26.074 % |
27.22/27.23	c |      8801 |   93998   635897  1827689 |   274950     8548     62 | 26.074 % |
27.72/27.72	c |      9013 |   89580   601173  1738870 |   274950     8722     62 | 26.310 % |
28.22/28.26	c |      9246 |   89535   601173  1738870 |   274950     8952     62 | 26.736 % |
28.82/28.81	c |      9502 |   89534   601173  1738870 |   274950     9207     62 | 26.782 % |
29.02/29.04	c |      9602 |   89473   601173  1738870 |   274950     9305     61 | 26.955 % |
29.32/29.31	c |      9713 |   89466   601173  1738870 |   274950     9414     61 | 26.976 % |
29.73/29.79	c |      9835 |   87993   582561  1687089 |   274950     9517     61 | 27.615 % |
30.02/30.07	c |      9968 |   87972   582561  1687089 |   274950     9649     61 | 27.661 % |
30.32/30.32	c |     10115 |   87972   582561  1687089 | 2147483647     9796     61 | 27.661 % |
30.62/30.65	c |     10277 |   87968   582561  1687089 | 2147483647     9956     61 | 27.682 % |
30.83/30.89	c |     10456 |   87968   582561  1687089 | 2147483647    10135     61 | 27.682 % |
31.22/31.30	c |     10649 |   87968   582561  1687089 | 2147483647    10328     61 | 27.682 % |
31.82/31.90	c |     10861 |   87963   582561  1687089 | 2147483647    10539     61 | 27.692 % |
32.32/32.36	c |     11094 |   87898   581906  1685371 | 2147483647    10736     61 | 27.701 % |
32.92/32.92	c |     11352 |   87891   581906  1685371 | 2147483647    10992     62 | 27.726 % |
33.22/33.29	c |     11634 |   87891   581906  1685371 | 2147483647    11274     61 | 27.726 % |
33.52/33.55	c |     11735 |   87891   581906  1685371 | 2147483647    11375     61 | 27.726 % |
33.82/33.85	c |     11846 |   87890   581906  1685371 | 2147483647    11485     61 | 27.735 % |
34.02/34.05	c |     11967 |   87890   581906  1685371 | 2147483647    11606     61 | 27.735 % |
34.32/34.36	c |     12100 |   87888   581906  1685371 | 2147483647    11737     62 | 27.814 % |
34.72/34.73	c |     12246 |   87731   581098  1683458 | 2147483647    11875     62 | 27.976 % |
35.02/35.03	c |     12406 |   87731   581098  1683458 | 2147483647    12035     62 | 27.976 % |
35.42/35.46	c |     12583 |   87731   581098  1683458 | 2147483647    12212     61 | 27.976 % |
35.82/35.85	c |     12776 |   87731   581098  1683458 | 2147483647    12405     61 | 27.976 % |
36.33/36.35	c |     12988 |   87731   581098  1683458 | 2147483647    12617     61 | 27.976 % |
36.92/36.93	c |     13222 |   87541   579490  1679164 | 2147483647    12848     61 | 27.987 % |
37.32/37.41	c |     13478 |   87541   579490  1679164 | 2147483647    13104     62 | 27.987 % |
37.72/37.77	c |     13759 |   87521   579490  1679164 | 2147483647    13383     62 | 28.077 % |
38.53/38.57	c |     14079 |   87505   579490  1679164 | 2147483647    13699     63 | 28.099 % |
38.62/38.70	c |     14179 |   87505   579490  1679164 | 2147483647    13799     63 | 28.099 % |
38.82/38.85	c |     14291 |   87461   579490  1679164 | 2147483647    13909     64 | 28.140 % |
38.92/38.95	c |     14412 |   87461   579490  1679164 | 2147483647    14030     64 | 28.140 % |
39.12/39.11	c |     14546 |   87461   579490  1679164 | 2147483647    14164     64 | 28.140 % |
39.22/39.30	c |     14694 |   87355   577828  1674680 | 2147483647    14267     63 | 28.147 % |
39.52/39.52	c |     14854 |   87353   577828  1674680 | 2147483647    14426     64 | 28.155 % |
39.92/39.95	c |     15032 |   87353   577828  1674680 | 2147483647    14604     64 | 28.155 % |
40.02/40.10	c |     15225 |   87353   577828  1674680 | 2147483647    14797     63 | 28.155 % |
40.52/40.59	c |     15438 |   87353   577828  1674680 | 2147483647    15010     64 | 28.155 % |
40.92/40.97	c |     15671 |   87353   577828  1674680 | 2147483647    15243     65 | 28.155 % |
41.22/41.22	c |     15929 |   87353   577828  1674680 | 2147483647    15501     66 | 28.155 % |
41.72/41.75	c |     16210 |   87330   577706  1674366 | 2147483647    15779     66 | 28.319 % |
42.43/42.45	c |     16520 |   87330   577706  1674366 | 2147483647    16089     67 | 28.319 % |
42.83/42.89	c |     16860 |   87327   577706  1674366 | 2147483647    16427     68 | 28.381 % |
42.93/42.97	c |     16962 |   87327   577706  1674366 | 2147483647    16529     68 | 28.381 % |
43.03/43.04	c |     17073 |   87327   577706  1674366 | 2147483647    16640     68 | 28.381 % |
43.13/43.14	c |     17194 |   87327   577706  1674366 | 2147483647    16761     69 | 28.381 % |
43.23/43.29	c |     17328 |   87327   577706  1674366 | 2147483647    16895     69 | 28.381 % |
43.63/43.64	c |     17475 |   87301   577706  1674366 | 2147483647    17042     69 | 28.381 % |
44.03/44.06	c |     17636 |   87301   577706  1674366 | 2147483647    17203     69 | 28.381 % |
44.53/44.53	c |     17818 |   87062   575194  1668029 | 2147483647    17278     70 | 28.381 % |
45.03/45.06	c |     18013 |   87062   575194  1668029 | 2147483647    17473     70 | 28.381 % |
45.73/45.73	c |     18225 |   87003   575194  1668029 | 2147483647    17683     70 | 28.568 % |
46.13/46.15	c |     18458 |   87003   575194  1668029 | 2147483647    17916     70 | 28.568 % |
46.53/46.58	c |     18715 |   87000   575194  1668029 | 2147483647    18172     70 | 28.570 % |
47.03/47.05	c |     18997 |   87000   575194  1668029 | 2147483647    18454     71 | 28.570 % |
47.73/47.78	c |     19308 |   86768   570402  1654395 | 2147483647    18746     72 | 28.963 % |
48.33/48.37	c |     19647 |   86768   570402  1654395 | 2147483647    19085     72 | 28.963 % |
48.93/48.96	c |     20019 |   86751   570402  1654395 | 2147483647    19455     72 | 29.258 % |
49.03/49.03	c |     20120 |   86751   570402  1654395 | 2147483647    19556     72 | 29.258 % |
49.23/49.30	c |     20230 |   86751   570402  1654395 | 2147483647    19666     72 | 29.258 % |
49.53/49.54	c |     20353 |   86750   570402  1654395 | 2147483647    19788     72 | 29.261 % |
49.83/49.86	c |     20486 |   86748   570402  1654395 | 2147483647    19920     72 | 29.268 % |
50.13/50.20	c |     20633 |   85984   557134  1617417 | 2147483647    20031     72 | 29.268 % |
50.53/50.57	c |     20794 |   85984   557134  1617417 | 2147483647    20192     72 | 29.268 % |
50.83/50.82	c |     20970 |   85984   557134  1617417 | 2147483647    20367     73 | 29.402 % |
51.03/51.08	c |     21164 |   85983   557134  1617417 | 2147483647    20561     72 | 29.402 % |
51.63/51.65	c |     21378 |   85954   557134  1617417 | 2147483647    20774     72 | 29.409 % |
52.13/52.21	c |     21615 |   85941   557134  1617417 | 2147483647    21009     73 | 29.649 % |
52.63/52.63	c |     21872 |   85941   557134  1617417 | 2147483647    21266     73 | 29.649 % |
53.23/53.22	c |     22153 |   85516   550985  1600813 | 2147483647    21541     73 | 29.767 % |
53.93/53.96	c |     22463 |   85515   550985  1600813 | 2147483647    21850     74 | 29.768 % |
54.63/54.67	c |     22802 |   85511   550985  1600813 | 2147483647    22187     75 | 29.779 % |
55.13/55.12	c |     23174 |   85492   550985  1600813 | 2147483647    22558     75 | 29.887 % |
55.63/55.71	c |     23583 |   85492   550985  1600813 | 2147483647    22967     77 | 29.887 % |
55.83/55.82	c |     23687 |   85492   550985  1600813 | 2147483647    23071     77 | 29.887 % |
56.03/56.03	c |     23802 |   85197   549268  1596783 | 2147483647    23153     77 | 29.957 % |
56.13/56.20	c |     23923 |   85193   549268  1596783 | 2147483647    23274     77 | 29.957 % |
56.43/56.51	c |     24056 |   85191   549268  1596783 | 2147483647    23405     77 | 29.976 % |
56.63/56.69	c |     24202 |   85159   549268  1596783 | 2147483647    23549     77 | 30.068 % |
56.93/56.97	c |     24362 |   85157   549268  1596783 | 2147483647    23707     77 | 30.069 % |
57.63/57.70	c |     24540 |   85157   549268  1596783 | 2147483647    23885     78 | 30.069 % |
57.93/57.96	c |     24733 |   85157   549268  1596783 | 2147483647    24078     78 | 30.069 % |
58.23/58.27	c |     24949 |   85134   549268  1596783 | 2147483647    24291     79 | 30.414 % |
58.83/58.90	c |     25183 |   85121   549268  1596783 | 2147483647    24525     79 | 30.414 % |
59.43/59.45	c |     25439 |   85120   549268  1596783 | 2147483647    24780     80 | 30.519 % |
60.13/60.19	c |     25722 |   84463   539356  1569900 | 2147483647    24940     80 | 30.519 % |
60.83/60.86	c |     26031 |   84463   539356  1569900 | 2147483647    25249     80 | 30.519 % |
61.13/61.12	c |     26370 |   84446   539356  1569900 | 2147483647    25585     80 | 30.555 % |
61.53/61.54	c |     26743 |   84437   539356  1569900 | 2147483647    25957     80 | 30.690 % |
61.83/61.88	c |     27152 |   84437   539356  1569900 | 2147483647    26366     80 | 30.690 % |
62.93/62.98	c |     27602 |   84436   539356  1569900 | 2147483647    26815     81 | 30.753 % |
63.23/63.25	c |     27703 |   84170   537270  1564467 | 2147483647    26861     81 | 30.760 % |
63.43/63.50	c |     27813 |   84170   537270  1564467 | 2147483647    26971     81 | 30.760 % |
63.73/63.72	c |     27938 |   84170   537270  1564467 | 2147483647    27096     81 | 30.760 % |
63.83/63.89	c |     28071 |   84170   537270  1564467 | 2147483647    27229     81 | 30.760 % |
64.13/64.15	c |     28217 |   84169   537270  1564467 | 2147483647    27374     81 | 30.761 % |
64.33/64.34	c |     28378 |   84169   537270  1564467 | 2147483647    27535     81 | 30.761 % |
64.53/64.60	c |     28555 |   84169   537270  1564467 | 2147483647    27712     81 | 30.761 % |
64.83/64.89	c |     28749 |   84169   537270  1564467 | 2147483647    27906     81 | 30.761 % |
65.43/65.48	c |     28962 |   84164   537270  1564467 | 2147483647    28115     81 | 30.916 % |
65.93/65.93	c |     29195 |   84123   537270  1564467 | 2147483647    28345     81 | 31.237 % |
66.43/66.42	c |     29451 |   84121   537270  1564467 | 2147483647    28601     82 | 31.237 % |
67.03/67.04	c |     29732 |   83590   529300  1542546 | 2147483647    28818     83 | 31.237 % |
67.53/67.53	c |     30041 |   83590   529300  1542546 | 2147483647    29127     83 | 31.237 % |
67.83/67.91	c |     30380 |   83585   529300  1542546 | 2147483647    29464     83 | 31.309 % |
68.43/68.49	c |     30752 |   83562   529300  1542546 | 2147483647    29836     84 | 31.309 % |
69.23/69.28	c |     31162 |   83549   529300  1542546 | 2147483647    30245     85 | 31.395 % |
69.93/70.00	c |     31611 |   83536   529300  1542546 | 2147483647    30693     86 | 31.505 % |
70.43/70.46	c |     32104 |   83255   525818  1532782 | 2147483647    30933     86 | 31.513 % |
70.53/70.58	c |     32204 |   83255   525818  1532782 | 2147483647    31033     86 | 31.513 % |
70.73/70.80	c |     32314 |   83251   525818  1532782 | 2147483647    31140     86 | 31.628 % |
70.93/70.93	c |     32435 |   83251   525818  1532782 | 2147483647    31261     86 | 31.628 % |
71.03/71.04	c |     32568 |   83251   525818  1532782 | 2147483647    31394     86 | 31.628 % |
71.23/71.25	c |     32715 |   83235   525818  1532782 | 2147483647    31537     85 | 31.700 % |
71.63/71.67	c |     32875 |   83235   525818  1532782 | 2147483647    31697     86 | 31.700 % |
72.03/72.04	c |     33051 |   83235   525818  1532782 | 2147483647    31873     86 | 31.700 % |
72.33/72.34	c |     33248 |   83235   525818  1532782 | 2147483647    32070     86 | 31.700 % |
72.63/72.63	c |     33460 |   83235   525818  1532782 | 2147483647    32282     86 | 31.700 % |
72.83/72.89	c |     33693 |   83235   525818  1532782 | 2147483647    32515     87 | 31.700 % |
73.13/73.17	c |     33949 |   83232   525818  1532782 | 2147483647    32769     87 | 31.713 % |
73.73/73.75	c |     34232 |   83229   525818  1532782 | 2147483647    33050     87 | 31.721 % |
74.23/74.31	c |     34542 |   83229   525818  1532782 | 2147483647    33360     87 | 31.721 % |
74.93/74.99	c |     34882 |   83002   523774  1527200 | 2147483647    33669     88 | 31.721 % |
75.43/75.43	c |     35257 |   83002   523774  1527200 | 2147483647    34044     89 | 31.721 % |
75.83/75.83	c |     35667 |   83002   523774  1527200 | 2147483647    34454     89 | 31.721 % |
76.53/76.52	c |     36116 |   83002   523774  1527200 | 2147483647    34903     89 | 31.721 % |
77.63/77.64	c |     36613 |   83002   523774  1527200 | 2147483647    35400     90 | 31.721 % |
78.23/78.23	c |     37155 |   83002   523774  1527200 | 2147483647    35941     90 | 31.722 % |
78.33/78.33	c |     37255 |   83001   523774  1527200 | 2147483647    36041     90 | 31.722 % |
78.43/78.47	c |     37365 |   83001   523774  1527200 | 2147483647    36151     90 | 31.722 % |
78.73/78.80	c |     37486 |   83001   523774  1527200 | 2147483647    36272     90 | 31.722 % |
79.33/79.34	c |     37619 |   83001   523770  1527192 | 2147483647    36402     90 | 31.775 % |
79.43/79.51	c |     37765 |   83000   523770  1527192 | 2147483647    36548     90 | 31.775 % |
79.73/79.74	c |     37925 |   83000   523770  1527192 | 2147483647    36708     90 | 31.775 % |
79.93/79.93	c |     38104 |   83000   523770  1527192 | 2147483647    36887     91 | 31.775 % |
80.13/80.14	c |     38298 |   82999   523770  1527192 | 2147483647    37080     91 | 31.782 % |
80.53/80.52	c |     38510 |   82999   523770  1527192 | 2147483647    37292     91 | 31.782 % |
80.83/80.91	c |     38743 |   82999   523770  1527192 | 2147483647    37525     91 | 31.782 % |
81.23/81.24	c |     39000 |   82999   523770  1527192 | 2147483647    37782     92 | 31.782 % |
81.83/81.89	c |     39281 |   82999   523770  1527192 | 2147483647    38063     92 | 31.782 % |
82.63/82.66	c |     39594 |   82999   523770  1527192 | 2147483647    38376     92 | 31.782 % |
83.33/83.33	c |     39933 |   82999   523770  1527192 | 2147483647    38715     93 | 31.782 % |
83.73/83.78	c |     40305 |   82996   523770  1527192 | 2147483647    39086     93 | 31.791 % |
84.73/84.72	c |     40718 |   82913   523296  1526120 | 2147483647    39492     93 | 31.794 % |
85.63/85.67	c |     41167 |   82900   523296  1526120 | 2147483647    39940     93 | 31.836 % |
86.33/86.37	c |     41660 |   82897   523296  1526120 | 2147483647    40432     93 | 31.844 % |
87.43/87.44	c |     42203 |   82896   523296  1526120 | 2147483647    40974     94 | 31.845 % |
88.53/88.56	c |     42801 |   82882   523296  1526120 | 2147483647    41568     95 | 31.872 % |
88.73/88.72	c |     42901 |   82880   523296  1526120 | 2147483647    41666     95 | 31.881 % |
88.93/88.93	c |     43011 |   82880   523296  1526120 | 2147483647    41776     95 | 31.881 % |
89.03/89.08	c |     43132 |   82877   523296  1526120 | 2147483647    41896     95 | 31.898 % |
89.33/89.36	c |     43265 |   82876   523296  1526120 | 2147483647    42029     95 | 31.898 % |
89.63/89.68	c |     43412 |   82874   523296  1526120 | 2147483647    42174     95 | 31.900 % |
90.03/90.02	c |     43573 |   82785   522485  1524056 | 2147483647    42323     95 | 31.900 % |
90.33/90.40	c |     43753 |   82785   522485  1524056 | 2147483647    42503     95 | 31.900 % |
90.63/90.66	c |     43947 |   82785   522485  1524056 | 2147483647    42697     96 | 31.900 % |
90.83/90.90	c |     44160 |   82785   522485  1524056 | 2147483647    42909     96 | 31.900 % |
91.13/91.16	c |     44393 |   82783   522485  1524056 | 2147483647    43141     96 | 31.907 % |
91.53/91.51	c |     44651 |   82783   522485  1524056 | 2147483647    43399     96 | 31.907 % |
91.73/91.80	c |     44932 |   82776   522485  1524056 | 2147483647    43679     96 | 31.908 % |
92.13/92.18	c |     45241 |   82774   522485  1524056 | 2147483647    43986     96 | 31.924 % |
92.73/92.77	c |     45581 |   82756   522485  1524056 | 2147483647    44323     96 | 31.955 % |
93.63/93.63	c |     45956 |   82749   522485  1524056 | 2147483647    44698     96 | 31.955 % |
94.23/94.25	c |     46367 |   82736   522485  1524056 | 2147483647    45106     97 | 32.049 % |
94.83/94.88	c |     46816 |   82736   522485  1524056 | 2147483647    45555     97 | 32.049 % |
95.83/95.85	c |     47312 |   82735   522485  1524056 | 2147483647    46050     97 | 32.050 % |
97.23/97.29	c |     47854 |   82597   521267  1521147 | 2147483647    46556     98 | 32.068 % |
97.83/97.85	c |     48450 |   82595   521267  1521147 | 2147483647    47150     99 | 32.083 % |
98.83/98.85	c |     49105 |   82595   521267  1521147 | 2147483647    47805     99 | 32.083 % |
98.93/98.96	c |     49205 |   82595   521267  1521147 | 2147483647    47905     99 | 32.083 % |
99.13/99.16	c |     49315 |   82595   521267  1521147 | 2147483647    48015     99 | 32.083 % |
99.43/99.44	c |     49436 |   82591   521267  1521147 | 2147483647    48136     99 | 32.083 % |
99.83/99.83	c |     49573 |   82591   521267  1521147 | 2147483647    48273     99 | 32.083 % |
100.13/100.13	c |     49719 |   82591   521267  1521147 | 2147483647    48419     99 | 32.083 % |
100.53/100.53	c |     49880 |   82591   521267  1521147 | 2147483647    48580     99 | 32.083 % |
100.83/100.89	c |     50056 |   82591   521267  1521147 | 2147483647    48756     99 | 32.083 % |
101.13/101.21	c |     50249 |   82588   521267  1521147 | 2147483647    48947     99 | 32.093 % |
101.83/101.81	c |     50461 |   82588   521267  1521147 | 2147483647    49159    100 | 32.093 % |
102.03/102.09	c |     50694 |   82588   521267  1521147 | 2147483647    49392    100 | 32.093 % |
102.33/102.36	c |     50951 |   82588   521267  1521147 | 2147483647    49649    100 | 32.093 % |
103.03/103.04	c |     51234 |   82550   520858  1520061 | 2147483647    49916    100 | 32.093 % |
103.43/103.50	c |     51543 |   82550   520858  1520061 | 2147483647    50225    101 | 32.093 % |
104.53/104.58	c |     51882 |   82547   520858  1520061 | 2147483647    50562    102 | 32.127 % |
105.23/105.28	c |     52254 |   82546   520858  1520061 | 2147483647    50933    102 | 32.150 % |
105.73/105.81	c |     52663 |   82544   520858  1520061 | 2147483647    51341    102 | 32.156 % |
106.63/106.62	c |     53114 |   82529   520858  1520061 | 2147483647    51792    102 | 32.156 % |
107.53/107.52	c |     53607 |   82525   520858  1520061 | 2147483647    52281    102 | 32.530 % |
108.23/108.29	c |     54149 |   82524   520858  1520061 | 2147483647    52822    102 | 32.531 % |
109.23/109.22	c |     54745 |   82524   520858  1520061 | 2147483647    53418    103 | 32.531 % |
110.93/111.00	c |     55403 |   82016   510956  1492247 | 2147483647    53093    103 | 32.532 % |
112.43/112.46	c |     56123 |   82000   510956  1492247 | 2147483647    53809    105 | 32.567 % |
112.53/112.57	c |     56223 |   82000   510956  1492247 | 2147483647    53909    105 | 32.567 % |
112.73/112.74	c |     56336 |   82000   510956  1492247 | 2147483647    54022    105 | 32.567 % |
112.83/112.88	c |     56458 |   82000   510956  1492247 | 2147483647    54144    105 | 32.567 % |
113.23/113.22	c |     56591 |   81998   510956  1492247 | 2147483647    54276    105 | 32.574 % |
113.43/113.49	c |     56738 |   81997   510956  1492247 | 2147483647    54422    105 | 32.578 % |
113.73/113.81	c |     56899 |   81995   510956  1492247 | 2147483647    54582    105 | 32.585 % |
114.03/114.02	c |     57077 |   81995   510956  1492247 | 2147483647    54760    105 | 32.585 % |
114.23/114.27	c |     57271 |   81995   510956  1492247 | 2147483647    54954    105 | 32.585 % |
114.63/114.61	c |     57484 |   81995   510956  1492247 | 2147483647    55167    106 | 32.585 % |
114.93/114.96	c |     57733 |   81984   510956  1492247 | 2147483647    55414    106 | 32.626 % |
115.43/115.44	c |     57991 |   81982   510956  1492247 | 2147483647    55671    106 | 32.636 % |
115.83/115.89	c |     58275 |   81981   510956  1492247 | 2147483647    55954    106 | 32.645 % |
116.43/116.44	c |     58592 |   81979   510956  1492247 | 2147483647    56271    107 | 32.645 % |
116.83/116.81	c |     58931 |   81979   510956  1492247 | 2147483647    56610    107 | 32.645 % |
117.43/117.44	c |     59303 |   81979   510956  1492247 | 2147483647    56981    107 | 32.646 % |
118.73/118.72	c |     59714 |   81979   510956  1492247 | 2147483647    57392    107 | 32.646 % |
119.83/119.82	c |     60167 |   81877   509863  1489491 | 2147483647    57810    108 | 32.646 % |
120.83/120.89	c |     60662 |   81874   509863  1489491 | 2147483647    58303    108 | 32.653 % |
122.03/122.07	c |     61206 |   81870   509863  1489491 | 2147483647    58845    110 | 32.658 % |
123.03/123.02	c |     61802 |   81870   509863  1489491 | 2147483647    59441    110 | 32.658 % |
123.93/123.95	c |     62461 |   81870   509863  1489491 | 2147483647    60100    110 | 32.658 % |
125.13/125.14	c |     63181 |   81835   509863  1489491 | 2147483647    60819    110 | 32.730 % |
126.33/126.36	c |     63973 |   81834   509863  1489491 | 2147483647    61610    110 | 32.739 % |
126.54/126.56	c |     64075 |   81834   509863  1489491 | 2147483647    61712    110 | 32.739 % |
126.73/126.71	c |     64187 |   81831   509863  1489491 | 2147483647    61823    110 | 32.747 % |
126.93/126.99	c |     64308 |   81830   509863  1489491 | 2147483647    61943    110 | 32.748 % |
127.13/127.17	c |     64445 |   81830   509863  1489491 | 2147483647    62079    111 | 32.754 % |
127.53/127.52	c |     64594 |   81829   509863  1489491 | 2147483647    62228    111 | 32.754 % |
127.73/127.76	c |     64754 |   81828   509863  1489491 | 2147483647    62387    111 | 32.755 % |
128.33/128.31	c |     64930 |   81828   509863  1489491 | 2147483647    62563    111 | 32.755 % |
128.93/128.99	c |     65123 |   81729   509035  1487497 | 2147483647    62683    111 | 33.011 % |
129.63/129.69	c |     65335 |   81729   509035  1487497 | 2147483647    62895    112 | 33.011 % |
130.03/130.07	c |     65568 |   81729   509035  1487497 | 2147483647    63128    112 | 33.011 % |
130.53/130.59	c |     65824 |   81721   509035  1487497 | 2147483647    63382    112 | 33.026 % |
131.03/131.09	c |     66105 |   81721   509035  1487497 | 2147483647    63663    112 | 33.026 % |
131.63/131.66	c |     66414 |   81697   509035  1487497 | 2147483647    63971    112 | 33.284 % |
132.13/132.15	c |     66754 |   81693   509035  1487497 | 2147483647    64310    112 | 33.295 % |
132.73/132.78	c |     67126 |   81680   509035  1487497 | 2147483647    64679    112 | 33.306 % |
133.73/133.77	c |     67535 |   81680   509035  1487497 | 2147483647    65088    113 | 33.306 % |
134.63/134.63	c |     67991 |   81680   509035  1487497 | 2147483647    65544    113 | 33.306 % |
135.73/135.79	c |     68485 |   81680   509035  1487497 | 2147483647    66038    113 | 33.306 % |
136.93/136.95	c |     69030 |   81655   509035  1487497 | 2147483647    66580    113 | 33.367 % |
138.03/138.09	c |     69626 |   81653   509035  1487497 | 2147483647    67174    114 | 33.375 % |
139.63/139.67	c |     70281 |   80986   496252  1451660 | 2147483647    67768    115 | 33.392 % |
140.73/140.77	c |     71002 |   80985   496252  1451660 | 2147483647    68488    115 | 33.393 % |
142.33/142.38	c |     71794 |   80985   496252  1451660 | 2147483647    69280    116 | 33.393 % |
143.93/143.96	c |     72668 |   80984   496252  1451660 | 2147483647    70153    116 | 33.400 % |
144.03/144.10	c |     72769 |   80984   496252  1451660 | 2147483647    70254    116 | 33.400 % |
144.23/144.24	c |     72880 |   80984   496252  1451660 | 2147483647    70364    116 | 33.407 % |
144.33/144.38	c |     73002 |   80984   496252  1451660 | 2147483647    70486    116 | 33.407 % |
144.63/144.64	c |     73135 |   80980   496252  1451660 | 2147483647    70619    116 | 33.407 % |
144.83/144.83	c |     73282 |   80980   496252  1451660 | 2147483647    70766    116 | 33.407 % |
145.03/145.11	c |     73442 |   80980   496252  1451660 | 2147483647    70926    116 | 33.407 % |
145.24/145.30	c |     73618 |   80980   496252  1451660 | 2147483647    71102    116 | 33.407 % |
145.63/145.62	c |     73811 |   80980   496252  1451660 | 2147483647    71295    116 | 33.407 % |
145.93/145.96	c |     74028 |   80978   496252  1451660 | 2147483647    71510    116 | 33.412 % |
146.53/146.51	c |     74261 |   80976   496252  1451660 | 2147483647    71742    116 | 33.422 % |
147.13/147.16	c |     74517 |   80976   496252  1451660 | 2147483647    71998    117 | 33.422 % |
147.73/147.74	c |     74798 |   80974   496252  1451660 | 2147483647    72278    117 | 33.431 % |
148.33/148.31	c |     75108 |   80974   496252  1451660 | 2147483647    72588    117 | 33.431 % |
149.13/149.17	c |     75449 |   80922   495649  1450043 | 2147483647    72909    117 | 33.432 % |
150.23/150.21	c |     75821 |   80919   495649  1450043 | 2147483647    73278    117 | 33.437 % |
151.23/151.22	c |     76230 |   80913   495649  1450043 | 2147483647    73685    118 | 33.454 % |
152.13/152.18	c |     76684 |   80898   495649  1450043 | 2147483647    74134    118 | 33.484 % |
153.03/153.06	c |     77178 |   80898   495649  1450043 | 2147483647    74627    119 | 33.485 % |
154.33/154.31	c |     77723 |   80897   495649  1450043 | 2147483647    75172    120 | 33.485 % |
155.33/155.34	c |     78320 |   80897   495649  1450043 | 2147483647    75769    120 | 33.485 % |
156.83/156.88	c |     78975 |   80896   495649  1450043 | 2147483647    76423    121 | 33.522 % |
158.63/158.62	c |     79696 |   80893   495649  1450043 | 2147483647    77142    122 | 33.533 % |
160.33/160.35	c |     80488 |   80892   495649  1450043 | 2147483647    77932    121 | 33.535 % |
161.74/161.72	c |     81359 |   80891   495649  1450043 | 2147483647    78802    122 | 33.536 % |
163.43/163.43	c |     82320 |   80891   495649  1450043 | 2147483647    79763    123 | 33.536 % |
163.73/163.72	c |     82421 |   80796   494810  1447984 | 2147483647    79832    123 | 33.536 % |
163.83/163.90	c |     82531 |   80796   494810  1447984 | 2147483647    79942    123 | 33.536 % |
164.23/164.23	c |     82652 |   80796   494810  1447984 | 2147483647    80063    123 | 33.536 % |
164.53/164.56	c |     82785 |   80796   494810  1447984 | 2147483647    80196    123 | 33.536 % |
164.93/164.94	c |     82932 |   80789   494810  1447984 | 2147483647    80341    123 | 33.548 % |
165.23/165.21	c |     83092 |   80789   494810  1447984 | 2147483647    80501    123 | 33.548 % |
165.83/165.81	c |     83268 |   80788   494810  1447984 | 2147483647    80676    124 | 33.549 % |
166.23/166.25	c |     83461 |   80788   494810  1447984 | 2147483647    80869    124 | 33.549 % |
166.63/166.69	c |     83673 |   80786   494810  1447984 | 2147483647    81079    124 | 33.551 % |
167.13/167.13	c |     83906 |   80786   494810  1447984 | 2147483647    81312    124 | 33.551 % |
167.53/167.60	c |     84162 |   80786   494810  1447984 | 2147483647    81568    124 | 33.551 % |
167.93/167.97	c |     84445 |   80785   494810  1447984 | 2147483647    81850    124 | 33.558 % |
168.64/168.68	c |     84755 |   80784   494810  1447984 | 2147483647    82159    124 | 33.559 % |
169.24/169.26	c |     85095 |   80784   494810  1447984 | 2147483647    82499    124 | 33.559 % |
169.94/169.97	c |     85467 |   80784   494810  1447984 | 2147483647    82871    124 | 33.559 % |
170.44/170.49	c |     85876 |   80784   494810  1447984 | 2147483647    83280    124 | 33.559 % |
171.14/171.20	c |     86327 |   80781   494810  1447984 | 2147483647    83728    124 | 33.598 % |
172.14/172.20	c |     86820 |   80770   494810  1447984 | 2147483647    84221    124 | 33.598 % |
173.44/173.44	c |     87364 |   80767   494810  1447984 | 2147483647    84761    124 | 33.615 % |
174.34/174.38	c |     87960 |   80765   494810  1447984 | 2147483647    85355    124 | 33.624 % |
175.44/175.45	c |     88615 |   80764   494810  1447984 | 2147483647    86009    124 | 33.625 % |
176.64/176.71	c |     89337 |   80763   494810  1447984 | 2147483647    86730    124 | 33.625 % |
178.14/178.12	c |     90129 |   80687   493969  1445754 | 2147483647    87481    124 | 33.625 % |
179.64/179.68	c |     91003 |   80668   493969  1445754 | 2147483647    88350    124 | 33.647 % |
181.84/181.83	c |     91964 |   80668   493969  1445754 | 2147483647    89311    125 | 33.647 % |
184.44/184.44	c |     93017 |   80668   493969  1445754 | 2147483647    90364    127 | 33.647 % |
184.64/184.70	c |     93120 |   80668   493969  1445754 | 2147483647    90467    127 | 33.647 % |
184.84/184.87	c |     93233 |   80668   493969  1445754 | 2147483647    90580    127 | 33.647 % |
185.04/185.11	c |     93354 |   80668   493969  1445754 | 2147483647    90701    127 | 33.647 % |
185.44/185.42	c |     93487 |   80668   493969  1445754 | 2147483647    90834    127 | 33.647 % |
185.74/185.76	c |     93634 |   80667   493969  1445754 | 2147483647    90980    127 | 33.655 % |
186.34/186.32	c |     93799 |   80665   493969  1445754 | 2147483647    91143    127 | 33.657 % |
186.74/186.81	c |     93978 |   80665   493969  1445754 | 2147483647    91322    127 | 33.657 % |
187.14/187.18	c |     94171 |   80665   493969  1445754 | 2147483647    91515    127 | 33.657 % |
187.44/187.51	c |     94385 |   80665   493969  1445754 | 2147483647    91729    127 | 33.657 % |
187.94/187.98	c |     94618 |   80654   493969  1445754 | 2147483647    91961    127 | 33.693 % |
188.44/188.48	c |     94874 |   80654   493969  1445754 | 2147483647    92217    127 | 33.693 % |
188.94/188.96	c |     95156 |   80654   493969  1445754 | 2147483647    92499    127 | 33.693 % |
189.74/189.76	c |     95465 |   80620   493969  1445754 | 2147483647    92806    128 | 33.783 % |
190.34/190.41	c |     95804 |   80618   493969  1445754 | 2147483647    93144    128 | 33.789 % |
191.14/191.14	c |     96178 |   80618   493969  1445754 | 2147483647    93518    128 | 33.789 % |
191.74/191.81	c |     96589 |   80615   493969  1445754 | 2147483647    93928    128 | 34.169 % |
192.74/192.74	c |     97038 |   80615   493969  1445754 | 2147483647    94377    128 | 34.169 % |
193.84/193.84	c |     97532 |   80615   493969  1445754 | 2147483647    94871    129 | 34.169 % |
195.34/195.37	c |     98074 |   80025   491105  1439499 | 2147483647    95353    129 | 34.172 % |
196.44/196.42	c |     98672 |   80025   491105  1439499 | 2147483647    95951    129 | 34.172 % |
197.44/197.44	c |     99327 |   80025   491105  1439499 | 2147483647    96606    129 | 34.172 % |
198.74/198.80	c |    100047 |   80021   491105  1439499 | 2147483647    97324    129 | 34.186 % |
200.64/200.67	c |    100844 |   80021   491105  1439499 | 2147483647    98121    129 | 34.186 % |
202.64/202.67	c |    101719 |   80018   491105  1439499 | 2147483647    98993    130 | 34.242 % |
204.54/204.59	c |    102677 |   80016   491105  1439499 | 2147483647    99949    130 | 34.247 % |
206.84/206.90	c |    103730 |   80015   491105  1439499 | 2147483647   101002    131 | 34.247 % |
209.14/209.20	c |    104888 |   80015   491105  1439499 | 2147483647   102160    133 | 34.247 % |
209.44/209.44	c |    104988 |   80015   491105  1439499 | 2147483647   102260    133 | 34.247 % |
209.74/209.77	c |    105099 |   80015   491105  1439499 | 2147483647   102371    133 | 34.247 % |
210.14/210.15	c |    105220 |   80015   491105  1439499 | 2147483647   102492    133 | 34.247 % |
210.44/210.46	c |    105353 |   80015   491105  1439499 | 2147483647   102625    133 | 34.247 % |
210.64/210.68	c |    105499 |   80015   491105  1439499 | 2147483647   102771    133 | 34.247 % |
210.94/210.98	c |    105661 |   80015   491105  1439499 | 2147483647   102933    133 | 34.247 % |
211.34/211.37	c |    105837 |   80015   491105  1439499 | 2147483647   103109    133 | 34.247 % |
211.64/211.69	c |    106030 |   80007   491105  1439499 | 2147483647   103297    133 | 34.308 % |
212.34/212.41	c |    106242 |   79856   489367  1434790 | 2147483647   103337    133 | 34.309 % |
213.14/213.13	c |    106476 |   79856   489367  1434790 | 2147483647   103571    133 | 34.309 % |
213.74/213.78	c |    106733 |   79855   489367  1434790 | 2147483647   103827    133 | 34.310 % |
214.34/214.39	c |    107014 |   79846   489367  1434790 | 2147483647   104107    133 | 34.367 % |
215.24/215.26	c |    107324 |   79834   489367  1434790 | 2147483647   104415    133 | 34.376 % |
216.04/216.05	c |    107666 |   79753   489367  1434790 | 2147483647   104753    134 | 35.344 % |
216.74/216.81	c |    108042 |   79752   489367  1434790 | 2147483647   105128    134 | 35.345 % |
217.54/217.57	c |    108455 |   79752   489367  1434790 | 2147483647   105541    134 | 35.345 % |
218.54/218.59	c |    108904 |   79751   489367  1434790 | 2147483647   105989    134 | 35.354 % |
219.84/219.88	c |    109397 |   79750   489367  1434790 | 2147483647   106481    134 | 35.355 % |
220.94/220.93	c |    109939 |   79750   489367  1434790 | 2147483647   107023    135 | 35.355 % |
222.14/222.15	c |    110536 |   79747   489367  1434790 | 2147483647   107617    135 | 35.366 % |
223.44/223.42	c |    111191 |   79743   489367  1434790 | 2147483647   108268    135 | 35.373 % |
225.04/225.09	c |    111913 |   79697   489367  1434790 | 2147483647   108986    135 | 35.427 % |
226.34/226.38	c |    112705 |   79697   489367  1434790 | 2147483647   109778    136 | 35.427 % |
228.14/228.21	c |    113577 |   79697   489367  1434790 | 2147483647   110650    136 | 35.427 % |
229.84/229.89	c |    114536 |   79696   489367  1434790 | 2147483647   111608    135 | 35.431 % |
231.84/231.85	c |    115589 |   79693   489367  1434790 | 2147483647   112660    136 | 35.438 % |
235.14/235.19	c |    116748 |   78476   468063  1375649 | 2147483647   112230    137 | 35.444 % |
238.14/238.17	c |    118021 |   78472   468063  1375649 | 2147483647   113502    138 | 35.447 % |
238.34/238.40	c |    118124 |   78472   468063  1375649 | 2147483647   113605    138 | 35.447 % |
238.64/238.63	c |    118236 |   78471   468063  1375649 | 2147483647   113716    138 | 35.451 % |
238.84/238.86	c |    118357 |   78471   468063  1375649 | 2147483647   113837    138 | 35.451 % |
239.04/239.07	c |    118491 |   78471   468063  1375649 | 2147483647   113971    138 | 35.451 % |
239.34/239.32	c |    118637 |   78471   468063  1375649 | 2147483647   114117    138 | 35.451 % |
239.64/239.68	c |    118801 |   78471   468063  1375649 | 2147483647   114281    138 | 35.451 % |
239.94/239.98	c |    118978 |   78468   468063  1375649 | 2147483647   114457    138 | 35.454 % |
240.54/240.57	c |    119172 |   78468   468063  1375649 | 2147483647   114651    138 | 35.454 % |
241.04/241.05	c |    119384 |   78465   468063  1375649 | 2147483647   114861    138 | 35.463 % |
241.44/241.50	c |    119617 |   78465   468063  1375649 | 2147483647   115094    138 | 35.463 % |
242.05/242.09	c |    119873 |   78464   468063  1375649 | 2147483647   115349    138 | 35.464 % |
242.64/242.67	c |    120154 |   78464   468063  1375649 | 2147483647   115630    138 | 35.464 % |
243.44/243.48	c |    120466 |   78464   468063  1375649 | 2147483647   115942    138 | 35.464 % |
244.34/244.36	c |    120807 |   78463   468063  1375649 | 2147483647   116282    138 | 35.465 % |
244.94/244.99	c |    121179 |   78462   468063  1375649 | 2147483647   116653    138 | 35.518 % |
245.84/245.83	c |    121590 |   78461   468063  1375649 | 2147483647   117064    138 | 35.518 % |
247.14/247.19	c |    122039 |   78460   468063  1375649 | 2147483647   117512    138 | 35.526 % |
248.34/248.39	c |    122537 |   78459   468063  1375649 | 2147483647   118009    139 | 35.527 % |
249.64/249.65	c |    123079 |   78459   468063  1375649 | 2147483647   118550    139 | 35.528 % |
251.04/251.07	c |    123676 |   78458   468063  1375649 | 2147483647   119146    139 | 35.535 % |
252.54/252.56	c |    124331 |   78457   468063  1375649 | 2147483647   119800    139 | 35.535 % |
253.94/254.00	c |    125052 |   78448   468063  1375649 | 2147483647   120519    139 | 35.550 % |
255.84/255.82	c |    125846 |   78448   468063  1375649 | 2147483647   121313    140 | 35.550 % |
257.64/257.70	c |    126718 |   78447   468063  1375649 | 2147483647   122184    140 | 35.551 % |
260.64/260.63	c |    127677 |   78344   467253  1373687 | 2147483647   123060    141 | 35.553 % |
262.95/262.95	c |    128730 |   78343   467253  1373687 | 2147483647   124112    141 | 35.554 % |
265.64/265.69	c |    129888 |   78321   467253  1373687 | 2147483647   125267    141 | 35.588 % |
268.54/268.57	c |    131161 |   78298   467253  1373687 | 2147483647   126534    141 | 35.692 % |
272.53/272.55	c |    132561 |   78297   467253  1373687 | 2147483647   127933    142 | 35.694 % |
272.73/272.75	c |    132663 |   78297   467253  1373687 | 2147483647   128035    142 | 35.694 % |
273.03/273.06	c |    132775 |   78297   467253  1373687 | 2147483647   128147    142 | 35.694 % |
273.33/273.34	c |    132896 |   78297   467253  1373687 | 2147483647   128267    142 | 35.697 % |
273.83/273.81	c |    133030 |   78296   467253  1373687 | 2147483647   128400    142 | 35.698 % |
274.03/274.07	c |    133176 |   78296   467253  1373687 | 2147483647   128546    142 | 35.698 % |
274.43/274.48	c |    133340 |   78296   467253  1373687 | 2147483647   128710    142 | 35.698 % |
274.73/274.79	c |    133517 |   78296   467253  1373687 | 2147483647   128887    142 | 35.698 % |
275.04/275.07	c |    133711 |   78294   467253  1373687 | 2147483647   129080    142 | 35.704 % |
275.53/275.56	c |    133928 |   78294   467253  1373687 | 2147483647   129297    142 | 35.704 % |
276.03/276.05	c |    134161 |   78293   467253  1373687 | 2147483647   129529    142 | 35.705 % |
276.63/276.63	c |    134419 |   78293   467253  1373687 | 2147483647   129787    142 | 35.705 % |
277.43/277.44	c |    134702 |   78292   467253  1373687 | 2147483647   130069    142 | 35.709 % |
278.23/278.28	c |    135015 |   78292   467253  1373687 | 2147483647   130382    142 | 35.709 % |
279.23/279.26	c |    135357 |   78290   467253  1373687 | 2147483647   130721    142 | 35.750 % |
280.23/280.22	c |    135733 |   78286   467253  1373687 | 2147483647   131095    143 | 36.008 % |
281.03/281.02	c |    136143 |   78286   467253  1373687 | 2147483647   131505    143 | 36.008 % |
282.13/282.20	c |    136592 |   78286   467253  1373687 | 2147483647   131953    143 | 36.010 % |
283.23/283.26	c |    137086 |   78286   467253  1373687 | 2147483647   132447    143 | 36.010 % |
284.23/284.25	c |    137629 |   78285   467253  1373687 | 2147483647   132989    143 | 36.057 % |
285.33/285.36	c |    138225 |   78285   467253  1373687 | 2147483647   133585    143 | 36.057 % |
287.14/287.19	c |    138881 |   77731   459142  1351288 | 2147483647   134059    143 | 36.057 % |
288.83/288.85	c |    139603 |   77731   459142  1351288 | 2147483647   134781    144 | 36.057 % |
290.73/290.71	c |    140396 |   77730   459142  1351288 | 2147483647   135573    144 | 36.064 % |
292.93/292.97	c |    141277 |   77726   459142  1351288 | 2147483647   136452    144 | 36.065 % |
294.44/294.49	c |    142238 |   77726   459142  1351288 | 2147483647   137413    145 | 36.065 % |
296.94/296.96	c |    143291 |   77724   459142  1351288 | 2147483647   138463    145 | 36.068 % |
299.44/299.49	c |    144452 |   77723   459142  1351288 | 2147483647   139624    145 | 36.068 % |
302.54/302.60	c |    145725 |   77718   459142  1351288 | 2147483647   140893    145 | 36.083 % |
304.84/304.90	c |    147126 |   77713   459142  1351288 | 2147483647   142292    146 | 36.087 % |
308.34/308.35	c |    148668 |   77711   459142  1351288 | 2147483647   143832    148 | 36.103 % |
308.54/308.60	c |    148773 |   77711   459142  1351288 | 2147483647   143937    148 | 36.103 % |
308.74/308.77	c |    148890 |   77711   459142  1351288 | 2147483647   144054    148 | 36.103 % |
308.94/308.99	c |    149014 |   77711   459142  1351288 | 2147483647   144178    148 | 36.103 % |
309.34/309.35	c |    149147 |   77706   459142  1351288 | 2147483647   144310    148 | 36.110 % |
309.74/309.76	c |    149297 |   77699   459142  1351288 | 2147483647   144458    148 | 36.129 % |
310.24/310.29	c |    149459 |   77699   459142  1351288 | 2147483647   144620    148 | 36.129 % |
310.54/310.61	c |    149635 |   77699   459142  1351288 | 2147483647   144796    148 | 36.129 % |
311.24/311.25	c |    149830 |   77699   459142  1351288 | 2147483647   144991    148 | 36.129 % |
311.54/311.56	c |    150043 |   77699   459142  1351288 | 2147483647   145204    148 | 36.129 % |
312.04/312.09	c |    150278 |   77699   459142  1351288 | 2147483647   145439    148 | 36.129 % |
312.84/312.81	c |    150534 |   77699   459142  1351288 | 2147483647   145695    148 | 36.129 % |
313.74/313.72	c |    150817 |   77699   459142  1351288 | 2147483647   145978    148 | 36.129 % |
314.54/314.58	c |    151126 |   77698   459142  1351288 | 2147483647   146286    148 | 36.130 % |
315.44/315.46	c |    151468 |   77698   459142  1351288 | 2147483647   146628    148 | 36.130 % |
316.24/316.22	c |    151840 |   77698   459142  1351288 | 2147483647   147000    148 | 36.130 % |
316.84/316.87	c |    152249 |   77697   459142  1351288 | 2147483647   147408    148 | 36.176 % |
317.94/317.99	c |    152699 |   77697   459142  1351288 | 2147483647   147858    148 | 36.176 % |
319.54/319.52	c |    153192 |   77586   457909  1348065 | 2147483647   148012    149 | 36.176 % |
320.64/320.68	c |    153734 |   77586   457909  1348065 | 2147483647   148554    149 | 36.176 % |
322.14/322.21	c |    154332 |   77586   457909  1348065 | 2147483647   149152    149 | 36.176 % |
323.94/323.99	c |    154987 |   77580   457909  1348065 | 2147483647   149801    150 | 36.218 % |
326.04/326.02	c |    155708 |   77580   457909  1348065 | 2147483647   150522    150 | 36.218 % |
328.24/328.23	c |    156500 |   77579   457909  1348065 | 2147483647   151313    151 | 36.219 % |
330.04/330.02	c |    157372 |   77575   457909  1348065 | 2147483647   152183    151 | 36.231 % |
332.54/332.60	c |    158330 |   77574   457909  1348065 | 2147483647   153140    151 | 36.264 % |
334.04/334.07	c |    159384 |   77566   457909  1348065 | 2147483647   154193    151 | 36.272 % |
336.94/337.00	c |    160542 |   77566   457909  1348065 | 2147483647   155351    152 | 36.272 % |
340.54/340.54	c |    161819 |   77565   457909  1348065 | 2147483647   156627    152 | 36.279 % |
343.44/343.49	c |    163221 |   77565   457909  1348065 | 2147483647   158029    153 | 36.279 % |
347.04/347.06	c |    164767 |   77565   457909  1348065 | 2147483647   159575    153 | 36.279 % |
353.24/353.23	c |    166463 |   77565   457909  1348065 | 2147483647   161271    154 | 36.279 % |
353.44/353.45	c |    166563 |   77565   457909  1348065 | 2147483647   161371    154 | 36.279 % |
353.74/353.77	c |    166675 |   77565   457909  1348065 | 2147483647   161483    154 | 36.279 % |
354.14/354.16	c |    166797 |   77565   457909  1348065 | 2147483647   161605    154 | 36.279 % |
354.44/354.45	c |    166936 |   77565   457909  1348065 | 2147483647   161744    154 | 36.279 % |
354.94/354.99	c |    167082 |   77565   457909  1348065 | 2147483647   161890    154 | 36.279 % |
355.34/355.39	c |    167242 |   77565   457909  1348065 | 2147483647   162050    154 | 36.279 % |
355.64/355.71	c |    167419 |   77565   457909  1348065 | 2147483647   162227    155 | 36.279 % |
356.24/356.23	c |    167613 |   77565   457909  1348065 | 2147483647   162421    155 | 36.279 % |
356.84/356.90	c |    167825 |   77461   456981  1345602 | 2147483647   162548    155 | 36.279 % |
357.54/357.51	c |    168059 |   77461   456981  1345602 | 2147483647   162782    155 | 36.279 % |
358.14/358.21	c |    168317 |   77461   456981  1345602 | 2147483647   163040    155 | 36.279 % |
358.94/358.92	c |    168601 |   77461   456981  1345602 | 2147483647   163324    155 | 36.279 % |
359.54/359.55	c |    168911 |   77461   456981  1345602 | 2147483647   163634    155 | 36.279 % |
360.54/360.56	c |    169251 |   77461   456981  1345602 | 2147483647   163974    155 | 36.279 % |
361.34/361.32	c |    169623 |   77461   456981  1345602 | 2147483647   164346    155 | 36.279 % |
362.34/362.33	c |    170032 |   77461   456981  1345602 | 2147483647   164755    155 | 36.279 % |
363.84/363.81	c |    170487 |   77459   456981  1345602 | 2147483647   165207    155 | 36.298 % |
364.94/365.00	c |    170980 |   77453   456981  1345602 | 2147483647   165700    155 | 36.298 % |
366.54/366.59	c |    171524 |   77453   456981  1345602 | 2147483647   166244    156 | 36.298 % |
367.54/367.60	c |    172122 |   77453   456981  1345602 | 2147483647   166842    156 | 36.298 % |
369.34/369.35	c |    172777 |   77453   456981  1345602 | 2147483647   167497    156 | 36.298 % |
370.44/370.44	c |    173497 |   77453   456981  1345602 | 2147483647   168217    156 | 36.298 % |
372.95/372.92	c |    174289 |   77453   456981  1345602 | 2147483647   169009    156 | 36.298 % |
374.74/374.77	c |    175160 |   77452   456981  1345602 | 2147483647   169879    157 | 36.305 % |
376.64/376.70	c |    176118 |   77451   456981  1345602 | 2147483647   170834    156 | 36.321 % |
379.34/379.32	c |    177171 |   77449   456981  1345602 | 2147483647   171885    157 | 36.323 % |
382.04/382.06	c |    178329 |   77448   456981  1345602 | 2147483647   173042    157 | 36.324 % |
385.14/385.14	c |    179602 |   77448   456981  1345602 | 2147483647   174314    157 | 36.324 % |
388.35/388.39	c |    181002 |   77447   456981  1345602 | 2147483647   175714    158 | 36.324 % |
392.24/392.28	c |    182543 |   77447   456981  1345602 | 2147483647   177255    159 | 36.324 % |
396.64/396.68	c |    184239 |   77447   456981  1345602 | 2147483647   178951    160 | 36.324 % |
402.24/402.29	c |    186104 |   77385   456981  1345602 | 2147483647   180812    160 | 36.403 % |
402.65/402.67	c |    186206 |   77310   455772  1342415 | 2147483647   180430    160 | 36.403 % |
403.14/403.15	c |    186319 |   77310   455772  1342415 | 2147483647   180543    160 | 36.403 % |
403.24/403.26	c |    186440 |   77310   455772  1342415 | 2147483647   180664    160 | 36.403 % |
403.75/403.79	c |    186574 |   77309   455772  1342415 | 2147483647   180796    160 | 36.405 % |
404.24/404.21	c |    186720 |   77306   455772  1342415 | 2147483647   180941    160 | 36.418 % |
404.54/404.51	c |    186881 |   77306   455772  1342415 | 2147483647   181102    160 | 36.418 % |
404.94/404.98	c |    187058 |   77306   455772  1342415 | 2147483647   181279    160 | 36.418 % |
405.44/405.43	c |    187252 |   77306   455772  1342415 | 2147483647   181473    160 | 36.418 % |
405.84/405.91	c |    187465 |   77306   455772  1342415 | 2147483647   181686    160 | 36.418 % |
406.54/406.53	c |    187698 |   77306   455772  1342415 | 2147483647   181919    160 | 36.418 % |
407.05/407.03	c |    187954 |   77306   455772  1342415 | 2147483647   182175    160 | 36.418 % |
407.94/407.92	c |    188237 |   77306   455772  1342415 | 2147483647   182458    160 | 36.418 % |
408.94/408.92	c |    188547 |   77304   455772  1342415 | 2147483647   182767    160 | 36.425 % |
409.44/409.41	c |    188887 |   77304   455772  1342415 | 2147483647   183107    160 | 36.425 % |
409.74/409.79	c |    189259 |   77304   455772  1342415 | 2147483647   183479    160 | 36.425 % |
411.04/411.10	c |    189668 |   77303   455772  1342415 | 2147483647   183887    160 | 36.426 % |
412.14/412.14	c |    190120 |   77303   455772  1342415 | 2147483647   184339    160 | 36.426 % |
413.44/413.49	c |    190613 |   77303   455772  1342415 | 2147483647   184832    160 | 36.426 % |
414.94/414.99	c |    191155 |   77302   455772  1342415 | 2147483647   185373    161 | 36.523 % |
416.44/416.48	c |    191751 |   77302   455772  1342415 | 2147483647   185969    161 | 36.523 % |
418.14/418.18	c |    192406 |   77302   455772  1342415 | 2147483647   186623    161 | 36.531 % |
420.05/420.10	c |    193126 |   77302   455772  1342415 | 2147483647   187343    161 | 36.531 % |
421.85/421.91	c |    193924 |   77302   455772  1342415 | 2147483647   188141    162 | 36.531 % |
424.85/424.87	c |    194795 |   77299   455772  1342415 | 2147483647   189010    162 | 36.545 % |
427.45/427.45	c |    195754 |   77299   455772  1342415 | 2147483647   189969    163 | 36.545 % |
429.45/429.44	c |    196807 |   77299   455772  1342415 | 2147483647   191022    163 | 36.545 % |
432.45/432.45	c |    197967 |   77298   455772  1342415 | 2147483647   192181    164 | 36.546 % |
435.85/435.89	c |    199240 |   77298   455772  1342415 | 2147483647   193454    165 | 36.546 % |
440.05/440.03	c |    200640 |   77298   455772  1342415 | 2147483647   194854    166 | 36.546 % |
444.55/444.56	c |    202181 |   77298   455772  1342415 | 2147483647   196395    167 | 36.546 % |
449.15/449.13	c |    203875 |   77297   455772  1342415 | 2147483647   198088    167 | 36.546 % |
454.15/454.15	c |    205738 |   77296   455772  1342415 | 2147483647   199950    168 | 36.547 % |
460.45/460.48	c |    207788 |   77132   454559  1339394 | 2147483647   198389    169 | 36.550 % |
460.85/460.82	c |    207888 |   77132   454559  1339394 | 2147483647   198489    169 | 36.550 % |
461.15/461.12	c |    207998 |   77132   454559  1339394 | 2147483647   198599    169 | 36.550 % |
461.45/461.49	c |    208121 |   77132   454559  1339394 | 2147483647   198722    170 | 36.550 % |
461.85/461.90	c |    208258 |   77132   454559  1339394 | 2147483647   198859    170 | 36.550 % |
462.45/462.45	c |    208405 |   77132   454559  1339394 | 2147483647   199005    170 | 36.551 % |
462.85/462.90	c |    208565 |   77132   454559  1339394 | 2147483647   199165    170 | 36.551 % |
463.55/463.60	c |    208741 |   77132   454559  1339394 | 2147483647   199341    170 | 36.551 % |
464.45/464.47	c |    208940 |   77132   454559  1339394 | 2147483647   199540    170 | 36.551 % |
465.25/465.28	c |    209155 |   77132   454559  1339394 | 2147483647   199754    170 | 36.552 % |
465.95/465.99	c |    209388 |   77132   454559  1339394 | 2147483647   199987    170 | 36.552 % |
466.55/466.61	c |    209644 |   77132   454559  1339394 | 2147483647   200243    170 | 36.552 % |
467.25/467.23	c |    209927 |   77132   454559  1339394 | 2147483647   200526    170 | 36.552 % |
467.85/467.82	c |    210242 |   77132   454559  1339394 | 2147483647   200841    170 | 36.552 % |
468.35/468.38	c |    210583 |   77132   454559  1339394 | 2147483647   201182    170 | 36.552 % |
469.15/469.13	c |    210956 |   77132   454559  1339394 | 2147483647   201555    170 | 36.552 % |
470.25/470.30	c |    211367 |   77116   454559  1339394 | 2147483647   201965    170 | 36.702 % |
471.15/471.19	c |    211820 |   77116   454559  1339394 | 2147483647   202418    170 | 36.702 % |
472.35/472.38	c |    212313 |   77114   454559  1339394 | 2147483647   202910    170 | 36.710 % |
473.95/473.98	c |    212857 |   77108   454559  1339394 | 2147483647   203451    170 | 37.478 % |
475.45/475.41	c |    213454 |   77108   454559  1339394 | 2147483647   204048    170 | 37.478 % |
477.75/477.75	c |    214110 |   77106   454559  1339394 | 2147483647   204703    171 | 37.483 % |
479.55/479.56	c |    214830 |   77106   454559  1339394 | 2147483647   205423    171 | 37.483 % |
481.55/481.57	c |    215623 |   77105   454559  1339394 | 2147483647   206215    171 | 37.486 % |
483.75/483.71	c |    216494 |   77101   454559  1339394 | 2147483647   207082    171 | 37.497 % |
484.85/484.87	c |    217452 |   77101   454559  1339394 | 2147483647   208040    171 | 37.497 % |
487.75/487.81	c |    218506 |   77094   454559  1339394 | 2147483647   209091    171 | 37.568 % |
490.45/490.44	c |    219664 |   77093   454559  1339394 | 2147483647   210248    171 | 37.569 % |
495.06/495.02	c |    220937 |   77090   454559  1339394 | 2147483647   211520    172 | 37.576 % |
499.25/499.27	c |    222338 |   77090   454559  1339394 | 2147483647   212921    173 | 37.576 % |
503.05/503.06	c |    223878 |   77085   454559  1339394 | 2147483647   214460    173 | 37.581 % |
508.05/508.08	c |    225572 |   77077   454559  1339394 | 2147483647   216151    174 | 37.608 % |
513.85/513.81	c |    227437 |   77077   454559  1339394 | 2147483647   218016    174 | 37.608 % |
520.45/520.47	c |    229487 |   75811   437749  1292497 | 2147483647   213884    173 | 37.636 % |
525.86/525.85	c |    231746 |   75804   437749  1292497 | 2147483647   216138    173 | 37.663 % |
526.15/526.20	c |    231847 |   75804   437749  1292497 | 2147483647   216239    173 | 37.663 % |
526.55/526.54	c |    231957 |   75804   437749  1292497 | 2147483647   216349    173 | 37.663 % |
526.85/526.81	c |    232080 |   75803   437749  1292497 | 2147483647   216471    173 | 37.664 % |
527.05/527.02	c |    232213 |   75803   437749  1292497 | 2147483647   216604    173 | 37.664 % |
527.25/527.23	c |    232360 |   75803   437749  1292497 | 2147483647   216751    173 | 37.664 % |
527.45/527.45	c |    232522 |   75803   437749  1292497 | 2147483647   216913    173 | 37.664 % |
527.65/527.69	c |    232698 |   75803   437749  1292497 | 2147483647   217089    173 | 37.664 % |
528.06/528.05	c |    232891 |   75803   437749  1292497 | 2147483647   217282    173 | 37.664 % |
528.75/528.76	c |    233106 |   75803   437749  1292497 | 2147483647   217497    173 | 37.664 % |
529.45/529.47	c |    233339 |   75803   437749  1292497 | 2147483647   217730    173 | 37.664 % |
530.26/530.25	c |    233595 |   75803   437749  1292497 | 2147483647   217986    173 | 37.664 % |
530.75/530.80	c |    233876 |   75800   437749  1292497 | 2147483647   218266    173 | 37.670 % |
531.75/531.77	c |    234185 |   75798   437749  1292497 | 2147483647   218573    173 | 37.684 % |
532.75/532.80	c |    234526 |   75794   437749  1292497 | 2147483647   218914    173 | 37.684 % |
533.45/533.50	c |    234900 |   75794   437749  1292497 | 2147483647   219288    173 | 37.684 % |
534.85/534.86	c |    235309 |   75792   437749  1292497 | 2147483647   219695    173 | 37.686 % |
535.95/535.95	c |    235760 |   75792   437749  1292497 | 2147483647   220146    173 | 37.686 % |
537.15/537.11	c |    236254 |   75792   437749  1292497 | 2147483647   220640    173 | 37.686 % |
538.65/538.63	c |    236796 |   75792   437749  1292497 | 2147483647   221182    174 | 37.686 % |
539.95/540.01	c |    237392 |   75792   437749  1292497 | 2147483647   221777    174 | 37.690 % |
541.95/541.95	c |    238047 |   75792   437749  1292497 | 2147483647   222432    174 | 37.690 % |
543.95/543.93	c |    238767 |   75792   437749  1292497 | 2147483647   223152    174 | 37.690 % |
545.36/545.33	c |    239560 |   75792   437749  1292497 | 2147483647   223944    174 | 37.721 % |
547.26/547.22	c |    240432 |   75786   437749  1292497 | 2147483647   224816    174 | 37.721 % |
549.66/549.66	c |    241392 |   75783   437749  1292497 | 2147483647   225772    174 | 37.734 % |
552.56/552.54	c |    242446 |   75782   437749  1292497 | 2147483647   226826    174 | 37.734 % |
555.26/555.31	c |    243604 |   75782   437749  1292497 | 2147483647   227984    175 | 37.734 % |
558.36/558.33	c |    244877 |   75782   437749  1292497 | 2147483647   229256    175 | 37.734 % |
561.96/561.95	c |    246277 |   75780   437749  1292497 | 2147483647   230654    175 | 37.736 % |
566.56/566.53	c |    247817 |   75780   437749  1292497 | 2147483647   232194    176 | 37.736 % |
571.36/571.38	c |    249513 |   75780   437749  1292497 | 2147483647   233890    176 | 37.736 % |
577.16/577.16	c |    251376 |   75779   437749  1292497 | 2147483647   235752    177 | 37.737 % |
580.76/580.76	c |    253425 |   75775   437749  1292497 | 2147483647   237796    177 | 37.755 % |
587.16/587.16	c |    255683 |   75773   437749  1292497 | 2147483647   240053    177 | 37.762 % |
595.16/595.11	c |    258161 |   75657   436742  1289863 | 2147483647   242394    178 | 37.772 % |
595.46/595.43	c |    258261 |   75657   436742  1289863 | 2147483647   242494    178 | 37.772 % |
595.66/595.71	c |    258374 |   75657   436742  1289863 | 2147483647   242607    178 | 37.772 % |
596.16/596.13	c |    258496 |   75657   436742  1289863 | 2147483647   242729    178 | 37.772 % |
596.56/596.52	c |    258633 |   75656   436742  1289863 | 2147483647   242865    178 | 37.773 % |
597.16/597.14	c |    258779 |   75656   436742  1289863 | 2147483647   243011    178 | 37.773 % |
597.66/597.70	c |    258940 |   75656   436742  1289863 | 2147483647   243172    178 | 37.773 % |
598.36/598.35	c |    259116 |   75656   436742  1289863 | 2147483647   243348    178 | 37.773 % |
599.06/599.02	c |    259311 |   75656   436742  1289863 | 2147483647   243543    178 | 37.773 % |
599.66/599.69	c |    259525 |   75656   436742  1289863 | 2147483647   243757    178 | 37.773 % |
600.36/600.40	c |    259763 |   75656   436742  1289863 | 2147483647   243995    178 | 37.773 % |
601.46/601.51	c |    260021 |   75654   436742  1289863 | 2147483647   244250    178 | 37.808 % |
602.26/602.24	c |    260302 |   75654   436742  1289863 | 2147483647   244531    178 | 37.808 % |
603.26/603.26	c |    260611 |   75653   436742  1289863 | 2147483647   244839    178 | 37.809 % |
604.36/604.33	c |    260950 |   75653   436742  1289863 | 2147483647   245178    179 | 37.809 % |
605.66/605.67	c |    261326 |   75653   436742  1289863 | 2147483647   245554    179 | 37.809 % |
606.66/606.63	c |    261737 |   75653   436742  1289863 | 2147483647   245965    179 | 37.809 % |
608.06/608.09	c |    262187 |   75653   436742  1289863 | 2147483647   246413    179 | 37.815 % |
609.86/609.88	c |    262682 |   75653   436742  1289863 | 2147483647   246908    179 | 37.815 % |
610.96/610.93	c |    263224 |   75653   436742  1289863 | 2147483647   247450    179 | 37.815 % |
612.46/612.49	c |    263823 |   75653   436742  1289863 | 2147483647   248049    179 | 37.815 % |
614.56/614.52	c |    264481 |   75653   436742  1289863 | 2147483647   248707    179 | 37.815 % |
616.76/616.81	c |    265203 |   75653   436742  1289863 | 2147483647   249429    179 | 37.815 % |
619.46/619.51	c |    265995 |   75649   436742  1289863 | 2147483647   250220    179 | 37.848 % |
622.46/622.44	c |    266868 |   75643   436742  1289863 | 2147483647   251089    179 | 37.901 % |
624.66/624.70	c |    267826 |   75643   436742  1289863 | 2147483647   252047    179 | 37.901 % |
627.85/627.85	c |    268880 |   75643   436742  1289863 | 2147483647   253101    179 | 37.901 % |
631.85/631.87	c |    270039 |   75643   436742  1289863 | 2147483647   254260    180 | 37.901 % |
636.15/636.12	c |    271314 |   75642   436742  1289863 | 2147483647   255534    180 | 37.914 % |
640.35/640.37	c |    272717 |   75642   436742  1289863 | 2147483647   256935    180 | 37.919 % |
645.25/645.28	c |    274262 |   75640   436742  1289863 | 2147483647   258476    180 | 37.932 % |
650.85/650.85	c |    275956 |   75640   436742  1289863 | 2147483647   260170    180 | 37.932 % |
656.95/656.98	c |    277819 |   75637   436742  1289863 | 2147483647   262031    181 | 37.938 % |
664.25/664.22	c |    279873 |   75637   436742  1289863 | 2147483647   264085    181 | 37.938 % |
671.86/671.90	c |    282128 |   75442   435276  1286011 | 2147483647   266190    182 | 37.940 % |
679.76/679.80	c |    284610 |   75440   435276  1286011 | 2147483647   268670    182 | 37.945 % |
688.56/688.54	c |    287337 |   75432   435276  1286011 | 2147483647   271389    182 | 38.081 % |
688.86/688.85	c |    287438 |   75432   435276  1286011 | 2147483647   271490    182 | 38.081 % |
689.16/689.18	c |    287548 |   75432   435276  1286011 | 2147483647   271600    182 | 38.081 % |
689.56/689.53	c |    287669 |   75432   435276  1286011 | 2147483647   271721    182 | 38.081 % |
689.96/690.01	c |    287802 |   75432   435276  1286011 | 2147483647   271854    182 | 38.081 % |
690.56/690.57	c |    287951 |   75432   435276  1286011 | 2147483647   272003    182 | 38.081 % |
691.06/691.10	c |    288112 |   75432   435276  1286011 | 2147483647   272164    182 | 38.081 % |
691.76/691.81	c |    288288 |   75432   435276  1286011 | 2147483647   272340    182 | 38.081 % |
692.46/692.51	c |    288481 |   75432   435276  1286011 | 2147483647   272533    182 | 38.081 % |
693.16/693.20	c |    288694 |   75432   435276  1286011 | 2147483647   272746    182 | 38.081 % |
693.86/693.84	c |    288928 |   75432   435276  1286011 | 2147483647   272980    182 | 38.081 % |
694.66/694.70	c |    289185 |   75432   435276  1286011 | 2147483647   273237    182 | 38.081 % |
695.46/695.48	c |    289469 |   75432   435276  1286011 | 2147483647   273521    182 | 38.081 % |
696.36/696.39	c |    289778 |   75432   435276  1286011 | 2147483647   273830    182 | 38.081 % |
697.66/697.61	c |    290118 |   75431   435276  1286011 | 2147483647   274169    182 | 38.091 % |
698.56/698.60	c |    290491 |   75431   435276  1286011 | 2147483647   274542    182 | 38.091 % |
700.06/700.06	c |    290904 |   75431   435276  1286011 | 2147483647   274955    182 | 38.091 % |
701.76/701.79	c |    291355 |   75431   435276  1286011 | 2147483647   275406    182 | 38.091 % |
703.66/703.66	c |    291851 |   75431   435276  1286011 | 2147483647   275902    182 | 38.091 % |
705.36/705.33	c |    292394 |   75431   435276  1286011 | 2147483647   276445    182 | 38.091 % |
707.36/707.38	c |    292993 |   75431   435276  1286011 | 2147483647   277044    182 | 38.091 % |
709.26/709.27	c |    293657 |   75426   435276  1286011 | 2147483647   277706    182 | 38.106 % |
712.06/712.08	c |    294378 |   75422   435276  1286011 | 2147483647   278424    182 | 38.117 % |
715.16/715.11	c |    295170 |   75408   435276  1286011 | 2147483647   279215    182 | 38.153 % |
717.56/717.55	c |    296041 |   75408   435276  1286011 | 2147483647   280086    182 | 38.153 % |
721.46/721.41	c |    297000 |   75408   435276  1286011 | 2147483647   281045    183 | 38.153 % |
724.76/724.76	c |    298055 |   75405   435276  1286011 | 2147483647   282097    183 | 38.161 % |
729.16/729.17	c |    299215 |   75405   435276  1286011 | 2147483647   283255    183 | 38.200 % |
733.26/733.24	c |    300488 |   75403   435276  1286011 | 2147483647   284527    183 | 38.209 % |
737.46/737.49	c |    301889 |   75401   435276  1286011 | 2147483647   285926    183 | 38.211 % |
742.26/742.22	c |    303429 |   75401   435276  1286011 | 2147483647   287465    183 | 38.213 % |
748.16/748.18	c |    305124 |   75394   435276  1286011 | 2147483647   289156    184 | 38.222 % |
753.36/753.36	c |    306988 |   75393   435276  1286011 | 2147483647   291018    184 | 38.224 % |
760.56/760.54	c |    309038 |   75096   433131  1280493 | 2147483647   292916    184 | 38.225 % |
767.56/767.53	c |    311294 |   75092   433131  1280493 | 2147483647   295168    184 | 38.248 % |
777.16/777.18	c |    313774 |   75092   433131  1280493 | 2147483647   297647    185 | 38.255 % |
786.96/786.97	c |    316502 |   75083   433131  1280493 | 2147483647   300368    185 | 38.416 % |
796.57/796.54	c |    319499 |   75080   433131  1280493 | 2147483647   303363    185 | 38.423 % |
797.07/797.01	c |    319601 |   75080   433131  1280493 | 2147483647   303465    185 | 38.423 % |
797.47/797.44	c |    319712 |   75080   433131  1280493 | 2147483647   303576    185 | 38.423 % |
797.77/797.77	c |    319836 |   75080   433131  1280493 | 2147483647   303700    185 | 38.423 % |
798.27/798.31	c |    319969 |   75080   433131  1280493 | 2147483647   303833    185 | 38.423 % |
798.77/798.72	c |    320118 |   75080   433131  1280493 | 2147483647   303982    185 | 38.423 % |
799.27/799.28	c |    320284 |   75080   433131  1280493 | 2147483647   304148    185 | 38.423 % |
799.87/799.85	c |    320461 |   75080   433131  1280493 | 2147483647   304325    185 | 38.423 % |
800.57/800.60	c |    320655 |   75080   433131  1280493 | 2147483647   304519    185 | 38.423 % |
801.27/801.30	c |    320868 |   75080   433131  1280493 | 2147483647   304732    185 | 38.423 % |
802.27/802.22	c |    321105 |   75080   433131  1280493 | 2147483647   304969    186 | 38.423 % |
803.67/803.64	c |    321364 |   75079   433131  1280493 | 2147483647   305227    186 | 38.425 % |
804.87/804.87	c |    321647 |   75079   433131  1280493 | 2147483647   305510    186 | 38.425 % |
806.47/806.44	c |    321957 |   75079   433131  1280493 | 2147483647   305820    186 | 38.425 % |
807.67/807.70	c |    322296 |   75078   433131  1280493 | 2147483647   306158    186 | 38.431 % |
808.77/808.71	c |    322668 |   75078   433131  1280493 | 2147483647   306530    186 | 38.431 % |
810.07/810.04	c |    323077 |   75078   433131  1280493 | 2147483647   306939    186 | 38.431 % |
811.47/811.46	c |    323529 |   75078   433131  1280493 | 2147483647   307391    186 | 38.431 % |
812.67/812.69	c |    324022 |   75078   433131  1280493 | 2147483647   307884    186 | 38.431 % |
815.27/815.23	c |    324564 |   75078   433131  1280493 | 2147483647   308426    186 | 38.431 % |
817.37/817.35	c |    325160 |   75078   433131  1280493 | 2147483647   309021    186 | 38.439 % |
819.07/819.07	c |    325816 |   75078   433131  1280493 | 2147483647   309677    186 | 38.439 % |
821.47/821.44	c |    326537 |   75053   433131  1280493 | 2147483647   310397    186 | 38.852 % |
824.57/824.53	c |    327331 |   75053   433131  1280493 | 2147483647   311190    187 | 38.894 % |
827.77/827.74	c |    328204 |   75052   433131  1280493 | 2147483647   312061    187 | 38.902 % |
831.17/831.20	c |    329162 |   75052   433131  1280493 | 2147483647   313019    187 | 38.902 % |
834.47/834.43	c |    330215 |   75052   433131  1280493 | 2147483647   314072    187 | 38.902 % |
839.27/839.31	c |    331373 |   75052   433131  1280493 | 2147483647   315229    187 | 38.903 % |
843.37/843.38	c |    332646 |   75052   433131  1280493 | 2147483647   316501    186 | 38.904 % |
849.17/849.13	c |    334046 |   75052   433131  1280493 | 2147483647   317901    187 | 38.904 % |
854.87/854.87	c |    335587 |   75052   433131  1280493 | 2147483647   319442    187 | 38.904 % |
860.67/860.68	c |    337282 |   74270   427177  1264394 | 2147483647   319285    187 | 38.904 % |
865.37/865.35	c |    339145 |   74269   427177  1264394 | 2147483647   321147    187 | 38.912 % |
872.47/872.48	c |    341196 |   74267   427177  1264394 | 2147483647   323197    188 | 38.912 % |
880.27/880.22	c |    343449 |   74265   427177  1264394 | 2147483647   325447    188 | 39.024 % |
888.67/888.62	c |    345930 |   74263   427177  1264394 | 2147483647   327924    188 | 39.029 % |
899.07/899.06	c |    348655 |   74263   427177  1264394 | 2147483647   330649    188 | 39.029 % |
910.77/910.71	c |    351653 |   74260   427177  1264394 | 2147483647   333645    189 | 39.036 % |
923.28/923.29	c |    354949 |   74256   427177  1264394 | 2147483647   336937    189 | 39.054 % |
923.68/923.62	c |    355049 |   74256   427177  1264394 | 2147483647   337037    189 | 39.054 % |
924.08/924.11	c |    355160 |   74256   427177  1264394 | 2147483647   337148    189 | 39.054 % |
924.68/924.67	c |    355281 |   74256   427177  1264394 | 2147483647   337269    189 | 39.054 % |
925.18/925.20	c |    355414 |   74256   427177  1264394 | 2147483647   337402    189 | 39.054 % |
925.68/925.71	c |    355560 |   74256   427177  1264394 | 2147483647   337548    189 | 39.054 % |
926.28/926.23	c |    355720 |   74255   427177  1264394 | 2147483647   337707    189 | 39.055 % |
926.78/926.72	c |    355897 |   74255   427177  1264394 | 2147483647   337884    190 | 39.055 % |
927.38/927.32	c |    356091 |   74255   427177  1264394 | 2147483647   338078    190 | 39.055 % |
927.88/927.85	c |    356305 |   74255   427177  1264394 | 2147483647   338292    190 | 39.055 % |
928.68/928.68	c |    356538 |   74255   427177  1264394 | 2147483647   338525    190 | 39.055 % |
929.58/929.61	c |    356797 |   74255   427177  1264394 | 2147483647   338784    190 | 39.055 % |
930.78/930.73	c |    357078 |   74255   427177  1264394 | 2147483647   339065    190 | 39.055 % |
932.38/932.40	c |    357388 |   74255   427177  1264394 | 2147483647   339375    190 | 39.055 % |
933.68/933.64	c |    357731 |   74255   427177  1264394 | 2147483647   339718    190 | 39.055 % |
935.48/935.50	c |    358105 |   74254   427177  1264394 | 2147483647   340091    190 | 39.055 % |
937.08/937.02	c |    358515 |   74254   427177  1264394 | 2147483647   340501    190 | 39.055 % |
938.88/938.84	c |    358969 |   74253   427177  1264394 | 2147483647   340954    190 | 39.067 % |
940.58/940.55	c |    359465 |   74253   427177  1264394 | 2147483647   341449    190 | 39.101 % |
942.48/942.46	c |    360011 |   74253   427177  1264394 | 2147483647   341995    190 | 39.101 % |
945.18/945.12	c |    360607 |   74253   427177  1264394 | 2147483647   342591    190 | 39.101 % |
947.68/947.64	c |    361263 |   74253   427177  1264394 | 2147483647   343246    190 | 39.102 % |
950.88/950.83	c |    361983 |   74250   427177  1264394 | 2147483647   343962    190 | 39.116 % |
953.68/953.68	c |    362780 |   74247   427177  1264394 | 2147483647   344756    190 | 39.119 % |
956.98/957.00	c |    363651 |   74247   427177  1264394 | 2147483647   345627    190 | 39.119 % |
960.28/960.30	c |    364610 |   74244   427177  1264394 | 2147483647   346585    190 | 39.127 % |
964.08/964.06	c |    365663 |   74243   427177  1264394 | 2147483647   347636    190 | 39.161 % |
968.08/968.11	c |    366822 |   74241   427177  1264394 | 2147483647   348792    190 | 39.172 % |
973.48/973.48	c |    368100 |   74241   427177  1264394 | 2147483647   350070    190 | 39.172 % |
979.88/979.83	c |    369501 |   73943   425136  1258994 | 2147483647   351278    191 | 39.175 % |
985.77/985.79	c |    371041 |   73942   425136  1258994 | 2147483647   352817    191 | 39.177 % |
990.77/990.76	c |    372735 |   73938   425136  1258994 | 2147483647   354508    190 | 39.186 % |
998.17/998.11	c |    374600 |   73938   425136  1258994 | 2147483647   356373    191 | 39.186 % |
1005.67/1005.68	c |    376650 |   73932   425136  1258994 | 2147483647   358421    191 | 39.199 % |
1014.07/1014.09	c |    378903 |   73931   425136  1258994 | 2147483647   360673    191 | 39.200 % |
1024.47/1024.44	c |    381381 |   73929   425136  1258994 | 2147483647   363148    191 | 39.227 % |
1033.67/1033.60	c |    384106 |   73925   425136  1258994 | 2147483647   365869    192 | 39.300 % |
1044.87/1044.86	c |    387106 |   73925   425136  1258994 | 2147483647   368867    192 | 39.301 % |
1059.08/1059.04	c |    390406 |   73921   425136  1258994 | 2147483647   372161    192 | 39.320 % |
1072.38/1072.36	c |    394033 |   73918   425136  1258994 | 2147483647   375786    193 | 39.328 % |
1072.68/1072.69	c |    394134 |   73918   425136  1258994 | 2147483647   375887    193 | 39.328 % |
1073.18/1073.15	c |    394247 |   73918   425136  1258994 | 2147483647   376000    193 | 39.328 % |
1073.58/1073.60	c |    394370 |   73918   425136  1258994 | 2147483647   376123    193 | 39.328 % |
1074.08/1074.01	c |    394503 |   73918   425136  1258994 | 2147483647   376256    193 | 39.328 % |
1074.58/1074.55	c |    394650 |   73918   425136  1258994 | 2147483647   376403    193 | 39.328 % |
1075.28/1075.23	c |    394813 |   73918   425136  1258994 | 2147483647   376566    193 | 39.328 % |
1076.08/1076.04	c |    394989 |   73918   425136  1258994 | 2147483647   376742    193 | 39.328 % |
1076.98/1076.94	c |    395184 |   73918   425136  1258994 | 2147483647   376937    193 | 39.328 % |
1077.68/1077.64	c |    395396 |   73918   425136  1258994 | 2147483647   377149    193 | 39.328 % |
1077.98/1077.97	c |    395629 |   73918   425136  1258994 | 2147483647   377382    193 | 39.328 % |
1078.98/1078.93	c |    395887 |   73918   425136  1258994 | 2147483647   377640    193 | 39.328 % |
1080.48/1080.44	c |    396172 |   73918   425136  1258994 | 2147483647   377925    193 | 39.328 % |
1081.98/1081.91	c |    396485 |   73918   425136  1258994 | 2147483647   378238    193 | 39.328 % |
1083.28/1083.26	c |    396827 |   73918   425136  1258994 | 2147483647   378580    193 | 39.328 % |
1084.78/1084.72	c |    397201 |   73918   425136  1258994 | 2147483647   378954    193 | 39.328 % |
1086.38/1086.32	c |    397610 |   73917   425136  1258994 | 2147483647   379362    193 | 39.341 % |
1088.28/1088.26	c |    398059 |   73917   425136  1258994 | 2147483647   379810    193 | 39.343 % |
1090.68/1090.68	c |    398552 |   73917   425136  1258994 | 2147483647   380303    194 | 39.343 % |
1092.78/1092.72	c |    399095 |   73913   425136  1258994 | 2147483647   380844    194 | 39.361 % |
1095.38/1095.34	c |    399691 |   73911   425136  1258994 | 2147483647   381438    194 | 39.375 % |
1098.18/1098.19	c |    400346 |   73910   425136  1258994 | 2147483647   382091    194 | 39.481 % |
1101.48/1101.44	c |    401066 |   73910   425136  1258994 | 2147483647   382811    194 | 39.481 % |
1103.98/1103.96	c |    401861 |   73910   425136  1258994 | 2147483647   383606    194 | 39.481 % |
1105.78/1105.78	c |    402732 |   73910   425136  1258994 | 2147483647   384477    194 | 39.481 % |
1109.58/1109.60	c |    403691 |   73910   425136  1258994 | 2147483647   385436    194 | 39.481 % |
1113.88/1113.87	c |    404745 |   73909   425136  1258994 | 2147483647   386489    194 | 39.487 % |
1117.38/1117.34	c |    405911 |   73909   425136  1258994 | 2147483647   387655    194 | 39.487 % |
1121.78/1121.80	c |    407188 |   73560   421686  1249404 | 2147483647   380549    193 | 39.488 % |
1126.68/1126.70	c |    408588 |   73557   421686  1249404 | 2147483647   381946    194 | 39.496 % |
1132.98/1132.95	c |    410128 |   73557   421686  1249404 | 2147483647   383486    194 | 39.496 % |
1139.98/1139.94	c |    411824 |   73554   421686  1249404 | 2147483647   385178    194 | 39.535 % |
1147.39/1147.34	c |    413694 |   73542   421686  1249404 | 2147483647   387045    194 | 39.554 % |
1154.38/1154.32	c |    415744 |   73541   421686  1249404 | 2147483647   389094    194 | 39.559 % |
1161.88/1161.87	c |    418000 |   73541   421686  1249404 | 2147483647   391348    194 | 39.578 % |
1171.08/1171.09	c |    420483 |   73540   421686  1249404 | 2147483647   393830    195 | 39.579 % |
1182.09/1182.07	c |    423208 |   73533   421686  1249404 | 2147483647   396550    195 | 39.589 % |
1195.69/1195.62	c |    426207 |   73528   421686  1249404 | 2147483647   399547    195 | 39.629 % |

Verifier Data 

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

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/97 18657
/proc/meminfo: memFree=1908936/2074464 swapFree=1949244/1959888
[pid=18657] ppid=18655 vsize=2412 CPUtime=0.01
/proc/18657/stat : 18657 (SatELiteGTI) S 18655 18657 16367 0 -1 4194304 364 649 0 0 0 0 0 1 18 0 1 0 1017752115 2469888 275 4294967295 134512640 135169312 3217592272 3217590808 3085430510 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18657/statm: 603 275 235 161 0 42 0
[pid=18661] ppid=18657 vsize=1096 CPUtime=0
/proc/18661/stat : 18661 (SatELite_releas) R 18657 18657 16367 0 -1 4202496 151 0 0 0 0 0 0 0 20 0 1 0 1017752116 1122304 88 4294967295 134512640 135223648 3220212288 3220210884 134718983 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18661/statm: 274 92 46 174 0 99 0

[startup+0.021733 s]
/proc/loadavg: 1.00 1.00 1.00 2/97 18657
/proc/meminfo: memFree=1908936/2074464 swapFree=1949244/1959888
[pid=18657] ppid=18655 vsize=2412 CPUtime=0.01
/proc/18657/stat : 18657 (SatELiteGTI) S 18655 18657 16367 0 -1 4194304 364 649 0 0 0 0 0 1 18 0 1 0 1017752115 2469888 275 4294967295 134512640 135169312 3217592272 3217590808 3085430510 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18657/statm: 603 275 235 161 0 42 0
[pid=18661] ppid=18657 vsize=7320 CPUtime=0.02
/proc/18661/stat : 18661 (SatELite_releas) R 18657 18657 16367 0 -1 4202496 1505 0 0 0 1 1 0 0 20 0 1 0 1017752116 7495680 1402 4294967295 134512640 135223648 3220212288 3220211168 134543504 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18661/statm: 1830 1402 46 174 0 1655 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9732

[startup+0.111737 s]
/proc/loadavg: 1.00 1.00 1.00 2/97 18657
/proc/meminfo: memFree=1908936/2074464 swapFree=1949244/1959888
[pid=18657] ppid=18655 vsize=2412 CPUtime=0.01
/proc/18657/stat : 18657 (SatELiteGTI) S 18655 18657 16367 0 -1 4194304 364 649 0 0 0 0 0 1 18 0 1 0 1017752115 2469888 275 4294967295 134512640 135169312 3217592272 3217590808 3085430510 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18657/statm: 603 275 235 161 0 42 0
[pid=18661] ppid=18657 vsize=29748 CPUtime=0.11
/proc/18661/stat : 18661 (SatELite_releas) R 18657 18657 16367 0 -1 4202496 5806 0 0 0 9 2 0 0 20 0 1 0 1017752116 30461952 5575 4294967295 134512640 135223648 3220212288 3220211240 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18661/statm: 7437 5576 46 174 0 7262 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 32160

[startup+0.311714 s]
/proc/loadavg: 1.00 1.00 1.00 2/97 18657
/proc/meminfo: memFree=1908936/2074464 swapFree=1949244/1959888
[pid=18657] ppid=18655 vsize=2412 CPUtime=0.01
/proc/18657/stat : 18657 (SatELiteGTI) S 18655 18657 16367 0 -1 4194304 364 649 0 0 0 0 0 1 18 0 1 0 1017752115 2469888 275 4294967295 134512640 135169312 3217592272 3217590808 3085430510 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18657/statm: 603 275 235 161 0 42 0
[pid=18661] ppid=18657 vsize=49764 CPUtime=0.31
/proc/18661/stat : 18661 (SatELite_releas) R 18657 18657 16367 0 -1 4202496 10635 0 0 0 26 5 0 0 21 0 1 0 1017752116 50958336 10404 4294967295 134512640 135223648 3220212288 3220211240 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18661/statm: 12441 10404 46 174 0 12266 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 52176

[startup+0.711691 s]
/proc/loadavg: 1.00 1.00 1.00 2/97 18657
/proc/meminfo: memFree=1908936/2074464 swapFree=1949244/1959888
[pid=18657] ppid=18655 vsize=2412 CPUtime=0.01
/proc/18657/stat : 18657 (SatELiteGTI) S 18655 18657 16367 0 -1 4194304 364 649 0 0 0 0 0 1 18 0 1 0 1017752115 2469888 275 4294967295 134512640 135169312 3217592272 3217590808 3085430510 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18657/statm: 603 275 235 161 0 42 0
[pid=18661] ppid=18657 vsize=73196 CPUtime=0.71
/proc/18661/stat : 18661 (SatELite_releas) R 18657 18657 16367 0 -1 4202496 16471 0 0 0 63 8 0 0 22 0 1 0 1017752116 74952704 16240 4294967295 134512640 135223648 3220212288 3220211240 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18661/statm: 18299 16241 46 174 0 18124 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 75608

[startup+1.51165 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 18662
/proc/meminfo: memFree=1813432/2074464 swapFree=1949244/1959888
[pid=18657] ppid=18655 vsize=2412 CPUtime=0.01
/proc/18657/stat : 18657 (SatELiteGTI) S 18655 18657 16367 0 -1 4194304 364 649 0 0 0 0 0 1 18 0 1 0 1017752115 2469888 275 4294967295 134512640 135169312 3217592272 3217590808 3085430510 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18657/statm: 603 275 235 161 0 42 0
[pid=18661] ppid=18657 vsize=122440 CPUtime=1.51
/proc/18661/stat : 18661 (SatELite_releas) R 18657 18657 16367 0 -1 4202496 28180 0 0 0 137 14 0 0 25 0 1 0 1017752116 125378560 27917 4294967295 134512640 135223648 3220212288 3220210640 134609882 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18661/statm: 30610 27921 71 174 0 30435 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 124852

[startup+3.11156 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 18662
/proc/meminfo: memFree=1785408/2074464 swapFree=1949244/1959888
[pid=18657] ppid=18655 vsize=2412 CPUtime=0.01
/proc/18657/stat : 18657 (SatELiteGTI) S 18655 18657 16367 0 -1 4194304 364 649 0 0 0 0 0 1 18 0 1 0 1017752115 2469888 275 4294967295 134512640 135169312 3217592272 3217590808 3085430510 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18657/statm: 603 275 235 161 0 42 0
[pid=18661] ppid=18657 vsize=136996 CPUtime=3.11
/proc/18661/stat : 18661 (SatELite_releas) R 18657 18657 16367 0 -1 4202496 34474 0 0 0 296 15 0 0 25 0 1 0 1017752116 140283904 31178 4294967295 134512640 135223648 3220212288 3220210304 134586759 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18661/statm: 34249 31178 73 174 0 34074 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 139408

[startup+6.31138 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 18663
/proc/meminfo: memFree=1777224/2074464 swapFree=1949244/1959888
[pid=18657] ppid=18655 vsize=2412 CPUtime=0.01
/proc/18657/stat : 18657 (SatELiteGTI) S 18655 18657 16367 0 -1 4194304 364 649 0 0 0 0 0 1 18 0 1 0 1017752115 2469888 275 4294967295 134512640 135169312 3217592272 3217590808 3085430510 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18657/statm: 603 275 235 161 0 42 0
[pid=18661] ppid=18657 vsize=149340 CPUtime=6.31
/proc/18661/stat : 18661 (SatELite_releas) R 18657 18657 16367 0 -1 4202496 39592 0 0 0 613 18 0 0 25 0 1 0 1017752116 152924160 33558 4294967295 134512640 135223648 3220212288 3220210576 134586320 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18661/statm: 37335 33558 73 174 0 37160 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 151752

[startup+12.711 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 18664
/proc/meminfo: memFree=1839784/2074464 swapFree=1949244/1959888
[pid=18657] ppid=18655 vsize=2416 CPUtime=7.97
/proc/18657/stat : 18657 (SatELiteGTI) S 18655 18657 16367 0 -1 4194304 384 42530 0 0 0 0 773 24 18 0 1 0 1017752115 2473984 277 4294967295 134512640 135169312 3217592272 3217588488 3085430510 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18657/statm: 604 277 235 161 0 43 0
[pid=18664] ppid=18657 vsize=47036 CPUtime=4.75
/proc/18664/stat : 18664 (minisat_static) R 18657 18657 16367 0 -1 4202496 11173 0 0 0 471 4 0 0 25 0 1 0 1017752912 48164864 11075 4294967295 134512640 135215339 3216594736 3216592832 134527396 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18664/statm: 11759 11075 73 172 0 11586 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 49452

[startup+25.5103 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 18667
/proc/meminfo: memFree=1839220/2074464 swapFree=1949244/1959888
[pid=18657] ppid=18655 vsize=2416 CPUtime=7.97
/proc/18657/stat : 18657 (SatELiteGTI) S 18655 18657 16367 0 -1 4194304 384 42530 0 0 0 0 773 24 18 0 1 0 1017752115 2473984 277 4294967295 134512640 135169312 3217592272 3217588488 3085430510 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18657/statm: 604 277 235 161 0 43 0
[pid=18664] ppid=18657 vsize=47480 CPUtime=17.55
/proc/18664/stat : 18664 (minisat_static) R 18657 18657 16367 0 -1 4202496 11275 0 0 0 1750 5 0 0 25 0 1 0 1017752912 48619520 11177 4294967295 134512640 135215339 3216594736 3216593024 134528700 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18664/statm: 11870 11177 73 172 0 11697 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 49896

[startup+51.1189 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 18852
/proc/meminfo: memFree=1835792/2074464 swapFree=1949244/1959888
[pid=18657] ppid=18655 vsize=2416 CPUtime=7.97
/proc/18657/stat : 18657 (SatELiteGTI) S 18655 18657 16367 0 -1 4194304 384 42530 0 0 0 0 773 24 18 0 1 0 1017752115 2473984 277 4294967295 134512640 135169312 3217592272 3217588488 3085430510 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18657/statm: 604 277 235 161 0 43 0
[pid=18664] ppid=18657 vsize=51044 CPUtime=43.16
/proc/18664/stat : 18664 (minisat_static) R 18657 18657 16367 0 -1 4202496 12158 0 0 0 4311 5 0 0 25 0 1 0 1017752912 52269056 12060 4294967295 134512640 135215339 3216594736 3216593024 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18664/statm: 12761 12060 73 172 0 12588 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 53460

[startup+102.316 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 19039
/proc/meminfo: memFree=1820716/2074464 swapFree=1949244/1959888
[pid=18657] ppid=18655 vsize=2416 CPUtime=7.97
/proc/18657/stat : 18657 (SatELiteGTI) S 18655 18657 16367 0 -1 4194304 384 42530 0 0 0 0 773 24 18 0 1 0 1017752115 2473984 277 4294967295 134512640 135169312 3217592272 3217588488 3085430510 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18657/statm: 604 277 235 161 0 43 0
[pid=18664] ppid=18657 vsize=65808 CPUtime=94.36
/proc/18664/stat : 18664 (minisat_static) R 18657 18657 16367 0 -1 4202496 15824 0 0 0 9428 8 0 0 25 0 1 0 1017752912 67387392 15726 4294967295 134512640 135215339 3216594736 3216592736 134532650 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18664/statm: 16452 15726 73 172 0 16279 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 68224

[startup+162.313 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 19227
/proc/meminfo: memFree=1800868/2074464 swapFree=1949244/1959888
[pid=18657] ppid=18655 vsize=2416 CPUtime=7.97
/proc/18657/stat : 18657 (SatELiteGTI) S 18655 18657 16367 0 -1 4194304 384 42530 0 0 0 0 773 24 18 0 1 0 1017752115 2473984 277 4294967295 134512640 135169312 3217592272 3217588488 3085430510 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18657/statm: 604 277 235 161 0 43 0
[pid=18664] ppid=18657 vsize=85728 CPUtime=154.36
/proc/18664/stat : 18664 (minisat_static) R 18657 18657 16367 0 -1 4202496 20814 0 0 0 15425 11 0 0 25 0 1 0 1017752912 87785472 20716 4294967295 134512640 135215339 3216594736 3216592736 134532626 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18664/statm: 21432 20716 73 172 0 21259 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 88144

[startup+222.319 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 19415
/proc/meminfo: memFree=1780168/2074464 swapFree=1949244/1959888
[pid=18657] ppid=18655 vsize=2416 CPUtime=7.97
/proc/18657/stat : 18657 (SatELiteGTI) S 18655 18657 16367 0 -1 4194304 384 42530 0 0 0 0 773 24 18 0 1 0 1017752115 2473984 277 4294967295 134512640 135169312 3217592272 3217588488 3085430510 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18657/statm: 604 277 235 161 0 43 0
[pid=18664] ppid=18657 vsize=106120 CPUtime=214.37
/proc/18664/stat : 18664 (minisat_static) R 18657 18657 16367 0 -1 4202496 25902 0 0 0 21421 16 0 0 25 0 1 0 1017752912 108666880 25804 4294967295 134512640 135215339 3216594736 3216593024 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18664/statm: 26530 25804 73 172 0 26357 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 108536

[startup+282.306 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 19604
/proc/meminfo: memFree=1762460/2074464 swapFree=1949244/1959888
[pid=18657] ppid=18655 vsize=2416 CPUtime=7.97
/proc/18657/stat : 18657 (SatELiteGTI) S 18655 18657 16367 0 -1 4194304 384 42530 0 0 0 0 773 24 18 0 1 0 1017752115 2473984 277 4294967295 134512640 135169312 3217592272 3217588488 3085430510 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18657/statm: 604 277 235 161 0 43 0
[pid=18664] ppid=18657 vsize=123952 CPUtime=274.36
/proc/18664/stat : 18664 (minisat_static) R 18657 18657 16367 0 -1 4202496 30368 0 0 0 27414 22 0 0 25 0 1 0 1017752912 126926848 30270 4294967295 134512640 135215339 3216594736 3216593024 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18664/statm: 30988 30270 73 172 0 30815 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 126368

[startup+342.313 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 19797
/proc/meminfo: memFree=1741240/2074464 swapFree=1949244/1959888
[pid=18657] ppid=18655 vsize=2416 CPUtime=7.97
/proc/18657/stat : 18657 (SatELiteGTI) S 18655 18657 16367 0 -1 4194304 384 42530 0 0 0 0 773 24 18 0 1 0 1017752115 2473984 277 4294967295 134512640 135169312 3217592272 3217588488 3085430510 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18657/statm: 604 277 235 161 0 43 0
[pid=18664] ppid=18657 vsize=145352 CPUtime=334.37
/proc/18664/stat : 18664 (minisat_static) R 18657 18657 16367 0 -1 4202496 35674 0 0 0 33411 26 0 0 25 0 1 0 1017752912 148840448 35576 4294967295 134512640 135215339 3216594736 3216593024 134528852 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18664/statm: 36338 35576 73 172 0 36165 0
Current children cumulated CPU time (s) 342.34

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

/proc/18664/statm: 51226 50422 73 172 0 51053 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 207320

[startup+582.319 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 20547
/proc/meminfo: memFree=1666004/2074464 swapFree=1949244/1959888
[pid=18657] ppid=18655 vsize=2416 CPUtime=7.97
/proc/18657/stat : 18657 (SatELiteGTI) S 18655 18657 16367 0 -1 4194304 384 42530 0 0 0 0 773 24 18 0 1 0 1017752115 2473984 277 4294967295 134512640 135169312 3217592272 3217588488 3085430510 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18657/statm: 604 277 235 161 0 43 0
[pid=18664] ppid=18657 vsize=220612 CPUtime=574.39
/proc/18664/stat : 18664 (minisat_static) R 18657 18657 16367 0 -1 4202496 54490 0 0 0 57401 38 0 0 25 0 1 0 1017752912 225906688 54392 4294967295 134512640 135215339 3216594736 3216593024 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18664/statm: 55153 54392 73 172 0 54980 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 223028

[startup+642.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 20736
/proc/meminfo: memFree=1648240/2074464 swapFree=1949244/1959888
[pid=18657] ppid=18655 vsize=2416 CPUtime=7.97
/proc/18657/stat : 18657 (SatELiteGTI) S 18655 18657 16367 0 -1 4194304 384 42530 0 0 0 0 773 24 18 0 1 0 1017752115 2473984 277 4294967295 134512640 135169312 3217592272 3217588488 3085430510 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18657/statm: 604 277 235 161 0 43 0
[pid=18664] ppid=18657 vsize=238056 CPUtime=634.38
/proc/18664/stat : 18664 (minisat_static) R 18657 18657 16367 0 -1 4202496 58849 0 0 0 63399 39 0 0 25 0 1 0 1017752912 243769344 58751 4294967295 134512640 135215339 3216594736 3216593024 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18664/statm: 59514 58751 73 172 0 59341 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 240472

[startup+702.312 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 20927
/proc/meminfo: memFree=1632360/2074464 swapFree=1949244/1959888
[pid=18657] ppid=18655 vsize=2416 CPUtime=7.97
/proc/18657/stat : 18657 (SatELiteGTI) S 18655 18657 16367 0 -1 4194304 384 42530 0 0 0 0 773 24 18 0 1 0 1017752115 2473984 277 4294967295 134512640 135169312 3217592272 3217588488 3085430510 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18657/statm: 604 277 235 161 0 43 0
[pid=18664] ppid=18657 vsize=254040 CPUtime=694.39
/proc/18664/stat : 18664 (minisat_static) R 18657 18657 16367 0 -1 4202496 62855 0 0 0 69398 41 0 0 25 0 1 0 1017752912 260136960 62757 4294967295 134512640 135215339 3216594736 3216593024 134528788 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18664/statm: 63510 62757 73 172 0 63337 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 256456

[startup+762.319 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 21113
/proc/meminfo: memFree=1615884/2074464 swapFree=1949244/1959888
[pid=18657] ppid=18655 vsize=2416 CPUtime=7.97
/proc/18657/stat : 18657 (SatELiteGTI) S 18655 18657 16367 0 -1 4194304 384 42530 0 0 0 0 773 24 18 0 1 0 1017752115 2473984 277 4294967295 134512640 135169312 3217592272 3217588488 3085430510 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18657/statm: 604 277 235 161 0 43 0
[pid=18664] ppid=18657 vsize=270156 CPUtime=754.4
/proc/18664/stat : 18664 (minisat_static) R 18657 18657 16367 0 -1 4202496 66927 0 0 0 75389 51 0 0 25 0 1 0 1017752912 276639744 66829 4294967295 134512640 135215339 3216594736 3216592736 134532836 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18664/statm: 67539 66829 73 172 0 67366 0
Current children cumulated CPU time (s) 762.37
Current children cumulated vsize (KiB) 272572

[startup+822.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 21301
/proc/meminfo: memFree=1600648/2074464 swapFree=1949244/1959888
[pid=18657] ppid=18655 vsize=2416 CPUtime=7.97
/proc/18657/stat : 18657 (SatELiteGTI) S 18655 18657 16367 0 -1 4194304 384 42530 0 0 0 0 773 24 18 0 1 0 1017752115 2473984 277 4294967295 134512640 135169312 3217592272 3217588488 3085430510 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18657/statm: 604 277 235 161 0 43 0
[pid=18664] ppid=18657 vsize=285876 CPUtime=814.4
/proc/18664/stat : 18664 (minisat_static) R 18657 18657 16367 0 -1 4202496 70867 0 0 0 81384 56 0 0 25 0 1 0 1017752912 292737024 70769 4294967295 134512640 135215339 3216594736 3216593024 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18664/statm: 71469 70769 73 172 0 71296 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 288292

[startup+882.312 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 21490
/proc/meminfo: memFree=1586116/2074464 swapFree=1949244/1959888
[pid=18657] ppid=18655 vsize=2416 CPUtime=7.97
/proc/18657/stat : 18657 (SatELiteGTI) S 18655 18657 16367 0 -1 4194304 384 42530 0 0 0 0 773 24 18 0 1 0 1017752115 2473984 277 4294967295 134512640 135169312 3217592272 3217588488 3085430510 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18657/statm: 604 277 235 161 0 43 0
[pid=18664] ppid=18657 vsize=300608 CPUtime=874.4
/proc/18664/stat : 18664 (minisat_static) R 18657 18657 16367 0 -1 4202496 74390 0 0 0 87384 56 0 0 25 0 1 0 1017752912 307822592 74292 4294967295 134512640 135215339 3216594736 3216593024 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18664/statm: 75152 74292 73 172 0 74979 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 303024

[startup+942.319 s]
/proc/loadavg: 1.06 1.02 1.00 2/99 21679
/proc/meminfo: memFree=1570880/2074464 swapFree=1949244/1959888
[pid=18657] ppid=18655 vsize=2416 CPUtime=7.97
/proc/18657/stat : 18657 (SatELiteGTI) S 18655 18657 16367 0 -1 4194304 384 42530 0 0 0 0 773 24 18 0 1 0 1017752115 2473984 277 4294967295 134512640 135169312 3217592272 3217588488 3085430510 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18657/statm: 604 277 235 161 0 43 0
[pid=18664] ppid=18657 vsize=315960 CPUtime=934.41
/proc/18664/stat : 18664 (minisat_static) R 18657 18657 16367 0 -1 4202496 78260 0 0 0 93375 66 0 0 25 0 1 0 1017752912 323543040 78162 4294967295 134512640 135215339 3216594736 3216593024 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18664/statm: 78990 78162 73 172 0 78817 0
Current children cumulated CPU time (s) 942.38
Current children cumulated vsize (KiB) 318376

[startup+1002.31 s]
/proc/loadavg: 1.02 1.01 1.00 3/99 21866
/proc/meminfo: memFree=1557248/2074464 swapFree=1949244/1959888
[pid=18657] ppid=18655 vsize=2416 CPUtime=7.97
/proc/18657/stat : 18657 (SatELiteGTI) S 18655 18657 16367 0 -1 4194304 384 42530 0 0 0 0 773 24 18 0 1 0 1017752115 2473984 277 4294967295 134512640 135169312 3217592272 3217588488 3085430510 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18657/statm: 604 277 235 161 0 43 0
[pid=18664] ppid=18657 vsize=329168 CPUtime=994.4
/proc/18664/stat : 18664 (minisat_static) R 18657 18657 16367 0 -1 4202496 81568 0 0 0 99368 72 0 0 25 0 1 0 1017752912 337068032 81470 4294967295 134512640 135215339 3216594736 3216593024 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18664/statm: 82292 81470 73 172 0 82119 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 331584

[startup+1062.31 s]
/proc/loadavg: 1.01 1.00 1.00 2/99 22052
/proc/meminfo: memFree=1542724/2074464 swapFree=1949244/1959888
[pid=18657] ppid=18655 vsize=2416 CPUtime=7.97
/proc/18657/stat : 18657 (SatELiteGTI) S 18655 18657 16367 0 -1 4194304 384 42530 0 0 0 0 773 24 18 0 1 0 1017752115 2473984 277 4294967295 134512640 135169312 3217592272 3217588488 3085430510 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18657/statm: 604 277 235 161 0 43 0
[pid=18664] ppid=18657 vsize=344272 CPUtime=1054.41
/proc/18664/stat : 18664 (minisat_static) R 18657 18657 16367 0 -1 4202496 85347 0 0 0 105369 72 0 0 25 0 1 0 1017752912 352534528 85249 4294967295 134512640 135215339 3216594736 3216592736 134532704 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18664/statm: 86068 85249 73 172 0 85895 0
Current children cumulated CPU time (s) 1062.38
Current children cumulated vsize (KiB) 346688

[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 22244
/proc/meminfo: memFree=1528132/2074464 swapFree=1949244/1959888
[pid=18657] ppid=18655 vsize=2416 CPUtime=7.97
/proc/18657/stat : 18657 (SatELiteGTI) S 18655 18657 16367 0 -1 4194304 384 42530 0 0 0 0 773 24 18 0 1 0 1017752115 2473984 277 4294967295 134512640 135169312 3217592272 3217588488 3085430510 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18657/statm: 604 277 235 161 0 43 0
[pid=18664] ppid=18657 vsize=358144 CPUtime=1114.41
/proc/18664/stat : 18664 (minisat_static) R 18657 18657 16367 0 -1 4202496 88821 0 0 0 111367 74 0 0 25 0 1 0 1017752912 366739456 88723 4294967295 134512640 135215339 3216594736 3216592736 134532650 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18664/statm: 89536 88723 73 172 0 89363 0
Current children cumulated CPU time (s) 1122.38
Current children cumulated vsize (KiB) 360560

[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 22433
/proc/meminfo: memFree=1519924/2074464 swapFree=1949244/1959888
[pid=18657] ppid=18655 vsize=2416 CPUtime=7.97
/proc/18657/stat : 18657 (SatELiteGTI) S 18655 18657 16367 0 -1 4194304 384 42530 0 0 0 0 773 24 18 0 1 0 1017752115 2473984 277 4294967295 134512640 135169312 3217592272 3217588488 3085430510 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18657/statm: 604 277 235 161 0 43 0
[pid=18664] ppid=18657 vsize=366468 CPUtime=1174.42
/proc/18664/stat : 18664 (minisat_static) R 18657 18657 16367 0 -1 4202496 90919 0 0 0 117362 80 0 0 25 0 1 0 1017752912 375263232 90821 4294967295 134512640 135215339 3216594736 3216593024 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18664/statm: 91617 90821 73 172 0 91444 0
Current children cumulated CPU time (s) 1182.39
Current children cumulated vsize (KiB) 368884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.01 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 22433
/proc/meminfo: memFree=1515696/2074464 swapFree=1949244/1959888
[pid=18657] ppid=18655 vsize=2416 CPUtime=7.97
/proc/18657/stat : 18657 (SatELiteGTI) S 18655 18657 16367 0 -1 4194304 384 42530 0 0 0 0 773 24 18 0 1 0 1017752115 2473984 277 4294967295 134512640 135169312 3217592272 3217588488 3085430510 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18657/statm: 604 277 235 161 0 43 0
[pid=18664] ppid=18657 vsize=370568 CPUtime=1192.12
/proc/18664/stat : 18664 (minisat_static) R 18657 18657 16367 0 -1 4202496 91945 0 0 0 119132 80 0 0 25 0 1 0 1017752912 379461632 91847 4294967295 134512640 135215339 3216594736 3216593024 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18664/statm: 92642 91847 73 172 0 92469 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 372984

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18657 and gives
#  childrusage.ru_utime.tv_sec=7
#  childrusage.ru_utime.tv_usec=730000
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=240000
# CPU time returned by wait4() is 7.97
# while last known CPU time is 1200.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.03
CPU time (s): 1200.09
CPU user time (s): 1199.05
CPU system time (s): 1.04
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 372984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.73
system time used= 0.24
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42914
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 10

runsolver used 0 second user time and 0.02 second system time

The end

Launcher Data 

Begin job on tipi11 at 2009-05-17 05:55:09
IDJOB=1821514
IDBENCH=70985
IDSOLVER=657
FILE ID=tipi11/1821514-1242532509
PBS_JOBID=
Free space on /tmp= 9821 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= runsolver --timestamp  -w /tmp/evaluation-result-1821514-1242532509/watcher-1821514-1242532509 -o /tmp/evaluation-result-1821514-1242532509/solver-1821514-1242532509 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821514-1242532509.cnf

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

MD5SUM BENCH= 5588dd996576f939b8ae497437078705
RANDOM SEED= 1148683278

Linux tipi11 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.431
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3618.40

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.431
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.431
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.79

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.431
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1908944 kB
Buffers:         19012 kB
Cached:          92836 kB
SwapCached:       5248 kB
Active:          72084 kB
Inactive:        51616 kB
HighTotal:     1178688 kB
HighFree:      1073080 kB
LowTotal:       895776 kB
LowFree:        835864 kB
SwapTotal:     1959888 kB
SwapFree:      1949244 kB
Dirty:           24616 kB
Writeback:           0 kB
AnonPages:       11088 kB
Mapped:           4968 kB
Slab:            33204 kB
PageTables:        444 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    97128 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 9797 MiB
End job on tipi11 at 2009-05-17 06:15:13