Trace number 3273402

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

General information on the benchmark

Namecrafted/spence/sgen/
sgen3-n160-s40283905-sat.cnf
MD5SUM8e3c134eb643f2d9a45c884774c054a8
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.19497
Satisfiable
(Un)Satisfiability was proved
Number of variables160
Number of clauses384
Sum of the clauses size960
Maximum clause length5
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2320
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 564
Number of clauses of size over 50

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.00	c ==============================================================================
0.00/0.00	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.00	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.00	c ==============================================================================
0.00/0.00	c |         0 |     384      960 |     115       0        0     nan |  0.000 % |
0.00/0.00	c ==============================================================================
0.00/0.00	c Result  :   #vars: 160   #clauses: 384   #literals: 960
0.00/0.00	c CPU time:   0.000999 s
0.00/0.00	c ==============================================================================
0.00/0.00	c
0.00/0.00	c Starting glucose
0.00/0.00	c
359.29/359.34	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
359.29/359.34	c WARNING: for repeatability, setting FPU to use double precision
359.29/359.34	c ============================[ Problem Statistics ]=============================
359.29/359.34	c |                                                                             |
359.29/359.34	c |  Number of variables:           160                                         |
359.29/359.34	c |  Number of clauses:             384                                         |
359.29/359.34	c |  Parse time:                   0.00 s                                       |
359.29/359.34	c |                                                                             |
359.29/359.34	c ============================[ Search Statistics ]==============================
359.29/359.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
359.29/359.34	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
359.29/359.34	c ===============================================================================
359.29/359.34	c |     11102 |     160      384      960 |        1     4813     23 |  0.000 % |
359.29/359.34	c |     11202 |     160      384      960 |        1     4913     23 |  0.000 % |
359.29/359.34	c |     11441 |     160      384      960 |        1     5152     23 |  0.000 % |
359.29/359.34	c |     11541 |     160      384      960 |        1     5252     23 |  0.000 % |
359.29/359.34	c |     11698 |     160      384      960 |        1     5409     24 |  0.000 % |
359.29/359.34	c |     11798 |     160      384      960 |        1     5509     24 |  0.000 % |
359.29/359.34	c |     11898 |     160      384      960 |        1     5609     24 |  0.000 % |
359.29/359.34	c |     12401 |     160      384      960 |        1     6112     24 |  0.000 % |
359.29/359.34	c |     13198 |     160      384      960 |        1     6909     25 |  0.000 % |
359.29/359.34	c |     13406 |     160      384      960 |        1     7117     25 |  0.000 % |
359.29/359.34	c |     13636 |     160      384      960 |        1     7347     25 |  0.000 % |
359.29/359.34	c |     13737 |     160      384      960 |        1     7448     25 |  0.000 % |
359.29/359.34	c |     26774 |     160      384      960 |        1    13736     25 |  0.000 % |
359.29/359.34	c |     26876 |     160      384      960 |        1    13838     25 |  0.000 % |
359.29/359.34	c |     75873 |     160      384      960 |        1    27305     23 |  0.000 % |
359.29/359.34	c |    331407 |     160      384      960 |        1    74020     22 |  0.000 % |
359.29/359.34	c |    341798 |     160      384      960 |        1    46610     19 |  0.000 % |
359.29/359.34	c |    341898 |     160      384      960 |        1    46710     19 |  0.000 % |
359.29/359.34	c |    357114 |     160      384      960 |        1    61926     22 |  0.000 % |
359.29/359.34	c |    362738 |     160      384      960 |        1    67550     22 |  0.000 % |
359.29/359.34	c |    759611 |     160      384      960 |        1    68423     17 |  0.000 % |
359.29/359.34	c |    761872 |     160      384      960 |        1    70684     18 |  0.000 % |
359.29/359.34	c |    761973 |     160      384      960 |        1    70785     18 |  0.000 % |
359.29/359.34	c |    766520 |     160      384      960 |        1    75332     18 |  0.000 % |
359.29/359.34	c |    766621 |     160      384      960 |        1    75433     18 |  0.000 % |
359.29/359.34	c |    766721 |     160      384      960 |        1    75533     18 |  0.000 % |
359.29/359.34	c |    800022 |     160      384      960 |        1   108834     21 |  0.000 % |
359.29/359.34	c |    800122 |     160      384      960 |        1   108934     21 |  0.000 % |
359.29/359.34	c |    800972 |     160      384      960 |        1   109784     21 |  0.000 % |
359.29/359.34	c |    902777 |     160      384      960 |        1    86591     19 |  0.000 % |
359.29/359.34	c |    911251 |     160      384      960 |        1    95065     19 |  0.000 % |
359.29/359.34	c |    911353 |     160      384      960 |        1    95167     19 |  0.000 % |
359.29/359.34	c |    997527 |     160      384      960 |        1   114944     21 |  0.000 % |
359.29/359.34	c |    997638 |     160      384      960 |        1   115055     21 |  0.000 % |
359.29/359.34	c |    997738 |     160      384      960 |        1   115155     21 |  0.000 % |
359.29/359.34	c |    997838 |     160      384      960 |        1   115255     21 |  0.000 % |
359.29/359.34	c |   1104399 |     160      384      960 |        1    81210     17 |  0.000 % |
359.29/359.34	c |   1104845 |     160      384      960 |        1    81656     17 |  0.000 % |
359.29/359.34	c |   1406391 |     160      384      960 |        1   152804     21 |  0.000 % |
486.80/486.85	c |   1406491 |     160      384      960 |        1   152904     21 |  0.000 % |
486.80/486.85	c |   1406591 |     160      384      960 |        1   153004     21 |  0.000 % |
486.80/486.85	c |   1406692 |     160      384      960 |        1   153105     21 |  0.000 % |
486.80/486.85	c |   1406792 |     160      384      960 |        1   153205     21 |  0.000 % |
486.80/486.85	c |   1418562 |     160      384      960 |        1    82974     16 |  0.000 % |
486.80/486.85	c |   1418662 |     160      384      960 |        1    83074     16 |  0.000 % |
486.80/486.85	c |   1427109 |     160      384      960 |        1    91521     17 |  0.000 % |
486.80/486.85	c |   1427210 |     160      384      960 |        1    91622     17 |  0.000 % |
486.80/486.85	c |   1427361 |     160      384      960 |        1    91773     17 |  0.000 % |
486.80/486.85	c |   1428164 |     160      384      960 |        1    92576     17 |  0.000 % |
486.80/486.85	c |   1450346 |     160      384      960 |        1   114758     19 |  0.000 % |
486.80/486.85	c |   1450447 |     160      384      960 |        1   114859     19 |  0.000 % |
486.80/486.85	c |   1454899 |     160      384      960 |        1   119311     19 |  0.000 % |
486.80/486.85	c |   1455090 |     160      384      960 |        1   119502     19 |  0.000 % |
486.80/486.85	c |   1455220 |     160      384      960 |        1   119632     19 |  0.000 % |
486.80/486.85	c |   1456074 |     160      384      960 |        1   120486     19 |  0.000 % |
486.80/486.85	c |   1506338 |     160      384      960 |        1    86152     16 |  0.000 % |
486.80/486.85	c |   1506441 |     160      384      960 |        1    86255     16 |  0.000 % |
486.80/486.85	c |   1509816 |     160      384      960 |        1    89630     16 |  0.000 % |
486.80/486.85	c |   1517479 |     160      384      960 |        1    97293     17 |  0.000 % |
486.80/486.85	c |   1528056 |     160      384      960 |        1   107870     18 |  0.000 % |
486.80/486.85	c |   1528156 |     160      384      960 |        1   107970     18 |  0.000 % |
486.80/486.85	c |   1607153 |     160      384      960 |        1    99771     17 |  0.000 % |
486.80/486.85	c |   1608087 |     160      384      960 |        1   100705     17 |  0.000 % |
486.80/486.85	c |   1608189 |     160      384      960 |        1   100807     17 |  0.000 % |
486.80/486.85	c |   1608289 |     160      384      960 |        1   100907     17 |  0.000 % |
486.80/486.85	c |   1608390 |     160      384      960 |        1   101008     17 |  0.000 % |
486.80/486.85	c |   1608492 |     160      384      960 |        1   101110     17 |  0.000 % |
486.80/486.85	c |   1608608 |     160      384      960 |        1   101226     17 |  0.000 % |
486.80/486.85	c |   1608708 |     160      384      960 |        1   101326     17 |  0.000 % |
486.80/486.85	c |   1608950 |     160      384      960 |        1   101568     17 |  0.000 % |
486.80/486.85	c |   1609050 |     160      384      960 |        1   101668     17 |  0.000 % |
486.80/486.85	c |   1609150 |     160      384      960 |        1   101768     17 |  0.000 % |
486.80/486.85	c |   1609252 |     160      384      960 |        1   101870     17 |  0.000 % |
486.80/486.85	c |   1609353 |     160      384      960 |        1   101971     17 |  0.000 % |
486.80/486.85	c |   1609524 |     160      384      960 |        1   102142     17 |  0.000 % |
486.80/486.85	c |   1610954 |     160      384      960 |        1   103572     17 |  0.000 % |
486.80/486.85	c |   1611055 |     160      384      960 |        1   103673     17 |  0.000 % |
486.80/486.85	c |   1611155 |     160      384      960 |        1   103773     17 |  0.000 % |
486.80/486.85	c |   1612007 |     160      384      960 |        1   104625     17 |  0.000 % |
486.80/486.85	c |   1612107 |     160      384      960 |        1   104725     17 |  0.000 % |
486.80/486.85	c |   1612276 |     160      384      960 |        1   104894     17 |  0.000 % |
486.80/486.85	c |   1612376 |     160      384      960 |        1   104994     17 |  0.000 % |
486.80/486.85	c |   1613810 |     160      384      960 |        1   106428     17 |  0.000 % |
486.80/486.85	c |   1668348 |     160      384      960 |        1   160966     20 |  0.000 % |
486.80/486.85	c |   1672334 |     160      384      960 |        1   164952     21 |  0.000 % |
486.80/486.85	c |   1672438 |     160      384      960 |        1   165056     21 |  0.000 % |
486.80/486.85	c |   1684808 |     160      384      960 |        1   177426     21 |  0.000 % |
486.80/486.85	c |   1686280 |     160      384      960 |        1   178898     21 |  0.000 % |
486.80/486.85	c |   1686740 |     160      384      960 |        1   179358     21 |  0.000 % |
1029.70/1029.79	c |   1694561 |     160      384      960 |        1    97373     16 |  0.000 % |
1029.70/1029.79	c |   1694661 |     160      384      960 |        1    97473     16 |  0.000 % |
1029.70/1029.79	c |   1696718 |     160      384      960 |        1    99530     16 |  0.000 % |
1029.70/1029.79	c |   1696819 |     160      384      960 |        1    99631     16 |  0.000 % |
1029.70/1029.79	c |   1894770 |     160      384      960 |        1   110179     17 |  0.000 % |
1029.70/1029.79	c |   1894870 |     160      384      960 |        1   110279     17 |  0.000 % |
1029.70/1029.79	c |   1898776 |     160      384      960 |        1   114185     17 |  0.000 % |
1029.70/1029.79	c |   1900017 |     160      384      960 |        1   115426     17 |  0.000 % |
1029.70/1029.79	c |   1900118 |     160      384      960 |        1   115527     17 |  0.000 % |
1029.70/1029.79	c |   2058884 |     160      384      960 |        1   176692     21 |  0.000 % |
1029.70/1029.79	c |   2058985 |     160      384      960 |        1   176793     21 |  0.000 % |
1029.70/1029.79	c |   2059086 |     160      384      960 |        1   176894     21 |  0.000 % |
1029.70/1029.79	c |   2059186 |     160      384      960 |        1   176994     21 |  0.000 % |
1029.70/1029.79	c |   2063416 |     160      384      960 |        1   181224     21 |  0.000 % |
1029.70/1029.79	c |   2063516 |     160      384      960 |        1   181324     21 |  0.000 % |
1029.70/1029.79	c |   2092673 |     160      384      960 |        1   110287     16 |  0.000 % |
1029.70/1029.79	c |   2092773 |     160      384      960 |        1   110387     16 |  0.000 % |
1029.70/1029.79	c |   2092873 |     160      384      960 |        1   110487     16 |  0.000 % |
1029.70/1029.79	c |   2183427 |     160      384      960 |        1   201041     21 |  0.000 % |
1029.70/1029.79	c |   2183527 |     160      384      960 |        1   201141     21 |  0.000 % |
1029.70/1029.79	c |   2183627 |     160      384      960 |        1   201241     21 |  0.000 % |
1029.70/1029.79	c |   2183727 |     160      384      960 |        1   201341     21 |  0.000 % |
1029.70/1029.79	c |   2183828 |     160      384      960 |        1   201442     21 |  0.000 % |
1029.70/1029.79	c |   2352067 |     160      384      960 |        1   161478     19 |  0.000 % |
1029.70/1029.79	c |   2352168 |     160      384      960 |        1   161579     19 |  0.000 % |
1029.70/1029.79	c |   2360991 |     160      384      960 |        1   170402     19 |  0.000 % |
1029.70/1029.79	c |   2361447 |     160      384      960 |        1   170858     19 |  0.000 % |
1029.70/1029.79	c |   2657208 |     160      384      960 |        1   134821     16 |  0.000 % |
1029.70/1029.79	c |   2663458 |     160      384      960 |        1   141071     17 |  0.000 % |
1029.70/1029.79	c |   2663560 |     160      384      960 |        1   141173     17 |  0.000 % |
1029.70/1029.79	c |   2678998 |     160      384      960 |        1   156611     18 |  0.000 % |
1029.70/1029.79	c |   2679099 |     160      384      960 |        1   156712     18 |  0.000 % |
1029.70/1029.79	c |   2679200 |     160      384      960 |        1   156813     18 |  0.000 % |
1029.70/1029.79	c |   2679300 |     160      384      960 |        1   156913     18 |  0.000 % |
1029.70/1029.79	c |   2679401 |     160      384      960 |        1   157014     18 |  0.000 % |
1029.70/1029.79	c |   2679501 |     160      384      960 |        1   157114     18 |  0.000 % |
1029.70/1029.79	c |   2679602 |     160      384      960 |        1   157215     18 |  0.000 % |
1029.70/1029.79	c |   2679702 |     160      384      960 |        1   157315     18 |  0.000 % |
1029.70/1029.79	c |   2679802 |     160      384      960 |        1   157415     18 |  0.000 % |
1029.70/1029.79	c |   2680241 |     160      384      960 |        1   157854     18 |  0.000 % |
1029.70/1029.79	c |   2680345 |     160      384      960 |        1   157958     18 |  0.000 % |
1029.70/1029.79	c |   2691017 |     160      384      960 |        1   168630     19 |  0.000 % |
1029.70/1029.79	c |   2693739 |     160      384      960 |        1   171352     19 |  0.000 % |
1029.70/1029.79	c |   2693839 |     160      384      960 |        1   171452     19 |  0.000 % |
1029.70/1029.79	c |   2696928 |     160      384      960 |        1   174541     19 |  0.000 % |
1029.70/1029.79	c |   2697030 |     160      384      960 |        1   174643     19 |  0.000 % |
1029.70/1029.79	c |   2697130 |     160      384      960 |        1   174743     19 |  0.000 % |
1029.70/1029.79	c |   2697230 |     160      384      960 |        1   174843     19 |  0.000 % |
1029.70/1029.79	c |   2697367 |     160      384      960 |        1   174980     19 |  0.000 % |
1029.70/1029.79	c |   2697468

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

