Trace number 1543601

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.2 688.987

General information on the benchmark

NameRANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S971118900-053.cnf
MD5SUMee045fa3fe75a551172052e915c97e36
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.042992
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of clauses2130
Sum of the clauses size10650
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 52130
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-1543601-1238493556/watcher-1543601-1238493556 -o /tmp/evaluation-result-1543601-1238493556/solver-1543601-1238493556 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543601-1238493556.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.13 2.02 1.91 3/64 14627
/proc/meminfo: memFree=1500184/2055920 swapFree=4175828/4192956
[pid=14627] ppid=14625 vsize=1164 CPUtime=0
/proc/14627/stat : 14627 (satake) S 14625 14627 14496 0 -1 4194304 157 0 0 0 0 0 0 0 18 0 4 0 1122020622 1191936 142 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14627/statm: 291 142 68 163 0 126 0
[pid=14627/tid=14628] ppid=14625 vsize=1164 CPUtime=0
/proc/14627/task/14628/stat : 14628 (satake) S 14625 14627 14496 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1122020622 1191936 142 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=14627/tid=14629] ppid=14625 vsize=1164 CPUtime=0
/proc/14627/task/14629/stat : 14629 (satake) R 14625 14627 14496 0 -1 4194368 21 0 0 0 0 0 0 0 19 0 4 0 1122020622 1191936 142 1992294400 134512640 135180984 4294956208 18446744073709551615 134534993 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14627/tid=14630] ppid=14625 vsize=1164 CPUtime=0
/proc/14627/task/14630/stat : 14630 (satake) R 14625 14627 14496 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 4 0 1122020622 1191936 142 1992294400 134512640 135180984 4294956208 18446744073709551615 134520902 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0117071 s]
/proc/loadavg: 2.13 2.02 1.91 3/64 14627
/proc/meminfo: memFree=1500184/2055920 swapFree=4175828/4192956
[pid=14627] ppid=14625 vsize=2316 CPUtime=0.01
/proc/14627/stat : 14627 (satake) S 14625 14627 14496 0 -1 4194304 189 0 0 0 1 0 0 0 18 0 4 0 1122020622 2371584 174 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14627/statm: 579 174 70 163 0 414 0
[pid=14627/tid=14628] ppid=14625 vsize=2316 CPUtime=0
/proc/14627/task/14628/stat : 14628 (satake) R 14625 14627 14496 0 -1 4194368 8 0 0 0 0 0 0 0 16 0 4 0 1122020622 2371584 174 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14627/tid=14629] ppid=14625 vsize=2316 CPUtime=0
/proc/14627/task/14629/stat : 14629 (satake) R 14625 14627 14496 0 -1 4194368 46 0 0 0 0 0 0 0 17 0 4 0 1122020622 2371584 174 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14627/tid=14630] ppid=14625 vsize=2316 CPUtime=0.01
/proc/14627/task/14630/stat : 14630 (satake) S 14625 14627 14496 0 -1 4194368 52 0 0 0 1 0 0 0 16 0 4 0 1122020622 2371584 174 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2316

[startup+0.107121 s]
/proc/loadavg: 2.13 2.02 1.91 3/64 14627
/proc/meminfo: memFree=1500184/2055920 swapFree=4175828/4192956
[pid=14627] ppid=14625 vsize=2580 CPUtime=0.16
/proc/14627/stat : 14627 (satake) S 14625 14627 14496 0 -1 4194304 253 0 0 0 9 7 0 0 18 0 4 0 1122020622 2641920 238 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14627/statm: 645 238 70 163 0 480 0
[pid=14627/tid=14628] ppid=14625 vsize=2580 CPUtime=0.04
/proc/14627/task/14628/stat : 14628 (satake) R 14625 14627 14496 0 -1 4194368 24 0 0 0 0 4 0 0 17 0 4 0 1122020622 2641920 238 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14627/tid=14629] ppid=14625 vsize=2580 CPUtime=0.04
/proc/14627/task/14629/stat : 14629 (satake) R 14625 14627 14496 0 -1 4194368 73 0 0 0 3 1 0 0 16 0 4 0 1122020622 2641920 238 1992294400 134512640 135180984 4294956208 18446744073709551615 134530765 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14627/tid=14630] ppid=14625 vsize=2580 CPUtime=0.05
/proc/14627/task/14630/stat : 14630 (satake) S 14625 14627 14496 0 -1 4194368 73 0 0 0 4 1 0 0 17 0 4 0 1122020622 2641920 238 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 2580

