Trace number 3303605

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
glucose 2? (TO) 5000 4999.91

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf
MD5SUMba3b1702a651cd8da3e6cada8f2e97bc
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.255961
Satisfiable
(Un)Satisfiability was proved
Number of variables2088
Number of clauses405748
Sum of the clauses size813494
Maximum clause length47
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2405703
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

Solver Data 

0.00/0.00	c
0.00/0.00	c Starting SatElite Preprocessing
0.00/0.00	c
0.00/0.00	c Parsing...
0.00/0.10	c ==============================================================================
0.00/0.10	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.10	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.10	c ==============================================================================
0.00/0.10	c |         0 |  405748   813494 |  121724       0        0     nan |  0.000 % |
1.19/1.20	c |         0 |  403660  1190279 |      --       0       --      -- |     --   | -2088/376785
1.19/1.20	c ==============================================================================
1.19/1.20	c Result  :   #vars: 2043   #clauses: 403660   #literals: 1190279
1.19/1.20	c CPU time:   1.19182 s
1.19/1.20	c ==============================================================================
1.29/1.39	c
1.29/1.39	c Starting glucose
1.29/1.39	c
140.98/141.00	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
140.98/141.00	c WARNING: for repeatability, setting FPU to use double precision
140.98/141.00	c ============================[ Problem Statistics ]=============================
140.98/141.00	c |                                                                             |
140.98/141.00	c |  Number of variables:          2043                                         |
140.98/141.00	c |  Number of clauses:          403660                                         |
140.98/141.00	c |  Parse time:                   0.06 s                                       |
140.98/141.00	c |                                                                             |
140.98/141.00	c ============================[ Search Statistics ]==============================
140.98/141.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
140.98/141.00	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
140.98/141.00	c ===============================================================================
140.98/141.00	c |     33262 |    2043   403660  1190279 |        1    10946    194 |  0.000 % |
140.98/141.00	c |     33365 |    2043   403660  1190279 |        1    11049    193 |  0.000 % |
140.98/141.00	c |     33976 |    2043   403660  1190279 |        1    11660    192 |  0.000 % |
140.98/141.00	c |     39410 |    2043   403660  1190279 |        1    17094    180 |  0.000 % |
140.98/141.00	c |    101251 |    2043   403660  1190279 |        1    35688    172 |  0.000 % |
140.98/141.00	c |    101757 |    2043   403660  1190279 |        1    36194    172 |  0.000 % |
140.98/141.00	c |    113220 |    2043   403660  1190279 |        1    28044    151 |  0.000 % |
140.98/141.00	c |    116201 |    2043   403660  1190279 |        1    31025    153 |  0.000 % |
140.98/141.00	c |    116375 |    2043   403660  1190279 |        1    31199    153 |  0.000 % |
140.98/141.00	c |    116475 |    2043   403660  1190279 |        1    31299    153 |  0.000 % |
140.98/141.00	c |    116575 |    2043   403660  1190279 |        1    31399    153 |  0.000 % |
140.98/141.00	c |    116704 |    2043   403660  1190279 |        1    31528    154 |  0.000 % |
140.98/141.00	c |    116809 |    2043   403660  1190279 |        1    31633    154 |  0.000 % |
140.98/141.00	c |    117212 |    2043   403660  1190279 |        1    32036    155 |  0.000 % |
140.98/141.00	c |    117326 |    2043   403660  1190279 |        1    32150    155 |  0.000 % |
140.98/141.00	c |    118115 |    2043   403660  1190279 |        1    32939    156 |  0.000 % |
140.98/141.00	c |    126887 |    2043   403660  1190279 |        1    41711    169 |  0.000 % |
140.98/141.00	c |    126989 |    2043   403660  1190279 |        1    41813    169 |  0.000 % |
140.98/141.00	c |    548395 |    2043   403660  1190279 |        1    76012    140 |  0.000 % |
140.98/141.00	c |    548497 |    2043   403660  1190279 |        1    76114    140 |  0.000 % |
140.98/141.00	c |    549134 |    2043   403660  1190279 |        1    76751    141 |  0.000 % |
140.98/141.00	c |    549234 |    2043   403660  1190279 |        1    76851    141 |  0.000 % |
140.98/141.00	c |    550313 |    2043   403660  1190279 |        1    77930    141 |  0.000 % |
140.98/141.00	c |    550449 |    2043   403660  1190279 |        1    78066    141 |  0.000 % |
140.98/141.00	c |    550562 |    2043   403660  1190279 |        1    78179    141 |  0.000 % |
140.98/141.00	c |    553319 |    2043   403660  1190279 |        1    80936    141 |  0.000 % |
140.98/141.00	c |    553454 |    2043   403660  1190279 |        1    81071    141 |  0.000 % |
140.98/141.00	c |    553555 |    2043   403660  1190279 |        1    81172    141 |  0.000 % |
140.98/141.00	c |    553655 |    2043   403660  1190279 |        1    81272    141 |  0.000 % |
140.98/141.00	c |    554153 |    2043   403660  1190279 |        1    81770    142 |  0.000 % |
140.98/141.00	c |    565103 |    2043   403660  1190279 |        1    92720    144 |  0.000 % |
140.98/141.00	c |    567544 |    2043   403660  1190279 |        1    95161    144 |  0.000 % |
140.98/141.00	c |    576301 |    2043   403660  1190279 |        1    53119    120 |  0.000 % |
140.98/141.00	c |    578279 |    2043   403660  1190279 |        1    55097    123 |  0.000 % |
140.98/141.00	c |    578405 |    2043   403660  1190279 |        1    55223    123 |  0.000 % |
140.98/141.00	c |    578505 |    2043   403660  1190279 |        1    55323    123 |  0.000 % |
140.98/141.00	c |    578608 |    2043   403660  1190279 |        1    55426    123 |  0.000 % |
140.98/141.00	c |    587763 |    2043   403660  1190279 |        1    64581    129 |  0.000 % |
140.98/141.00	c |    616896 |    2043   403660  1190279 |        1    93714    141 |  0.000 % |
204.88/204.96	c |    617586 |    2043   403660  1190279 |        1    94404    141 |  0.000 % |
204.88/204.96	c |    624673 |    2043   403660  1190279 |        1   101491    144 |  0.000 % |
204.88/204.96	c |    624876 |    2043   403660  1190279 |        1   101694    144 |  0.000 % |
204.88/204.96	c |    624977 |    2043   403660  1190279 |        1   101795    144 |  0.000 % |
204.88/204.96	c |    628052 |    2043   403660  1190279 |        1   104870    145 |  0.000 % |
204.88/204.96	c |    628315 |    2043   403660  1190279 |        1   105133    145 |  0.000 % |
204.88/204.96	c |    645317 |    2043   403660  1190279 |        1    68738    123 |  0.000 % |
204.88/204.96	c |    645419 |    2043   403660  1190279 |        1    68840    123 |  0.000 % |
204.88/204.96	c |    770216 |    2043   403660  1190279 |        1    79042    128 |  0.000 % |
204.88/204.96	c |    771198 |    2043   403660  1190279 |        1    80024    128 |  0.000 % |
204.88/204.96	c |    771546 |    2043   403660  1190279 |        1    80372    128 |  0.000 % |
204.88/204.96	c |    771699 |    2043   403660  1190279 |        1    80525    129 |  0.000 % |
204.88/204.96	c |    771802 |    2043   403660  1190279 |        1    80628    129 |  0.000 % |
204.88/204.96	c |    775170 |    2043   403660  1190279 |        1    83996    130 |  0.000 % |
204.88/204.96	c |    776033 |    2043   403660  1190279 |        1    84859    131 |  0.000 % |
204.88/204.96	c |    776133 |    2043   403660  1190279 |        1    84959    131 |  0.000 % |
204.88/204.96	c |    776251 |    2043   403660  1190279 |        1    85077    131 |  0.000 % |
204.88/204.96	c |    776352 |    2043   403660  1190279 |        1    85178    131 |  0.000 % |
204.88/204.96	c |    776452 |    2043   403660  1190279 |        1    85278    131 |  0.000 % |
204.88/204.96	c |    787003 |    2043   403660  1190279 |        1    95829    134 |  0.000 % |
204.88/204.96	c |    787111 |    2043   403660  1190279 |        1    95937    135 |  0.000 % |
204.88/204.96	c |    789599 |    2043   403660  1190279 |        1    98425    135 |  0.000 % |
204.88/204.96	c |    789699 |    2043   403660  1190279 |        1    98525    135 |  0.000 % |
204.88/204.96	c |    789860 |    2043   403660  1190279 |        1    98686    135 |  0.000 % |
204.88/204.96	c |    789960 |    2043   403660  1190279 |        1    98786    135 |  0.000 % |
204.88/204.96	c |    790061 |    2043   403660  1190279 |        1    98887    135 |  0.000 % |
204.88/204.96	c |    790525 |    2043   403660  1190279 |        1    99351    135 |  0.000 % |
204.88/204.96	c |    790626 |    2043   403660  1190279 |        1    99452    135 |  0.000 % |
204.88/204.96	c |    790726 |    2043   403660  1190279 |        1    99552    135 |  0.000 % |
204.88/204.96	c |    790861 |    2043   403660  1190279 |        1    99687    135 |  0.000 % |
204.88/204.96	c |    791537 |    2043   403660  1190279 |        1   100363    136 |  0.000 % |
204.88/204.96	c |    795468 |    2043   403660  1190279 |        1   104294    137 |  0.000 % |
204.88/204.96	c |    797490 |    2043   403660  1190279 |        1   106316    138 |  0.000 % |
204.88/204.96	c |    800446 |    2043   403660  1190279 |        1   109272    139 |  0.000 % |
204.88/204.96	c |    800655 |    2043   403660  1190279 |        1   109481    139 |  0.000 % |
204.88/204.96	c |    800758 |    2043   403660  1190279 |        1   109584    139 |  0.000 % |
204.88/204.96	c |    807302 |    2043   403660  1190279 |        1   116128    140 |  0.000 % |
204.88/204.96	c |    807428 |    2043   403660  1190279 |        1   116254    140 |  0.000 % |
204.88/204.96	c |    807650 |    2043   403660  1190279 |        1   116476    140 |  0.000 % |
204.88/204.96	c |    807750 |    2043   403660  1190279 |        1   116576    140 |  0.000 % |
204.88/204.96	c |    809779 |    2043   403660  1190279 |        1   118605    141 |  0.000 % |
204.88/204.96	c |    809879 |    2043   403660  1190279 |        1   118705    141 |  0.000 % |
204.88/204.96	c |    809981 |    2043   403660  1190279 |        1   118807    141 |  0.000 % |
204.88/204.96	c |    811956 |    2043   403660  1190279 |        1   120782    141 |  0.000 % |
204.88/204.96	c |    832412 |    2043   403660  1190279 |        1    80040    121 |  0.000 % |
204.88/204.96	c |    833545 |    2043   403660  1190279 |        1    81173    121 |  0.000 % |
204.88/204.96	c |    833799 |    2043   403660  1190279 |        1    81427    121 |  0.000 % |
204.88/204.96	c |    834677 |    2043   403660  1190279 |        1    82305    122 |  0.000 % |
204.88/204.96	c |    835369 |    2043   403660  1190279 |        1    82997    122 |  0.000 % |
204.88/204.96	c |    835739 |    2043   403660  1190279 |        1    83367    122 |  0.000 % |
561.49/561.55	c |    835842 |    2043   403660  1190279 |        1    83470    122 |  0.000 % |
561.49/561.55	c |    836831 |    2043   403660  1190279 |        1    84459    123 |  0.000 % |
561.49/561.55	c |    839161 |    2043   403660  1190279 |        1    86789    123 |  0.000 % |
561.49/561.55	c |    839649 |    2043   403660  1190279 |        1    87277    123 |  0.000 % |
561.49/561.55	c |    839751 |    2043   403660  1190279 |        1    87379    123 |  0.000 % |
561.49/561.55	c |    840219 |    2043   403660  1190279 |        1    87847    124 |  0.000 % |
561.49/561.55	c |    840674 |    2043   403660  1190279 |        1    88302    124 |  0.000 % |
561.49/561.55	c |    849749 |    2043   403660  1190279 |        1    97377    127 |  0.000 % |
561.49/561.55	c |    849893 |    2043   403660  1190279 |        1    97521    127 |  0.000 % |
561.49/561.55	c |    850001 |    2043   403660  1190279 |        1    97629    127 |  0.000 % |
561.49/561.55	c |    852949 |    2043   403660  1190279 |        1   100577    128 |  0.000 % |
561.49/561.55	c |    854225 |    2043   403660  1190279 |        1   101853    128 |  0.000 % |
561.49/561.55	c |    855150 |    2043   403660  1190279 |        1   102778    129 |  0.000 % |
561.49/561.55	c |    855258 |    2043   403660  1190279 |        1   102886    129 |  0.000 % |
561.49/561.55	c |    855836 |    2043   403660  1190279 |        1   103464    129 |  0.000 % |
561.49/561.55	c |    855937 |    2043   403660  1190279 |        1   103565    129 |  0.000 % |
561.49/561.55	c |    856061 |    2043   403660  1190279 |        1   103689    129 |  0.000 % |
561.49/561.55	c |    856698 |    2043   403660  1190279 |        1   104326    129 |  0.000 % |
561.49/561.55	c |    857556 |    2043   403660  1190279 |        1   105184    129 |  0.000 % |
561.49/561.55	c |    868089 |    2043   403660  1190279 |        1   115717    133 |  0.000 % |
561.49/561.55	c |    873835 |    2043   403660  1190279 |        1   121463    135 |  0.000 % |
561.49/561.55	c |    879983 |    2043   403660  1190279 |        1   127611    137 |  0.000 % |
561.49/561.55	c |    882584 |    2043   403660  1190279 |        1    66410    111 |  0.000 % |
561.49/561.55	c |    882759 |    2043   403660  1190279 |        1    66585    111 |  0.000 % |
561.49/561.55	c |    884397 |    2043   403660  1190279 |        1    68223    113 |  0.000 % |
561.49/561.55	c |   1652437 |    2043   403660  1190279 |        1   145066    112 |  0.000 % |
561.49/561.55	c |   1654163 |    2043   403660  1190279 |        1   146792    113 |  0.000 % |
561.49/561.55	c |   1655311 |    2043   403660  1190279 |        1   147940    113 |  0.000 % |
561.49/561.55	c |   1655411 |    2043   403660  1190279 |        1   148040    113 |  0.000 % |
561.49/561.55	c |   1655515 |    2043   403660  1190279 |        1   148144    113 |  0.000 % |
561.49/561.55	c |   1655616 |    2043   403660  1190279 |        1   148245    113 |  0.000 % |
561.49/561.55	c |   1655716 |    2043   403660  1190279 |        1   148345    114 |  0.000 % |
561.49/561.55	c |   1656683 |    2043   403660  1190279 |        1   149312    114 |  0.000 % |
561.49/561.55	c |   1740766 |    2043   403660  1190279 |        1   143591    122 |  0.000 % |
561.49/561.55	c |   1740868 |    2043   403660  1190279 |        1   143693    122 |  0.000 % |
561.49/561.55	c |   1746871 |    2043   403660  1190279 |        1   149696    124 |  0.000 % |
561.49/561.55	c |   1746991 |    2043   403660  1190279 |        1   149816    124 |  0.000 % |
561.49/561.55	c |   1747093 |    2043   403660  1190279 |        1   149918    124 |  0.000 % |
561.49/561.55	c |   1747547 |    2043   403660  1190279 |        1   150372    124 |  0.000 % |
561.49/561.55	c |   1747647 |    2043   403660  1190279 |        1   150472    124 |  0.000 % |
561.49/561.55	c |   1747748 |    2043   403660  1190279 |        1   150573    125 |  0.000 % |
561.49/561.55	c |   1767933 |    2043   403660  1190279 |        1   170758    128 |  0.000 % |
561.49/561.55	c |   1768170 |    2043   403660  1190279 |        1   170995    128 |  0.000 % |
561.49/561.55	c |   1770691 |    2043   403660  1190279 |        1   173516    128 |  0.000 % |
561.49/561.55	c |   1770793 |    2043   403660  1190279 |        1   173618    128 |  0.000 % |
561.49/561.55	c |   1770896 |    2043   403660  1190279 |        1   173721    128 |  0.000 % |
561.49/561.55	c |   1770998 |    2043   403660  1190279 |        1   173823    128 |  0.000 % |
561.49/561.55	c |   1771099 |    2043   403660  1190279 |        1   173924    128 |  0.000 % |
561.49/561.55	c |   1771199 |    2043   403660  1190279 |        1   174024    128 |  0.000 % |
561.49/561.55	c |   1771302 |    2043   403660  1190279 |        1   174127    129 |  0.000 % |
1133.50/1133.51	c |   1775330 |    2043   403660  1190279 |        1   178155    129 |  0.000 % |
1133.50/1133.51	c |   1776294 |    2043   403660  1190279 |        1   179119    130 |  0.000 % |
1133.50/1133.51	c |   1776394 |    2043   403660  1190279 |        1   179219    130 |  0.000 % |
1133.50/1133.51	c |   1776528 |    2043   403660  1190279 |        1   179353    130 |  0.000 % |
1133.50/1133.51	c |   1776696 |    2043   403660  1190279 |        1   179521    130 |  0.000 % |
1133.50/1133.51	c |   1776828 |    2043   403660  1190279 |        1   179653    130 |  0.000 % |
1133.50/1133.51	c |   1785988 |    2043   403660  1190279 |        1    96408    102 |  0.000 % |
1133.50/1133.51	c |   1786099 |    2043   403660  1190279 |        1    96519    102 |  0.000 % |
1133.50/1133.51	c |   1786199 |    2043   403660  1190279 |        1    96619    102 |  0.000 % |
1133.50/1133.51	c |   1788607 |    2043   403660  1190279 |        1    99027    103 |  0.000 % |
1133.50/1133.51	c |   1788903 |    2043   403660  1190279 |        1    99323    103 |  0.000 % |
1133.50/1133.51	c |   1789003 |    2043   403660  1190279 |        1    99423    104 |  0.000 % |
1133.50/1133.52	c |   1789465 |    2043   403660  1190279 |        1    99885    104 |  0.000 % |
1133.50/1133.52	c |   1789566 |    2043   403660  1190279 |        1    99986    104 |  0.000 % |
1133.50/1133.52	c |   1789776 |    2043   403660  1190279 |        1   100196    104 |  0.000 % |
1133.50/1133.52	c |   2102938 |    2043   403660  1190279 |        1   120561    111 |  0.000 % |
1133.50/1133.52	c |   2103098 |    2043   403660  1190279 |        1   120721    111 |  0.000 % |
1133.50/1133.52	c |   2139447 |    2043   403660  1190279 |        1   157070    123 |  0.000 % |
1133.50/1133.52	c |   2140714 |    2043   403660  1190279 |        1   158337    123 |  0.000 % |
1133.50/1133.52	c |   2140816 |    2043   403660  1190279 |        1   158439    123 |  0.000 % |
1133.50/1133.52	c |   2140916 |    2043   403660  1190279 |        1   158539    123 |  0.000 % |
1133.50/1133.52	c |   2239448 |    2043   403660  1190279 |        1   154276    117 |  0.000 % |
1133.50/1133.52	c |   2240790 |    2043   403660  1190279 |        1   155618    117 |  0.000 % |
1133.50/1133.52	c |   2240890 |    2043   403660  1190279 |        1   155718    117 |  0.000 % |
1133.50/1133.52	c |   2241252 |    2043   403660  1190279 |        1   156080    117 |  0.000 % |
1133.50/1133.52	c |   2686224 |    2043   403660  1190279 |        1   163857    109 |  0.000 % |
1133.50/1133.52	c |   2691914 |    2043   403660  1190279 |        1   169547    111 |  0.000 % |
1133.50/1133.52	c |   2692015 |    2043   403660  1190279 |        1   169648    111 |  0.000 % |
1133.50/1133.52	c |   2699120 |    2043   403660  1190279 |        1   176753    113 |  0.000 % |
1133.50/1133.52	c |   2701284 |    2043   403660  1190279 |        1   178917    114 |  0.000 % |
1133.50/1133.52	c |   2703917 |    2043   403660  1190279 |        1   181550    114 |  0.000 % |
1133.50/1133.52	c |   2706204 |    2043   403660  1190279 |        1   183837    115 |  0.000 % |
1133.50/1133.52	c |   2725309 |    2043   403660  1190279 |        1   202942    119 |  0.000 % |
1133.50/1133.52	c |   2740501 |    2043   403660  1190279 |        1   218134    123 |  0.000 % |
1133.50/1133.52	c |   2740602 |    2043   403660  1190279 |        1   218235    123 |  0.000 % |
1133.50/1133.52	c |   2805343 |    2043   403660  1190279 |        1   167166    114 |  0.000 % |
1133.50/1133.52	c |   2805444 |    2043   403660  1190279 |        1   167267    114 |  0.000 % |
1133.50/1133.52	c |   2805853 |    2043   403660  1190279 |        1   167676    114 |  0.000 % |
1133.50/1133.52	c |   2806120 |    2043   403660  1190279 |        1   167943    114 |  0.000 % |
1133.50/1133.52	c |   2808619 |    2043   403660  1190279 |        1   170442    115 |  0.000 % |
1133.50/1133.52	c |   2808720 |    2043   403660  1190279 |        1   170543    115 |  0.000 % |
1133.50/1133.52	c |   2808820 |    2043   403660  1190279 |        1   170643    115 |  0.000 % |
1133.50/1133.52	c |   2810093 |    2043   403660  1190279 |        1   171916    116 |  0.000 % |
1133.50/1133.52	c |   2810193 |    2043   403660  1190279 |        1   172016    116 |  0.000 % |
1133.50/1133.52	c |   2810293 |    2043   403660  1190279 |        1   172116    116 |  0.000 % |
1133.50/1133.52	c |   2810394 |    2043   403660  1190279 |        1   172217    116 |  0.000 % |
1133.50/1133.52	c |   2810552 |    2043   403660  1190279 |        1   172375    116 |  0.000 % |
1133.50/1133.52	c |   2810653 |    2043   403660  1190279 |        1   172476    116 |  0.000 % |
1133.50/1133.52	c |   3006726 |    2043   403660  1190279 |        1   129139     98 |  0.000 % |
1133.50/1133.52	c |   3006828 |    2043   403660  1190279 |        1   129241     98 |  0.000 % |
1708.71/1708.71	c |   3006931 |    2043   403660  1190279 |        1   129344     98 |  0.000 % |
1708.71/1708.71	c |   3007032 |    2043   403660  1190279 |        1   129445     98 |  0.000 % |
1708.71/1708.71	c |   3095846 |    2043   403660  1190279 |        1   218259    121 |  0.000 % |
1708.71/1708.71	c |   3097855 |    2043   403660  1190279 |        1   220268    122 |  0.000 % |
1708.71/1708.71	c |   3097955 |    2043   403660  1190279 |        1   220368    122 |  0.000 % |
1708.71/1708.71	c |   3098059 |    2043   403660  1190279 |        1   220472    122 |  0.000 % |
1708.71/1708.71	c |   3098163 |    2043   403660  1190279 |        1   220576    122 |  0.000 % |
1708.71/1708.71	c |   3098787 |    2043   403660  1190279 |        1   221200    122 |  0.000 % |
1708.71/1708.71	c |   3099057 |    2043   403660  1190279 |        1   221470    122 |  0.000 % |
1708.71/1708.71	c |   3099160 |    2043   403660  1190279 |        1   221573    122 |  0.000 % |
1708.71/1708.71	c |   3099694 |    2043   403660  1190279 |        1   222107    122 |  0.000 % |
1708.71/1708.71	c |   3099795 |    2043   403660  1190279 |        1   222208    122 |  0.000 % |
1708.71/1708.71	c |   3099895 |    2043   403660  1190279 |        1   222308    122 |  0.000 % |
1708.71/1708.71	c |   3099998 |    2043   403660  1190279 |        1   222411    122 |  0.000 % |
1708.71/1708.71	c |   3100145 |    2043   403660  1190279 |        1   222558    122 |  0.000 % |
1708.71/1708.71	c |   3100248 |    2043   403660  1190279 |        1   222661    122 |  0.000 % |
1708.71/1708.71	c |   3100429 |    2043   403660  1190279 |        1   222842    122 |  0.000 % |
1708.71/1708.71	c |   3104000 |    2043   403660  1190279 |        1   226413    123 |  0.000 % |
1708.71/1708.71	c |   3104744 |    2043   403660  1190279 |        1   227157    123 |  0.000 % |
1708.71/1708.71	c |   3105708 |    2043   403660  1190279 |        1   228121    124 |  0.000 % |
1708.71/1708.71	c |   3105820 |    2043   403660  1190279 |        1   228233    124 |  0.000 % |
1708.71/1708.71	c |   3347629 |    2043   403660  1190279 |        1   220249    114 |  0.000 % |
1708.71/1708.71	c |   3347729 |    2043   403660  1190279 |        1   220349    114 |  0.000 % |
1708.71/1708.71	c |   3347833 |    2043   403660  1190279 |        1   220453    114 |  0.000 % |
1708.71/1708.71	c |   3349013 |    2043   403660  1190279 |        1   221633    114 |  0.000 % |
1708.71/1708.71	c |   3367154 |    2043   403660  1190279 |        1   239774    119 |  0.000 % |
1708.71/1708.71	c |   3383045 |    2043   403660  1190279 |        1   255665    122 |  0.000 % |
1708.71/1708.71	c |   3401247 |    2043   403660  1190279 |        1   145076    101 |  0.000 % |
1708.71/1708.71	c |   3401347 |    2043   403660  1190279 |        1   145176    101 |  0.000 % |
1708.71/1708.71	c |   3401448 |    2043   403660  1190279 |        1   145277    101 |  0.000 % |
1708.71/1708.71	c |   3401548 |    2043   403660  1190279 |        1   145377    101 |  0.000 % |
1708.71/1708.71	c |   3401648 |    2043   403660  1190279 |        1   145477    101 |  0.000 % |
1708.71/1708.71	c |   3401750 |    2043   403660  1190279 |        1   145579    101 |  0.000 % |
1708.71/1708.71	c |   3401850 |    2043   403660  1190279 |        1   145679    101 |  0.000 % |
1708.71/1708.71	c |   3401952 |    2043   403660  1190279 |        1   145781    101 |  0.000 % |
1708.71/1708.71	c |   3415117 |    2043   403660  1190279 |        1   158946    106 |  0.000 % |
1708.71/1708.71	c |   3420581 |    2043   403660  1190279 |        1   164410    107 |  0.000 % |
1708.71/1708.71	c |   3420681 |    2043   403660  1190279 |        1   164510    108 |  0.000 % |
1708.71/1708.71	c |   3453961 |    2043   403660  1190279 |        1   197790    116 |  0.000 % |
1708.71/1708.71	c |   3643398 |    2043   403660  1190279 |        1   255830    117 |  0.000 % |
1708.71/1708.71	c |   3714249 |    2043   403660  1190279 |        1   192678    116 |  0.000 % |
1708.71/1708.71	c |   4144916 |    2043   403660  1190279 |        1   205741    112 |  0.000 % |
1708.71/1708.71	c |   4145052 |    2043   403660  1190279 |        1   205877    112 |  0.000 % |
1708.71/1708.71	c |   4145153 |    2043   403660  1190279 |        1   205978    112 |  0.000 % |
1708.71/1708.71	c |   4145465 |    2043   403660  1190279 |        1   206290    112 |  0.000 % |
1708.71/1708.71	c |   4145669 |    2043   403660  1190279 |        1   206494    112 |  0.000 % |
1708.71/1708.71	c |   4145769 |    2043   403660  1190279 |        1   206594    112 |  0.000 % |
1708.71/1708.71	c |   4146155 |    2043   403660  1190279 |        1   206980    112 |  0.000 % |
1708.71/1708.71	c |   4146432 |    2043   403660  1190279 |        1   207257    112 |  0.000 % |
1708.71/1708.71	c |   4149090 |    2043   403660  1190279 |        1   209915    113 |  0.000 % |
2218.53/2218.54	c |   4149190 |    2043   403660  1190279 |        1   210015    113 |  0.000 % |
2218.53/2218.54	c |   4149291 |    2043   403660  1190279 |        1   210116    113 |  0.000 % |
2218.53/2218.54	c |   4198470 |    2043   403660  1190279 |        1   259295    123 |  0.000 % |
2218.53/2218.54	c |   4752850 |    2043   403660  1190279 |        1   220493    137 |  0.000 % |
2218.53/2218.54	c |   4752950 |    2043   403660  1190279 |        1   220593    137 |  0.000 % |
2218.53/2218.54	c |   4753050 |    2043   403660  1190279 |        1   220693    137 |  0.000 % |
2218.53/2218.54	c |   4753303 |    2043   403660  1190279 |        1   220946    137 |  0.000 % |
2218.53/2218.54	c |   4753999 |    2043   403660  1190279 |        1   221642    137 |  0.000 % |
2218.53/2218.54	c |   4754179 |    2043   403660  1190279 |        1   221822    137 |  0.000 % |
2218.53/2218.54	c |   4755234 |    2043   403660  1190279 |        1   222877    138 |  0.000 % |
2218.53/2218.54	c |   4755666 |    2043   403660  1190279 |        1   223309    138 |  0.000 % |
2218.53/2218.54	c |   4755772 |    2043   403660  1190279 |        1   223415    138 |  0.000 % |
2218.53/2218.54	c |   4755876 |    2043   403660  1190279 |        1   223519    138 |  0.000 % |
2218.53/2218.54	c |   4767570 |    2043   403660  1190279 |        1   235213    141 |  0.000 % |
2218.53/2218.54	c |   4769222 |    2043   403660  1190279 |        1   236865    141 |  0.000 % |
2218.53/2218.54	c |   4770462 |    2043   403660  1190279 |        1   238105    141 |  0.000 % |
2218.53/2218.54	c |   4771153 |    2043   403660  1190279 |        1   238796    141 |  0.000 % |
2218.53/2218.54	c |   4771253 |    2043   403660  1190279 |        1   238896    141 |  0.000 % |
2218.53/2218.54	c |   4771574 |    2043   403660  1190279 |        1   239217    142 |  0.000 % |
2218.53/2218.54	c |   4772444 |    2043   403660  1190279 |        1   240087    142 |  0.000 % |
2218.53/2218.54	c |   4772545 |    2043   403660  1190279 |        1   240188    142 |  0.000 % |
2218.53/2218.54	c |   4772645 |    2043   403660  1190279 |        1   240288    142 |  0.000 % |
2218.53/2218.54	c |   4773193 |    2043   403660  1190279 |        1   240836    142 |  0.000 % |
2218.53/2218.54	c |   4773294 |    2043   403660  1190279 |        1   240937    142 |  0.000 % |
2218.53/2218.54	c |   4773394 |    2043   403660  1190279 |        1   241037    142 |  0.000 % |
2218.53/2218.54	c |   4773495 |    2043   403660  1190279 |        1   241138    142 |  0.000 % |
2218.53/2218.54	c |   4773633 |    2043   403660  1190279 |        1   241276    142 |  0.000 % |
2218.53/2218.54	c |   4775381 |    2043   403660  1190279 |        1   243024    142 |  0.000 % |
2218.53/2218.54	c |   4775644 |    2043   403660  1190279 |        1   243287    142 |  0.000 % |
2218.53/2218.54	c |   4776056 |    2043   403660  1190279 |        1   243699    142 |  0.000 % |
2218.53/2218.54	c |   4776875 |    2043   403660  1190279 |        1   244518    142 |  0.000 % |
2218.53/2218.54	c |   4776975 |    2043   403660  1190279 |        1   244618    142 |  0.000 % |
2218.53/2218.54	c |   4838059 |    2043   403660  1190279 |        1   305702    146 |  0.000 % |
2218.53/2218.54	c |   4838324 |    2043   403660  1190279 |        1   305967    146 |  0.000 % |
2218.53/2218.54	c |   4838597 |    2043   403660  1190279 |        1   306240    146 |  0.000 % |
2218.53/2218.54	c |   4838795 |    2043   403660  1190279 |        1   306438    146 |  0.000 % |
2218.53/2218.54	c |   4995998 |    2043   403660  1190279 |        1   308835    114 |  0.000 % |
2218.53/2218.54	c |   5121104 |    2043   403660  1190279 |        1   276532    134 |  0.000 % |
2218.53/2218.54	c |   5121204 |    2043   403660  1190279 |        1   276632    134 |  0.000 % |
2218.53/2218.54	c |   5125148 |    2043   403660  1190279 |        1   280576    134 |  0.000 % |
2218.53/2218.54	c |   5125595 |    2043   403660  1190279 |        1   281023    134 |  0.000 % |
2218.53/2218.54	c |   5125695 |    2043   403660  1190279 |        1   281123    134 |  0.000 % |
2218.53/2218.54	c |   5172001 |    2043   403660  1190279 |        1   167437     87 |  0.000 % |
2218.53/2218.54	c |   5172103 |    2043   403660  1190279 |        1   167539     87 |  0.000 % |
2218.53/2218.54	c |   5172379 |    2043   403660  1190279 |        1   167815     87 |  0.000 % |
2218.53/2218.54	c |   5172979 |    2043   403660  1190279 |        1   168415     88 |  0.000 % |
2218.53/2218.54	c |   5247281 |    2043   403660  1190279 |        1   242717    107 |  0.000 % |
2218.53/2218.54	c |   5313961 |    2043   403660  1190279 |        1   309397    119 |  0.000 % |
2218.53/2218.54	c |   5314061 |    2043   403660  1190279 |        1   309497    119 |  0.000 % |
2218.53/2218.54	c |   5314871 |    2043   403660  1190279 |        1   310307    119 |  0.000 % |
2798.74/2798.74	c |   5319029 |    2043   403660  1190279 |        1   314465    120 |  0.000 % |
2798.74/2798.74	c |   5375370 |    2043   403660  1190279 |        1   208191     91 |  0.000 % |
2798.74/2798.74	c |   5656644 |    2043   403660  1190279 |        1   324259    109 |  0.000 % |
2798.74/2798.74	c |   5658796 |    2043   403660  1190279 |        1   326411    110 |  0.000 % |
2798.74/2798.74	c |   5664701 |    2043   403660  1190279 |        1   332316    111 |  0.000 % |
2798.74/2798.74	c |   5741204 |    2043   403660  1190279 |        1   241020    101 |  0.000 % |
2798.74/2798.74	c |   5741495 |    2043   403660  1190279 |        1   241311    101 |  0.000 % |
2798.74/2798.74	c |   5742977 |    2043   403660  1190279 |        1   242793    101 |  0.000 % |
2798.74/2798.74	c |   5743432 |    2043   403660  1190279 |        1   243248    101 |  0.000 % |
2798.74/2798.74	c |   5767205 |    2043   403660  1190279 |        1   267021    107 |  0.000 % |
2798.74/2798.74	c |   5767307 |    2043   403660  1190279 |        1   267123    107 |  0.000 % |
2798.74/2798.74	c |   5777891 |    2043   403660  1190279 |        1   277707    109 |  0.000 % |
2798.74/2798.74	c |   5832214 |    2043   403660  1190279 |        1   332030    114 |  0.000 % |
2798.74/2798.74	c |   5833250 |    2043   403660  1190279 |        1   333066    114 |  0.000 % |
2798.74/2798.74	c |   5835151 |    2043   403660  1190279 |        1   334967    115 |  0.000 % |
2798.74/2798.74	c |   5844461 |    2043   403660  1190279 |        1   173884     80 |  0.000 % |
2798.74/2798.74	c |   5853083 |    2043   403660  1190279 |        1   182506     84 |  0.000 % |
2798.74/2798.74	c |   5871723 |    2043   403660  1190279 |        1   201146     91 |  0.000 % |
2798.74/2798.74	c |   5894575 |    2043   403660  1190279 |        1   223998     98 |  0.000 % |
2798.74/2798.74	c |   5896607 |    2043   403660  1190279 |        1   226030     99 |  0.000 % |
2798.74/2798.74	c |   5897298 |    2043   403660  1190279 |        1   226721     99 |  0.000 % |
2798.74/2798.74	c |   5897399 |    2043   403660  1190279 |        1   226822     99 |  0.000 % |
2798.74/2798.74	c |   5901995 |    2043   403660  1190279 |        1   231418    100 |  0.000 % |
2798.74/2798.74	c |   5902099 |    2043   403660  1190279 |        1   231522    100 |  0.000 % |
2798.74/2798.74	c |   5914036 |    2043   403660  1190279 |        1   243459    104 |  0.000 % |
2798.74/2798.74	c |   5920025 |    2043   403660  1190279 |        1   249448    106 |  0.000 % |
2798.74/2798.74	c |   5932970 |    2043   403660  1190279 |        1   262393    108 |  0.000 % |
2798.74/2798.74	c |   5952809 |    2043   403660  1190279 |        1   282232    112 |  0.000 % |
2798.74/2798.74	c |   6064576 |    2043   403660  1190279 |        1   221000     93 |  0.000 % |
2798.74/2798.74	c |   6064676 |    2043   403660  1190279 |        1   221100     93 |  0.000 % |
2798.74/2798.74	c |   6080728 |    2043   403660  1190279 |        1   237152     98 |  0.000 % |
2798.74/2798.74	c |   6110215 |    2043   403660  1190279 |        1   266639    104 |  0.000 % |
2798.74/2798.74	c |   6126521 |    2043   403660  1190279 |        1   282945    109 |  0.000 % |
2798.74/2798.74	c |   6127202 |    2043   403660  1190279 |        1   283626    109 |  0.000 % |
2798.74/2798.74	c |   6127406 |    2043   403660  1190279 |        1   283830    109 |  0.000 % |
2798.74/2798.74	c |   6127541 |    2043   403660  1190279 |        1   283965    109 |  0.000 % |
2798.74/2798.74	c |   6127641 |    2043   403660  1190279 |        1   284065    109 |  0.000 % |
2798.74/2798.74	c |   6184031 |    2043   403660  1190279 |        1   340455    117 |  0.000 % |
2798.74/2798.74	c |   6248874 |    2043   403660  1190279 |        1   229696     96 |  0.000 % |
2798.74/2798.74	c |   6296625 |    2043   403660  1190279 |        1   277447    104 |  0.000 % |
2798.74/2798.74	c |   6300404 |    2043   403660  1190279 |        1   281226    105 |  0.000 % |
2798.74/2798.74	c |   6300587 |    2043   403660  1190279 |        1   281409    105 |  0.000 % |
2798.74/2798.74	c |   6300735 |    2043   403660  1190279 |        1   281557    105 |  0.000 % |
2798.74/2798.74	c |   6309695 |    2043   403660  1190279 |        1   290517    107 |  0.000 % |
2798.74/2798.74	c |   6416423 |    2043   403660  1190279 |        1   219049     86 |  0.000 % |
2798.74/2798.74	c |   6422385 |    2043   403660  1190279 |        1   225011     88 |  0.000 % |
2798.74/2798.74	c |   6450638 |    2043   403660  1190279 |        1   253264     97 |  0.000 % |
2798.74/2798.74	c |   6499870 |    2043   403660  1190279 |        1   302496    107 |  0.000 % |
2798.74/2798.74	c |   6500871 |    2043   403660  1190279 |        1   303497    107 |  0.000 %

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3303605-1307654449/watcher-3303605-1307654449 -o /tmp/evaluation-result-3303605-1307654449/solver-3303605-1307654449 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303605-1307654449.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/171 543
/proc/meminfo: memFree=32328404/32951124 swapFree=67088052/67111528
[pid=543] ppid=541 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/543/stat : 543 (glucose.sh) S 541 543 32198 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 857861039 8912896 252 33554432000 4194304 4922060 140735275477920 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/543/statm: 2176 252 211 178 0 69 0

