Trace number 1543658

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.21 643.775

General information on the benchmark

NameRANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1096716652-027.cnf
MD5SUM5b03a3f3b068376a14f73a415b34dbf6
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.544916
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of clauses5340
Sum of the clauses size37380
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 55340

Solver Data


Verifier Data 

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

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1543658-1238494162/watcher-1543658-1238494162 -o /tmp/evaluation-result-1543658-1238494162/solver-1543658-1238494162 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543658-1238494162.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: 2.22 2.23 1.91 3/64 27018
/proc/meminfo: memFree=1176312/2055920 swapFree=4178912/4192956
[pid=27018] ppid=27016 vsize=1288 CPUtime=0
/proc/27018/stat : 27018 (satake) S 27016 27018 26427 0 -1 4194304 164 0 0 0 0 0 0 0 18 0 4 0 1122078725 1318912 149 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27018/statm: 322 149 65 163 0 157 0
[pid=27018/tid=27019] ppid=27016 vsize=1288 CPUtime=0
/proc/27018/task/27019/stat : 27019 (satake) S 27016 27018 26427 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1122078725 1318912 150 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27018/tid=27020] ppid=27016 vsize=1288 CPUtime=0
/proc/27018/task/27020/stat : 27020 (satake) R 27016 27018 26427 0 -1 4194368 76 0 0 0 0 0 0 0 19 0 4 0 1122078725 1318912 151 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27018/tid=27021] ppid=27016 vsize=1288 CPUtime=0
/proc/27018/task/27021/stat : 27021 (satake) R 27016 27018 26427 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 1122078725 1318912 151 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0825091 s]
/proc/loadavg: 2.22 2.23 1.91 3/64 27018
/proc/meminfo: memFree=1176312/2055920 swapFree=4178912/4192956
[pid=27018] ppid=27016 vsize=3792 CPUtime=0.13
/proc/27018/stat : 27018 (satake) S 27016 27018 26427 0 -1 4194304 403 0 0 0 10 3 0 0 18 0 4 0 1122078725 3883008 320 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27018/statm: 948 320 70 163 0 783 0
[pid=27018/tid=27019] ppid=27016 vsize=3792 CPUtime=0.01
/proc/27018/task/27019/stat : 27019 (satake) R 27016 27018 26427 0 -1 4194368 18 0 0 0 0 1 0 0 19 0 4 0 1122078725 3883008 320 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27018/tid=27020] ppid=27016 vsize=3792 CPUtime=0.06
/proc/27018/task/27020/stat : 27020 (satake) S 27016 27018 26427 0 -1 4194368 139 0 0 0 5 1 0 0 17 0 4 0 1122078725 3883008 320 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27018/tid=27021] ppid=27016 vsize=3792 CPUtime=0.04
/proc/27018/task/27021/stat : 27021 (satake) R 27016 27018 26427 0 -1 4194368 163 0 0 0 4 0 0 0 17 0 4 0 1122078725 3883008 320 1992294400 134512640 135180984 4294956208 18446744073709551615 134518219 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 3792

[startup+0.101509 s]
/proc/loadavg: 2.22 2.23 1.91 3/64 27018
/proc/meminfo: memFree=1176312/2055920 swapFree=4178912/4192956
[pid=27018] ppid=27016 vsize=3792 CPUtime=0.16
/proc/27018/stat : 27018 (satake) S 27016 27018 26427 0 -1 4194304 415 0 0 0 12 4 0 0 18 0 4 0 1122078725 3883008 332 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27018/statm: 948 332 70 163 0 783 0
[pid=27018/tid=27019] ppid=27016 vsize=3792 CPUtime=0.02
/proc/27018/task/27019/stat : 27019 (satake) R 27016 27018 26427 0 -1 4194368 20 0 0 0 0 2 0 0 19 0 4 0 1122078725 3883008 332 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27018/tid=27020] ppid=27016 vsize=3792 CPUtime=0.06
/proc/27018/task/27020/stat : 27020 (satake) S 27016 27018 26427 0 -1 4194368 144 0 0 0 5 1 0 0 17 0 4 0 1122078725 3883008 332 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27018/tid=27021] ppid=27016 vsize=3792 CPUtime=0.06
/proc/27018/task/27021/stat : 27021 (satake) S 27016 27018 26427 0 -1 4194368 168 0 0 0 5 1 0 0 16 0 4 0 1122078725 3883008 332 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 3792

