Trace number 1543585

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.18 706.195

General information on the benchmark

NameRANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S2139292994-055.cnf
MD5SUM41ed6a246c10a2f9a4d7ddf7edc0236a
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.015997
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of clauses1917
Sum of the clauses size9585
Maximum clause length5
Minimum clause length5
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 51917
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-1543585-1238493472/watcher-1543585-1238493472 -o /tmp/evaluation-result-1543585-1238493472/solver-1543585-1238493472 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543585-1238493472.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.00 1.87 1.58 3/64 16023
/proc/meminfo: memFree=1547000/2055920 swapFree=4176720/4192956
[pid=16023] ppid=16021 vsize=1288 CPUtime=0
/proc/16023/stat : 16023 (satake) S 16021 16023 15574 0 -1 4194304 162 0 0 0 0 0 0 0 18 0 4 0 1122012248 1318912 147 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16023/statm: 322 147 68 163 0 157 0
[pid=16023/tid=16024] ppid=16021 vsize=1288 CPUtime=0
/proc/16023/task/16024/stat : 16024 (satake) R 16021 16023 15574 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1122012248 1318912 147 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16023/tid=16025] ppid=16021 vsize=1288 CPUtime=0
/proc/16023/task/16025/stat : 16025 (satake) R 16021 16023 15574 0 -1 4194368 48 0 0 0 0 0 0 0 19 0 4 0 1122012248 1318912 147 1992294400 134512640 135180984 4294956208 18446744073709551615 134536969 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16023/tid=16026] ppid=16021 vsize=1288 CPUtime=0
/proc/16023/task/16026/stat : 16026 (satake) R 16021 16023 15574 0 -1 4194368 24 0 0 0 0 0 0 0 19 0 4 0 1122012248 1318912 147 1992294400 134512640 135180984 4294956208 18446744073709551615 134513973 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.021893 s]
/proc/loadavg: 2.00 1.87 1.58 3/64 16023
/proc/meminfo: memFree=1547000/2055920 swapFree=4176720/4192956
[pid=16023] ppid=16021 vsize=3332 CPUtime=0.01
/proc/16023/stat : 16023 (satake) S 16021 16023 15574 0 -1 4194304 190 0 0 0 1 0 0 0 18 0 4 0 1122012248 3411968 175 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16023/statm: 833 175 70 163 0 668 0
[pid=16023/tid=16024] ppid=16021 vsize=3332 CPUtime=0
/proc/16023/task/16024/stat : 16024 (satake) R 16021 16023 15574 0 -1 4194368 11 0 0 0 0 0 0 0 17 0 4 0 1122012248 3411968 175 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16023/tid=16025] ppid=16021 vsize=3332 CPUtime=0
/proc/16023/task/16025/stat : 16025 (satake) S 16021 16023 15574 0 -1 4194368 51 0 0 0 0 0 0 0 16 0 4 0 1122012248 3411968 175 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16023/tid=16026] ppid=16021 vsize=3332 CPUtime=0
/proc/16023/task/16026/stat : 16026 (satake) S 16021 16023 15574 0 -1 4194368 45 0 0 0 0 0 0 0 17 0 4 0 1122012248 3411968 175 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3332

[startup+0.101942 s]
/proc/loadavg: 2.00 1.87 1.58 3/64 16023
/proc/meminfo: memFree=1547000/2055920 swapFree=4176720/4192956
[pid=16023] ppid=16021 vsize=3464 CPUtime=0.14
/proc/16023/stat : 16023 (satake) S 16021 16023 15574 0 -1 4194304 240 0 0 0 7 7 0 0 18 0 4 0 1122012248 3547136 225 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16023/statm: 866 225 70 163 0 701 0
[pid=16023/tid=16024] ppid=16021 vsize=3464 CPUtime=0.04
/proc/16023/task/16024/stat : 16024 (satake) R 16021 16023 15574 0 -1 4194368 26 0 0 0 0 4 0 0 17 0 4 0 1122012248 3547136 225 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16023/tid=16025] ppid=16021 vsize=3464 CPUtime=0.04
/proc/16023/task/16025/stat : 16025 (satake) R 16021 16023 15574 0 -1 4194368 72 0 0 0 3 1 0 0 16 0 4 0 1122012248 3547136 225 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16023/tid=16026] ppid=16021 vsize=3464 CPUtime=0.04
/proc/16023/task/16026/stat : 16026 (satake) S 16021 16023 15574 0 -1 4194368 59 0 0 0 3 1 0 0 16 0 4 0 1122012248 3547136 225 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 3464