[startup+0.0604211 s]
/proc/loadavg: 0.92 0.98 0.99 2/171 543
/proc/meminfo: memFree=32328404/32951124 swapFree=67088052/67111528
[pid=543] ppid=541 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/543/stat : 543 (glucose.sh) S 541 543 32198 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 857861039 8912896 252 33554432000 4194304 4922060 140735275477920 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/543/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100415 s]
/proc/loadavg: 0.92 0.98 0.99 2/171 543
/proc/meminfo: memFree=32328404/32951124 swapFree=67088052/67111528
[pid=543] ppid=541 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/543/stat : 543 (glucose.sh) S 541 543 32198 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 857861039 8912896 252 33554432000 4194304 4922060 140735275477920 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/543/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300374 s]
/proc/loadavg: 0.92 0.98 0.99 2/171 543
/proc/meminfo: memFree=32328404/32951124 swapFree=67088052/67111528
[pid=543] ppid=541 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/543/stat : 543 (glucose.sh) S 541 543 32198 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 857861039 8912896 252 33554432000 4194304 4922060 140735275477920 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/543/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700302 s]
/proc/loadavg: 0.92 0.98 0.99 2/171 543
/proc/meminfo: memFree=32328404/32951124 swapFree=67088052/67111528
[pid=543] ppid=541 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/543/stat : 543 (glucose.sh) S 541 543 32198 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 857861039 8912896 252 33554432000 4194304 4922060 140735275477920 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/543/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50117 s]
/proc/loadavg: 0.92 0.98 0.99 2/173 545
/proc/meminfo: memFree=32298492/32951124 swapFree=67088052/67111528
[pid=543] ppid=541 vsize=8704 CPUtime=1.38 cores=0,2,4,6
/proc/543/stat : 543 (glucose.sh) S 541 543 32198 0 -1 4202496 360 7539 0 0 0 0 136 2 18 0 1 0 857861039 8912896 254 33554432000 4194304 4922060 140735275477920 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/543/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 8704

