Trace number 1543851

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.23 695.78

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S1531283922-009.cnf
MD5SUMed6fcf5f29f5b190db98674f0404abc2
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.024996
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of clauses1700
Sum of the clauses size5100
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31700
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-1543851-1238582118/watcher-1543851-1238582118 -o /tmp/evaluation-result-1543851-1238582118/solver-1543851-1238582118 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543851-1238582118.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: 1.00 1.00 1.01 3/76 6901
/proc/meminfo: memFree=1354840/2055920 swapFree=4127460/4192956
[pid=6901] ppid=6899 vsize=1148 CPUtime=0
/proc/6901/stat : 6901 (satake) S 6899 6901 6554 0 -1 4194304 137 0 0 0 0 0 0 0 20 0 4 0 1130872776 1175552 122 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6901/statm: 287 122 68 163 0 122 0
[pid=6901/tid=6902] ppid=6899 vsize=1148 CPUtime=0
/proc/6901/task/6902/stat : 6902 (satake) R 6899 6901 6554 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 1130872776 1175552 122 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6901/tid=6903] ppid=6899 vsize=1148 CPUtime=0
/proc/6901/task/6903/stat : 6903 (satake) R 6899 6901 6554 0 -1 4194368 47 0 0 0 0 0 0 0 21 0 4 0 1130872776 1175552 122 1992294400 134512640 135180984 4294956208 18446744073709551615 134526479 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6901/tid=6904] ppid=6899 vsize=1148 CPUtime=0
/proc/6901/task/6904/stat : 6904 (satake) R 6899 6901 6554 0 -1 4194368 0 0 0 0 0 0 0 0 22 0 4 0 1130872776 1175552 122 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0743291 s]
/proc/loadavg: 1.00 1.00 1.01 3/76 6901
/proc/meminfo: memFree=1354840/2055920 swapFree=4127460/4192956
[pid=6901] ppid=6899 vsize=2396 CPUtime=0.1
/proc/6901/stat : 6901 (satake) S 6899 6901 6554 0 -1 4194304 225 0 0 0 5 5 0 0 20 0 4 0 1130872776 2453504 210 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6901/statm: 599 210 70 163 0 434 0
[pid=6901/tid=6902] ppid=6899 vsize=2396 CPUtime=0.02
/proc/6901/task/6902/stat : 6902 (satake) R 6899 6901 6554 0 -1 4194368 27 0 0 0 0 2 0 0 17 0 4 0 1130872776 2453504 210 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6901/tid=6903] ppid=6899 vsize=2396 CPUtime=0.03
/proc/6901/task/6903/stat : 6903 (satake) S 6899 6901 6554 0 -1 4194368 58 0 0 0 2 1 0 0 16 0 4 0 1130872776 2453504 210 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6901/tid=6904] ppid=6899 vsize=2396 CPUtime=0.03
/proc/6901/task/6904/stat : 6904 (satake) S 6899 6901 6554 0 -1 4194368 57 0 0 0 2 1 0 0 16 0 4 0 1130872776 2453504 210 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) 2396

[startup+0.101861 s]
/proc/loadavg: 1.00 1.00 1.01 3/76 6901
/proc/meminfo: memFree=1354840/2055920 swapFree=4127460/4192956
[pid=6901] ppid=6899 vsize=2396 CPUtime=0.15
/proc/6901/stat : 6901 (satake) S 6899 6901 6554 0 -1 4194304 234 0 0 0 8 7 0 0 20 0 4 0 1130872776 2453504 219 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6901/statm: 599 219 70 163 0 434 0
[pid=6901/tid=6902] ppid=6899 vsize=2396 CPUtime=0.04
/proc/6901/task/6902/stat : 6902 (satake) R 6899 6901 6554 0 -1 4194368 29 0 0 0 0 4 0 0 17 0 4 0 1130872776 2453504 219 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6901/tid=6903] ppid=6899 vsize=2396 CPUtime=0.04
/proc/6901/task/6903/stat : 6903 (satake) R 6899 6901 6554 0 -1 4194368 59 0 0 0 3 1 0 0 16 0 4 0 1130872776 2453504 219 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6901/tid=6904] ppid=6899 vsize=2396 CPUtime=0.04
/proc/6901/task/6904/stat : 6904 (satake) S 6899 6901 6554 0 -1 4194368 63 0 0 0 3 1 0 0 16 0 4 0 1130872776 2453504 219 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) 2396

