Trace number 1543694

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 661.774

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1339364096-048.cnf
MD5SUM2cbf25bf3c1a8a645c8c658cff25ce06
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1178.65
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of clauses2125
Sum of the clauses size6375
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32125
Number of clauses of size 40
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:489) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1543694-1238494384/watcher-1543694-1238494384 -o /tmp/evaluation-result-1543694-1238494384/solver-1543694-1238494384 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543694-1238494384.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.20 2.32 2.04 3/72 16181
/proc/meminfo: memFree=1683392/2055920 swapFree=4174692/4192956
[pid=16181] ppid=16179 vsize=1148 CPUtime=0
/proc/16181/stat : 16181 (satake) S 16179 16181 16015 0 -1 4194304 143 0 0 0 0 0 0 0 18 0 4 0 1122099500 1175552 128 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16181/statm: 287 128 68 163 0 122 0
[pid=16181/tid=16182] ppid=16179 vsize=1148 CPUtime=0
/proc/16181/task/16182/stat : 16182 (satake) R 16179 16181 16015 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1122099500 1175552 128 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16181/tid=16183] ppid=16179 vsize=1148 CPUtime=0
/proc/16181/task/16183/stat : 16183 (satake) R 16179 16181 16015 0 -1 4194368 53 0 0 0 0 0 0 0 19 0 4 0 1122099500 1175552 128 1992294400 134512640 135180984 4294956208 18446744073709551615 134526384 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16181/tid=16184] ppid=16179 vsize=1148 CPUtime=0
/proc/16181/task/16184/stat : 16184 (satake) R 16179 16181 16015 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 1122099500 1175552 128 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0686939 s]
/proc/loadavg: 2.20 2.32 2.04 3/72 16181
/proc/meminfo: memFree=1683392/2055920 swapFree=4174692/4192956
[pid=16181] ppid=16179 vsize=2416 CPUtime=0.1
/proc/16181/stat : 16181 (satake) S 16179 16181 16015 0 -1 4194304 229 0 0 0 5 5 0 0 18 0 4 0 1122099500 2473984 214 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16181/statm: 604 214 70 163 0 439 0
[pid=16181/tid=16182] ppid=16179 vsize=2416 CPUtime=0.02
/proc/16181/task/16182/stat : 16182 (satake) R 16179 16181 16015 0 -1 4194368 22 0 0 0 0 2 0 0 17 0 4 0 1122099500 2473984 214 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16181/tid=16183] ppid=16179 vsize=2416 CPUtime=0.03
/proc/16181/task/16183/stat : 16183 (satake) S 16179 16181 16015 0 -1 4194368 64 0 0 0 2 1 0 0 16 0 4 0 1122099500 2473984 215 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16181/tid=16184] ppid=16179 vsize=2416 CPUtime=0.03
/proc/16181/task/16184/stat : 16184 (satake) S 16179 16181 16015 0 -1 4194368 60 0 0 0 2 1 0 0 16 0 4 0 1122099500 2473984 215 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2416

[startup+0.1027 s]
/proc/loadavg: 2.20 2.32 2.04 3/72 16181
/proc/meminfo: memFree=1683392/2055920 swapFree=4174692/4192956
[pid=16181] ppid=16179 vsize=2548 CPUtime=0.15
/proc/16181/stat : 16181 (satake) S 16179 16181 16015 0 -1 4194304 252 0 0 0 8 7 0 0 18 0 4 0 1122099500 2609152 237 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16181/statm: 637 237 70 163 0 472 0
[pid=16181/tid=16182] ppid=16179 vsize=2548 CPUtime=0.04
/proc/16181/task/16182/stat : 16182 (satake) R 16179 16181 16015 0 -1 4194368 28 0 0 0 1 3 0 0 17 0 4 0 1122099500 2609152 237 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16181/tid=16183] ppid=16179 vsize=2548 CPUtime=0.04
/proc/16181/task/16183/stat : 16183 (satake) S 16179 16181 16015 0 -1 4194368 75 0 0 0 3 1 0 0 16 0 4 0 1122099500 2609152 237 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16181/tid=16184] ppid=16179 vsize=2548 CPUtime=0.04
/proc/16181/task/16184/stat : 16184 (satake) S 16179 16181 16015 0 -1 4194368 66 0 0 0 3 1 0 0 16 0 4 0 1122099500 2609152 237 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 2548

