Trace number 1821628

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.11 1200.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 benchmark1020.65
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...
1.02/1.06	c ==============================================================================
1.02/1.06	c |           |     ORIGINAL     |              LEARNT              |          |
1.02/1.06	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.02/1.06	c ==============================================================================
1.02/1.06	c |         0 |  994915  2381378 |  298474       0        0     nan |  0.000 % |
6.10/6.16	c |         0 |  656617  1827272 |      --       0       --      -- |     --   | -87269/19681
6.10/6.16	c ==============================================================================
6.10/6.16	c Result  :   #vars: 101783   #clauses: 656617   #literals: 1827272
6.10/6.16	c CPU time:   5.86 s
6.10/6.16	c ==============================================================================
6.78/6.86	c This is MiniSat 2.0 beta
6.78/6.86	c WARNING: for repeatability, setting FPU to use double precision
6.78/6.86	c ============================[ Problem Statistics ]=============================
6.78/6.86	c |                                                                             |
6.78/6.86	c |  Number of variables:  101783                                               |
6.78/6.86	c |  Number of clauses:    656617                                               |
6.82/7.31	c |  Parsing time:         0.40         s                                       |
6.82/7.34	c ============================[ Search Statistics ]==============================
6.82/7.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.82/7.34	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
6.82/7.34	c ===============================================================================
6.82/7.34	c |         0 |  101783   656617  1827272 |   218872        0    nan |  0.000 % |
6.82/7.48	c |       100 |  101783   656617  1827272 |   218872      100    171 |  0.000 % |
7.69/7.75	c |       200 |  101783   656617  1827272 |   218872      200    132 |  0.000 % |
7.88/7.99	c |       300 |  101783   656617  1827272 |   218872      300    103 |  0.000 % |
8.27/8.36	c |       410 |  101783   656617  1827272 |   218872      410    132 |  0.000 % |
8.67/8.75	c |       510 |  101518   655297  1824632 |   218872      508    132 |  0.542 % |
8.87/8.92	c |       620 |  101518   655297  1824632 |   218872      618    128 |  0.542 % |
9.07/9.21	c |       741 |  101510   655297  1824632 |   218872      738    121 |  0.597 % |
9.37/9.45	c |       841 |  101345   655297  1824632 |   218872      836    116 |  2.173 % |
9.47/9.57	c |       951 |  101345   655297  1824632 |   218872      946    109 |  2.173 % |
9.97/10.07	c |      1072 |   98723   637012  1777889 |   218872     1061    107 |  3.688 % |
10.17/10.25	c |      1205 |   98723   637012  1777889 |   218872     1194    106 |  3.688 % |
10.57/10.68	c |      1305 |   98723   637012  1777889 |   218872     1294    108 |  3.688 % |
10.77/10.84	c |      1416 |   98723   637012  1777889 |   218872     1405    109 |  3.688 % |
10.98/11.03	c |      1538 |   98029   632203  1765461 |   218872     1523    106 |  3.688 % |
11.07/11.15	c |      1671 |   98029   632203  1765461 |   218872     1656    101 |  3.688 % |
11.37/11.45	c |      1817 |   98008   632203  1765461 |   218872     1800    104 |  3.979 % |
11.57/11.66	c |      1918 |   98008   632203  1765461 |   218872     1901    104 |  3.979 % |
11.77/11.85	c |      2029 |   98008   632203  1765461 |   218872     2012    102 |  3.979 % |
11.97/12.09	c |      2152 |   98008   632203  1765461 |   218872     2135    105 |  3.979 % |
12.47/12.57	c |      2288 |   97733   630135  1760068 |   218872     2269    105 |  3.979 % |
12.87/12.98	c |      2434 |   97684   630135  1760068 |   218872     2414    104 |  4.242 % |
13.07/13.19	c |      2596 |   97684   630135  1760068 |   218872     2576    102 |  4.242 % |
13.27/13.33	c |      2698 |   97464   628239  1755110 |   218872     2677    100 |  4.633 % |
13.57/13.70	c |      2808 |   97395   628239  1755110 |   218872     2785     97 |  5.024 % |
13.77/13.87	c |      2929 |   97313   628239  1755110 |   218872     2905     95 |  5.035 % |
13.97/14.07	c |      3062 |   97313   628239  1755110 |   218872     3038     95 |  5.035 % |
14.17/14.28	c |      3208 |   97296   628239  1755110 |   218872     3182     94 |  5.181 % |
14.37/14.46	c |      3368 |   97294   628239  1755110 |   218872     3342     93 |  5.181 % |
14.67/14.80	c |      3544 |   96459   623976  1745880 |   218872     3490     93 |  5.545 % |
14.77/14.88	c |      3653 |   96457   623976  1745880 |   218872     3599     94 |  5.545 % |
15.07/15.16	c |      3763 |   96418   623976  1745880 |   218872     3709     93 |  5.545 % |
15.17/15.30	c |      3886 |   96418   623976  1745880 |   218872     3832     94 |  5.545 % |
15.57/15.71	c |      4019 |   96418   623976  1745880 |   218872     3965     99 |  5.545 % |
15.97/16.09	c |      4165 |   96137   621060  1738813 |   218872     4104     99 |  5.547 % |
16.48/16.58	c |      4332 |   96137   621060  1738813 |   218872     4271    101 |  5.547 % |
17.07/17.12	c |      4509 |   96137   621060  1738813 |   218872     4448    108 |  5.547 % |
17.27/17.38	c |      4705 |   96137   621060  1738813 |   218872     4644    108 |  5.547 % |
17.37/17.45	c |      4805 |   96137   621060  1738813 |   218872     4744    106 |  5.547 % |
17.77/17.89	c |      4915 |   96137   621060  1738813 |   218872     4854    109 |  5.547 % |
18.07/18.15	c |      5036 |   96137   621060  1738813 |   218872     4975    110 |  5.547 % |
18.37/18.49	c |      5169 |   95752   619691  1736075 |   218872     5104    110 |  6.135 % |
19.27/19.32	c |      5317 |   95752   619691  1736075 |   218872     5252    117 |  6.135 % |
19.67/19.82	c |      5477 |   95510   618334  1733145 |   218872     5407    117 |  6.410 % |
19.97/20.02	c |      5655 |   95485   618334  1733145 |   218872     5585    118 |  6.410 % |
20.47/20.58	c |      5848 |   95485   618334  1733145 |   218872     5778    122 |  6.410 % |
21.07/21.15	c |      6060 |   95475   618334  1733145 |   218872     5988    123 |  6.489 % |
21.47/21.55	c |      6160 |   95177   615899  1726801 |   218872     6080    124 |  6.502 % |
21.87/21.97	c |      6272 |   95177   615899  1726801 |   218872     6192    128 |  6.502 % |
22.37/22.43	c |      6394 |   95177   615899  1726801 |   218872     6314    130 |  6.502 % |
22.57/22.66	c |      6530 |   95177   615899  1726801 |   218872     6450    129 |  6.502 % |
22.77/22.82	c |      6677 |   95177   615899  1726801 |   218872     6597    129 |  6.502 % |
22.87/23.01	c |      6839 |   95165   615793  1726515 |   218872     6759    128 |  6.502 % |
23.67/23.76	c |      7015 |   95156   615793  1726515 |   218872     6934    134 |  6.571 % |
24.07/24.17	c |      7209 |   95156   615793  1726515 |   218872     7128    136 |  6.571 % |
24.67/24.78	c |      7422 |   95090   615793  1726515 |   218872     7340    138 |  7.033 % |
25.57/25.67	c |      7655 |   94625   611634  1716229 |   218872     7573    148 |  7.033 % |
25.87/26.00	c |      7755 |   94625   611634  1716229 |   218872     7672    149 |  7.036 % |
26.17/26.31	c |      7865 |   94625   611634  1716229 |   218872     7782    150 |  7.036 % |
26.87/26.93	c |      7987 |   94538   611189  1715327 |   218872     7881    150 |  7.150 % |
27.27/27.38	c |      8122 |   94538   611189  1715327 |   218872     8016    151 |  7.150 % |
27.57/27.61	c |      8268 |   94529   611189  1715327 |   218872     8159    151 |  7.780 % |
27.97/28.04	c |      8429 |   94529   611189  1715327 |   218872     8320    153 |  7.780 % |
28.77/28.88	c |      8605 |   94529   611189  1715327 |   218872     8496    157 |  7.780 % |
29.37/29.46	c |      8798 |   93863   608399  1709642 |   218872     8682    157 |  7.796 % |
29.87/29.95	c |      9011 |   93863   608399  1709642 |   218872     8895    157 |  7.796 % |
30.07/30.15	c |      9245 |   93863   608399  1709642 |   218872     9129    155 |  7.796 % |
31.37/31.47	c |      9501 |   93862   608399  1709642 |   218872     9384    165 |  7.797 % |
31.67/31.74	c |      9607 |   93847   608316  1709476 |   218872     9489    165 |  7.797 % |
32.17/32.27	c |      9718 |   93835   608316  1709476 |   218872     9596    167 |  7.821 % |
32.37/32.50	c |      9839 |   93834   608316  1709476 |   218872     9716    168 |  7.880 % |
32.57/32.69	c |      9972 |   93834   608316  1709476 |   218872     9849    168 |  7.880 % |
32.77/32.87	c |     10119 |   93834   608316  1709476 | 2147483647     9996    167 |  7.880 % |
33.07/33.15	c |     10281 |   93834   608316  1709476 | 2147483647    10158    166 |  7.880 % |
33.37/33.51	c |     10457 |   93834   608316  1709476 | 2147483647    10334    165 |  7.880 % |
34.28/34.32	c |     10650 |   93763   607876  1708425 | 2147483647    10520    170 |  7.880 % |
35.08/35.19	c |     10863 |   93763   607876  1708425 | 2147483647    10733    175 |  7.880 % |
35.98/36.02	c |     11096 |   92929   601691  1692593 | 2147483647    10964    181 |  8.699 % |
37.08/37.19	c |     11355 |   92924   601691  1692593 | 2147483647    11220    185 |  8.721 % |
37.58/37.68	c |     11637 |   92924   601691  1692593 | 2147483647    11502    186 |  8.721 % |
37.68/37.82	c |     11737 |   92924   601691  1692593 | 2147483647    11602    186 |  8.721 % |
37.98/38.11	c |     11847 |   92924   601691  1692593 | 2147483647    11712    186 |  8.721 % |
38.48/38.62	c |     11968 |   92907   601499  1692079 | 2147483647    11831    186 |  8.721 % |
39.18/39.24	c |     12103 |   92906   601499  1692079 | 2147483647    11965    188 |  8.722 % |
39.48/39.58	c |     12249 |   92906   601499  1692079 | 2147483647    12111    188 |  8.721 % |
40.18/40.26	c |     12409 |   92906   601499  1692079 | 2147483647    12271    190 |  8.721 % |
40.68/40.78	c |     12585 |   92902   601499  1692079 | 2147483647    12446    190 |  8.732 % |
41.58/41.62	c |     12778 |   92895   601398  1691823 | 2147483647    12637    193 |  8.732 % |
42.68/42.77	c |     12990 |   92895   601398  1691823 | 2147483647    12849    194 |  8.732 % |
43.68/43.74	c |     13223 |   92895   601398  1691823 | 2147483647    13082    195 |  8.732 % |
44.28/44.36	c |     13479 |   92895   601398  1691823 | 2147483647    13338    194 |  8.732 % |
45.88/45.97	c |     13760 |   92895   601398  1691823 | 2147483647    13619    196 |  8.732 % |
47.18/47.24	c |     14069 |   92895   601398  1691823 | 2147483647    13928    198 |  8.732 % |
47.38/47.51	c |     14169 |   92895   601398  1691823 | 2147483647    14028    198 |  8.732 % |
47.88/48.00	c |     14280 |   92895   601398  1691823 | 2147483647    14139    200 |  8.732 % |
48.38/48.50	c |     14403 |   92893   601394  1691815 | 2147483647    14260    201 |  8.734 % |
48.88/48.93	c |     14538 |   92893   601394  1691815 | 2147483647    14395    200 |  8.734 % |
49.18/49.27	c |     14685 |   92892   601394  1691815 | 2147483647    14541    200 |  8.746 % |
49.78/49.83	c |     14848 |   92889   601394  1691815 | 2147483647    14702    200 |  8.752 % |
50.58/50.71	c |     15024 |   92888   601394  1691815 | 2147483647    14877    201 |  8.753 % |
51.28/51.33	c |     15217 |   92888   601394  1691815 | 2147483647    15070    203 |  8.753 % |
52.38/52.46	c |     15430 |   92874   601237  1691417 | 2147483647    15280    205 |  8.753 % |
52.68/52.74	c |     15665 |   92874   601237  1691417 | 2147483647    15515    204 |  8.753 % |
52.98/53.09	c |     15922 |   92874   601237  1691417 | 2147483647    15772    203 |  8.753 % |
53.88/53.92	c |     16205 |   92874   601237  1691417 | 2147483647    16055    206 |  8.753 % |
54.78/54.91	c |     16514 |   92874   601237  1691417 | 2147483647    16364    207 |  8.753 % |
55.78/55.84	c |     16854 |   92874   601237  1691417 | 2147483647    16704    207 |  8.753 % |
56.18/56.26	c |     16954 |   92874   601237  1691417 | 2147483647    16804    210 |  8.753 % |
56.58/56.71	c |     17064 |   92863   601144  1691164 | 2147483647    16912    212 |  8.764 % |
56.88/56.96	c |     17185 |   92863   601144  1691164 | 2147483647    17033    212 |  8.764 % |
57.48/57.55	c |     17319 |   92863   601144  1691164 | 2147483647    17167    213 |  8.764 % |
58.08/58.14	c |     17465 |   92863   601144  1691164 | 2147483647    17313    214 |  8.764 % |
58.68/58.73	c |     17626 |   92863   601144  1691164 | 2147483647    17474    214 |  8.764 % |
59.28/59.38	c |     17803 |   92863   601144  1691164 | 2147483647    17651    217 |  8.764 % |
60.18/60.24	c |     17997 |   92862   601144  1691164 | 2147483647    17844    218 |  8.765 % |
60.78/60.89	c |     18211 |   92862   601140  1691156 | 2147483647    18058    218 |  8.765 % |
61.68/61.74	c |     18444 |   92860   601140  1691156 | 2147483647    18289    220 |  8.767 % |
62.68/62.81	c |     18700 |   92859   601140  1691156 | 2147483647    18544    220 |  8.768 % |
63.98/64.03	c |     18984 |   92859   601140  1691156 | 2147483647    18828    222 |  8.768 % |
64.98/65.03	c |     19293 |   92859   601128  1691132 | 2147483647    19137    221 |  8.768 % |
66.48/66.56	c |     19633 |   92859   601128  1691132 | 2147483647    19477    225 |  8.768 % |
67.97/68.05	c |     20006 |   92859   601128  1691132 | 2147483647    19850    229 |  8.768 % |
68.27/68.39	c |     20106 |   92859   601128  1691132 | 2147483647    19950    228 |  8.768 % |
68.57/68.66	c |     20216 |   92859   601128  1691132 | 2147483647    20060    229 |  8.768 % |
69.07/69.18	c |     20339 |   92859   601128  1691132 | 2147483647    20183    229 |  8.768 % |
69.97/70.04	c |     20474 |   92847   601034  1690892 | 2147483647    20313    229 |  8.790 % |
70.47/70.54	c |     20621 |   92846   601034  1690892 | 2147483647    20459    229 |  8.791 % |
71.17/71.22	c |     20781 |   92846   601034  1690892 | 2147483647    20619    230 |  8.791 % |
72.17/72.22	c |     20958 |   92846   601034  1690892 | 2147483647    20796    232 |  8.791 % |
72.57/72.69	c |     21155 |   92846   601034  1690892 | 2147483647    20993    231 |  8.791 % |
73.77/73.88	c |     21367 |   92845   601034  1690892 | 2147483647    21204    231 |  8.792 % |
74.67/74.80	c |     21600 |   92834   600924  1690614 | 2147483647    21435    232 |  8.792 % |
76.07/76.12	c |     21864 |   92834   600924  1690614 | 2147483647    21699    232 |  8.792 % |
76.87/76.96	c |     22148 |   92829   600924  1690614 | 2147483647    21981    233 |  9.829 % |
77.77/77.81	c |     22457 |   92829   600924  1690614 | 2147483647    22290    235 |  9.829 % |
78.97/79.09	c |     22796 |   91772   593510  1671178 | 2147483647    22620    235 |  9.836 % |
79.57/79.67	c |     23168 |   91772   593510  1671178 | 2147483647    22992    234 |  9.836 % |
81.38/81.50	c |     23578 |   91772   593510  1671178 | 2147483647    23402    238 |  9.836 % |
81.67/81.80	c |     23678 |   91772   593510  1671178 | 2147483647    23502    238 |  9.836 % |
82.27/82.31	c |     23788 |   91772   593510  1671178 | 2147483647    23612    239 |  9.836 % |
82.48/82.57	c |     23909 |   91772   593510  1671178 | 2147483647    23733    238 |  9.836 % |
82.67/82.77	c |     24044 |   91772   593510  1671178 | 2147483647    23868    238 |  9.836 % |
83.47/83.51	c |     24190 |   91772   593510  1671178 | 2147483647    24014    239 |  9.836 % |
84.27/84.35	c |     24350 |   91772   593510  1671178 | 2147483647    24174    240 |  9.836 % |
85.07/85.13	c |     24527 |   91763   593428  1670972 | 2147483647    24348    240 |  9.844 % |
85.97/86.09	c |     24720 |   91763   593428  1670972 | 2147483647    24541    241 |  9.844 % |
86.67/86.77	c |     24933 |   91763   593428  1670972 | 2147483647    24754    242 |  9.844 % |
87.37/87.45	c |     25166 |   91763   593428  1670972 | 2147483647    24987    241 |  9.844 % |
88.27/88.35	c |     25422 |   91763   593428  1670972 | 2147483647    25243    243 |  9.844 % |
89.57/89.65	c |     25705 |   91763   593428  1670972 | 2147483647    25526    245 |  9.844 % |
90.67/90.73	c |     26015 |   91763   593428  1670972 | 2147483647    25836    247 |  9.844 % |
91.77/91.86	c |     26354 |   91760   593424  1670964 | 2147483647    26172    248 |  9.864 % |
92.27/92.35	c |     26726 |   91760   593424  1670964 | 2147483647    26544    247 |  9.864 % |
94.37/94.45	c |     27136 |   91760   593424  1670964 | 2147483647    26954    252 |  9.864 % |
96.67/96.73	c |     27586 |   91760   593424  1670964 | 2147483647    27404    253 |  9.864 % |
97.07/97.10	c |     27686 |   91760   593424  1670964 | 2147483647    27504    252 |  9.864 % |
97.17/97.28	c |     27796 |   91743   593290  1670611 | 2147483647    27613    252 |  9.864 % |
97.37/97.43	c |     27920 |   91743   593290  1670611 | 2147483647    27737    252 |  9.864 % |
97.47/97.52	c |     28054 |   91743   593290  1670611 | 2147483647    27868    251 |  9.874 % |
97.57/97.69	c |     28202 |   91743   593290  1670611 | 2147483647    28016    251 |  9.874 % |
98.27/98.32	c |     28367 |   91740   593290  1670611 | 2147483647    28181    251 |  9.874 % |
99.07/99.20	c |     28550 |   91739   593290  1670611 | 2147483647    28363    252 |  9.875 % |
99.77/99.89	c |     28743 |   91739   593290  1670611 | 2147483647    28556    253 |  9.875 % |
100.97/101.04	c |     28955 |   91739   593290  1670611 | 2147483647    28767    255 |  9.959 % |
101.37/101.47	c |     29197 |   91738   593290  1670611 | 2147483647    29008    254 |  9.960 % |
101.77/101.83	c |     29453 |   91738   593290  1670611 | 2147483647    29264    253 |  9.960 % |
102.97/103.09	c |     29734 |   91738   593290  1670611 | 2147483647    29545    257 |  9.960 % |
104.57/104.65	c |     30043 |   91738   593290  1670611 | 2147483647    29854    258 |  9.960 % |
105.17/105.22	c |     30382 |   91643   592886  1669763 | 2147483647    30188    257 |  9.972 % |
106.87/106.95	c |     30756 |   91643   592886  1669763 | 2147483647    30562    258 |  9.972 % |
108.57/108.61	c |     31166 |   91642   592886  1669763 | 2147483647    30971    260 |  9.973 % |
110.27/110.34	c |     31617 |   91639   592886  1669763 | 2147483647    31421    260 |  9.991 % |
111.97/112.07	c |     32110 |   91639   592886  1669763 | 2147483647    31914    258 |  9.991 % |
112.47/112.52	c |     32210 |   91614   592651  1669157 | 2147483647    32000    258 |  9.991 % |
112.77/112.89	c |     32320 |   91614   592651  1669157 | 2147483647    32110    257 |  9.991 % |
113.07/113.18	c |     32441 |   91613   592651  1669157 | 2147483647    32229    257 | 10.003 % |
113.37/113.47	c |     32574 |   91613   592651  1669157 | 2147483647    32362    256 | 10.003 % |
113.87/113.98	c |     32721 |   91611   592651  1669157 | 2147483647    32509    257 | 10.003 % |
114.27/114.34	c |     32882 |   91611   592651  1669157 | 2147483647    32670    256 | 10.003 % |
114.97/115.08	c |     33059 |   91611   592651  1669157 | 2147483647    32847    257 | 10.003 % |
115.37/115.50	c |     33252 |   91611   592651  1669157 | 2147483647    33040    257 | 10.003 % |
116.58/116.65	c |     33464 |   91611   592651  1669157 | 2147483647    33252    261 | 10.003 % |
117.68/117.78	c |     33699 |   91611   592651  1669157 | 2147483647    33487    262 | 10.003 % |
119.08/119.15	c |     33955 |   91608   592651  1669157 | 2147483647    33739    263 | 10.028 % |
120.18/120.28	c |     34237 |   91576   592299  1668277 | 2147483647    33999    263 | 10.028 % |
121.18/121.31	c |     34547 |   91576   592299  1668277 | 2147483647    34309    262 | 10.028 % |
122.88/122.91	c |     34889 |   91576   592299  1668277 | 2147483647    34651    264 | 10.028 % |
123.88/124.00	c |     35261 |   91559   592299  1668277 | 2147483647    35021    264 | 10.093 % |
125.38/125.47	c |     35673 |   91559   592299  1668277 | 2147483647    35433    264 | 10.093 % |
125.98/126.10	c |     36122 |   91559   592299  1668277 | 2147483647    35882    262 | 10.093 % |
126.88/126.91	c |     36619 |   91558   592299  1668277 | 2147483647    36378    261 | 10.100 % |
127.68/127.79	c |     37163 |   91237   589584  1661735 | 2147483647    36622    262 | 10.361 % |
127.78/127.91	c |     37263 |   91237   589584  1661735 | 2147483647    36722    261 | 10.361 % |
127.88/127.96	c |     37373 |   91237   589584  1661735 | 2147483647    36832    260 | 10.361 % |
128.38/128.42	c |     37495 |   91237   589584  1661735 | 2147483647    36954    261 | 10.361 % |
128.88/129.00	c |     37628 |   91237   589584  1661735 | 2147483647    37087    261 | 10.361 % |
129.78/129.85	c |     37775 |   91237   589584  1661735 | 2147483647    37234    261 | 10.361 % |
130.38/130.43	c |     37935 |   91234   589584  1661735 | 2147483647    37393    261 | 10.371 % |
130.88/130.97	c |     38112 |   91234   589584  1661735 | 2147483647    37570    262 | 10.371 % |
132.08/132.19	c |     38306 |   91232   589584  1661735 | 2147483647    37761    262 | 10.404 % |
133.28/133.40	c |     38519 |   91232   589584  1661735 | 2147483647    37973    261 | 10.516 % |
133.78/133.85	c |     38752 |   91230   589584  1661735 | 2147483647    38204    261 | 10.522 % |
134.18/134.28	c |     39009 |   91230   589584  1661735 | 2147483647    38461    260 | 10.522 % |
134.68/134.77	c |     39291 |   91230   589584  1661735 | 2147483647    38743    260 | 10.522 % |
135.98/136.03	c |     39601 |   91230   589584  1661735 | 2147483647    39053    261 | 10.522 % |
137.88/137.97	c |     39940 |   91073   588635  1659535 | 2147483647    39306    261 | 10.522 % |
139.68/139.77	c |     40315 |   91072   588635  1659535 | 2147483647    39680    261 | 10.523 % |
142.38/142.49	c |     40724 |   91072   588635  1659535 | 2147483647    40089    260 | 10.523 % |
145.48/145.53	c |     41174 |   91070   588628  1659521 | 2147483647    40534    259 | 10.595 % |
147.78/147.90	c |     41667 |   91070   588628  1659521 | 2147483647    41027    258 | 10.595 % |
149.18/149.29	c |     42209 |   91070   588628  1659521 | 2147483647    41568    257 | 10.599 % |
150.58/150.63	c |     42805 |   91070   588628  1659521 | 2147483647    42164    256 | 10.599 % |
150.68/150.75	c |     42905 |   91070   588628  1659521 | 2147483647    42264    256 | 10.599 % |
150.88/150.98	c |     43015 |   91070   588628  1659521 | 2147483647    42374    255 | 10.599 % |
151.08/151.19	c |     43138 |   91070   588628  1659521 | 2147483647    42497    255 | 10.599 % |
151.28/151.37	c |     43273 |   91070   588628  1659521 | 2147483647    42632    255 | 10.599 % |
151.58/151.62	c |     43423 |   91070   588628  1659521 | 2147483647    42782    255 | 10.599 % |
151.98/152.02	c |     43583 |   90995   587977  1657814 | 2147483647    42918    254 | 10.599 % |
152.48/152.53	c |     43760 |   90995   587977  1657814 | 2147483647    43095    254 | 10.599 % |
153.78/153.90	c |     43956 |   90995   587977  1657814 | 2147483647    43291    254 | 10.599 % |
154.38/154.50	c |     44177 |   90995   587977  1657814 | 2147483647    43512    254 | 10.599 % |
154.88/154.95	c |     44411 |   90995   587977  1657814 | 2147483647    43746    254 | 10.599 % |
155.38/155.50	c |     44667 |   90995   587977  1657814 | 2147483647    44002    253 | 10.599 % |
156.58/156.68	c |     44950 |   90995   587977  1657814 | 2147483647    44285    254 | 10.599 % |
158.18/158.23	c |     45260 |   90995   587977  1657814 | 2147483647    44594    254 | 10.600 % |
159.88/159.98	c |     45599 |   90995   587977  1657814 | 2147483647    44933    254 | 10.600 % |
161.78/161.89	c |     45971 |   90995   587977  1657814 | 2147483647    45305    255 | 10.600 % |
164.18/164.26	c |     46382 |   90992   587974  1657808 | 2147483647    45714    255 | 10.610 % |
166.38/166.49	c |     46833 |   90990   587974  1657808 | 2147483647    46164    255 | 10.622 % |
168.58/168.66	c |     47327 |   90989   587974  1657808 | 2147483647    46657    256 | 10.623 % |
171.28/171.37	c |     47873 |   90987   587974  1657808 | 2147483647    47201    256 | 10.625 % |
175.08/175.12	c |     48469 |   90969   587763  1657262 | 2147483647    47791    255 | 10.625 % |
178.58/178.61	c |     49125 |   90969   587763  1657262 | 2147483647    48447    254 | 10.625 % |
179.08/179.20	c |     49226 |   90969   587763  1657262 | 2147483647    48548    254 | 10.625 % |
179.58/179.63	c |     49336 |   90969   587763  1657262 | 2147483647    48658    254 | 10.625 % |
179.88/179.99	c |     49463 |   90969   587763  1657262 | 2147483647    48785    254 | 10.625 % |
180.58/180.67	c |     49596 |   90969   587763  1657262 | 2147483647    48918    254 | 10.625 % |
180.98/181.09	c |     49742 |   90969   587763  1657262 | 2147483647    49064    254 | 10.625 % |
181.49/181.54	c |     49905 |   90969   587763  1657262 | 2147483647    49227    254 | 10.625 % |
182.68/182.76	c |     50082 |   90961   587686  1657067 | 2147483647    49402    254 | 10.633 % |
183.58/183.65	c |     50276 |   90961   587686  1657067 | 2147483647    49596    254 | 10.633 % |
184.68/184.80	c |     50488 |   90961   587686  1657067 | 2147483647    49808    254 | 10.633 % |
185.78/185.89	c |     50721 |   90961   587686  1657067 | 2147483647    50041    254 | 10.633 % |
187.18/187.30	c |     50979 |   90961   587686  1657067 | 2147483647    50299    254 | 10.633 % |
188.58/188.64	c |     51260 |   90961   587686  1657067 | 2147483647    50580    254 | 10.633 % |
190.38/190.50	c |     51570 |   90961   587686  1657067 | 2147483647    50890    253 | 10.633 % |
191.28/191.37	c |     51911 |   90961   587686  1657067 | 2147483647    51231    253 | 10.633 % |
193.08/193.13	c |     52283 |   90961   587686  1657067 | 2147483647    51603    255 | 10.633 % |
195.58/195.66	c |     52693 |   90960   587682  1657059 | 2147483647    52012    254 | 10.633 % |
197.78/197.86	c |     53142 |   90959   587682  1657059 | 2147483647    52460    255 | 10.634 % |
200.59/200.63	c |     53635 |   90959   587682  1657059 | 2147483647    52953    255 | 10.634 % |
203.49/203.57	c |     54178 |   90958   587682  1657059 | 2147483647    53495    254 | 10.635 % |
207.09/207.20	c |     54775 |   90958   587674  1657043 | 2147483647    54091    253 | 10.635 % |
211.29/211.34	c |     55430 |   90958   587674  1657043 | 2147483647    54745    253 | 10.640 % |
215.39/215.42	c |     56150 |   90958   587674  1657043 | 2147483647    55465    252 | 10.640 % |
216.19/216.26	c |     56253 |   90953   587655  1657005 | 2147483647    55565    252 | 10.640 % |
216.89/217.00	c |     56363 |   90953   587655  1657005 | 2147483647    55675    252 | 10.640 % |
217.79/217.90	c |     56486 |   90953   587655  1657005 | 2147483647    55798    252 | 10.640 % |
218.79/218.82	c |     56619 |   90953   587655  1657005 | 2147483647    55931    252 | 10.640 % |
219.69/219.76	c |     56765 |   90953   587655  1657005 | 2147483647    56077    252 | 10.640 % |
220.49/220.59	c |     56925 |   90953   587655  1657005 | 2147483647    56237    252 | 10.640 % |
221.69/221.73	c |     57103 |   90953   587655  1657005 | 2147483647    56415    252 | 10.640 % |
221.99/222.09	c |     57296 |   90953   587655  1657005 | 2147483647    56608    251 | 10.640 % |
222.49/222.61	c |     57508 |   90953   587655  1657005 | 2147483647    56820    251 | 10.640 % |
222.89/222.94	c |     57741 |   90953   587655  1657005 | 2147483647    57053    250 | 10.640 % |
223.49/223.56	c |     58004 |   90953   587655  1657005 | 2147483647    57316    250 | 10.640 % |
223.99/224.11	c |     58285 |   90953   587655  1657005 | 2147483647    57597    250 | 10.640 % |
224.89/224.96	c |     58594 |   90953   587655  1657005 | 2147483647    57906    250 | 10.640 % |
225.69/225.72	c |     58936 |   90952   587655  1657005 | 2147483647    58247    250 | 10.641 % |
227.19/227.28	c |     59311 |   90952   587655  1657005 | 2147483647    58621    251 | 10.642 % |
229.59/229.69	c |     59721 |   90951   587645  1656984 | 2147483647    59029    250 | 10.642 % |
231.49/231.52	c |     60172 |   90950   587645  1656984 | 2147483647    59479    250 | 10.643 % |
233.09/233.14	c |     60665 |   90950   587645  1656984 | 2147483647    59970    250 | 10.647 % |
235.59/235.68	c |     61208 |   90950   587645  1656984 | 2147483647    60513    252 | 10.647 % |
239.29/239.33	c |     61805 |   90950   587645  1656984 | 2147483647    61110    252 | 10.647 % |
242.69/242.80	c |     62460 |   90949   587645  1656984 | 2147483647    61764    251 | 10.648 % |
246.29/246.36	c |     63186 |   90945   587620  1656921 | 2147483647    62481    250 | 10.648 % |
250.49/250.55	c |     63979 |   90945   587620  1656921 | 2147483647    63274    251 | 10.648 % |
251.39/251.41	c |     64080 |   90945   587620  1656921 | 2147483647    63374    251 | 10.649 % |
251.59/251.69	c |     64191 |   90945   587620  1656921 | 2147483647    63485    251 | 10.649 % |
251.99/252.06	c |     64314 |   90945   587620  1656921 | 2147483647    63608    251 | 10.649 % |
252.69/252.74	c |     64448 |   90945   587620  1656921 | 2147483647    63742    251 | 10.649 % |
253.29/253.40	c |     64596 |   90945   587620  1656921 | 2147483647    63890    251 | 10.649 % |
254.10/254.16	c |     64757 |   90945   587620  1656921 | 2147483647    64051    251 | 10.649 % |
254.99/255.04	c |     64933 |   90945   587620  1656921 | 2147483647    64227    252 | 10.649 % |
255.99/256.08	c |     65127 |   90945   587620  1656921 | 2147483647    64421    252 | 10.649 % |
257.40/257.49	c |     65341 |   90944   587616  1656913 | 2147483647    64633    251 | 10.654 % |
258.89/258.99	c |     65574 |   90944   587616  1656913 | 2147483647    64866    251 | 10.654 % |
259.99/260.05	c |     65830 |   90944   587616  1656913 | 2147483647    65122    251 | 10.654 % |
262.19/262.28	c |     66111 |   90944   587616  1656913 | 2147483647    65403    251 | 10.654 % |
263.49/263.54	c |     66421 |   90944   587616  1656913 | 2147483647    65712    250 | 10.657 % |
265.19/265.24	c |     66762 |   90944   587616  1656913 | 2147483647    66053    251 | 10.657 % |
267.39/267.42	c |     67137 |   90944   587616  1656913 | 2147483647    66427    251 | 10.660 % |
268.69/268.79	c |     67546 |   90944   587616  1656913 | 2147483647    66836    250 | 10.660 % |
271.09/271.12	c |     67996 |   90932   587616  1656913 | 2147483647    67285    252 | 10.845 % |
274.19/274.28	c |     68491 |   90745   586158  1653084 | 2147483647    67764    251 | 10.845 % |
277.79/277.86	c |     69034 |   90745   586158  1653084 | 2147483647    68307    251 | 10.845 % |
280.30/280.33	c |     69630 |   90745   586158  1653084 | 2147483647    68903    250 | 10.845 % |
283.40/283.51	c |     70287 |   90745   586158  1653084 | 2147483647    69560    253 | 10.845 % |
287.90/287.98	c |     71007 |   90745   586158  1653084 | 2147483647    70280    254 | 10.845 % |
291.50/291.52	c |     71801 |   90745   586158  1653084 | 2147483647    71074    252 | 10.845 % |
296.20/296.22	c |     72673 |   90745   586158  1653084 | 2147483647    71946    255 | 10.845 % |
297.10/297.14	c |     72781 |   90745   586158  1653084 | 2147483647    72054    254 | 10.845 % |
297.70/297.80	c |     72891 |   90745   586158  1653084 | 2147483647    72164    254 | 10.845 % |
298.70/298.78	c |     73012 |   90745   586158  1653084 | 2147483647    72285    254 | 10.845 % |
299.30/299.38	c |     73145 |   90745   586158  1653084 | 2147483647    72418    254 | 10.845 % |
300.40/300.51	c |     73292 |   90745   586158  1653084 | 2147483647    72565    254 | 10.845 % |
301.20/301.28	c |     73452 |   90745   586158  1653084 | 2147483647    72725    254 | 10.845 % |
301.80/301.86	c |     73628 |   90745   586158  1653084 | 2147483647    72901    254 | 10.845 % |
303.00/303.08	c |     73821 |   90745   586158  1653084 | 2147483647    73094    254 | 10.845 % |
304.70/304.81	c |     74034 |   90745   586158  1653084 | 2147483647    73307    254 | 10.845 % |
305.90/305.98	c |     74268 |   90745   586158  1653084 | 2147483647    73541    254 | 10.845 % |
307.70/307.75	c |     74524 |   90745   586158  1653084 | 2147483647    73797    254 | 10.845 % |
309.40/309.50	c |     74807 |   90745   586158  1653084 | 2147483647    74080    254 | 10.845 % |
310.40/310.49	c |     75117 |   90745   586158  1653084 | 2147483647    74390    253 | 10.845 % |
312.40/312.45	c |     75456 |   90745   586158  1653084 | 2147483647    74729    254 | 10.845 % |
314.70/314.76	c |     75828 |   90745   586158  1653084 | 2147483647    75101    254 | 10.845 % |
317.60/317.69	c |     76238 |   90745   586158  1653084 | 2147483647    75511    254 | 10.845 % |
320.10/320.18	c |     76688 |   90745   586158  1653084 | 2147483647    75961    254 | 10.845 % |
323.20/323.31	c |     77181 |   90745   586158  1653084 | 2147483647    76454    253 | 10.845 % |
326.70/326.78	c |     77724 |   90745   586158  1653084 | 2147483647    76997    253 | 10.845 % |
330.50/330.57	c |     78321 |   90745   586158  1653084 | 2147483647    77594    252 | 10.845 % |
334.30/334.34	c |     78976 |   90745   586158  1653084 | 2147483647    78249    251 | 10.845 % |
338.81/338.89	c |     79696 |   90745   586158  1653084 | 2147483647    78969    251 | 10.845 % |
343.40/343.43	c |     80488 |   90744   586154  1653076 | 2147483647    79759    251 | 10.846 % |
347.80/347.87	c |     81359 |   90744   586154  1653076 | 2147483647    80630    250 | 10.846 % |
353.50/353.51	c |     82318 |   90744   586154  1653076 | 2147483647    81589    251 | 10.846 % |
354.10/354.22	c |     82418 |   90744   586154  1653076 | 2147483647    81689    251 | 10.846 % |
354.80/354.83	c |     82528 |   90744   586154  1653076 | 2147483647    81799    251 | 10.846 % |
355.40/355.43	c |     82651 |   90744   586154  1653076 | 2147483647    81922    251 | 10.846 % |
356.00/356.04	c |     82785 |   90744   586154  1653076 | 2147483647    82056    251 | 10.846 % |
357.00/357.07	c |     82931 |   90744   586154  1653076 | 2147483647    82202    251 | 10.846 % |
358.30/358.38	c |     83091 |   90744   586154  1653076 | 2147483647    82362    251 | 10.846 % |
359.30/359.39	c |     83269 |   90744   586154  1653076 | 2147483647    82540    251 | 10.846 % |
360.70/360.82	c |     83462 |   90743   586150  1653068 | 2147483647    82731    250 | 10.847 % |
362.01/362.11	c |     83680 |   90743   586150  1653068 | 2147483647    82949    250 | 10.847 % |
363.21/363.25	c |     83914 |   90743   586150  1653068 | 2147483647    83183    251 | 10.847 % |
365.01/365.09	c |     84170 |   90743   586150  1653068 | 2147483647    83439    251 | 10.847 % |
367.11/367.17	c |     84451 |   90743   586150  1653068 | 2147483647    83720    250 | 10.847 % |
369.11/369.19	c |     84761 |   90743   586150  1653068 | 2147483647    84030    250 | 10.847 % |
371.51/371.55	c |     85100 |   90743   586150  1653068 | 2147483647    84369    250 | 10.847 % |
373.11/373.18	c |     85472 |   90743   586150  1653068 | 2147483647    84741    249 | 10.847 % |
376.31/376.33	c |     85885 |   90743   586150  1653068 | 2147483647    85154    249 | 10.847 % |
378.81/378.82	c |     86334 |   90743   586150  1653068 | 2147483647    85603    248 | 10.847 % |
382.21/382.27	c |     86827 |   90742   586146  1653060 | 2147483647    86094    248 | 10.848 % |
386.11/386.20	c |     87372 |   90742   586146  1653060 | 2147483647    86639    247 | 10.848 % |
389.61/389.64	c |     87969 |   90742   586146  1653060 | 2147483647    87236    246 | 10.848 % |
393.51/393.60	c |     88625 |   90742   586146  1653060 | 2147483647    87892    246 | 10.848 % |
398.41/398.45	c |     89345 |   90742   586146  1653060 | 2147483647    88612    245 | 10.848 % |
403.01/403.10	c |     90138 |   90742   586146  1653060 | 2147483647    89405    244 | 10.848 % |
409.11/409.18	c |     91010 |   90741   586140  1653047 | 2147483647    90275    244 | 10.849 % |
415.11/415.21	c |     91968 |   90741   586140  1653047 | 2147483647    91233    243 | 10.849 % |
422.21/422.26	c |     93021 |   90741   586140  1653047 | 2147483647    92286    242 | 10.849 % |
422.71/422.74	c |     93122 |   90741   586140  1653047 | 2147483647    92387    242 | 10.849 % |
423.31/423.41	c |     93234 |   90741   586140  1653047 | 2147483647    92499    242 | 10.849 % |
424.31/424.33	c |     93356 |   90741   586140  1653047 | 2147483647    92621    242 | 10.849 % |
425.11/425.20	c |     93491 |   90741   586140  1653047 | 2147483647    92756    242 | 10.849 % |
426.20/426.22	c |     93637 |   90730   586049  1652798 | 2147483647    92900    242 | 10.859 % |
427.10/427.13	c |     93798 |   90730   586049  1652798 | 2147483647    93061    241 | 10.859 % |
428.40/428.47	c |     93974 |   90730   586049  1652798 | 2147483647    93237    241 | 10.859 % |
429.90/429.94	c |     94168 |   90730   586049  1652798 | 2147483647    93430    241 | 10.867 % |
431.30/431.36	c |     94381 |   90730   586049  1652798 | 2147483647    93643    241 | 10.867 % |
433.00/433.05	c |     94615 |   90730   586049  1652798 | 2147483647    93877    240 | 10.867 % |
434.60/434.70	c |     94872 |   90730   586049  1652798 | 2147483647    94134    240 | 10.867 % |
436.71/436.75	c |     95153 |   90730   586049  1652798 | 2147483647    94415    240 | 10.867 % |
438.30/438.35	c |     95463 |   90730   586049  1652798 | 2147483647    94725    239 | 10.867 % |
440.40/440.46	c |     95802 |   90730   586049  1652798 | 2147483647    95064    239 | 10.867 % |
442.60/442.63	c |     96174 |   90730   586049  1652798 | 2147483647    95436    238 | 10.867 % |
445.11/445.17	c |     96583 |   90730   586049  1652798 | 2147483647    95845    238 | 10.867 % |
447.71/447.72	c |     97032 |   90722   585972  1652603 | 2147483647    96291    237 | 10.867 % |
450.41/450.43	c |     97525 |   90722   585972  1652603 | 2147483647    96784    236 | 10.867 % |
454.21/454.22	c |     98067 |   90722   585972  1652603 | 2147483647    97326    236 | 10.867 % |
457.51/457.53	c |     98665 |   90722   585972  1652603 | 2147483647    97924    235 | 10.867 % |
461.31/461.36	c |     99322 |   90722   585972  1652603 | 2147483647    98581    234 | 10.867 % |
465.11/465.14	c |    100042 |   90722   585972  1652603 | 2147483647    99301    234 | 10.867 % |
471.11/471.18	c |    100837 |   90712   585883  1652376 | 2147483647   100092    233 | 10.877 % |
477.91/477.95	c |    101708 |   90712   585883  1652376 | 2147483647   100963    232 | 10.877 % |
484.31/484.35	c |    102668 |   90712   585883  1652376 | 2147483647   101923    231 | 10.877 % |
491.51/491.52	c |    103721 |   90711   585879  1652368 | 2147483647   102974    230 | 10.878 % |
498.91/499.00	c |    104879 |   90709   585879  1652368 | 2147483647   104130    229 | 10.880 % |
499.81/499.84	c |    104979 |   90709   585879  1652368 | 2147483647   104230    229 | 10.880 % |
500.52/500.57	c |    105091 |   90709   585879  1652368 | 2147483647   104342    229 | 10.880 % |
501.31/501.32	c |    105212 |   90709   585879  1652368 | 2147483647   104463    229 | 10.880 % |
502.21/502.26	c |    105351 |   90709   585879  1652368 | 2147483647   104602    229 | 10.880 % |
503.41/503.42	c |    105498 |   90709   585879  1652368 | 2147483647   104749    229 | 10.880 % |
504.51/504.51	c |    105659 |   90709   585879  1652368 | 2147483647   104910    229 | 10.880 % |
506.02/506.05	c |    105835 |   90709   585879  1652368 | 2147483647   105086    229 | 10.880 % |
507.31/507.31	c |    106029 |   90709   585879  1652368 | 2147483647   105280    229 | 10.880 % |
508.71/508.76	c |    106244 |   90709   585879  1652368 | 2147483647   105495    229 | 10.880 % |
510.21/510.28	c |    106478 |   90709   585879  1652368 | 2147483647   105729    228 | 10.880 % |
511.81/511.87	c |    106740 |   90709   585879  1652368 | 2147483647   105991    228 | 10.880 % |
514.01/514.08	c |    107021 |   90709   585871  1652352 | 2147483647   106270    228 | 10.880 % |
516.01/516.08	c |    107330 |   90709   585871  1652352 | 2147483647   106579    228 | 10.880 % |
518.21/518.26	c |    107671 |   90709   585871  1652352 | 2147483647   106920    227 | 10.880 % |
520.81/520.82	c |    108046 |   90709   585871  1652352 | 2147483647   107295    227 | 10.880 % |
523.81/523.89	c |    108455 |   90709   585871  1652352 | 2147483647   107704    226 | 10.880 % |
526.92/526.95	c |    108904 |   90709   585871  1652352 | 2147483647   108153    226 | 10.880 % |
530.12/530.19	c |    109397 |   90709   585871  1652352 | 2147483647   108646    225 | 10.880 % |
533.42/533.50	c |    109939 |   90709   585871  1652352 | 2147483647   109188    225 | 10.880 % |
537.12/537.13	c |    110536 |   90709   585871  1652352 | 2147483647   109785    224 | 10.880 % |
541.42/541.46	c |    111192 |   90703   585848  1652293 | 2147483647   110440    223 | 10.886 % |
545.72/545.76	c |    111912 |   90703   585848  1652293 | 2147483647   111160    223 | 10.886 % |
551.02/551.04	c |    112704 |   90703   585848  1652293 | 2147483647   111952    222 | 10.886 % |
556.42/556.46	c |    113575 |   90703   585848  1652293 | 2147483647   112822    221 | 10.897 % |
563.32/563.31	c |    114533 |   90703   585848  1652293 | 2147483647   113780    220 | 10.897 % |
568.92/568.93	c |    115587 |   90692   585782  1652130 | 2147483647   114831    219 | 10.897 % |
577.12/577.11	c |    116745 |   90692   585782  1652130 | 2147483647   115989    218 | 10.897 % |
585.92/585.94	c |    118018 |   90692   585782  1652130 | 2147483647   117262    216 | 10.897 % |
586.52/586.60	c |    118118 |   90692   585782  1652130 | 2147483647   117362    216 | 10.897 % |
587.22/587.28	c |    118229 |   90692   585782  1652130 | 2147483647   117473    216 | 10.897 % |
588.22/588.28	c |    118350 |   90692   585782  1652130 | 2147483647   117594    216 | 10.897 % |
589.42/589.48	c |    118483 |   90691   585778  1652122 | 2147483647   117725    216 | 10.898 % |
590.73/590.79	c |    118634 |   90691   585778  1652122 | 2147483647   117876    216 | 10.898 % |
592.02/592.05	c |    118794 |   90691   585778  1652122 | 2147483647   118036    216 | 10.898 % |
593.12/593.19	c |    118970 |   90691   585778  1652122 | 2147483647   118212    216 | 10.898 % |
594.22/594.30	c |    119163 |   90691   585778  1652122 | 2147483647   118405    216 | 10.898 % |
596.12/596.13	c |    119375 |   90691   585778  1652122 | 2147483647   118617    215 | 10.898 % |
597.62/597.68	c |    119611 |   90691   585778  1652122 | 2147483647   118853    215 | 10.898 % |
599.53/599.57	c |    119870 |   90691   585778  1652122 | 2147483647   119112    215 | 10.898 % |
601.62/601.63	c |    120151 |   90687   585778  1652122 | 2147483647   119389    215 | 10.902 % |
603.62/603.62	c |    120461 |   90687   585778  1652122 | 2147483647   119699    215 | 10.902 % |
605.82/605.89	c |    120800 |   90687   585778  1652122 | 2147483647   120038    214 | 10.902 % |
608.53/608.57	c |    121172 |   90687   585778  1652122 | 2147483647   120410    214 | 10.902 % |
611.63/611.68	c |    121582 |   90687   585778  1652122 | 2147483647   120820    214 | 10.902 % |
615.13/615.17	c |    122031 |   90687   585762  1652090 | 2147483647   121269    214 | 10.902 % |
618.83/618.86	c |    122524 |   90687   585762  1652090 | 2147483647   121762    213 | 10.902 % |
622.93/622.92	c |    123066 |   90687   585762  1652090 | 2147483647   122304    213 | 10.902 % |
627.03/627.07	c |    123662 |   90687   585762  1652090 | 2147483647   122900    212 | 10.902 % |
631.63/631.71	c |    124317 |   90687   585762  1652090 | 2147483647   123555    211 | 10.902 % |
636.13/636.14	c |    125037 |   90687   585762  1652090 | 2147483647   124275    211 | 10.902 % |
641.73/641.72	c |    125830 |   90687   585762  1652090 | 2147483647   125068    210 | 10.902 % |
648.83/648.90	c |    126701 |   90687   585762  1652090 | 2147483647   125939    210 | 10.902 % |
656.23/656.21	c |    127659 |   90687   585762  1652090 | 2147483647   126897    209 | 10.902 % |
665.43/665.44	c |    128715 |   90687   585762  1652090 | 2147483647   127953    209 | 10.902 % |
673.43/673.44	c |    129874 |   90687   585762  1652090 | 2147483647   129112    209 | 10.902 % |
681.83/681.90	c |    131151 |   90674   585654  1651807 | 2147483647   130384    209 | 10.914 % |
691.14/691.15	c |    132551 |   90674   585654  1651807 | 2147483647   131784    208 | 10.914 % |
692.04/692.04	c |    132651 |   90674   585654  1651807 | 2147483647   131884    208 | 10.914 % |
692.84/692.91	c |    132764 |   90674   585654  1651807 | 2147483647   131997    208 | 10.914 % |
693.84/693.91	c |    132888 |   90674   585654  1651807 | 2147483647   132121    208 | 10.914 % |
694.94/694.96	c |    133021 |   90674   585654  1651807 | 2147483647   132254    208 | 10.914 % |
695.94/695.92	c |    133167 |   90674   585654  1651807 | 2147483647   132400    207 | 10.914 % |
696.84/696.87	c |    133327 |   90674   585654  1651807 | 2147483647   132560    207 | 10.914 % |
698.04/698.03	c |    133504 |   90674   585654  1651807 | 2147483647   132737    207 | 10.914 % |
699.34/699.34	c |    133697 |   90674   585654  1651807 | 2147483647   132930    207 | 10.914 % |
700.94/700.98	c |    133912 |   90674   585654  1651807 | 2147483647   133145    207 | 10.914 % |
703.24/703.21	c |    134146 |   90674   585654  1651807 | 2147483647   133379    206 | 10.914 % |
704.84/704.85	c |    134402 |   90674   585654  1651807 | 2147483647   133635    206 | 10.914 % |
706.94/706.91	c |    134685 |   90674   585654  1651807 | 2147483647   133918    206 | 10.914 % |
709.54/709.58	c |    134997 |   90674   585654  1651807 | 2147483647   134230    206 | 10.914 % |
711.94/711.93	c |    135336 |   90674   585654  1651807 | 2147483647   134569    205 | 10.914 % |
714.64/714.67	c |    135708 |   90674   585654  1651807 | 2147483647   134941    205 | 10.914 % |
717.04/717.09	c |    136117 |   90674   585654  1651807 | 2147483647   135350    205 | 10.914 % |
720.44/720.50	c |    136569 |   90674   585654  1651807 | 2147483647   135802    204 | 10.914 % |
724.54/724.53	c |    137062 |   90674   585654  1651807 | 2147483647   136295    204 | 10.914 % |
728.54/728.53	c |    137605 |   90674   585654  1651807 | 2147483647   136838    204 | 10.914 % |
732.94/732.96	c |    138201 |   90674   585654  1651807 | 2147483647   137434    203 | 10.914 % |
738.04/738.10	c |    138856 |   90674   585654  1651807 | 2147483647   138089    203 | 10.914 % |
744.14/744.21	c |    139576 |   90674   585654  1651807 | 2147483647   138809    202 | 10.914 % |
750.04/750.10	c |    140372 |   90674   585654  1651807 | 2147483647   139605    202 | 10.914 % |
757.44/757.42	c |    141243 |   90674   585654  1651807 | 2147483647   140476    201 | 10.914 % |
763.74/763.74	c |    142201 |   90674   585654  1651807 | 2147483647   141434    201 | 10.914 % |
771.64/771.63	c |    143254 |   90674   585654  1651807 | 2147483647   142487    200 | 10.914 % |
779.85/779.82	c |    144413 |   90674   585654  1651807 | 2147483647   143646    199 | 10.914 % |
789.54/789.60	c |    145688 |   90674   585654  1651807 | 2147483647   144921    198 | 10.914 % |
801.44/801.45	c |    147088 |   90674   585654  1651807 | 2147483647   146321    197 | 10.914 % |
807.94/807.96	c |    148629 |   90674   585654  1651807 | 2147483647   147862    196 | 10.914 % |
808.64/808.66	c |    148730 |   90674   585654  1651807 | 2147483647   147963    196 | 10.914 % |
809.24/809.28	c |    148842 |   90674   585654  1651807 | 2147483647   148075    196 | 10.914 % |
810.24/810.22	c |    148963 |   90674   585654  1651807 | 2147483647   148196    196 | 10.914 % |
811.34/811.31	c |    149096 |   90674   585654  1651807 | 2147483647   148329    196 | 10.914 % |
812.14/812.12	c |    149244 |   90674   585654  1651807 | 2147483647   148477    196 | 10.914 % |
813.54/813.58	c |    149406 |   90674   585654  1651807 | 2147483647   148639    196 | 10.914 % |
814.94/814.94	c |    149587 |   90674   585654  1651807 | 2147483647   148820    196 | 10.914 % |
816.44/816.42	c |    149781 |   90674   585654  1651807 | 2147483647   149014    196 | 10.914 % |
818.04/818.07	c |    149993 |   90674   585654  1651807 | 2147483647   149226    196 | 10.914 % |
820.04/820.10	c |    150227 |   90674   585654  1651807 | 2147483647   149460    195 | 10.914 % |
822.24/822.26	c |    150483 |   90674   585654  1651807 | 2147483647   149716    195 | 10.914 % |
824.44/824.43	c |    150766 |   90674   585654  1651807 | 2147483647   149999    195 | 10.914 % |
826.84/826.88	c |    151076 |   90674   585654  1651807 | 2147483647   150309    195 | 10.914 % |
829.45/829.43	c |    151420 |   90674   585654  1651807 | 2147483647   150653    194 | 10.914 % |
831.74/831.77	c |    151792 |   90674   585654  1651807 | 2147483647   151025    195 | 10.914 % |
834.44/834.45	c |    152203 |   90674   585654  1651807 | 2147483647   151436    194 | 10.914 % |
837.64/837.64	c |    152653 |   90674   585654  1651807 | 2147483647   151886    194 | 10.914 % |
841.74/841.71	c |    153146 |   90674   585654  1651807 | 2147483647   152379    194 | 10.914 % |
845.64/845.60	c |    153689 |   90674   585654  1651807 | 2147483647   152922    193 | 10.914 % |
849.94/849.92	c |    154285 |   90674   585654  1651807 | 2147483647   153518    193 | 10.914 % |
853.14/853.16	c |    154940 |   90674   585654  1651807 | 2147483647   154173    193 | 10.914 % |
859.45/859.43	c |    155660 |   90674   585654  1651807 | 2147483647   154893    193 | 10.914 % |
865.35/865.39	c |    156452 |   90674   585654  1651807 | 2147483647   155685    192 | 10.914 % |
870.85/870.89	c |    157323 |   90674   585654  1651807 | 2147483647   156556    193 | 10.914 % |
877.75/877.79	c |    158281 |   90674   585654  1651807 | 2147483647   157514    194 | 10.914 % |
887.25/887.22	c |    159334 |   90674   585654  1651807 | 2147483647   158567    194 | 10.914 % |
896.85/896.90	c |    160493 |   90674   585654  1651807 | 2147483647   159726    194 | 10.914 % |
907.56/907.60	c |    161767 |   90674   585654  1651807 | 2147483647   161000    194 | 10.914 % |
917.35/917.39	c |    163168 |   90667   585574  1651612 | 2147483647   162387    194 | 10.921 % |
927.95/927.92	c |    164708 |   90667   585574  1651612 | 2147483647   163926    194 | 10.925 % |
938.26/938.28	c |    166402 |   90667   585574  1651612 | 2147483647   165620    194 | 10.925 % |
938.66/938.64	c |    166504 |   90667   585574  1651612 | 2147483647   165722    194 | 10.925 % |
939.16/939.18	c |    166614 |   90667   585574  1651612 | 2147483647   165832    194 | 10.925 % |
939.76/939.79	c |    166735 |   90667   585574  1651612 | 2147483647   165953    194 | 10.925 % |
940.16/940.20	c |    166872 |   90667   585574  1651612 | 2147483647   166090    194 | 10.925 % |
941.16/941.18	c |    167020 |   90667   585574  1651612 | 2147483647   166238    194 | 10.925 % |
942.06/942.07	c |    167181 |   90667   585574  1651612 | 2147483647   166399    194 | 10.925 % |
943.76/943.81	c |    167358 |   90667   585574  1651612 | 2147483647   166576    194 | 10.925 % |
945.66/945.69	c |    167552 |   90663   585545  1651542 | 2147483647   166769    194 | 10.935 % |
947.16/947.21	c |    167764 |   90663   585545  1651542 | 2147483647   166981    194 | 10.935 % |
948.76/948.79	c |    167998 |   90663   585545  1651542 | 2147483647   167215    194 | 10.935 % |
950.96/950.95	c |    168255 |   90663   585545  1651542 | 2147483647   167472    194 | 10.935 % |
953.06/953.02	c |    168539 |   90663   585545  1651542 | 2147483647   167756    193 | 10.935 % |
955.06/955.07	c |    168848 |   90663   585545  1651542 | 2147483647   168065    193 | 10.935 % |
957.36/957.35	c |    169189 |   90663   585545  1651542 | 2147483647   168406    193 | 10.935 % |
960.26/960.24	c |    169563 |   90663   585545  1651542 | 2147483647   168780    193 | 10.935 % |
963.66/963.63	c |    169974 |   90663   585545  1651542 | 2147483647   169191    193 | 10.935 % |
966.96/966.95	c |    170423 |   90663   585545  1651542 | 2147483647   169640    193 | 10.935 % |
970.36/970.35	c |    170917 |   90663   585545  1651542 | 2147483647   170134    192 | 10.935 % |
974.56/974.59	c |    171459 |   90663   585545  1651542 | 2147483647   170675    192 | 10.938 % |
979.36/979.34	c |    172055 |   90663   585545  1651542 | 2147483647   171271    192 | 10.938 % |
984.26/984.27	c |    172711 |   90663   585545  1651542 | 2147483647   171927    191 | 10.938 % |
989.96/990.00	c |    173432 |   90650   585429  1651236 | 2147483647   172644    191 | 10.938 % |
995.16/995.19	c |    174225 |   90650   585429  1651236 | 2147483647   173436    191 | 10.951 % |
1000.86/1000.83	c |    175097 |   90650   585429  1651236 | 2147483647   174308    190 | 10.951 % |
1007.16/1007.20	c |    176058 |   90650   585429  1651236 | 2147483647   175269    190 | 10.951 % |
1013.86/1013.88	c |    177111 |   90650   585429  1651236 | 2147483647   176322    190 | 10.951 % |
1024.07/1024.10	c |    178270 |   90649   585429  1651236 | 2147483647   177480    189 | 10.952 % |
1035.37/1035.33	c |    179544 |   90636   585313  1650928 | 2147483647   178753    189 | 10.952 % |
1046.77/1046.73	c |    180945 |   90636   585313  1650928 | 2147483647   180153    189 | 10.965 % |
1057.47/1057.48	c |    182486 |   90636   585313  1650928 | 2147483647   181693    190 | 10.974 % |
1074.97/1074.92	c |    184180 |   90636   585313  1650928 | 2147483647   183387    190 | 10.974 % |
1088.88/1088.83	c |    186046 |   90613   585089  1650379 | 2147483647   185202    191 | 10.974 % |
1089.38/1089.39	c |    186146 |   90613   585089  1650379 | 2147483647   185302    191 | 10.974 % |
1090.28/1090.31	c |    186256 |   90613   585089  1650379 | 2147483647   185412    191 | 10.974 % |
1091.29/1091.30	c |    186378 |   90613   585089  1650379 | 2147483647   185534    191 | 10.974 % |
1092.28/1092.24	c |    186512 |   90613   585089  1650379 | 2147483647   185668    191 | 10.974 % |
1092.98/1092.92	c |    186662 |   90613   585089  1650379 | 2147483647   185818    191 | 10.974 % |
1093.28/1093.29	c |    186822 |   90613   585089  1650379 | 2147483647   185978    191 | 10.974 % |
1093.78/1093.75	c |    186998 |   90613   585089  1650379 | 2147483647   186154    191 | 10.974 % |
1094.88/1094.82	c |    187193 |   90613   585089  1650379 | 2147483647   186349    191 | 10.974 % |
1095.78/1095.74	c |    187410 |   90613   585089  1650379 | 2147483647   186566    191 | 10.974 % |
1097.28/1097.22	c |    187643 |   90613   585089  1650379 | 2147483647   186799    192 | 10.974 % |
1099.68/1099.65	c |    187899 |   90613   585089  1650379 | 2147483647   187055    191 | 10.974 % |
1101.89/1101.88	c |    188180 |   90613   585089  1650379 | 2147483647   187336    191 | 10.974 % |
1104.89/1104.87	c |    188489 |   90613   585089  1650379 | 2147483647   187645    191 | 10.974 % |
1107.59/1107.54	c |    188840 |   90613   585089  1650379 | 2147483647   187996    191 | 10.974 % |
1110.29/1110.29	c |    189212 |   90613   585089  1650379 | 2147483647   188368    192 | 10.974 % |
1114.19/1114.20	c |    189622 |   90613   585089  1650379 | 2147483647   188778    192 | 10.974 % |
1118.29/1118.31	c |    190071 |   90613   585089  1650379 | 2147483647   189226    192 | 10.980 % |
1120.89/1120.89	c |    190565 |   90613   585089  1650379 | 2147483647   189719    192 | 11.391 % |
1124.49/1124.42	c |    191110 |   89036   567387  1602820 | 2147483647   189556    192 | 12.527 % |
1128.69/1128.68	c |    191707 |   89036   567387  1602820 | 2147483647   190153    193 | 12.527 % |
1133.79/1133.79	c |    192362 |   89036   567387  1602820 | 2147483647   190808    192 | 12.527 % |
1140.99/1140.94	c |    193082 |   89036   567387  1602820 | 2147483647   191527    192 | 12.552 % |
1147.48/1147.44	c |    193876 |   89035   567387  1602820 | 2147483647   192320    193 | 12.553 % |
1153.99/1153.93	c |    194747 |   89035   567387  1602820 | 2147483647   193191    192 | 12.553 % |
1161.28/1161.25	c |    195705 |   89035   567387  1602820 | 2147483647   194149    192 | 12.553 % |
1167.98/1167.97	c |    196758 |   89035   567387  1602820 | 2147483647   195202    192 | 12.553 % |
1177.28/1177.29	c |    197917 |   89006   567225  1602473 | 2147483647   196290    193 | 12.553 % |
1188.19/1188.19	c |    199192 |   89005   567225  1602473 | 2147483647   197563    193 | 12.690 % |
1198.19/1198.19	c |    200594 |   89005   567225  1602473 | 2147483647   198965    193 | 12.690 % |
1200.09/1200.04	HOME/SatELiteGTI: line 36:  1265 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data 

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

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/93 1257
/proc/meminfo: memFree=473596/2074464 swapFree=1951864/1959888
[pid=1257] ppid=1255 vsize=2416 CPUtime=0
/proc/1257/stat : 1257 (SatELiteGTI) S 1255 1257 20977 0 -1 4194304 368 647 0 0 0 0 0 0 25 0 1 0 1019089587 2473984 277 4294967295 134512640 135169312 3219687888 3219686424 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1257/statm: 604 277 235 161 0 43 0
[pid=1261] ppid=1257 vsize=948 CPUtime=0
/proc/1261/stat : 1261 (SatELite_releas) R 1257 1257 20977 0 -1 4202496 112 0 0 0 0 0 0 0 25 0 1 0 1019089587 970752 48 4294967295 134512640 135223648 3217254256 3217253160 134736942 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1261/statm: 237 48 40 174 0 62 0