[startup+0.30178 s]
/proc/loadavg: 1.00 1.00 1.01 3/76 6901
/proc/meminfo: memFree=1354840/2055920 swapFree=4127460/4192956
[pid=6901] ppid=6899 vsize=2528 CPUtime=0.46
/proc/6901/stat : 6901 (satake) S 6899 6901 6554 0 -1 4194304 280 0 0 0 25 21 0 0 20 0 4 0 1130872776 2588672 265 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6901/statm: 632 265 70 163 0 467 0
[pid=6901/tid=6902] ppid=6899 vsize=2528 CPUtime=0.13
/proc/6901/task/6902/stat : 6902 (satake) R 6899 6901 6554 0 -1 4194368 46 0 0 0 1 12 0 0 18 0 4 0 1130872776 2588672 265 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6901/tid=6903] ppid=6899 vsize=2528 CPUtime=0.16
/proc/6901/task/6903/stat : 6903 (satake) R 6899 6901 6554 0 -1 4194368 70 0 0 0 12 4 0 0 16 0 4 0 1130872776 2588672 265 1992294400 134512640 135180984 4294956208 18446744073709551615 134528881 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6901/tid=6904] ppid=6899 vsize=2528 CPUtime=0.15
/proc/6901/task/6904/stat : 6904 (satake) R 6899 6901 6554 0 -1 4194368 81 0 0 0 11 4 0 0 16 0 4 0 1130872776 2588672 265 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2528

[startup+0.701858 s]
/proc/loadavg: 1.00 1.00 1.01 3/76 6901
/proc/meminfo: memFree=1354840/2055920 swapFree=4127460/4192956
[pid=6901] ppid=6899 vsize=2528 CPUtime=1.09
/proc/6901/stat : 6901 (satake) S 6899 6901 6554 0 -1 4194304 361 0 0 0 60 49 0 0 20 0 4 0 1130872776 2588672 346 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6901/statm: 632 347 70 163 0 467 0
[pid=6901/tid=6902] ppid=6899 vsize=2528 CPUtime=0.32
/proc/6901/task/6902/stat : 6902 (satake) R 6899 6901 6554 0 -1 4194368 96 0 0 0 5 27 0 0 17 0 4 0 1130872776 2588672 347 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6901/tid=6903] ppid=6899 vsize=2528 CPUtime=0.38
/proc/6901/task/6903/stat : 6903 (satake) S 6899 6901 6554 0 -1 4194368 81 0 0 0 28 10 0 0 16 0 4 0 1130872776 2588672 347 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6901/tid=6904] ppid=6899 vsize=2528 CPUtime=0.38
/proc/6901/task/6904/stat : 6904 (satake) S 6899 6901 6554 0 -1 4194368 102 0 0 0 27 11 0 0 16 0 4 0 1130872776 2588672 347 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 2528

[startup+1.50258 s]
/proc/loadavg: 1.00 1.00 1.01 4/80 6905
/proc/meminfo: memFree=1353336/2055920 swapFree=4127460/4192956
[pid=6901] ppid=6899 vsize=2800 CPUtime=2.39
/proc/6901/stat : 6901 (satake) S 6899 6901 6554 0 -1 4194304 518 0 0 0 135 104 0 0 20 0 4 0 1130872776 2867200 503 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6901/statm: 700 503 70 163 0 535 0
[pid=6901/tid=6902] ppid=6899 vsize=2800 CPUtime=0.67
/proc/6901/task/6902/stat : 6902 (satake) R 6899 6901 6554 0 -1 4194368 208 0 0 0 12 55 0 0 18 0 4 0 1130872776 2867200 503 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6901/tid=6903] ppid=6899 vsize=2800 CPUtime=0.84
/proc/6901/task/6903/stat : 6903 (satake) R 6899 6901 6554 0 -1 4194368 97 0 0 0 61 23 0 0 16 0 4 0 1130872776 2867200 503 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6901/tid=6904] ppid=6899 vsize=2800 CPUtime=0.85
/proc/6901/task/6904/stat : 6904 (satake) S 6899 6901 6554 0 -1 4194368 130 0 0 0 61 24 0 0 15 0 4 0 1130872776 2867200 503 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 2800