[startup+0.302736 s]
/proc/loadavg: 2.20 2.32 2.04 3/72 16181
/proc/meminfo: memFree=1683392/2055920 swapFree=4174692/4192956
[pid=16181] ppid=16179 vsize=2680 CPUtime=0.47
/proc/16181/stat : 16181 (satake) S 16179 16181 16015 0 -1 4194304 308 0 0 0 28 19 0 0 18 0 4 0 1122099500 2744320 293 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16181/statm: 670 293 70 163 0 505 0
[pid=16181/tid=16182] ppid=16179 vsize=2680 CPUtime=0.12
/proc/16181/task/16182/stat : 16182 (satake) R 16179 16181 16015 0 -1 4194368 52 0 0 0 3 9 0 0 17 0 4 0 1122099500 2744320 293 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16181/tid=16183] ppid=16179 vsize=2680 CPUtime=0.18
/proc/16181/task/16183/stat : 16183 (satake) R 16179 16181 16015 0 -1 4194368 93 0 0 0 13 5 0 0 17 0 4 0 1122099500 2744320 293 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16181/tid=16184] ppid=16179 vsize=2680 CPUtime=0.15
/proc/16181/task/16184/stat : 16184 (satake) R 16179 16181 16015 0 -1 4194368 80 0 0 0 11 4 0 0 16 0 4 0 1122099500 2744320 293 1992294400 134512640 135180984 4294956208 18446744073709551615 134528763 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2680

[startup+0.702822 s]
/proc/loadavg: 2.20 2.32 2.04 3/72 16181
/proc/meminfo: memFree=1683392/2055920 swapFree=4174692/4192956
[pid=16181] ppid=16179 vsize=2812 CPUtime=1.13
/proc/16181/stat : 16181 (satake) S 16179 16181 16015 0 -1 4194304 398 0 0 0 71 42 0 0 18 0 4 0 1122099500 2879488 383 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16181/statm: 703 383 70 163 0 538 0
[pid=16181/tid=16182] ppid=16179 vsize=2812 CPUtime=0.27
/proc/16181/task/16182/stat : 16182 (satake) R 16179 16181 16015 0 -1 4194368 105 0 0 0 6 21 0 0 17 0 4 0 1122099500 2879488 383 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16181/tid=16183] ppid=16179 vsize=2812 CPUtime=0.45
/proc/16181/task/16183/stat : 16183 (satake) R 16179 16181 16015 0 -1 4194368 112 0 0 0 33 12 0 0 17 0 4 0 1122099500 2879488 383 1992294400 134512640 135180984 4294956208 18446744073709551615 134520826 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16181/tid=16184] ppid=16179 vsize=2812 CPUtime=0.39
/proc/16181/task/16184/stat : 16184 (satake) R 16179 16181 16015 0 -1 4194368 98 0 0 0 31 8 0 0 17 0 4 0 1122099500 2879488 383 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 2812

[startup+1.50096 s]
/proc/loadavg: 2.20 2.32 2.04 3/76 16185
/proc/meminfo: memFree=1681760/2055920 swapFree=4174692/4192956
[pid=16181] ppid=16179 vsize=3076 CPUtime=2.47
/proc/16181/stat : 16181 (satake) S 16179 16181 16015 0 -1 4194304 550 0 0 0 154 93 0 0 18 0 4 0 1122099500 3149824 535 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16181/statm: 769 535 70 163 0 604 0
[pid=16181/tid=16182] ppid=16179 vsize=3076 CPUtime=0.58
/proc/16181/task/16182/stat : 16182 (satake) R 16179 16181 16015 0 -1 4194368 225 0 0 0 13 45 0 0 17 0 4 0 1122099500 3149824 535 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16181/tid=16183] ppid=16179 vsize=3076 CPUtime=0.97
/proc/16181/task/16183/stat : 16183 (satake) R 16179 16181 16015 0 -1 4194368 123 0 0 0 72 25 0 0 17 0 4 0 1122099500 3149824 535 1992294400 134512640 135180984 4294956208 18446744073709551615 134525458 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16181/tid=16184] ppid=16179 vsize=3076 CPUtime=0.89
/proc/16181/task/16184/stat : 16184 (satake) S 16179 16181 16015 0 -1 4194368 119 0 0 0 67 22 0 0 15 0 4 0 1122099500 3149824 535 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 3076