running on 2 cores: 1,3

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: 0.00 0.00 0.57 1/174 8088
/proc/meminfo: memFree=20491628/32951124 swapFree=67110396/67111528
[pid=8088] ppid=8086 vsize=8704 CPUtime=0 cores=1,3
/proc/8088/stat : 8088 (glucose.sh) S 8086 8088 8058 0 -1 4202496 360 153 0 0 0 0 0 0 20 0 1 0 550289352 8912896 255 33554432000 4194304 4922060 140736474685472 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8088/statm: 2176 255 211 178 0 69 0

[startup+0.0110529 s]
/proc/loadavg: 0.00 0.00 0.57 1/174 8088
/proc/meminfo: memFree=20491628/32951124 swapFree=67110396/67111528
[pid=8088] ppid=8086 vsize=8704 CPUtime=0 cores=1,3
/proc/8088/stat : 8088 (glucose.sh) S 8086 8088 8058 0 -1 4202496 360 153 0 0 0 0 0 0 20 0 1 0 550289352 8912896 255 33554432000 4194304 4922060 140736474685472 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8088/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.101022 s]
/proc/loadavg: 0.00 0.00 0.57 1/174 8088
/proc/meminfo: memFree=20491628/32951124 swapFree=67110396/67111528
[pid=8088] ppid=8086 vsize=8704 CPUtime=0 cores=1,3
/proc/8088/stat : 8088 (glucose.sh) S 8086 8088 8058 0 -1 4202496 360 153 0 0 0 0 0 0 20 0 1 0 550289352 8912896 255 33554432000 4194304 4922060 140736474685472 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8088/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.30099 s]
/proc/loadavg: 0.00 0.00 0.57 1/174 8088
/proc/meminfo: memFree=20491628/32951124 swapFree=67110396/67111528
[pid=8088] ppid=8086 vsize=8704 CPUtime=0 cores=1,3
/proc/8088/stat : 8088 (glucose.sh) S 8086 8088 8058 0 -1 4202496 360 153 0 0 0 0 0 0 20 0 1 0 550289352 8912896 255 33554432000 4194304 4922060 140736474685472 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8088/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700924 s]
/proc/loadavg: 0.00 0.00 0.57 1/174 8088
/proc/meminfo: memFree=20491628/32951124 swapFree=67110396/67111528
[pid=8088] ppid=8086 vsize=8704 CPUtime=0 cores=1,3
/proc/8088/stat : 8088 (glucose.sh) S 8086 8088 8058 0 -1 4202496 360 153 0 0 0 0 0 0 20 0 1 0 550289352 8912896 255 33554432000 4194304 4922060 140736474685472 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8088/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50079 s]
/proc/loadavg: 0.32 0.07 0.59 4/188 8115
/proc/meminfo: memFree=20479332/32951124 swapFree=67110396/67111528
[pid=8088] ppid=8086 vsize=8704 CPUtime=0 cores=1,3
/proc/8088/stat : 8088 (glucose.sh) S 8086 8088 8058 0 -1 4202496 360 153 0 0 0 0 0 0 20 0 1 0 550289352 8912896 255 33554432000 4194304 4922060 140736474685472 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8088/statm: 2176 255 211 178 0 69 0
[pid=8090] ppid=8088 vsize=20452 CPUtime=1.49 cores=1,3
/proc/8090/stat : 8090 (glucose_static) R 8088 8088 8058 0 -1 4202496 2050 0 0 0 149 0 0 0 25 0 1 0 550289352 20942848 1564 33554432000 4194304 4260849 140734547487840 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8090/statm: 5113 1564 248 17 0 1754 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29156