[startup+0.301973 s]
/proc/loadavg: 2.00 1.87 1.58 3/64 16023
/proc/meminfo: memFree=1547000/2055920 swapFree=4176720/4192956
[pid=16023] ppid=16021 vsize=3600 CPUtime=0.45
/proc/16023/stat : 16023 (satake) S 16021 16023 15574 0 -1 4194304 285 0 0 0 22 23 0 0 18 0 4 0 1122012248 3686400 270 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16023/statm: 900 270 70 163 0 735 0
[pid=16023/tid=16024] ppid=16021 vsize=3600 CPUtime=0.15
/proc/16023/task/16024/stat : 16024 (satake) R 16021 16023 15574 0 -1 4194368 54 0 0 0 2 13 0 0 17 0 4 0 1122012248 3686400 270 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16023/tid=16025] ppid=16021 vsize=3600 CPUtime=0.14
/proc/16023/task/16025/stat : 16025 (satake) R 16021 16023 15574 0 -1 4194368 80 0 0 0 10 4 0 0 16 0 4 0 1122012248 3686400 270 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16023/tid=16026] ppid=16021 vsize=3600 CPUtime=0.15
/proc/16023/task/16026/stat : 16026 (satake) S 16021 16023 15574 0 -1 4194368 68 0 0 0 10 5 0 0 16 0 4 0 1122012248 3686400 270 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 3600

[startup+0.701035 s]
/proc/loadavg: 2.00 1.87 1.58 3/64 16023
/proc/meminfo: memFree=1547000/2055920 swapFree=4176720/4192956
[pid=16023] ppid=16021 vsize=3732 CPUtime=1.09
/proc/16023/stat : 16023 (satake) S 16021 16023 15574 0 -1 4194304 372 0 0 0 52 57 0 0 18 0 4 0 1122012248 3821568 357 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16023/statm: 933 357 70 163 0 768 0
[pid=16023/tid=16024] ppid=16021 vsize=3732 CPUtime=0.36
/proc/16023/task/16024/stat : 16024 (satake) R 16021 16023 15574 0 -1 4194368 108 0 0 0 5 31 0 0 18 0 4 0 1122012248 3821568 357 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16023/tid=16025] ppid=16021 vsize=3732 CPUtime=0.35
/proc/16023/task/16025/stat : 16025 (satake) S 16021 16023 15574 0 -1 4194368 95 0 0 0 23 12 0 0 16 0 4 0 1122012248 3821568 357 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16023/tid=16026] ppid=16021 vsize=3732 CPUtime=0.36
/proc/16023/task/16026/stat : 16026 (satake) R 16021 16023 15574 0 -1 4194368 86 0 0 0 23 13 0 0 16 0 4 0 1122012248 3821568 357 1992294400 134512640 135180984 4294956208 18446744073709551615 134522706 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 3732

[startup+1.50135 s]
/proc/loadavg: 2.00 1.87 1.58 3/68 16027
/proc/meminfo: memFree=1545432/2055920 swapFree=4176720/4192956
[pid=16023] ppid=16021 vsize=3996 CPUtime=2.39
/proc/16023/stat : 16023 (satake) S 16021 16023 15574 0 -1 4194304 538 0 0 0 112 127 0 0 18 0 4 0 1122012248 4091904 523 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16023/statm: 999 523 70 163 0 834 0
[pid=16023/tid=16024] ppid=16021 vsize=3996 CPUtime=0.8
/proc/16023/task/16024/stat : 16024 (satake) R 16021 16023 15574 0 -1 4194368 227 0 0 0 13 67 0 0 15 0 4 0 1122012248 4091904 523 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16023/tid=16025] ppid=16021 vsize=3996 CPUtime=0.8
/proc/16023/task/16025/stat : 16025 (satake) R 16021 16023 15574 0 -1 4194368 128 0 0 0 49 31 0 0 16 0 4 0 1122012248 4091904 523 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16023/tid=16026] ppid=16021 vsize=3996 CPUtime=0.78
/proc/16023/task/16026/stat : 16026 (satake) R 16021 16023 15574 0 -1 4194368 100 0 0 0 49 29 0 0 16 0 4 0 1122012248 4091904 523 1992294400 134512640 135180984 4294956208 18446744073709551615 134520860 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 3996