[startup+3.10344 s]
/proc/loadavg: 2.20 2.32 2.04 3/76 16185
/proc/meminfo: memFree=1680800/2055920 swapFree=4174692/4192956
[pid=16181] ppid=16179 vsize=4392 CPUtime=5.17
/proc/16181/stat : 16181 (satake) S 16179 16181 16015 0 -1 4194304 823 0 0 0 321 196 0 0 18 0 4 0 1122099500 4497408 808 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16181/statm: 1098 808 70 163 0 933 0
[pid=16181/tid=16182] ppid=16179 vsize=4392 CPUtime=1.24
/proc/16181/task/16182/stat : 16182 (satake) R 16179 16181 16015 0 -1 4194368 431 0 0 0 26 98 0 0 17 0 4 0 1122099500 4497408 808 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16181/tid=16183] ppid=16179 vsize=4392 CPUtime=2.04
/proc/16181/task/16183/stat : 16183 (satake) S 16179 16181 16015 0 -1 4194368 167 0 0 0 154 50 0 0 15 0 4 0 1122099500 4497408 808 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16181/tid=16184] ppid=16179 vsize=4392 CPUtime=1.87
/proc/16181/task/16184/stat : 16184 (satake) R 16179 16181 16015 0 -1 4194368 142 0 0 0 140 47 0 0 15 0 4 0 1122099500 4497408 808 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.17
Current children cumulated vsize (KiB) 4392

[startup+6.30202 s]
/proc/loadavg: 2.26 2.33 2.04 3/76 16185
/proc/meminfo: memFree=1678496/2055920 swapFree=4174692/4192956
[pid=16181] ppid=16179 vsize=7132 CPUtime=10.71
/proc/16181/stat : 16181 (satake) S 16179 16181 16015 0 -1 4194304 1338 0 0 0 683 388 0 0 18 0 4 0 1122099500 7303168 1323 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16181/statm: 1783 1323 70 163 0 1618 0
[pid=16181/tid=16182] ppid=16179 vsize=7132 CPUtime=2.45
/proc/16181/task/16182/stat : 16182 (satake) R 16179 16181 16015 0 -1 4194368 806 0 0 0 54 191 0 0 16 0 4 0 1122099500 7303168 1323 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16181/tid=16183] ppid=16179 vsize=7132 CPUtime=4.21
/proc/16181/task/16183/stat : 16183 (satake) R 16179 16181 16015 0 -1 4194368 247 0 0 0 321 100 0 0 16 0 4 0 1122099500 7303168 1323 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16181/tid=16184] ppid=16179 vsize=7132 CPUtime=4.03
/proc/16181/task/16184/stat : 16184 (satake) S 16179 16181 16015 0 -1 4194368 202 0 0 0 307 96 0 0 15 0 4 0 1122099500 7303168 1323 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.71
Current children cumulated vsize (KiB) 7132

[startup+12.7015 s]
/proc/loadavg: 2.24 2.32 2.04 3/76 16185
/proc/meminfo: memFree=1674720/2055920 swapFree=4174692/4192956
[pid=16181] ppid=16179 vsize=10308 CPUtime=21.92
/proc/16181/stat : 16181 (satake) S 16179 16181 16015 0 -1 4194304 2244 0 0 0 1441 751 0 0 18 0 4 0 1122099500 10555392 2229 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16181/statm: 2577 2229 70 163 0 2412 0
[pid=16181/tid=16182] ppid=16179 vsize=10308 CPUtime=4.71
/proc/16181/task/16182/stat : 16182 (satake) S 16179 16181 16015 0 -1 4194368 1507 0 0 0 104 367 0 0 15 0 4 0 1122099500 10555392 2229 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16181/tid=16183] ppid=16179 vsize=10308 CPUtime=8.64
/proc/16181/task/16183/stat : 16183 (satake) R 16179 16181 16015 0 -1 4194368 359 0 0 0 672 192 0 0 15 0 4 0 1122099500 10555392 2229 1992294400 134512640 135180984 4294956208 18446744073709551615 134528881 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16181/tid=16184] ppid=16179 vsize=10308 CPUtime=8.56
/proc/16181/task/16184/stat : 16184 (satake) R 16179 16181 16015 0 -1 4194368 295 0 0 0 664 192 0 0 16 0 4 0 1122099500 10555392 2229 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.92
Current children cumulated vsize (KiB) 10308