[startup+3.10052 s]
/proc/loadavg: 0.32 0.07 0.59 4/188 8115
/proc/meminfo: memFree=20468048/32951124 swapFree=67110396/67111528
[pid=8088] ppid=8086 vsize=8704 CPUtime=0 cores=1,3
/proc/8088/stat : 8088 (glucose.sh) S 8086 8088 8058 0 -1 4202496 360 153 0 0 0 0 0 0 20 0 1 0 550289352 8912896 255 33554432000 4194304 4922060 140736474685472 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8088/statm: 2176 255 211 178 0 69 0
[pid=8090] ppid=8088 vsize=22100 CPUtime=3.09 cores=1,3
/proc/8090/stat : 8090 (glucose_static) R 8088 8088 8058 0 -1 4202496 2629 0 0 0 309 0 0 0 25 0 1 0 550289352 22630400 2123 33554432000 4194304 4260849 140734547487840 18446744073709551615 4224873 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8090/statm: 5525 2123 248 17 0 2166 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30804

[startup+6.30099 s]
/proc/loadavg: 0.32 0.07 0.59 5/194 8127
/proc/meminfo: memFree=20442364/32951124 swapFree=67110396/67111528
[pid=8088] ppid=8086 vsize=8704 CPUtime=0 cores=1,3
/proc/8088/stat : 8088 (glucose.sh) S 8086 8088 8058 0 -1 4202496 360 153 0 0 0 0 0 0 20 0 1 0 550289352 8912896 255 33554432000 4194304 4922060 140736474685472 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8088/statm: 2176 255 211 178 0 69 0
[pid=8090] ppid=8088 vsize=26556 CPUtime=6.29 cores=1,3
/proc/8090/stat : 8090 (glucose_static) R 8088 8088 8058 0 -1 4202496 3416 0 0 0 629 0 0 0 25 0 1 0 550289352 27193344 2895 33554432000 4194304 4260849 140734547487840 18446744073709551615 4225082 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8090/statm: 6639 2895 248 17 0 3280 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35260

