Trace number 1729524

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
satake 2009-03-22? (TO) 1200.13 726.257

General information on the benchmark

Namecrafted/Hard/contest03/looksrandom/
hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf
MD5SUM6a0d1029e840b2624bac287c335e4e2c
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 variables260
Number of clauses492
Sum of the clauses size1114
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2427
Number of clauses of size 30
Number of clauses of size 465
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

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

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1729524-1240750556/watcher-1729524-1240750556 -o /tmp/evaluation-result-1729524-1240750556/solver-1729524-1240750556 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1729524-1240750556.cnf 3 1200 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 11042
/proc/meminfo: memFree=1659552/2055920 swapFree=4191900/4192956
[pid=11042] ppid=11040 vsize=2040 CPUtime=0
/proc/11042/stat : 11042 (satake) S 11040 11042 10883 0 -1 4194304 146 0 0 0 0 0 0 0 20 0 4 0 103083665 2088960 131 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11042/statm: 510 131 68 163 0 345 0
[pid=11042/tid=11043] ppid=11040 vsize=2040 CPUtime=0
/proc/11042/task/11043/stat : 11043 (satake) R 11040 11042 10883 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 103083665 2088960 131 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11042/tid=11044] ppid=11040 vsize=2040 CPUtime=0
/proc/11042/task/11044/stat : 11044 (satake) R 11040 11042 10883 0 -1 4194368 26 0 0 0 0 0 0 0 21 0 4 0 103083665 2088960 131 1992294400 134512640 135180984 4294956208 18446744073709551615 134519108 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11042/tid=11045] ppid=11040 vsize=2040 CPUtime=0
/proc/11042/task/11045/stat : 11045 (satake) R 11040 11042 10883 0 -1 4194368 30 0 0 0 0 0 0 0 21 0 4 0 103083665 2088960 131 1992294400 134512640 135180984 4294956208 18446744073709551615 134526456 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.00776009 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 11042
/proc/meminfo: memFree=1659552/2055920 swapFree=4191900/4192956
[pid=11042] ppid=11040 vsize=2172 CPUtime=0
/proc/11042/stat : 11042 (satake) S 11040 11042 10883 0 -1 4194304 154 0 0 0 0 0 0 0 20 0 4 0 103083665 2224128 139 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11042/statm: 543 139 69 163 0 378 0
[pid=11042/tid=11043] ppid=11040 vsize=2172 CPUtime=0
/proc/11042/task/11043/stat : 11043 (satake) S 11040 11042 10883 0 -1 4194368 13 0 0 0 0 0 0 0 21 0 4 0 103083665 2224128 139 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=11042/tid=11044] ppid=11040 vsize=2172 CPUtime=0
/proc/11042/task/11044/stat : 11044 (satake) R 11040 11042 10883 0 -1 4194368 26 0 0 0 0 0 0 0 22 0 4 0 103083665 2224128 139 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11042/tid=11045] ppid=11040 vsize=2172 CPUtime=0
/proc/11042/task/11045/stat : 11045 (satake) S 11040 11042 10883 0 -1 4194368 32 0 0 0 0 0 0 0 21 0 4 0 103083665 2224128 139 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2172

[startup+0.101772 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 11042
/proc/meminfo: memFree=1659552/2055920 swapFree=4191900/4192956
[pid=11042] ppid=11040 vsize=2172 CPUtime=0.15
/proc/11042/stat : 11042 (satake) S 11040 11042 10883 0 -1 4194304 191 0 0 0 11 4 0 0 20 0 4 0 103083665 2224128 176 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11042/statm: 543 176 70 163 0 378 0
[pid=11042/tid=11043] ppid=11040 vsize=2172 CPUtime=0.02
/proc/11042/task/11043/stat : 11043 (satake) R 11040 11042 10883 0 -1 4194368 21 0 0 0 0 2 0 0 17 0 4 0 103083665 2224128 176 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11042/tid=11044] ppid=11040 vsize=2172 CPUtime=0.06
/proc/11042/task/11044/stat : 11044 (satake) S 11040 11042 10883 0 -1 4194368 42 0 0 0 5 1 0 0 17 0 4 0 103083665 2224128 176 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=11042/tid=11045] ppid=11040 vsize=2172 CPUtime=0.06
/proc/11042/task/11045/stat : 11045 (satake) R 11040 11042 10883 0 -1 4194368 45 0 0 0 5 1 0 0 16 0 4 0 103083665 2224128 176 1992294400 134512640 135180984 4294956208 18446744073709551615 134527323 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 2172