[startup+25.5015 s]
/proc/loadavg: 2.19 2.31 2.04 4/76 16185
/proc/meminfo: memFree=1667232/2055920 swapFree=4174692/4192956
[pid=16181] ppid=16179 vsize=18660 CPUtime=44.39
/proc/16181/stat : 16181 (satake) S 16179 16181 16015 0 -1 4194304 4040 0 0 0 2912 1527 0 0 18 0 4 0 1122099500 19107840 4025 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16181/statm: 4665 4025 70 163 0 4500 0
[pid=16181/tid=16182] ppid=16179 vsize=18660 CPUtime=9.51
/proc/16181/task/16182/stat : 16182 (satake) S 16179 16181 16015 0 -1 4194368 2970 0 0 0 212 739 0 0 16 0 4 0 1122099500 19107840 4025 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16181/tid=16183] ppid=16179 vsize=18660 CPUtime=17.43
/proc/16181/task/16183/stat : 16183 (satake) R 16179 16181 16015 0 -1 4194368 481 0 0 0 1353 390 0 0 16 0 4 0 1122099500 19107840 4025 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16181/tid=16184] ppid=16179 vsize=18660 CPUtime=17.44
/proc/16181/task/16184/stat : 16184 (satake) R 16179 16181 16015 0 -1 4194368 506 0 0 0 1347 397 0 0 16 0 4 0 1122099500 19107840 4025 1992294400 134512640 135180984 4294956208 18446744073709551615 134526224 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 44.39
Current children cumulated vsize (KiB) 18660

[startup+51.1012 s]
/proc/loadavg: 2.26 2.31 2.05 3/76 16185
/proc/meminfo: memFree=1653664/2055920 swapFree=4174692/4192956
[pid=16181] ppid=16179 vsize=34772 CPUtime=89.69
/proc/16181/stat : 16181 (satake) S 16179 16181 16015 0 -1 4194304 7485 0 0 0 5920 3049 0 0 18 0 4 0 1122099500 35606528 7470 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16181/statm: 8693 7470 70 163 0 8528 0
[pid=16181/tid=16182] ppid=16179 vsize=34772 CPUtime=19.03
/proc/16181/task/16182/stat : 16182 (satake) S 16179 16181 16015 0 -1 4194368 5788 0 0 0 421 1482 0 0 16 0 4 0 1122099500 35606528 7470 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16181/tid=16183] ppid=16179 vsize=34772 CPUtime=35.25
/proc/16181/task/16183/stat : 16183 (satake) R 16179 16181 16015 0 -1 4194368 863 0 0 0 2751 774 0 0 15 0 4 0 1122099500 35606528 7470 1992294400 134512640 135180984 4294956208 18446744073709551615 134528595 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16181/tid=16184] ppid=16179 vsize=34772 CPUtime=35.39
/proc/16181/task/16184/stat : 16184 (satake) R 16179 16181 16015 0 -1 4194368 751 0 0 0 2747 792 0 0 16 0 4 0 1122099500 35606528 7470 1992294400 134512640 135180984 4294956208 18446744073709551615 134522984 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 89.69
Current children cumulated vsize (KiB) 34772

[startup+102.306 s]
/proc/loadavg: 2.22 2.31 2.06 4/76 16185
/proc/meminfo: memFree=1628576/2055920 swapFree=4174692/4192956
[pid=16181] ppid=16179 vsize=63496 CPUtime=181.84
/proc/16181/stat : 16181 (satake) S 16179 16181 16015 0 -1 4194304 13654 0 0 0 12339 5845 0 0 18 0 4 0 1122099500 65019904 13639 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16181/statm: 15874 13639 70 163 0 15709 0
[pid=16181/tid=16182] ppid=16179 vsize=63496 CPUtime=36.52
/proc/16181/task/16182/stat : 16182 (satake) S 16179 16181 16015 0 -1 4194368 10632 0 0 0 803 2849 0 0 16 0 4 0 1122099500 65019904 13639 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16181/tid=16183] ppid=16179 vsize=63496 CPUtime=72.47
/proc/16181/task/16183/stat : 16183 (satake) R 16179 16181 16015 0 -1 4194368 1523 0 0 0 5759 1488 0 0 16 0 4 0 1122099500 65019904 13639 1992294400 134512640 135180984 4294956208 18446744073709551615 134520036 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16181/tid=16184] ppid=16179 vsize=63496 CPUtime=72.83
/proc/16181/task/16184/stat : 16184 (satake) R 16179 16181 16015 0 -1 4194368 1416 0 0 0 5776 1507 0 0 16 0 4 0 1122099500 65019904 13639 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 181.84
Current children cumulated vsize (KiB) 63496