[startup+3.1026 s]
/proc/loadavg: 2.00 1.87 1.58 3/68 16027
/proc/meminfo: memFree=1544408/2055920 swapFree=4176720/4192956
[pid=16023] ppid=16021 vsize=5564 CPUtime=5
/proc/16023/stat : 16023 (satake) S 16021 16023 15574 0 -1 4194304 839 0 0 0 243 257 0 0 18 0 4 0 1122012248 5697536 824 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16023/statm: 1391 824 70 163 0 1226 0
[pid=16023/tid=16024] ppid=16021 vsize=5564 CPUtime=1.6
/proc/16023/task/16024/stat : 16024 (satake) R 16021 16023 15574 0 -1 4194368 470 0 0 0 28 132 0 0 16 0 4 0 1122012248 5697536 824 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16023/tid=16025] ppid=16021 vsize=5564 CPUtime=1.71
/proc/16023/task/16025/stat : 16025 (satake) S 16021 16023 15574 0 -1 4194368 150 0 0 0 108 63 0 0 15 0 4 0 1122012248 5697536 824 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=16023/tid=16026] ppid=16021 vsize=5564 CPUtime=1.67
/proc/16023/task/16026/stat : 16026 (satake) S 16021 16023 15574 0 -1 4194368 136 0 0 0 106 61 0 0 15 0 4 0 1122012248 5697536 824 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5
Current children cumulated vsize (KiB) 5564

[startup+6.30112 s]
/proc/loadavg: 2.00 1.87 1.58 2/68 16027
/proc/meminfo: memFree=1541976/2055920 swapFree=4176720/4192956
[pid=16023] ppid=16021 vsize=8492 CPUtime=10.23
/proc/16023/stat : 16023 (satake) S 16021 16023 15574 0 -1 4194304 1418 0 0 0 495 528 0 0 18 0 4 0 1122012248 8695808 1403 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16023/statm: 2123 1403 70 163 0 1958 0
[pid=16023/tid=16024] ppid=16021 vsize=8492 CPUtime=3.19
/proc/16023/task/16024/stat : 16024 (satake) R 16021 16023 15574 0 -1 4194368 931 0 0 0 56 263 0 0 15 0 4 0 1122012248 8695808 1403 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16023/tid=16025] ppid=16021 vsize=8492 CPUtime=3.56
/proc/16023/task/16025/stat : 16025 (satake) R 16021 16023 15574 0 -1 4194368 197 0 0 0 221 135 0 0 15 0 4 0 1122012248 8695808 1403 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16023/tid=16026] ppid=16021 vsize=8492 CPUtime=3.46
/proc/16023/task/16026/stat : 16026 (satake) R 16021 16023 15574 0 -1 4194368 207 0 0 0 217 129 0 0 16 0 4 0 1122012248 8695808 1403 1992294400 134512640 135180984 4294956208 18446744073709551615 134528655 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.23
Current children cumulated vsize (KiB) 8492

[startup+12.7021 s]
/proc/loadavg: 1.99 1.88 1.58 3/68 16027
/proc/meminfo: memFree=1537304/2055920 swapFree=4176720/4192956
[pid=16023] ppid=16021 vsize=13448 CPUtime=20.79
/proc/16023/stat : 16023 (satake) S 16021 16023 15574 0 -1 4194304 2506 0 0 0 1017 1062 0 0 18 0 4 0 1122012248 13770752 2491 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16023/statm: 3362 2491 70 163 0 3197 0
[pid=16023/tid=16024] ppid=16021 vsize=13448 CPUtime=6.47
/proc/16023/task/16024/stat : 16024 (satake) S 16021 16023 15574 0 -1 4194368 1853 0 0 0 120 527 0 0 15 0 4 0 1122012248 13770752 2491 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16023/tid=16025] ppid=16021 vsize=13448 CPUtime=7.23
/proc/16023/task/16025/stat : 16025 (satake) S 16021 16023 15574 0 -1 4194368 298 0 0 0 451 272 0 0 15 0 4 0 1122012248 13770752 2491 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=16023/tid=16026] ppid=16021 vsize=13448 CPUtime=7.07
/proc/16023/task/16026/stat : 16026 (satake) R 16021 16023 15574 0 -1 4194368 272 0 0 0 445 262 0 0 17 0 4 0 1122012248 13770752 2491 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 20.79
Current children cumulated vsize (KiB) 13448

