Trace number 3250646

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) 1299.92 1300.01

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf
MD5SUM1144bbd60c180aa5e72d35b74e9676cb
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables312
Number of clauses26889
Sum of the clauses size121302
Maximum clause length18
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 324180
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 52709

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.01	c ==============================================================================
0.00/0.01	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.01	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.01	c ==============================================================================
0.00/0.01	c |         0 |   26889   121302 |    8066       0        0     nan |  0.000 % |
0.00/0.01	c ==============================================================================
0.00/0.01	c Result  :   #vars: 312   #clauses: 26889   #literals: 121302
0.00/0.01	c CPU time:   0.009998 s
0.00/0.01	c ==============================================================================
0.00/0.02	c
0.00/0.02	c Starting glucose
0.00/0.02	c
22.43/22.54	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
22.43/22.54	c WARNING: for repeatability, setting FPU to use double precision
22.43/22.54	c ============================[ Problem Statistics ]=============================
22.43/22.54	c |                                                                             |
22.43/22.54	c |  Number of variables:           312                                         |
22.43/22.54	c |  Number of clauses:           26889                                         |
22.43/22.54	c |  Parse time:                   0.01 s                                       |
22.43/22.54	c |                                                                             |
22.43/22.54	c ============================[ Search Statistics ]==============================
22.43/22.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
22.43/22.54	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
22.43/22.54	c ===============================================================================
22.43/22.54	c |     19879 |     312    26889   121302 |        1     6837     34 |  0.000 % |
22.43/22.54	c |     19979 |     312    26889   121302 |        1     6937     34 |  0.000 % |
22.43/22.54	c |     20079 |     312    26889   121302 |        1     7037     35 |  0.000 % |
22.43/22.54	c |     20180 |     312    26889   121302 |        1     7138     35 |  0.000 % |
22.43/22.54	c |     20280 |     312    26889   121302 |        1     7238     35 |  0.000 % |
22.43/22.54	c |     20380 |     312    26889   121302 |        1     7338     35 |  0.000 % |
22.43/22.54	c |     20497 |     312    26889   121302 |        1     7455     35 |  0.000 % |
22.43/22.54	c |     20694 |     312    26889   121302 |        1     7652     35 |  0.000 % |
22.43/22.54	c |     20794 |     312    26889   121302 |        1     7752     36 |  0.000 % |
22.43/22.54	c |     21236 |     312    26889   121302 |        1     8194     36 |  0.000 % |
22.43/22.54	c |     21339 |     312    26889   121302 |        1     8297     36 |  0.000 % |
22.43/22.54	c |     22456 |     312    26889   121302 |        1     9414     36 |  0.000 % |
22.43/22.54	c |     22558 |     312    26889   121302 |        1     9516     36 |  0.000 % |
22.43/22.54	c |     22810 |     312    26889   121302 |        1     9768     36 |  0.000 % |
22.43/22.54	c |     22913 |     312    26889   121302 |        1     9871     37 |  0.000 % |
22.43/22.54	c |     23013 |     312    26889   121302 |        1     9971     37 |  0.000 % |
22.43/22.54	c |     23113 |     312    26889   121302 |        1    10071     37 |  0.000 % |
22.43/22.54	c |     23213 |     312    26889   121302 |        1    10171     37 |  0.000 % |
22.43/22.54	c |     23410 |     312    26889   121302 |        1    10368     37 |  0.000 % |
22.43/22.54	c |     23817 |     312    26889   121302 |        1    10775     37 |  0.000 % |
22.43/22.54	c |     23918 |     312    26889   121302 |        1    10876     37 |  0.000 % |
22.43/22.54	c |     24018 |     312    26889   121302 |        1    10976     37 |  0.000 % |
22.43/22.54	c |     24119 |     312    26889   121302 |        1    11077     37 |  0.000 % |
22.43/22.54	c |     33256 |     312    26889   121302 |        1    10946     34 |  0.000 % |
22.43/22.54	c |     33356 |     312    26889   121302 |        1    11046     34 |  0.000 % |
22.43/22.54	c |     33714 |     312    26889   121302 |        1    11404     34 |  0.000 % |
22.43/22.54	c |     33815 |     312    26889   121302 |        1    11505     34 |  0.000 % |
22.43/22.54	c |     60006 |     312    26889   121302 |        1    25854     36 |  0.000 % |
22.43/22.54	c |     65899 |     312    26889   121302 |        1    17329     33 |  0.000 % |
22.43/22.54	c |    305356 |     312    26889   121302 |        1    47969     28 |  0.000 % |
22.43/22.54	c |    305458 |     312    26889   121302 |        1    48071     28 |  0.000 % |
22.43/22.54	c |    305559 |     312    26889   121302 |        1    48172     28 |  0.000 % |
22.43/22.54	c |    305791 |     312    26889   121302 |        1    48404     28 |  0.000 % |
22.43/22.54	c |    305891 |     312    26889   121302 |        1    48504     28 |  0.000 % |
22.43/22.54	c |    305994 |     312    26889   121302 |        1    48607     28 |  0.000 % |
22.43/22.54	c |    306096 |     312    26889   121302 |        1    48709     28 |  0.000 % |
22.43/22.54	c |    306197 |     312    26889   121302 |        1    48810     28 |  0.000 % |
22.43/22.54	c |    306387 |     312    26889   121302 |        1    49000     28 |  0.000 % |
22.43/22.54	c |    306487 |     312    26889   121302 |        1    49100     28 |  0.000 % |
28.54/28.60	c |    307412 |     312    26889   121302 |        1    50025     28 |  0.000 % |
28.54/28.60	c |    327214 |     312    26889   121302 |        1    69827     31 |  0.000 % |
28.54/28.60	c |    327314 |     312    26889   121302 |        1    69927     31 |  0.000 % |
28.54/28.60	c |    327414 |     312    26889   121302 |        1    70027     31 |  0.000 % |
28.54/28.60	c |    327760 |     312    26889   121302 |        1    70373     31 |  0.000 % |
28.54/28.60	c |    328161 |     312    26889   121302 |        1    70774     31 |  0.000 % |
28.54/28.60	c |    328262 |     312    26889   121302 |        1    70875     31 |  0.000 % |
28.54/28.60	c |    328362 |     312    26889   121302 |        1    70975     31 |  0.000 % |
28.54/28.60	c |    328465 |     312    26889   121302 |        1    71078     31 |  0.000 % |
28.54/28.60	c |    328565 |     312    26889   121302 |        1    71178     31 |  0.000 % |
28.54/28.60	c |    328666 |     312    26889   121302 |        1    71279     31 |  0.000 % |
28.54/28.60	c |    328766 |     312    26889   121302 |        1    71379     31 |  0.000 % |
28.54/28.60	c |    328867 |     312    26889   121302 |        1    71480     31 |  0.000 % |
28.54/28.60	c |    328967 |     312    26889   121302 |        1    71580     32 |  0.000 % |
28.54/28.60	c |    329067 |     312    26889   121302 |        1    71680     32 |  0.000 % |
28.54/28.60	c |    329168 |     312    26889   121302 |        1    71781     32 |  0.000 % |
28.54/28.60	c |    329269 |     312    26889   121302 |        1    71882     32 |  0.000 % |
28.54/28.60	c |    329371 |     312    26889   121302 |        1    71984     32 |  0.000 % |
28.54/28.60	c |    329472 |     312    26889   121302 |        1    72085     32 |  0.000 % |
28.54/28.60	c |    329779 |     312    26889   121302 |        1    72392     32 |  0.000 % |
28.54/28.60	c |    329879 |     312    26889   121302 |        1    72492     32 |  0.000 % |
28.54/28.60	c |    329980 |     312    26889   121302 |        1    72593     32 |  0.000 % |
28.54/28.60	c |    330083 |     312    26889   121302 |        1    72696     32 |  0.000 % |
28.54/28.60	c |    330184 |     312    26889   121302 |        1    72797     32 |  0.000 % |
28.54/28.60	c |    330285 |     312    26889   121302 |        1    72898     32 |  0.000 % |
28.54/28.60	c |    330387 |     312    26889   121302 |        1    73000     32 |  0.000 % |
28.54/28.60	c |    330487 |     312    26889   121302 |        1    73100     32 |  0.000 % |
28.54/28.60	c |    330651 |     312    26889   121302 |        1    73264     32 |  0.000 % |
28.54/28.60	c |    330751 |     312    26889   121302 |        1    73364     32 |  0.000 % |
28.54/28.60	c |    330891 |     312    26889   121302 |        1    73504     32 |  0.000 % |
28.54/28.60	c |    330991 |     312    26889   121302 |        1    73604     32 |  0.000 % |
28.54/28.60	c |    331091 |     312    26889   121302 |        1    73704     32 |  0.000 % |
28.54/28.60	c |    331265 |     312    26889   121302 |        1    73878     32 |  0.000 % |
28.54/28.60	c |    331365 |     312    26889   121302 |        1    73978     32 |  0.000 % |
28.54/28.60	c |    331471 |     312    26889   121302 |        1    74084     32 |  0.000 % |
28.54/28.60	c |    331610 |     312    26889   121302 |        1    74223     32 |  0.000 % |
28.54/28.60	c |    337931 |     312    26889   121302 |        1    42743     28 |  0.000 % |
28.54/28.60	c |    338158 |     312    26889   121302 |        1    42970     28 |  0.000 % |
28.54/28.60	c |    354890 |     312    26889   121302 |        1    59702     31 |  0.000 % |
28.54/28.60	c |    377690 |     312    26889   121302 |        1    42104     27 |  0.000 % |
28.54/28.60	c |    377792 |     312    26889   121302 |        1    42206     27 |  0.000 % |
28.54/28.60	c |    377892 |     312    26889   121302 |        1    42306     27 |  0.000 % |
28.54/28.60	c |    378345 |     312    26889   121302 |        1    42759     27 |  0.000 % |
28.54/28.60	c |    379605 |     312    26889   121302 |        1    44019     28 |  0.000 % |
28.54/28.60	c |    383409 |     312    26889   121302 |        1    47823     29 |  0.000 % |
28.54/28.60	c |    383509 |     312    26889   121302 |        1    47923     29 |  0.000 % |
28.54/28.60	c |    383609 |     312    26889   121302 |        1    48023     29 |  0.000 % |
28.54/28.60	c |    383709 |     312    26889   121302 |        1    48123     29 |  0.000 % |
28.54/28.60	c |    383810 |     312    26889   121302 |        1    48224     29 |  0.000 % |
28.54/28.60	c |    384392 |     312    26889   121302 |        1    48806     29 |  0.000 % |
1267.72/1267.82	c |    385068 |     312    26889   121302 |        1    49482     29 |  0.000 % |
1267.72/1267.82	c |    385170 |     312    26889   121302 |        1    49584     29 |  0.000 % |
1267.72/1267.82	c |    388704 |     312    26889   121302 |        1    53118     30 |  0.000 % |
1267.72/1267.82	c |    398622 |     312    26889   121302 |        1    63036     32 |  0.000 % |
1267.72/1267.82	c |    398864 |     312    26889   121302 |        1    63278     32 |  0.000 % |
1267.72/1267.82	c |    555270 |     312    26889   121302 |        1    82886     30 |  0.000 % |
1267.72/1267.82	c |    556792 |     312    26889   121302 |        1    84408     31 |  0.000 % |
1267.72/1267.82	c |    562569 |     312    26889   121302 |        1    90185     31 |  0.000 % |
1267.72/1267.82	c |    562909 |     312    26889   121302 |        1    90525     31 |  0.000 % |
1267.72/1267.82	c |    566469 |     312    26889   121302 |        1    94085     32 |  0.000 % |
1267.72/1267.82	c |    580914 |     312    26889   121302 |        1    57731     27 |  0.000 % |
1267.72/1267.82	c |    587546 |     312    26889   121302 |        1    64363     28 |  0.000 % |
1267.72/1267.82	c |    587694 |     312    26889   121302 |        1    64511     28 |  0.000 % |
1267.72/1267.82	c |    600141 |     312    26889   121302 |        1    76958     30 |  0.000 % |
1267.72/1267.82	c |    611869 |     312    26889   121302 |        1    88686     31 |  0.000 % |
1267.72/1267.82	c |    611970 |     312    26889   121302 |        1    88787     31 |  0.000 % |
1267.72/1267.82	c |    612591 |     312    26889   121302 |        1    89408     31 |  0.000 % |
1267.72/1267.82	c |    612692 |     312    26889   121302 |        1    89509     31 |  0.000 % |
1267.72/1267.82	c |    612792 |     312    26889   121302 |        1    89609     31 |  0.000 % |
1267.72/1267.82	c |    612894 |     312    26889   121302 |        1    89711     31 |  0.000 % |
1267.72/1267.82	c |    612994 |     312    26889   121302 |        1    89811     32 |  0.000 % |
1267.72/1267.82	c |    613096 |     312    26889   121302 |        1    89913     32 |  0.000 % |
1267.72/1267.82	c |    613196 |     312    26889   121302 |        1    90013     32 |  0.000 % |
1267.72/1267.82	c |    613296 |     312    26889   121302 |        1    90113     32 |  0.000 % |
1267.72/1267.82	c |    613396 |     312    26889   121302 |        1    90213     32 |  0.000 % |
1267.72/1267.82	c |    613496 |     312    26889   121302 |        1    90313     32 |  0.000 % |
1267.72/1267.82	c |    615537 |     312    26889   121302 |        1    92354     32 |  0.000 % |
1267.72/1267.82	c |    615637 |     312    26889   121302 |        1    92454     32 |  0.000 % |
1267.72/1267.82	c |    615737 |     312    26889   121302 |        1    92554     32 |  0.000 % |
1267.72/1267.82	c |    615837 |     312    26889   121302 |        1    92654     32 |  0.000 % |
1267.72/1267.82	c |    854540 |     312    26889   121302 |        1   102156     30 |  0.000 % |
1267.72/1267.82	c |    858803 |     312    26889   121302 |        1   106419     31 |  0.000 % |
1267.72/1267.82	c |    870968 |     312    26889   121302 |        1   118584     32 |  0.000 % |
1267.72/1267.82	c |   1025854 |     312    26889   121302 |        1    74280     25 |  0.000 % |
1267.72/1267.82	c |   1026017 |     312    26889   121302 |        1    74443     25 |  0.000 % |
1267.72/1267.82	c |   1348268 |     312    26889   121302 |        1    94688     26 |  0.000 % |
1267.72/1267.82	c |   1364221 |     312    26889   121302 |        1   110641     28 |  0.000 % |
1267.72/1267.82	c |   1372913 |     312    26889   121302 |        1   119333     29 |  0.000 % |
1267.72/1267.82	c |   2949593 |     312    26889   121302 |        1   193014     29 |  0.000 % |
1267.72/1267.82	c |   2975584 |     312    26889   121302 |        1   219005     29 |  0.000 % |
1267.72/1267.82	c |   7653568 |     312    26889   121302 |        1   332391     25 |  0.000 % |
1267.72/1267.82	c |   7685924 |     312    26889   121302 |        1   364747     26 |  0.000 % |
1267.72/1267.82	c |   7686935 |     312    26889   121302 |        1   365758     26 |  0.000 % |
1267.72/1267.82	c |   7687035 |     312    26889   121302 |        1   365858     26 |  0.000 % |
1267.72/1267.82	c |   7694268 |     312    26889   121302 |        1   373091     26 |  0.000 % |
1267.72/1267.82	c |   7694369 |     312    26889   121302 |        1   373192     26 |  0.000 % |
1267.72/1267.82	c |   7694518 |     312    26889   121302 |        1   373341     26 |  0.000 % |
1267.72/1267.82	c |   7696770 |     312    26889   121302 |        1   375593     27 |  0.000 % |
1267.72/1267.82	c |   7696870 |     312    26889   121302 |        1   375693     27 |  0.000 % |
1267.72/1267.82	c |   7765851

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: 935)

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-3250646-1303542420/watcher-3250646-1303542420 -o /tmp/evaluation-result-3250646-1303542420/solver-3250646-1303542420 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3250646-1303542420.cnf 

