Trace number 1837488

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18UNSAT 2340.09 2341.05

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UCG-15-10p0.cnf
MD5SUMbcbcc9a4e4a7e3ebed9eeaa393ebdc32
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark948.018
Satisfiable
(Un)Satisfiability was proved
Number of variables199304
Number of clauses1005834
Sum of the clauses size2392967
Maximum clause length10
Minimum clause length1
Number of clauses of size 110249
Number of clauses of size 2756917
Number of clauses of size 3187708
Number of clauses of size 45660
Number of clauses of size 522640
Number of clauses of size over 522660

Solver Data 

0.00/0.00	c Parsing...
0.99/1.01	c ==============================================================================
0.99/1.01	c |           |     ORIGINAL     |              LEARNT              |          |
0.99/1.01	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.99/1.01	c ==============================================================================
0.99/1.01	c |         0 |  994915  2381378 |  298474       0        0     nan |  0.000 % |
6.59/6.67	c |         0 |  656617  1827272 |      --       0       --      -- |     --   | -87269/19681
6.59/6.67	c ==============================================================================
6.59/6.67	c Result  :   #vars: 101783   #clauses: 656617   #literals: 1827272
6.59/6.67	c CPU time:   6.44402 s
6.59/6.67	c ==============================================================================
7.28/7.32	c This is MiniSat 2.0 beta
7.28/7.32	c WARNING: for repeatability, setting FPU to use double precision
7.28/7.32	c ============================[ Problem Statistics ]=============================
7.28/7.32	c |                                                                             |
7.28/7.32	c |  Number of variables:  101783                                               |
7.28/7.32	c |  Number of clauses:    656617                                               |
7.67/7.75	c |  Parsing time:         0.38         s                                       |
7.67/7.77	c ============================[ Search Statistics ]==============================
7.67/7.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.67/7.77	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
7.67/7.77	c ===============================================================================
7.67/7.77	c |         0 |  101783   656617  1827272 |   218872        0    nan |  0.000 % |
7.77/7.89	c |       100 |  101783   656617  1827272 |   218872      100    171 |  0.000 % |
8.07/8.16	c |       200 |  101783   656617  1827272 |   218872      200    132 |  0.000 % |
8.27/8.38	c |       300 |  101783   656617  1827272 |   218872      300    103 |  0.000 % |
8.67/8.74	c |       410 |  101783   656617  1827272 |   218872      410    132 |  0.000 % |
9.07/9.11	c |       510 |  101518   655297  1824632 |   218872      508    132 |  0.542 % |
9.17/9.27	c |       620 |  101518   655297  1824632 |   218872      618    128 |  0.542 % |
9.47/9.55	c |       741 |  101510   655297  1824632 |   218872      738    121 |  0.597 % |
9.67/9.80	c |       841 |  101345   655297  1824632 |   218872      836    116 |  2.173 % |
9.87/9.91	c |       951 |  101345   655297  1824632 |   218872      946    109 |  2.173 % |
10.37/10.40	c |      1072 |   98723   637012  1777889 |   218872     1061    107 |  3.688 % |
10.47/10.59	c |      1205 |   98723   637012  1777889 |   218872     1194    106 |  3.688 % |
10.97/11.01	c |      1305 |   98723   637012  1777889 |   218872     1294    108 |  3.688 % |
11.07/11.16	c |      1416 |   98723   637012  1777889 |   218872     1405    109 |  3.688 % |
11.27/11.34	c |      1538 |   98029   632203  1765461 |   218872     1523    106 |  3.688 % |
11.37/11.47	c |      1671 |   98029   632203  1765461 |   218872     1656    101 |  3.688 % |
11.67/11.77	c |      1817 |   98008   632203  1765461 |   218872     1800    104 |  3.979 % |
11.87/11.97	c |      1918 |   98008   632203  1765461 |   218872     1901    104 |  3.979 % |
12.07/12.16	c |      2029 |   98008   632203  1765461 |   218872     2012    102 |  3.979 % |
12.37/12.41	c |      2152 |   98008   632203  1765461 |   218872     2135    105 |  3.979 % |
12.77/12.87	c |      2288 |   97733   630135  1760068 |   218872     2269    105 |  3.979 % |
13.17/13.27	c |      2434 |   97684   630135  1760068 |   218872     2414    104 |  4.242 % |
13.36/13.49	c |      2596 |   97684   630135  1760068 |   218872     2576    102 |  4.242 % |
13.56/13.62	c |      2698 |   97464   628239  1755110 |   218872     2677    100 |  4.633 % |
13.96/14.01	c |      2808 |   97395   628239  1755110 |   218872     2785     97 |  5.024 % |
14.06/14.18	c |      2929 |   97313   628239  1755110 |   218872     2905     95 |  5.035 % |
14.27/14.39	c |      3062 |   97313   628239  1755110 |   218872     3038     95 |  5.035 % |
14.46/14.59	c |      3208 |   97296   628239  1755110 |   218872     3182     94 |  5.181 % |
14.66/14.77	c |      3368 |   97294   628239  1755110 |   218872     3342     93 |  5.181 % |
15.06/15.10	c |      3544 |   96459   623976  1745880 |   218872     3490     93 |  5.545 % |
15.06/15.18	c |      3653 |   96457   623976  1745880 |   218872     3599     94 |  5.545 % |
15.37/15.45	c |      3763 |   96418   623976  1745880 |   218872     3709     93 |  5.545 % |
15.46/15.60	c |      3886 |   96418   623976  1745880 |   218872     3832     94 |  5.545 % |
15.86/15.99	c |      4019 |   96418   623976  1745880 |   218872     3965     99 |  5.545 % |
16.26/16.35	c |      4165 |   96137   621060  1738813 |   218872     4104     99 |  5.547 % |
16.76/16.82	c |      4332 |   96137   621060  1738813 |   218872     4271    101 |  5.547 % |
17.27/17.36	c |      4509 |   96137   621060  1738813 |   218872     4448    108 |  5.547 % |
17.57/17.62	c |      4705 |   96137   621060  1738813 |   218872     4644    108 |  5.547 % |
17.57/17.69	c |      4805 |   96137   621060  1738813 |   218872     4744    106 |  5.547 % |
18.07/18.11	c |      4915 |   96137   621060  1738813 |   218872     4854    109 |  5.547 % |
18.27/18.37	c |      5036 |   96137   621060  1738813 |   218872     4975    110 |  5.547 % |
18.67/18.71	c |      5169 |   95752   619691  1736075 |   218872     5104    110 |  6.135 % |
19.47/19.51	c |      5317 |   95752   619691  1736075 |   218872     5252    117 |  6.135 % |
19.87/19.99	c |      5477 |   95510   618334  1733145 |   218872     5407    117 |  6.410 % |
20.07/20.18	c |      5655 |   95485   618334  1733145 |   218872     5585    118 |  6.410 % |
20.66/20.74	c |      5848 |   95485   618334  1733145 |   218872     5778    122 |  6.410 % |
21.26/21.30	c |      6060 |   95475   618334  1733145 |   218872     5988    123 |  6.489 % |
21.66/21.70	c |      6160 |   95177   615899  1726801 |   218872     6080    124 |  6.502 % |
22.06/22.12	c |      6272 |   95177   615899  1726801 |   218872     6192    128 |  6.502 % |
22.46/22.56	c |      6394 |   95177   615899  1726801 |   218872     6314    130 |  6.502 % |
22.66/22.79	c |      6530 |   95177   615899  1726801 |   218872     6450    129 |  6.502 % |
22.86/22.95	c |      6677 |   95177   615899  1726801 |   218872     6597    129 |  6.502 % |
23.07/23.13	c |      6839 |   95165   615793  1726515 |   218872     6759    128 |  6.502 % |
23.76/23.87	c |      7015 |   95156   615793  1726515 |   218872     6934    134 |  6.571 % |
24.16/24.28	c |      7209 |   95156   615793  1726515 |   218872     7128    136 |  6.571 % |
24.76/24.87	c |      7422 |   95090   615793  1726515 |   218872     7340    138 |  7.033 % |
25.66/25.74	c |      7655 |   94625   611634  1716229 |   218872     7573    148 |  7.033 % |
25.96/26.08	c |      7755 |   94625   611634  1716229 |   218872     7672    149 |  7.036 % |
26.26/26.38	c |      7865 |   94625   611634  1716229 |   218872     7782    150 |  7.036 % |
26.86/26.98	c |      7987 |   94538   611189  1715327 |   218872     7881    150 |  7.150 % |
27.36/27.43	c |      8122 |   94538   611189  1715327 |   218872     8016    151 |  7.150 % |
27.56/27.66	c |      8268 |   94529   611189  1715327 |   218872     8159    151 |  7.780 % |
27.96/28.10	c |      8429 |   94529   611189  1715327 |   218872     8320    153 |  7.780 % |
28.86/28.93	c |      8605 |   94529   611189  1715327 |   218872     8496    157 |  7.780 % |
29.46/29.50	c |      8798 |   93863   608399  1709642 |   218872     8682    157 |  7.796 % |
29.86/29.99	c |      9011 |   93863   608399  1709642 |   218872     8895    157 |  7.796 % |
30.06/30.19	c |      9245 |   93863   608399  1709642 |   218872     9129    155 |  7.796 % |
31.46/31.52	c |      9501 |   93862   608399  1709642 |   218872     9384    165 |  7.797 % |
31.66/31.77	c |      9607 |   93847   608316  1709476 |   218872     9489    165 |  7.797 % |
32.16/32.29	c |      9718 |   93835   608316  1709476 |   218872     9596    167 |  7.821 % |
32.46/32.52	c |      9839 |   93834   608316  1709476 |   218872     9716    168 |  7.880 % |
32.66/32.71	c |      9972 |   93834   608316  1709476 |   218872     9849    168 |  7.880 % |
32.87/32.91	c |     10119 |   93834   608316  1709476 | 2147483647     9996    167 |  7.880 % |
33.06/33.19	c |     10281 |   93834   608316  1709476 | 2147483647    10158    166 |  7.880 % |
33.46/33.56	c |     10457 |   93834   608316  1709476 | 2147483647    10334    165 |  7.880 % |
34.26/34.35	c |     10650 |   93763   607876  1708425 | 2147483647    10520    170 |  7.880 % |
35.17/35.22	c |     10863 |   93763   607876  1708425 | 2147483647    10733    175 |  7.880 % |
35.96/36.02	c |     11096 |   92929   601691  1692593 | 2147483647    10964    181 |  8.699 % |
37.06/37.18	c |     11355 |   92924   601691  1692593 | 2147483647    11220    185 |  8.721 % |
37.56/37.67	c |     11637 |   92924   601691  1692593 | 2147483647    11502    186 |  8.721 % |
37.76/37.80	c |     11737 |   92924   601691  1692593 | 2147483647    11602    186 |  8.721 % |
37.96/38.09	c |     11847 |   92924   601691  1692593 | 2147483647    11712    186 |  8.721 % |
38.46/38.58	c |     11968 |   92907   601499  1692079 | 2147483647    11831    186 |  8.721 % |
39.06/39.19	c |     12103 |   92906   601499  1692079 | 2147483647    11965    188 |  8.722 % |
39.46/39.55	c |     12249 |   92906   601499  1692079 | 2147483647    12111    188 |  8.721 % |
40.15/40.25	c |     12409 |   92906   601499  1692079 | 2147483647    12271    190 |  8.721 % |
40.75/40.81	c |     12585 |   92902   601499  1692079 | 2147483647    12446    190 |  8.732 % |
41.55/41.65	c |     12778 |   92895   601398  1691823 | 2147483647    12637    193 |  8.732 % |
42.65/42.79	c |     12990 |   92895   601398  1691823 | 2147483647    12849    194 |  8.732 % |
43.65/43.76	c |     13223 |   92895   601398  1691823 | 2147483647    13082    195 |  8.732 % |
44.25/44.39	c |     13479 |   92895   601398  1691823 | 2147483647    13338    194 |  8.732 % |
45.85/45.98	c |     13760 |   92895   601398  1691823 | 2147483647    13619    196 |  8.732 % |
47.15/47.27	c |     14069 |   92895   601398  1691823 | 2147483647    13928    198 |  8.732 % |
47.44/47.55	c |     14169 |   92895   601398  1691823 | 2147483647    14028    198 |  8.732 % |
47.94/48.04	c |     14280 |   92895   601398  1691823 | 2147483647    14139    200 |  8.732 % |
48.44/48.53	c |     14403 |   92893   601394  1691815 | 2147483647    14260    201 |  8.734 % |
48.84/48.97	c |     14538 |   92893   601394  1691815 | 2147483647    14395    200 |  8.734 % |
49.24/49.32	c |     14685 |   92892   601394  1691815 | 2147483647    14541    200 |  8.746 % |
49.74/49.89	c |     14848 |   92889   601394  1691815 | 2147483647    14702    200 |  8.752 % |
50.64/50.78	c |     15024 |   92888   601394  1691815 | 2147483647    14877    201 |  8.753 % |
51.35/51.41	c |     15217 |   92888   601394  1691815 | 2147483647    15070    203 |  8.753 % |
52.45/52.52	c |     15430 |   92874   601237  1691417 | 2147483647    15280    205 |  8.753 % |
52.75/52.81	c |     15665 |   92874   601237  1691417 | 2147483647    15515    204 |  8.753 % |
53.05/53.16	c |     15922 |   92874   601237  1691417 | 2147483647    15772    203 |  8.753 % |
53.95/54.00	c |     16205 |   92874   601237  1691417 | 2147483647    16055    206 |  8.753 % |
54.85/55.00	c |     16514 |   92874   601237  1691417 | 2147483647    16364    207 |  8.753 % |
55.84/55.96	c |     16854 |   92874   601237  1691417 | 2147483647    16704    207 |  8.753 % |
56.24/56.38	c |     16954 |   92874   601237  1691417 | 2147483647    16804    210 |  8.753 % |
56.74/56.80	c |     17064 |   92863   601144  1691164 | 2147483647    16912    212 |  8.764 % |
56.94/57.06	c |     17185 |   92863   601144  1691164 | 2147483647    17033    212 |  8.764 % |
57.54/57.65	c |     17319 |   92863   601144  1691164 | 2147483647    17167    213 |  8.764 % |
58.15/58.24	c |     17465 |   92863   601144  1691164 | 2147483647    17313    214 |  8.764 % |
58.74/58.83	c |     17626 |   92863   601144  1691164 | 2147483647    17474    214 |  8.764 % |
59.34/59.48	c |     17803 |   92863   601144  1691164 | 2147483647    17651    217 |  8.764 % |
60.24/60.33	c |     17997 |   92862   601144  1691164 | 2147483647    17844    218 |  8.765 % |
60.84/60.98	c |     18211 |   92862   601140  1691156 | 2147483647    18058    218 |  8.765 % |
61.74/61.82	c |     18444 |   92860   601140  1691156 | 2147483647    18289    220 |  8.767 % |
62.85/62.91	c |     18700 |   92859   601140  1691156 | 2147483647    18544    220 |  8.768 % |
64.04/64.12	c |     18984 |   92859   601140  1691156 | 2147483647    18828    222 |  8.768 % |
65.04/65.13	c |     19293 |   92859   601128  1691132 | 2147483647    19137    221 |  8.768 % |
66.54/66.66	c |     19633 |   92859   601128  1691132 | 2147483647    19477    225 |  8.768 % |
68.05/68.16	c |     20006 |   92859   601128  1691132 | 2147483647    19850    229 |  8.768 % |
68.44/68.51	c |     20106 |   92859   601128  1691132 | 2147483647    19950    228 |  8.768 % |
68.64/68.79	c |     20216 |   92859   601128  1691132 | 2147483647    20060    229 |  8.768 % |
69.25/69.32	c |     20339 |   92859   601128  1691132 | 2147483647    20183    229 |  8.768 % |
70.04/70.17	c |     20474 |   92847   601034  1690892 | 2147483647    20313    229 |  8.790 % |
70.54/70.68	c |     20621 |   92846   601034  1690892 | 2147483647    20459    229 |  8.791 % |
71.24/71.34	c |     20781 |   92846   601034  1690892 | 2147483647    20619    230 |  8.791 % |
72.24/72.34	c |     20958 |   92846   601034  1690892 | 2147483647    20796    232 |  8.791 % |
72.74/72.82	c |     21155 |   92846   601034  1690892 | 2147483647    20993    231 |  8.791 % |
73.93/74.03	c |     21367 |   92845   601034  1690892 | 2147483647    21204    231 |  8.792 % |
74.83/74.95	c |     21600 |   92834   600924  1690614 | 2147483647    21435    232 |  8.792 % |
76.13/76.29	c |     21864 |   92834   600924  1690614 | 2147483647    21699    232 |  8.792 % |
77.03/77.12	c |     22148 |   92829   600924  1690614 | 2147483647    21981    233 |  9.829 % |
77.83/77.95	c |     22457 |   92829   600924  1690614 | 2147483647    22290    235 |  9.829 % |
79.14/79.22	c |     22796 |   91772   593510  1671178 | 2147483647    22620    235 |  9.836 % |
79.63/79.80	c |     23168 |   91772   593510  1671178 | 2147483647    22992    234 |  9.836 % |
81.44/81.59	c |     23578 |   91772   593510  1671178 | 2147483647    23402    238 |  9.836 % |
81.84/81.90	c |     23678 |   91772   593510  1671178 | 2147483647    23502    238 |  9.836 % |
82.34/82.42	c |     23788 |   91772   593510  1671178 | 2147483647    23612    239 |  9.836 % |
82.54/82.68	c |     23909 |   91772   593510  1671178 | 2147483647    23733    238 |  9.836 % |
82.74/82.89	c |     24044 |   91772   593510  1671178 | 2147483647    23868    238 |  9.836 % |
83.54/83.63	c |     24190 |   91772   593510  1671178 | 2147483647    24014    239 |  9.836 % |
84.34/84.48	c |     24350 |   91772   593510  1671178 | 2147483647    24174    240 |  9.836 % |
85.14/85.25	c |     24527 |   91763   593428  1670972 | 2147483647    24348    240 |  9.844 % |
86.14/86.25	c |     24720 |   91763   593428  1670972 | 2147483647    24541    241 |  9.844 % |
86.84/86.96	c |     24933 |   91763   593428  1670972 | 2147483647    24754    242 |  9.844 % |
87.53/87.67	c |     25166 |   91763   593428  1670972 | 2147483647    24987    241 |  9.844 % |
88.43/88.59	c |     25422 |   91763   593428  1670972 | 2147483647    25243    243 |  9.844 % |
89.83/89.92	c |     25705 |   91763   593428  1670972 | 2147483647    25526    245 |  9.844 % |
90.93/91.02	c |     26015 |   91763   593428  1670972 | 2147483647    25836    247 |  9.844 % |
92.03/92.15	c |     26354 |   91760   593424  1670964 | 2147483647    26172    248 |  9.864 % |
92.53/92.66	c |     26726 |   91760   593424  1670964 | 2147483647    26544    247 |  9.864 % |
94.63/94.76	c |     27136 |   91760   593424  1670964 | 2147483647    26954    252 |  9.864 % |
96.93/97.09	c |     27586 |   91760   593424  1670964 | 2147483647    27404    253 |  9.864 % |
97.33/97.47	c |     27686 |   91760   593424  1670964 | 2147483647    27504    252 |  9.864 % |
97.53/97.62	c |     27796 |   91743   593290  1670611 | 2147483647    27613    252 |  9.864 % |
97.63/97.77	c |     27920 |   91743   593290  1670611 | 2147483647    27737    252 |  9.864 % |
97.73/97.87	c |     28054 |   91743   593290  1670611 | 2147483647    27868    251 |  9.874 % |
97.93/98.05	c |     28202 |   91743   593290  1670611 | 2147483647    28016    251 |  9.874 % |
98.53/98.67	c |     28367 |   91740   593290  1670611 | 2147483647    28181    251 |  9.874 % |
99.43/99.57	c |     28550 |   91739   593290  1670611 | 2147483647    28363    252 |  9.875 % |
100.13/100.26	c |     28743 |   91739   593290  1670611 | 2147483647    28556    253 |  9.875 % |
101.33/101.42	c |     28955 |   91739   593290  1670611 | 2147483647    28767    255 |  9.959 % |
101.73/101.86	c |     29197 |   91738   593290  1670611 | 2147483647    29008    254 |  9.960 % |
102.13/102.24	c |     29453 |   91738   593290  1670611 | 2147483647    29264    253 |  9.960 % |
103.33/103.47	c |     29734 |   91738   593290  1670611 | 2147483647    29545    257 |  9.960 % |
104.93/105.05	c |     30043 |   91738   593290  1670611 | 2147483647    29854    258 |  9.960 % |
105.43/105.60	c |     30382 |   91643   592886  1669763 | 2147483647    30188    257 |  9.972 % |
107.23/107.36	c |     30756 |   91643   592886  1669763 | 2147483647    30562    258 |  9.972 % |
108.93/109.07	c |     31166 |   91642   592886  1669763 | 2147483647    30971    260 |  9.973 % |
110.73/110.84	c |     31617 |   91639   592886  1669763 | 2147483647    31421    260 |  9.991 % |
112.53/112.62	c |     32110 |   91639   592886  1669763 | 2147483647    31914    258 |  9.991 % |
112.93/113.05	c |     32210 |   91614   592651  1669157 | 2147483647    32000    258 |  9.991 % |
113.33/113.43	c |     32320 |   91614   592651  1669157 | 2147483647    32110    257 |  9.991 % |
113.63/113.74	c |     32441 |   91613   592651  1669157 | 2147483647    32229    257 | 10.003 % |
113.93/114.05	c |     32574 |   91613   592651  1669157 | 2147483647    32362    256 | 10.003 % |
114.43/114.57	c |     32721 |   91611   592651  1669157 | 2147483647    32509    257 | 10.003 % |
114.83/114.95	c |     32882 |   91611   592651  1669157 | 2147483647    32670    256 | 10.003 % |
115.53/115.69	c |     33059 |   91611   592651  1669157 | 2147483647    32847    257 | 10.003 % |
116.03/116.11	c |     33252 |   91611   592651  1669157 | 2147483647    33040    257 | 10.003 % |
117.12/117.24	c |     33464 |   91611   592651  1669157 | 2147483647    33252    261 | 10.003 % |
118.22/118.39	c |     33699 |   91611   592651  1669157 | 2147483647    33487    262 | 10.003 % |
119.62/119.78	c |     33955 |   91608   592651  1669157 | 2147483647    33739    263 | 10.028 % |
120.82/120.93	c |     34237 |   91576   592299  1668277 | 2147483647    33999    263 | 10.028 % |
121.82/121.98	c |     34547 |   91576   592299  1668277 | 2147483647    34309    262 | 10.028 % |
123.43/123.58	c |     34889 |   91576   592299  1668277 | 2147483647    34651    264 | 10.028 % |
124.63/124.70	c |     35261 |   91559   592299  1668277 | 2147483647    35021    264 | 10.093 % |
126.12/126.21	c |     35673 |   91559   592299  1668277 | 2147483647    35433    264 | 10.093 % |
126.72/126.86	c |     36122 |   91559   592299  1668277 | 2147483647    35882    262 | 10.093 % |
127.62/127.71	c |     36619 |   91558   592299  1668277 | 2147483647    36378    261 | 10.100 % |
128.52/128.61	c |     37163 |   91237   589584  1661735 | 2147483647    36622    262 | 10.361 % |
128.62/128.73	c |     37263 |   91237   589584  1661735 | 2147483647    36722    261 | 10.361 % |
128.62/128.78	c |     37373 |   91237   589584  1661735 | 2147483647    36832    260 | 10.361 % |
129.12/129.24	c |     37495 |   91237   589584  1661735 | 2147483647    36954    261 | 10.361 % |
129.72/129.86	c |     37628 |   91237   589584  1661735 | 2147483647    37087    261 | 10.361 % |
130.61/130.73	c |     37775 |   91237   589584  1661735 | 2147483647    37234    261 | 10.361 % |
131.21/131.32	c |     37935 |   91234   589584  1661735 | 2147483647    37393    261 | 10.371 % |
131.71/131.86	c |     38112 |   91234   589584  1661735 | 2147483647    37570    262 | 10.371 % |
133.01/133.12	c |     38306 |   91232   589584  1661735 | 2147483647    37761    262 | 10.404 % |
134.21/134.38	c |     38519 |   91232   589584  1661735 | 2147483647    37973    261 | 10.516 % |
134.71/134.85	c |     38752 |   91230   589584  1661735 | 2147483647    38204    261 | 10.522 % |
135.12/135.30	c |     39009 |   91230   589584  1661735 | 2147483647    38461    260 | 10.522 % |
135.72/135.80	c |     39291 |   91230   589584  1661735 | 2147483647    38743    260 | 10.522 % |
136.91/137.02	c |     39601 |   91230   589584  1661735 | 2147483647    39053    261 | 10.522 % |
138.81/138.96	c |     39940 |   91073   588635  1659535 | 2147483647    39306    261 | 10.522 % |
140.61/140.79	c |     40315 |   91072   588635  1659535 | 2147483647    39680    261 | 10.523 % |
143.41/143.58	c |     40724 |   91072   588635  1659535 | 2147483647    40089    260 | 10.523 % |
146.51/146.65	c |     41174 |   91070   588628  1659521 | 2147483647    40534    259 | 10.595 % |
149.01/149.10	c |     41667 |   91070   588628  1659521 | 2147483647    41027    258 | 10.595 % |
150.40/150.56	c |     42209 |   91070   588628  1659521 | 2147483647    41568    257 | 10.599 % |
151.81/151.96	c |     42805 |   91070   588628  1659521 | 2147483647    42164    256 | 10.599 % |
151.91/152.09	c |     42905 |   91070   588628  1659521 | 2147483647    42264    256 | 10.599 % |
152.21/152.32	c |     43015 |   91070   588628  1659521 | 2147483647    42374    255 | 10.599 % |
152.41/152.54	c |     43138 |   91070   588628  1659521 | 2147483647    42497    255 | 10.599 % |
152.61/152.73	c |     43273 |   91070   588628  1659521 | 2147483647    42632    255 | 10.599 % |
152.81/152.98	c |     43423 |   91070   588628  1659521 | 2147483647    42782    255 | 10.599 % |
153.21/153.36	c |     43583 |   90995   587977  1657814 | 2147483647    42918    254 | 10.599 % |
153.71/153.90	c |     43760 |   90995   587977  1657814 | 2147483647    43095    254 | 10.599 % |
155.21/155.30	c |     43956 |   90995   587977  1657814 | 2147483647    43291    254 | 10.599 % |
155.81/155.93	c |     44177 |   90995   587977  1657814 | 2147483647    43512    254 | 10.599 % |
156.21/156.38	c |     44411 |   90995   587977  1657814 | 2147483647    43746    254 | 10.599 % |
156.81/156.95	c |     44667 |   90995   587977  1657814 | 2147483647    44002    253 | 10.599 % |
158.01/158.13	c |     44950 |   90995   587977  1657814 | 2147483647    44285    254 | 10.599 % |
159.60/159.70	c |     45260 |   90995   587977  1657814 | 2147483647    44594    254 | 10.600 % |
161.40/161.50	c |     45599 |   90995   587977  1657814 | 2147483647    44933    254 | 10.600 % |
163.30/163.41	c |     45971 |   90995   587977  1657814 | 2147483647    45305    255 | 10.600 % |
165.71/165.82	c |     46382 |   90992   587974  1657808 | 2147483647    45714    255 | 10.610 % |
168.01/168.13	c |     46833 |   90990   587974  1657808 | 2147483647    46164    255 | 10.622 % |
170.20/170.36	c |     47327 |   90989   587974  1657808 | 2147483647    46657    256 | 10.623 % |
173.00/173.14	c |     47873 |   90987   587974  1657808 | 2147483647    47201    256 | 10.625 % |
176.79/176.97	c |     48469 |   90969   587763  1657262 | 2147483647    47791    255 | 10.625 % |
180.39/180.58	c |     49125 |   90969   587763  1657262 | 2147483647    48447    254 | 10.625 % |
180.99/181.17	c |     49226 |   90969   587763  1657262 | 2147483647    48548    254 | 10.625 % |
181.49/181.60	c |     49336 |   90969   587763  1657262 | 2147483647    48658    254 | 10.625 % |
181.79/181.98	c |     49463 |   90969   587763  1657262 | 2147483647    48785    254 | 10.625 % |
182.49/182.68	c |     49596 |   90969   587763  1657262 | 2147483647    48918    254 | 10.625 % |
183.00/183.12	c |     49742 |   90969   587763  1657262 | 2147483647    49064    254 | 10.625 % |
183.40/183.58	c |     49905 |   90969   587763  1657262 | 2147483647    49227    254 | 10.625 % |
184.70/184.81	c |     50082 |   90961   587686  1657067 | 2147483647    49402    254 | 10.633 % |
185.60/185.71	c |     50276 |   90961   587686  1657067 | 2147483647    49596    254 | 10.633 % |
186.80/186.90	c |     50488 |   90961   587686  1657067 | 2147483647    49808    254 | 10.633 % |
187.90/188.01	c |     50721 |   90961   587686  1657067 | 2147483647    50041    254 | 10.633 % |
189.30/189.46	c |     50979 |   90961   587686  1657067 | 2147483647    50299    254 | 10.633 % |
190.69/190.83	c |     51260 |   90961   587686  1657067 | 2147483647    50580    254 | 10.633 % |
192.59/192.76	c |     51570 |   90961   587686  1657067 | 2147483647    50890    253 | 10.633 % |
193.50/193.67	c |     51911 |   90961   587686  1657067 | 2147483647    51231    253 | 10.633 % |
195.29/195.40	c |     52283 |   90961   587686  1657067 | 2147483647    51603    255 | 10.633 % |
197.79/197.93	c |     52693 |   90960   587682  1657059 | 2147483647    52012    254 | 10.633 % |
199.99/200.18	c |     53142 |   90959   587682  1657059 | 2147483647    52460    255 | 10.634 % |
202.89/203.02	c |     53635 |   90959   587682  1657059 | 2147483647    52953    255 | 10.634 % |
205.89/206.06	c |     54178 |   90958   587682  1657059 | 2147483647    53495    254 | 10.635 % |
209.59/209.77	c |     54775 |   90958   587674  1657043 | 2147483647    54091    253 | 10.635 % |
213.88/214.00	c |     55430 |   90958   587674  1657043 | 2147483647    54745    253 | 10.640 % |
217.98/218.17	c |     56150 |   90958   587674  1657043 | 2147483647    55465    252 | 10.640 % |
218.78/218.99	c |     56253 |   90953   587655  1657005 | 2147483647    55565    252 | 10.640 % |
219.58/219.75	c |     56363 |   90953   587655  1657005 | 2147483647    55675    252 | 10.640 % |
220.48/220.66	c |     56486 |   90953   587655  1657005 | 2147483647    55798    252 | 10.640 % |
221.48/221.62	c |     56619 |   90953   587655  1657005 | 2147483647    55931    252 | 10.640 % |
222.38/222.56	c |     56765 |   90953   587655  1657005 | 2147483647    56077    252 | 10.640 % |
223.28/223.42	c |     56925 |   90953   587655  1657005 | 2147483647    56237    252 | 10.640 % |
224.48/224.60	c |     57103 |   90953   587655  1657005 | 2147483647    56415    252 | 10.640 % |
224.78/224.97	c |     57296 |   90953   587655  1657005 | 2147483647    56608    251 | 10.640 % |
225.38/225.52	c |     57508 |   90953   587655  1657005 | 2147483647    56820    251 | 10.640 % |
225.68/225.87	c |     57741 |   90953   587655  1657005 | 2147483647    57053    250 | 10.640 % |
226.28/226.49	c |     58004 |   90953   587655  1657005 | 2147483647    57316    250 | 10.640 % |
226.88/227.06	c |     58285 |   90953   587655  1657005 | 2147483647    57597    250 | 10.640 % |
227.78/227.93	c |     58594 |   90953   587655  1657005 | 2147483647    57906    250 | 10.640 % |
228.58/228.71	c |     58936 |   90952   587655  1657005 | 2147483647    58247    250 | 10.641 % |
230.18/230.30	c |     59311 |   90952   587655  1657005 | 2147483647    58621    251 | 10.642 % |
232.58/232.72	c |     59721 |   90951   587645  1656984 | 2147483647    59029    250 | 10.642 % |
234.48/234.62	c |     60172 |   90950   587645  1656984 | 2147483647    59479    250 | 10.643 % |
236.08/236.25	c |     60665 |   90950   587645  1656984 | 2147483647    59970    250 | 10.647 % |
238.58/238.75	c |     61208 |   90950   587645  1656984 | 2147483647    60513    252 | 10.647 % |
242.28/242.45	c |     61805 |   90950   587645  1656984 | 2147483647    61110    252 | 10.647 % |
245.88/246.02	c |     62460 |   90949   587645  1656984 | 2147483647    61764    251 | 10.648 % |
249.48/249.64	c |     63186 |   90945   587620  1656921 | 2147483647    62481    250 | 10.648 % |
253.67/253.89	c |     63979 |   90945   587620  1656921 | 2147483647    63274    251 | 10.648 % |
254.57/254.76	c |     64080 |   90945   587620  1656921 | 2147483647    63374    251 | 10.649 % |
254.87/255.06	c |     64191 |   90945   587620  1656921 | 2147483647    63485    251 | 10.649 % |
255.27/255.43	c |     64314 |   90945   587620  1656921 | 2147483647    63608    251 | 10.649 % |
255.97/256.12	c |     64448 |   90945   587620  1656921 | 2147483647    63742    251 | 10.649 % |
256.57/256.80	c |     64596 |   90945   587620  1656921 | 2147483647    63890    251 | 10.649 % |
257.37/257.58	c |     64757 |   90945   587620  1656921 | 2147483647    64051    251 | 10.649 % |
258.27/258.45	c |     64933 |   90945   587620  1656921 | 2147483647    64227    252 | 10.649 % |
259.37/259.51	c |     65127 |   90945   587620  1656921 | 2147483647    64421    252 | 10.649 % |
260.67/260.89	c |     65341 |   90944   587616  1656913 | 2147483647    64633    251 | 10.654 % |
262.27/262.41	c |     65574 |   90944   587616  1656913 | 2147483647    64866    251 | 10.654 % |
263.27/263.48	c |     65830 |   90944   587616  1656913 | 2147483647    65122    251 | 10.654 % |
265.57/265.76	c |     66111 |   90944   587616  1656913 | 2147483647    65403    251 | 10.654 % |
266.87/267.05	c |     66421 |   90944   587616  1656913 | 2147483647    65712    250 | 10.657 % |
268.57/268.74	c |     66762 |   90944   587616  1656913 | 2147483647    66053    251 | 10.657 % |
270.77/270.96	c |     67137 |   90944   587616  1656913 | 2147483647    66427    251 | 10.660 % |
272.27/272.40	c |     67546 |   90944   587616  1656913 | 2147483647    66836    250 | 10.660 % |
274.56/274.70	c |     67996 |   90932   587616  1656913 | 2147483647    67285    252 | 10.845 % |
277.76/277.90	c |     68491 |   90745   586158  1653084 | 2147483647    67764    251 | 10.845 % |
281.36/281.52	c |     69034 |   90745   586158  1653084 | 2147483647    68307    251 | 10.845 % |
283.86/284.04	c |     69630 |   90745   586158  1653084 | 2147483647    68903    250 | 10.845 % |
286.97/287.15	c |     70287 |   90745   586158  1653084 | 2147483647    69560    253 | 10.845 % |
291.46/291.69	c |     71007 |   90745   586158  1653084 | 2147483647    70280    254 | 10.845 % |
295.16/295.38	c |     71801 |   90745   586158  1653084 | 2147483647    71074    252 | 10.845 % |
299.75/299.94	c |     72673 |   90745   586158  1653084 | 2147483647    71946    255 | 10.845 % |
300.65/300.88	c |     72781 |   90745   586158  1653084 | 2147483647    72054    254 | 10.845 % |
301.35/301.53	c |     72891 |   90745   586158  1653084 | 2147483647    72164    254 | 10.845 % |
302.36/302.52	c |     73012 |   90745   586158  1653084 | 2147483647    72285    254 | 10.845 % |
302.95/303.12	c |     73145 |   90745   586158  1653084 | 2147483647    72418    254 | 10.845 % |
304.05/304.25	c |     73292 |   90745   586158  1653084 | 2147483647    72565    254 | 10.845 % |
304.85/305.03	c |     73452 |   90745   586158  1653084 | 2147483647    72725    254 | 10.845 % |
305.46/305.61	c |     73628 |   90745   586158  1653084 | 2147483647    72901    254 | 10.845 % |
306.66/306.85	c |     73821 |   90745   586158  1653084 | 2147483647    73094    254 | 10.845 % |
308.45/308.63	c |     74034 |   90745   586158  1653084 | 2147483647    73307    254 | 10.845 % |
309.65/309.82	c |     74268 |   90745   586158  1653084 | 2147483647    73541    254 | 10.845 % |
311.45/311.66	c |     74524 |   90745   586158  1653084 | 2147483647    73797    254 | 10.845 % |
313.25/313.47	c |     74807 |   90745   586158  1653084 | 2147483647    74080    254 | 10.845 % |
314.35/314.54	c |     75117 |   90745   586158  1653084 | 2147483647    74390    253 | 10.845 % |
316.24/316.43	c |     75456 |   90745   586158  1653084 | 2147483647    74729    254 | 10.845 % |
318.54/318.77	c |     75828 |   90745   586158  1653084 | 2147483647    75101    254 | 10.845 % |
321.54/321.73	c |     76238 |   90745   586158  1653084 | 2147483647    75511    254 | 10.845 % |
324.04/324.21	c |     76688 |   90745   586158  1653084 | 2147483647    75961    254 | 10.845 % |
327.14/327.39	c |     77181 |   90745   586158  1653084 | 2147483647    76454    253 | 10.845 % |
330.74/330.93	c |     77724 |   90745   586158  1653084 | 2147483647    76997    253 | 10.845 % |
334.55/334.78	c |     78321 |   90745   586158  1653084 | 2147483647    77594    252 | 10.845 % |
338.34/338.57	c |     78976 |   90745   586158  1653084 | 2147483647    78249    251 | 10.845 % |
342.94/343.20	c |     79696 |   90745   586158  1653084 | 2147483647    78969    251 | 10.845 % |
347.64/347.80	c |     80488 |   90744   586154  1653076 | 2147483647    79759    251 | 10.846 % |
352.13/352.33	c |     81359 |   90744   586154  1653076 | 2147483647    80630    250 | 10.846 % |
357.72/357.91	c |     82318 |   90744   586154  1653076 | 2147483647    81589    251 | 10.846 % |
358.43/358.63	c |     82418 |   90744   586154  1653076 | 2147483647    81689    251 | 10.846 % |
359.02/359.25	c |     82528 |   90744   586154  1653076 | 2147483647    81799    251 | 10.846 % |
359.62/359.87	c |     82651 |   90744   586154  1653076 | 2147483647    81922    251 | 10.846 % |
360.22/360.47	c |     82785 |   90744   586154  1653076 | 2147483647    82056    251 | 10.846 % |
361.32/361.50	c |     82931 |   90744   586154  1653076 | 2147483647    82202    251 | 10.846 % |
362.62/362.83	c |     83091 |   90744   586154  1653076 | 2147483647    82362    251 | 10.846 % |
363.62/363.85	c |     83269 |   90744   586154  1653076 | 2147483647    82540    251 | 10.846 % |
365.02/365.25	c |     83462 |   90743   586150  1653068 | 2147483647    82731    250 | 10.847 % |
366.42/366.60	c |     83680 |   90743   586150  1653068 | 2147483647    82949    250 | 10.847 % |
367.52/367.71	c |     83914 |   90743   586150  1653068 | 2147483647    83183    251 | 10.847 % |
369.32/369.58	c |     84170 |   90743   586150  1653068 | 2147483647    83439    251 | 10.847 % |
371.42/371.67	c |     84451 |   90743   586150  1653068 | 2147483647    83720    250 | 10.847 % |
373.52/373.73	c |     84761 |   90743   586150  1653068 | 2147483647    84030    250 | 10.847 % |
375.92/376.12	c |     85100 |   90743   586150  1653068 | 2147483647    84369    250 | 10.847 % |
377.51/377.77	c |     85472 |   90743   586150  1653068 | 2147483647    84741    249 | 10.847 % |
380.71/380.99	c |     85885 |   90743   586150  1653068 | 2147483647    85154    249 | 10.847 % |
383.32/383.51	c |     86334 |   90743   586150  1653068 | 2147483647    85603    248 | 10.847 % |
386.72/386.94	c |     86827 |   90742   586146  1653060 | 2147483647    86094    248 | 10.848 % |
390.72/390.94	c |     87372 |   90742   586146  1653060 | 2147483647    86639    247 | 10.848 % |
394.21/394.42	c |     87969 |   90742   586146  1653060 | 2147483647    87236    246 | 10.848 % |
398.11/398.31	c |     88625 |   90742   586146  1653060 | 2147483647    87892    246 | 10.848 % |
402.91/403.17	c |     89345 |   90742   586146  1653060 | 2147483647    88612    245 | 10.848 % |
407.60/407.83	c |     90138 |   90742   586146  1653060 | 2147483647    89405    244 | 10.848 % |
413.60/413.88	c |     91010 |   90741   586140  1653047 | 2147483647    90275    244 | 10.849 % |
419.71/419.93	c |     91968 |   90741   586140  1653047 | 2147483647    91233    243 | 10.849 % |
426.70/426.95	c |     93021 |   90741   586140  1653047 | 2147483647    92286    242 | 10.849 % |
427.20/427.44	c |     93122 |   90741   586140  1653047 | 2147483647    92387    242 | 10.849 % |
427.90/428.11	c |     93234 |   90741   586140  1653047 | 2147483647    92499    242 | 10.849 % |
428.81/429.04	c |     93356 |   90741   586140  1653047 | 2147483647    92621    242 | 10.849 % |
429.70/429.92	c |     93491 |   90741   586140  1653047 | 2147483647    92756    242 | 10.849 % |
430.60/430.89	c |     93637 |   90730   586049  1652798 | 2147483647    92900    242 | 10.859 % |
431.50/431.80	c |     93798 |   90730   586049  1652798 | 2147483647    93061    241 | 10.859 % |
432.90/433.12	c |     93974 |   90730   586049  1652798 | 2147483647    93237    241 | 10.859 % |
434.40/434.61	c |     94168 |   90730   586049  1652798 | 2147483647    93430    241 | 10.867 % |
435.80/436.02	c |     94381 |   90730   586049  1652798 | 2147483647    93643    241 | 10.867 % |
437.40/437.69	c |     94615 |   90730   586049  1652798 | 2147483647    93877    240 | 10.867 % |
439.10/439.32	c |     94872 |   90730   586049  1652798 | 2147483647    94134    240 | 10.867 % |
441.10/441.34	c |     95153 |   90730   586049  1652798 | 2147483647    94415    240 | 10.867 % |
442.70/442.92	c |     95463 |   90730   586049  1652798 | 2147483647    94725    239 | 10.867 % |
444.79/445.01	c |     95802 |   90730   586049  1652798 | 2147483647    95064    239 | 10.867 % |
446.89/447.19	c |     96174 |   90730   586049  1652798 | 2147483647    95436    238 | 10.867 % |
449.49/449.73	c |     96583 |   90730   586049  1652798 | 2147483647    95845    238 | 10.867 % |
451.99/452.22	c |     97032 |   90722   585972  1652603 | 2147483647    96291    237 | 10.867 % |
454.69/454.90	c |     97525 |   90722   585972  1652603 | 2147483647    96784    236 | 10.867 % |
458.39/458.69	c |     98067 |   90722   585972  1652603 | 2147483647    97326    236 | 10.867 % |
461.69/461.96	c |     98665 |   90722   585972  1652603 | 2147483647    97924    235 | 10.867 % |
465.48/465.77	c |     99322 |   90722   585972  1652603 | 2147483647    98581    234 | 10.867 % |
469.28/469.52	c |    100042 |   90722   585972  1652603 | 2147483647    99301    234 | 10.867 % |
475.18/475.49	c |    100837 |   90712   585883  1652376 | 2147483647   100092    233 | 10.877 % |
481.98/482.23	c |    101708 |   90712   585883  1652376 | 2147483647   100963    232 | 10.877 % |
488.28/488.57	c |    102668 |   90712   585883  1652376 | 2147483647   101923    231 | 10.877 % |
495.47/495.71	c |    103721 |   90711   585879  1652368 | 2147483647   102974    230 | 10.878 % |
502.77/503.04	c |    104879 |   90709   585879  1652368 | 2147483647   104130    229 | 10.880 % |
503.57/503.88	c |    104979 |   90709   585879  1652368 | 2147483647   104230    229 | 10.880 % |
504.37/504.61	c |    105091 |   90709   585879  1652368 | 2147483647   104342    229 | 10.880 % |
505.07/505.35	c |    105212 |   90709   585879  1652368 | 2147483647   104463    229 | 10.880 % |
505.97/506.30	c |    105351 |   90709   585879  1652368 | 2147483647   104602    229 | 10.880 % |
507.17/507.48	c |    105498 |   90709   585879  1652368 | 2147483647   104749    229 | 10.880 % |
508.26/508.58	c |    105659 |   90709   585879  1652368 | 2147483647   104910    229 | 10.880 % |
509.86/510.14	c |    105835 |   90709   585879  1652368 | 2147483647   105086    229 | 10.880 % |
511.17/511.41	c |    106029 |   90709   585879  1652368 | 2147483647   105280    229 | 10.880 % |
512.56/512.85	c |    106244 |   90709   585879  1652368 | 2147483647   105495    229 | 10.880 % |
514.06/514.36	c |    106478 |   90709   585879  1652368 | 2147483647   105729    228 | 10.880 % |
515.67/515.93	c |    106740 |   90709   585879  1652368 | 2147483647   105991    228 | 10.880 % |
517.77/518.04	c |    107021 |   90709   585871  1652352 | 2147483647   106270    228 | 10.880 % |
519.66/519.98	c |    107330 |   90709   585871  1652352 | 2147483647   106579    228 | 10.880 % |
521.86/522.12	c |    107671 |   90709   585871  1652352 | 2147483647   106920    227 | 10.880 % |
524.36/524.65	c |    108046 |   90709   585871  1652352 | 2147483647   107295    227 | 10.880 % |
527.36/527.68	c |    108455 |   90709   585871  1652352 | 2147483647   107704    226 | 10.880 % |
530.36/530.68	c |    108904 |   90709   585871  1652352 | 2147483647   108153    226 | 10.880 % |
533.56/533.88	c |    109397 |   90709   585871  1652352 | 2147483647   108646    225 | 10.880 % |
536.85/537.13	c |    109939 |   90709   585871  1652352 | 2147483647   109188    225 | 10.880 % |
540.35/540.67	c |    110536 |   90709   585871  1652352 | 2147483647   109785    224 | 10.880 % |
544.55/544.84	c |    111192 |   90703   585848  1652293 | 2147483647   110440    223 | 10.886 % |
548.75/549.02	c |    111912 |   90703   585848  1652293 | 2147483647   111160    223 | 10.886 % |
553.95/554.20	c |    112704 |   90703   585848  1652293 | 2147483647   111952    222 | 10.886 % |
559.15/559.47	c |    113575 |   90703   585848  1652293 | 2147483647   112822    221 | 10.897 % |
565.84/566.19	c |    114533 |   90703   585848  1652293 | 2147483647   113780    220 | 10.897 % |
571.24/571.56	c |    115587 |   90692   585782  1652130 | 2147483647   114831    219 | 10.897 % |
579.33/579.62	c |    116745 |   90692   585782  1652130 | 2147483647   115989    218 | 10.897 % |
587.93/588.20	c |    118018 |   90692   585782  1652130 | 2147483647   117262    216 | 10.897 % |
588.53/588.84	c |    118118 |   90692   585782  1652130 | 2147483647   117362    216 | 10.897 % |
589.23/589.51	c |    118229 |   90692   585782  1652130 | 2147483647   117473    216 | 10.897 % |
590.13/590.49	c |    118350 |   90692   585782  1652130 | 2147483647   117594    216 | 10.897 % |
591.33/591.61	c |    118483 |   90691   585778  1652122 | 2147483647   117725    216 | 10.898 % |
592.64/592.92	c |    118634 |   90691   585778  1652122 | 2147483647   117876    216 | 10.898 % |
593.83/594.14	c |    118794 |   90691   585778  1652122 | 2147483647   118036    216 | 10.898 % |
594.93/595.28	c |    118970 |   90691   585778  1652122 | 2147483647   118212    216 | 10.898 % |
596.03/596.35	c |    119163 |   90691   585778  1652122 | 2147483647   118405    216 | 10.898 % |
597.83/598.17	c |    119375 |   90691   585778  1652122 | 2147483647   118617    215 | 10.898 % |
599.33/599.69	c |    119611 |   90691   585778  1652122 | 2147483647   118853    215 | 10.898 % |
601.23/601.56	c |    119870 |   90691   585778  1652122 | 2147483647   119112    215 | 10.898 % |
603.33/603.61	c |    120151 |   90687   585778  1652122 | 2147483647   119389    215 | 10.902 % |
605.23/605.50	c |    120461 |   90687   585778  1652122 | 2147483647   119699    215 | 10.902 % |
607.43/607.72	c |    120800 |   90687   585778  1652122 | 2147483647   120038    214 | 10.902 % |
610.03/610.36	c |    121172 |   90687   585778  1652122 | 2147483647   120410    214 | 10.902 % |
613.12/613.43	c |    121582 |   90687   585778  1652122 | 2147483647   120820    214 | 10.902 % |
616.42/616.79	c |    122031 |   90687   585762  1652090 | 2147483647   121269    214 | 10.902 % |
620.02/620.37	c |    122524 |   90687   585762  1652090 | 2147483647   121762    213 | 10.902 % |
624.02/624.32	c |    123066 |   90687   585762  1652090 | 2147483647   122304    213 | 10.902 % |
628.01/628.39	c |    123662 |   90687   585762  1652090 | 2147483647   122900    212 | 10.902 % |
632.51/632.88	c |    124317 |   90687   585762  1652090 | 2147483647   123555    211 | 10.902 % |
636.81/637.16	c |    125037 |   90687   585762  1652090 | 2147483647   124275    211 | 10.902 % |
642.21/642.55	c |    125830 |   90687   585762  1652090 | 2147483647   125068    210 | 10.902 % |
649.21/649.59	c |    126701 |   90687   585762  1652090 | 2147483647   125939    210 | 10.902 % |
656.31/656.70	c |    127659 |   90687   585762  1652090 | 2147483647   126897    209 | 10.902 % |
665.30/665.65	c |    128715 |   90687   585762  1652090 | 2147483647   127953    209 | 10.902 % |
673.10/673.41	c |    129874 |   90687   585762  1652090 | 2147483647   129112    209 | 10.902 % |
681.09/681.42	c |    131151 |   90674   585654  1651807 | 2147483647   130384    209 | 10.914 % |
689.99/690.31	c |    132551 |   90674   585654  1651807 | 2147483647   131784    208 | 10.914 % |
690.79/691.18	c |    132651 |   90674   585654  1651807 | 2147483647   131884    208 | 10.914 % |
691.69/692.03	c |    132764 |   90674   585654  1651807 | 2147483647   131997    208 | 10.914 % |
692.59/693.00	c |    132888 |   90674   585654  1651807 | 2147483647   132121    208 | 10.914 % |
693.69/694.02	c |    133021 |   90674   585654  1651807 | 2147483647   132254    208 | 10.914 % |
694.59/694.95	c |    133167 |   90674   585654  1651807 | 2147483647   132400    207 | 10.914 % |
695.49/695.85	c |    133327 |   90674   585654  1651807 | 2147483647   132560    207 | 10.914 % |
696.59/696.96	c |    133504 |   90674   585654  1651807 | 2147483647   132737    207 | 10.914 % |
697.89/698.22	c |    133697 |   90674   585654  1651807 | 2147483647   132930    207 | 10.914 % |
699.49/699.80	c |    133912 |   90674   585654  1651807 | 2147483647   133145    207 | 10.914 % |
701.59/701.97	c |    134146 |   90674   585654  1651807 | 2147483647   133379    206 | 10.914 % |
703.19/703.53	c |    134402 |   90674   585654  1651807 | 2147483647   133635    206 | 10.914 % |
705.18/705.54	c |    134685 |   90674   585654  1651807 | 2147483647   133918    206 | 10.914 % |
707.78/708.15	c |    134997 |   90674   585654  1651807 | 2147483647   134230    206 | 10.914 % |
710.08/710.42	c |    135336 |   90674   585654  1651807 | 2147483647   134569    205 | 10.914 % |
712.68/713.07	c |    135708 |   90674   585654  1651807 | 2147483647   134941    205 | 10.914 % |
714.98/715.39	c |    136117 |   90674   585654  1651807 | 2147483647   135350    205 | 10.914 % |
718.27/718.63	c |    136569 |   90674   585654  1651807 | 2147483647   135802    204 | 10.914 % |
722.07/722.48	c |    137062 |   90674   585654  1651807 | 2147483647   136295    204 | 10.914 % |
725.97/726.34	c |    137605 |   90674   585654  1651807 | 2147483647   136838    204 | 10.914 % |
730.28/730.64	c |    138201 |   90674   585654  1651807 | 2147483647   137434    203 | 10.914 % |
735.28/735.64	c |    138856 |   90674   585654  1651807 | 2147483647   138089    203 | 10.914 % |
741.18/741.51	c |    139576 |   90674   585654  1651807 | 2147483647   138809    202 | 10.914 % |
746.77/747.16	c |    140372 |   90674   585654  1651807 | 2147483647   139605    202 | 10.914 % |
753.87/754.22	c |    141243 |   90674   585654  1651807 | 2147483647   140476    201 | 10.914 % |
759.77/760.15	c |    142201 |   90674   585654  1651807 | 2147483647   141434    201 | 10.914 % |
767.26/767.68	c |    143254 |   90674   585654  1651807 | 2147483647   142487    200 | 10.914 % |
775.06/775.47	c |    144413 |   90674   585654  1651807 | 2147483647   143646    199 | 10.914 % |
784.45/784.83	c |    145688 |   90674   585654  1651807 | 2147483647   144921    198 | 10.914 % |
795.85/796.23	c |    147088 |   90674   585654  1651807 | 2147483647   146321    197 | 10.914 % |
802.06/802.49	c |    148629 |   90674   585654  1651807 | 2147483647   147862    196 | 10.914 % |
802.76/803.14	c |    148730 |   90674   585654  1651807 | 2147483647   147963    196 | 10.914 % |
803.36/803.72	c |    148842 |   90674   585654  1651807 | 2147483647   148075    196 | 10.914 % |
804.25/804.63	c |    148963 |   90674   585654  1651807 | 2147483647   148196    196 | 10.914 % |
805.25/805.70	c |    149096 |   90674   585654  1651807 | 2147483647   148329    196 | 10.914 % |
806.05/806.46	c |    149244 |   90674   585654  1651807 | 2147483647   148477    196 | 10.914 % |
807.45/807.87	c |    149406 |   90674   585654  1651807 | 2147483647   148639    196 | 10.914 % |
808.75/809.18	c |    149587 |   90674   585654  1651807 | 2147483647   148820    196 | 10.914 % |
810.25/810.62	c |    149781 |   90674   585654  1651807 | 2147483647   149014    196 | 10.914 % |
811.74/812.19	c |    149993 |   90674   585654  1651807 | 2147483647   149226    196 | 10.914 % |
813.74/814.14	c |    150227 |   90674   585654  1651807 | 2147483647   149460    195 | 10.914 % |
815.75/816.20	c |    150483 |   90674   585654  1651807 | 2147483647   149716    195 | 10.914 % |
817.84/818.27	c |    150766 |   90674   585654  1651807 | 2147483647   149999    195 | 10.914 % |
820.24/820.61	c |    151076 |   90674   585654  1651807 | 2147483647   150309    195 | 10.914 % |
822.64/823.02	c |    151420 |   90674   585654  1651807 | 2147483647   150653    194 | 10.914 % |
824.74/825.16	c |    151792 |   90674   585654  1651807 | 2147483647   151025    195 | 10.914 % |
827.33/827.72	c |    152203 |   90674   585654  1651807 | 2147483647   151436    194 | 10.914 % |
830.33/830.77	c |    152653 |   90674   585654  1651807 | 2147483647   151886    194 | 10.914 % |
834.33/834.70	c |    153146 |   90674   585654  1651807 | 2147483647   152379    194 | 10.914 % |
837.93/838.34	c |    153689 |   90674   585654  1651807 | 2147483647   152922    193 | 10.914 % |
842.04/842.48	c |    154285 |   90674   585654  1651807 | 2147483647   153518    193 | 10.914 % |
845.24/845.61	c |    154940 |   90674   585654  1651807 | 2147483647   154173    193 | 10.914 % |
851.23/851.64	c |    155660 |   90674   585654  1651807 | 2147483647   154893    193 | 10.914 % |
856.83/857.24	c |    156452 |   90674   585654  1651807 | 2147483647   155685    192 | 10.914 % |
862.03/862.41	c |    157323 |   90674   585654  1651807 | 2147483647   156556    193 | 10.914 % |
868.32/868.71	c |    158281 |   90674   585654  1651807 | 2147483647   157514    194 | 10.914 % |
877.33/877.73	c |    159334 |   90674   585654  1651807 | 2147483647   158567    194 | 10.914 % |
886.42/886.85	c |    160493 |   90674   585654  1651807 | 2147483647   159726    194 | 10.914 % |
896.51/896.92	c |    161767 |   90674   585654  1651807 | 2147483647   161000    194 | 10.914 % |
905.51/905.97	c |    163168 |   90667   585574  1651612 | 2147483647   162387    194 | 10.921 % |
915.41/915.80	c |    164708 |   90667   585574  1651612 | 2147483647   163926    194 | 10.925 % |
925.10/925.50	c |    166402 |   90667   585574  1651612 | 2147483647   165620    194 | 10.925 % |
925.40/925.86	c |    166504 |   90667   585574  1651612 | 2147483647   165722    194 | 10.925 % |
926.01/926.40	c |    166614 |   90667   585574  1651612 | 2147483647   165832    194 | 10.925 % |
926.61/927.01	c |    166735 |   90667   585574  1651612 | 2147483647   165953    194 | 10.925 % |
927.01/927.41	c |    166872 |   90667   585574  1651612 | 2147483647   166090    194 | 10.925 % |
927.91/928.38	c |    167020 |   90667   585574  1651612 | 2147483647   166238    194 | 10.925 % |
928.81/929.24	c |    167181 |   90667   585574  1651612 | 2147483647   166399    194 | 10.925 % |
930.51/930.91	c |    167358 |   90667   585574  1651612 | 2147483647   166576    194 | 10.925 % |
932.21/932.64	c |    167552 |   90663   585545  1651542 | 2147483647   166769    194 | 10.935 % |
933.61/934.06	c |    167764 |   90663   585545  1651542 | 2147483647   166981    194 | 10.935 % |
935.11/935.54	c |    167998 |   90663   585545  1651542 | 2147483647   167215    194 | 10.935 % |
937.20/937.62	c |    168255 |   90663   585545  1651542 | 2147483647   167472    194 | 10.935 % |
939.10/939.52	c |    168539 |   90663   585545  1651542 | 2147483647   167756    193 | 10.935 % |
941.00/941.41	c |    168848 |   90663   585545  1651542 | 2147483647   168065    193 | 10.935 % |
943.10/943.54	c |    169189 |   90663   585545  1651542 | 2147483647   168406    193 | 10.935 % |
945.79/946.23	c |    169563 |   90663   585545  1651542 | 2147483647   168780    193 | 10.935 % |
948.99/949.44	c |    169974 |   90663   585545  1651542 | 2147483647   169191    193 | 10.935 % |
952.20/952.60	c |    170423 |   90663   585545  1651542 | 2147483647   169640    193 | 10.935 % |
955.29/955.80	c |    170917 |   90663   585545  1651542 | 2147483647   170134    192 | 10.935 % |
959.29/959.76	c |    171459 |   90663   585545  1651542 | 2147483647   170675    192 | 10.938 % |
963.69/964.16	c |    172055 |   90663   585545  1651542 | 2147483647   171271    192 | 10.938 % |
968.39/968.80	c |    172711 |   90663   585545  1651542 | 2147483647   171927    191 | 10.938 % |
973.69/974.17	c |    173432 |   90650   585429  1651236 | 2147483647   172644    191 | 10.938 % |
978.49/978.98	c |    174225 |   90650   585429  1651236 | 2147483647   173436    191 | 10.951 % |
983.68/984.19	c |    175097 |   90650   585429  1651236 | 2147483647   174308    190 | 10.951 % |
989.77/990.23	c |    176058 |   90650   585429  1651236 | 2147483647   175269    190 | 10.951 % |
996.07/996.58	c |    177111 |   90650   585429  1651236 | 2147483647   176322    190 | 10.951 % |
1005.66/1006.12	c |    178270 |   90649   585429  1651236 | 2147483647   177480    189 | 10.952 % |
1016.17/1016.60	c |    179544 |   90636   585313  1650928 | 2147483647   178753    189 | 10.952 % |
1026.36/1026.89	c |    180945 |   90636   585313  1650928 | 2147483647   180153    189 | 10.965 % |
1036.25/1036.74	c |    182486 |   90636   585313  1650928 | 2147483647   181693    190 | 10.974 % |
1051.74/1052.24	c |    184180 |   90636   585313  1650928 | 2147483647   183387    190 | 10.974 % |
1063.74/1064.28	c |    186046 |   90613   585089  1650379 | 2147483647   185202    191 | 10.974 % |
1064.34/1064.81	c |    186146 |   90613   585089  1650379 | 2147483647   185302    191 | 10.974 % |
1065.14/1065.60	c |    186256 |   90613   585089  1650379 | 2147483647   185412    191 | 10.974 % |
1065.94/1066.43	c |    186378 |   90613   585089  1650379 | 2147483647   185534    191 | 10.974 % |
1066.84/1067.31	c |    186512 |   90613   585089  1650379 | 2147483647   185668    191 | 10.974 % |
1067.44/1067.96	c |    186662 |   90613   585089  1650379 | 2147483647   185818    191 | 10.974 % |
1067.84/1068.32	c |    186822 |   90613   585089  1650379 | 2147483647   185978    191 | 10.974 % |
1068.24/1068.79	c |    186998 |   90613   585089  1650379 | 2147483647   186154    191 | 10.974 % |
1069.34/1069.80	c |    187193 |   90613   585089  1650379 | 2147483647   186349    191 | 10.974 % |
1070.14/1070.69	c |    187410 |   90613   585089  1650379 | 2147483647   186566    191 | 10.974 % |
1071.54/1072.06	c |    187643 |   90613   585089  1650379 | 2147483647   186799    192 | 10.974 % |
1073.84/1074.30	c |    187899 |   90613   585089  1650379 | 2147483647   187055    191 | 10.974 % |
1075.84/1076.36	c |    188180 |   90613   585089  1650379 | 2147483647   187336    191 | 10.974 % |
1078.54/1079.04	c |    188489 |   90613   585089  1650379 | 2147483647   187645    191 | 10.974 % |
1080.94/1081.43	c |    188840 |   90613   585089  1650379 | 2147483647   187996    191 | 10.974 % |
1083.43/1083.93	c |    189212 |   90613   585089  1650379 | 2147483647   188368    192 | 10.974 % |
1087.03/1087.50	c |    189622 |   90613   585089  1650379 | 2147483647   188778    192 | 10.974 % |
1090.73/1091.28	c |    190071 |   90613   585089  1650379 | 2147483647   189226    192 | 10.980 % |
1093.23/1093.74	c |    190565 |   90613   585089  1650379 | 2147483647   189719    192 | 11.391 % |
1096.42/1096.98	c |    191110 |   89036   567387  1602820 | 2147483647   189556    192 | 12.527 % |
1100.32/1100.82	c |    191707 |   89036   567387  1602820 | 2147483647   190153    193 | 12.527 % |
1104.93/1105.48	c |    192362 |   89036   567387  1602820 | 2147483647   190808    192 | 12.527 % |
1111.23/1111.75	c |    193082 |   89036   567387  1602820 | 2147483647   191527    192 | 12.552 % |
1117.22/1117.79	c |    193876 |   89035   567387  1602820 | 2147483647   192320    193 | 12.553 % |
1123.31/1123.82	c |    194747 |   89035   567387  1602820 | 2147483647   193191    192 | 12.553 % |
1130.22/1130.71	c |    195705 |   89035   567387  1602820 | 2147483647   194149    192 | 12.553 % |
1136.51/1137.01	c |    196758 |   89035   567387  1602820 | 2147483647   195202    192 | 12.553 % |
1145.11/1145.66	c |    197917 |   89006   567225  1602473 | 2147483647   196290    193 | 12.553 % |
1155.41/1155.96	c |    199192 |   89005   567225  1602473 | 2147483647   197563    193 | 12.690 % |
1164.80/1165.32	c |    200594 |   89005   567225  1602473 | 2147483647   198965    193 | 12.690 % |
1174.79/1175.32	c |    202135 |   89005   567225  1602473 | 2147483647   200506    193 | 12.690 % |
1188.00/1188.51	c |    203829 |   89005   567225  1602473 | 2147483647   202200    194 | 12.690 % |
1203.59/1204.20	c |    205692 |   88867   566670  1601363 | 2147483647   204060    193 | 12.694 % |
1217.58/1218.11	c |    207742 |   88867   566670  1601363 | 2147483647   206110    193 | 12.694 % |
1218.58/1219.11	c |    207846 |   88867   566670  1601363 | 2147483647   206214    193 | 12.694 % |
1219.58/1220.17	c |    207956 |   88867   566670  1601363 | 2147483647   206324    193 | 12.694 % |
1220.88/1221.41	c |    208078 |   88867   566670  1601363 | 2147483647   206446    193 | 12.694 % |
1221.78/1222.35	c |    208212 |   88867   566670  1601363 | 2147483647   206580    193 | 12.694 % |
1223.28/1223.85	c |    208360 |   88867   566670  1601363 | 2147483647   206728    193 | 12.694 % |
1224.98/1225.54	c |    208521 |   88867   566670  1601363 | 2147483647   206889    193 | 12.694 % |
1226.18/1226.72	c |    208697 |   88867   566670  1601363 | 2147483647   207065    193 | 12.694 % |
1227.97/1228.59	c |    208892 |   88867   566670  1601363 | 2147483647   207260    193 | 12.694 % |
1230.07/1230.65	c |    209105 |   88866   566670  1601363 | 2147483647   207472    193 | 12.695 % |
1231.48/1232.05	c |    209338 |   88866   566670  1601363 | 2147483647   207705    193 | 12.695 % |
1233.07/1233.69	c |    209595 |   88866   566670  1601363 | 2147483647   207962    193 | 12.695 % |
1234.78/1235.38	c |    209879 |   88866   566670  1601363 | 2147483647   208246    193 | 12.695 % |
1236.88/1237.49	c |    210188 |   88866   566670  1601363 | 2147483647   208555    193 | 12.695 % |
1239.68/1240.28	c |    210527 |   88862   566637  1601285 | 2147483647   208893    193 | 12.695 % |
1242.68/1243.29	c |    210902 |   88862   566637  1601285 | 2147483647   209268    193 | 12.695 % |
1246.88/1247.47	c |    211311 |   88862   566637  1601285 | 2147483647   209677    193 | 12.695 % |
1250.08/1250.62	c |    211760 |   88862   566637  1601285 | 2147483647   210126    193 | 12.695 % |
1255.67/1256.25	c |    212254 |   88862   566637  1601285 | 2147483647   210620    192 | 12.695 % |
1261.36/1261.91	c |    212796 |   88861   566637  1601285 | 2147483647   211161    192 | 12.700 % |
1266.26/1266.89	c |    213392 |   88861   566637  1601285 | 2147483647   211756    192 | 12.851 % |
1272.16/1272.78	c |    214050 |   88861   566637  1601285 | 2147483647   212413    192 | 12.854 % |
1277.75/1278.39	c |    214771 |   88861   566637  1601285 | 2147483647   213134    192 | 12.854 % |
1284.46/1285.00	c |    215564 |   88861   566637  1601285 | 2147483647   213927    191 | 12.854 % |
1289.86/1290.40	c |    216435 |   88861   566637  1601285 | 2147483647   214798    191 | 12.854 % |
1296.76/1297.36	c |    217396 |   88700   565681  1598933 | 2147483647   215725    190 | 12.854 % |
1305.05/1305.64	c |    218450 |   88700   565681  1598933 | 2147483647   216779    190 | 12.854 % |
1315.14/1315.77	c |    219615 |   88700   565681  1598933 | 2147483647   217943    190 | 12.861 % |
1326.64/1327.24	c |    220890 |   88700   565681  1598933 | 2147483647   219218    189 | 12.861 % |
1338.83/1339.48	c |    222292 |   88700   565681  1598933 | 2147483647   220620    189 | 12.861 % |
1350.52/1351.17	c |    223837 |   88692   565603  1598739 | 2147483647   222155    189 | 12.874 % |
1362.62/1363.22	c |    225531 |   88692   565603  1598739 | 2147483647   223848    189 | 12.875 % |
1374.72/1375.37	c |    227394 |   88692   565603  1598739 | 2147483647   225711    190 | 12.875 % |
1391.71/1392.39	c |    229443 |   88692   565603  1598739 | 2147483647   227760    190 | 12.875 % |
1408.60/1409.24	c |    231696 |   88692   565603  1598739 | 2147483647   230013    190 | 12.875 % |
1409.70/1410.38	c |    231796 |   88678   565475  1598397 | 2147483647   230098    190 | 12.875 % |
1410.80/1411.43	c |    231907 |   88678   565475  1598397 | 2147483647   230209    190 | 12.875 % |
1412.00/1412.70	c |    232028 |   88678   565475  1598397 | 2147483647   230330    190 | 12.875 % |
1413.20/1413.80	c |    232161 |   88678   565475  1598397 | 2147483647   230463    189 | 12.875 % |
1414.50/1415.16	c |    232309 |   88678   565475  1598397 | 2147483647   230611    189 | 12.875 % |
1415.80/1416.41	c |    232469 |   88678   565475  1598397 | 2147483647   230771    189 | 12.875 % |
1417.40/1418.05	c |    232647 |   88678   565475  1598397 | 2147483647   230949    189 | 12.875 % |
1419.50/1420.15	c |    232840 |   88678   565475  1598397 | 2147483647   231142    189 | 12.875 % |
1421.00/1421.66	c |    233059 |   88678   565475  1598397 | 2147483647   231361    189 | 12.875 % |
1423.00/1423.67	c |    233301 |   88678   565475  1598397 | 2147483647   231603    189 | 12.875 % |
1425.40/1426.01	c |    233557 |   88678   565475  1598397 | 2147483647   231859    189 | 12.875 % |
1428.00/1428.65	c |    233838 |   88678   565475  1598397 | 2147483647   232140    189 | 12.875 % |
1430.50/1431.12	c |    234149 |   88678   565475  1598397 | 2147483647   232451    189 | 12.875 % |
1432.99/1433.66	c |    234489 |   88678   565475  1598397 | 2147483647   232791    189 | 12.875 % |
1435.99/1436.61	c |    234863 |   88678   565475  1598397 | 2147483647   233165    189 | 12.875 % |
1439.48/1440.12	c |    235272 |   88678   565475  1598397 | 2147483647   233574    189 | 12.875 % |
1442.38/1443.00	c |    235722 |   88678   565475  1598397 | 2147483647   234024    188 | 12.875 % |
1445.38/1446.08	c |    236215 |   88678   565475  1598397 | 2147483647   234516    188 | 12.878 % |
1450.38/1451.07	c |    236759 |   88678   565475  1598397 | 2147483647   235060    188 | 12.878 % |
1455.98/1456.65	c |    237355 |   88678   565475  1598397 | 2147483647   235656    188 | 12.878 % |
1461.38/1462.01	c |    238010 |   88678   565475  1598397 | 2147483647   236311    188 | 12.878 % |
1466.68/1467.37	c |    238730 |   88675   565450  1598335 | 2147483647   237031    188 | 12.878 % |
1473.27/1473.97	c |    239527 |   88675   565450  1598335 | 2147483647   237828    188 | 12.878 % |
1480.07/1480.72	c |    240398 |   88673   565450  1598335 | 2147483647   238697    187 | 12.889 % |
1488.27/1488.91	c |    241357 |   88673   565450  1598335 | 2147483647   239656    187 | 12.889 % |
1496.06/1496.74	c |    242411 |   88673   565450  1598335 | 2147483647   240710    187 | 12.889 % |
1505.06/1505.76	c |    243569 |   88673   565450  1598335 | 2147483647   241868    187 | 12.889 % |
1515.96/1516.66	c |    244842 |   88673   565450  1598335 | 2147483647   243141    187 | 12.889 % |
1526.44/1527.19	c |    246242 |   88655   565318  1598014 | 2147483647   244514    186 | 12.909 % |
1539.25/1539.95	c |    247784 |   88654   565318  1598014 | 2147483647   246055    186 | 12.910 % |
1555.24/1555.96	c |    249480 |   88654   565318  1598014 | 2147483647   247751    185 | 12.910 % |
1570.83/1571.56	c |    251344 |   88654   565318  1598014 | 2147483647   249614    185 | 12.918 % |
1586.23/1586.93	c |    253394 |   88635   565166  1597686 | 2147483647   251474    185 | 12.918 % |
1603.43/1604.11	c |    255647 |   88635   565166  1597686 | 2147483647   253727    184 | 12.918 % |
1619.52/1620.28	c |    258129 |   88635   565166  1597686 | 2147483647   256209    184 | 12.918 % |
1620.51/1621.30	c |    258232 |   88635   565166  1597686 | 2147483647   256312    184 | 12.918 % |
1621.41/1622.19	c |    258342 |   88635   565166  1597686 | 2147483647   256422    184 | 12.918 % |
1622.31/1623.05	c |    258465 |   88635   565166  1597686 | 2147483647   256545    184 | 12.918 % |
1623.41/1624.18	c |    258598 |   88635   565166  1597686 | 2147483647   256678    184 | 12.918 % |
1624.61/1625.35	c |    258744 |   88635   565166  1597686 | 2147483647   256824    184 | 12.918 % |
1625.71/1626.46	c |    258904 |   88635   565166  1597686 | 2147483647   256984    184 | 12.918 % |
1627.11/1627.80	c |    259080 |   88635   565166  1597686 | 2147483647   257160    183 | 12.918 % |
1627.72/1628.46	c |    259275 |   88635   565166  1597686 | 2147483647   257355    183 | 12.918 % |
1629.62/1630.34	c |    259487 |   88635   565166  1597686 | 2147483647   257567    184 | 12.918 % |
1630.92/1631.62	c |    259720 |   88635   565166  1597686 | 2147483647   257800    184 | 12.918 % |
1633.42/1634.13	c |    259977 |   88622   565062  1597411 | 2147483647   258055    184 | 12.930 % |
1635.41/1636.17	c |    260258 |   88622   565062  1597411 | 2147483647   258336    184 | 12.930 % |
1638.21/1638.97	c |    260570 |   88622   565062  1597411 | 2147483647   258648    184 | 12.930 % |
1640.11/1640.87	c |    260909 |   88622   565062  1597411 | 2147483647   258987    184 | 12.930 % |
1643.01/1643.72	c |    261282 |   88622   565062  1597411 | 2147483647   259360    184 | 12.930 % |
1646.71/1647.43	c |    261692 |   88622   565062  1597411 | 2147483647   259770    184 | 12.930 % |
1650.70/1651.41	c |    262141 |   88622   565062  1597411 | 2147483647   260219    184 | 12.930 % |
1654.10/1654.86	c |    262635 |   88622   565062  1597411 | 2147483647   260713    183 | 12.930 % |
1658.30/1659.07	c |    263180 |   88622   565062  1597411 | 2147483647   261258    183 | 12.930 % |
1662.90/1663.62	c |    263776 |   88622   565062  1597411 | 2147483647   261854    183 | 12.930 % |
1668.00/1668.72	c |    264434 |   88622   565062  1597411 | 2147483647   262512    183 | 12.930 % |
1673.40/1674.15	c |    265155 |   88622   565062  1597411 | 2147483647   263233    183 | 12.930 % |
1679.09/1679.81	c |    265952 |   88622   565062  1597411 | 2147483647   264030    183 | 12.930 % |
1686.09/1686.90	c |    266825 |   88622   565062  1597411 | 2147483647   264903    182 | 12.930 % |
1694.89/1695.64	c |    267784 |   88622   565062  1597411 | 2147483647   265862    182 | 12.930 % |
1702.39/1703.19	c |    268838 |   88622   565062  1597411 | 2147483647   266916    182 | 12.930 % |
1711.28/1712.05	c |    269996 |   88622   565062  1597411 | 2147483647   268074    182 | 12.930 % |
1721.58/1722.33	c |    271270 |   88607   564951  1597109 | 2147483647   269345    181 | 12.945 % |
1732.78/1733.54	c |    272674 |   88607   564951  1597109 | 2147483647   270749    181 | 12.945 % |
1745.67/1746.45	c |    274218 |   88607   564951  1597109 | 2147483647   272293    181 | 12.945 % |
1760.06/1760.81	c |    275912 |   88607   564951  1597109 | 2147483647   273986    180 | 12.946 % |
1776.86/1777.64	c |    277776 |   88607   564951  1597109 | 2147483647   275850    180 | 12.946 % |
1796.14/1797.00	c |    279825 |   88606   564948  1597103 | 2147483647   277894    179 | 12.950 % |
1816.45/1817.29	c |    282079 |   88599   564948  1597103 | 2147483647   280146    179 | 12.976 % |
1835.44/1836.27	c |    284560 |   88599   564948  1597103 | 2147483647   282627    178 | 12.976 % |
1858.42/1859.25	c |    287286 |   88575   564667  1596427 | 2147483647   285251    178 | 12.977 % |
1859.33/1860.17	c |    287388 |   88575   564667  1596427 | 2147483647   285353    178 | 12.977 % |
1860.52/1861.36	c |    287498 |   88575   564667  1596427 | 2147483647   285463    178 | 12.977 % |
1861.82/1862.63	c |    287621 |   88575   564667  1596427 | 2147483647   285586    178 | 12.977 % |
1862.92/1863.78	c |    287755 |   88575   564667  1596427 | 2147483647   285720    178 | 12.977 % |
1864.12/1864.98	c |    287901 |   88575   564667  1596427 | 2147483647   285866    178 | 12.977 % |
1865.62/1866.50	c |    288062 |   88575   564667  1596427 | 2147483647   286027    178 | 12.977 % |
1867.12/1867.96	c |    288240 |   88575   564667  1596427 | 2147483647   286205    178 | 12.977 % |
1869.32/1870.19	c |    288433 |   88575   564667  1596427 | 2147483647   286398    178 | 12.977 % |
1871.42/1872.24	c |    288645 |   88575   564667  1596427 | 2147483647   286610    178 | 12.977 % |
1873.42/1874.22	c |    288880 |   88575   564667  1596427 | 2147483647   286845    178 | 12.977 % |
1875.63/1876.40	c |    289140 |   88575   564667  1596427 | 2147483647   287105    178 | 12.977 % |
1877.62/1878.44	c |    289422 |   88575   564667  1596427 | 2147483647   287387    178 | 12.977 % |
1880.92/1881.70	c |    289733 |   88575   564667  1596427 | 2147483647   287698    178 | 12.977 % |
1884.12/1884.90	c |    290072 |   88575   564667  1596427 | 2147483647   288037    178 | 12.977 % |
1887.61/1888.49	c |    290444 |   88575   564667  1596427 | 2147483647   288409    177 | 12.977 % |
1891.01/1891.84	c |    290856 |   88575   564667  1596427 | 2147483647   288821    177 | 12.977 % |
1895.21/1896.06	c |    291306 |   88575   564667  1596427 | 2147483647   289271    177 | 12.977 % |
1900.01/1900.82	c |    291800 |   88575   564667  1596427 | 2147483647   289765    177 | 12.977 % |
1904.60/1905.46	c |    292342 |   88575   564667  1596427 | 2147483647   290307    177 | 12.977 % |
1911.00/1911.81	c |    292941 |   88575   564667  1596427 | 2147483647   290905    177 | 12.978 % |
1917.80/1918.61	c |    293597 |   88568   564593  1596256 | 2147483647   291518    177 | 12.984 % |
1924.29/1925.11	c |    294319 |   88568   564593  1596256 | 2147483647   292239    177 | 12.988 % |
1929.99/1930.84	c |    295113 |   88541   564593  1596256 | 2147483647   293030    177 | 13.239 % |
1937.39/1938.23	c |    295985 |   88541   564593  1596256 | 2147483647   293901    177 | 13.455 % |
1947.18/1948.02	c |    296948 |   88541   564593  1596256 | 2147483647   294864    177 | 13.455 % |
1958.09/1958.92	c |    298005 |   88541   564593  1596256 | 2147483647   295921    176 | 13.455 % |
1968.98/1969.83	c |    299166 |   88541   564593  1596256 | 2147483647   297082    176 | 13.455 % |
1981.77/1982.68	c |    300442 |   88541   564593  1596256 | 2147483647   298358    176 | 13.455 % |
1994.87/1995.75	c |    301847 |   88088   562041  1590173 | 2147483647   299749    176 | 13.455 % |
2011.96/2012.86	c |    303387 |   88085   562041  1590173 | 2147483647   301286    175 | 13.468 % |
2027.86/2028.79	c |    305081 |   88085   562041  1590173 | 2147483647   302980    175 | 13.468 % |
2044.35/2045.25	c |    306945 |   88082   562041  1590173 | 2147483647   304841    175 | 13.471 % |
2062.24/2063.16	c |    308995 |   88082   562041  1590173 | 2147483647   306891    174 | 13.471 % |
2084.83/2085.72	c |    311249 |   88071   561863  1589769 | 2147483647   309027    174 | 13.472 % |
2109.42/2110.36	c |    313727 |   88066   561863  1589769 | 2147483647   311500    174 | 13.477 % |
2133.71/2134.68	c |    316452 |   88066   561863  1589769 | 2147483647   314224    174 | 13.485 % |
2161.78/2162.71	c |    319452 |   88058   561766  1589543 | 2147483647   317078    173 | 13.485 % |
2162.18/2163.10	c |    319552 |   88058   561766  1589543 | 2147483647   317178    173 | 13.485 % |
2163.38/2164.36	c |    319664 |   88058   561766  1589543 | 2147483647   317290    173 | 13.485 % |
2164.38/2165.37	c |    319785 |   88058   561766  1589543 | 2147483647   317411    173 | 13.485 % |
2165.68/2166.65	c |    319918 |   88058   561766  1589543 | 2147483647   317544    173 | 13.485 % |
2167.38/2168.35	c |    320066 |   88058   561766  1589543 | 2147483647   317692    173 | 13.485 % |
2169.08/2170.03	c |    320226 |   88058   561766  1589543 | 2147483647   317852    173 | 13.485 % |
2170.88/2171.81	c |    320404 |   88058   561766  1589543 | 2147483647   318029    173 | 13.488 % |
2172.48/2173.47	c |    320598 |   88058   561766  1589543 | 2147483647   318223    173 | 13.488 % |
2174.78/2175.73	c |    320810 |   88058   561766  1589543 | 2147483647   318435    173 | 13.488 % |
2177.08/2178.04	c |    321043 |   88058   561766  1589543 | 2147483647   318668    173 | 13.488 % |
2179.78/2180.73	c |    321299 |   88058   561766  1589543 | 2147483647   318924    173 | 13.488 % |
2182.87/2183.86	c |    321581 |   88058   561766  1589543 | 2147483647   319206    173 | 13.488 % |
2185.67/2186.60	c |    321890 |   88058   561766  1589543 | 2147483647   319515    173 | 13.488 % |
2189.27/2190.24	c |    322230 |   88058   561766  1589543 | 2147483647   319855    173 | 13.488 % |
2193.17/2194.13	c |    322602 |   88058   561766  1589543 | 2147483647   320227    172 | 13.488 % |
2197.47/2198.41	c |    323012 |   88058   561766  1589543 | 2147483647   320637    172 | 13.488 % |
2201.66/2202.68	c |    323461 |   88058   561766  1589543 | 2147483647   321086    172 | 13.488 % |
2206.27/2207.25	c |    323960 |   88055   561741  1589481 | 2147483647   321585    172 | 13.488 % |
2211.17/2212.13	c |    324502 |   88055   561741  1589481 | 2147483647   322127    172 | 13.488 % |
2218.27/2219.21	c |    325098 |   88055   561741  1589481 | 2147483647   322723    172 | 13.488 % |
2225.56/2226.59	c |    325753 |   88055   561741  1589481 | 2147483647   323378    172 | 13.488 % |
2232.76/2233.72	c |    326478 |   88055   561741  1589481 | 2147483647   324103    172 | 13.488 % |
2239.86/2240.89	c |    327270 |   88055   561741  1589481 | 2147483647   324895    171 | 13.488 % |
2247.25/2248.23	c |    328141 |   88055   561741  1589481 | 2147483647   325766    171 | 13.488 % |
2256.25/2257.22	c |    329100 |   88055   561741  1589481 | 2147483647   326725    171 | 13.488 % |
2266.74/2267.74	c |    330154 |   88055   561741  1589481 | 2147483647   327778    171 | 13.489 % |
2276.74/2277.75	c |    331313 |   88055   561741  1589481 | 2147483647   328937    171 | 13.489 % |
2288.14/2289.13	c |    332586 |   88054   561737  1589473 | 2147483647   330210    170 | 13.489 % |
2300.53/2301.52	c |    333987 |   88051   561737  1589473 | 2147483647   331610    170 | 14.094 % |
2314.62/2315.67	c |    335527 |   88050   561737  1589473 | 2147483647   333149    170 | 14.188 % |
2331.22/2332.26	c |    337223 |   88048   561737  1589473 | 2147483647   334844    169 | 15.412 % |
2339.92/2340.99	c ===============================================================================
2339.92/2340.99	c restarts              : 736
2339.92/2340.99	c conflicts             : 338193         (145 /sec)
2339.92/2340.99	c decisions             : 1205007        (1.30 % random) (517 /sec)
2339.92/2340.99	c propagations          : 2389379663     (1024596 /sec)
2339.92/2340.99	c conflict literals     : 57008865       (48.29 % deleted)
2339.92/2340.99	c Memory used           : 270.12 MB
2339.92/2340.99	c CPU time              : 2332.02 s
2339.92/2340.99	c 
2339.92/2340.99	s UNSATISFIABLE
2340.02/2341.03	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 16523
/proc/meminfo: memFree=1625536/2055920 swapFree=4177980/4192956
[pid=16523] ppid=16521 vsize=5356 CPUtime=0
/proc/16523/stat : 16523 (SatELiteGTI) R 16521 16523 15834 0 -1 4194304 292 249 0 0 0 0 0 0 16 0 1 0 315448375 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 258939087519 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/16523/statm: 1339 237 197 169 0 50 0