[startup+0.302117 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 11042
/proc/meminfo: memFree=1659552/2055920 swapFree=4191900/4192956
[pid=11042] ppid=11040 vsize=2304 CPUtime=0.46
/proc/11042/stat : 11042 (satake) S 11040 11042 10883 0 -1 4194304 221 0 0 0 33 13 0 0 20 0 4 0 103083665 2359296 206 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11042/statm: 576 206 70 163 0 411 0
[pid=11042/tid=11043] ppid=11040 vsize=2304 CPUtime=0.07
/proc/11042/task/11043/stat : 11043 (satake) S 11040 11042 10883 0 -1 4194368 27 0 0 0 1 6 0 0 16 0 4 0 103083665 2359296 206 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11042/tid=11044] ppid=11040 vsize=2304 CPUtime=0.18
/proc/11042/task/11044/stat : 11044 (satake) R 11040 11042 10883 0 -1 4194368 57 0 0 0 15 3 0 0 16 0 4 0 103083665 2359296 206 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11042/tid=11045] ppid=11040 vsize=2304 CPUtime=0.19
/proc/11042/task/11045/stat : 11045 (satake) S 11040 11042 10883 0 -1 4194368 54 0 0 0 16 3 0 0 15 0 4 0 103083665 2359296 206 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2304

[startup+0.70184 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 11042
/proc/meminfo: memFree=1659552/2055920 swapFree=4191900/4192956
[pid=11042] ppid=11040 vsize=2436 CPUtime=1.09
/proc/11042/stat : 11042 (satake) S 11040 11042 10883 0 -1 4194304 273 0 0 0 80 29 0 0 20 0 4 0 103083665 2494464 258 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11042/statm: 609 258 70 163 0 444 0
[pid=11042/tid=11043] ppid=11040 vsize=2436 CPUtime=0.17
/proc/11042/task/11043/stat : 11043 (satake) R 11040 11042 10883 0 -1 4194368 41 0 0 0 3 14 0 0 16 0 4 0 103083665 2494464 258 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11042/tid=11044] ppid=11040 vsize=2436 CPUtime=0.44
/proc/11042/task/11044/stat : 11044 (satake) R 11040 11042 10883 0 -1 4194368 84 0 0 0 37 7 0 0 16 0 4 0 103083665 2494464 258 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11042/tid=11045] ppid=11040 vsize=2436 CPUtime=0.47
/proc/11042/task/11045/stat : 11045 (satake) R 11040 11042 10883 0 -1 4194368 65 0 0 0 39 8 0 0 16 0 4 0 103083665 2494464 258 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 2436

[startup+1.50194 s]
/proc/loadavg: 0.91 0.95 0.98 3/68 11046
/proc/meminfo: memFree=1658496/2055920 swapFree=4191900/4192956
[pid=11042] ppid=11040 vsize=2832 CPUtime=2.32
/proc/11042/stat : 11042 (satake) S 11040 11042 10883 0 -1 4194304 375 0 0 0 167 65 0 0 20 0 4 0 103083665 2899968 360 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11042/statm: 708 360 70 163 0 543 0
[pid=11042/tid=11043] ppid=11040 vsize=2832 CPUtime=0.38
/proc/11042/task/11043/stat : 11043 (satake) R 11040 11042 10883 0 -1 4194368 91 0 0 0 7 31 0 0 16 0 4 0 103083665 2899968 360 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11042/tid=11044] ppid=11040 vsize=2832 CPUtime=0.95
/proc/11042/task/11044/stat : 11044 (satake) R 11040 11042 10883 0 -1 4194368 124 0 0 0 80 15 0 0 16 0 4 0 103083665 2899968 360 1992294400 134512640 135180984 4294956208 18446744073709551615 134527282 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11042/tid=11045] ppid=11040 vsize=2832 CPUtime=0.96
/proc/11042/task/11045/stat : 11045 (satake) S 11040 11042 10883 0 -1 4194368 77 0 0 0 79 17 0 0 15 0 4 0 103083665 2899968 360 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 2832