running on 2 cores: 4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.27 2.48 3.02 6/192 16220
/proc/meminfo: memFree=21890436/32951124 swapFree=67111528/67111528
[pid=16220] ppid=16218 vsize=8704 CPUtime=0 cores=4,6
/proc/16220/stat : 16220 (glucose.sh) S 16218 16220 15673 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 198433315 8912896 253 33554432000 4194304 4922060 140734117264736 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16220/statm: 2176 253 211 178 0 69 0

[startup+0.033653 s]
/proc/loadavg: 1.27 2.48 3.02 6/192 16220
/proc/meminfo: memFree=21890436/32951124 swapFree=67111528/67111528
[pid=16220] ppid=16218 vsize=8704 CPUtime=0.02 cores=4,6
/proc/16220/stat : 16220 (glucose.sh) S 16218 16220 15673 0 -1 4202496 360 597 0 0 0 0 2 0 22 0 1 0 198433315 8912896 255 33554432000 4194304 4922060 140734117264736 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16220/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8704

[startup+0.100638 s]
/proc/loadavg: 1.27 2.48 3.02 6/192 16220
/proc/meminfo: memFree=21890436/32951124 swapFree=67111528/67111528
[pid=16220] ppid=16218 vsize=8704 CPUtime=0.02 cores=4,6
/proc/16220/stat : 16220 (glucose.sh) S 16218 16220 15673 0 -1 4202496 360 597 0 0 0 0 2 0 22 0 1 0 198433315 8912896 255 33554432000 4194304 4922060 140734117264736 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16220/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8704