[startup+12.7009 s]
/proc/loadavg: 0.89 0.20 0.63 5/194 8127
/proc/meminfo: memFree=20427460/32951124 swapFree=67110396/67111528
[pid=8088] ppid=8086 vsize=8704 CPUtime=0 cores=1,3
/proc/8088/stat : 8088 (glucose.sh) S 8086 8088 8058 0 -1 4202496 360 153 0 0 0 0 0 0 20 0 1 0 550289352 8912896 255 33554432000 4194304 4922060 140736474685472 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8088/statm: 2176 255 211 178 0 69 0
[pid=8090] ppid=8088 vsize=33628 CPUtime=12.69 cores=1,3
/proc/8090/stat : 8090 (glucose_static) R 8088 8088 8058 0 -1 4202496 5696 0 0 0 1269 0 0 0 25 0 1 0 550289352 34435072 3969 33554432000 4194304 4260849 140734547487840 18446744073709551615 4224718 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8090/statm: 8407 3969 248 17 0 5048 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42332

[startup+25.5008 s]
/proc/loadavg: 1.36 0.32 0.66 5/194 8129
/proc/meminfo: memFree=20399340/32951124 swapFree=67110396/67111528
[pid=8088] ppid=8086 vsize=8704 CPUtime=0 cores=1,3
/proc/8088/stat : 8088 (glucose.sh) S 8086 8088 8058 0 -1 4202496 360 153 0 0 0 0 0 0 20 0 1 0 550289352 8912896 255 33554432000 4194304 4922060 140736474685472 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8088/statm: 2176 255 211 178 0 69 0
[pid=8090] ppid=8088 vsize=33628 CPUtime=25.49 cores=1,3
/proc/8090/stat : 8090 (glucose_static) R 8088 8088 8058 0 -1 4202496 6524 0 0 0 2549 0 0 0 25 0 1 0 550289352 34435072 4777 33554432000 4194304 4260849 140734547487840 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8090/statm: 8407 4777 248 17 0 5048 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42332