[startup+0.30116 s]
/proc/loadavg: 2.13 2.02 1.91 3/64 14627
/proc/meminfo: memFree=1500184/2055920 swapFree=4175828/4192956
[pid=14627] ppid=14625 vsize=2712 CPUtime=0.47
/proc/14627/stat : 14627 (satake) S 14625 14627 14496 0 -1 4194304 297 0 0 0 26 21 0 0 18 0 4 0 1122020622 2777088 282 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14627/statm: 678 282 70 163 0 513 0
[pid=14627/tid=14628] ppid=14625 vsize=2712 CPUtime=0.12
/proc/14627/task/14628/stat : 14628 (satake) R 14625 14627 14496 0 -1 4194368 43 0 0 0 1 11 0 0 17 0 4 0 1122020622 2777088 282 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14627/tid=14629] ppid=14625 vsize=2712 CPUtime=0.16
/proc/14627/task/14629/stat : 14629 (satake) S 14625 14627 14496 0 -1 4194368 85 0 0 0 12 4 0 0 16 0 4 0 1122020622 2777088 282 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=14627/tid=14630] ppid=14625 vsize=2712 CPUtime=0.16
/proc/14627/task/14630/stat : 14630 (satake) R 14625 14627 14496 0 -1 4194368 86 0 0 0 12 4 0 0 16 0 4 0 1122020622 2777088 282 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2712

[startup+0.70124 s]
/proc/loadavg: 2.13 2.02 1.91 3/64 14627
/proc/meminfo: memFree=1500184/2055920 swapFree=4175828/4192956
[pid=14627] ppid=14625 vsize=3116 CPUtime=1.09
/proc/14627/stat : 14627 (satake) S 14625 14627 14496 0 -1 4194304 392 0 0 0 62 47 0 0 18 0 4 0 1122020622 3190784 377 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14627/statm: 779 377 70 163 0 614 0
[pid=14627/tid=14628] ppid=14625 vsize=3116 CPUtime=0.29
/proc/14627/task/14628/stat : 14628 (satake) R 14625 14627 14496 0 -1 4194368 89 0 0 0 4 25 0 0 18 0 4 0 1122020622 3190784 377 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14627/tid=14629] ppid=14625 vsize=3116 CPUtime=0.38
/proc/14627/task/14629/stat : 14629 (satake) S 14625 14627 14496 0 -1 4194368 113 0 0 0 28 10 0 0 16 0 4 0 1122020622 3190784 377 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=14627/tid=14630] ppid=14625 vsize=3116 CPUtime=0.4
/proc/14627/task/14630/stat : 14630 (satake) S 14625 14627 14496 0 -1 4194368 107 0 0 0 29 11 0 0 17 0 4 0 1122020622 3190784 377 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) 3116

[startup+1.5014 s]
/proc/loadavg: 2.13 2.02 1.91 4/68 14631
/proc/meminfo: memFree=1498680/2055920 swapFree=4175828/4192956
[pid=14627] ppid=14625 vsize=3780 CPUtime=2.35
/proc/14627/stat : 14627 (satake) S 14625 14627 14496 0 -1 4194304 554 0 0 0 135 100 0 0 18 0 4 0 1122020622 3870720 539 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14627/statm: 945 539 70 163 0 780 0
[pid=14627/tid=14628] ppid=14625 vsize=3780 CPUtime=0.63
/proc/14627/task/14628/stat : 14628 (satake) R 14625 14627 14496 0 -1 4194368 188 0 0 0 11 52 0 0 17 0 4 0 1122020622 3870720 539 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14627/tid=14629] ppid=14625 vsize=3780 CPUtime=0.83
/proc/14627/task/14629/stat : 14629 (satake) S 14625 14627 14496 0 -1 4194368 146 0 0 0 60 23 0 0 17 0 4 0 1122020622 3870720 539 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=14627/tid=14630] ppid=14625 vsize=3780 CPUtime=0.88
/proc/14627/task/14630/stat : 14630 (satake) S 14625 14627 14496 0 -1 4194368 137 0 0 0 63 25 0 0 16 0 4 0 1122020622 3870720 539 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 3780