[startup+0.300605 s]
/proc/loadavg: 1.27 2.48 3.02 6/192 16220
/proc/meminfo: memFree=21890436/32951124 swapFree=67111528/67111528
[pid=16220] ppid=16218 vsize=8704 CPUtime=0.02 cores=4,6
/proc/16220/stat : 16220 (glucose.sh) S 16218 16220 15673 0 -1 4202496 360 597 0 0 0 0 2 0 22 0 1 0 198433315 8912896 255 33554432000 4194304 4922060 140734117264736 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16220/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8704

[startup+0.700532 s]
/proc/loadavg: 1.27 2.48 3.02 6/192 16220
/proc/meminfo: memFree=21890436/32951124 swapFree=67111528/67111528
[pid=16220] ppid=16218 vsize=8704 CPUtime=0.02 cores=4,6
/proc/16220/stat : 16220 (glucose.sh) S 16218 16220 15673 0 -1 4202496 360 597 0 0 0 0 2 0 22 0 1 0 198433315 8912896 255 33554432000 4194304 4922060 140734117264736 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16220/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8704

[startup+1.50039 s]
/proc/loadavg: 1.27 2.48 3.02 5/194 16223
/proc/meminfo: memFree=21865372/32951124 swapFree=67111528/67111528
[pid=16220] ppid=16218 vsize=8704 CPUtime=0.02 cores=4,6
/proc/16220/stat : 16220 (glucose.sh) S 16218 16220 15673 0 -1 4202496 360 597 0 0 0 0 2 0 22 0 1 0 198433315 8912896 255 33554432000 4194304 4922060 140734117264736 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16220/statm: 2176 255 211 178 0 69 0
[pid=16223] ppid=16220 vsize=25028 CPUtime=1.46 cores=4,6
/proc/16223/stat : 16223 (glucose_static) R 16220 16220 15673 0 -1 4202496 3842 0 0 0 146 0 0 0 25 0 1 0 198433318 25628672 2761 33554432000 4194304 4260849 140737063874336 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/16223/statm: 6257 2761 250 17 0 2898 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 33732