[startup+3.10247 s]
/proc/loadavg: 1.00 1.00 1.01 3/80 6905
/proc/meminfo: memFree=1352376/2055920 swapFree=4127460/4192956
[pid=6901] ppid=6899 vsize=4240 CPUtime=4.99
/proc/6901/stat : 6901 (satake) S 6899 6901 6554 0 -1 4194304 809 0 0 0 276 223 0 0 20 0 4 0 1130872776 4341760 794 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6901/statm: 1060 794 70 163 0 895 0
[pid=6901/tid=6902] ppid=6899 vsize=4240 CPUtime=1.48
/proc/6901/task/6902/stat : 6902 (satake) R 6899 6901 6554 0 -1 4194368 432 0 0 0 27 121 0 0 18 0 4 0 1130872776 4341760 794 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6901/tid=6903] ppid=6899 vsize=4240 CPUtime=1.73
/proc/6901/task/6903/stat : 6903 (satake) S 6899 6901 6554 0 -1 4194368 114 0 0 0 123 50 0 0 15 0 4 0 1130872776 4341760 794 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6901/tid=6904] ppid=6899 vsize=4240 CPUtime=1.75
/proc/6901/task/6904/stat : 6904 (satake) S 6899 6901 6554 0 -1 4194368 180 0 0 0 124 51 0 0 15 0 4 0 1130872776 4341760 794 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.99
Current children cumulated vsize (KiB) 4240

[startup+6.30194 s]
/proc/loadavg: 1.16 1.03 1.02 3/80 6905
/proc/meminfo: memFree=1350008/2055920 swapFree=4127460/4192956
[pid=6901] ppid=6899 vsize=6852 CPUtime=10.22
/proc/6901/stat : 6901 (satake) S 6899 6901 6554 0 -1 4194304 1325 0 0 0 565 457 0 0 20 0 4 0 1130872776 7016448 1310 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6901/statm: 1713 1310 70 163 0 1548 0
[pid=6901/tid=6902] ppid=6899 vsize=6852 CPUtime=3.04
/proc/6901/task/6902/stat : 6902 (satake) R 6899 6901 6554 0 -1 4194368 833 0 0 0 58 246 0 0 18 0 4 0 1130872776 7016448 1310 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6901/tid=6903] ppid=6899 vsize=6852 CPUtime=3.58
/proc/6901/task/6903/stat : 6903 (satake) R 6899 6901 6554 0 -1 4194368 149 0 0 0 253 105 0 0 16 0 4 0 1130872776 7016448 1310 1992294400 134512640 135180984 4294956208 18446744073709551615 134519096 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6901/tid=6904] ppid=6899 vsize=6852 CPUtime=3.56
/proc/6901/task/6904/stat : 6904 (satake) S 6899 6901 6554 0 -1 4194368 260 0 0 0 252 104 0 0 15 0 4 0 1130872776 7016448 1310 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.22
Current children cumulated vsize (KiB) 6852

[startup+12.7043 s]
/proc/loadavg: 1.31 1.07 1.03 2/80 6905
/proc/meminfo: memFree=1345656/2055920 swapFree=4127460/4192956
[pid=6901] ppid=6899 vsize=11944 CPUtime=20.87
/proc/6901/stat : 6901 (satake) S 6899 6901 6554 0 -1 4194304 2404 0 0 0 1175 912 0 0 20 0 4 0 1130872776 12230656 2389 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6901/statm: 2986 2389 70 163 0 2821 0
[pid=6901/tid=6902] ppid=6899 vsize=11944 CPUtime=5.85
/proc/6901/task/6902/stat : 6902 (satake) R 6899 6901 6554 0 -1 4194368 1700 0 0 0 117 468 0 0 16 0 4 0 1130872776 12230656 2389 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6901/tid=6903] ppid=6899 vsize=11944 CPUtime=7.5
/proc/6901/task/6903/stat : 6903 (satake) S 6899 6901 6554 0 -1 4194368 227 0 0 0 526 224 0 0 15 0 4 0 1130872776 12230656 2389 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6901/tid=6904] ppid=6899 vsize=11944 CPUtime=7.5
/proc/6901/task/6904/stat : 6904 (satake) R 6899 6901 6554 0 -1 4194368 394 0 0 0 531 219 0 0 16 0 4 0 1130872776 12230656 2389 1992294400 134512640 135180984 4294956208 18446744073709551615 134528763 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 20.87
Current children cumulated vsize (KiB) 11944