[startup+162.302 s]
/proc/loadavg: 2.30 2.31 2.08 3/76 16185
/proc/meminfo: memFree=1599904/2055920 swapFree=4174692/4192956
[pid=16181] ppid=16179 vsize=96568 CPUtime=289.79
/proc/16181/stat : 16181 (satake) S 16179 16181 16015 0 -1 4194304 20850 0 0 0 19780 9199 0 0 18 0 4 0 1122099500 98885632 20835 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16181/statm: 24142 20835 70 163 0 23977 0
[pid=16181/tid=16182] ppid=16179 vsize=96568 CPUtime=57.46
/proc/16181/task/16182/stat : 16182 (satake) R 16179 16181 16015 0 -1 4194368 16210 0 0 0 1258 4488 0 0 16 0 4 0 1122099500 98885632 20835 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16181/tid=16183] ppid=16179 vsize=96568 CPUtime=115.87

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

Current children cumulated vsize (KiB) 96568

[startup+222.302 s]
/proc/loadavg: 2.41 2.34 2.10 4/76 16185
/proc/meminfo: memFree=1570720/2055920 swapFree=4174692/4192956
[pid=16181] ppid=16179 vsize=132784 CPUtime=398.05
/proc/16181/stat : 16181 (satake) S 16179 16181 16015 0 -1 4194304 28072 0 0 0 27123 12682 0 0 18 0 4 0 1122099500 135970816 28057 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16181/statm: 33196 28057 70 163 0 33031 0
[pid=16181/tid=16182] ppid=16179 vsize=132784 CPUtime=79.14
/proc/16181/task/16182/stat : 16182 (satake) R 16179 16181 16015 0 -1 4194368 21550 0 0 0 1721 6193 0 0 16 0 4 0 1122099500 135970816 28057 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16181/tid=16183] ppid=16179 vsize=132784 CPUtime=159.21
/proc/16181/task/16183/stat : 16183 (satake) R 16179 16181 16015 0 -1 4194368 3554 0 0 0 12689 3232 0 0 16 0 4 0 1122099500 135970816 28057 1992294400 134512640 135180984 4294956208 18446744073709551615 134524369 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16181/tid=16184] ppid=16179 vsize=132784 CPUtime=159.69
/proc/16181/task/16184/stat : 16184 (satake) R 16179 16181 16015 0 -1 4194368 2885 0 0 0 12713 3256 0 0 16 0 4 0 1122099500 135970816 28057 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 398.05
Current children cumulated vsize (KiB) 132784

[startup+282.306 s]
/proc/loadavg: 2.51 2.38 2.13 3/76 16185
/proc/meminfo: memFree=1541600/2055920 swapFree=4174692/4192956
[pid=16181] ppid=16179 vsize=168288 CPUtime=506.24
/proc/16181/stat : 16181 (satake) S 16179 16181 16015 0 -1 4194304 35439 0 0 0 34403 16221 0 0 18 0 4 0 1122099500 172326912 35424 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16181/statm: 42072 35424 70 163 0 41907 0
[pid=16181/tid=16182] ppid=16179 vsize=168288 CPUtime=101.28
/proc/16181/task/16182/stat : 16182 (satake) R 16179 16181 16015 0 -1 4194368 27016 0 0 0 2202 7926 0 0 16 0 4 0 1122099500 172326912 35424 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16181/tid=16183] ppid=16179 vsize=168288 CPUtime=202.21
/proc/16181/task/16183/stat : 16183 (satake) R 16179 16181 16015 0 -1 4194368 4210 0 0 0 16094 4127 0 0 16 0 4 0 1122099500 172326912 35424 1992294400 134512640 135180984 4294956208 18446744073709551615 134528411 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16181/tid=16184] ppid=16179 vsize=168288 CPUtime=202.73
/proc/16181/task/16184/stat : 16184 (satake) S 16179 16181 16015 0 -1 4194368 4130 0 0 0 16106 4167 0 0 15 0 4 0 1122099500 172326912 35424 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 506.24
Current children cumulated vsize (KiB) 168288