[startup+25.5018 s]
/proc/loadavg: 2.07 1.90 1.59 3/68 16027
/proc/meminfo: memFree=1529112/2055920 swapFree=4176720/4192956
[pid=16023] ppid=16021 vsize=22512 CPUtime=41.91
/proc/16023/stat : 16023 (satake) S 16021 16023 15574 0 -1 4194304 4505 0 0 0 2067 2124 0 0 18 0 4 0 1122012248 23052288 4490 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16023/statm: 5628 4490 70 163 0 5463 0
[pid=16023/tid=16024] ppid=16021 vsize=22512 CPUtime=12.93
/proc/16023/task/16024/stat : 16024 (satake) S 16021 16023 15574 0 -1 4194368 3473 0 0 0 245 1048 0 0 15 0 4 0 1122012248 23052288 4490 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=16023/tid=16025] ppid=16021 vsize=22512 CPUtime=14.52
/proc/16023/task/16025/stat : 16025 (satake) R 16021 16023 15574 0 -1 4194368 431 0 0 0 914 538 0 0 16 0 4 0 1122012248 23052288 4490 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16023/tid=16026] ppid=16021 vsize=22512 CPUtime=14.44
/proc/16023/task/16026/stat : 16026 (satake) R 16021 16023 15574 0 -1 4194368 518 0 0 0 907 537 0 0 16 0 4 0 1122012248 23052288 4490 1992294400 134512640 135180984 4294956208 18446744073709551615 134528866 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 41.91
Current children cumulated vsize (KiB) 22512

[startup+51.102 s]
/proc/loadavg: 2.17 1.94 1.61 4/68 16027
/proc/meminfo: memFree=1513432/2055920 swapFree=4176720/4192956
[pid=16023] ppid=16021 vsize=41432 CPUtime=84.6
/proc/16023/stat : 16023 (satake) S 16021 16023 15574 0 -1 4194304 8467 0 0 0 4248 4212 0 0 18 0 4 0 1122012248 42426368 8452 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16023/statm: 10358 8452 70 163 0 10193 0
[pid=16023/tid=16024] ppid=16021 vsize=41432 CPUtime=25.74
/proc/16023/task/16024/stat : 16024 (satake) R 16021 16023 15574 0 -1 4194368 6345 0 0 0 504 2070 0 0 16 0 4 0 1122012248 42426368 8452 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16023/tid=16025] ppid=16021 vsize=41432 CPUtime=29.41
/proc/16023/task/16025/stat : 16025 (satake) R 16021 16023 15574 0 -1 4194368 979 0 0 0 1876 1065 0 0 16 0 4 0 1122012248 42426368 8452 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16023/tid=16026] ppid=16021 vsize=41432 CPUtime=29.44
/proc/16023/task/16026/stat : 16026 (satake) S 16021 16023 15574 0 -1 4194368 1060 0 0 0 1868 1076 0 0 16 0 4 0 1122012248 42426368 8452 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 84.6
Current children cumulated vsize (KiB) 41432

[startup+102.307 s]
/proc/loadavg: 2.11 1.96 1.64 3/68 16027
/proc/meminfo: memFree=1482072/2055920 swapFree=4176720/4192956
[pid=16023] ppid=16021 vsize=78740 CPUtime=170.41
/proc/16023/stat : 16023 (satake) S 16021 16023 15574 0 -1 4194304 16214 0 0 0 8693 8348 0 0 18 0 4 0 1122012248 80629760 16199 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16023/statm: 19685 16199 70 163 0 19520 0
[pid=16023/tid=16024] ppid=16021 vsize=78740 CPUtime=51.01
/proc/16023/task/16024/stat : 16024 (satake) S 16021 16023 15574 0 -1 4194368 12007 0 0 0 1007 4094 0 0 16 0 4 0 1122012248 80629760 16199 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=16023/tid=16025] ppid=16021 vsize=78740 CPUtime=59.72
/proc/16023/task/16025/stat : 16025 (satake) R 16021 16023 15574 0 -1 4194368 1919 0 0 0 3849 2123 0 0 15 0 4 0 1122012248 80629760 16199 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16023/tid=16026] ppid=16021 vsize=78740 CPUtime=59.68
/proc/16023/task/16026/stat : 16026 (satake) S 16021 16023 15574 0 -1 4194368 2205 0 0 0 3837 2131 0 0 16 0 4 0 1122012248 80629760 16199 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 170.41
Current children cumulated vsize (KiB) 78740

