Trace number 1543586

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.22 705.297

General information on the benchmark

NameRANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1568932519-011.cnf
MD5SUM58887e5330b5ce04c1b9dbb757401af0
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.020996
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-1543586-1238493479/watcher-1543586-1238493479 -o /tmp/evaluation-result-1543586-1238493479/solver-1543586-1238493479 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543586-1238493479.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.83 1.95 1.90 2/64 24494
/proc/meminfo: memFree=1091456/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=1148 CPUtime=0
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 138 0 0 0 0 0 0 0 18 0 4 0 1122013470 1175552 123 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 287 123 68 163 0 122 0
[pid=24494/tid=24495] ppid=24492 vsize=1148 CPUtime=0
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1122013470 1175552 123 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24494/tid=24496] ppid=24492 vsize=1148 CPUtime=0
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 48 0 0 0 0 0 0 0 19 0 4 0 1122013470 1175552 123 1992294400 134512640 135180984 4294956208 18446744073709551615 134528746 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24494/tid=24497] ppid=24492 vsize=1148 CPUtime=0
/proc/24494/task/24497/stat : 24497 (satake) R 24492 24494 24426 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 1122013470 1175552 123 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0501239 s]
/proc/loadavg: 1.83 1.95 1.90 2/64 24494
/proc/meminfo: memFree=1091456/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=3196 CPUtime=0.07
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 208 0 0 0 4 3 0 0 18 0 4 0 1122013470 3272704 193 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 799 193 70 163 0 634 0
[pid=24494/tid=24495] ppid=24492 vsize=3196 CPUtime=0.01
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 14 0 0 0 0 1 0 0 17 0 4 0 1122013470 3272704 193 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24496] ppid=24492 vsize=3196 CPUtime=0.02
/proc/24494/task/24496/stat : 24496 (satake) S 24492 24494 24426 0 -1 4194368 62 0 0 0 1 1 0 0 16 0 4 0 1122013470 3272704 193 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=3196 CPUtime=0.01
/proc/24494/task/24497/stat : 24497 (satake) S 24492 24494 24426 0 -1 4194368 49 0 0 0 1 0 0 0 16 0 4 0 1122013470 3272704 193 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3196

[startup+0.101076 s]
/proc/loadavg: 1.83 1.95 1.90 2/64 24494
/proc/meminfo: memFree=1091456/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=3328 CPUtime=0.15
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 237 0 0 0 7 8 0 0 18 0 4 0 1122013470 3407872 222 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 832 222 70 163 0 667 0
[pid=24494/tid=24495] ppid=24492 vsize=3328 CPUtime=0.05
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 24 0 0 0 1 4 0 0 17 0 4 0 1122013470 3407872 222 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24496] ppid=24492 vsize=3328 CPUtime=0.05
/proc/24494/task/24496/stat : 24496 (satake) S 24492 24494 24426 0 -1 4194368 72 0 0 0 3 2 0 0 16 0 4 0 1122013470 3407872 222 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=3328 CPUtime=0.04
/proc/24494/task/24497/stat : 24497 (satake) R 24492 24494 24426 0 -1 4194368 58 0 0 0 2 2 0 0 17 0 4 0 1122013470 3407872 222 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 3328

[startup+0.302858 s]
/proc/loadavg: 1.83 1.95 1.90 2/64 24494
/proc/meminfo: memFree=1091456/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=3460 CPUtime=0.46
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 286 0 0 0 22 24 0 0 18 0 4 0 1122013470 3543040 271 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 865 271 70 163 0 700 0
[pid=24494/tid=24495] ppid=24492 vsize=3460 CPUtime=0.16
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 47 0 0 0 3 13 0 0 17 0 4 0 1122013470 3543040 271 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24496] ppid=24492 vsize=3460 CPUtime=0.14
/proc/24494/task/24496/stat : 24496 (satake) S 24492 24494 24426 0 -1 4194368 87 0 0 0 9 5 0 0 16 0 4 0 1122013470 3543040 271 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=3460 CPUtime=0.15
/proc/24494/task/24497/stat : 24497 (satake) R 24492 24494 24426 0 -1 4194368 69 0 0 0 9 6 0 0 16 0 4 0 1122013470 3543040 271 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 3460