[startup+51.1005 s]
/proc/loadavg: 2.26 0.62 0.75 5/194 8129
/proc/meminfo: memFree=20356116/32951124 swapFree=67110396/67111528
[pid=8088] ppid=8086 vsize=8704 CPUtime=0 cores=1,3
/proc/8088/stat : 8088 (glucose.sh) S 8086 8088 8058 0 -1 4202496 360 153 0 0 0 0 0 0 20 0 1 0 550289352 8912896 255 33554432000 4194304 4922060 140736474685472 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8088/statm: 2176 255 211 178 0 69 0
[pid=8090] ppid=8088 vsize=48220 CPUtime=51.09 cores=1,3
/proc/8090/stat : 8090 (glucose_static) R 8088 8088 8058 0 -1 4202496 9807 0 0 0 5108 1 0 0 25 0 1 0 550289352 49377280 6111 33554432000 4194304 4260849 140734547487840 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8090/statm: 12055 6111 248 17 0 8696 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 56924

[startup+102.307 s]
/proc/loadavg: 3.30 1.18 0.94 5/194 8131
/proc/meminfo: memFree=20319512/32951124 swapFree=67110396/67111528
[pid=8088] ppid=8086 vsize=8704 CPUtime=0 cores=1,3
/proc/8088/stat : 8088 (glucose.sh) S 8086 8088 8058 0 -1 4202496 360 153 0 0 0 0 0 0 20 0 1 0 550289352 8912896 255 33554432000 4194304 4922060 140736474685472 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8088/statm: 2176 255 211 178 0 69 0
[pid=8090] ppid=8088 vsize=48220 CPUtime=102.3 cores=1,3
/proc/8090/stat : 8090 (glucose_static) R 8088 8088 8058 0 -1 4202496 11999 0 0 0 10228 2 0 0 25 0 1 0 550289352 49377280 8204 33554432000 4194304 4260849 140734547487840 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8090/statm: 12055 8204 248 17 0 8696 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 56924

[startup+162.301 s]
/proc/loadavg: 3.74 1.69 1.12 5/194 8131
/proc/meminfo: memFree=20272728/32951124 swapFree=67110396/67111528
[pid=8088] ppid=8086 vsize=8704 CPUtime=0 cores=1,3
/proc/8088/stat : 8088 (glucose.sh) S 8086 8088 8058 0 -1 4202496 360 153 0 0 0 0 0 0 20 0 1 0 550289352 8912896 255 33554432000 4194304 4922060 140736474685472 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8088/statm: 2176 255 211 178 0 69 0
[pid=8090] ppid=8088 vsize=55276 CPUtime=162.29 cores=1,3
/proc/8090/stat : 8090 (glucose_static) R 8088 8088 8058 0 -1 4202496 14268 0 0 0 16226 3 0 0 25 0 1 0 550289352 56602624 10394 33554432000 4194304 4260849 140734547487840 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8090/statm: 13819 10394 248 17 0 10460 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 63980

[startup+222.301 s]
/proc/loadavg: 3.90 2.11 1.30 5/194 8133
/proc/meminfo: memFree=20262644/32951124 swapFree=67110396/67111528
[pid=8088] ppid=8086 vsize=8704 CPUtime=0 cores=1,3
/proc/8088/stat : 8088 (glucose.sh) S 8086 8088 8058 0 -1 4202496 360 153 0 0 0 0 0 0 20 0 1 0 550289352 8912896 255 33554432000 4194304 4922060 140736474685472 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8088/statm: 2176 255 211 178 0 69 0
[pid=8090] ppid=8088 vsize=71632 CPUtime=222.29 cores=1,3
/proc/8090/stat : 8090 (glucose_static) R 8088 8088 8058 0 -1 4202496 17308 0 0 0 22226 3 0 0 25 0 1 0 550289352 73351168 10423 33554432000 4194304 4260849 140734547487840 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8090/statm: 17908 10423 248 17 0 14549 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 80336