[startup+0.301531 s]
/proc/loadavg: 2.22 2.23 1.91 3/64 27018
/proc/meminfo: memFree=1176312/2055920 swapFree=4178912/4192956
[pid=27018] ppid=27016 vsize=4188 CPUtime=0.5
/proc/27018/stat : 27018 (satake) S 27016 27018 26427 0 -1 4194304 531 0 0 0 33 17 0 0 18 0 4 0 1122078725 4288512 448 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27018/statm: 1047 448 70 163 0 882 0
[pid=27018/tid=27019] ppid=27016 vsize=4188 CPUtime=0.09
/proc/27018/task/27019/stat : 27019 (satake) R 27016 27018 26427 0 -1 4194368 50 0 0 0 1 8 0 0 18 0 4 0 1122078725 4288512 448 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27018/tid=27020] ppid=27016 vsize=4188 CPUtime=0.19
/proc/27018/task/27020/stat : 27020 (satake) R 27016 27018 26427 0 -1 4194368 197 0 0 0 16 3 0 0 16 0 4 0 1122078725 4288512 448 1992294400 134512640 135180984 4294956208 18446744073709551615 134528571 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27018/tid=27021] ppid=27016 vsize=4188 CPUtime=0.18
/proc/27018/task/27021/stat : 27021 (satake) R 27016 27018 26427 0 -1 4194368 201 0 0 0 14 4 0 0 16 0 4 0 1122078725 4288512 448 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 4188

[startup+0.701575 s]
/proc/loadavg: 2.22 2.23 1.91 3/64 27018
/proc/meminfo: memFree=1176312/2055920 swapFree=4178912/4192956
[pid=27018] ppid=27016 vsize=4452 CPUtime=1.21
/proc/27018/stat : 27018 (satake) S 27016 27018 26427 0 -1 4194304 670 0 0 0 80 41 0 0 18 0 4 0 1122078725 4558848 587 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27018/statm: 1113 587 70 163 0 948 0
[pid=27018/tid=27019] ppid=27016 vsize=4452 CPUtime=0.25
/proc/27018/task/27019/stat : 27019 (satake) S 27016 27018 26427 0 -1 4194368 108 0 0 0 4 21 0 0 17 0 4 0 1122078725 4558848 587 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=27018/tid=27020] ppid=27016 vsize=4452 CPUtime=0.47
/proc/27018/task/27020/stat : 27020 (satake) R 27016 27018 26427 0 -1 4194368 239 0 0 0 39 8 0 0 17 0 4 0 1122078725 4558848 587 1992294400 134512640 135180984 4294956208 18446744073709551615 134528641 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27018/tid=27021] ppid=27016 vsize=4452 CPUtime=0.45
/proc/27018/task/27021/stat : 27021 (satake) R 27016 27018 26427 0 -1 4194368 240 0 0 0 35 10 0 0 17 0 4 0 1122078725 4558848 587 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 4452

[startup+1.50285 s]
/proc/loadavg: 2.22 2.23 1.91 3/68 27022
/proc/meminfo: memFree=1173848/2055920 swapFree=4178912/4192956
[pid=27018] ppid=27016 vsize=4584 CPUtime=2.66
/proc/27018/stat : 27018 (satake) S 27016 27018 26427 0 -1 4194304 860 0 0 0 173 93 0 0 18 0 4 0 1122078725 4694016 777 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27018/statm: 1146 777 70 163 0 981 0
[pid=27018/tid=27019] ppid=27016 vsize=4584 CPUtime=0.58
/proc/27018/task/27019/stat : 27019 (satake) S 27016 27018 26427 0 -1 4194368 224 0 0 0 11 47 0 0 16 0 4 0 1122078725 4694016 777 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=27018/tid=27020] ppid=27016 vsize=4584 CPUtime=1.03
/proc/27018/task/27020/stat : 27020 (satake) R 27016 27018 26427 0 -1 4194368 267 0 0 0 82 21 0 0 16 0 4 0 1122078725 4694016 777 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27018/tid=27021] ppid=27016 vsize=4584 CPUtime=1.02
/proc/27018/task/27021/stat : 27021 (satake) R 27016 27018 26427 0 -1 4194368 286 0 0 0 79 23 0 0 17 0 4 0 1122078725 4694016 777 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 4584