[startup+3.10112 s]
/proc/loadavg: 1.49 2.50 3.03 5/194 16223
/proc/meminfo: memFree=21850592/32951124 swapFree=67111528/67111528
[pid=16220] ppid=16218 vsize=8704 CPUtime=0.02 cores=4,6
/proc/16220/stat : 16220 (glucose.sh) S 16218 16220 15673 0 -1 4202496 360 597 0 0 0 0 2 0 22 0 1 0 198433315 8912896 255 33554432000 4194304 4922060 140734117264736 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16220/statm: 2176 255 211 178 0 69 0
[pid=16223] ppid=16220 vsize=32104 CPUtime=3.05 cores=4,6
/proc/16223/stat : 16223 (glucose_static) R 16220 16220 15673 0 -1 4202496 5269 0 0 0 305 0 0 0 25 0 1 0 198433318 32874496 4183 33554432000 4194304 4260849 140737063874336 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/16223/statm: 8026 4183 250 17 0 4667 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 40808

[startup+6.30055 s]
/proc/loadavg: 1.49 2.50 3.03 5/194 16223
/proc/meminfo: memFree=21833148/32951124 swapFree=67111528/67111528
[pid=16220] ppid=16218 vsize=8704 CPUtime=0.02 cores=4,6
/proc/16220/stat : 16220 (glucose.sh) S 16218 16220 15673 0 -1 4202496 360 597 0 0 0 0 2 0 22 0 1 0 198433315 8912896 255 33554432000 4194304 4922060 140734117264736 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16220/statm: 2176 255 211 178 0 69 0
[pid=16223] ppid=16220 vsize=33504 CPUtime=6.23 cores=4,6
/proc/16223/stat : 16223 (glucose_static) R 16220 16220 15673 0 -1 4202496 7284 0 0 0 622 1 0 0 25 0 1 0 198433318 34308096 4829 33554432000 4194304 4260849 140737063874336 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/16223/statm: 8376 4829 250 17 0 5017 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 42208