[startup+162.302 s]
/proc/loadavg: 2.18 2.00 1.66 4/68 16027
/proc/meminfo: memFree=1446616/2055920 swapFree=4176720/4192956
[pid=16023] ppid=16021 vsize=122092 CPUtime=271.64
/proc/16023/stat : 16023 (satake) S 16021 16023 15574 0 -1 4194304 25128 0 0 0 14043 13121 0 0 18 0 4 0 1122012248 125022208 25113 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16023/statm: 30523 25113 70 163 0 30358 0
[pid=16023/tid=16024] ppid=16021 vsize=122092 CPUtime=80.22
/proc/16023/task/16024/stat : 16024 (satake) R 16021 16023 15574 0 -1 4194368 18523 0 0 0 1597 6425 0 0 16 0 4 0 1122012248 125022208 25113 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16023/tid=16025] ppid=16021 vsize=122092 CPUtime=95.65

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

Current children cumulated vsize (KiB) 166456

[startup+282.302 s]
/proc/loadavg: 2.16 2.05 1.72 4/68 16033
/proc/meminfo: memFree=1375960/2055920 swapFree=4176720/4192956
[pid=16023] ppid=16021 vsize=207680 CPUtime=474.24
/proc/16023/stat : 16023 (satake) S 16021 16023 15574 0 -1 4194304 42729 0 0 0 24832 22592 0 0 18 0 4 0 1122012248 212664320 42714 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16023/statm: 51920 42714 70 163 0 51755 0
[pid=16023/tid=16024] ppid=16021 vsize=207680 CPUtime=138.19
/proc/16023/task/16024/stat : 16024 (satake) R 16021 16023 15574 0 -1 4194368 32651 0 0 0 2775 11044 0 0 15 0 4 0 1122012248 212664320 42714 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16023/tid=16025] ppid=16021 vsize=207680 CPUtime=167.69
/proc/16023/task/16025/stat : 16025 (satake) R 16021 16023 15574 0 -1 4194368 5142 0 0 0 11011 5758 0 0 15 0 4 0 1122012248 212664320 42714 1992294400 134512640 135180984 4294956208 18446744073709551615 134528019 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16023/tid=16026] ppid=16021 vsize=207680 CPUtime=168.33
/proc/16023/task/16026/stat : 16026 (satake) S 16021 16023 15574 0 -1 4194368 4853 0 0 0 11045 5788 0 0 16 0 4 0 1122012248 212664320 42714 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 474.24
Current children cumulated vsize (KiB) 207680

[startup+342.303 s]
/proc/loadavg: 2.32 2.13 1.77 4/68 16033
/proc/meminfo: memFree=1340376/2055920 swapFree=4176720/4192956
[pid=16023] ppid=16021 vsize=252616 CPUtime=576.19
/proc/16023/stat : 16023 (satake) S 16021 16023 15574 0 -1 4194304 51502 0 0 0 30316 27303 0 0 18 0 4 0 1122012248 258678784 51487 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16023/statm: 63154 51487 70 163 0 62989 0
[pid=16023/tid=16024] ppid=16021 vsize=252616 CPUtime=166.86
/proc/16023/task/16024/stat : 16024 (satake) R 16021 16023 15574 0 -1 4194368 40200 0 0 0 3360 13326 0 0 16 0 4 0 1122012248 258678784 51487 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16023/tid=16025] ppid=16021 vsize=252616 CPUtime=204.38
/proc/16023/task/16025/stat : 16025 (satake) R 16021 16023 15574 0 -1 4194368 5906 0 0 0 13455 6983 0 0 15 0 4 0 1122012248 258678784 51487 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16023/tid=16026] ppid=16021 vsize=252616 CPUtime=204.93
/proc/16023/task/16026/stat : 16026 (satake) S 16021 16023 15574 0 -1 4194368 5313 0 0 0 13500 6993 0 0 15 0 4 0 1122012248 258678784 51487 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 576.19
Current children cumulated vsize (KiB) 252616