[startup+3.10272 s]
/proc/loadavg: 2.13 2.02 1.91 3/68 14631
/proc/meminfo: memFree=1497720/2055920 swapFree=4175828/4192956
[pid=14627] ppid=14625 vsize=4924 CPUtime=4.96
/proc/14627/stat : 14627 (satake) S 14625 14627 14496 0 -1 4194304 851 0 0 0 274 222 0 0 18 0 4 0 1122020622 5042176 836 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14627/statm: 1231 836 70 163 0 1066 0
[pid=14627/tid=14628] ppid=14625 vsize=4924 CPUtime=1.42
/proc/14627/task/14628/stat : 14628 (satake) R 14625 14627 14496 0 -1 4194368 409 0 0 0 27 115 0 0 15 0 4 0 1122020622 5042176 836 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14627/tid=14629] ppid=14625 vsize=4924 CPUtime=1.79
/proc/14627/task/14629/stat : 14629 (satake) R 14625 14627 14496 0 -1 4194368 190 0 0 0 124 55 0 0 16 0 4 0 1122020622 5042176 836 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14627/tid=14630] ppid=14625 vsize=4924 CPUtime=1.74
/proc/14627/task/14630/stat : 14630 (satake) R 14625 14627 14496 0 -1 4194368 169 0 0 0 123 51 0 0 16 0 4 0 1122020622 5042176 836 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.96
Current children cumulated vsize (KiB) 4924

[startup+6.30236 s]
/proc/loadavg: 2.12 2.02 1.91 4/68 14631
/proc/meminfo: memFree=1495224/2055920 swapFree=4175828/4192956
[pid=14627] ppid=14625 vsize=7196 CPUtime=10.21
/proc/14627/stat : 14627 (satake) S 14625 14627 14496 0 -1 4194304 1393 0 0 0 566 455 0 0 18 0 4 0 1122020622 7368704 1378 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14627/statm: 1799 1378 70 163 0 1634 0
[pid=14627/tid=14628] ppid=14625 vsize=7196 CPUtime=2.82
/proc/14627/task/14628/stat : 14628 (satake) R 14625 14627 14496 0 -1 4194368 817 0 0 0 55 227 0 0 16 0 4 0 1122020622 7368704 1378 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14627/tid=14629] ppid=14625 vsize=7196 CPUtime=3.71
/proc/14627/task/14629/stat : 14629 (satake) R 14625 14627 14496 0 -1 4194368 251 0 0 0 257 114 0 0 15 0 4 0 1122020622 7368704 1378 1992294400 134512640 135180984 4294956208 18446744073709551615 134528571 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14627/tid=14630] ppid=14625 vsize=7196 CPUtime=3.66
/proc/14627/task/14630/stat : 14630 (satake) R 14625 14627 14496 0 -1 4194368 242 0 0 0 253 113 0 0 16 0 4 0 1122020622 7368704 1378 1992294400 134512640 135180984 4294956208 18446744073709551615 134527284 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.21
Current children cumulated vsize (KiB) 7196

[startup+12.7043 s]
/proc/loadavg: 2.19 2.04 1.92 4/68 14631
/proc/meminfo: memFree=1490944/2055920 swapFree=4175828/4192956
[pid=14627] ppid=14625 vsize=11456 CPUtime=20.83
/proc/14627/stat : 14627 (satake) S 14625 14627 14496 0 -1 4194304 2410 0 0 0 1178 905 0 0 18 0 4 0 1122020622 11730944 2395 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14627/statm: 2864 2395 70 163 0 2699 0
[pid=14627/tid=14628] ppid=14625 vsize=11456 CPUtime=5.51
/proc/14627/task/14628/stat : 14628 (satake) R 14625 14627 14496 0 -1 4194368 1622 0 0 0 112 439 0 0 16 0 4 0 1122020622 11730944 2395 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14627/tid=14629] ppid=14625 vsize=11456 CPUtime=7.68
/proc/14627/task/14629/stat : 14629 (satake) S 14625 14627 14496 0 -1 4194368 334 0 0 0 536 232 0 0 15 0 4 0 1122020622 11730944 2395 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=14627/tid=14630] ppid=14625 vsize=11456 CPUtime=7.62
/proc/14627/task/14630/stat : 14630 (satake) R 14625 14627 14496 0 -1 4194368 371 0 0 0 529 233 0 0 16 0 4 0 1122020622 11730944 2395 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 20.83
Current children cumulated vsize (KiB) 11456