[startup+0.037098 s]
/proc/loadavg: 0.92 0.98 0.99 3/93 1257
/proc/meminfo: memFree=473596/2074464 swapFree=1951864/1959888
[pid=1257] ppid=1255 vsize=2416 CPUtime=0
/proc/1257/stat : 1257 (SatELiteGTI) S 1255 1257 20977 0 -1 4194304 368 647 0 0 0 0 0 0 25 0 1 0 1019089587 2473984 277 4294967295 134512640 135169312 3219687888 3219686424 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1257/statm: 604 277 235 161 0 43 0
[pid=1261] ppid=1257 vsize=13464 CPUtime=0.04
/proc/1261/stat : 1261 (SatELite_releas) R 1257 1257 20977 0 -1 4202496 2526 0 0 0 2 2 0 0 25 0 1 0 1019089587 13787136 2359 4294967295 134512640 135223648 3217254256 3217253136 134543236 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1261/statm: 3366 2361 46 174 0 3191 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15880

[startup+0.11709 s]
/proc/loadavg: 0.92 0.98 0.99 3/93 1257
/proc/meminfo: memFree=473596/2074464 swapFree=1951864/1959888
[pid=1257] ppid=1255 vsize=2416 CPUtime=0
/proc/1257/stat : 1257 (SatELiteGTI) S 1255 1257 20977 0 -1 4194304 368 647 0 0 0 0 0 0 25 0 1 0 1019089587 2473984 277 4294967295 134512640 135169312 3219687888 3219686424 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1257/statm: 604 277 235 161 0 43 0
[pid=1261] ppid=1257 vsize=30936 CPUtime=0.12
/proc/1261/stat : 1261 (SatELite_releas) R 1257 1257 20977 0 -1 4202496 5659 0 0 0 7 5 0 0 25 0 1 0 1019089587 31678464 5428 4294967295 134512640 135223648 3217254256 3217252840 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1261/statm: 7734 5429 46 174 0 7559 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 33352