[startup+3.10127 s]
/proc/loadavg: 0.91 0.95 0.98 3/68 11046
/proc/meminfo: memFree=1657792/2055920 swapFree=4191900/4192956
[pid=11042] ppid=11040 vsize=3368 CPUtime=4.8
/proc/11042/stat : 11042 (satake) S 11040 11042 10883 0 -1 4194304 564 0 0 0 349 131 0 0 20 0 4 0 103083665 3448832 549 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11042/statm: 842 549 70 163 0 677 0
[pid=11042/tid=11043] ppid=11040 vsize=3368 CPUtime=0.75
/proc/11042/task/11043/stat : 11043 (satake) S 11040 11042 10883 0 -1 4194368 195 0 0 0 14 61 0 0 15 0 4 0 103083665 3448832 549 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11042/tid=11044] ppid=11040 vsize=3368 CPUtime=2.01
/proc/11042/task/11044/stat : 11044 (satake) R 11040 11042 10883 0 -1 4194368 190 0 0 0 167 34 0 0 16 0 4 0 103083665 3448832 549 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11042/tid=11045] ppid=11040 vsize=3368 CPUtime=2.02
/proc/11042/task/11045/stat : 11045 (satake) R 11040 11042 10883 0 -1 4194368 96 0 0 0 167 35 0 0 15 0 4 0 103083665 3448832 549 1992294400 134512640 135180984 4294956208 18446744073709551615 134532470 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 3368

[startup+6.30164 s]
/proc/loadavg: 0.92 0.95 0.98 3/68 11046
/proc/meminfo: memFree=1656128/2055920 swapFree=4191900/4192956
[pid=11042] ppid=11040 vsize=5016 CPUtime=9.69
/proc/11042/stat : 11042 (satake) S 11040 11042 10883 0 -1 4194304 1010 0 0 0 668 301 0 0 20 0 4 0 103083665 5136384 995 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11042/statm: 1254 995 70 163 0 1089 0
[pid=11042/tid=11043] ppid=11040 vsize=5016 CPUtime=1.79
/proc/11042/task/11043/stat : 11043 (satake) S 11040 11042 10883 0 -1 4194368 539 0 0 0 36 143 0 0 15 0 4 0 103083665 5136384 995 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11042/tid=11044] ppid=11040 vsize=5016 CPUtime=3.95
/proc/11042/task/11044/stat : 11044 (satake) R 11040 11042 10883 0 -1 4194368 267 0 0 0 317 78 0 0 16 0 4 0 103083665 5136384 995 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11042/tid=11045] ppid=11040 vsize=5016 CPUtime=3.93
/proc/11042/task/11045/stat : 11045 (satake) R 11040 11042 10883 0 -1 4194368 121 0 0 0 314 79 0 0 16 0 4 0 103083665 5136384 995 1992294400 134512640 135180984 4294956208 18446744073709551615 134537853 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9.69
Current children cumulated vsize (KiB) 5016

[startup+12.7014 s]
/proc/loadavg: 1.01 0.97 0.98 3/68 11046
/proc/meminfo: memFree=1652736/2055920 swapFree=4191900/4192956
[pid=11042] ppid=11040 vsize=8840 CPUtime=19.52
/proc/11042/stat : 11042 (satake) S 11040 11042 10883 0 -1 4194304 1764 0 0 0 1345 607 0 0 20 0 4 0 103083665 9052160 1749 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11042/statm: 2210 1749 70 163 0 2045 0
[pid=11042/tid=11043] ppid=11040 vsize=8840 CPUtime=3.69
/proc/11042/task/11043/stat : 11043 (satake) R 11040 11042 10883 0 -1 4194368 1109 0 0 0 75 294 0 0 16 0 4 0 103083665 9052160 1749 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11042/tid=11044] ppid=11040 vsize=8840 CPUtime=7.97
/proc/11042/task/11044/stat : 11044 (satake) S 11040 11042 10883 0 -1 4194368 395 0 0 0 641 156 0 0 15 0 4 0 103083665 9052160 1749 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=11042/tid=11045] ppid=11040 vsize=8840 CPUtime=7.84
/proc/11042/task/11045/stat : 11045 (satake) R 11040 11042 10883 0 -1 4194368 177 0 0 0 628 156 0 0 16 0 4 0 103083665 9052160 1749 1992294400 134512640 135180984 4294956208 18446744073709551615 134522992 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 19.52
Current children cumulated vsize (KiB) 8840