[startup+3.10202 s]
/proc/loadavg: 2.22 2.23 1.91 3/68 27022
/proc/meminfo: memFree=1172888/2055920 swapFree=4178912/4192956
[pid=27018] ppid=27016 vsize=5880 CPUtime=5.47
/proc/27018/stat : 27018 (satake) S 27016 27018 26427 0 -1 4194304 1158 0 0 0 353 194 0 0 18 0 4 0 1122078725 6021120 1075 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27018/statm: 1470 1075 70 163 0 1305 0
[pid=27018/tid=27019] ppid=27016 vsize=5880 CPUtime=1.19
/proc/27018/task/27019/stat : 27019 (satake) R 27016 27018 26427 0 -1 4194368 445 0 0 0 24 95 0 0 15 0 4 0 1122078725 6021120 1075 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27018/tid=27020] ppid=27016 vsize=5880 CPUtime=2.14
/proc/27018/task/27020/stat : 27020 (satake) R 27016 27018 26427 0 -1 4194368 296 0 0 0 166 48 0 0 15 0 4 0 1122078725 6021120 1075 1992294400 134512640 135180984 4294956208 18446744073709551615 134519884 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27018/tid=27021] ppid=27016 vsize=5880 CPUtime=2.13
/proc/27018/task/27021/stat : 27021 (satake) R 27016 27018 26427 0 -1 4194368 334 0 0 0 163 50 0 0 16 0 4 0 1122078725 6021120 1075 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.47
Current children cumulated vsize (KiB) 5880

[startup+6.30136 s]
/proc/loadavg: 2.28 2.24 1.92 4/68 27022
/proc/meminfo: memFree=1170520/2055920 swapFree=4178912/4192956
[pid=27018] ppid=27016 vsize=8404 CPUtime=11.18
/proc/27018/stat : 27018 (satake) S 27016 27018 26427 0 -1 4194304 1716 0 0 0 709 409 0 0 18 0 4 0 1122078725 8605696 1633 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27018/statm: 2101 1633 70 163 0 1936 0
[pid=27018/tid=27019] ppid=27016 vsize=8404 CPUtime=2.51
/proc/27018/task/27019/stat : 27019 (satake) S 27016 27018 26427 0 -1 4194368 916 0 0 0 51 200 0 0 16 0 4 0 1122078725 8605696 1633 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27018/tid=27020] ppid=27016 vsize=8404 CPUtime=4.36
/proc/27018/task/27020/stat : 27020 (satake) R 27016 27018 26427 0 -1 4194368 352 0 0 0 331 105 0 0 15 0 4 0 1122078725 8605696 1633 1992294400 134512640 135180984 4294956208 18446744073709551615 134528436 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27018/tid=27021] ppid=27016 vsize=8404 CPUtime=4.29
/proc/27018/task/27021/stat : 27021 (satake) R 27016 27018 26427 0 -1 4194368 365 0 0 0 326 103 0 0 16 0 4 0 1122078725 8605696 1633 1992294400 134512640 135180984 4294956208 18446744073709551615 134528576 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.18
Current children cumulated vsize (KiB) 8404

[startup+12.703 s]
/proc/loadavg: 2.26 2.24 1.92 3/68 27022
/proc/meminfo: memFree=1166360/2055920 swapFree=4178912/4192956
[pid=27018] ppid=27016 vsize=13120 CPUtime=22.72
/proc/27018/stat : 27018 (satake) S 27016 27018 26427 0 -1 4194304 2623 0 0 0 1435 837 0 0 18 0 4 0 1122078725 13434880 2540 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27018/statm: 3280 2540 70 163 0 3115 0
[pid=27018/tid=27019] ppid=27016 vsize=13120 CPUtime=5.1
/proc/27018/task/27019/stat : 27019 (satake) R 27016 27018 26427 0 -1 4194368 1719 0 0 0 101 409 0 0 15 0 4 0 1122078725 13434880 2540 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27018/tid=27020] ppid=27016 vsize=13120 CPUtime=8.82
/proc/27018/task/27020/stat : 27020 (satake) R 27016 27018 26427 0 -1 4194368 421 0 0 0 667 215 0 0 15 0 4 0 1122078725 13434880 2540 1992294400 134512640 135180984 4294956208 18446744073709551615 134528862 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27018/tid=27021] ppid=27016 vsize=13120 CPUtime=8.77
/proc/27018/task/27021/stat : 27021 (satake) R 27016 27018 26427 0 -1 4194368 400 0 0 0 665 212 0 0 15 0 4 0 1122078725 13434880 2540 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 22.72
Current children cumulated vsize (KiB) 13120