[startup+0.702896 s]
/proc/loadavg: 1.83 1.95 1.90 2/64 24494
/proc/meminfo: memFree=1091456/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=3728 CPUtime=1.1
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 372 0 0 0 53 57 0 0 18 0 4 0 1122013470 3817472 357 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 932 357 70 163 0 767 0
[pid=24494/tid=24495] ppid=24492 vsize=3728 CPUtime=0.38
/proc/24494/task/24495/stat : 24495 (satake) S 24492 24494 24426 0 -1 4194368 104 0 0 0 7 31 0 0 17 0 4 0 1122013470 3817472 357 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24494/tid=24496] ppid=24492 vsize=3728 CPUtime=0.35
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 107 0 0 0 22 13 0 0 17 0 4 0 1122013470 3817472 357 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24494/tid=24497] ppid=24492 vsize=3728 CPUtime=0.34
/proc/24494/task/24497/stat : 24497 (satake) S 24492 24494 24426 0 -1 4194368 78 0 0 0 22 12 0 0 16 0 4 0 1122013470 3817472 357 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 3728

[startup+1.50196 s]
/proc/loadavg: 1.83 1.95 1.90 3/68 24498
/proc/meminfo: memFree=1089888/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=4392 CPUtime=2.37
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 544 0 0 0 113 124 0 0 18 0 4 0 1122013470 4497408 529 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 1098 529 70 163 0 933 0
[pid=24494/tid=24495] ppid=24492 vsize=4392 CPUtime=0.78
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 226 0 0 0 14 64 0 0 15 0 4 0 1122013470 4497408 529 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24496] ppid=24492 vsize=4392 CPUtime=0.79
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 144 0 0 0 50 29 0 0 15 0 4 0 1122013470 4497408 529 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24494/tid=24497] ppid=24492 vsize=4392 CPUtime=0.78
/proc/24494/task/24497/stat : 24497 (satake) S 24492 24494 24426 0 -1 4194368 91 0 0 0 48 30 0 0 16 0 4 0 1122013470 4497408 529 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 4392

[startup+3.10129 s]
/proc/loadavg: 1.83 1.95 1.90 3/68 24498
/proc/meminfo: memFree=1088864/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=5696 CPUtime=4.96
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 852 0 0 0 241 255 0 0 18 0 4 0 1122013470 5832704 837 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 1424 837 70 163 0 1259 0
[pid=24494/tid=24495] ppid=24492 vsize=5696 CPUtime=1.61
/proc/24494/task/24495/stat : 24495 (satake) S 24492 24494 24426 0 -1 4194368 465 0 0 0 31 130 0 0 16 0 4 0 1122013470 5832704 837 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=24494/tid=24496] ppid=24492 vsize=5696 CPUtime=1.67
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 197 0 0 0 106 61 0 0 16 0 4 0 1122013470 5832704 837 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24494/tid=24497] ppid=24492 vsize=5696 CPUtime=1.65
/proc/24494/task/24497/stat : 24497 (satake) R 24492 24494 24426 0 -1 4194368 107 0 0 0 103 62 0 0 16 0 4 0 1122013470 5832704 837 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.96
Current children cumulated vsize (KiB) 5696

[startup+6.30237 s]
/proc/loadavg: 1.92 1.97 1.90 3/68 24498
/proc/meminfo: memFree=1086368/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=8220 CPUtime=10.17
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 1450 0 0 0 501 516 0 0 18 0 4 0 1122013470 8417280 1435 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 2055 1435 70 163 0 1890 0
[pid=24494/tid=24495] ppid=24492 vsize=8220 CPUtime=3.22
/proc/24494/task/24495/stat : 24495 (satake) S 24492 24494 24426 0 -1 4194368 963 0 0 0 63 259 0 0 15 0 4 0 1122013470 8417280 1435 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24494/tid=24496] ppid=24492 vsize=8220 CPUtime=3.5
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 277 0 0 0 224 126 0 0 16 0 4 0 1122013470 8417280 1435 1992294400 134512640 135180984 4294956208 18446744073709551615 134519884 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24494/tid=24497] ppid=24492 vsize=8220 CPUtime=3.43
/proc/24494/task/24497/stat : 24497 (satake) R 24492 24494 24426 0 -1 4194368 127 0 0 0 213 130 0 0 16 0 4 0 1122013470 8417280 1435 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.17
Current children cumulated vsize (KiB) 8220