[startup+0.31707 s]
/proc/loadavg: 0.92 0.98 0.99 3/93 1257
/proc/meminfo: memFree=473596/2074464 swapFree=1951864/1959888
[pid=1257] ppid=1255 vsize=2416 CPUtime=0
/proc/1257/stat : 1257 (SatELiteGTI) S 1255 1257 20977 0 -1 4194304 368 647 0 0 0 0 0 0 25 0 1 0 1019089587 2473984 277 4294967295 134512640 135169312 3219687888 3219686424 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1257/statm: 604 277 235 161 0 43 0
[pid=1261] ppid=1257 vsize=48444 CPUtime=0.32
/proc/1261/stat : 1261 (SatELite_releas) R 1257 1257 20977 0 -1 4202496 9886 0 0 0 22 10 0 0 25 0 1 0 1019089587 49606656 9655 4294967295 134512640 135223648 3217254256 3217252824 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1261/statm: 12111 9655 46 174 0 11936 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 50860

[startup+0.717031 s]
/proc/loadavg: 0.92 0.98 0.99 3/93 1257
/proc/meminfo: memFree=473596/2074464 swapFree=1951864/1959888
[pid=1257] ppid=1255 vsize=2416 CPUtime=0
/proc/1257/stat : 1257 (SatELiteGTI) S 1255 1257 20977 0 -1 4194304 368 647 0 0 0 0 0 0 25 0 1 0 1019089587 2473984 277 4294967295 134512640 135169312 3219687888 3219686424 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1257/statm: 604 277 235 161 0 43 0
[pid=1261] ppid=1257 vsize=71912 CPUtime=0.72
/proc/1261/stat : 1261 (SatELite_releas) R 1257 1257 20977 0 -1 4202496 15899 0 0 0 52 20 0 0 25 0 1 0 1019089587 73637888 15668 4294967295 134512640 135223648 3217254256 3217253208 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1261/statm: 17978 15669 47 174 0 17803 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 74328