[startup+3.10086 s]
/proc/loadavg: 0.92 0.98 0.99 2/173 546
/proc/meminfo: memFree=32295764/32951124 swapFree=67088052/67111528
[pid=543] ppid=541 vsize=8704 CPUtime=1.38 cores=0,2,4,6
/proc/543/stat : 543 (glucose.sh) S 541 543 32198 0 -1 4202496 360 7539 0 0 0 0 136 2 18 0 1 0 857861039 8912896 254 33554432000 4194304 4922060 140735275477920 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/543/statm: 2176 254 211 178 0 69 0
[pid=546] ppid=543 vsize=44648 CPUtime=1.7 cores=0,2,4,6
/proc/546/stat : 546 (glucose_static) R 543 543 32198 0 -1 4202496 11246 0 0 0 169 1 0 0 25 0 1 0 857861179 45719552 7046 33554432000 4194304 4260849 140736160823392 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/546/statm: 11162 7046 241 17 0 7803 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 53352

[startup+6.30032 s]
/proc/loadavg: 0.93 0.98 0.99 2/173 546
/proc/meminfo: memFree=32274680/32951124 swapFree=67088052/67111528
[pid=543] ppid=541 vsize=8704 CPUtime=1.38 cores=0,2,4,6
/proc/543/stat : 543 (glucose.sh) S 541 543 32198 0 -1 4202496 360 7539 0 0 0 0 136 2 18 0 1 0 857861039 8912896 254 33554432000 4194304 4922060 140735275477920 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/543/statm: 2176 254 211 178 0 69 0
[pid=546] ppid=543 vsize=63820 CPUtime=4.89 cores=0,2,4,6
/proc/546/stat : 546 (glucose_static) R 543 543 32198 0 -1 4202496 27030 0 0 0 486 3 0 0 25 0 1 0 857861179 65351680 12490 33554432000 4194304 4260849 140736160823392 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/546/statm: 15955 12490 241 17 0 12596 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 72524

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/173 547
/proc/meminfo: memFree=32244456/32951124 swapFree=67088052/67111528
[pid=543] ppid=541 vsize=8704 CPUtime=1.38 cores=0,2,4,6
/proc/543/stat : 543 (glucose.sh) S 541 543 32198 0 -1 4202496 360 7539 0 0 0 0 136 2 18 0 1 0 857861039 8912896 254 33554432000 4194304 4922060 140735275477920 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/543/statm: 2176 254 211 178 0 69 0
[pid=546] ppid=543 vsize=94168 CPUtime=11.3 cores=0,2,4,6
/proc/546/stat : 546 (glucose_static) R 543 543 32198 0 -1 4202496 34884 0 0 0 1126 4 0 0 25 0 1 0 857861179 96428032 19921 33554432000 4194304 4260849 140736160823392 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/546/statm: 23542 19921 251 17 0 20183 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 102872