[startup+25.5019 s]
/proc/loadavg: 1.29 1.04 1.01 3/68 11046
/proc/meminfo: memFree=1647104/2055920 swapFree=4191900/4192956
[pid=11042] ppid=11040 vsize=14968 CPUtime=39.45
/proc/11042/stat : 11042 (satake) S 11040 11042 10883 0 -1 4194304 3118 0 0 0 2786 1159 0 0 20 0 4 0 103083665 15327232 3103 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11042/statm: 3742 3103 70 163 0 3577 0
[pid=11042/tid=11043] ppid=11040 vsize=14968 CPUtime=7.01
/proc/11042/task/11043/stat : 11043 (satake) R 11040 11042 10883 0 -1 4194368 2173 0 0 0 145 556 0 0 16 0 4 0 103083665 15327232 3103 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11042/tid=11044] ppid=11040 vsize=14968 CPUtime=16.35
/proc/11042/task/11044/stat : 11044 (satake) R 11040 11042 10883 0 -1 4194368 609 0 0 0 1331 304 0 0 16 0 4 0 103083665 15327232 3103 1992294400 134512640 135180984 4294956208 18446744073709551615 134518227 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11042/tid=11045] ppid=11040 vsize=14968 CPUtime=16.08
/proc/11042/task/11045/stat : 11045 (satake) R 11040 11042 10883 0 -1 4194368 253 0 0 0 1309 299 0 0 15 0 4 0 103083665 15327232 3103 1992294400 134512640 135180984 4294956208 18446744073709551615 134519894 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 39.45
Current children cumulated vsize (KiB) 14968

[startup+51.1019 s]
/proc/loadavg: 1.74 1.16 1.05 3/68 11046
/proc/meminfo: memFree=1636416/2055920 swapFree=4191900/4192956
[pid=11042] ppid=11040 vsize=27128 CPUtime=79.62
/proc/11042/stat : 11042 (satake) S 11040 11042 10883 0 -1 4194304 5832 0 0 0 5659 2303 0 0 20 0 4 0 103083665 27779072 5817 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11042/statm: 6782 5817 70 163 0 6617 0
[pid=11042/tid=11043] ppid=11040 vsize=27128 CPUtime=13.92
/proc/11042/task/11043/stat : 11043 (satake) S 11040 11042 10883 0 -1 4194368 4427 0 0 0 289 1103 0 0 15 0 4 0 103083665 27779072 5817 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11042/tid=11044] ppid=11040 vsize=27128 CPUtime=33.16
/proc/11042/task/11044/stat : 11044 (satake) R 11040 11042 10883 0 -1 4194368 903 0 0 0 2716 600 0 0 15 0 4 0 103083665 27779072 5817 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11042/tid=11045] ppid=11040 vsize=27128 CPUtime=32.53
/proc/11042/task/11045/stat : 11045 (satake) R 11040 11042 10883 0 -1 4194368 419 0 0 0 2654 599 0 0 17 0 4 0 103083665 27779072 5817 1992294400 134512640 135180984 4294956208 18446744073709551615 134522959 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 79.62
Current children cumulated vsize (KiB) 27128

[startup+102.306 s]
/proc/loadavg: 2.01 1.32 1.10 3/68 11046
/proc/meminfo: memFree=1615872/2055920 swapFree=4191900/4192956
[pid=11042] ppid=11040 vsize=52428 CPUtime=160.86
/proc/11042/stat : 11042 (satake) S 11040 11042 10883 0 -1 4194304 10849 0 0 0 11627 4459 0 0 20 0 4 0 103083665 53686272 10834 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11042/statm: 13107 10834 70 163 0 12942 0
[pid=11042/tid=11043] ppid=11040 vsize=52428 CPUtime=26.79
/proc/11042/task/11043/stat : 11043 (satake) S 11040 11042 10883 0 -1 4194368 8556 0 0 0 555 2124 0 0 15 0 4 0 103083665 53686272 10834 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11042/tid=11044] ppid=11040 vsize=52428 CPUtime=67.51
/proc/11042/task/11044/stat : 11044 (satake) R 11040 11042 10883 0 -1 4194368 1448 0 0 0 5589 1162 0 0 16 0 4 0 103083665 53686272 10834 1992294400 134512640 135180984 4294956208 18446744073709551615 134528129 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11042/tid=11045] ppid=11040 vsize=52428 CPUtime=66.53
/proc/11042/task/11045/stat : 11045 (satake) S 11040 11042 10883 0 -1 4194368 762 0 0 0 5481 1172 0 0 15 0 4 0 103083665 53686272 10834 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 160.86
Current children cumulated vsize (KiB) 52428