[startup+1.51695 s]
/proc/loadavg: 0.93 0.98 0.99 2/95 1262
/proc/meminfo: memFree=389360/2074464 swapFree=1951864/1959888
[pid=1257] ppid=1255 vsize=2416 CPUtime=0
/proc/1257/stat : 1257 (SatELiteGTI) S 1255 1257 20977 0 -1 4194304 368 647 0 0 0 0 0 0 25 0 1 0 1019089587 2473984 277 4294967295 134512640 135169312 3219687888 3219686424 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1257/statm: 604 277 235 161 0 43 0
[pid=1261] ppid=1257 vsize=104364 CPUtime=1.51
/proc/1261/stat : 1261 (SatELite_releas) R 1257 1257 20977 0 -1 4202496 26464 0 0 0 124 27 0 0 25 0 1 0 1019089587 106868736 23801 4294967295 134512640 135223648 3217254256 3217252024 134737406 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1261/statm: 26091 23801 73 174 0 25916 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 106780

[startup+3.1168 s]
/proc/loadavg: 0.93 0.98 0.99 3/95 1262
/proc/meminfo: memFree=367536/2074464 swapFree=1951864/1959888
[pid=1257] ppid=1255 vsize=2416 CPUtime=0
/proc/1257/stat : 1257 (SatELiteGTI) S 1255 1257 20977 0 -1 4194304 368 647 0 0 0 0 0 0 25 0 1 0 1019089587 2473984 277 4294967295 134512640 135169312 3219687888 3219686424 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1257/statm: 604 277 235 161 0 43 0
[pid=1261] ppid=1257 vsize=116708 CPUtime=3.1
/proc/1261/stat : 1261 (SatELite_releas) R 1257 1257 20977 0 -1 4202496 29432 0 0 0 283 27 0 0 25 0 1 0 1019089587 119508992 26621 4294967295 134512640 135223648 3217254256 3217252272 134586986 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1261/statm: 29177 26621 73 174 0 29002 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 119124