[startup+342.31 s]
/proc/loadavg: 2.36 2.37 2.14 4/76 16185
/proc/meminfo: memFree=1513120/2055920 swapFree=4174692/4192956
[pid=16181] ppid=16179 vsize=199360 CPUtime=615.61
/proc/16181/stat : 16181 (satake) S 16179 16181 16015 0 -1 4194304 42493 0 0 0 41999 19562 0 0 18 0 4 0 1122099500 204144640 42478 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16181/statm: 49840 42478 70 163 0 49675 0
[pid=16181/tid=16182] ppid=16179 vsize=199360 CPUtime=122.25
/proc/16181/task/16182/stat : 16182 (satake) R 16179 16181 16015 0 -1 4194368 31954 0 0 0 2661 9564 0 0 16 0 4 0 1122099500 204144640 42478 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16181/tid=16183] ppid=16179 vsize=199360 CPUtime=246.52
/proc/16181/task/16183/stat : 16183 (satake) S 16179 16181 16015 0 -1 4194368 5342 0 0 0 19685 4967 0 0 15 0 4 0 1122099500 204144640 42478 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16181/tid=16184] ppid=16179 vsize=199360 CPUtime=246.82
/proc/16181/task/16184/stat : 16184 (satake) R 16179 16181 16015 0 -1 4194368 5114 0 0 0 19652 5030 0 0 16 0 4 0 1122099500 204144640 42478 1992294400 134512640 135180984 4294956208 18446744073709551615 134528664 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 615.61
Current children cumulated vsize (KiB) 199360

[startup+402.302 s]
/proc/loadavg: 2.38 2.37 2.15 3/76 16185
/proc/meminfo: memFree=1485600/2055920 swapFree=4174692/4192956
[pid=16181] ppid=16179 vsize=238900 CPUtime=725.06
/proc/16181/stat : 16181 (satake) S 16179 16181 16015 0 -1 4194304 49442 0 0 0 49590 22916 0 0 18 0 4 0 1122099500 244633600 49427 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16181/statm: 59725 49427 70 163 0 59560 0
[pid=16181/tid=16182] ppid=16179 vsize=238900 CPUtime=143.33
/proc/16181/task/16182/stat : 16182 (satake) R 16179 16181 16015 0 -1 4194368 36659 0 0 0 3120 11213 0 0 16 0 4 0 1122099500 244633600 49427 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16181/tid=16183] ppid=16179 vsize=238900 CPUtime=290.66
/proc/16181/task/16183/stat : 16183 (satake) R 16179 16181 16015 0 -1 4194368 6517 0 0 0 23255 5811 0 0 16 0 4 0 1122099500 244633600 49427 1992294400 134512640 135180984 4294956208 18446744073709551615 134519095 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16181/tid=16184] ppid=16179 vsize=238900 CPUtime=291.04
/proc/16181/task/16184/stat : 16184 (satake) R 16179 16181 16015 0 -1 4194368 6183 0 0 0 23214 5890 0 0 15 0 4 0 1122099500 244633600 49427 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 725.06
Current children cumulated vsize (KiB) 238900

[startup+462.302 s]
/proc/loadavg: 2.16 2.31 2.14 3/76 16185
/proc/meminfo: memFree=1457312/2055920 swapFree=4174692/4192956
[pid=16181] ppid=16179 vsize=270484 CPUtime=834.95
/proc/16181/stat : 16181 (satake) S 16179 16181 16015 0 -1 4194304 56429 0 0 0 57317 26178 0 0 18 0 4 0 1122099500 276975616 56414 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16181/statm: 67621 56414 70 163 0 67456 0
[pid=16181/tid=16182] ppid=16179 vsize=270484 CPUtime=163.83
/proc/16181/task/16182/stat : 16182 (satake) S 16179 16181 16015 0 -1 4194368 41413 0 0 0 3570 12813 0 0 16 0 4 0 1122099500 276975616 56414 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=16181/tid=16183] ppid=16179 vsize=270484 CPUtime=335.37
/proc/16181/task/16183/stat : 16183 (satake) R 16179 16181 16015 0 -1 4194368 7615 0 0 0 26894 6643 0 0 16 0 4 0 1122099500 276975616 56414 1992294400 134512640 135180984 4294956208 18446744073709551615 134528209 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16181/tid=16184] ppid=16179 vsize=270484 CPUtime=335.74
/proc/16181/task/16184/stat : 16184 (satake) R 16179 16181 16015 0 -1 4194368 7318 0 0 0 26852 6722 0 0 16 0 4 0 1122099500 276975616 56414 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 834.95
Current children cumulated vsize (KiB) 270484