[startup+12.7019 s]
/proc/loadavg: 1.85 1.95 1.90 3/68 24498
/proc/meminfo: memFree=1081760/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=13048 CPUtime=20.66
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 2516 0 0 0 1024 1042 0 0 18 0 4 0 1122013470 13361152 2501 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 3262 2501 70 163 0 3097 0
[pid=24494/tid=24495] ppid=24492 vsize=13048 CPUtime=6.41
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 1882 0 0 0 124 517 0 0 15 0 4 0 1122013470 13361152 2501 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24494/tid=24496] ppid=24492 vsize=13048 CPUtime=7.14
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 398 0 0 0 455 259 0 0 16 0 4 0 1122013470 13361152 2501 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24494/tid=24497] ppid=24492 vsize=13048 CPUtime=7.09
/proc/24494/task/24497/stat : 24497 (satake) R 24492 24494 24426 0 -1 4194368 153 0 0 0 444 265 0 0 16 0 4 0 1122013470 13361152 2501 1992294400 134512640 135180984 4294956208 18446744073709551615 134528428 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 20.66
Current children cumulated vsize (KiB) 13048

[startup+25.5025 s]
/proc/loadavg: 1.88 1.95 1.90 3/68 24498
/proc/meminfo: memFree=1073184/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=22020 CPUtime=41.76
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 4586 0 0 0 2082 2094 0 0 18 0 4 0 1122013470 22548480 4571 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 5505 4571 70 163 0 5340 0
[pid=24494/tid=24495] ppid=24492 vsize=22020 CPUtime=12.87
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 3560 0 0 0 256 1031 0 0 15 0 4 0 1122013470 22548480 4571 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24494/tid=24496] ppid=24492 vsize=22020 CPUtime=14.47
/proc/24494/task/24496/stat : 24496 (satake) S 24492 24494 24426 0 -1 4194368 757 0 0 0 917 530 0 0 15 0 4 0 1122013470 22548480 4571 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=24494/tid=24497] ppid=24492 vsize=22020 CPUtime=14.39
/proc/24494/task/24497/stat : 24497 (satake) S 24492 24494 24426 0 -1 4194368 186 0 0 0 907 532 0 0 15 0 4 0 1122013470 22548480 4571 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.76
Current children cumulated vsize (KiB) 22020

[startup+51.1022 s]
/proc/loadavg: 1.79 1.92 1.89 3/68 24498
/proc/meminfo: memFree=1057376/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=42612 CPUtime=84.43
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 8611 0 0 0 4282 4161 0 0 18 0 4 0 1122013470 43634688 8596 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 10653 8596 70 163 0 10488 0
[pid=24494/tid=24495] ppid=24492 vsize=42612 CPUtime=25.45
/proc/24494/task/24495/stat : 24495 (satake) S 24492 24494 24426 0 -1 4194368 6751 0 0 0 514 2031 0 0 15 0 4 0 1122013470 43634688 8596 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24494/tid=24496] ppid=24492 vsize=42612 CPUtime=29.53
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 1486 0 0 0 1890 1063 0 0 16 0 4 0 1122013470 43634688 8596 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=42612 CPUtime=29.42
/proc/24494/task/24497/stat : 24497 (satake) R 24492 24494 24426 0 -1 4194368 291 0 0 0 1876 1066 0 0 16 0 4 0 1122013470 43634688 8596 1992294400 134512640 135180984 4294956208 18446744073709551615 134528428 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 84.43
Current children cumulated vsize (KiB) 42612

[startup+102.307 s]
/proc/loadavg: 2.10 1.98 1.91 2/68 24498
/proc/meminfo: memFree=1025632/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=79788 CPUtime=170.27
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 16448 0 0 0 8767 8260 0 0 18 0 4 0 1122013470 81702912 16433 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 19947 16433 70 163 0 19782 0
[pid=24494/tid=24495] ppid=24492 vsize=79788 CPUtime=50.42
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 12948 0 0 0 1009 4033 0 0 16 0 4 0 1122013470 81702912 16433 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24494/tid=24496] ppid=24492 vsize=79788 CPUtime=59.61
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 2874 0 0 0 3863 2098 0 0 16 0 4 0 1122013470 81702912 16433 1992294400 134512640 135180984 4294956208 18446744073709551615 134518214 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=79788 CPUtime=60.21
/proc/24494/task/24497/stat : 24497 (satake) R 24492 24494 24426 0 -1 4194368 543 0 0 0 3894 2127 0 0 16 0 4 0 1122013470 81702912 16433 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 170.27
Current children cumulated vsize (KiB) 79788