[startup+282.301 s]
/proc/loadavg: 3.96 2.45 1.47 5/194 8135
/proc/meminfo: memFree=20238428/32951124 swapFree=67110396/67111528
[pid=8088] ppid=8086 vsize=8704 CPUtime=0 cores=1,3
/proc/8088/stat : 8088 (glucose.sh) S 8086 8088 8058 0 -1 4202496 360 153 0 0 0 0 0 0 20 0 1 0 550289352 8912896 255 33554432000 4194304 4922060 140736474685472 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8088/statm: 2176 255 211 178 0 69 0
[pid=8090] ppid=8088 vsize=71632 CPUtime=282.29 cores=1,3
/proc/8090/stat : 8090 (glucose_static) R 8088 8088 8058 0 -1 4202496 17373 0 0 0 28226 3 0 0 25 0 1 0 550289352 73351168 10486 33554432000 4194304 4260849 140734547487840 18446744073709551615 4225072 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8090/statm: 17908 10486 248 17 0 14549 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 80336

[startup+342.301 s]
/proc/loadavg: 4.06 2.75 1.63 5/194 8137
/proc/meminfo: memFree=20223636/32951124 swapFree=67110396/67111528
[pid=8088] ppid=8086 vsize=8704 CPUtime=0 cores=1,3
/proc/8088/stat : 8088 (glucose.sh) S 8086 8088 8058 0 -1 4202496 360 153 0 0 0 0 0 0 20 0 1 0 550289352 8912896 255 33554432000 4194304 4922060 140736474685472 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8088/statm: 2176 255 211 178 0 69 0
[pid=8090] ppid=8088 vsize=71632 CPUtime=342.29 cores=1,3
/proc/8090/stat : 8090 (glucose_static) R 8088 8088 8058 0 -1 4202496 20026 0 0 0 34225 4 0 0 25 0 1 0 550289352 73351168 13014 33554432000 4194304 4260849 140734547487840 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8090/statm: 17908 13014 248 17 0 14549 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 80336

[startup+402.301 s]
/proc/loadavg: 4.02 2.97 1.77 5/194 8139
/proc/meminfo: memFree=20205504/32951124 swapFree=67110396/67111528
[pid=8088] ppid=8086 vsize=8704 CPUtime=0 cores=1,3

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

/proc/8090/statm: 17908 14307 248 17 0 14549 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 80336

[startup+642.301 s]
/proc/loadavg: 4.04 3.56 2.28 5/194 8145
/proc/meminfo: memFree=20144252/32951124 swapFree=67110396/67111528
[pid=8088] ppid=8086 vsize=8704 CPUtime=0 cores=1,3
/proc/8088/stat : 8088 (glucose.sh) S 8086 8088 8058 0 -1 4202496 360 153 0 0 0 0 0 0 20 0 1 0 550289352 8912896 255 33554432000 4194304 4922060 140736474685472 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8088/statm: 2176 255 211 178 0 69 0
[pid=8090] ppid=8088 vsize=71632 CPUtime=642.31 cores=1,3
/proc/8090/stat : 8090 (glucose_static) R 8088 8088 8058 0 -1 4202496 21551 0 0 0 64225 6 0 0 25 0 1 0 550289352 73351168 14490 33554432000 4194304 4260849 140734547487840 18446744073709551615 4225060 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8090/statm: 17908 14490 248 17 0 14549 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 80336

[startup+702.301 s]
/proc/loadavg: 4.01 3.64 2.39 5/194 8147
/proc/meminfo: memFree=20142984/32951124 swapFree=67110396/67111528
[pid=8088] ppid=8086 vsize=8704 CPUtime=0 cores=1,3
/proc/8088/stat : 8088 (glucose.sh) S 8086 8088 8058 0 -1 4202496 360 153 0 0 0 0 0 0 20 0 1 0 550289352 8912896 255 33554432000 4194304 4922060 140736474685472 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8088/statm: 2176 255 211 178 0 69 0
[pid=8090] ppid=8088 vsize=79416 CPUtime=702.3 cores=1,3
/proc/8090/stat : 8090 (glucose_static) R 8088 8088 8058 0 -1 4202496 26842 0 0 0 70224 6 0 0 25 0 1 0 550289352 81321984 14988 33554432000 4194304 4260849 140734547487840 18446744073709551615 4224898 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8090/statm: 19854 14988 248 17 0 16495 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 88120

[startup+762.307 s]
/proc/loadavg: 4.00 3.70 2.48 5/194 8147
/proc/meminfo: memFree=20120124/32951124 swapFree=67110396/67111528
[pid=8088] ppid=8086 vsize=8704 CPUtime=0 cores=1,3
/proc/8088/stat : 8088 (glucose.sh) S 8086 8088 8058 0 -1 4202496 360 153 0 0 0 0 0 0 20 0 1 0 550289352 8912896 255 33554432000 4194304 4922060 140736474685472 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8088/statm: 2176 255 211 178 0 69 0
[pid=8090] ppid=8088 vsize=109764 CPUtime=762.3 cores=1,3
/proc/8090/stat : 8090 (glucose_static) R 8088 8088 8058 0 -1 4202496 28477 0 0 0 76223 7 0 0 25 0 1 0 550289352 112398336 16571 33554432000 4194304 4260849 140734547487840 18446744073709551615 4225060 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8090/statm: 27441 16571 248 17 0 24082 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 118468