[startup+522.306 s]
/proc/loadavg: 2.30 2.33 2.16 4/76 16185
/proc/meminfo: memFree=1429984/2055920 swapFree=4174692/4192956
[pid=16181] ppid=16179 vsize=299980 CPUtime=945.19
/proc/16181/stat : 16181 (satake) S 16179 16181 16015 0 -1 4194304 63260 0 0 0 64992 29527 0 0 18 0 4 0 1122099500 307179520 63245 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16181/statm: 74995 63245 70 163 0 74830 0
[pid=16181/tid=16182] ppid=16179 vsize=299980 CPUtime=184.93
/proc/16181/task/16182/stat : 16182 (satake) R 16179 16181 16015 0 -1 4194368 45723 0 0 0 4029 14464 0 0 16 0 4 0 1122099500 307179520 63245 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16181/tid=16183] ppid=16179 vsize=299980 CPUtime=379.93
/proc/16181/task/16183/stat : 16183 (satake) R 16179 16181 16015 0 -1 4194368 8712 0 0 0 30502 7491 0 0 15 0 4 0 1122099500 307179520 63245 1992294400 134512640 135180984 4294956208 18446744073709551615 134528441 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16181/tid=16184] ppid=16179 vsize=299980 CPUtime=380.31
/proc/16181/task/16184/stat : 16184 (satake) S 16179 16181 16015 0 -1 4194368 8742 0 0 0 30460 7571 0 0 16 0 4 0 1122099500 307179520 63245 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 945.19
Current children cumulated vsize (KiB) 299980

[startup+582.302 s]
/proc/loadavg: 2.38 2.34 2.17 3/76 16185
/proc/meminfo: memFree=1401184/2055920 swapFree=4174692/4192956
[pid=16181] ppid=16179 vsize=335048 CPUtime=1055.07
/proc/16181/stat : 16181 (satake) S 16179 16181 16015 0 -1 4194304 70407 0 0 0 72532 32975 0 0 18 0 4 0 1122099500 343089152 70392 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16181/statm: 83762 70392 70 163 0 83597 0
[pid=16181/tid=16182] ppid=16179 vsize=335048 CPUtime=206.54
/proc/16181/task/16182/stat : 16182 (satake) S 16179 16181 16015 0 -1 4194368 50462 0 0 0 4493 16161 0 0 16 0 4 0 1122099500 343089152 70392 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16181/tid=16183] ppid=16179 vsize=335048 CPUtime=423.93
/proc/16181/task/16183/stat : 16183 (satake) R 16179 16181 16015 0 -1 4194368 9895 0 0 0 34037 8356 0 0 16 0 4 0 1122099500 343089152 70392 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16181/tid=16184] ppid=16179 vsize=335048 CPUtime=424.58
/proc/16181/task/16184/stat : 16184 (satake) R 16179 16181 16015 0 -1 4194368 9967 0 0 0 34001 8457 0 0 16 0 4 0 1122099500 343089152 70392 1992294400 134512640 135180984 4294956208 18446744073709551615 134527255 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1055.07
Current children cumulated vsize (KiB) 335048

[startup+642.302 s]
/proc/loadavg: 2.55 2.39 2.20 2/76 16185
/proc/meminfo: memFree=1371744/2055920 swapFree=4174692/4192956
[pid=16181] ppid=16179 vsize=369652 CPUtime=1164.62
/proc/16181/stat : 16181 (satake) S 16179 16181 16015 0 -1 4194304 77682 0 0 0 79928 36534 0 0 18 0 4 0 1122099500 378523648 77667 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16181/statm: 92413 77667 70 163 0 92248 0
[pid=16181/tid=16182] ppid=16179 vsize=369652 CPUtime=228.68
/proc/16181/task/16182/stat : 16182 (satake) S 16179 16181 16015 0 -1 4194368 55256 0 0 0 4965 17903 0 0 15 0 4 0 1122099500 378523648 77667 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=16181/tid=16183] ppid=16179 vsize=369652 CPUtime=467.59
/proc/16181/task/16183/stat : 16183 (satake) R 16179 16181 16015 0 -1 4194368 11113 0 0 0 37501 9258 0 0 15 0 4 0 1122099500 378523648 77667 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16181/tid=16184] ppid=16179 vsize=369652 CPUtime=468.32
/proc/16181/task/16184/stat : 16184 (satake) R 16179 16181 16015 0 -1 4194368 11230 0 0 0 37460 9372 0 0 16 0 4 0 1122099500 378523648 77667 1992294400 134512640 135180984 4294956208 18446744073709551615 134528881 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1164.62
Current children cumulated vsize (KiB) 369652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+661.701 s]
/proc/loadavg: 2.54 2.39 2.20 4/76 16185
/proc/meminfo: memFree=1362144/2055920 swapFree=4174692/4192956
[pid=16181] ppid=16179 vsize=378724 CPUtime=1200.05
/proc/16181/stat : 16181 (satake) S 16179 16181 16015 0 -1 4194304 80051 0 0 0 82317 37688 0 0 18 0 4 0 1122099500 387813376 80036 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16181/statm: 94681 80036 70 163 0 94516 0
[pid=16181/tid=16182] ppid=16179 vsize=378724 CPUtime=235.95
/proc/16181/task/16182/stat : 16182 (satake) R 16179 16181 16015 0 -1 4194368 56835 0 0 0 5123 18472 0 0 15 0 4 0 1122099500 387813376 80036 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16181/tid=16183] ppid=16179 vsize=378724 CPUtime=481.7
/proc/16181/task/16183/stat : 16183 (satake) R 16179 16181 16015 0 -1 4194368 11531 0 0 0 38621 9549 0 0 16 0 4 0 1122099500 387813376 80036 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16181/tid=16184] ppid=16179 vsize=378724 CPUtime=482.36
/proc/16181/task/16184/stat : 16184 (satake) S 16179 16181 16015 0 -1 4194368 11602 0 0 0 38571 9665 0 0 15 0 4 0 1122099500 387813376 80036 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 378724

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

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