[startup+162.302 s]
/proc/loadavg: 2.05 1.46 1.16 3/68 11046
/proc/meminfo: memFree=1592384/2055920 swapFree=4191900/4192956
[pid=11042] ppid=11040 vsize=80000 CPUtime=257.14
/proc/11042/stat : 11042 (satake) S 11040 11042 10883 0 -1 4194304 16729 0 0 0 18657 7057 0 0 20 0 4 0 103083665 81920000 16714 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11042/statm: 20000 16714 70 163 0 19835 0
[pid=11042/tid=11043] ppid=11040 vsize=80000 CPUtime=42.39
/proc/11042/task/11043/stat : 11043 (satake) S 11040 11042 10883 0 -1 4194368 12800 0 0 0 887 3352 0 0 16 0 4 0 103083665 81920000 16714 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=11042/tid=11044] ppid=11040 vsize=80000 CPUtime=108.11

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

Current children cumulated vsize (KiB) 80000

[startup+222.302 s]
/proc/loadavg: 2.11 1.60 1.23 3/68 11046
/proc/meminfo: memFree=1569984/2055920 swapFree=4191900/4192956
[pid=11042] ppid=11040 vsize=107120 CPUtime=354.56
/proc/11042/stat : 11042 (satake) S 11040 11042 10883 0 -1 4194304 22274 0 0 0 25958 9498 0 0 20 0 4 0 103083665 109690880 22259 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11042/statm: 26780 22259 70 163 0 26615 0
[pid=11042/tid=11043] ppid=11040 vsize=107120 CPUtime=56.94
/proc/11042/task/11043/stat : 11043 (satake) R 11040 11042 10883 0 -1 4194368 16440 0 0 0 1189 4505 0 0 16 0 4 0 103083665 109690880 22259 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11042/tid=11044] ppid=11040 vsize=107120 CPUtime=150.16
/proc/11042/task/11044/stat : 11044 (satake) S 11040 11042 10883 0 -1 4194368 3210 0 0 0 12525 2491 0 0 16 0 4 0 103083665 109690880 22259 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11042/tid=11045] ppid=11040 vsize=107120 CPUtime=147.45
/proc/11042/task/11045/stat : 11045 (satake) R 11040 11042 10883 0 -1 4194368 2541 0 0 0 12244 2501 0 0 15 0 4 0 103083665 109690880 22259 1992294400 134512640 135180984 4294956208 18446744073709551615 134530765 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 354.56
Current children cumulated vsize (KiB) 107120

[startup+282.304 s]
/proc/loadavg: 2.26 1.74 1.30 2/68 11046
/proc/meminfo: memFree=1546624/2055920 swapFree=4191900/4192956
[pid=11042] ppid=11040 vsize=135464 CPUtime=452
/proc/11042/stat : 11042 (satake) S 11040 11042 10883 0 -1 4194304 28181 0 0 0 33095 12105 0 0 20 0 4 0 103083665 138715136 28166 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11042/statm: 33866 28166 70 163 0 33701 0
[pid=11042/tid=11043] ppid=11040 vsize=135464 CPUtime=72.89
/proc/11042/task/11043/stat : 11043 (satake) R 11040 11042 10883 0 -1 4194368 20147 0 0 0 1541 5748 0 0 17 0 4 0 103083665 138715136 28166 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11042/tid=11044] ppid=11040 vsize=135464 CPUtime=191.44
/proc/11042/task/11044/stat : 11044 (satake) R 11040 11042 10883 0 -1 4194368 4262 0 0 0 15977 3167 0 0 15 0 4 0 103083665 138715136 28166 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11042/tid=11045] ppid=11040 vsize=135464 CPUtime=187.65
/proc/11042/task/11045/stat : 11045 (satake) S 11040 11042 10883 0 -1 4194368 3689 0 0 0 15576 3189 0 0 15 0 4 0 103083665 138715136 28166 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 452
Current children cumulated vsize (KiB) 135464