[startup+6.31648 s]
/proc/loadavg: 0.93 0.98 0.99 2/95 1264
/proc/meminfo: memFree=354888/2074464 swapFree=1951864/1959888
[pid=1257] ppid=1255 vsize=2416 CPUtime=0
/proc/1257/stat : 1257 (SatELiteGTI) S 1255 1257 20977 0 -1 4194304 368 647 0 0 0 0 0 0 25 0 1 0 1019089587 2473984 277 4294967295 134512640 135169312 3219687888 3219686424 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1257/statm: 604 277 235 161 0 43 0
[pid=1261] ppid=1257 vsize=117812 CPUtime=6.3
/proc/1261/stat : 1261 (SatELite_releas) R 1257 1257 20977 0 -1 4202496 36151 0 0 0 601 29 0 0 25 0 1 0 1019089587 120639488 27099 4294967295 134512640 135223648 3217254256 3217251060 134822453 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1261/statm: 29453 27099 73 174 0 29278 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 120228

[startup+12.7159 s]
/proc/loadavg: 0.94 0.98 0.99 2/95 1265
/proc/meminfo: memFree=417256/2074464 swapFree=1951864/1959888
[pid=1257] ppid=1255 vsize=2420 CPUtime=6.82
/proc/1257/stat : 1257 (SatELiteGTI) S 1255 1257 20977 0 -1 4194304 387 36800 0 0 0 0 650 32 18 0 1 0 1019089587 2478080 278 4294967295 134512640 135169312 3219687888 3219684104 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1257/statm: 605 278 235 161 0 44 0
[pid=1265] ppid=1257 vsize=38124 CPUtime=5.85
/proc/1265/stat : 1265 (minisat_static) R 1257 1257 20977 0 -1 4202496 9203 0 0 0 579 6 0 0 25 0 1 0 1019090273 39038976 9064 4294967295 134512640 135215339 3217211344 3217209344 134532927 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1265/statm: 9531 9064 73 172 0 9358 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 40544