[startup+402.302 s]
/proc/loadavg: 2.15 2.10 1.78 4/68 16033
/proc/meminfo: memFree=1306200/2055920 swapFree=4176720/4192956
[pid=16023] ppid=16021 vsize=289104 CPUtime=678.65
/proc/16023/stat : 16023 (satake) S 16021 16023 15574 0 -1 4194304 60132 0 0 0 35980 31885 0 0 18 0 4 0 1122012248 296042496 60117 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16023/statm: 72276 60117 70 163 0 72111 0
[pid=16023/tid=16024] ppid=16021 vsize=289104 CPUtime=194.84
/proc/16023/task/16024/stat : 16024 (satake) R 16021 16023 15574 0 -1 4194368 47168 0 0 0 3936 15548 0 0 15 0 4 0 1122012248 296042496 60117 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16023/tid=16025] ppid=16021 vsize=289104 CPUtime=241.26
/proc/16023/task/16025/stat : 16025 (satake) R 16021 16023 15574 0 -1 4194368 6835 0 0 0 15967 8159 0 0 15 0 4 0 1122012248 296042496 60117 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16023/tid=16026] ppid=16021 vsize=289104 CPUtime=242.53
/proc/16023/task/16026/stat : 16026 (satake) R 16021 16023 15574 0 -1 4194368 6046 0 0 0 16076 8177 0 0 16 0 4 0 1122012248 296042496 60117 1992294400 134512640 135180984 4294956208 18446744073709551615 134518667 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 678.65
Current children cumulated vsize (KiB) 289104

[startup+462.302 s]
/proc/loadavg: 2.26 2.14 1.81 4/68 16033
/proc/meminfo: memFree=1270936/2055920 swapFree=4176720/4192956
[pid=16023] ppid=16021 vsize=337388 CPUtime=781.11
/proc/16023/stat : 16023 (satake) S 16021 16023 15574 0 -1 4194304 68854 0 0 0 41605 36506 0 0 18 0 4 0 1122012248 345485312 68839 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16023/statm: 84347 68839 70 163 0 84182 0
[pid=16023/tid=16024] ppid=16021 vsize=337388 CPUtime=222.96
/proc/16023/task/16024/stat : 16024 (satake) S 16021 16023 15574 0 -1 4194368 54125 0 0 0 4505 17791 0 0 16 0 4 0 1122012248 345485312 68839 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=16023/tid=16025] ppid=16021 vsize=337388 CPUtime=278.67
/proc/16023/task/16025/stat : 16025 (satake) S 16021 16023 15574 0 -1 4194368 7556 0 0 0 18522 9345 0 0 16 0 4 0 1122012248 345485312 68839 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16023/tid=16026] ppid=16021 vsize=337388 CPUtime=279.45
/proc/16023/task/16026/stat : 16026 (satake) R 16021 16023 15574 0 -1 4194368 7090 0 0 0 18576 9369 0 0 15 0 4 0 1122012248 345485312 68839 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 781.11
Current children cumulated vsize (KiB) 337388

[startup+522.302 s]
/proc/loadavg: 2.16 2.14 1.83 4/68 16033
/proc/meminfo: memFree=1236568/2055920 swapFree=4176720/4192956
[pid=16023] ppid=16021 vsize=382044 CPUtime=883.9
/proc/16023/stat : 16023 (satake) S 16021 16023 15574 0 -1 4194304 77478 0 0 0 47274 41116 0 0 18 0 4 0 1122012248 391213056 77463 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16023/statm: 95511 77463 70 163 0 95346 0
[pid=16023/tid=16024] ppid=16021 vsize=382044 CPUtime=250.95
/proc/16023/task/16024/stat : 16024 (satake) R 16021 16023 15574 0 -1 4194368 61651 0 0 0 5068 20027 0 0 16 0 4 0 1122012248 391213056 77463 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16023/tid=16025] ppid=16021 vsize=382044 CPUtime=316.14
/proc/16023/task/16025/stat : 16025 (satake) R 16021 16023 15574 0 -1 4194368 8112 0 0 0 21083 10531 0 0 15 0 4 0 1122012248 391213056 77463 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16023/tid=16026] ppid=16021 vsize=382044 CPUtime=316.8
/proc/16023/task/16026/stat : 16026 (satake) R 16021 16023 15574 0 -1 4194368 7632 0 0 0 21122 10558 0 0 16 0 4 0 1122012248 391213056 77463 1992294400 134512640 135180984 4294956208 18446744073709551615 134528511 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 883.9
Current children cumulated vsize (KiB) 382044