[startup+12.7005 s]
/proc/loadavg: 1.69 2.53 3.03 5/194 16223
/proc/meminfo: memFree=21803740/32951124 swapFree=67111528/67111528
[pid=16220] ppid=16218 vsize=8704 CPUtime=0.02 cores=4,6
/proc/16220/stat : 16220 (glucose.sh) S 16218 16220 15673 0 -1 4202496 360 597 0 0 0 0 2 0 22 0 1 0 198433315 8912896 255 33554432000 4194304 4922060 140734117264736 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16220/statm: 2176 255 211 178 0 69 0
[pid=16223] ppid=16220 vsize=37920 CPUtime=12.61 cores=4,6
/proc/16223/stat : 16223 (glucose_static) R 16220 16220 15673 0 -1 4202496 8710 0 0 0 1260 1 0 0 25 0 1 0 198433318 38830080 6194 33554432000 4194304 4260849 140737063874336 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16223/statm: 9480 6194 250 17 0 6121 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 46624

[startup+25.5012 s]
/proc/loadavg: 2.20 2.60 3.05 5/194 16223
/proc/meminfo: memFree=21764176/32951124 swapFree=67111528/67111528
[pid=16220] ppid=16218 vsize=8704 CPUtime=0.02 cores=4,6
/proc/16220/stat : 16220 (glucose.sh) S 16218 16220 15673 0 -1 4202496 360 597 0 0 0 0 2 0 22 0 1 0 198433315 8912896 255 33554432000 4194304 4922060 140734117264736 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16220/statm: 2176 255 211 178 0 69 0
[pid=16223] ppid=16220 vsize=41096 CPUtime=25.42 cores=4,6
/proc/16223/stat : 16223 (glucose_static) R 16220 16220 15673 0 -1 4202496 12309 0 0 0 2540 2 0 0 25 0 1 0 198433318 42082304 6988 33554432000 4194304 4260849 140737063874336 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16223/statm: 10274 6988 250 17 0 6915 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 49800

[startup+51.1007 s]
/proc/loadavg: 2.89 2.72 3.08 5/194 16224
/proc/meminfo: memFree=21740076/32951124 swapFree=67111528/67111528
[pid=16220] ppid=16218 vsize=8704 CPUtime=0.02 cores=4,6
/proc/16220/stat : 16220 (glucose.sh) S 16218 16220 15673 0 -1 4202496 360 597 0 0 0 0 2 0 22 0 1 0 198433315 8912896 255 33554432000 4194304 4922060 140734117264736 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16220/statm: 2176 255 211 178 0 69 0
[pid=16223] ppid=16220 vsize=64192 CPUtime=51.01 cores=4,6
/proc/16223/stat : 16223 (glucose_static) R 16220 16220 15673 0 -1 4202496 20538 0 0 0 5098 3 0 0 25 0 1 0 198433318 65732608 11993 33554432000 4194304 4260849 140737063874336 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16223/statm: 16048 11993 250 17 0 12689 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 72896

[startup+102.307 s]
/proc/loadavg: 3.56 2.94 3.13 5/194 16226
/proc/meminfo: memFree=21672976/32951124 swapFree=67111528/67111528
[pid=16220] ppid=16218 vsize=8704 CPUtime=0.02 cores=4,6
/proc/16220/stat : 16220 (glucose.sh) S 16218 16220 15673 0 -1 4202496 360 597 0 0 0 0 2 0 22 0 1 0 198433315 8912896 255 33554432000 4194304 4922060 140734117264736 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16220/statm: 2176 255 211 178 0 69 0
[pid=16223] ppid=16220 vsize=83044 CPUtime=102.22 cores=4,6
/proc/16223/stat : 16223 (glucose_static) R 16220 16220 15673 0 -1 4202496 30331 0 0 0 10218 4 0 0 25 0 1 0 198433318 85037056 16911 33554432000 4194304 4260849 140737063874336 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16223/statm: 20761 16911 250 17 0 17402 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 91748

[startup+162.301 s]
/proc/loadavg: 3.82 3.11 3.18 5/194 16227
/proc/meminfo: memFree=21648900/32951124 swapFree=67111528/67111528
[pid=16220] ppid=16218 vsize=8704 CPUtime=0.02 cores=4,6
/proc/16220/stat : 16220 (glucose.sh) S 16218 16220 15673 0 -1 4202496 360 597 0 0 0 0 2 0 22 0 1 0 198433315 8912896 255 33554432000 4194304 4922060 140734117264736 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16220/statm: 2176 255 211 178 0 69 0
[pid=16223] ppid=16220 vsize=85088 CPUtime=162.22 cores=4,6
/proc/16223/stat : 16223 (glucose_static) R 16220 16220 15673 0 -1 4202496 39084 0 0 0 16216 6 0 0 25 0 1 0 198433318 87130112 16099 33554432000 4194304 4260849 140737063874336 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16223/statm: 21272 16099 250 17 0 17913 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 93792

[startup+222.301 s]
/proc/loadavg: 3.97 3.30 3.23 5/194 16229
/proc/meminfo: memFree=21611176/32951124 swapFree=67111528/67111528
[pid=16220] ppid=16218 vsize=8704 CPUtime=0.02 cores=4,6
/proc/16220/stat : 16220 (glucose.sh) S 16218 16220 15673 0 -1 4202496 360 597 0 0 0 0 2 0 22 0 1 0 198433315 8912896 255 33554432000 4194304 4922060 140734117264736 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16220/statm: 2176 255 211 178 0 69 0
[pid=16223] ppid=16220 vsize=96580 CPUtime=222.21 cores=4,6
/proc/16223/stat : 16223 (glucose_static) R 16220 16220 15673 0 -1 4202496 42728 0 0 0 22215 6 0 0 25 0 1 0 198433318 98897920 19608 33554432000 4194304 4260849 140737063874336 18446744073709551615 4224703 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16223/statm: 24145 19608 250 17 0 20786 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 105284