[startup+162.304 s]
/proc/loadavg: 1.98 1.97 1.91 2/68 24498
/proc/meminfo: memFree=990048/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=124092 CPUtime=271.64
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 25369 0 0 0 14174 12990 0 0 18 0 4 0 1122013470 127070208 25354 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 31023 25354 70 163 0 30858 0
[pid=24494/tid=24495] ppid=24492 vsize=124092 CPUtime=79.48
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 20290 0 0 0 1607 6341 0 0 16 0 4 0 1122013470 127070208 25354 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24496] ppid=24492 vsize=124092 CPUtime=95.69

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

Current children cumulated vsize (KiB) 124092

[startup+222.301 s]
/proc/loadavg: 1.98 1.98 1.91 3/68 24504
/proc/meminfo: memFree=953888/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=165420 CPUtime=373.19
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 34289 0 0 0 19663 17656 0 0 18 0 4 0 1122013470 169390080 34274 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 41355 34274 70 163 0 41190 0
[pid=24494/tid=24495] ppid=24492 vsize=165420 CPUtime=108.07
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 27701 0 0 0 2196 8611 0 0 15 0 4 0 1122013470 169390080 34274 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24494/tid=24496] ppid=24492 vsize=165420 CPUtime=132.33
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 5102 0 0 0 8732 4501 0 0 16 0 4 0 1122013470 169390080 34274 1992294400 134512640 135180984 4294956208 18446744073709551615 134528628 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=165420 CPUtime=132.76
/proc/24494/task/24497/stat : 24497 (satake) R 24492 24494 24426 0 -1 4194368 1403 0 0 0 8734 4542 0 0 16 0 4 0 1122013470 169390080 34274 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 373.19
Current children cumulated vsize (KiB) 165420

[startup+282.301 s]
/proc/loadavg: 2.18 2.04 1.94 3/68 24504
/proc/meminfo: memFree=918496/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=208976 CPUtime=475.01
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 43200 0 0 0 25169 22332 0 0 18 0 4 0 1122013470 213991424 43185 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 52244 43185 70 163 0 52079 0
[pid=24494/tid=24495] ppid=24492 vsize=208976 CPUtime=136.69
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 34964 0 0 0 2777 10892 0 0 15 0 4 0 1122013470 213991424 43185 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24496] ppid=24492 vsize=208976 CPUtime=168.9
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 6372 0 0 0 11189 5701 0 0 15 0 4 0 1122013470 213991424 43185 1992294400 134512640 135180984 4294956208 18446744073709551615 134530765 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=208976 CPUtime=169.4
/proc/24494/task/24497/stat : 24497 (satake) S 24492 24494 24426 0 -1 4194368 1781 0 0 0 11201 5739 0 0 16 0 4 0 1122013470 213991424 43185 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 475.01
Current children cumulated vsize (KiB) 208976

[startup+342.302 s]
/proc/loadavg: 2.14 2.06 1.95 2/68 24504
/proc/meminfo: memFree=882464/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=252532 CPUtime=577.12
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 52118 0 0 0 30724 26988 0 0 18 0 4 0 1122013470 258592768 52103 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 63133 52103 70 163 0 62968 0
[pid=24494/tid=24495] ppid=24492 vsize=252532 CPUtime=165.12
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 42641 0 0 0 3367 13145 0 0 16 0 4 0 1122013470 258592768 52103 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24496] ppid=24492 vsize=252532 CPUtime=205.76
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 6926 0 0 0 13683 6893 0 0 16 0 4 0 1122013470 258592768 52103 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24494/tid=24497] ppid=24492 vsize=252532 CPUtime=206.21
/proc/24494/task/24497/stat : 24497 (satake) R 24492 24494 24426 0 -1 4194368 2468 0 0 0 13673 6948 0 0 16 0 4 0 1122013470 258592768 52103 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 577.12
Current children cumulated vsize (KiB) 252532