[startup+25.5014 s]
/proc/loadavg: 2.42 2.28 1.93 3/68 27022
/proc/meminfo: memFree=1159064/2055920 swapFree=4178912/4192956
[pid=27018] ppid=27016 vsize=21956 CPUtime=45.98
/proc/27018/stat : 27018 (satake) S 27016 27018 26427 0 -1 4194304 4455 0 0 0 2896 1702 0 0 18 0 4 0 1122078725 22482944 4372 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27018/statm: 5489 4372 70 163 0 5324 0
[pid=27018/tid=27019] ppid=27016 vsize=21956 CPUtime=10.43
/proc/27018/task/27019/stat : 27019 (satake) R 27016 27018 26427 0 -1 4194368 3293 0 0 0 214 829 0 0 15 0 4 0 1122078725 22482944 4372 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27018/tid=27020] ppid=27016 vsize=21956 CPUtime=17.73
/proc/27018/task/27020/stat : 27020 (satake) S 27016 27018 26427 0 -1 4194368 554 0 0 0 1344 429 0 0 16 0 4 0 1122078725 22482944 4372 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=27018/tid=27021] ppid=27016 vsize=21956 CPUtime=17.8
/proc/27018/task/27021/stat : 27021 (satake) S 27016 27018 26427 0 -1 4194368 525 0 0 0 1337 443 0 0 15 0 4 0 1122078725 22482944 4372 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 45.98
Current children cumulated vsize (KiB) 21956

[startup+51.1012 s]
/proc/loadavg: 2.40 2.28 1.94 4/68 27022
/proc/meminfo: memFree=1145176/2055920 swapFree=4178912/4192956
[pid=27018] ppid=27016 vsize=40200 CPUtime=92.66
/proc/27018/stat : 27018 (satake) S 27016 27018 26427 0 -1 4194304 7935 0 0 0 5755 3511 0 0 18 0 4 0 1122078725 41164800 7852 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27018/statm: 10050 7852 70 163 0 9885 0
[pid=27018/tid=27019] ppid=27016 vsize=40200 CPUtime=21.3
/proc/27018/task/27019/stat : 27019 (satake) R 27016 27018 26427 0 -1 4194368 5839 0 0 0 430 1700 0 0 15 0 4 0 1122078725 41164800 7852 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27018/tid=27020] ppid=27016 vsize=40200 CPUtime=35.54
/proc/27018/task/27020/stat : 27020 (satake) R 27016 27018 26427 0 -1 4194368 1054 0 0 0 2657 897 0 0 16 0 4 0 1122078725 41164800 7852 1992294400 134512640 135180984 4294956208 18446744073709551615 134528711 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27018/tid=27021] ppid=27016 vsize=40200 CPUtime=35.8
/proc/27018/task/27021/stat : 27021 (satake) R 27016 27018 26427 0 -1 4194368 959 0 0 0 2667 913 0 0 17 0 4 0 1122078725 41164800 7852 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 92.66
Current children cumulated vsize (KiB) 40200

[startup+102.307 s]
/proc/loadavg: 2.47 2.32 1.97 3/68 27022
/proc/meminfo: memFree=1118040/2055920 swapFree=4178912/4192956
[pid=27018] ppid=27016 vsize=71640 CPUtime=187.11
/proc/27018/stat : 27018 (satake) S 27016 27018 26427 0 -1 4194304 14602 0 0 0 11760 6951 0 0 18 0 4 0 1122078725 73359360 14519 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27018/statm: 17910 14519 70 163 0 17745 0
[pid=27018/tid=27019] ppid=27016 vsize=71640 CPUtime=42.13
/proc/27018/task/27019/stat : 27019 (satake) R 27016 27018 26427 0 -1 4194368 10110 0 0 0 867 3346 0 0 16 0 4 0 1122078725 73359360 14519 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27018/tid=27020] ppid=27016 vsize=71640 CPUtime=72.26
/proc/27018/task/27020/stat : 27020 (satake) R 27016 27018 26427 0 -1 4194368 2359 0 0 0 5427 1799 0 0 16 0 4 0 1122078725 73359360 14519 1992294400 134512640 135180984 4294956208 18446744073709551615 134518216 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27018/tid=27021] ppid=27016 vsize=71640 CPUtime=72.71
/proc/27018/task/27021/stat : 27021 (satake) S 27016 27018 26427 0 -1 4194368 2050 0 0 0 5466 1805 0 0 15 0 4 0 1122078725 73359360 14519 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 187.11
Current children cumulated vsize (KiB) 71640