[startup+342.302 s]
/proc/loadavg: 2.21 1.83 1.36 2/68 11052
/proc/meminfo: memFree=1523320/2055920 swapFree=4191900/4192956
[pid=11042] ppid=11040 vsize=162956 CPUtime=550.23
/proc/11042/stat : 11042 (satake) S 11040 11042 10883 0 -1 4194304 33938 0 0 0 40377 14646 0 0 20 0 4 0 103083665 166866944 33923 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11042/statm: 40739 33923 70 163 0 40574 0
[pid=11042/tid=11043] ppid=11040 vsize=162956 CPUtime=88.34
/proc/11042/task/11043/stat : 11043 (satake) R 11040 11042 10883 0 -1 4194368 23561 0 0 0 1865 6969 0 0 16 0 4 0 103083665 166866944 33923 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11042/tid=11044] ppid=11040 vsize=162956 CPUtime=233.27
/proc/11042/task/11044/stat : 11044 (satake) S 11040 11042 10883 0 -1 4194368 5397 0 0 0 19510 3817 0 0 15 0 4 0 103083665 166866944 33923 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=11042/tid=11045] ppid=11040 vsize=162956 CPUtime=228.6
/proc/11042/task/11045/stat : 11045 (satake) R 11040 11042 10883 0 -1 4194368 4897 0 0 0 19001 3859 0 0 16 0 4 0 103083665 166866944 33923 1992294400 134512640 135180984 4294956208 18446744073709551615 134518227 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 550.23
Current children cumulated vsize (KiB) 162956

[startup+402.301 s]
/proc/loadavg: 2.20 1.89 1.40 3/68 11052
/proc/meminfo: memFree=1506104/2055920 swapFree=4191900/4192956
[pid=11042] ppid=11040 vsize=181464 CPUtime=653.7
/proc/11042/stat : 11042 (satake) S 11040 11042 10883 0 -1 4194304 38262 0 0 0 48840 16530 0 0 20 0 4 0 103083665 185819136 38247 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11042/statm: 45366 38247 70 163 0 45201 0
[pid=11042/tid=11043] ppid=11040 vsize=181464 CPUtime=99.36
/proc/11042/task/11043/stat : 11043 (satake) S 11040 11042 10883 0 -1 4194368 25990 0 0 0 2100 7836 0 0 16 0 4 0 103083665 185819136 38247 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11042/tid=11044] ppid=11040 vsize=181464 CPUtime=279.42
/proc/11042/task/11044/stat : 11044 (satake) R 11040 11042 10883 0 -1 4194368 6435 0 0 0 23622 4320 0 0 17 0 4 0 103083665 185819136 38247 1992294400 134512640 135180984 4294956208 18446744073709551615 134528631 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11042/tid=11045] ppid=11040 vsize=181464 CPUtime=274.91
/proc/11042/task/11045/stat : 11045 (satake) R 11040 11042 10883 0 -1 4194368 5754 0 0 0 23117 4374 0 0 16 0 4 0 103083665 185819136 38247 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 653.7
Current children cumulated vsize (KiB) 181464

[startup+462.301 s]
/proc/loadavg: 2.28 1.95 1.45 4/68 11052
/proc/meminfo: memFree=1486392/2055920 swapFree=4191900/4192956
[pid=11042] ppid=11040 vsize=210772 CPUtime=754.06
/proc/11042/stat : 11042 (satake) S 11040 11042 10883 0 -1 4194304 43111 0 0 0 56780 18626 0 0 20 0 4 0 103083665 215830528 43096 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11042/statm: 52693 43096 70 163 0 52528 0
[pid=11042/tid=11043] ppid=11040 vsize=210772 CPUtime=111.74
/proc/11042/task/11043/stat : 11043 (satake) R 11040 11042 10883 0 -1 4194368 28658 0 0 0 2365 8809 0 0 16 0 4 0 103083665 215830528 43096 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11042/tid=11044] ppid=11040 vsize=210772 CPUtime=323.32
/proc/11042/task/11044/stat : 11044 (satake) R 11040 11042 10883 0 -1 4194368 7306 0 0 0 27446 4886 0 0 17 0 4 0 103083665 215830528 43096 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11042/tid=11045] ppid=11040 vsize=210772 CPUtime=318.99
/proc/11042/task/11045/stat : 11045 (satake) R 11040 11042 10883 0 -1 4194368 7064 0 0 0 26969 4930 0 0 16 0 4 0 103083665 215830528 43096 1992294400 134512640 135180984 4294956208 18446744073709551615 134520667 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 754.06
Current children cumulated vsize (KiB) 210772