[startup+25.5146 s]
/proc/loadavg: 0.95 0.98 0.99 2/95 1448
/proc/meminfo: memFree=413036/2074464 swapFree=1951864/1959888
[pid=1257] ppid=1255 vsize=2420 CPUtime=6.82
/proc/1257/stat : 1257 (SatELiteGTI) S 1255 1257 20977 0 -1 4194304 387 36800 0 0 0 0 650 32 18 0 1 0 1019089587 2478080 278 4294967295 134512640 135169312 3219687888 3219684104 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1257/statm: 605 278 235 161 0 44 0
[pid=1265] ppid=1257 vsize=41820 CPUtime=18.65
/proc/1265/stat : 1265 (minisat_static) R 1257 1257 20977 0 -1 4202496 10124 0 0 0 1857 8 0 0 25 0 1 0 1019090273 42823680 9985 4294967295 134512640 135215339 3217211344 3217209632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1265/statm: 10455 9985 73 172 0 10282 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 44240

[startup+51.1221 s]
/proc/loadavg: 0.96 0.98 0.99 2/95 1450
/proc/meminfo: memFree=405292/2074464 swapFree=1951864/1959888
[pid=1257] ppid=1255 vsize=2420 CPUtime=6.82
/proc/1257/stat : 1257 (SatELiteGTI) S 1255 1257 20977 0 -1 4194304 387 36800 0 0 0 0 650 32 18 0 1 0 1019089587 2478080 278 4294967295 134512640 135169312 3219687888 3219684104 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1257/statm: 605 278 235 161 0 44 0
[pid=1265] ppid=1257 vsize=49808 CPUtime=44.26
/proc/1265/stat : 1265 (minisat_static) R 1257 1257 20977 0 -1 4202496 12111 0 0 0 4417 9 0 0 25 0 1 0 1019090273 51003392 11972 4294967295 134512640 135215339 3217211344 3217209632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1265/statm: 12452 11972 73 172 0 12279 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 52228