[startup+162.302 s]
/proc/loadavg: 2.34 2.31 1.99 4/68 27022
/proc/meminfo: memFree=1087896/2055920 swapFree=4178912/4192956
[pid=27018] ppid=27016 vsize=106068 CPUtime=298.14
/proc/27018/stat : 27018 (satake) S 27016 27018 26427 0 -1 4194304 22192 0 0 0 18914 10900 0 0 18 0 4 0 1122078725 108613632 22109 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27018/statm: 26517 22109 70 163 0 26352 0
[pid=27018/tid=27019] ppid=27016 vsize=106068 CPUtime=66.09
/proc/27018/task/27019/stat : 27019 (satake) R 27016 27018 26427 0 -1 4194368 14869 0 0 0 1369 5240 0 0 15 0 4 0 1122078725 108613632 22109 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27018/tid=27020] ppid=27016 vsize=106068 CPUtime=115.54

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

Current children cumulated vsize (KiB) 106068

[startup+222.302 s]
/proc/loadavg: 2.38 2.33 2.02 3/68 27022
/proc/meminfo: memFree=1058136/2055920 swapFree=4178912/4192956
[pid=27018] ppid=27016 vsize=142684 CPUtime=410.03
/proc/27018/stat : 27018 (satake) S 27016 27018 26427 0 -1 4194304 29567 0 0 0 26240 14763 0 0 18 0 4 0 1122078725 146108416 29484 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27018/statm: 35671 29484 70 163 0 35506 0
[pid=27018/tid=27019] ppid=27016 vsize=142684 CPUtime=89.64
/proc/27018/task/27019/stat : 27019 (satake) R 27016 27018 26427 0 -1 4194368 19607 0 0 0 1860 7104 0 0 16 0 4 0 1122078725 146108416 29484 1992294400 134512640 135180984 4294956208 18446744073709551615 134579312 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27018/tid=27020] ppid=27016 vsize=142684 CPUtime=159.45
/proc/27018/task/27020/stat : 27020 (satake) R 27016 27018 26427 0 -1 4194368 5027 0 0 0 12125 3820 0 0 17 0 4 0 1122078725 146108416 29484 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27018/tid=27021] ppid=27016 vsize=142684 CPUtime=160.93
/proc/27018/task/27021/stat : 27021 (satake) S 27016 27018 26427 0 -1 4194368 4850 0 0 0 12254 3839 0 0 16 0 4 0 1122078725 146108416 29484 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 410.03
Current children cumulated vsize (KiB) 142684

[startup+282.302 s]
/proc/loadavg: 2.45 2.36 2.04 5/68 27022
/proc/meminfo: memFree=1028952/2055920 swapFree=4178912/4192956
[pid=27018] ppid=27016 vsize=179912 CPUtime=522.11
/proc/27018/stat : 27018 (satake) S 27016 27018 26427 0 -1 4194304 36886 0 0 0 33547 18664 0 0 18 0 4 0 1122078725 184229888 36803 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27018/statm: 44978 36803 70 163 0 44813 0
[pid=27018/tid=27019] ppid=27016 vsize=179912 CPUtime=113.33
/proc/27018/task/27019/stat : 27019 (satake) S 27016 27018 26427 0 -1 4194368 24807 0 0 0 2348 8985 0 0 15 0 4 0 1122078725 184229888 36803 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27018/tid=27020] ppid=27016 vsize=179912 CPUtime=203.13
/proc/27018/task/27020/stat : 27020 (satake) R 27016 27018 26427 0 -1 4194368 5956 0 0 0 15485 4828 0 0 16 0 4 0 1122078725 184229888 36803 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27018/tid=27021] ppid=27016 vsize=179912 CPUtime=205.64
/proc/27018/task/27021/stat : 27021 (satake) R 27016 27018 26427 0 -1 4194368 6040 0 0 0 15714 4850 0 0 17 0 4 0 1122078725 184229888 36803 1992294400 134512640 135180984 4294956208 18446744073709551615 134518208 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 179912