[startup+582.305 s]
/proc/loadavg: 2.16 2.14 1.85 3/68 16033
/proc/meminfo: memFree=1202264/2055920 swapFree=4176720/4192956
[pid=16023] ppid=16021 vsize=417640 CPUtime=987.37
/proc/16023/stat : 16023 (satake) S 16021 16023 15574 0 -1 4194304 85983 0 0 0 53064 45673 0 0 18 0 4 0 1122012248 427663360 85968 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16023/statm: 104410 85968 70 163 0 104245 0
[pid=16023/tid=16024] ppid=16021 vsize=417640 CPUtime=278.6
/proc/16023/task/16024/stat : 16024 (satake) R 16021 16023 15574 0 -1 4194368 69144 0 0 0 5628 22232 0 0 16 0 4 0 1122012248 427663360 85968 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16023/tid=16025] ppid=16021 vsize=417640 CPUtime=354.09
/proc/16023/task/16025/stat : 16025 (satake) R 16021 16023 15574 0 -1 4194368 8591 0 0 0 23704 11705 0 0 15 0 4 0 1122012248 427663360 85968 1992294400 134512640 135180984 4294956208 18446744073709551615 134528524 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16023/tid=16026] ppid=16021 vsize=417640 CPUtime=354.66
/proc/16023/task/16026/stat : 16026 (satake) S 16021 16023 15574 0 -1 4194368 8165 0 0 0 23731 11735 0 0 15 0 4 0 1122012248 427663360 85968 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 987.37
Current children cumulated vsize (KiB) 417640

[startup+642.303 s]
/proc/loadavg: 2.15 2.16 1.87 3/68 16033
/proc/meminfo: memFree=1167832/2055920 swapFree=4176720/4192956
[pid=16023] ppid=16021 vsize=460684 CPUtime=1090.56
/proc/16023/stat : 16023 (satake) S 16021 16023 15574 0 -1 4194304 94490 0 0 0 58843 50213 0 0 18 0 4 0 1122012248 471740416 94475 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16023/statm: 115171 94475 70 163 0 115006 0
[pid=16023/tid=16024] ppid=16021 vsize=460684 CPUtime=306.18
/proc/16023/task/16024/stat : 16024 (satake) R 16021 16023 15574 0 -1 4194368 77638 0 0 0 6186 24432 0 0 16 0 4 0 1122012248 471740416 94475 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16023/tid=16025] ppid=16021 vsize=460684 CPUtime=391.93
/proc/16023/task/16025/stat : 16025 (satake) R 16021 16023 15574 0 -1 4194368 8591 0 0 0 26310 12883 0 0 16 0 4 0 1122012248 471740416 94475 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16023/tid=16026] ppid=16021 vsize=460684 CPUtime=392.42
/proc/16023/task/16026/stat : 16026 (satake) S 16021 16023 15574 0 -1 4194368 8178 0 0 0 26345 12897 0 0 15 0 4 0 1122012248 471740416 94475 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1090.56
Current children cumulated vsize (KiB) 460684

[startup+702.302 s]
/proc/loadavg: 2.36 2.22 1.91 2/68 16033
/proc/meminfo: memFree=1134232/2055920 swapFree=4176720/4192956
[pid=16023] ppid=16021 vsize=493076 CPUtime=1193.57
/proc/16023/stat : 16023 (satake) S 16021 16023 15574 0 -1 4194304 102942 0 0 0 64639 54718 0 0 18 0 4 0 1122012248 504909824 102927 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16023/statm: 123269 102927 70 163 0 123104 0
[pid=16023/tid=16024] ppid=16021 vsize=493076 CPUtime=333.64
/proc/16023/task/16024/stat : 16024 (satake) S 16021 16023 15574 0 -1 4194368 85872 0 0 0 6749 26615 0 0 15 0 4 0 1122012248 504909824 102927 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=16023/tid=16025] ppid=16021 vsize=493076 CPUtime=429.51
/proc/16023/task/16025/stat : 16025 (satake) R 16021 16023 15574 0 -1 4194368 8689 0 0 0 28911 14040 0 0 16 0 4 0 1122012248 504909824 102927 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16023/tid=16026] ppid=16021 vsize=493076 CPUtime=430.41
/proc/16023/task/16026/stat : 16026 (satake) R 16021 16023 15574 0 -1 4194368 8298 0 0 0 28979 14062 0 0 16 0 4 0 1122012248 504909824 102927 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1193.57
Current children cumulated vsize (KiB) 493076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+706.101 s]
/proc/loadavg: 2.36 2.22 1.91 2/68 16033
/proc/meminfo: memFree=1131672/2055920 swapFree=4176720/4192956
[pid=16023] ppid=16021 vsize=498104 CPUtime=1200.08
/proc/16023/stat : 16023 (satake) S 16021 16023 15574 0 -1 4194304 103493 0 0 0 65007 55001 0 0 18 0 4 0 1122012248 510058496 103478 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16023/statm: 124526 103478 70 163 0 124361 0
[pid=16023/tid=16024] ppid=16021 vsize=498104 CPUtime=335.39
/proc/16023/task/16024/stat : 16024 (satake) R 16021 16023 15574 0 -1 4194368 86423 0 0 0 6787 26752 0 0 15 0 4 0 1122012248 510058496 103478 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16023/tid=16025] ppid=16021 vsize=498104 CPUtime=431.87
/proc/16023/task/16025/stat : 16025 (satake) R 16021 16023 15574 0 -1 4194368 8689 0 0 0 29074 14113 0 0 16 0 4 0 1122012248 510058496 103478 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16023/tid=16026] ppid=16021 vsize=498104 CPUtime=432.8
/proc/16023/task/16026/stat : 16026 (satake) R 16021 16023 15574 0 -1 4194368 8298 0 0 0 29145 14135 0 0 15 0 4 0 1122012248 510058496 103478 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 498104

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

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