[startup+25.5018 s]
/proc/loadavg: 1.61 1.14 1.06 3/80 6905
/proc/meminfo: memFree=1337528/2055920 swapFree=4127460/4192956
[pid=6901] ppid=6899 vsize=20164 CPUtime=42.4
/proc/6901/stat : 6901 (satake) S 6899 6901 6554 0 -1 4194304 4347 0 0 0 2419 1821 0 0 20 0 4 0 1130872776 20647936 4332 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6901/statm: 5041 4332 70 163 0 4876 0
[pid=6901/tid=6902] ppid=6899 vsize=20164 CPUtime=11.46
/proc/6901/task/6902/stat : 6902 (satake) R 6899 6901 6554 0 -1 4194368 3264 0 0 0 237 909 0 0 16 0 4 0 1130872776 20647936 4332 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6901/tid=6903] ppid=6899 vsize=20164 CPUtime=15.42
/proc/6901/task/6903/stat : 6903 (satake) R 6899 6901 6554 0 -1 4194368 405 0 0 0 1084 458 0 0 16 0 4 0 1130872776 20647936 4332 1992294400 134512640 135180984 4294956208 18446744073709551615 134518214 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6901/tid=6904] ppid=6899 vsize=20164 CPUtime=15.49
/proc/6901/task/6904/stat : 6904 (satake) R 6899 6901 6554 0 -1 4194368 595 0 0 0 1097 452 0 0 16 0 4 0 1130872776 20647936 4332 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 42.4
Current children cumulated vsize (KiB) 20164

[startup+51.1017 s]
/proc/loadavg: 1.88 1.24 1.09 3/80 6905
/proc/meminfo: memFree=1322360/2055920 swapFree=4127460/4192956
[pid=6901] ppid=6899 vsize=38508 CPUtime=85.78
/proc/6901/stat : 6901 (satake) S 6899 6901 6554 0 -1 4194304 8141 0 0 0 4954 3624 0 0 20 0 4 0 1130872776 39432192 8126 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6901/statm: 9627 8126 70 163 0 9462 0
[pid=6901/tid=6902] ppid=6899 vsize=38508 CPUtime=22.44
/proc/6901/task/6902/stat : 6902 (satake) R 6899 6901 6554 0 -1 4194368 6292 0 0 0 460 1784 0 0 15 0 4 0 1130872776 39432192 8126 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6901/tid=6903] ppid=6899 vsize=38508 CPUtime=31.62
/proc/6901/task/6903/stat : 6903 (satake) S 6899 6901 6554 0 -1 4194368 744 0 0 0 2244 918 0 0 16 0 4 0 1130872776 39432192 8126 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6901/tid=6904] ppid=6899 vsize=38508 CPUtime=31.7
/proc/6901/task/6904/stat : 6904 (satake) R 6899 6901 6554 0 -1 4194368 1022 0 0 0 2248 922 0 0 15 0 4 0 1130872776 39432192 8126 1992294400 134512640 135180984 4294956208 18446744073709551615 134519894 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 85.78
Current children cumulated vsize (KiB) 38508

[startup+102.306 s]
/proc/loadavg: 2.10 1.40 1.15 3/80 6905
/proc/meminfo: memFree=1292024/2055920 swapFree=4127460/4192956
[pid=6901] ppid=6899 vsize=74596 CPUtime=173.47
/proc/6901/stat : 6901 (satake) S 6899 6901 6554 0 -1 4194304 15636 0 0 0 10124 7223 0 0 20 0 4 0 1130872776 76386304 15621 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6901/statm: 18649 15621 70 163 0 18484 0
[pid=6901/tid=6902] ppid=6899 vsize=74596 CPUtime=44.57
/proc/6901/task/6902/stat : 6902 (satake) R 6899 6901 6554 0 -1 4194368 12066 0 0 0 916 3541 0 0 16 0 4 0 1130872776 76386304 15621 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6901/tid=6903] ppid=6899 vsize=74596 CPUtime=64.11
/proc/6901/task/6903/stat : 6903 (satake) R 6899 6901 6554 0 -1 4194368 1362 0 0 0 4581 1830 0 0 15 0 4 0 1130872776 76386304 15621 1992294400 134512640 135180984 4294956208 18446744073709551615 134528608 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6901/tid=6904] ppid=6899 vsize=74596 CPUtime=64.77
/proc/6901/task/6904/stat : 6904 (satake) S 6899 6901 6554 0 -1 4194368 2125 0 0 0 4626 1851 0 0 15 0 4 0 1130872776 76386304 15621 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 173.47
Current children cumulated vsize (KiB) 74596