[startup+282.301 s]
/proc/loadavg: 3.99 3.41 3.28 5/194 16230
/proc/meminfo: memFree=21579404/32951124 swapFree=67111528/67111528
[pid=16220] ppid=16218 vsize=8704 CPUtime=0.02 cores=4,6
/proc/16220/stat : 16220 (glucose.sh) S 16218 16220 15673 0 -1 4202496 360 597 0 0 0 0 2 0 22 0 1 0 198433315 8912896 255 33554432000 4194304 4922060 140734117264736 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16220/statm: 2176 255 211 178 0 69 0
[pid=16223] ppid=16220 vsize=103764 CPUtime=282.21 cores=4,6
/proc/16223/stat : 16223 (glucose_static) R 16220 16220 15673 0 -1 4202496 44880 0 0 0 28214 7 0 0 25 0 1 0 198433318 106254336 21716 33554432000 4194304 4260849 140737063874336 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16223/statm: 25941 21716 250 17 0 22582 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 112468

[startup+342.3 s]
/proc/loadavg: 3.99 3.52 3.32 5/194 16232
/proc/meminfo: memFree=21559516/32951124 swapFree=67111528/67111528
[pid=16220] ppid=16218 vsize=8704 CPUtime=0.02 cores=4,6
/proc/16220/stat : 16220 (glucose.sh) S 16218 16220 15673 0 -1 4202496 360 597 0 0 0 0 2 0 22 0 1 0 198433315 8912896 255 33554432000 4194304 4922060 140734117264736 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16220/statm: 2176 255 211 178 0 69 0
[pid=16223] ppid=16220 vsize=103764 CPUtime=342.21 cores=4,6
/proc/16223/stat : 16223 (glucose_static) R 16220 16220 15673 0 -1 4202496 53798 0 0 0 34213 8 0 0 25 0 1 0 198433318 106254336 22635 33554432000 4194304 4260849 140737063874336 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16223/statm: 25941 22635 250 17 0 22582 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 112468

[startup+402.301 s]
/proc/loadavg: 4.03 3.62 3.36 5/194 16234
/proc/meminfo: memFree=21510612/32951124 swapFree=67111528/67111528
[pid=16220] ppid=16218 vsize=8704 CPUtime=0.02 cores=4,6

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

/proc/16223/statm: 29072 25766 250 17 0 25713 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 124992

[startup+642.301 s]
/proc/loadavg: 4.04 3.84 3.50 5/194 16240
/proc/meminfo: memFree=21507604/32951124 swapFree=67111528/67111528
[pid=16220] ppid=16218 vsize=8704 CPUtime=0.02 cores=4,6
/proc/16220/stat : 16220 (glucose.sh) S 16218 16220 15673 0 -1 4202496 360 597 0 0 0 0 2 0 22 0 1 0 198433315 8912896 255 33554432000 4194304 4922060 140734117264736 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16220/statm: 2176 255 211 178 0 69 0
[pid=16223] ppid=16220 vsize=116288 CPUtime=642.22 cores=4,6
/proc/16223/stat : 16223 (glucose_static) R 16220 16220 15673 0 -1 4202496 156022 0 0 0 64199 23 0 0 25 0 1 0 198433318 119078912 25778 33554432000 4194304 4260849 140737063874336 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16223/statm: 29072 25778 250 17 0 25713 0
Current children cumulated CPU time (s) 642.24
Current children cumulated vsize (KiB) 124992

[startup+702.301 s]
/proc/loadavg: 4.02 3.86 3.53 5/194 16242
/proc/meminfo: memFree=21506448/32951124 swapFree=67111528/67111528
[pid=16220] ppid=16218 vsize=8704 CPUtime=0.02 cores=4,6
/proc/16220/stat : 16220 (glucose.sh) S 16218 16220 15673 0 -1 4202496 360 597 0 0 0 0 2 0 22 0 1 0 198433315 8912896 255 33554432000 4194304 4922060 140734117264736 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16220/statm: 2176 255 211 178 0 69 0
[pid=16223] ppid=16220 vsize=116288 CPUtime=702.21 cores=4,6
/proc/16223/stat : 16223 (glucose_static) R 16220 16220 15673 0 -1 4202496 175136 0 0 0 70194 27 0 0 25 0 1 0 198433318 119078912 25778 33554432000 4194304 4260849 140737063874336 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16223/statm: 29072 25778 250 17 0 25713 0
Current children cumulated CPU time (s) 702.23
Current children cumulated vsize (KiB) 124992

[startup+762.307 s]
/proc/loadavg: 4.06 3.90 3.56 5/194 16243
/proc/meminfo: memFree=21505168/32951124 swapFree=67111528/67111528
[pid=16220] ppid=16218 vsize=8704 CPUtime=0.02 cores=4,6
/proc/16220/stat : 16220 (glucose.sh) S 16218 16220 15673 0 -1 4202496 360 597 0 0 0 0 2 0 22 0 1 0 198433315 8912896 255 33554432000 4194304 4922060 140734117264736 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16220/statm: 2176 255 211 178 0 69 0
[pid=16223] ppid=16220 vsize=116288 CPUtime=762.22 cores=4,6
/proc/16223/stat : 16223 (glucose_static) R 16220 16220 15673 0 -1 4202496 193962 0 0 0 76191 31 0 0 25 0 1 0 198433318 119078912 25778 33554432000 4194304 4260849 140737063874336 18446744073709551615 4225495 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16223/statm: 29072 25778 250 17 0 25713 0
Current children cumulated CPU time (s) 762.24
Current children cumulated vsize (KiB) 124992