[startup+342.302 s]
/proc/loadavg: 2.44 2.38 2.07 3/68 27022
/proc/meminfo: memFree=999640/2055920 swapFree=4178912/4192956
[pid=27018] ppid=27016 vsize=212388 CPUtime=634.37
/proc/27018/stat : 27018 (satake) S 27016 27018 26427 0 -1 4194304 44124 0 0 0 40929 22508 0 0 18 0 4 0 1122078725 217485312 44041 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27018/statm: 53097 44041 70 163 0 52932 0
[pid=27018/tid=27019] ppid=27016 vsize=212388 CPUtime=136.54
/proc/27018/task/27019/stat : 27019 (satake) R 27016 27018 26427 0 -1 4194368 30380 0 0 0 2818 10836 0 0 16 0 4 0 1122078725 217485312 44041 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27018/tid=27020] ppid=27016 vsize=212388 CPUtime=247.41
/proc/27018/task/27020/stat : 27020 (satake) R 27016 27018 26427 0 -1 4194368 6895 0 0 0 18934 5807 0 0 16 0 4 0 1122078725 217485312 44041 1992294400 134512640 135180984 4294956208 18446744073709551615 134518670 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27018/tid=27021] ppid=27016 vsize=212388 CPUtime=250.38
/proc/27018/task/27021/stat : 27021 (satake) S 27016 27018 26427 0 -1 4194368 6766 0 0 0 19175 5863 0 0 16 0 4 0 1122078725 217485312 44041 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 634.37
Current children cumulated vsize (KiB) 212388

[startup+402.306 s]
/proc/loadavg: 2.42 2.38 2.09 3/68 27022
/proc/meminfo: memFree=970840/2055920 swapFree=4178912/4192956
[pid=27018] ppid=27016 vsize=252176 CPUtime=746.38
/proc/27018/stat : 27018 (satake) S 27016 27018 26427 0 -1 4194304 51346 0 0 0 48210 26428 0 0 18 0 4 0 1122078725 258228224 51263 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27018/statm: 63044 51263 70 163 0 62879 0
[pid=27018/tid=27019] ppid=27016 vsize=252176 CPUtime=160.31
/proc/27018/task/27019/stat : 27019 (satake) S 27016 27018 26427 0 -1 4194368 35710 0 0 0 3298 12733 0 0 15 0 4 0 1122078725 258228224 51263 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27018/tid=27020] ppid=27016 vsize=252176 CPUtime=291.36
/proc/27018/task/27020/stat : 27020 (satake) R 27016 27018 26427 0 -1 4194368 7828 0 0 0 22306 6830 0 0 15 0 4 0 1122078725 258228224 51263 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27018/tid=27021] ppid=27016 vsize=252176 CPUtime=294.68
/proc/27018/task/27021/stat : 27021 (satake) R 27016 27018 26427 0 -1 4194368 7725 0 0 0 22605 6863 0 0 15 0 4 0 1122078725 258228224 51263 1992294400 134512640 135180984 4294956208 18446744073709551615 134528760 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 746.38
Current children cumulated vsize (KiB) 252176

[startup+462.302 s]
/proc/loadavg: 2.44 2.39 2.11 3/68 27022
/proc/meminfo: memFree=942424/2055920 swapFree=4178912/4192956
[pid=27018] ppid=27016 vsize=287640 CPUtime=858.87
/proc/27018/stat : 27018 (satake) S 27016 27018 26427 0 -1 4194304 58406 0 0 0 55716 30171 0 0 18 0 4 0 1122078725 294543360 58323 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27018/statm: 71910 58323 70 163 0 71745 0
[pid=27018/tid=27019] ppid=27016 vsize=287640 CPUtime=183.06
/proc/27018/task/27019/stat : 27019 (satake) R 27016 27018 26427 0 -1 4194368 41556 0 0 0 3773 14533 0 0 16 0 4 0 1122078725 294543360 58323 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27018/tid=27020] ppid=27016 vsize=287640 CPUtime=336.64
/proc/27018/task/27020/stat : 27020 (satake) R 27016 27018 26427 0 -1 4194368 8570 0 0 0 25862 7802 0 0 17 0 4 0 1122078725 294543360 58323 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27018/tid=27021] ppid=27016 vsize=287640 CPUtime=339.16
/proc/27018/task/27021/stat : 27021 (satake) R 27016 27018 26427 0 -1 4194368 8197 0 0 0 26081 7835 0 0 16 0 4 0 1122078725 294543360 58323 1992294400 134512640 135180984 4294956208 18446744073709551615 134528465 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 858.87
Current children cumulated vsize (KiB) 287640