[startup+706.101 s]
/proc/loadavg: 2.36 2.22 1.91 2/68 16033
/proc/meminfo: memFree=1131672/2055920 swapFree=4176720/4192956
[pid=16023] ppid=16021 vsize=498104 CPUtime=1200.08
/proc/16023/stat : 16023 (satake) S 16021 16023 15574 0 -1 4194304 103493 0 0 0 65007 55001 0 0 18 0 4 0 1122012248 510058496 103478 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16023/statm: 124526 103478 70 163 0 124361 0
[pid=16023/tid=16024] ppid=16021 vsize=498104 CPUtime=335.39
/proc/16023/task/16024/stat : 16024 (satake) R 16021 16023 15574 0 -1 4194368 86423 0 0 0 6787 26752 0 0 15 0 4 0 1122012248 510058496 103478 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16023/tid=16025] ppid=16021 vsize=498104 CPUtime=431.87
/proc/16023/task/16025/stat : 16025 (satake) R 16021 16023 15574 0 -1 4194368 8689 0 0 0 29074 14113 0 0 16 0 4 0 1122012248 510058496 103478 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16023/tid=16026] ppid=16021 vsize=498104 CPUtime=432.8
/proc/16023/task/16026/stat : 16026 (satake) R 16021 16023 15574 0 -1 4194368 8298 0 0 0 29145 14135 0 0 15 0 4 0 1122012248 510058496 103478 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 498104

Child ended because it received signal 15 (SIGTERM)
Real time (s): 706.195
CPU time (s): 1200.18
CPU user time (s): 650.083
CPU system time (s): 550.099
CPU usage (%): 169.951
Max. virtual memory (cumulated for all children) (KiB): 498104

deleting IPC queue 753664
deleting IPC queue 786433
deleting IPC queue 819202
deleting IPC queue 851971
deleting IPC queue 884740
deleting IPC queue 917509
deleting IPC queue 950278
deleting IPC queue 983047
deleting IPC queue 1015816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 650.083
system time used= 550.099
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103493
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= 22487125
involuntary context switches= 19636954

runsolver used 0.773882 second user time and 2.28565 second system time

The end

Launcher Data 

Begin job on node34 at 2009-03-31 11:57:52
IDJOB=1543585
IDBENCH=70426
IDSOLVER=553
FILE ID=node34/1543585-1238493472
PBS_JOBID= 9061866
Free space on /tmp= 66380 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/5SAT/SATISFIABLE/90/unif-k5-r21.3-v90-c1917-S2139292994-055.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543585-1238493472/watcher-1543585-1238493472 -o /tmp/evaluation-result-1543585-1238493472/solver-1543585-1238493472 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543585-1238493472.cnf 3 1200

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

MD5SUM BENCH= 41ed6a246c10a2f9a4d7ddf7edc0236a
RANDOM SEED=783274115

node34.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.259
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.259
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:       1547480 kB
Buffers:         84720 kB
Cached:         325376 kB
SwapCached:      10076 kB
Active:         159756 kB
Inactive:       261880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1547480 kB
SwapTotal:     4192956 kB
SwapFree:      4176720 kB
Dirty:             792 kB
Writeback:           0 kB
Mapped:          17220 kB
Slab:            72912 kB
Committed_AS:  2716772 kB
PageTables:       1388 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= 66380 MiB
End job on node34 at 2009-03-31 12:09:41