[startup+822.301 s]
/proc/loadavg: 4.00 3.75 2.58 5/194 8149
/proc/meminfo: memFree=20115248/32951124 swapFree=67110396/67111528
[pid=8088] ppid=8086 vsize=8704 CPUtime=0 cores=1,3
/proc/8088/stat : 8088 (glucose.sh) S 8086 8088 8058 0 -1 4202496 360 153 0 0 0 0 0 0 20 0 1 0 550289352 8912896 255 33554432000 4194304 4922060 140736474685472 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8088/statm: 2176 255 211 178 0 69 0
[pid=8090] ppid=8088 vsize=109764 CPUtime=822.3 cores=1,3
/proc/8090/stat : 8090 (glucose_static) R 8088 8088 8058 0 -1 4202496 28615 0 0 0 82223 7 0 0 25 0 1 0 550289352 112398336 16701 33554432000 4194304 4260849 140734547487840 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8090/statm: 27441 16701 248 17 0 24082 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 118468

[startup+882.301 s]
/proc/loadavg: 4.00 3.79 2.66 5/194 8151
/proc/meminfo: memFree=20150788/32951124 swapFree=67110396/67111528
[pid=8088] ppid=8086 vsize=8704 CPUtime=0 cores=1,3
/proc/8088/stat : 8088 (glucose.sh) S 8086 8088 8058 0 -1 4202496 360 153 0 0 0 0 0 0 20 0 1 0 550289352 8912896 255 33554432000 4194304 4922060 140736474685472 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8088/statm: 2176 255 211 178 0 69 0
[pid=8090] ppid=8088 vsize=109764 CPUtime=882.3 cores=1,3
/proc/8090/stat : 8090 (glucose_static) R 8088 8088 8058 0 -1 4202496 28683 0 0 0 88223 7 0 0 25 0 1 0 550289352 112398336 16768 33554432000 4194304 4260849 140734547487840 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8090/statm: 27441 16768 248 17 0 24082 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 118468

[startup+942.301 s]
/proc/loadavg: 4.00 3.83 2.74 5/194 8153
/proc/meminfo: memFree=20080816/32951124 swapFree=67110396/67111528
[pid=8088] ppid=8086 vsize=8704 CPUtime=0 cores=1,3
/proc/8088/stat : 8088 (glucose.sh) S 8086 8088 8058 0 -1 4202496 360 153 0 0 0 0 0 0 20 0 1 0 550289352 8912896 255 33554432000 4194304 4922060 140736474685472 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8088/statm: 2176 255 211 178 0 69 0
[pid=8090] ppid=8088 vsize=109764 CPUtime=942.3 cores=1,3
/proc/8090/stat : 8090 (glucose_static) R 8088 8088 8058 0 -1 4202496 28745 0 0 0 94223 7 0 0 25 0 1 0 550289352 112398336 16828 33554432000 4194304 4260849 140734547487840 18446744073709551615 4224808 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8090/statm: 27441 16828 248 17 0 24082 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 118468

[startup+1002.3 s]
/proc/loadavg: 4.04 3.87 2.82 5/194 8155
/proc/meminfo: memFree=20149732/32951124 swapFree=67110396/67111528
[pid=8088] ppid=8086 vsize=8704 CPUtime=0 cores=1,3
/proc/8088/stat : 8088 (glucose.sh) S 8086 8088 8058 0 -1 4202496 360 153 0 0 0 0 0 0 20 0 1 0 550289352 8912896 255 33554432000 4194304 4922060 140736474685472 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8088/statm: 2176 255 211 178 0 69 0
[pid=8090] ppid=8088 vsize=109764 CPUtime=1002.3 cores=1,3
/proc/8090/stat : 8090 (glucose_static) R 8088 8088 8058 0 -1 4202496 28796 0 0 0 100223 7 0 0 25 0 1 0 550289352 112398336 16878 33554432000 4194304 4260849 140734547487840 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8090/statm: 27441 16878 248 17 0 24082 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 118468

[startup+1062.3 s]
/proc/loadavg: 4.01 3.89 2.89 5/194 8155
/proc/meminfo: memFree=20114604/32951124 swapFree=67110396/67111528
[pid=8088] ppid=8086 vsize=8704 CPUtime=0 cores=1,3
/proc/8088/stat : 8088 (glucose.sh) S 8086 8088 8058 0 -1 4202496 360 153 0 0 0 0 0 0 20 0 1 0 550289352 8912896 255 33554432000 4194304 4922060 140736474685472 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8088/statm: 2176 255 211 178 0 69 0
[pid=8090] ppid=8088 vsize=109764 CPUtime=1062.3 cores=1,3
/proc/8090/stat : 8090 (glucose_static) R 8088 8088 8058 0 -1 4202496 28796 0 0 0 106223 7 0 0 25 0 1 0 550289352 112398336 16878 33554432000 4194304 4260849 140734547487840 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8090/statm: 27441 16878 248 17 0 24082 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 118468