[startup+522.303 s]
/proc/loadavg: 2.51 2.41 2.13 3/68 27022
/proc/meminfo: memFree=914584/2055920 swapFree=4178912/4192956
[pid=27018] ppid=27016 vsize=320292 CPUtime=971.73
/proc/27018/stat : 27018 (satake) S 27016 27018 26427 0 -1 4194304 65424 0 0 0 63239 33934 0 0 18 0 4 0 1122078725 327979008 65341 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27018/statm: 80073 65341 70 163 0 79908 0
[pid=27018/tid=27019] ppid=27016 vsize=320292 CPUtime=205.84
/proc/27018/task/27019/stat : 27019 (satake) R 27016 27018 26427 0 -1 4194368 46976 0 0 0 4230 16354 0 0 16 0 4 0 1122078725 327979008 65341 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27018/tid=27020] ppid=27016 vsize=320292 CPUtime=381.15
/proc/27018/task/27020/stat : 27020 (satake) R 27016 27018 26427 0 -1 4194368 9042 0 0 0 29346 8769 0 0 17 0 4 0 1122078725 327979008 65341 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27018/tid=27021] ppid=27016 vsize=320292 CPUtime=384.73
/proc/27018/task/27021/stat : 27021 (satake) R 27016 27018 26427 0 -1 4194368 9323 0 0 0 29663 8810 0 0 16 0 4 0 1122078725 327979008 65341 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 971.73
Current children cumulated vsize (KiB) 320292

[startup+582.305 s]
/proc/loadavg: 2.57 2.44 2.15 3/68 27022
/proc/meminfo: memFree=887256/2055920 swapFree=4178912/4192956
[pid=27018] ppid=27016 vsize=349012 CPUtime=1084.93
/proc/27018/stat : 27018 (satake) S 27016 27018 26427 0 -1 4194304 72191 0 0 0 70846 37647 0 0 18 0 4 0 1122078725 357388288 72108 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27018/statm: 87253 72108 70 163 0 87088 0
[pid=27018/tid=27019] ppid=27016 vsize=349012 CPUtime=228.12
/proc/27018/task/27019/stat : 27019 (satake) S 27016 27018 26427 0 -1 4194368 52208 0 0 0 4674 18138 0 0 15 0 4 0 1122078725 357388288 72108 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27018/tid=27020] ppid=27016 vsize=349012 CPUtime=426.76
/proc/27018/task/27020/stat : 27020 (satake) R 27016 27018 26427 0 -1 4194368 9752 0 0 0 32947 9729 0 0 16 0 4 0 1122078725 357388288 72108 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27018/tid=27021] ppid=27016 vsize=349012 CPUtime=430.01
/proc/27018/task/27021/stat : 27021 (satake) R 27016 27018 26427 0 -1 4194368 10148 0 0 0 33223 9778 0 0 16 0 4 0 1122078725 357388288 72108 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1084.93
Current children cumulated vsize (KiB) 349012

[startup+642.301 s]
/proc/loadavg: 2.53 2.45 2.17 2/68 27022
/proc/meminfo: memFree=858392/2055920 swapFree=4178912/4192956
[pid=27018] ppid=27016 vsize=379884 CPUtime=1197.49
/proc/27018/stat : 27018 (satake) S 27016 27018 26427 0 -1 4194304 79333 0 0 0 78353 41396 0 0 18 0 4 0 1122078725 389001216 79235 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27018/statm: 94971 79235 70 163 0 94806 0
[pid=27018/tid=27019] ppid=27016 vsize=379884 CPUtime=251.01
/proc/27018/task/27019/stat : 27019 (satake) R 27016 27018 26427 0 -1 4194368 56677 0 0 0 5140 19961 0 0 15 0 4 0 1122078725 389001216 79235 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27018/tid=27020] ppid=27016 vsize=379884 CPUtime=471.05
/proc/27018/task/27020/stat : 27020 (satake) R 27016 27018 26427 0 -1 4194368 10825 0 0 0 36415 10690 0 0 16 0 4 0 1122078725 389001216 79235 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27018/tid=27021] ppid=27016 vsize=379884 CPUtime=475.42
/proc/27018/task/27021/stat : 27021 (satake) R 27016 27018 26427 0 -1 4194368 11748 0 0 0 36798 10744 0 0 15 0 4 0 1122078725 389001216 79235 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1197.49
Current children cumulated vsize (KiB) 379884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+643.703 s]
/proc/loadavg: 2.48 2.44 2.17 3/68 27022
/proc/meminfo: memFree=857688/2055920 swapFree=4178912/4192956
[pid=27018] ppid=27016 vsize=381164 CPUtime=1200.13
/proc/27018/stat : 27018 (satake) S 27016 27018 26427 0 -1 4194304 79513 0 0 0 78533 41480 0 0 18 0 4 0 1122078725 390311936 79415 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27018/statm: 95291 79415 70 163 0 95126 0
[pid=27018/tid=27019] ppid=27016 vsize=381164 CPUtime=251.52
/proc/27018/task/27019/stat : 27019 (satake) R 27016 27018 26427 0 -1 4194368 56847 0 0 0 5150 20002 0 0 16 0 4 0 1122078725 390311936 79415 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27018/tid=27020] ppid=27016 vsize=381164 CPUtime=472.08
/proc/27018/task/27020/stat : 27020 (satake) R 27016 27018 26427 0 -1 4194368 10825 0 0 0 36496 10712 0 0 15 0 4 0 1122078725 390311936 79415 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27018/tid=27021] ppid=27016 vsize=381164 CPUtime=476.51
/proc/27018/task/27021/stat : 27021 (satake) S 27016 27018 26427 0 -1 4194368 11758 0 0 0 36887 10764 0 0 15 0 4 0 1122078725 390311936 79415 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.13
Current children cumulated vsize (KiB) 381164

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

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