[startup+25.5012 s]
/proc/loadavg: 2.07 2.02 1.91 3/68 14631
/proc/meminfo: memFree=1482880/2055920 swapFree=4175828/4192956
[pid=14627] ppid=14625 vsize=21144 CPUtime=42.22
/proc/14627/stat : 14627 (satake) S 14625 14627 14496 0 -1 4194304 4357 0 0 0 2381 1841 0 0 18 0 4 0 1122020622 21651456 4342 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14627/statm: 5286 4342 70 163 0 5121 0
[pid=14627/tid=14628] ppid=14625 vsize=21144 CPUtime=11.24
/proc/14627/task/14628/stat : 14628 (satake) R 14625 14627 14496 0 -1 4194368 3237 0 0 0 232 892 0 0 16 0 4 0 1122020622 21651456 4342 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14627/tid=14629] ppid=14625 vsize=21144 CPUtime=15.47
/proc/14627/task/14629/stat : 14629 (satake) R 14625 14627 14496 0 -1 4194368 497 0 0 0 1075 472 0 0 16 0 4 0 1122020622 21651456 4342 1992294400 134512640 135180984 4294956208 18446744073709551615 134526261 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14627/tid=14630] ppid=14625 vsize=21144 CPUtime=15.49
/proc/14627/task/14630/stat : 14630 (satake) R 14625 14627 14496 0 -1 4194368 540 0 0 0 1073 476 0 0 15 0 4 0 1122020622 21651456 4342 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 42.22
Current children cumulated vsize (KiB) 21144

[startup+51.1023 s]
/proc/loadavg: 2.20 2.05 1.93 4/68 14631
/proc/meminfo: memFree=1468608/2055920 swapFree=4175828/4192956
[pid=14627] ppid=14625 vsize=37972 CPUtime=85.41
/proc/14627/stat : 14627 (satake) S 14625 14627 14496 0 -1 4194304 7989 0 0 0 4920 3621 0 0 18 0 4 0 1122020622 38883328 7974 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14627/statm: 9493 7974 70 163 0 9328 0
[pid=14627/tid=14628] ppid=14625 vsize=37972 CPUtime=22.13
/proc/14627/task/14628/stat : 14628 (satake) R 14625 14627 14496 0 -1 4194368 5994 0 0 0 460 1753 0 0 15 0 4 0 1122020622 38883328 7974 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=14627/tid=14629] ppid=14625 vsize=37972 CPUtime=31.66
/proc/14627/task/14629/stat : 14629 (satake) R 14625 14627 14496 0 -1 4194368 957 0 0 0 2231 935 0 0 16 0 4 0 1122020622 38883328 7974 1992294400 134512640 135180984 4294956208 18446744073709551615 134528760 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14627/tid=14630] ppid=14625 vsize=37972 CPUtime=31.61
/proc/14627/task/14630/stat : 14630 (satake) R 14625 14627 14496 0 -1 4194368 955 0 0 0 2228 933 0 0 16 0 4 0 1122020622 38883328 7974 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 85.41
Current children cumulated vsize (KiB) 37972

[startup+102.307 s]
/proc/loadavg: 2.38 2.12 1.95 3/68 14631
/proc/meminfo: memFree=1438912/2055920 swapFree=4175828/4192956
[pid=14627] ppid=14625 vsize=74128 CPUtime=172.95
/proc/14627/stat : 14627 (satake) S 14625 14627 14496 0 -1 4194304 15328 0 0 0 9968 7327 0 0 18 0 4 0 1122020622 75907072 15313 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14627/statm: 18532 15313 70 163 0 18367 0
[pid=14627/tid=14628] ppid=14625 vsize=74128 CPUtime=44.69
/proc/14627/task/14628/stat : 14628 (satake) R 14625 14627 14496 0 -1 4194368 11297 0 0 0 931 3538 0 0 15 0 4 0 1122020622 75907072 15313 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14627/tid=14629] ppid=14625 vsize=74128 CPUtime=64.13
/proc/14627/task/14629/stat : 14629 (satake) R 14625 14627 14496 0 -1 4194368 1998 0 0 0 4515 1898 0 0 15 0 4 0 1122020622 75907072 15313 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14627/tid=14630] ppid=14625 vsize=74128 CPUtime=64.11
/proc/14627/task/14630/stat : 14630 (satake) R 14625 14627 14496 0 -1 4194368 1950 0 0 0 4521 1890 0 0 15 0 4 0 1122020622 75907072 15313 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 172.95
Current children cumulated vsize (KiB) 74128