[startup+822.301 s]
/proc/loadavg: 4.02 3.92 3.59 5/194 16245
/proc/meminfo: memFree=21459500/32951124 swapFree=67111528/67111528
[pid=16220] ppid=16218 vsize=8704 CPUtime=0.02 cores=4,6
/proc/16220/stat : 16220 (glucose.sh) S 16218 16220 15673 0 -1 4202496 360 597 0 0 0 0 2 0 22 0 1 0 198433315 8912896 255 33554432000 4194304 4922060 140734117264736 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16220/statm: 2176 255 211 178 0 69 0
[pid=16223] ppid=16220 vsize=165608 CPUtime=822.21 cores=4,6
/proc/16223/stat : 16223 (glucose_static) R 16220 16220 15673 0 -1 4202496 213399 0 0 0 82186 35 0 0 25 0 1 0 198433318 169582592 35612 33554432000 4194304 4260849 140737063874336 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16223/statm: 41402 35612 250 17 0 38043 0
Current children cumulated CPU time (s) 822.23
Current children cumulated vsize (KiB) 174312

[startup+882.3 s]
/proc/loadavg: 4.00 3.93 3.61 5/194 16247
/proc/meminfo: memFree=21418300/32951124 swapFree=67111528/67111528
[pid=16220] ppid=16218 vsize=8704 CPUtime=0.02 cores=4,6
/proc/16220/stat : 16220 (glucose.sh) S 16218 16220 15673 0 -1 4202496 360 597 0 0 0 0 2 0 22 0 1 0 198433315 8912896 255 33554432000 4194304 4922060 140734117264736 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16220/statm: 2176 255 211 178 0 69 0
[pid=16223] ppid=16220 vsize=165608 CPUtime=882.21 cores=4,6
/proc/16223/stat : 16223 (glucose_static) R 16220 16220 15673 0 -1 4202496 231639 0 0 0 88184 37 0 0 25 0 1 0 198433318 169582592 34101 33554432000 4194304 4260849 140737063874336 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16223/statm: 41402 34101 250 17 0 38043 0
Current children cumulated CPU time (s) 882.23
Current children cumulated vsize (KiB) 174312

[startup+942.301 s]
/proc/loadavg: 4.05 3.95 3.64 5/194 16248
/proc/meminfo: memFree=21459932/32951124 swapFree=67111528/67111528
[pid=16220] ppid=16218 vsize=8704 CPUtime=0.02 cores=4,6
/proc/16220/stat : 16220 (glucose.sh) S 16218 16220 15673 0 -1 4202496 360 597 0 0 0 0 2 0 22 0 1 0 198433315 8912896 255 33554432000 4194304 4922060 140734117264736 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16220/statm: 2176 255 211 178 0 69 0
[pid=16223] ppid=16220 vsize=116288 CPUtime=942.21 cores=4,6
/proc/16223/stat : 16223 (glucose_static) R 16220 16220 15673 0 -1 4202496 243596 0 0 0 94181 40 0 0 25 0 1 0 198433318 119078912 25778 33554432000 4194304 4260849 140737063874336 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16223/statm: 29072 25778 250 17 0 25713 0
Current children cumulated CPU time (s) 942.23
Current children cumulated vsize (KiB) 124992

[startup+1002.3 s]
/proc/loadavg: 4.10 3.98 3.66 5/194 16250
/proc/meminfo: memFree=21458028/32951124 swapFree=67111528/67111528
[pid=16220] ppid=16218 vsize=8704 CPUtime=0.02 cores=4,6
/proc/16220/stat : 16220 (glucose.sh) S 16218 16220 15673 0 -1 4202496 360 597 0 0 0 0 2 0 22 0 1 0 198433315 8912896 255 33554432000 4194304 4922060 140734117264736 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16220/statm: 2176 255 211 178 0 69 0
[pid=16223] ppid=16220 vsize=165608 CPUtime=1002.21 cores=4,6
/proc/16223/stat : 16223 (glucose_static) R 16220 16220 15673 0 -1 4202496 263358 0 0 0 100177 44 0 0 25 0 1 0 198433318 169582592 35073 33554432000 4194304 4260849 140737063874336 18446744073709551615 4225060 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16223/statm: 41402 35073 250 17 0 38043 0
Current children cumulated CPU time (s) 1002.23
Current children cumulated vsize (KiB) 174312

[startup+1062.3 s]
/proc/loadavg: 4.04 3.98 3.68 5/194 16281
/proc/meminfo: memFree=21500300/32951124 swapFree=67111528/67111528
[pid=16220] ppid=16218 vsize=8704 CPUtime=0.02 cores=4,6
/proc/16220/stat : 16220 (glucose.sh) S 16218 16220 15673 0 -1 4202496 360 597 0 0 0 0 2 0 22 0 1 0 198433315 8912896 255 33554432000 4194304 4922060 140734117264736 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16220/statm: 2176 255 211 178 0 69 0
[pid=16223] ppid=16220 vsize=116288 CPUtime=1062.2 cores=4,6
/proc/16223/stat : 16223 (glucose_static) R 16220 16220 15673 0 -1 4202496 274564 0 0 0 106173 47 0 0 25 0 1 0 198433318 119078912 25778 33554432000 4194304 4260849 140737063874336 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16223/statm: 29072 25778 250 17 0 25713 0
Current children cumulated CPU time (s) 1062.22
Current children cumulated vsize (KiB) 124992