[startup+522.301 s]
/proc/loadavg: 2.21 1.99 1.49 3/68 11052
/proc/meminfo: memFree=1466808/2055920 swapFree=4191900/4192956
[pid=11042] ppid=11040 vsize=232696 CPUtime=854.65
/proc/11042/stat : 11042 (satake) S 11040 11042 10883 0 -1 4194304 48059 0 0 0 64690 20775 0 0 20 0 4 0 103083665 238280704 48044 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11042/statm: 58174 48044 70 163 0 58009 0
[pid=11042/tid=11043] ppid=11040 vsize=232696 CPUtime=124.5
/proc/11042/task/11043/stat : 11043 (satake) R 11040 11042 10883 0 -1 4194368 31361 0 0 0 2639 9811 0 0 16 0 4 0 103083665 238280704 48044 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11042/tid=11044] ppid=11040 vsize=232696 CPUtime=367.22
/proc/11042/task/11044/stat : 11044 (satake) R 11040 11042 10883 0 -1 4194368 8312 0 0 0 31265 5457 0 0 16 0 4 0 103083665 238280704 48044 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11042/tid=11045] ppid=11040 vsize=232696 CPUtime=362.92
/proc/11042/task/11045/stat : 11045 (satake) R 11040 11042 10883 0 -1 4194368 8303 0 0 0 30786 5506 0 0 16 0 4 0 103083665 238280704 48044 1992294400 134512640 135180984 4294956208 18446744073709551615 134519095 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 854.65
Current children cumulated vsize (KiB) 232696

[startup+582.301 s]
/proc/loadavg: 2.38 2.08 1.56 3/68 11052
/proc/meminfo: memFree=1446712/2055920 swapFree=4191900/4192956
[pid=11042] ppid=11040 vsize=253752 CPUtime=956.57
/proc/11042/stat : 11042 (satake) S 11040 11042 10883 0 -1 4194304 53025 0 0 0 72708 22949 0 0 20 0 4 0 103083665 259842048 53010 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11042/statm: 63438 53010 70 163 0 63273 0
[pid=11042/tid=11043] ppid=11040 vsize=253752 CPUtime=137.4
/proc/11042/task/11043/stat : 11043 (satake) R 11040 11042 10883 0 -1 4194368 34022 0 0 0 2911 10829 0 0 16 0 4 0 103083665 259842048 53010 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11042/tid=11044] ppid=11040 vsize=253752 CPUtime=412.34
/proc/11042/task/11044/stat : 11044 (satake) S 11040 11042 10883 0 -1 4194368 9587 0 0 0 35194 6040 0 0 16 0 4 0 103083665 259842048 53010 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11042/tid=11045] ppid=11040 vsize=253752 CPUtime=406.82
/proc/11042/task/11045/stat : 11045 (satake) R 11040 11042 10883 0 -1 4194368 9333 0 0 0 34602 6080 0 0 15 0 4 0 103083665 259842048 53010 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 956.57
Current children cumulated vsize (KiB) 253752

[startup+642.306 s]
/proc/loadavg: 2.47 2.17 1.62 3/68 11052
/proc/meminfo: memFree=1427200/2055920 swapFree=4191900/4192956
[pid=11042] ppid=11040 vsize=274828 CPUtime=1057.98
/proc/11042/stat : 11042 (satake) S 11040 11042 10883 0 -1 4194304 57829 0 0 0 80723 25075 0 0 20 0 4 0 103083665 281423872 57814 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11042/statm: 68707 57814 70 163 0 68542 0
[pid=11042/tid=11043] ppid=11040 vsize=274828 CPUtime=149.98
/proc/11042/task/11043/stat : 11043 (satake) S 11040 11042 10883 0 -1 4194368 36625 0 0 0 3183 11815 0 0 16 0 4 0 103083665 281423872 57814 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11042/tid=11044] ppid=11040 vsize=274828 CPUtime=456.9
/proc/11042/task/11044/stat : 11044 (satake) R 11040 11042 10883 0 -1 4194368 10904 0 0 0 39088 6602 0 0 16 0 4 0 103083665 281423872 57814 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11042/tid=11045] ppid=11040 vsize=274828 CPUtime=451.08
/proc/11042/task/11045/stat : 11045 (satake) R 11040 11042 10883 0 -1 4194368 10217 0 0 0 38451 6657 0 0 16 0 4 0 103083665 281423872 57814 1992294400 134512640 135180984 4294956208 18446744073709551615 134530765 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1057.98
Current children cumulated vsize (KiB) 274828