[startup+162.301 s]
/proc/loadavg: 2.35 2.15 1.97 3/68 14637
/proc/meminfo: memFree=1405560/2055920 swapFree=4175828/4192956
[pid=14627] ppid=14625 vsize=113944 CPUtime=276.35
/proc/14627/stat : 14627 (satake) S 14625 14627 14496 0 -1 4194304 23665 0 0 0 16078 11557 0 0 18 0 4 0 1122020622 116678656 23650 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14627/statm: 28486 23650 70 163 0 28321 0
[pid=14627/tid=14628] ppid=14625 vsize=113944 CPUtime=70.58
/proc/14627/task/14628/stat : 14628 (satake) R 14625 14627 14496 0 -1 4194368 17031 0 0 0 1460 5598 0 0 16 0 4 0 1122020622 116678656 23650 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14627/tid=14629] ppid=14625 vsize=113944 CPUtime=103.01

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

Current children cumulated vsize (KiB) 113944

[startup+222.302 s]
/proc/loadavg: 2.22 2.15 1.98 3/68 14637
/proc/meminfo: memFree=1371576/2055920 swapFree=4175828/4192956
[pid=14627] ppid=14625 vsize=156600 CPUtime=380.25
/proc/14627/stat : 14627 (satake) S 14625 14627 14496 0 -1 4194304 32071 0 0 0 22205 15820 0 0 18 0 4 0 1122020622 160358400 32056 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14627/statm: 39150 32056 70 163 0 38985 0
[pid=14627/tid=14628] ppid=14625 vsize=156600 CPUtime=96.68
/proc/14627/task/14628/stat : 14628 (satake) R 14625 14627 14496 0 -1 4194368 22466 0 0 0 2013 7655 0 0 16 0 4 0 1122020622 160358400 32056 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14627/tid=14629] ppid=14625 vsize=156600 CPUtime=141.96
/proc/14627/task/14629/stat : 14629 (satake) R 14625 14627 14496 0 -1 4194368 4641 0 0 0 10117 4079 0 0 15 0 4 0 1122020622 160358400 32056 1992294400 134512640 135180984 4294956208 18446744073709551615 134528465 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14627/tid=14630] ppid=14625 vsize=156600 CPUtime=141.6
/proc/14627/task/14630/stat : 14630 (satake) S 14625 14627 14496 0 -1 4194368 4881 0 0 0 10074 4086 0 0 15 0 4 0 1122020622 160358400 32056 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 380.25
Current children cumulated vsize (KiB) 156600

[startup+282.303 s]
/proc/loadavg: 2.35 2.20 2.01 2/68 14637
/proc/meminfo: memFree=1337720/2055920 swapFree=4175828/4192956
[pid=14627] ppid=14625 vsize=196036 CPUtime=484.63
/proc/14627/stat : 14627 (satake) S 14625 14627 14496 0 -1 4194304 40606 0 0 0 28279 20184 0 0 18 0 4 0 1122020622 200740864 40591 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14627/statm: 49009 40591 70 163 0 48844 0
[pid=14627/tid=14628] ppid=14625 vsize=196036 CPUtime=123.2
/proc/14627/task/14628/stat : 14628 (satake) R 14625 14627 14496 0 -1 4194368 27898 0 0 0 2565 9755 0 0 16 0 4 0 1122020622 200740864 40591 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14627/tid=14629] ppid=14625 vsize=196036 CPUtime=180.91
/proc/14627/task/14629/stat : 14629 (satake) S 14625 14627 14496 0 -1 4194368 6212 0 0 0 12873 5218 0 0 16 0 4 0 1122020622 200740864 40591 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=14627/tid=14630] ppid=14625 vsize=196036 CPUtime=180.5
/proc/14627/task/14630/stat : 14630 (satake) R 14625 14627 14496 0 -1 4194368 6413 0 0 0 12840 5210 0 0 16 0 4 0 1122020622 200740864 40591 1992294400 134512640 135180984 4294956208 18446744073709551615 134530923 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 484.63
Current children cumulated vsize (KiB) 196036