[startup+162.301 s]
/proc/loadavg: 2.08 1.52 1.21 2/80 6905
/proc/meminfo: memFree=1258232/2055920 swapFree=4127460/4192956
[pid=6901] ppid=6899 vsize=114456 CPUtime=276.45
/proc/6901/stat : 6901 (satake) S 6899 6901 6554 0 -1 4194304 24103 0 0 0 16238 11407 0 0 20 0 4 0 1130872776 117202944 24088 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6901/statm: 28614 24088 70 163 0 28449 0
[pid=6901/tid=6902] ppid=6899 vsize=114456 CPUtime=69.99
/proc/6901/task/6902/stat : 6902 (satake) S 6899 6901 6554 0 -1 4194368 18575 0 0 0 1437 5562 0 0 16 0 4 0 1130872776 117202944 24088 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6901/tid=6903] ppid=6899 vsize=114456 CPUtime=102.67

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

Current children cumulated vsize (KiB) 114456

[startup+222.303 s]
/proc/loadavg: 2.31 1.68 1.28 3/80 6905
/proc/meminfo: memFree=1224056/2055920 swapFree=4127460/4192956
[pid=6901] ppid=6899 vsize=156748 CPUtime=380.08
/proc/6901/stat : 6901 (satake) S 6899 6901 6554 0 -1 4194304 32600 0 0 0 22563 15445 0 0 20 0 4 0 1130872776 160509952 32585 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6901/statm: 39187 32585 70 163 0 39022 0
[pid=6901/tid=6902] ppid=6899 vsize=156748 CPUtime=94.86
/proc/6901/task/6902/stat : 6902 (satake) S 6899 6901 6554 0 -1 4194368 24744 0 0 0 1967 7519 0 0 15 0 4 0 1130872776 160509952 32585 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6901/tid=6903] ppid=6899 vsize=156748 CPUtime=141.83
/proc/6901/task/6903/stat : 6903 (satake) R 6899 6901 6554 0 -1 4194368 2976 0 0 0 10237 3946 0 0 16 0 4 0 1130872776 160509952 32585 1992294400 134512640 135180984 4294956208 18446744073709551615 134520896 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6901/tid=6904] ppid=6899 vsize=156748 CPUtime=143.37
/proc/6901/task/6904/stat : 6904 (satake) R 6899 6901 6554 0 -1 4194368 4797 0 0 0 10358 3979 0 0 16 0 4 0 1130872776 160509952 32585 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 380.08
Current children cumulated vsize (KiB) 156748

[startup+282.303 s]
/proc/loadavg: 2.29 1.79 1.34 4/80 6905
/proc/meminfo: memFree=1190392/2055920 swapFree=4127460/4192956
[pid=6901] ppid=6899 vsize=196264 CPUtime=483.66
/proc/6901/stat : 6901 (satake) S 6899 6901 6554 0 -1 4194304 41075 0 0 0 28801 19565 0 0 20 0 4 0 1130872776 200974336 41060 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6901/statm: 49066 41060 70 163 0 48901 0
[pid=6901/tid=6902] ppid=6899 vsize=196264 CPUtime=120.48
/proc/6901/task/6902/stat : 6902 (satake) R 6899 6901 6554 0 -1 4194368 30753 0 0 0 2503 9545 0 0 15 0 4 0 1130872776 200974336 41060 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6901/tid=6903] ppid=6899 vsize=196264 CPUtime=180.13
/proc/6901/task/6903/stat : 6903 (satake) R 6899 6901 6554 0 -1 4194368 4012 0 0 0 13025 4988 0 0 16 0 4 0 1130872776 200974336 41060 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6901/tid=6904] ppid=6899 vsize=196264 CPUtime=183.02
/proc/6901/task/6904/stat : 6904 (satake) R 6899 6901 6554 0 -1 4194368 6227 0 0 0 13271 5031 0 0 16 0 4 0 1130872776 200974336 41060 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 483.66
Current children cumulated vsize (KiB) 196264