[startup+25.5009 s]
/proc/loadavg: 0.95 0.98 0.99 2/173 547
/proc/meminfo: memFree=32239068/32951124 swapFree=67088052/67111528
[pid=543] ppid=541 vsize=8704 CPUtime=1.38 cores=0,2,4,6
/proc/543/stat : 543 (glucose.sh) S 541 543 32198 0 -1 4202496 360 7539 0 0 0 0 136 2 18 0 1 0 857861039 8912896 254 33554432000 4194304 4922060 140735275477920 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/543/statm: 2176 254 211 178 0 69 0
[pid=546] ppid=543 vsize=94168 CPUtime=24.1 cores=0,2,4,6
/proc/546/stat : 546 (glucose_static) R 543 543 32198 0 -1 4202496 61414 0 0 0 2403 7 0 0 25 0 1 0 857861179 96428032 20380 33554432000 4194304 4260849 140736160823392 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/546/statm: 23542 20380 251 17 0 20183 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 102872

[startup+51.1004 s]
/proc/loadavg: 0.96 0.98 0.99 2/173 547
/proc/meminfo: memFree=32195052/32951124 swapFree=67088052/67111528
[pid=543] ppid=541 vsize=8704 CPUtime=1.38 cores=0,2,4,6
/proc/543/stat : 543 (glucose.sh) S 541 543 32198 0 -1 4202496 360 7539 0 0 0 0 136 2 18 0 1 0 857861039 8912896 254 33554432000 4194304 4922060 140735275477920 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/543/statm: 2176 254 211 178 0 69 0
[pid=546] ppid=543 vsize=94168 CPUtime=49.7 cores=0,2,4,6
/proc/546/stat : 546 (glucose_static) R 543 543 32198 0 -1 4202496 102345 0 0 0 4957 13 0 0 25 0 1 0 857861179 96428032 20380 33554432000 4194304 4260849 140736160823392 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/546/statm: 23542 20380 251 17 0 20183 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 102872

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/173 549
/proc/meminfo: memFree=32179656/32951124 swapFree=67088052/67111528
[pid=543] ppid=541 vsize=8704 CPUtime=1.38 cores=0,2,4,6
/proc/543/stat : 543 (glucose.sh) S 541 543 32198 0 -1 4202496 360 7539 0 0 0 0 136 2 18 0 1 0 857861039 8912896 254 33554432000 4194304 4922060 140735275477920 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/543/statm: 2176 254 211 178 0 69 0
[pid=546] ppid=543 vsize=174308 CPUtime=100.9 cores=0,2,4,6
/proc/546/stat : 546 (glucose_static) R 543 543 32198 0 -1 4202496 171608 0 0 0 10066 24 0 0 25 0 1 0 857861179 178491392 35231 33554432000 4194304 4260849 140736160823392 18446744073709551615 4240028 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/546/statm: 43577 35231 251 17 0 40218 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 183012

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/173 550
/proc/meminfo: memFree=32167840/32951124 swapFree=67088052/67111528
[pid=543] ppid=541 vsize=8704 CPUtime=1.38 cores=0,2,4,6
/proc/543/stat : 543 (glucose.sh) S 541 543 32198 0 -1 4202496 360 7539 0 0 0 0 136 2 18 0 1 0 857861039 8912896 254 33554432000 4194304 4922060 140735275477920 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/543/statm: 2176 254 211 178 0 69 0
[pid=546] ppid=543 vsize=143488 CPUtime=160.9 cores=0,2,4,6
/proc/546/stat : 546 (glucose_static) R 543 543 32198 0 -1 4202496 251311 0 0 0 16054 36 0 0 25 0 1 0 857861179 146931712 28999 33554432000 4194304 4260849 140736160823392 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/546/statm: 35872 28999 251 17 0 32513 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 152192