[startup+702.302 s]
/proc/loadavg: 2.16 2.14 1.64 4/68 11052
/proc/meminfo: memFree=1406592/2055920 swapFree=4191900/4192956
[pid=11042] ppid=11040 vsize=301632 CPUtime=1159.13
/proc/11042/stat : 11042 (satake) S 11040 11042 10883 0 -1 4194304 62991 0 0 0 88580 27333 0 0 20 0 4 0 103083665 308871168 62976 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11042/statm: 75408 62976 70 163 0 75243 0
[pid=11042/tid=11043] ppid=11040 vsize=301632 CPUtime=163.48
/proc/11042/task/11043/stat : 11043 (satake) R 11040 11042 10883 0 -1 4194368 39331 0 0 0 3472 12876 0 0 16 0 4 0 103083665 308871168 62976 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11042/tid=11044] ppid=11040 vsize=301632 CPUtime=501.07
/proc/11042/task/11044/stat : 11044 (satake) S 11040 11042 10883 0 -1 4194368 12402 0 0 0 42911 7196 0 0 16 0 4 0 103083665 308871168 62976 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=11042/tid=11045] ppid=11040 vsize=301632 CPUtime=494.56
/proc/11042/task/11045/stat : 11045 (satake) R 11040 11042 10883 0 -1 4194368 11175 0 0 0 42196 7260 0 0 16 0 4 0 103083665 308871168 62976 1992294400 134512640 135180984 4294956208 18446744073709551615 134528401 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1159.13
Current children cumulated vsize (KiB) 301632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+726.202 s]
/proc/loadavg: 2.17 2.15 1.65 3/68 11052
/proc/meminfo: memFree=1398592/2055920 swapFree=4191900/4192956
[pid=11042] ppid=11040 vsize=311296 CPUtime=1200.06
/proc/11042/stat : 11042 (satake) S 11040 11042 10883 0 -1 4194304 64954 0 0 0 91803 28203 0 0 20 0 4 0 103083665 318767104 64939 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11042/statm: 77824 64939 70 163 0 77659 0
[pid=11042/tid=11043] ppid=11040 vsize=311296 CPUtime=168.56
/proc/11042/task/11043/stat : 11043 (satake) S 11040 11042 10883 0 -1 4194368 40375 0 0 0 3579 13277 0 0 15 0 4 0 103083665 318767104 64939 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=11042/tid=11044] ppid=11040 vsize=311296 CPUtime=518.91
/proc/11042/task/11044/stat : 11044 (satake) R 11040 11042 10883 0 -1 4194368 12937 0 0 0 44460 7431 0 0 17 0 4 0 103083665 318767104 64939 1992294400 134512640 135180984 4294956208 18446744073709551615 134523988 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11042/tid=11045] ppid=11040 vsize=311296 CPUtime=512.56
/proc/11042/task/11045/stat : 11045 (satake) R 11040 11042 10883 0 -1 4194368 11559 0 0 0 43762 7494 0 0 16 0 4 0 103083665 318767104 64939 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 311296

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 726.257
CPU time (s): 1200.13
CPU user time (s): 918.045
CPU system time (s): 282.083
CPU usage (%): 165.248
Max. virtual memory (cumulated for all children) (KiB): 311296

deleting IPC queue 294912
deleting IPC queue 327681
deleting IPC queue 360450
deleting IPC queue 393219
deleting IPC queue 425988
deleting IPC queue 458757
deleting IPC queue 491526
deleting IPC queue 524295
deleting IPC queue 557064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 918.045
system time used= 282.083
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64954
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= 15181486
involuntary context switches= 14193046

runsolver used 0.735888 second user time and 2.18267 second system time

The end

Launcher Data 

Begin job on node53 at 2009-04-26 14:55:56
IDJOB=1729524
IDBENCH=24704
IDSOLVER=553
FILE ID=node53/1729524-1240750556
PBS_JOBID= 9187058
Free space on /tmp= 66476 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT07/crafted/Hard/contest03/looksrandom/hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1729524-1240750556/watcher-1729524-1240750556 -o /tmp/evaluation-result-1729524-1240750556/solver-1729524-1240750556 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1729524-1240750556.cnf 3 1200

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

MD5SUM BENCH= 6a0d1029e840b2624bac287c335e4e2c
RANDOM SEED=1780034021

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1659968 kB
Buffers:         34588 kB
Cached:         287756 kB
SwapCached:        384 kB
Active:         107556 kB
Inactive:       228080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1659968 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:             752 kB
Writeback:           0 kB
Mapped:          21772 kB
Slab:            46324 kB
Committed_AS:   310600 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66476 MiB
End job on node53 at 2009-04-26 15:08:05