[startup+342.302 s]
/proc/loadavg: 2.32 1.88 1.40 4/80 6905
/proc/meminfo: memFree=1156536/2055920 swapFree=4127460/4192956
[pid=6901] ppid=6899 vsize=239696 CPUtime=587.15
/proc/6901/stat : 6901 (satake) S 6899 6901 6554 0 -1 4194304 49430 0 0 0 35027 23688 0 0 20 0 4 0 1130872776 245448704 49415 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6901/statm: 59924 49415 70 163 0 59759 0
[pid=6901/tid=6902] ppid=6899 vsize=239696 CPUtime=145.82
/proc/6901/task/6902/stat : 6902 (satake) S 6899 6901 6554 0 -1 4194368 36572 0 0 0 3040 11542 0 0 15 0 4 0 1130872776 245448704 49415 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6901/tid=6903] ppid=6899 vsize=239696 CPUtime=218.55
/proc/6901/task/6903/stat : 6903 (satake) R 6899 6901 6554 0 -1 4194368 5029 0 0 0 15818 6037 0 0 16 0 4 0 1130872776 245448704 49415 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6901/tid=6904] ppid=6899 vsize=239696 CPUtime=222.76
/proc/6901/task/6904/stat : 6904 (satake) S 6899 6901 6554 0 -1 4194368 7746 0 0 0 16167 6109 0 0 16 0 4 0 1130872776 245448704 49415 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 587.15
Current children cumulated vsize (KiB) 239696

[startup+402.302 s]
/proc/loadavg: 2.24 1.93 1.44 4/80 6905
/proc/meminfo: memFree=1123256/2055920 swapFree=4127460/4192956
[pid=6901] ppid=6899 vsize=278368 CPUtime=690.45
/proc/6901/stat : 6901 (satake) S 6899 6901 6554 0 -1 4194304 57875 0 0 0 41248 27797 0 0 20 0 4 0 1130872776 285048832 57860 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6901/statm: 69592 57860 70 163 0 69427 0
[pid=6901/tid=6902] ppid=6899 vsize=278368 CPUtime=170.99
/proc/6901/task/6902/stat : 6902 (satake) R 6899 6901 6554 0 -1 4194368 42841 0 0 0 3567 13532 0 0 15 0 4 0 1130872776 285048832 57860 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6901/tid=6903] ppid=6899 vsize=278368 CPUtime=257
/proc/6901/task/6903/stat : 6903 (satake) R 6899 6901 6554 0 -1 4194368 5715 0 0 0 18613 7087 0 0 15 0 4 0 1130872776 285048832 57860 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6901/tid=6904] ppid=6899 vsize=278368 CPUtime=262.44
/proc/6901/task/6904/stat : 6904 (satake) S 6899 6901 6554 0 -1 4194368 9236 0 0 0 19067 7177 0 0 15 0 4 0 1130872776 285048832 57860 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 690.45
Current children cumulated vsize (KiB) 278368

[startup+462.301 s]
/proc/loadavg: 2.39 2.03 1.51 3/80 6905
/proc/meminfo: memFree=1089656/2055920 swapFree=4127460/4192956
[pid=6901] ppid=6899 vsize=318920 CPUtime=794.39
/proc/6901/stat : 6901 (satake) S 6899 6901 6554 0 -1 4194304 66108 0 0 0 47566 31873 0 0 20 0 4 0 1130872776 326574080 66093 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6901/statm: 79730 66093 70 163 0 79565 0
[pid=6901/tid=6902] ppid=6899 vsize=318920 CPUtime=196.09
/proc/6901/task/6902/stat : 6902 (satake) R 6899 6901 6554 0 -1 4194368 48468 0 0 0 4085 15524 0 0 16 0 4 0 1130872776 326574080 66093 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6901/tid=6903] ppid=6899 vsize=318920 CPUtime=296
/proc/6901/task/6903/stat : 6903 (satake) R 6899 6901 6554 0 -1 4194368 6754 0 0 0 21470 8130 0 0 16 0 4 0 1130872776 326574080 66093 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6901/tid=6904] ppid=6899 vsize=318920 CPUtime=302.28
/proc/6901/task/6904/stat : 6904 (satake) R 6899 6901 6554 0 -1 4194368 10803 0 0 0 22010 8218 0 0 15 0 4 0 1130872776 326574080 66093 1992294400 134512640 135180984 4294956208 18446744073709551615 134520661 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 794.39
Current children cumulated vsize (KiB) 318920