[startup+342.307 s]
/proc/loadavg: 2.44 2.25 2.04 3/68 14637
/proc/meminfo: memFree=1303800/2055920 swapFree=4175828/4192956
[pid=14627] ppid=14625 vsize=243980 CPUtime=589.45
/proc/14627/stat : 14627 (satake) S 14625 14627 14496 0 -1 4194304 48986 0 0 0 34486 24459 0 0 18 0 4 0 1122020622 249835520 48971 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14627/statm: 60995 48971 70 163 0 60830 0
[pid=14627/tid=14628] ppid=14625 vsize=243980 CPUtime=149.16
/proc/14627/task/14628/stat : 14628 (satake) R 14625 14627 14496 0 -1 4194368 32993 0 0 0 3101 11815 0 0 16 0 4 0 1122020622 249835520 48971 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14627/tid=14629] ppid=14625 vsize=243980 CPUtime=220.24
/proc/14627/task/14629/stat : 14629 (satake) R 14625 14627 14496 0 -1 4194368 7744 0 0 0 15696 6328 0 0 16 0 4 0 1122020622 249835520 48971 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14627/tid=14630] ppid=14625 vsize=243980 CPUtime=220.03
/proc/14627/task/14630/stat : 14630 (satake) R 14625 14627 14496 0 -1 4194368 8166 0 0 0 15688 6315 0 0 16 0 4 0 1122020622 249835520 48971 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 589.45
Current children cumulated vsize (KiB) 243980

[startup+402.301 s]
/proc/loadavg: 2.31 2.25 2.05 4/68 14637
/proc/meminfo: memFree=1270712/2055920 swapFree=4175828/4192956
[pid=14627] ppid=14625 vsize=279048 CPUtime=694.56
/proc/14627/stat : 14627 (satake) S 14625 14627 14496 0 -1 4194304 57337 0 0 0 40736 28720 0 0 18 0 4 0 1122020622 285745152 57322 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14627/statm: 69762 57322 70 163 0 69597 0
[pid=14627/tid=14628] ppid=14625 vsize=279048 CPUtime=175.13
/proc/14627/task/14628/stat : 14628 (satake) R 14625 14627 14496 0 -1 4194368 37991 0 0 0 3648 13865 0 0 15 0 4 0 1122020622 285745152 57322 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14627/tid=14629] ppid=14625 vsize=279048 CPUtime=260.06
/proc/14627/task/14629/stat : 14629 (satake) R 14625 14627 14496 0 -1 4194368 9290 0 0 0 18570 7436 0 0 16 0 4 0 1122020622 285745152 57322 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14627/tid=14630] ppid=14625 vsize=279048 CPUtime=259.36
/proc/14627/task/14630/stat : 14630 (satake) R 14625 14627 14496 0 -1 4194368 9973 0 0 0 18517 7419 0 0 16 0 4 0 1122020622 285745152 57322 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 694.56
Current children cumulated vsize (KiB) 279048

[startup+462.301 s]
/proc/loadavg: 2.43 2.29 2.07 3/68 14637
/proc/meminfo: memFree=1236928/2055920 swapFree=4175828/4192956
[pid=14627] ppid=14625 vsize=315988 CPUtime=799.52
/proc/14627/stat : 14627 (satake) S 14625 14627 14496 0 -1 4194304 65705 0 0 0 46911 33041 0 0 18 0 4 0 1122020622 323571712 65690 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14627/statm: 78997 65690 70 163 0 78832 0
[pid=14627/tid=14628] ppid=14625 vsize=315988 CPUtime=201.41
/proc/14627/task/14628/stat : 14628 (satake) R 14625 14627 14496 0 -1 4194368 42967 0 0 0 4188 15953 0 0 16 0 4 0 1122020622 323571712 65690 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14627/tid=14629] ppid=14625 vsize=315988 CPUtime=299.35
/proc/14627/task/14629/stat : 14629 (satake) S 14625 14627 14496 0 -1 4194368 11024 0 0 0 21392 8543 0 0 16 0 4 0 1122020622 323571712 65690 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=14627/tid=14630] ppid=14625 vsize=315988 CPUtime=298.74
/proc/14627/task/14630/stat : 14630 (satake) S 14625 14627 14496 0 -1 4194368 11631 0 0 0 21330 8544 0 0 16 0 4 0 1122020622 323571712 65690 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 799.52
Current children cumulated vsize (KiB) 315988