[startup+1122.3 s]
/proc/loadavg: 4.01 3.98 3.70 5/194 16283
/proc/meminfo: memFree=21477788/32951124 swapFree=67111528/67111528
[pid=16220] ppid=16218 vsize=8704 CPUtime=0.02 cores=4,6
/proc/16220/stat : 16220 (glucose.sh) S 16218 16220 15673 0 -1 4202496 360 597 0 0 0 0 2 0 22 0 1 0 198433315 8912896 255 33554432000 4194304 4922060 140734117264736 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16220/statm: 2176 255 211 178 0 69 0
[pid=16223] ppid=16220 vsize=165608 CPUtime=1122.2 cores=4,6
/proc/16223/stat : 16223 (glucose_static) R 16220 16220 15673 0 -1 4202496 293713 0 0 0 112169 51 0 0 25 0 1 0 198433318 169582592 34259 33554432000 4194304 4260849 140737063874336 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16223/statm: 41402 34259 250 17 0 38043 0
Current children cumulated CPU time (s) 1122.22
Current children cumulated vsize (KiB) 174312

[startup+1182.3 s]
/proc/loadavg: 4.07 3.99 3.72 5/194 16284
/proc/meminfo: memFree=21463768/32951124 swapFree=67111528/67111528
[pid=16220] ppid=16218 vsize=8704 CPUtime=0.02 cores=4,6
/proc/16220/stat : 16220 (glucose.sh) S 16218 16220 15673 0 -1 4202496 360 597 0 0 0 0 2 0 22 0 1 0 198433315 8912896 255 33554432000 4194304 4922060 140734117264736 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16220/statm: 2176 255 211 178 0 69 0
[pid=16223] ppid=16220 vsize=116288 CPUtime=1182.2 cores=4,6
/proc/16223/stat : 16223 (glucose_static) R 16220 16220 15673 0 -1 4202496 307286 0 0 0 118166 54 0 0 25 0 1 0 198433318 119078912 25778 33554432000 4194304 4260849 140737063874336 18446744073709551615 4227074 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16223/statm: 29072 25778 250 17 0 25713 0
Current children cumulated CPU time (s) 1182.22
Current children cumulated vsize (KiB) 124992

[startup+1242.3 s]
/proc/loadavg: 4.02 3.99 3.73 5/194 16286
/proc/meminfo: memFree=21438828/32951124 swapFree=67111528/67111528
[pid=16220] ppid=16218 vsize=8704 CPUtime=0.02 cores=4,6
/proc/16220/stat : 16220 (glucose.sh) S 16218 16220 15673 0 -1 4202496 360 597 0 0 0 0 2 0 22 0 1 0 198433315 8912896 255 33554432000 4194304 4922060 140734117264736 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16220/statm: 2176 255 211 178 0 69 0
[pid=16223] ppid=16220 vsize=165608 CPUtime=1242.19 cores=4,6
/proc/16223/stat : 16223 (glucose_static) R 16220 16220 15673 0 -1 4202496 326948 0 0 0 124162 57 0 0 25 0 1 0 198433318 169582592 33996 33554432000 4194304 4260849 140737063874336 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16223/statm: 41402 33996 250 17 0 38043 0
Current children cumulated CPU time (s) 1242.21
Current children cumulated vsize (KiB) 174312



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.17 4.03 3.76 3/188 16289
/proc/meminfo: memFree=21731880/32951124 swapFree=67111528/67111528
[pid=16220] ppid=16218 vsize=8704 CPUtime=0.02 cores=4,6
/proc/16220/stat : 16220 (glucose.sh) S 16218 16220 15673 0 -1 4202496 360 597 0 0 0 0 2 0 22 0 1 0 198433315 8912896 255 33554432000 4194304 4922060 140734117264736 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16220/statm: 2176 255 211 178 0 69 0
[pid=16223] ppid=16220 vsize=116288 CPUtime=1299.9 cores=4,6
/proc/16223/stat : 16223 (glucose_static) R 16220 16220 15673 0 -1 4202496 342709 0 0 0 129929 61 0 0 25 0 1 0 198433318 119078912 25778 33554432000 4194304 4260849 140737063874336 18446744073709551615 4225107 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16223/statm: 29072 25778 250 17 0 25713 0
Current children cumulated CPU time (s) 1299.92
Current children cumulated vsize (KiB) 124992

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1300.01
CPU time (s): 1299.92
CPU user time (s): 1299.31
CPU system time (s): 0.61
CPU usage (%): 99.9929
Max. virtual memory (cumulated for all children) (KiB): 174312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.027995
system time used= 0.001999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 957
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= 6
involuntary context switches= 15

runsolver used 2.29665 second user time and 4.80827 second system time

The end

Launcher Data 

Begin job on node107 at 2011-04-23 09:07:01
IDJOB=3250646
IDBENCH=83335
IDSOLVER=1651
FILE ID=node107/3250646-1303542420
RUNJOBID= node107-1303542420-16173
PBS_JOBID= 13143131
Free space on /tmp= 72284 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3250646-1303542420/watcher-3250646-1303542420 -o /tmp/evaluation-result-3250646-1303542420/solver-3250646-1303542420 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3250646-1303542420.cnf 

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 1144bbd60c180aa5e72d35b74e9676cb
RANDOM SEED=1003839439

node107.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.829
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.65
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.829
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	: 5332.75
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.829
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.67
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.829
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.82
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.829
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.74
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.829
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	: 5359.47
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.829
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.829
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21890708 kB
Buffers:       2008212 kB
Cached:        8502712 kB
SwapCached:          0 kB
Active:        7178136 kB
Inactive:      3406036 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21890708 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            8416 kB
Writeback:           0 kB
AnonPages:       72304 kB
Mapped:          15232 kB
Slab:           412188 kB
PageTables:       4748 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   267736 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= 72280 MiB
End job on node107 at 2011-04-23 09:28:43