[startup+522.305 s]
/proc/loadavg: 2.40 2.10 1.56 3/80 6905
/proc/meminfo: memFree=1057400/2055920 swapFree=4127460/4192956
[pid=6901] ppid=6899 vsize=354784 CPUtime=898.83
/proc/6901/stat : 6901 (satake) S 6899 6901 6554 0 -1 4194304 74225 0 0 0 54062 35821 0 0 20 0 4 0 1130872776 363298816 74210 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6901/statm: 88696 74210 70 163 0 88531 0
[pid=6901/tid=6902] ppid=6899 vsize=354784 CPUtime=220.45
/proc/6901/task/6902/stat : 6902 (satake) S 6899 6901 6554 0 -1 4194368 54218 0 0 0 4600 17445 0 0 15 0 4 0 1130872776 363298816 74210 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6901/tid=6903] ppid=6899 vsize=354784 CPUtime=335.7
/proc/6901/task/6903/stat : 6903 (satake) R 6899 6901 6554 0 -1 4194368 7758 0 0 0 24430 9140 0 0 16 0 4 0 1130872776 363298816 74210 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6901/tid=6904] ppid=6899 vsize=354784 CPUtime=342.67
/proc/6901/task/6904/stat : 6904 (satake) S 6899 6901 6554 0 -1 4194368 12166 0 0 0 25031 9236 0 0 15 0 4 0 1130872776 363298816 74210 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 898.83
Current children cumulated vsize (KiB) 354784

[startup+582.306 s]
/proc/loadavg: 2.41 2.17 1.62 4/80 6905
/proc/meminfo: memFree=1024888/2055920 swapFree=4127460/4192956
[pid=6901] ppid=6899 vsize=400688 CPUtime=1002.99
/proc/6901/stat : 6901 (satake) S 6899 6901 6554 0 -1 4194304 82297 0 0 0 60487 39812 0 0 20 0 4 0 1130872776 410304512 82282 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6901/statm: 100172 82282 70 163 0 100007 0
[pid=6901/tid=6902] ppid=6899 vsize=400688 CPUtime=244.78
/proc/6901/task/6902/stat : 6902 (satake) S 6899 6901 6554 0 -1 4194368 59958 0 0 0 5112 19366 0 0 15 0 4 0 1130872776 410304512 82282 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6901/tid=6903] ppid=6899 vsize=400688 CPUtime=375.06
/proc/6901/task/6903/stat : 6903 (satake) R 6899 6901 6554 0 -1 4194368 8781 0 0 0 27338 10168 0 0 15 0 4 0 1130872776 410304512 82282 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6901/tid=6904] ppid=6899 vsize=400688 CPUtime=383.12
/proc/6901/task/6904/stat : 6904 (satake) R 6899 6901 6554 0 -1 4194368 13475 0 0 0 28035 10277 0 0 15 0 4 0 1130872776 410304512 82282 1992294400 134512640 135180984 4294956208 18446744073709551615 134520013 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1002.99
Current children cumulated vsize (KiB) 400688

[startup+642.302 s]
/proc/loadavg: 2.25 2.16 1.65 3/80 6907
/proc/meminfo: memFree=992120/2055920 swapFree=4127460/4192956
[pid=6901] ppid=6899 vsize=438176 CPUtime=1107.08
/proc/6901/stat : 6901 (satake) S 6899 6901 6554 0 -1 4194304 90387 0 0 0 66919 43789 0 0 20 0 4 0 1130872776 448692224 90372 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6901/statm: 109544 90372 70 163 0 109379 0
[pid=6901/tid=6902] ppid=6899 vsize=438176 CPUtime=269.41
/proc/6901/task/6902/stat : 6902 (satake) R 6899 6901 6554 0 -1 4194368 65957 0 0 0 5632 21309 0 0 15 0 4 0 1130872776 448692224 90372 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6901/tid=6903] ppid=6899 vsize=438176 CPUtime=414.13
/proc/6901/task/6903/stat : 6903 (satake) S 6899 6901 6554 0 -1 4194368 9608 0 0 0 30234 11179 0 0 16 0 4 0 1130872776 448692224 90372 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6901/tid=6904] ppid=6899 vsize=438176 CPUtime=423.53
/proc/6901/task/6904/stat : 6904 (satake) R 6899 6901 6554 0 -1 4194368 14739 0 0 0 31053 11300 0 0 15 0 4 0 1130872776 448692224 90372 1992294400 134512640 135180984 4294956208 18446744073709551615 134519101 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1107.08
Current children cumulated vsize (KiB) 438176



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+695.701 s]
/proc/loadavg: 2.41 2.21 1.69 2/80 6907
/proc/meminfo: memFree=963128/2055920 swapFree=4127460/4192956
[pid=6901] ppid=6899 vsize=470128 CPUtime=1200.15
/proc/6901/stat : 6901 (satake) S 6899 6901 6554 0 -1 4194304 97604 0 0 0 72719 47296 0 0 20 0 4 0 1130872776 481411072 97589 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6901/statm: 117532 97589 70 163 0 117367 0
[pid=6901/tid=6902] ppid=6899 vsize=470128 CPUtime=290.85
/proc/6901/task/6902/stat : 6902 (satake) R 6899 6901 6554 0 -1 4194368 71303 0 0 0 6085 23000 0 0 16 0 4 0 1130872776 481411072 97589 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6901/tid=6903] ppid=6899 vsize=470128 CPUtime=449.92
/proc/6901/task/6903/stat : 6903 (satake) R 6899 6901 6554 0 -1 4194368 10264 0 0 0 32902 12090 0 0 17 0 4 0 1130872776 481411072 97589 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6901/tid=6904] ppid=6899 vsize=470128 CPUtime=459.34
/proc/6901/task/6904/stat : 6904 (satake) R 6899 6901 6554 0 -1 4194368 15954 0 0 0 33730 12204 0 0 16 0 4 0 1130872776 481411072 97589 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.15
Current children cumulated vsize (KiB) 470128

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

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