[startup+522.302 s]
/proc/loadavg: 2.46 2.33 2.10 3/68 14637
/proc/meminfo: memFree=1205440/2055920 swapFree=4175828/4192956
[pid=14627] ppid=14625 vsize=357544 CPUtime=905.53
/proc/14627/stat : 14627 (satake) S 14625 14627 14496 0 -1 4194304 73636 0 0 0 53556 36997 0 0 18 0 4 0 1122020622 366125056 73621 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14627/statm: 89386 73621 70 163 0 89221 0
[pid=14627/tid=14628] ppid=14625 vsize=357544 CPUtime=225.61
/proc/14627/task/14628/stat : 14628 (satake) R 14625 14627 14496 0 -1 4194368 47547 0 0 0 4692 17869 0 0 16 0 4 0 1122020622 366125056 73621 1992294400 134512640 135180984 4294956208 18446744073709551615 134580608 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14627/tid=14629] ppid=14625 vsize=357544 CPUtime=340.19
/proc/14627/task/14629/stat : 14629 (satake) R 14625 14627 14496 0 -1 4194368 12725 0 0 0 24462 9557 0 0 15 0 4 0 1122020622 366125056 73621 1992294400 134512640 135180984 4294956208 18446744073709551615 134519890 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14627/tid=14630] ppid=14625 vsize=357544 CPUtime=339.69
/proc/14627/task/14630/stat : 14630 (satake) R 14625 14627 14496 0 -1 4194368 13281 0 0 0 24400 9569 0 0 16 0 4 0 1122020622 366125056 73621 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 905.53
Current children cumulated vsize (KiB) 357544

[startup+582.303 s]
/proc/loadavg: 2.36 2.30 2.10 4/68 14637
/proc/meminfo: memFree=1173568/2055920 swapFree=4175828/4192956
[pid=14627] ppid=14625 vsize=391652 CPUtime=1011.59
/proc/14627/stat : 14627 (satake) S 14625 14627 14496 0 -1 4194304 81506 0 0 0 60184 40975 0 0 18 0 4 0 1122020622 401051648 81491 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14627/statm: 97913 81491 70 163 0 97748 0
[pid=14627/tid=14628] ppid=14625 vsize=391652 CPUtime=249.96
/proc/14627/task/14628/stat : 14628 (satake) R 14625 14627 14496 0 -1 4194368 52025 0 0 0 5197 19799 0 0 16 0 4 0 1122020622 401051648 81491 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14627/tid=14629] ppid=14625 vsize=391652 CPUtime=381.48
/proc/14627/task/14629/stat : 14629 (satake) S 14625 14627 14496 0 -1 4194368 14714 0 0 0 27566 10582 0 0 15 0 4 0 1122020622 401051648 81491 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=14627/tid=14630] ppid=14625 vsize=391652 CPUtime=380.13
/proc/14627/task/14630/stat : 14630 (satake) S 14625 14627 14496 0 -1 4194368 14684 0 0 0 27421 10592 0 0 15 0 4 0 1122020622 401051648 81491 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1011.59
Current children cumulated vsize (KiB) 391652

[startup+642.302 s]
/proc/loadavg: 2.40 2.32 2.12 3/68 14637
/proc/meminfo: memFree=1140992/2055920 swapFree=4175828/4192956
[pid=14627] ppid=14625 vsize=431936 CPUtime=1117.6
/proc/14627/stat : 14627 (satake) S 14625 14627 14496 0 -1 4194304 89548 0 0 0 66718 45042 0 0 18 0 4 0 1122020622 442302464 89533 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14627/statm: 107984 89533 70 163 0 107819 0
[pid=14627/tid=14628] ppid=14625 vsize=431936 CPUtime=274.89
/proc/14627/task/14628/stat : 14628 (satake) R 14625 14627 14496 0 -1 4194368 56728 0 0 0 5716 21773 0 0 16 0 4 0 1122020622 442302464 89533 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=14627/tid=14629] ppid=14625 vsize=431936 CPUtime=421.68
/proc/14627/task/14629/stat : 14629 (satake) R 14625 14627 14496 0 -1 4194368 16570 0 0 0 30554 11614 0 0 16 0 4 0 1122020622 442302464 89533 1992294400 134512640 135180984 4294956208 18446744073709551615 134528869 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14627/tid=14630] ppid=14625 vsize=431936 CPUtime=421
/proc/14627/task/14630/stat : 14630 (satake) R 14625 14627 14496 0 -1 4194368 16167 0 0 0 30446 11654 0 0 15 0 4 0 1122020622 442302464 89533 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1117.6
Current children cumulated vsize (KiB) 431936



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+688.903 s]
/proc/loadavg: 2.47 2.34 2.13 3/68 14637
/proc/meminfo: memFree=1116672/2055920 swapFree=4175828/4192956
[pid=14627] ppid=14625 vsize=459604 CPUtime=1200.11
/proc/14627/stat : 14627 (satake) S 14625 14627 14496 0 -1 4194304 95613 0 0 0 71926 48085 0 0 18 0 4 0 1122020622 470634496 95598 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14627/statm: 114901 95598 70 163 0 114736 0
[pid=14627/tid=14628] ppid=14625 vsize=459604 CPUtime=293.49
/proc/14627/task/14628/stat : 14628 (satake) R 14625 14627 14496 0 -1 4194368 60201 0 0 0 6111 23238 0 0 17 0 4 0 1122020622 470634496 95598 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14627/tid=14629] ppid=14625 vsize=459604 CPUtime=453.7
/proc/14627/task/14629/stat : 14629 (satake) S 14625 14627 14496 0 -1 4194368 17893 0 0 0 32974 12396 0 0 15 0 4 0 1122020622 470634496 95598 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=14627/tid=14630] ppid=14625 vsize=459604 CPUtime=452.9
/proc/14627/task/14630/stat : 14630 (satake) R 14625 14627 14496 0 -1 4194368 17436 0 0 0 32840 12450 0 0 15 0 4 0 1122020622 470634496 95598 1992294400 134512640 135180984 4294956208 18446744073709551615 134520804 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.11
Current children cumulated vsize (KiB) 459604

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

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