[startup+402.303 s]
/proc/loadavg: 2.38 2.13 1.97 4/68 24504
/proc/meminfo: memFree=847648/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=294700 CPUtime=679.9
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 60871 0 0 0 36418 31572 0 0 18 0 4 0 1122013470 301772800 60856 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 73675 60856 70 163 0 73510 0
[pid=24494/tid=24495] ppid=24492 vsize=294700 CPUtime=193
/proc/24494/task/24495/stat : 24495 (satake) S 24492 24494 24426 0 -1 4194368 51354 0 0 0 3940 15360 0 0 15 0 4 0 1122013470 301772800 60856 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=24494/tid=24496] ppid=24492 vsize=294700 CPUtime=243.16
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 6939 0 0 0 16248 8068 0 0 16 0 4 0 1122013470 301772800 60856 1992294400 134512640 135180984 4294956208 18446744073709551615 134519884 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=294700 CPUtime=243.73
/proc/24494/task/24497/stat : 24497 (satake) R 24492 24494 24426 0 -1 4194368 2495 0 0 0 16230 8143 0 0 16 0 4 0 1122013470 301772800 60856 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 679.9
Current children cumulated vsize (KiB) 294700

[startup+462.303 s]
/proc/loadavg: 2.20 2.13 1.98 2/68 24504
/proc/meminfo: memFree=812448/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=340492 CPUtime=782.8
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 69587 0 0 0 42166 36114 0 0 18 0 4 0 1122013470 348663808 69572 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 85123 69572 70 163 0 84958 0
[pid=24494/tid=24495] ppid=24492 vsize=340492 CPUtime=220.86
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 60049 0 0 0 4529 17557 0 0 16 0 4 0 1122013470 348663808 69572 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24494/tid=24496] ppid=24492 vsize=340492 CPUtime=280.79
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 6944 0 0 0 18855 9224 0 0 15 0 4 0 1122013470 348663808 69572 1992294400 134512640 135180984 4294956208 18446744073709551615 134528441 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24494/tid=24497] ppid=24492 vsize=340492 CPUtime=281.13
/proc/24494/task/24497/stat : 24497 (satake) S 24492 24494 24426 0 -1 4194368 2511 0 0 0 18781 9332 0 0 16 0 4 0 1122013470 348663808 69572 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 782.8
Current children cumulated vsize (KiB) 340492

[startup+522.302 s]
/proc/loadavg: 2.27 2.15 2.00 3/68 24504
/proc/meminfo: memFree=777696/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=370408 CPUtime=885.96
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 78333 0 0 0 47902 40694 0 0 18 0 4 0 1122013470 379297792 78318 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 92602 78318 70 163 0 92437 0
[pid=24494/tid=24495] ppid=24492 vsize=370408 CPUtime=248.82
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 68501 0 0 0 5105 19777 0 0 16 0 4 0 1122013470 379297792 78318 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24494/tid=24496] ppid=24492 vsize=370408 CPUtime=318.31
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 7224 0 0 0 21432 10399 0 0 17 0 4 0 1122013470 379297792 78318 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=370408 CPUtime=318.81
/proc/24494/task/24497/stat : 24497 (satake) S 24492 24494 24426 0 -1 4194368 2525 0 0 0 21364 10517 0 0 16 0 4 0 1122013470 379297792 78318 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 885.96
Current children cumulated vsize (KiB) 370408

[startup+582.301 s]
/proc/loadavg: 2.58 2.25 2.04 3/68 24504
/proc/meminfo: memFree=742432/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=417320 CPUtime=989.13
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 87058 0 0 0 53688 45225 0 0 18 0 4 0 1122013470 427335680 87043 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 104330 87043 70 163 0 104165 0
[pid=24494/tid=24495] ppid=24492 vsize=417320 CPUtime=276.58
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 77219 0 0 0 5692 21966 0 0 15 0 4 0 1122013470 427335680 87043 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24496] ppid=24492 vsize=417320 CPUtime=356.02
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 7228 0 0 0 24026 11576 0 0 16 0 4 0 1122013470 427335680 87043 1992294400 134512640 135180984 4294956208 18446744073709551615 134528576 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24494/tid=24497] ppid=24492 vsize=417320 CPUtime=356.51
/proc/24494/task/24497/stat : 24497 (satake) S 24492 24494 24426 0 -1 4194368 2528 0 0 0 23969 11682 0 0 15 0 4 0 1122013470 427335680 87043 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 989.13
Current children cumulated vsize (KiB) 417320