[startup+1122.3 s]
/proc/loadavg: 4.00 3.91 2.96 5/194 8157
/proc/meminfo: memFree=20115440/32951124 swapFree=67110396/67111528
[pid=8088] ppid=8086 vsize=8704 CPUtime=0 cores=1,3
/proc/8088/stat : 8088 (glucose.sh) S 8086 8088 8058 0 -1 4202496 360 153 0 0 0 0 0 0 20 0 1 0 550289352 8912896 255 33554432000 4194304 4922060 140736474685472 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8088/statm: 2176 255 211 178 0 69 0
[pid=8090] ppid=8088 vsize=109764 CPUtime=1122.3 cores=1,3
/proc/8090/stat : 8090 (glucose_static) R 8088 8088 8058 0 -1 4202496 29170 0 0 0 112223 7 0 0 25 0 1 0 550289352 112398336 17242 33554432000 4194304 4260849 140734547487840 18446744073709551615 4225104 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8090/statm: 27441 17242 248 17 0 24082 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 118468

[startup+1182.3 s]
/proc/loadavg: 4.05 3.94 3.03 5/194 8159
/proc/meminfo: memFree=20146412/32951124 swapFree=67110396/67111528
[pid=8088] ppid=8086 vsize=8704 CPUtime=0 cores=1,3
/proc/8088/stat : 8088 (glucose.sh) S 8086 8088 8058 0 -1 4202496 360 153 0 0 0 0 0 0 20 0 1 0 550289352 8912896 255 33554432000 4194304 4922060 140736474685472 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8088/statm: 2176 255 211 178 0 69 0
[pid=8090] ppid=8088 vsize=109764 CPUtime=1182.31 cores=1,3
/proc/8090/stat : 8090 (glucose_static) R 8088 8088 8058 0 -1 4202496 29350 0 0 0 118223 8 0 0 25 0 1 0 550289352 112398336 17415 33554432000 4194304 4260849 140734547487840 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8090/statm: 27441 17415 248 17 0 24082 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 118468

[startup+1242.3 s]
/proc/loadavg: 4.02 3.95 3.09 5/194 8161
/proc/meminfo: memFree=20115504/32951124 swapFree=67110396/67111528
[pid=8088] ppid=8086 vsize=8704 CPUtime=0 cores=1,3
/proc/8088/stat : 8088 (glucose.sh) S 8086 8088 8058 0 -1 4202496 360 153 0 0 0 0 0 0 20 0 1 0 550289352 8912896 255 33554432000 4194304 4922060 140736474685472 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8088/statm: 2176 255 211 178 0 69 0
[pid=8090] ppid=8088 vsize=109764 CPUtime=1242.31 cores=1,3
/proc/8090/stat : 8090 (glucose_static) R 8088 8088 8058 0 -1 4202496 29397 0 0 0 124223 8 0 0 25 0 1 0 550289352 112398336 17459 33554432000 4194304 4260849 140734547487840 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8090/statm: 27441 17459 248 17 0 24082 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 118468



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.00 3.95 3.14 5/194 8163
/proc/meminfo: memFree=20073188/32951124 swapFree=67110396/67111528
[pid=8088] ppid=8086 vsize=8704 CPUtime=0 cores=1,3
/proc/8088/stat : 8088 (glucose.sh) S 8086 8088 8058 0 -1 4202496 360 153 0 0 0 0 0 0 20 0 1 0 550289352 8912896 255 33554432000 4194304 4922060 140736474685472 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/8088/statm: 2176 255 211 178 0 69 0
[pid=8090] ppid=8088 vsize=109764 CPUtime=1300.02 cores=1,3
/proc/8090/stat : 8090 (glucose_static) R 8088 8088 8058 0 -1 4202496 29397 0 0 0 129994 8 0 0 25 0 1 0 550289352 112398336 17459 33554432000 4194304 4260849 140734547487840 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8090/statm: 27441 17459 248 17 0 24082 0
Current children cumulated CPU time (s) 1300.02
Current children cumulated vsize (KiB) 118468

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 8088 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.001998
# while last known CPU time is 1300.02
#
# 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): 1300.02
CPU user time (s): 1299.94
CPU system time (s): 0.08
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 118468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0.000999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 513
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= 2

runsolver used 2.14467 second user time and 4.96024 second system time

The end

Launcher Data 

Begin job on node118 at 2011-04-24 01:16:27
IDJOB=3273402
IDBENCH=83138
IDSOLVER=1651
FILE ID=node118/3273402-1303600587
RUNJOBID= node118-1303600585-8078
PBS_JOBID= 13150579
Free space on /tmp= 71744 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT11/crafted/spence/sgen/sgen3-n160-s40283905-sat.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3273402-1303600587/watcher-3273402-1303600587 -o /tmp/evaluation-result-3273402-1303600587/solver-3273402-1303600587 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3273402-1303600587.cnf 

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

MD5SUM BENCH= 8e3c134eb643f2d9a45c884774c054a8
RANDOM SEED=1030541810

node118.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.842
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.68
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.842
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.842
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.74
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.842
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.75
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.842
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.68
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.842
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.75
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.842
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.842
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	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20492032 kB
Buffers:       1859052 kB
Cached:       10013104 kB
SwapCached:        600 kB
Active:        8477848 kB
Inactive:      3459020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20492032 kB
SwapTotal:    67111528 kB
SwapFree:     67110396 kB
Dirty:            1200 kB
Writeback:           0 kB
AnonPages:       63556 kB
Mapped:          14512 kB
Slab:           458744 kB
PageTables:       4784 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188584 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= 71740 MiB
End job on node118 at 2011-04-24 01:38:09