[startup+102.317 s]
/proc/loadavg: 0.98 0.98 0.99 2/95 1637
/proc/meminfo: memFree=387180/2074464 swapFree=1951864/1959888
[pid=1257] ppid=1255 vsize=2420 CPUtime=6.82
/proc/1257/stat : 1257 (SatELiteGTI) S 1255 1257 20977 0 -1 4194304 387 36800 0 0 0 0 650 32 18 0 1 0 1019089587 2478080 278 4294967295 134512640 135169312 3219687888 3219684104 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1257/statm: 605 278 235 161 0 44 0
[pid=1265] ppid=1257 vsize=67988 CPUtime=95.46
/proc/1265/stat : 1265 (minisat_static) R 1257 1257 20977 0 -1 4202496 16656 0 0 0 9531 15 0 0 25 0 1 0 1019090273 69619712 16517 4294967295 134512640 135215339 3217211344 3217209344 134532721 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1265/statm: 16997 16517 73 172 0 16824 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 70408

[startup+162.311 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 1826
/proc/meminfo: memFree=370152/2074464 swapFree=1951864/1959888
[pid=1257] ppid=1255 vsize=2420 CPUtime=6.82
/proc/1257/stat : 1257 (SatELiteGTI) S 1255 1257 20977 0 -1 4194304 387 36800 0 0 0 0 650 32 18 0 1 0 1019089587 2478080 278 4294967295 134512640 135169312 3219687888 3219684104 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1257/statm: 605 278 235 161 0 44 0
[pid=1265] ppid=1257 vsize=85116 CPUtime=155.46
/proc/1265/stat : 1265 (minisat_static) R 1257 1257 20977 0 -1 4202496 20923 0 0 0 15526 20 0 0 25 0 1 0 1019090273 87158784 20784 4294967295 134512640 135215339 3217211344 3217209632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1265/statm: 21279 20784 73 172 0 21106 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 87536

[startup+222.315 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 2013
/proc/meminfo: memFree=359248/2074464 swapFree=1951864/1959888
[pid=1257] ppid=1255 vsize=2420 CPUtime=6.82
/proc/1257/stat : 1257 (SatELiteGTI) S 1255 1257 20977 0 -1 4194304 387 36800 0 0 0 0 650 32 18 0 1 0 1019089587 2478080 278 4294967295 134512640 135169312 3219687888 3219684104 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1257/statm: 605 278 235 161 0 44 0
[pid=1265] ppid=1257 vsize=96216 CPUtime=215.47
/proc/1265/stat : 1265 (minisat_static) R 1257 1257 20977 0 -1 4202496 23705 0 0 0 21525 22 0 0 25 0 1 0 1019090273 98525184 23566 4294967295 134512640 135215339 3217211344 3217209632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1265/statm: 24054 23566 73 172 0 23881 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 98636

[startup+282.319 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 2200
/proc/meminfo: memFree=345856/2074464 swapFree=1951864/1959888
[pid=1257] ppid=1255 vsize=2420 CPUtime=6.82
/proc/1257/stat : 1257 (SatELiteGTI) S 1255 1257 20977 0 -1 4194304 387 36800 0 0 0 0 650 32 18 0 1 0 1019089587 2478080 278 4294967295 134512640 135169312 3219687888 3219684104 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1257/statm: 605 278 235 161 0 44 0
[pid=1265] ppid=1257 vsize=109812 CPUtime=275.48
/proc/1265/stat : 1265 (minisat_static) R 1257 1257 20977 0 -1 4202496 27114 0 0 0 27517 31 0 0 25 0 1 0 1019090273 112447488 26975 4294967295 134512640 135215339 3217211344 3217209632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1265/statm: 27453 26975 73 172 0 27280 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 112232

[startup+342.313 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 2391
/proc/meminfo: memFree=335316/2074464 swapFree=1951864/1959888
[pid=1257] ppid=1255 vsize=2420 CPUtime=6.82
/proc/1257/stat : 1257 (SatELiteGTI) S 1255 1257 20977 0 -1 4194304 387 36800 0 0 0 0 650 32 18 0 1 0 1019089587 2478080 278 4294967295 134512640 135169312 3219687888 3219684104 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1257/statm: 605 278 235 161 0 44 0
[pid=1265] ppid=1257 vsize=119988 CPUtime=335.48
/proc/1265/stat : 1265 (minisat_static) R 1257 1257 20977 0 -1 4202496 29649 0 0 0 33514 34 0 0 25 0 1 0 1019090273 122867712 29510 4294967295 134512640 135215339 3217211344 3217209632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1265/statm: 29997 29510 73 172 0 29824 0
Current children cumulated CPU time (s) 342.3

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

[pid=1265] ppid=1257 vsize=133392 CPUtime=455.49
/proc/1265/stat : 1265 (minisat_static) R 1257 1257 20977 0 -1 4202496 32977 0 0 0 45513 36 0 0 25 0 1 0 1019090273 136593408 32838 4294967295 134512640 135215339 3217211344 3217209632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1265/statm: 33348 32838 73 172 0 33175 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 135812

[startup+522.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 2974
/proc/meminfo: memFree=316724/2074464 swapFree=1951864/1959888
[pid=1257] ppid=1255 vsize=2420 CPUtime=6.82
/proc/1257/stat : 1257 (SatELiteGTI) S 1255 1257 20977 0 -1 4194304 387 36800 0 0 0 0 650 32 18 0 1 0 1019089587 2478080 278 4294967295 134512640 135169312 3219687888 3219684104 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1257/statm: 605 278 235 161 0 44 0
[pid=1265] ppid=1257 vsize=138604 CPUtime=515.49
/proc/1265/stat : 1265 (minisat_static) R 1257 1257 20977 0 -1 4202496 34280 0 0 0 51511 38 0 0 25 0 1 0 1019090273 141930496 34141 4294967295 134512640 135215339 3217211344 3217209632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1265/statm: 34651 34141 73 172 0 34478 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 141024

[startup+582.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 3162
/proc/meminfo: memFree=312640/2074464 swapFree=1951864/1959888
[pid=1257] ppid=1255 vsize=2420 CPUtime=6.82
/proc/1257/stat : 1257 (SatELiteGTI) S 1255 1257 20977 0 -1 4194304 387 36800 0 0 0 0 650 32 18 0 1 0 1019089587 2478080 278 4294967295 134512640 135169312 3219687888 3219684104 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1257/statm: 605 278 235 161 0 44 0
[pid=1265] ppid=1257 vsize=142600 CPUtime=575.5
/proc/1265/stat : 1265 (minisat_static) R 1257 1257 20977 0 -1 4202496 35295 0 0 0 57507 43 0 0 25 0 1 0 1019090273 146022400 35156 4294967295 134512640 135215339 3217211344 3217209632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1265/statm: 35650 35156 73 172 0 35477 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 145020

[startup+642.314 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 3353
/proc/meminfo: memFree=307896/2074464 swapFree=1951864/1959888
[pid=1257] ppid=1255 vsize=2420 CPUtime=6.82
/proc/1257/stat : 1257 (SatELiteGTI) S 1255 1257 20977 0 -1 4194304 387 36800 0 0 0 0 650 32 18 0 1 0 1019089587 2478080 278 4294967295 134512640 135169312 3219687888 3219684104 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1257/statm: 605 278 235 161 0 44 0
[pid=1265] ppid=1257 vsize=147292 CPUtime=635.51
/proc/1265/stat : 1265 (minisat_static) R 1257 1257 20977 0 -1 4202496 36460 0 0 0 63506 45 0 0 25 0 1 0 1019090273 150827008 36321 4294967295 134512640 135215339 3217211344 3217209632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1265/statm: 36823 36321 73 172 0 36650 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 149712

[startup+702.318 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 3566
/proc/meminfo: memFree=302456/2074464 swapFree=1951864/1959888
[pid=1257] ppid=1255 vsize=2420 CPUtime=6.82
/proc/1257/stat : 1257 (SatELiteGTI) S 1255 1257 20977 0 -1 4194304 387 36800 0 0 0 0 650 32 18 0 1 0 1019089587 2478080 278 4294967295 134512640 135169312 3219687888 3219684104 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1257/statm: 605 278 235 161 0 44 0
[pid=1265] ppid=1257 vsize=152960 CPUtime=695.52
/proc/1265/stat : 1265 (minisat_static) R 1257 1257 20977 0 -1 4202496 37865 0 0 0 69505 47 0 0 25 0 1 0 1019090273 156631040 37726 4294967295 134512640 135215339 3217211344 3217209408 134538543 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1265/statm: 38240 37726 73 172 0 38067 0
Current children cumulated CPU time (s) 702.34
Current children cumulated vsize (KiB) 155380

[startup+762.322 s]
/proc/loadavg: 1.05 1.00 1.00 3/95 3759
/proc/meminfo: memFree=298596/2074464 swapFree=1951864/1959888
[pid=1257] ppid=1255 vsize=2420 CPUtime=6.82
/proc/1257/stat : 1257 (SatELiteGTI) S 1255 1257 20977 0 -1 4194304 387 36800 0 0 0 0 650 32 18 0 1 0 1019089587 2478080 278 4294967295 134512640 135169312 3219687888 3219684104 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1257/statm: 605 278 235 161 0 44 0
[pid=1265] ppid=1257 vsize=157048 CPUtime=755.53
/proc/1265/stat : 1265 (minisat_static) R 1257 1257 20977 0 -1 4202496 38792 0 0 0 75505 48 0 0 25 0 1 0 1019090273 160817152 38653 4294967295 134512640 135215339 3217211344 3217209632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1265/statm: 39262 38653 73 172 0 39089 0
Current children cumulated CPU time (s) 762.35
Current children cumulated vsize (KiB) 159468

[startup+822.306 s]
/proc/loadavg: 1.02 1.00 1.00 3/95 3946
/proc/meminfo: memFree=295148/2074464 swapFree=1951864/1959888
[pid=1257] ppid=1255 vsize=2420 CPUtime=6.82
/proc/1257/stat : 1257 (SatELiteGTI) S 1255 1257 20977 0 -1 4194304 387 36800 0 0 0 0 650 32 18 0 1 0 1019089587 2478080 278 4294967295 134512640 135169312 3219687888 3219684104 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1257/statm: 605 278 235 161 0 44 0
[pid=1265] ppid=1257 vsize=160680 CPUtime=815.52
/proc/1265/stat : 1265 (minisat_static) R 1257 1257 20977 0 -1 4202496 39701 0 0 0 81499 53 0 0 25 0 1 0 1019090273 164536320 39562 4294967295 134512640 135215339 3217211344 3217209632 134528624 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1265/statm: 40170 39562 73 172 0 39997 0
Current children cumulated CPU time (s) 822.34
Current children cumulated vsize (KiB) 163100

[startup+882.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4133
/proc/meminfo: memFree=288832/2074464 swapFree=1951864/1959888
[pid=1257] ppid=1255 vsize=2420 CPUtime=6.82
/proc/1257/stat : 1257 (SatELiteGTI) S 1255 1257 20977 0 -1 4194304 387 36800 0 0 0 0 650 32 18 0 1 0 1019089587 2478080 278 4294967295 134512640 135169312 3219687888 3219684104 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1257/statm: 605 278 235 161 0 44 0
[pid=1265] ppid=1257 vsize=166696 CPUtime=875.53
/proc/1265/stat : 1265 (minisat_static) R 1257 1257 20977 0 -1 4202496 41192 0 0 0 87498 55 0 0 25 0 1 0 1019090273 170696704 41053 4294967295 134512640 135215339 3217211344 3217209616 134525115 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1265/statm: 41674 41053 73 172 0 41501 0
Current children cumulated CPU time (s) 882.35
Current children cumulated vsize (KiB) 169116

[startup+942.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4322
/proc/meminfo: memFree=282236/2074464 swapFree=1951864/1959888
[pid=1257] ppid=1255 vsize=2420 CPUtime=6.82
/proc/1257/stat : 1257 (SatELiteGTI) S 1255 1257 20977 0 -1 4194304 387 36800 0 0 0 0 650 32 18 0 1 0 1019089587 2478080 278 4294967295 134512640 135169312 3219687888 3219684104 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1257/statm: 605 278 235 161 0 44 0
[pid=1265] ppid=1257 vsize=173456 CPUtime=935.54
/proc/1265/stat : 1265 (minisat_static) R 1257 1257 20977 0 -1 4202496 42916 0 0 0 93498 56 0 0 25 0 1 0 1019090273 177618944 42777 4294967295 134512640 135215339 3217211344 3217209632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1265/statm: 43364 42777 73 172 0 43191 0
Current children cumulated CPU time (s) 942.36
Current children cumulated vsize (KiB) 175876

[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4509
/proc/meminfo: memFree=278276/2074464 swapFree=1951864/1959888
[pid=1257] ppid=1255 vsize=2420 CPUtime=6.82
/proc/1257/stat : 1257 (SatELiteGTI) S 1255 1257 20977 0 -1 4194304 387 36800 0 0 0 0 650 32 18 0 1 0 1019089587 2478080 278 4294967295 134512640 135169312 3219687888 3219684104 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1257/statm: 605 278 235 161 0 44 0
[pid=1265] ppid=1257 vsize=177364 CPUtime=995.54
/proc/1265/stat : 1265 (minisat_static) R 1257 1257 20977 0 -1 4202496 43867 0 0 0 99498 56 0 0 25 0 1 0 1019090273 181620736 43728 4294967295 134512640 135215339 3217211344 3217209632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1265/statm: 44341 43728 73 172 0 44168 0
Current children cumulated CPU time (s) 1002.36
Current children cumulated vsize (KiB) 179784

[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 4698
/proc/meminfo: memFree=272176/2074464 swapFree=1951864/1959888
[pid=1257] ppid=1255 vsize=2420 CPUtime=6.82
/proc/1257/stat : 1257 (SatELiteGTI) S 1255 1257 20977 0 -1 4194304 387 36800 0 0 0 0 650 32 18 0 1 0 1019089587 2478080 278 4294967295 134512640 135169312 3219687888 3219684104 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1257/statm: 605 278 235 161 0 44 0
[pid=1265] ppid=1257 vsize=183312 CPUtime=1055.55
/proc/1265/stat : 1265 (minisat_static) R 1257 1257 20977 0 -1 4202496 45372 0 0 0 105499 56 0 0 25 0 1 0 1019090273 187711488 45233 4294967295 134512640 135215339 3217211344 3217209632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1265/statm: 45828 45233 73 172 0 45655 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 185732

[startup+1122.33 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 4889
/proc/meminfo: memFree=264472/2074464 swapFree=1951864/1959888
[pid=1257] ppid=1255 vsize=2420 CPUtime=6.82
/proc/1257/stat : 1257 (SatELiteGTI) S 1255 1257 20977 0 -1 4194304 387 36800 0 0 0 0 650 32 18 0 1 0 1019089587 2478080 278 4294967295 134512640 135169312 3219687888 3219684104 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1257/statm: 605 278 235 161 0 44 0
[pid=1265] ppid=1257 vsize=190980 CPUtime=1115.57
/proc/1265/stat : 1265 (minisat_static) R 1257 1257 20977 0 -1 4202496 47295 0 0 0 111498 59 0 0 25 0 1 0 1019090273 195563520 47156 4294967295 134512640 135215339 3217211344 3217209632 134528624 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1265/statm: 47745 47156 73 172 0 47572 0
Current children cumulated CPU time (s) 1122.39
Current children cumulated vsize (KiB) 193400

[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 5076
/proc/meminfo: memFree=258536/2074464 swapFree=1951864/1959888
[pid=1257] ppid=1255 vsize=2420 CPUtime=6.82
/proc/1257/stat : 1257 (SatELiteGTI) S 1255 1257 20977 0 -1 4194304 387 36800 0 0 0 0 650 32 18 0 1 0 1019089587 2478080 278 4294967295 134512640 135169312 3219687888 3219684104 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1257/statm: 605 278 235 161 0 44 0
[pid=1265] ppid=1257 vsize=197084 CPUtime=1175.56
/proc/1265/stat : 1265 (minisat_static) R 1257 1257 20977 0 -1 4202496 48793 0 0 0 117496 60 0 0 25 0 1 0 1019090273 201814016 48654 4294967295 134512640 135215339 3217211344 3217209632 134528776 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1265/statm: 49271 48654 73 172 0 49098 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 199504



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 5078
/proc/meminfo: memFree=256368/2074464 swapFree=1951864/1959888
[pid=1257] ppid=1255 vsize=2420 CPUtime=6.82
/proc/1257/stat : 1257 (SatELiteGTI) S 1255 1257 20977 0 -1 4194304 387 36800 0 0 0 0 650 32 18 0 1 0 1019089587 2478080 278 4294967295 134512640 135169312 3219687888 3219684104 3085844206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1257/statm: 605 278 235 161 0 44 0
[pid=1265] ppid=1257 vsize=199068 CPUtime=1193.27
/proc/1265/stat : 1265 (minisat_static) R 1257 1257 20977 0 -1 4202496 49290 0 0 0 119267 60 0 0 25 0 1 0 1019090273 203845632 49151 4294967295 134512640 135215339 3217211344 3217209632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1265/statm: 49767 49151 73 172 0 49594 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 201488

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.05
CPU time (s): 1200.11
CPU user time (s): 1199.17
CPU system time (s): 0.94
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 201488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.17
system time used= 0.94
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86568
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= 21
involuntary context switches= 3260

runsolver used 0.02 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi10 at 2009-05-17 09:38:03
IDJOB=1821628
IDBENCH=71039
IDSOLVER=657
FILE ID=tipi10/1821628-1242545883
PBS_JOBID=
Free space on /tmp= 3906 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= runsolver --timestamp  -w /tmp/evaluation-result-1821628-1242545883/watcher-1821628-1242545883 -o /tmp/evaluation-result-1821628-1242545883/solver-1821628-1242545883 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821628-1242545883.cnf

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

MD5SUM BENCH= bcbcc9a4e4a7e3ebed9eeaa393ebdc32
RANDOM SEED= 1195022196

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

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        473620 kB
Buffers:         42160 kB
Cached:        1425964 kB
SwapCached:       2732 kB
Active:         610520 kB
Inactive:       867564 kB
HighTotal:     1178688 kB
HighFree:        84832 kB
LowTotal:       895776 kB
LowFree:        388788 kB
SwapTotal:     1959888 kB
SwapFree:      1951864 kB
Dirty:           20368 kB
Writeback:           0 kB
AnonPages:        8988 kB
Mapped:           3112 kB
Slab:           113844 kB
PageTables:        652 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90592 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 3900 MiB
End job on tipi10 at 2009-05-17 09:58:08