[startup+642.302 s]
/proc/loadavg: 2.36 2.23 2.04 3/68 24504
/proc/meminfo: memFree=707360/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=467788 CPUtime=1092.03
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 95737 0 0 0 59419 49784 0 0 18 0 4 0 1122013470 479014912 95722 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 116947 95722 70 163 0 116782 0
[pid=24494/tid=24495] ppid=24492 vsize=467788 CPUtime=304.41
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 85885 0 0 0 6270 24171 0 0 16 0 4 0 1122013470 479014912 95722 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24496] ppid=24492 vsize=467788 CPUtime=392.91
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 7236 0 0 0 26548 12743 0 0 15 0 4 0 1122013470 479014912 95722 1992294400 134512640 135180984 4294956208 18446744073709551615 134528473 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=467788 CPUtime=394.69
/proc/24494/task/24497/stat : 24497 (satake) S 24492 24494 24426 0 -1 4194368 2533 0 0 0 26600 12869 0 0 16 0 4 0 1122013470 479014912 95722 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1092.03
Current children cumulated vsize (KiB) 467788

[startup+702.301 s]
/proc/loadavg: 2.35 2.25 2.06 4/68 24504
/proc/meminfo: memFree=673056/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=502220 CPUtime=1195.15
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 104383 0 0 0 65252 54263 0 0 18 0 4 0 1122013470 514273280 104368 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 125555 104368 70 163 0 125390 0
[pid=24494/tid=24495] ppid=24492 vsize=502220 CPUtime=331.89
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 94521 0 0 0 6836 26353 0 0 16 0 4 0 1122013470 514273280 104368 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24496] ppid=24492 vsize=502220 CPUtime=430.56
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 7246 0 0 0 29174 13882 0 0 15 0 4 0 1122013470 514273280 104368 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=502220 CPUtime=432.67
/proc/24494/task/24497/stat : 24497 (satake) R 24492 24494 24426 0 -1 4194368 2533 0 0 0 29241 14026 0 0 16 0 4 0 1122013470 514273280 104368 1992294400 134512640 135180984 4294956208 18446744073709551615 134528683 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1195.15
Current children cumulated vsize (KiB) 502220



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+705.205 s]
/proc/loadavg: 2.32 2.24 2.06 4/68 24504
/proc/meminfo: memFree=671008/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=505964 CPUtime=1200.12
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 104807 0 0 0 65531 54481 0 0 18 0 4 0 1122013470 518107136 104792 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 126491 104792 70 163 0 126326 0
[pid=24494/tid=24495] ppid=24492 vsize=505964 CPUtime=333.24
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 94945 0 0 0 6862 26462 0 0 16 0 4 0 1122013470 518107136 104792 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24496] ppid=24492 vsize=505964 CPUtime=432.44
/proc/24494/task/24496/stat : 24496 (satake) S 24492 24494 24426 0 -1 4194368 7246 0 0 0 29306 13938 0 0 15 0 4 0 1122013470 518107136 104792 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=505964 CPUtime=434.41
/proc/24494/task/24497/stat : 24497 (satake) R 24492 24494 24426 0 -1 4194368 2533 0 0 0 29362 14079 0 0 15 0 4 0 1122013470 518107136 104792 1992294400 134512640 135180984 4294956208 18446744073709551615 134528636 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.12
Current children cumulated vsize (KiB) 505964

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 705.297
CPU time (s): 1200.22
CPU user time (s): 655.326
CPU system time (s): 544.895
CPU usage (%): 170.173
Max. virtual memory (cumulated for all children) (KiB): 505964

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= 655.326
system time used= 544.895
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104808
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= 21700991
involuntary context switches= 19828512

runsolver used 0.800878 second user time and 2.22166 second system time

The end

Launcher Data

Begin job on node31 at 2009-03-31 11:57:59
IDJOB=1543586
IDBENCH=70427
IDSOLVER=553
FILE ID=node31/1543586-1238493479
PBS_JOBID= 9061918
Free space on /tmp= 66424 MiB

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

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

MD5SUM BENCH= 58887e5330b5ce04c1b9dbb757401af0
RANDOM SEED=665325959

node31.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.214
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.214
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:       1091872 kB
Buffers:        117656 kB
Cached:         731096 kB
SwapCached:      18724 kB
Active:         162260 kB
Inactive:       706664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1091872 kB
SwapTotal:     4192956 kB
SwapFree:      4167280 kB
Dirty:             792 kB
Writeback:           0 kB
Mapped:          17412 kB
Slab:            80888 kB
Committed_AS:  3100772 kB
PageTables:       1472 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= 66424 MiB
End job on node31 at 2009-03-31 12:09:46