[startup+643.703 s]
/proc/loadavg: 2.48 2.44 2.17 3/68 27022
/proc/meminfo: memFree=857688/2055920 swapFree=4178912/4192956
[pid=27018] ppid=27016 vsize=381164 CPUtime=1200.13
/proc/27018/stat : 27018 (satake) S 27016 27018 26427 0 -1 4194304 79513 0 0 0 78533 41480 0 0 18 0 4 0 1122078725 390311936 79415 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27018/statm: 95291 79415 70 163 0 95126 0
[pid=27018/tid=27019] ppid=27016 vsize=381164 CPUtime=251.52
/proc/27018/task/27019/stat : 27019 (satake) R 27016 27018 26427 0 -1 4194368 56847 0 0 0 5150 20002 0 0 16 0 4 0 1122078725 390311936 79415 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27018/tid=27020] ppid=27016 vsize=381164 CPUtime=472.08
/proc/27018/task/27020/stat : 27020 (satake) R 27016 27018 26427 0 -1 4194368 10825 0 0 0 36496 10712 0 0 15 0 4 0 1122078725 390311936 79415 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27018/tid=27021] ppid=27016 vsize=381164 CPUtime=476.51
/proc/27018/task/27021/stat : 27021 (satake) S 27016 27018 26427 0 -1 4194368 11758 0 0 0 36887 10764 0 0 15 0 4 0 1122078725 390311936 79415 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.13
Current children cumulated vsize (KiB) 381164

Child ended because it received signal 15 (SIGTERM)
Real time (s): 643.775
CPU time (s): 1200.21
CPU user time (s): 785.348
CPU system time (s): 414.867
CPU usage (%): 186.434
Max. virtual memory (cumulated for all children) (KiB): 381164

deleting IPC queue 884736
deleting IPC queue 917505
deleting IPC queue 950274
deleting IPC queue 983043
deleting IPC queue 1015812
deleting IPC queue 1048581
deleting IPC queue 1081350
deleting IPC queue 1114119
deleting IPC queue 1146888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 785.348
system time used= 414.867
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79513
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= 16848488
involuntary context switches= 15128189

runsolver used 0.736887 second user time and 1.88571 second system time

The end

Launcher Data 

Begin job on node47 at 2009-03-31 12:09:22
IDJOB=1543658
IDBENCH=70499
IDSOLVER=553
FILE ID=node47/1543658-1238494162
PBS_JOBID= 9061881
Free space on /tmp= 66368 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/7SAT/SATISFIABLE/60/unif-k7-r89-v60-c5340-S1096716652-027.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543658-1238494162/watcher-1543658-1238494162 -o /tmp/evaluation-result-1543658-1238494162/solver-1543658-1238494162 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543658-1238494162.cnf 3 1200

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

MD5SUM BENCH= 5b03a3f3b068376a14f73a415b34dbf6
RANDOM SEED=1920191622

node47.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.216
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.216
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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1176728 kB
Buffers:        106728 kB
Cached:         669792 kB
SwapCached:       7792 kB
Active:         265900 kB
Inactive:       521056 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1176728 kB
SwapTotal:     4192956 kB
SwapFree:      4178912 kB
Dirty:             876 kB
Writeback:           0 kB
Mapped:          16088 kB
Slab:            78152 kB
Committed_AS:  3066236 kB
PageTables:       1452 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= 66368 MiB
End job on node47 at 2009-03-31 12:20:08