[startup+695.701 s]
/proc/loadavg: 2.41 2.21 1.69 2/80 6907
/proc/meminfo: memFree=963128/2055920 swapFree=4127460/4192956
[pid=6901] ppid=6899 vsize=470128 CPUtime=1200.15
/proc/6901/stat : 6901 (satake) S 6899 6901 6554 0 -1 4194304 97604 0 0 0 72719 47296 0 0 20 0 4 0 1130872776 481411072 97589 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6901/statm: 117532 97589 70 163 0 117367 0
[pid=6901/tid=6902] ppid=6899 vsize=470128 CPUtime=290.85
/proc/6901/task/6902/stat : 6902 (satake) R 6899 6901 6554 0 -1 4194368 71303 0 0 0 6085 23000 0 0 16 0 4 0 1130872776 481411072 97589 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6901/tid=6903] ppid=6899 vsize=470128 CPUtime=449.92
/proc/6901/task/6903/stat : 6903 (satake) R 6899 6901 6554 0 -1 4194368 10264 0 0 0 32902 12090 0 0 17 0 4 0 1130872776 481411072 97589 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6901/tid=6904] ppid=6899 vsize=470128 CPUtime=459.34
/proc/6901/task/6904/stat : 6904 (satake) R 6899 6901 6554 0 -1 4194368 15954 0 0 0 33730 12204 0 0 16 0 4 0 1130872776 481411072 97589 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.15
Current children cumulated vsize (KiB) 470128

Child ended because it received signal 15 (SIGTERM)
Real time (s): 695.78
CPU time (s): 1200.23
CPU user time (s): 727.201
CPU system time (s): 473.032
CPU usage (%): 172.502
Max. virtual memory (cumulated for all children) (KiB): 470128

deleting IPC queue 2326528
deleting IPC queue 2359297
deleting IPC queue 2392066
deleting IPC queue 2424835
deleting IPC queue 2457604
deleting IPC queue 2490373
deleting IPC queue 2523142
deleting IPC queue 2555911
deleting IPC queue 2588680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 727.201
system time used= 473.032
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97605
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= 22405692
involuntary context switches= 20675669

runsolver used 1.05884 second user time and 2.55061 second system time

The end

Launcher Data 

Begin job on node63 at 2009-04-01 12:35:18
IDJOB=1543851
IDBENCH=70692
IDSOLVER=553
FILE ID=node63/1543851-1238582118
PBS_JOBID= 9062202
Free space on /tmp= 66484 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/SATISFIABLE/400/unif-k3-r4.25-v400-c1700-S1531283922-009.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543851-1238582118/watcher-1543851-1238582118 -o /tmp/evaluation-result-1543851-1238582118/solver-1543851-1238582118 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543851-1238582118.cnf 3 1200

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

MD5SUM BENCH= ed6fcf5f29f5b190db98674f0404abc2
RANDOM SEED=668186790

node63.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.285
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.285
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:       1355320 kB
Buffers:         96504 kB
Cached:         463876 kB
SwapCached:      55360 kB
Active:         218376 kB
Inactive:       398832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1355320 kB
SwapTotal:     4192956 kB
SwapFree:      4127460 kB
Dirty:             776 kB
Writeback:           0 kB
Mapped:          14612 kB
Slab:            68008 kB
Committed_AS:  3407972 kB
PageTables:       2312 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66484 MiB
End job on node63 at 2009-04-01 12:46:56