[startup+222.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/173 552
/proc/meminfo: memFree=32193844/32951124 swapFree=67088052/67111528
[pid=543] ppid=541 vsize=8704 CPUtime=1.38 cores=0,2,4,6
/proc/543/stat : 543 (glucose.sh) S 541 543 32198 0 -1 4202496 360 7539 0 0 0 0 136 2 18 0 1 0 857861039 8912896 254 33554432000 4194304 4922060 140735275477920 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/543/statm: 2176 254 211 178 0 69 0
[pid=546] ppid=543 vsize=143488 CPUtime=220.9 cores=0,2,4,6
/proc/546/stat : 546 (glucose_static) R 543 543 32198 0 -1 4202496 312178 0 0 0 22044 46 0 0 25 0 1 0 857861179 146931712 31740 33554432000 4194304 4260849 140736160823392 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/546/statm: 35872 31740 251 17 0 32513 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 152192

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/173 557
/proc/meminfo: memFree=32181096/32951124 swapFree=67088052/67111528
[pid=543] ppid=541 vsize=8704 CPUtime=1.38 cores=0,2,4,6
/proc/543/stat : 543 (glucose.sh) S 541 543 32198 0 -1 4202496 360 7539 0 0 0 0 136 2 18 0 1 0 857861039 8912896 254 33554432000 4194304 4922060 140735275477920 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/543/statm: 2176 254 211 178 0 69 0
[pid=546] ppid=543 vsize=174308 CPUtime=280.9 cores=0,2,4,6
/proc/546/stat : 546 (glucose_static) R 543 543 32198 0 -1 4202496 353045 0 0 0 28035 55 0 0 25 0 1 0 857861179 178491392 35167 33554432000 4194304 4260849 140736160823392 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/546/statm: 43577 35167 251 17 0 40218 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 183012

[startup+342.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/173 558
/proc/meminfo: memFree=32174048/32951124 swapFree=67088052/67111528
[pid=543] ppid=541 vsize=8704 CPUtime=1.38 cores=0,2,4,6
/proc/543/stat : 543 (glucose.sh) S 541 543 32198 0 -1 4202496 360 7539 0 0 0 0 136 2 18 0 1 0 857861039 8912896 254 33554432000 4194304 4922060 140735275477920 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/543/statm: 2176 254 211 178 0 69 0
[pid=546] ppid=543 vsize=174308 CPUtime=340.91 cores=0,2,4,6
/proc/546/stat : 546 (glucose_static) R 543 543 32198 0 -1 4202496 394246 0 0 0 34028 63 0 0 25 0 1 0 857861179 178491392 36725 33554432000 4194304 4260849 140736160823392 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/546/statm: 43577 36725 251 17 0 40218 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 183012

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/173 560
/proc/meminfo: memFree=32184928/32951124 swapFree=67088052/67111528
[pid=543] ppid=541 vsize=8704 CPUtime=1.38 cores=0,2,4,6
/proc/543/stat : 543 (glucose.sh) S 541 543 32198 0 -1 4202496 360 7539 0 0 0 0 136 2 18 0 1 0 857861039 8912896 254 33554432000 4194304 4922060 140735275477920 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/543/statm: 2176 254 211 178 0 69 0
[pid=546] ppid=543 vsize=174308 CPUtime=400.91 cores=0,2,4,6

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

/proc/546/statm: 81493 70843 251 17 0 78134 0
Current children cumulated CPU time (s) 4362.38
Current children cumulated vsize (KiB) 334676

[startup+4422.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/173 689
/proc/meminfo: memFree=32002552/32951124 swapFree=67088052/67111528
[pid=543] ppid=541 vsize=8704 CPUtime=1.38 cores=0,2,4,6
/proc/543/stat : 543 (glucose.sh) S 541 543 32198 0 -1 4202496 360 7539 0 0 0 0 136 2 18 0 1 0 857861039 8912896 254 33554432000 4194304 4922060 140735275477920 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/543/statm: 2176 254 211 178 0 69 0
[pid=546] ppid=543 vsize=409564 CPUtime=4421.01 cores=0,2,4,6
/proc/546/stat : 546 (glucose_static) R 543 543 32198 0 -1 4202496 2373058 0 0 0 441614 487 0 0 25 0 1 0 857861179 419393536 78684 33554432000 4194304 4260849 140736160823392 18446744073709551615 4224812 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/546/statm: 102391 78684 251 17 0 99032 0
Current children cumulated CPU time (s) 4422.39
Current children cumulated vsize (KiB) 418268

[startup+4482.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/173 691
/proc/meminfo: memFree=32058948/32951124 swapFree=67088052/67111528
[pid=543] ppid=541 vsize=8704 CPUtime=1.38 cores=0,2,4,6
/proc/543/stat : 543 (glucose.sh) S 541 543 32198 0 -1 4202496 360 7539 0 0 0 0 136 2 18 0 1 0 857861039 8912896 254 33554432000 4194304 4922060 140735275477920 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/543/statm: 2176 254 211 178 0 69 0
[pid=546] ppid=543 vsize=329576 CPUtime=4481.01 cores=0,2,4,6
/proc/546/stat : 546 (glucose_static) R 543 543 32198 0 -1 4202496 2399581 0 0 0 447609 492 0 0 25 0 1 0 857861179 337485824 64618 33554432000 4194304 4260849 140736160823392 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/546/statm: 82394 64618 251 17 0 79035 0
Current children cumulated CPU time (s) 4482.39
Current children cumulated vsize (KiB) 338280

[startup+4542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/173 692
/proc/meminfo: memFree=32015752/32951124 swapFree=67088052/67111528
[pid=543] ppid=541 vsize=8704 CPUtime=1.38 cores=0,2,4,6
/proc/543/stat : 543 (glucose.sh) S 541 543 32198 0 -1 4202496 360 7539 0 0 0 0 136 2 18 0 1 0 857861039 8912896 254 33554432000 4194304 4922060 140735275477920 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/543/statm: 2176 254 211 178 0 69 0
[pid=546] ppid=543 vsize=331448 CPUtime=4541.01 cores=0,2,4,6
/proc/546/stat : 546 (glucose_static) R 543 543 32198 0 -1 4202496 2410456 0 0 0 453605 496 0 0 25 0 1 0 857861179 339402752 75379 33554432000 4194304 4260849 140736160823392 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/546/statm: 82862 75379 251 17 0 79503 0
Current children cumulated CPU time (s) 4542.39
Current children cumulated vsize (KiB) 340152

[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/173 694
/proc/meminfo: memFree=32054036/32951124 swapFree=67088052/67111528
[pid=543] ppid=541 vsize=8704 CPUtime=1.38 cores=0,2,4,6
/proc/543/stat : 543 (glucose.sh) S 541 543 32198 0 -1 4202496 360 7539 0 0 0 0 136 2 18 0 1 0 857861039 8912896 254 33554432000 4194304 4922060 140735275477920 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/543/statm: 2176 254 211 178 0 69 0
[pid=546] ppid=543 vsize=332160 CPUtime=4601 cores=0,2,4,6
/proc/546/stat : 546 (glucose_static) R 543 543 32198 0 -1 4202496 2440132 0 0 0 459600 500 0 0 25 0 1 0 857861179 340131840 65690 33554432000 4194304 4260849 140736160823392 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/546/statm: 83040 65690 251 17 0 79681 0
Current children cumulated CPU time (s) 4602.38
Current children cumulated vsize (KiB) 340864

[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/173 695
/proc/meminfo: memFree=32007760/32951124 swapFree=67088052/67111528
[pid=543] ppid=541 vsize=8704 CPUtime=1.38 cores=0,2,4,6
/proc/543/stat : 543 (glucose.sh) S 541 543 32198 0 -1 4202496 360 7539 0 0 0 0 136 2 18 0 1 0 857861039 8912896 254 33554432000 4194304 4922060 140735275477920 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/543/statm: 2176 254 211 178 0 69 0
[pid=546] ppid=543 vsize=414684 CPUtime=4661.01 cores=0,2,4,6
/proc/546/stat : 546 (glucose_static) R 543 543 32198 0 -1 4202496 2451861 0 0 0 465596 505 0 0 25 0 1 0 857861179 424636416 77326 33554432000 4194304 4260849 140736160823392 18446744073709551615 4225064 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/546/statm: 103671 77326 251 17 0 100312 0
Current children cumulated CPU time (s) 4662.39
Current children cumulated vsize (KiB) 423388

[startup+4722.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/173 697
/proc/meminfo: memFree=31967308/32951124 swapFree=67088052/67111528
[pid=543] ppid=541 vsize=8704 CPUtime=1.38 cores=0,2,4,6
/proc/543/stat : 543 (glucose.sh) S 541 543 32198 0 -1 4202496 360 7539 0 0 0 0 136 2 18 0 1 0 857861039 8912896 254 33554432000 4194304 4922060 140735275477920 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/543/statm: 2176 254 211 178 0 69 0
[pid=546] ppid=543 vsize=416440 CPUtime=4721.01 cores=0,2,4,6
/proc/546/stat : 546 (glucose_static) R 543 543 32198 0 -1 4202496 2461911 0 0 0 471594 507 0 0 25 0 1 0 857861179 426434560 87301 33554432000 4194304 4260849 140736160823392 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/546/statm: 104110 87301 251 17 0 100751 0
Current children cumulated CPU time (s) 4722.39
Current children cumulated vsize (KiB) 425144

[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/173 699
/proc/meminfo: memFree=32030148/32951124 swapFree=67088052/67111528
[pid=543] ppid=541 vsize=8704 CPUtime=1.38 cores=0,2,4,6
/proc/543/stat : 543 (glucose.sh) S 541 543 32198 0 -1 4202496 360 7539 0 0 0 0 136 2 18 0 1 0 857861039 8912896 254 33554432000 4194304 4922060 140735275477920 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/543/statm: 2176 254 211 178 0 69 0
[pid=546] ppid=543 vsize=336332 CPUtime=4781.01 cores=0,2,4,6
/proc/546/stat : 546 (glucose_static) R 543 543 32198 0 -1 4202496 2490491 0 0 0 477588 513 0 0 25 0 1 0 857861179 344403968 71727 33554432000 4194304 4260849 140736160823392 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/546/statm: 84083 71727 251 17 0 80724 0
Current children cumulated CPU time (s) 4782.39
Current children cumulated vsize (KiB) 345036

[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/173 700
/proc/meminfo: memFree=31993536/32951124 swapFree=67088052/67111528
[pid=543] ppid=541 vsize=8704 CPUtime=1.38 cores=0,2,4,6
/proc/543/stat : 543 (glucose.sh) S 541 543 32198 0 -1 4202496 360 7539 0 0 0 0 136 2 18 0 1 0 857861039 8912896 254 33554432000 4194304 4922060 140735275477920 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/543/statm: 2176 254 211 178 0 69 0
[pid=546] ppid=543 vsize=420708 CPUtime=4841.01 cores=0,2,4,6
/proc/546/stat : 546 (glucose_static) R 543 543 32198 0 -1 4202496 2499652 0 0 0 483584 517 0 0 25 0 1 0 857861179 430804992 80808 33554432000 4194304 4260849 140736160823392 18446744073709551615 4225129 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/546/statm: 105177 80808 251 17 0 101818 0
Current children cumulated CPU time (s) 4842.39
Current children cumulated vsize (KiB) 429412

[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/173 702
/proc/meminfo: memFree=31960892/32951124 swapFree=67088052/67111528
[pid=543] ppid=541 vsize=8704 CPUtime=1.38 cores=0,2,4,6
/proc/543/stat : 543 (glucose.sh) S 541 543 32198 0 -1 4202496 360 7539 0 0 0 0 136 2 18 0 1 0 857861039 8912896 254 33554432000 4194304 4922060 140735275477920 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/543/statm: 2176 254 211 178 0 69 0
[pid=546] ppid=543 vsize=423052 CPUtime=4901.01 cores=0,2,4,6
/proc/546/stat : 546 (glucose_static) R 543 543 32198 0 -1 4202496 2507878 0 0 0 489580 521 0 0 25 0 1 0 857861179 433205248 88981 33554432000 4194304 4260849 140736160823392 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/546/statm: 105763 88981 251 17 0 102404 0
Current children cumulated CPU time (s) 4902.39
Current children cumulated vsize (KiB) 431756

[startup+4962.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/173 703
/proc/meminfo: memFree=32019276/32951124 swapFree=67088052/67111528
[pid=543] ppid=541 vsize=8704 CPUtime=1.38 cores=0,2,4,6
/proc/543/stat : 543 (glucose.sh) S 541 543 32198 0 -1 4202496 360 7539 0 0 0 0 136 2 18 0 1 0 857861039 8912896 254 33554432000 4194304 4922060 140735275477920 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/543/statm: 2176 254 211 178 0 69 0
[pid=546] ppid=543 vsize=341664 CPUtime=4961.01 cores=0,2,4,6
/proc/546/stat : 546 (glucose_static) R 543 543 32198 0 -1 4202496 2537778 0 0 0 495574 527 0 0 25 0 1 0 857861179 349863936 74464 33554432000 4194304 4260849 140736160823392 18446744073709551615 4226333 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/546/statm: 85416 74464 251 17 0 82057 0
Current children cumulated CPU time (s) 4962.39
Current children cumulated vsize (KiB) 350368



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.9 s]
/proc/loadavg: 1.03 1.01 1.00 2/173 704
/proc/meminfo: memFree=31990492/32951124 swapFree=67088052/67111528
[pid=543] ppid=541 vsize=8704 CPUtime=1.38 cores=0,2,4,6
/proc/543/stat : 543 (glucose.sh) S 541 543 32198 0 -1 4202496 360 7539 0 0 0 0 136 2 18 0 1 0 857861039 8912896 254 33554432000 4194304 4922060 140735275477920 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/543/statm: 2176 254 211 178 0 69 0
[pid=546] ppid=543 vsize=423052 CPUtime=4998.62 cores=0,2,4,6
/proc/546/stat : 546 (glucose_static) R 543 543 32198 0 -1 4202496 2544942 0 0 0 499333 529 0 0 25 0 1 0 857861179 433205248 81568 33554432000 4194304 4260849 140736160823392 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/546/statm: 105763 81568 251 17 0 102404 0
Current children cumulated CPU time (s) 5000
Current children cumulated vsize (KiB) 431756

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

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

[startup+4999.9 s]
/proc/loadavg: 1.03 1.01 1.00 2/173 704
/proc/meminfo: memFree=31990492/32951124 swapFree=67088052/67111528
[pid=543] ppid=541 vsize=8704 CPUtime=1.38 cores=0,2,4,6
/proc/543/stat : 543 (glucose.sh) S 541 543 32198 0 -1 4202496 360 7539 0 0 0 0 136 2 18 0 1 0 857861039 8912896 254 33554432000 4194304 4922060 140735275477920 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/543/statm: 2176 254 211 178 0 69 0
[pid=546] ppid=543 vsize=423052 CPUtime=4998.62 cores=0,2,4,6
/proc/546/stat : 546 (glucose_static) R 543 543 32198 0 -1 4202496 2544942 0 0 0 499333 529 0 0 25 0 1 0 857861179 433205248 81568 33554432000 4194304 4260849 140736160823392 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/546/statm: 105763 81568 251 17 0 102404 0
Current children cumulated CPU time (s) 5000
Current children cumulated vsize (KiB) 431756

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 543 and gives
#  childrusage.ru_utime.tv_sec=1
#  childrusage.ru_utime.tv_usec=369791
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=21996
# CPU time returned by wait4() is 1.39179
# while last known CPU time is 5000
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 4999.91
CPU time (s): 5000
CPU user time (s): 4994.69
CPU system time (s): 5.31
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 511896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.36979
system time used= 0.021996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7899
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= 9
involuntary context switches= 8

runsolver used 7.18491 second user time and 15.5596 second system time

The end

Launcher Data 

Begin job on node144 at 2011-06-09 23:20:49
IDJOB=3303605
IDBENCH=88211
IDSOLVER=1687
FILE ID=node144/3303605-1307654449
RUNJOBID= node144-1307654449-529
PBS_JOBID= 13549401
Free space on /tmp= 74120 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303605-1307654449/watcher-3303605-1307654449 -o /tmp/evaluation-result-3303605-1307654449/solver-3303605-1307654449 -C 5000 -W 5100 -M 15500  glucose.sh HOME/instance-3303605-1307654449.cnf 

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= ba3b1702a651cd8da3e6cada8f2e97bc
RANDOM SEED=1577429824

node144.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32328708 kB
Buffers:        103696 kB
Cached:         304964 kB
SwapCached:       1524 kB
Active:         182252 kB
Inactive:       269336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32328708 kB
SwapTotal:    67111528 kB
SwapFree:     67088052 kB
Dirty:            6236 kB
Writeback:           0 kB
AnonPages:       41352 kB
Mapped:          13764 kB
Slab:           105720 kB
PageTables:       4828 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188912 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74112 MiB
End job on node144 at 2011-06-10 00:44:11