[startup+661.701 s]
/proc/loadavg: 2.54 2.39 2.20 4/76 16185
/proc/meminfo: memFree=1362144/2055920 swapFree=4174692/4192956
[pid=16181] ppid=16179 vsize=378724 CPUtime=1200.05
/proc/16181/stat : 16181 (satake) S 16179 16181 16015 0 -1 4194304 80051 0 0 0 82317 37688 0 0 18 0 4 0 1122099500 387813376 80036 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16181/statm: 94681 80036 70 163 0 94516 0
[pid=16181/tid=16182] ppid=16179 vsize=378724 CPUtime=235.95
/proc/16181/task/16182/stat : 16182 (satake) R 16179 16181 16015 0 -1 4194368 56835 0 0 0 5123 18472 0 0 15 0 4 0 1122099500 387813376 80036 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16181/tid=16183] ppid=16179 vsize=378724 CPUtime=481.7
/proc/16181/task/16183/stat : 16183 (satake) R 16179 16181 16015 0 -1 4194368 11531 0 0 0 38621 9549 0 0 16 0 4 0 1122099500 387813376 80036 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16181/tid=16184] ppid=16179 vsize=378724 CPUtime=482.36
/proc/16181/task/16184/stat : 16184 (satake) S 16179 16181 16015 0 -1 4194368 11602 0 0 0 38571 9665 0 0 15 0 4 0 1122099500 387813376 80036 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 378724

Child ended because it received signal 15 (SIGTERM)
Real time (s): 661.774
CPU time (s): 1200.13
CPU user time (s): 823.181
CPU system time (s): 376.95
CPU usage (%): 181.351
Max. virtual memory (cumulated for all children) (KiB): 378724

deleting IPC queue 1048576
deleting IPC queue 1081345
deleting IPC queue 1114114
deleting IPC queue 1146883
deleting IPC queue 1179652
deleting IPC queue 1212421
deleting IPC queue 1245190
deleting IPC queue 1277959
deleting IPC queue 1310728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 823.181
system time used= 376.95
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80052
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= 14989339
involuntary context switches= 14202137

runsolver used 0.894863 second user time and 2.35564 second system time

The end

Launcher Data 

Begin job on node67 at 2009-03-31 12:13:04
IDJOB=1543694
IDBENCH=70535
IDSOLVER=553
FILE ID=node67/1543694-1238494384
PBS_JOBID= 9061899
Free space on /tmp= 66376 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/500/unif-k3-r4.25-v500-c2125-S1339364096-048.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543694-1238494384/watcher-1543694-1238494384 -o /tmp/evaluation-result-1543694-1238494384/solver-1543694-1238494384 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543694-1238494384.cnf 3 1200

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

MD5SUM BENCH= 2cbf25bf3c1a8a645c8c658cff25ce06
RANDOM SEED=238560268

node67.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.265
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.265
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:       1683808 kB
Buffers:         70288 kB
Cached:         212412 kB
SwapCached:       9632 kB
Active:         159036 kB
Inactive:       134784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1683808 kB
SwapTotal:     4192956 kB
SwapFree:      4174692 kB
Dirty:             780 kB
Writeback:           0 kB
Mapped:          16800 kB
Slab:            63316 kB
Committed_AS:  3179636 kB
PageTables:       2052 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= 66376 MiB
End job on node67 at 2009-03-31 12:24:07