[startup+0.087867 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 16523
/proc/meminfo: memFree=1625536/2055920 swapFree=4177980/4192956
[pid=16523] ppid=16521 vsize=5356 CPUtime=0
/proc/16523/stat : 16523 (SatELiteGTI) S 16521 16523 15834 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315448375 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16523/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101867 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 16523
/proc/meminfo: memFree=1625536/2055920 swapFree=4177980/4192956
[pid=16523] ppid=16521 vsize=5356 CPUtime=0
/proc/16523/stat : 16523 (SatELiteGTI) S 16521 16523 15834 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315448375 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16523/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301887 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 16523
/proc/meminfo: memFree=1625536/2055920 swapFree=4177980/4192956
[pid=16523] ppid=16521 vsize=5356 CPUtime=0
/proc/16523/stat : 16523 (SatELiteGTI) S 16521 16523 15834 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315448375 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16523/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701928 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 16523
/proc/meminfo: memFree=1625536/2055920 swapFree=4177980/4192956
[pid=16523] ppid=16521 vsize=5356 CPUtime=0
/proc/16523/stat : 16523 (SatELiteGTI) S 16521 16523 15834 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315448375 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16523/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50201 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 16528
/proc/meminfo: memFree=1539952/2055920 swapFree=4177980/4192956
[pid=16523] ppid=16521 vsize=5356 CPUtime=0
/proc/16523/stat : 16523 (SatELiteGTI) S 16521 16523 15834 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315448375 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16523/statm: 1339 237 197 169 0 50 0
[pid=16527] ppid=16523 vsize=104284 CPUtime=1.49
/proc/16527/stat : 16527 (SatELite_releas) R 16523 16523 15834 0 -1 4194304 26418 0 0 0 134 15 0 0 25 0 1 0 315448375 106786816 23804 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 0 0 0
/proc/16527/statm: 26071 23804 76 173 0 25896 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 109640

[startup+3.10218 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 16528
/proc/meminfo: memFree=1519216/2055920 swapFree=4177980/4192956
[pid=16523] ppid=16521 vsize=5356 CPUtime=0
/proc/16523/stat : 16523 (SatELiteGTI) S 16521 16523 15834 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315448375 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16523/statm: 1339 237 197 169 0 50 0
[pid=16527] ppid=16523 vsize=116628 CPUtime=3.09
/proc/16527/stat : 16527 (SatELite_releas) R 16523 16523 15834 0 -1 4194304 29386 0 0 0 291 18 0 0 25 0 1 0 315448375 119427072 26624 1992294400 134512640 135223648 4294956128 18446744073709551615 134586640 0 0 4096 3 0 0 0 17 0 0 0
/proc/16527/statm: 29157 26624 76 173 0 28982 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 121984

[startup+6.3015 s]
/proc/loadavg: 1.08 1.02 1.00 2/66 16528
/proc/meminfo: memFree=1513264/2055920 swapFree=4177980/4192956
[pid=16523] ppid=16521 vsize=5356 CPUtime=0
/proc/16523/stat : 16523 (SatELiteGTI) S 16521 16523 15834 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315448375 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16523/statm: 1339 237 197 169 0 50 0
[pid=16527] ppid=16523 vsize=116460 CPUtime=6.28
/proc/16527/stat : 16527 (SatELite_releas) R 16523 16523 15834 0 -1 4194304 34130 0 0 0 607 21 0 0 25 0 1 0 315448375 119255040 26809 1992294400 134512640 135223648 4294956128 18446744073709551615 134586762 0 0 4096 3 0 0 0 17 0 0 0
/proc/16527/statm: 29115 26809 76 173 0 28940 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 121816

[startup+12.7012 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 16529
/proc/meminfo: memFree=1569776/2055920 swapFree=4177980/4192956
[pid=16523] ppid=16521 vsize=5356 CPUtime=7.3
/proc/16523/stat : 16523 (SatELiteGTI) S 16521 16523 15834 0 -1 4194304 336 36355 0 0 0 0 702 28 16 0 1 0 315448375 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16523/statm: 1339 239 197 169 0 50 0
[pid=16529] ppid=16523 vsize=38112 CPUtime=5.37
/proc/16529/stat : 16529 (minisat_static) R 16523 16523 15834 0 -1 4194304 9145 0 0 0 532 5 0 0 25 0 1 0 315449107 39026688 9058 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 0 0 0
/proc/16529/statm: 9528 9058 77 171 0 9355 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 43468

[startup+25.5015 s]
/proc/loadavg: 1.06 1.01 1.00 2/66 16529
/proc/meminfo: memFree=1566328/2055920 swapFree=4177980/4192956
[pid=16523] ppid=16521 vsize=5356 CPUtime=7.3
/proc/16523/stat : 16523 (SatELiteGTI) S 16521 16523 15834 0 -1 4194304 336 36355 0 0 0 0 702 28 16 0 1 0 315448375 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16523/statm: 1339 239 197 169 0 50 0
[pid=16529] ppid=16523 vsize=41808 CPUtime=18.16
/proc/16529/stat : 16529 (minisat_static) R 16523 16523 15834 0 -1 4194304 10063 0 0 0 1810 6 0 0 25 0 1 0 315449107 42811392 9976 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/16529/statm: 10452 9976 77 171 0 10279 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 47164

[startup+51.1011 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 16529
/proc/meminfo: memFree=1558584/2055920 swapFree=4177980/4192956
[pid=16523] ppid=16521 vsize=5356 CPUtime=7.3
/proc/16523/stat : 16523 (SatELiteGTI) S 16521 16523 15834 0 -1 4194304 336 36355 0 0 0 0 702 28 16 0 1 0 315448375 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16523/statm: 1339 239 197 169 0 50 0
[pid=16529] ppid=16523 vsize=49664 CPUtime=43.74
/proc/16529/stat : 16529 (minisat_static) R 16523 16523 15834 0 -1 4194304 12048 0 0 0 4366 8 0 0 25 0 1 0 315449107 50855936 11961 1992294400 134512640 135215339 4294956240 18446744073709551615 134532711 0 0 4096 3 0 0 0 17 0 0 0
/proc/16529/statm: 12416 11961 77 171 0 12243 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 55020

[startup+102.305 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 16529
/proc/meminfo: memFree=1540152/2055920 swapFree=4177980/4192956
[pid=16523] ppid=16521 vsize=5356 CPUtime=7.3
/proc/16523/stat : 16523 (SatELiteGTI) S 16521 16523 15834 0 -1 4194304 336 36355 0 0 0 0 702 28 16 0 1 0 315448375 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16523/statm: 1339 239 197 169 0 50 0
[pid=16529] ppid=16523 vsize=67704 CPUtime=94.93
/proc/16529/stat : 16529 (minisat_static) R 16523 16523 15834 0 -1 4194304 16549 0 0 0 9481 12 0 0 25 0 1 0 315449107 69328896 16462 1992294400 134512640 135215339 4294956240 18446744073709551615 134532706 0 0 4096 3 0 0 0 17 0 0 0
/proc/16529/statm: 16926 16462 77 171 0 16753 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 73060

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16529
/proc/meminfo: memFree=1523320/2055920 swapFree=4177980/4192956
[pid=16523] ppid=16521 vsize=5356 CPUtime=7.3
/proc/16523/stat : 16523 (SatELiteGTI) S 16521 16523 15834 0 -1 4194304 336 36355 0 0 0 0 702 28 16 0 1 0 315448375 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16523/statm: 1339 239 197 169 0 50 0
[pid=16529] ppid=16523 vsize=84684 CPUtime=154.9
/proc/16529/stat : 16529 (minisat_static) R 16523 16523 15834 0 -1 4194304 20768 0 0 0 15474 16 0 0 25 0 1 0 315449107 86716416 20681 1992294400 134512640 135215339 4294956240 18446744073709551615 134532704 0 0 4096 3 0 0 0 17 0 0 0
/proc/16529/statm: 21171 20681 77 171 0 20998 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 90040

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16529
/proc/meminfo: memFree=1512120/2055920 swapFree=4177980/4192956
[pid=16523] ppid=16521 vsize=5356 CPUtime=7.3
/proc/16523/stat : 16523 (SatELiteGTI) S 16521 16523 15834 0 -1 4194304 336 36355 0 0 0 0 702 28 16 0 1 0 315448375 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16523/statm: 1339 239 197 169 0 50 0
[pid=16529] ppid=16523 vsize=95644 CPUtime=214.88
/proc/16529/stat : 16529 (minisat_static) R 16523 16523 15834 0 -1 4194304 23522 0 0 0 21469 19 0 0 25 0 1 0 315449107 97939456 23435 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16529/statm: 23911 23435 77 171 0 23738 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 101000

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16529
/proc/meminfo: memFree=1499320/2055920 swapFree=4177980/4192956
[pid=16523] ppid=16521 vsize=5356 CPUtime=7.3
/proc/16523/stat : 16523 (SatELiteGTI) S 16521 16523 15834 0 -1 4194304 336 36355 0 0 0 0 702 28 16 0 1 0 315448375 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16523/statm: 1339 239 197 169 0 50 0
[pid=16529] ppid=16523 vsize=108460 CPUtime=274.86
/proc/16529/stat : 16529 (minisat_static) R 16523 16523 15834 0 -1 4194304 26720 0 0 0 27464 22 0 0 25 0 1 0 315449107 111063040 26633 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/16529/statm: 27115 26633 77 171 0 26942 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 113816

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16529
/proc/meminfo: memFree=1488312/2055920 swapFree=4177980/4192956
[pid=16523] ppid=16521 vsize=5356 CPUtime=7.3
/proc/16523/stat : 16523 (SatELiteGTI) S 16521 16523 15834 0 -1 4194304 336 36355 0 0 0 0 702 28 16 0 1 0 315448375 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16523/statm: 1339 239 197 169 0 50 0
[pid=16529] ppid=16523 vsize=119324 CPUtime=334.84
/proc/16529/stat : 16529 (minisat_static) R 16523 16523 15834 0 -1 4194304 29444 0 0 0 33459 25 0 0 25 0 1 0 315449107 122187776 29357 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16529/statm: 29831 29357 77 171 0 29658 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 124680

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16529
/proc/meminfo: memFree=1480312/2055920 swapFree=4177980/4192956
[pid=16523] ppid=16521 vsize=5356 CPUtime=7.3
/proc/16523/stat : 16523 (SatELiteGTI) S 16521 16523 15834 0 -1 4194304 336 36355 0 0 0 0 702 28 16 0 1 0 315448375 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16523/statm: 1339 239 197 169 0 50 0
[pid=16529] ppid=16523 vsize=127400 CPUtime=394.81
/proc/16529/stat : 16529 (minisat_static) R 16523 16523 15834 0 -1 4194304 31456 0 0 0 39454 27 0 0 25 0 1 0 315449107 130457600 31369 1992294400 134512640 135215339 4294956240 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 0 0 0
/proc/16529/statm: 31850 31369 77 171 0 31677 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 132756

[startup+462.302 s]

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


[startup+1962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16535
/proc/meminfo: memFree=1349688/2055920 swapFree=4177980/4192956
[pid=16523] ppid=16521 vsize=5356 CPUtime=7.3
/proc/16523/stat : 16523 (SatELiteGTI) S 16521 16523 15834 0 -1 4194304 336 36355 0 0 0 0 702 28 16 0 1 0 315448375 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16523/statm: 1339 239 197 169 0 50 0
[pid=16529] ppid=16523 vsize=256836 CPUtime=1954.19
/proc/16529/stat : 16529 (minisat_static) R 16523 16523 15834 0 -1 4194304 63657 0 0 0 195355 64 0 0 25 0 1 0 315449107 263000064 63570 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16529/statm: 64209 63570 77 171 0 64036 0
Current children cumulated CPU time (s) 1961.49
Current children cumulated vsize (KiB) 262192

[startup+2022.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 16535
/proc/meminfo: memFree=1347000/2055920 swapFree=4177980/4192956
[pid=16523] ppid=16521 vsize=5356 CPUtime=7.3
/proc/16523/stat : 16523 (SatELiteGTI) S 16521 16523 15834 0 -1 4194304 336 36355 0 0 0 0 702 28 16 0 1 0 315448375 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16523/statm: 1339 239 197 169 0 50 0
[pid=16529] ppid=16523 vsize=259656 CPUtime=2014.16
/proc/16529/stat : 16529 (minisat_static) R 16523 16523 15834 0 -1 4194304 64349 0 0 0 201351 65 0 0 25 0 1 0 315449107 265887744 64262 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16529/statm: 64914 64262 77 171 0 64741 0
Current children cumulated CPU time (s) 2021.46
Current children cumulated vsize (KiB) 265012

[startup+2082.31 s]
/proc/loadavg: 1.12 1.04 1.01 2/66 16535
/proc/meminfo: memFree=1343160/2055920 swapFree=4177980/4192956
[pid=16523] ppid=16521 vsize=5356 CPUtime=7.3
/proc/16523/stat : 16523 (SatELiteGTI) S 16521 16523 15834 0 -1 4194304 336 36355 0 0 0 0 702 28 16 0 1 0 315448375 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16523/statm: 1339 239 197 169 0 50 0
[pid=16529] ppid=16523 vsize=263536 CPUtime=2074.14
/proc/16529/stat : 16529 (minisat_static) R 16523 16523 15834 0 -1 4194304 65292 0 0 0 207348 66 0 0 25 0 1 0 315449107 269860864 65205 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16529/statm: 65884 65205 77 171 0 65711 0
Current children cumulated CPU time (s) 2081.44
Current children cumulated vsize (KiB) 268892

[startup+2142.3 s]
/proc/loadavg: 1.12 1.04 1.00 2/66 16535
/proc/meminfo: memFree=1339512/2055920 swapFree=4177980/4192956
[pid=16523] ppid=16521 vsize=5356 CPUtime=7.3
/proc/16523/stat : 16523 (SatELiteGTI) S 16521 16523 15834 0 -1 4194304 336 36355 0 0 0 0 702 28 16 0 1 0 315448375 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16523/statm: 1339 239 197 169 0 50 0
[pid=16529] ppid=16523 vsize=267760 CPUtime=2134.11
/proc/16529/stat : 16529 (minisat_static) R 16523 16523 15834 0 -1 4194304 66209 0 0 0 213344 67 0 0 25 0 1 0 315449107 274186240 66122 1992294400 134512640 135215339 4294956240 18446744073709551615 134528644 0 0 4096 3 0 0 0 17 0 0 0
/proc/16529/statm: 66940 66122 77 171 0 66767 0
Current children cumulated CPU time (s) 2141.41
Current children cumulated vsize (KiB) 273116

[startup+2202.3 s]
/proc/loadavg: 1.22 1.08 1.02 2/66 16535
/proc/meminfo: memFree=1336504/2055920 swapFree=4177980/4192956
[pid=16523] ppid=16521 vsize=5356 CPUtime=7.3
/proc/16523/stat : 16523 (SatELiteGTI) S 16521 16523 15834 0 -1 4194304 336 36355 0 0 0 0 702 28 16 0 1 0 315448375 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16523/statm: 1339 239 197 169 0 50 0
[pid=16529] ppid=16523 vsize=270716 CPUtime=2194.06
/proc/16529/stat : 16529 (minisat_static) R 16523 16523 15834 0 -1 4194304 66946 0 0 0 219339 67 0 0 25 0 1 0 315449107 277213184 66859 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16529/statm: 67679 66859 77 171 0 67506 0
Current children cumulated CPU time (s) 2201.36
Current children cumulated vsize (KiB) 276072

[startup+2262.3 s]
/proc/loadavg: 1.14 1.08 1.01 2/66 16535
/proc/meminfo: memFree=1333816/2055920 swapFree=4177980/4192956
[pid=16523] ppid=16521 vsize=5356 CPUtime=7.3
/proc/16523/stat : 16523 (SatELiteGTI) S 16521 16523 15834 0 -1 4194304 336 36355 0 0 0 0 702 28 16 0 1 0 315448375 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16523/statm: 1339 239 197 169 0 50 0
[pid=16529] ppid=16523 vsize=273364 CPUtime=2254.05
/proc/16529/stat : 16529 (minisat_static) R 16523 16523 15834 0 -1 4194304 67608 0 0 0 225337 68 0 0 25 0 1 0 315449107 279924736 67521 1992294400 134512640 135215339 4294956240 18446744073709551615 134529148 0 0 4096 3 0 0 0 17 0 0 0
/proc/16529/statm: 68341 67521 77 171 0 68168 0
Current children cumulated CPU time (s) 2261.35
Current children cumulated vsize (KiB) 278720

[startup+2322.3 s]
/proc/loadavg: 1.05 1.06 1.01 2/66 16535
/proc/meminfo: memFree=1331256/2055920 swapFree=4177980/4192956
[pid=16523] ppid=16521 vsize=5356 CPUtime=7.3
/proc/16523/stat : 16523 (SatELiteGTI) S 16521 16523 15834 0 -1 4194304 336 36355 0 0 0 0 702 28 16 0 1 0 315448375 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16523/statm: 1339 239 197 169 0 50 0
[pid=16529] ppid=16523 vsize=275808 CPUtime=2314.03
/proc/16529/stat : 16529 (minisat_static) R 16523 16523 15834 0 -1 4194304 68235 0 0 0 231334 69 0 0 25 0 1 0 315449107 282427392 68148 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16529/statm: 68952 68148 77 171 0 68779 0
Current children cumulated CPU time (s) 2321.33
Current children cumulated vsize (KiB) 281164

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

[startup+2329.5 s]
/proc/loadavg: 1.05 1.06 1.01 2/66 16535
/proc/meminfo: memFree=1331000/2055920 swapFree=4177980/4192956
[pid=16523] ppid=16521 vsize=5356 CPUtime=7.3
/proc/16523/stat : 16523 (SatELiteGTI) S 16521 16523 15834 0 -1 4194304 336 36355 0 0 0 0 702 28 16 0 1 0 315448375 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16523/statm: 1339 239 197 169 0 50 0
[pid=16529] ppid=16523 vsize=276072 CPUtime=2321.23
/proc/16529/stat : 16529 (minisat_static) R 16523 16523 15834 0 -1 4194304 68300 0 0 0 232054 69 0 0 25 0 1 0 315449107 282697728 68213 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/16529/statm: 69018 68213 77 171 0 68845 0
Current children cumulated CPU time (s) 2328.53
Current children cumulated vsize (KiB) 281428

[startup+2335.9 s]
/proc/loadavg: 1.04 1.06 1.01 2/66 16535
/proc/meminfo: memFree=1330616/2055920 swapFree=4177980/4192956
[pid=16523] ppid=16521 vsize=5356 CPUtime=7.3
/proc/16523/stat : 16523 (SatELiteGTI) S 16521 16523 15834 0 -1 4194304 336 36355 0 0 0 0 702 28 16 0 1 0 315448375 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16523/statm: 1339 239 197 169 0 50 0
[pid=16529] ppid=16523 vsize=276336 CPUtime=2327.62
/proc/16529/stat : 16529 (minisat_static) R 16523 16523 15834 0 -1 4194304 68359 0 0 0 232693 69 0 0 25 0 1 0 315449107 282968064 68272 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16529/statm: 69084 68272 77 171 0 68911 0
Current children cumulated CPU time (s) 2334.92
Current children cumulated vsize (KiB) 281692

[startup+2339.1 s]
/proc/loadavg: 1.04 1.06 1.01 2/66 16535
/proc/meminfo: memFree=1330360/2055920 swapFree=4177980/4192956
[pid=16523] ppid=16521 vsize=5356 CPUtime=7.3
/proc/16523/stat : 16523 (SatELiteGTI) S 16521 16523 15834 0 -1 4194304 336 36355 0 0 0 0 702 28 16 0 1 0 315448375 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16523/statm: 1339 239 197 169 0 50 0
[pid=16529] ppid=16523 vsize=276600 CPUtime=2330.82
/proc/16529/stat : 16529 (minisat_static) R 16523 16523 15834 0 -1 4194304 68426 0 0 0 233013 69 0 0 25 0 1 0 315449107 283238400 68339 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16529/statm: 69150 68339 77 171 0 68977 0
Current children cumulated CPU time (s) 2338.12
Current children cumulated vsize (KiB) 281956

[startup+2339.9 s]
/proc/loadavg: 1.04 1.06 1.01 2/66 16535
/proc/meminfo: memFree=1330296/2055920 swapFree=4177980/4192956
[pid=16523] ppid=16521 vsize=5356 CPUtime=7.3
/proc/16523/stat : 16523 (SatELiteGTI) S 16521 16523 15834 0 -1 4194304 336 36355 0 0 0 0 702 28 16 0 1 0 315448375 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16523/statm: 1339 239 197 169 0 50 0
[pid=16529] ppid=16523 vsize=276600 CPUtime=2331.62
/proc/16529/stat : 16529 (minisat_static) R 16523 16523 15834 0 -1 4194304 68431 0 0 0 233093 69 0 0 25 0 1 0 315449107 283238400 68344 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/16529/statm: 69150 68344 77 171 0 68977 0
Current children cumulated CPU time (s) 2338.92
Current children cumulated vsize (KiB) 281956

[startup+2340.7 s]
/proc/loadavg: 1.04 1.06 1.01 2/66 16535
/proc/meminfo: memFree=1330296/2055920 swapFree=4177980/4192956
[pid=16523] ppid=16521 vsize=5356 CPUtime=7.3
/proc/16523/stat : 16523 (SatELiteGTI) S 16521 16523 15834 0 -1 4194304 336 36355 0 0 0 0 702 28 16 0 1 0 315448375 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16523/statm: 1339 239 197 169 0 50 0
[pid=16529] ppid=16523 vsize=276600 CPUtime=2332.42
/proc/16529/stat : 16529 (minisat_static) R 16523 16523 15834 0 -1 4194304 68433 0 0 0 233173 69 0 0 25 0 1 0 315449107 283238400 68346 1992294400 134512640 135215339 4294956240 18446744073709551615 134528714 0 0 4096 3 0 0 0 17 0 0 0
/proc/16529/statm: 69150 68346 77 171 0 68977 0
Current children cumulated CPU time (s) 2339.72
Current children cumulated vsize (KiB) 281956

[startup+2340.9 s]
/proc/loadavg: 1.04 1.06 1.01 2/66 16535
/proc/meminfo: memFree=1330296/2055920 swapFree=4177980/4192956
[pid=16523] ppid=16521 vsize=5356 CPUtime=7.3
/proc/16523/stat : 16523 (SatELiteGTI) S 16521 16523 15834 0 -1 4194304 336 36355 0 0 0 0 702 28 16 0 1 0 315448375 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16523/statm: 1339 239 197 169 0 50 0
[pid=16529] ppid=16523 vsize=276600 CPUtime=2332.62
/proc/16529/stat : 16529 (minisat_static) R 16523 16523 15834 0 -1 4194304 68434 0 0 0 233193 69 0 0 25 0 1 0 315449107 283238400 68347 1992294400 134512640 135215339 4294956240 18446744073709551615 134529169 0 0 4096 3 0 0 0 17 0 0 0
/proc/16529/statm: 69150 68347 77 171 0 68977 0
Current children cumulated CPU time (s) 2339.92
Current children cumulated vsize (KiB) 281956

[startup+2341 s]
/proc/loadavg: 1.04 1.06 1.01 2/66 16535
/proc/meminfo: memFree=1330296/2055920 swapFree=4177980/4192956
[pid=16523] ppid=16521 vsize=5356 CPUtime=7.3
/proc/16523/stat : 16523 (SatELiteGTI) S 16521 16523 15834 0 -1 4194304 336 36355 0 0 0 0 702 28 16 0 1 0 315448375 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16523/statm: 1339 239 197 169 0 50 0
[pid=16529] ppid=16523 vsize=0 CPUtime=2332.72
/proc/16529/stat : 16529 (minisat_static) R 16523 16523 15834 0 -1 4194308 68440 0 0 0 233202 70 0 0 25 0 1 0 315449107 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/16529/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2340.02
Current children cumulated vsize (KiB) 5356

Child status: 20
Real time (s): 2341.05
CPU time (s): 2340.09
CPU user time (s): 2339.05
CPU system time (s): 1.03484
CPU usage (%): 99.9589
Max. virtual memory (cumulated for all children) (KiB): 281956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2339.05
system time used= 1.03484
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105286
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= 46
involuntary context switches= 6610

runsolver used 2.37464 second user time and 6.19206 second system time

The end

Launcher Data 

Begin job on node45 at 2009-05-21 04:50:05
IDJOB=1837488
IDBENCH=71039
IDSOLVER=674
FILE ID=node45/1837488-1242874203
PBS_JOBID= 9328597
Free space on /tmp= 66164 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UCG-15-10p0.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837488-1242874203/watcher-1837488-1242874203 -o /tmp/evaluation-result-1837488-1242874203/solver-1837488-1242874203 -C 10000 -W 12000 -M 1800  SatELiteGTI HOME/instance-1837488-1242874203.cnf

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

MD5SUM BENCH= bcbcc9a4e4a7e3ebed9eeaa393ebdc32
RANDOM SEED=1951049342

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1625952 kB
Buffers:         37868 kB
Cached:         341176 kB
SwapCached:       9372 kB
Active:         133212 kB
Inactive:       256692 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1625952 kB
SwapTotal:     4192956 kB
SwapFree:      4177980 kB
Dirty:           20088 kB
Writeback:           0 kB
Mapped:          14104 kB
Slab:            26044 kB
Committed_AS:  1049704 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66164 MiB
End job on node45 at 2009-05-21 05:29:06