[startup+688.903 s]
/proc/loadavg: 2.47 2.34 2.13 3/68 14637
/proc/meminfo: memFree=1116672/2055920 swapFree=4175828/4192956
[pid=14627] ppid=14625 vsize=459604 CPUtime=1200.11
/proc/14627/stat : 14627 (satake) S 14625 14627 14496 0 -1 4194304 95613 0 0 0 71926 48085 0 0 18 0 4 0 1122020622 470634496 95598 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14627/statm: 114901 95598 70 163 0 114736 0
[pid=14627/tid=14628] ppid=14625 vsize=459604 CPUtime=293.49
/proc/14627/task/14628/stat : 14628 (satake) R 14625 14627 14496 0 -1 4194368 60201 0 0 0 6111 23238 0 0 17 0 4 0 1122020622 470634496 95598 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=14627/tid=14629] ppid=14625 vsize=459604 CPUtime=453.7
/proc/14627/task/14629/stat : 14629 (satake) S 14625 14627 14496 0 -1 4194368 17893 0 0 0 32974 12396 0 0 15 0 4 0 1122020622 470634496 95598 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=14627/tid=14630] ppid=14625 vsize=459604 CPUtime=452.9
/proc/14627/task/14630/stat : 14630 (satake) R 14625 14627 14496 0 -1 4194368 17436 0 0 0 32840 12450 0 0 15 0 4 0 1122020622 470634496 95598 1992294400 134512640 135180984 4294956208 18446744073709551615 134520804 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.11
Current children cumulated vsize (KiB) 459604

Child ended because it received signal 15 (SIGTERM)
Real time (s): 688.987
CPU time (s): 1200.2
CPU user time (s): 719.272
CPU system time (s): 480.932
CPU usage (%): 174.198
Max. virtual memory (cumulated for all children) (KiB): 459604

deleting IPC queue 1179648
deleting IPC queue 1212417
deleting IPC queue 1245186
deleting IPC queue 1277955
deleting IPC queue 1310724
deleting IPC queue 1343493
deleting IPC queue 1376262
deleting IPC queue 1409031
deleting IPC queue 1441800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 719.272
system time used= 480.932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95615
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= 19103321
involuntary context switches= 17385140

runsolver used 0.78688 second user time and 2.17867 second system time

The end

Launcher Data 

Begin job on node33 at 2009-03-31 11:59:16
IDJOB=1543601
IDBENCH=70442
IDSOLVER=553
FILE ID=node33/1543601-1238493556
PBS_JOBID= 9061913
Free space on /tmp= 66132 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/5SAT/SATISFIABLE/100/unif-k5-r21.3-v100-c2130-S971118900-053.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543601-1238493556/watcher-1543601-1238493556 -o /tmp/evaluation-result-1543601-1238493556/solver-1543601-1238493556 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543601-1238493556.cnf 3 1200

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

MD5SUM BENCH= ee045fa3fe75a551172052e915c97e36
RANDOM SEED=570328404

node33.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.266
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.266
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:       1500600 kB
Buffers:         84984 kB
Cached:         377716 kB
SwapCached:      10920 kB
Active:         259796 kB
Inactive:       215428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1500600 kB
SwapTotal:     4192956 kB
SwapFree:      4175828 kB
Dirty:             824 kB
Writeback:           0 kB
Mapped:          18208 kB
Slab:            66016 kB
Committed_AS:  3131924 kB
PageTables:       1400 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= 66132 MiB
End job on node33 at 2009-03-31 12:10:47