Trace number 1543599

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.25 699.788

General information on the benchmark

NameRANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S748216286-061.cnf
MD5SUM2754b3d0d46124bc4b807ae18c388fa5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.093985
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-1543599-1238493548/watcher-1543599-1238493548 -o /tmp/evaluation-result-1543599-1238493548/solver-1543599-1238493548 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543599-1238493548.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.99 1.86 1.56 3/64 13518
/proc/meminfo: memFree=1565616/2055920 swapFree=4178472/4192956
[pid=13518] ppid=13516 vsize=2176 CPUtime=0
/proc/13518/stat : 13518 (satake) S 13516 13518 13069 0 -1 4194304 166 0 0 0 0 0 0 0 18 0 4 0 1122021822 2228224 151 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13518/statm: 544 151 68 163 0 379 0
[pid=13518/tid=13519] ppid=13516 vsize=2176 CPUtime=0
/proc/13518/task/13519/stat : 13519 (satake) R 13516 13518 13069 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1122021822 2228224 151 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13518/tid=13520] ppid=13516 vsize=2176 CPUtime=0
/proc/13518/task/13520/stat : 13520 (satake) R 13516 13518 13069 0 -1 4194368 51 0 0 0 0 0 0 0 19 0 4 0 1122021822 2228224 151 1992294400 134512640 135180984 4294956208 18446744073709551615 134536969 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13518/tid=13521] ppid=13516 vsize=2176 CPUtime=0
/proc/13518/task/13521/stat : 13521 (satake) R 13516 13518 13069 0 -1 4194368 25 0 0 0 0 0 0 0 19 0 4 0 1122021822 2228224 151 1992294400 134512640 135180984 4294956208 18446744073709551615 134674338 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0152471 s]
/proc/loadavg: 1.99 1.86 1.56 3/64 13518
/proc/meminfo: memFree=1565616/2055920 swapFree=4178472/4192956
[pid=13518] ppid=13516 vsize=3196 CPUtime=0.02
/proc/13518/stat : 13518 (satake) S 13516 13518 13069 0 -1 4194304 191 0 0 0 1 1 0 0 18 0 4 0 1122021822 3272704 176 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13518/statm: 799 177 70 163 0 634 0
[pid=13518/tid=13519] ppid=13516 vsize=3196 CPUtime=0
/proc/13518/task/13519/stat : 13519 (satake) R 13516 13518 13069 0 -1 4194368 12 0 0 0 0 0 0 0 17 0 4 0 1122021822 3272704 177 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13518/tid=13520] ppid=13516 vsize=3196 CPUtime=0
/proc/13518/task/13520/stat : 13520 (satake) S 13516 13518 13069 0 -1 4194368 54 0 0 0 0 0 0 0 18 0 4 0 1122021822 3272704 181 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13518/tid=13521] ppid=13516 vsize=3196 CPUtime=0.01
/proc/13518/task/13521/stat : 13521 (satake) R 13516 13518 13069 0 -1 4194368 47 0 0 0 1 0 0 0 17 0 4 0 1122021822 3272704 181 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3196

[startup+0.11029 s]
/proc/loadavg: 1.99 1.86 1.56 3/64 13518
/proc/meminfo: memFree=1565616/2055920 swapFree=4178472/4192956
[pid=13518] ppid=13516 vsize=3328 CPUtime=0.17
/proc/13518/stat : 13518 (satake) S 13516 13518 13069 0 -1 4194304 254 0 0 0 9 8 0 0 18 0 4 0 1122021822 3407872 239 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13518/statm: 832 239 70 163 0 667 0
[pid=13518/tid=13519] ppid=13516 vsize=3328 CPUtime=0.04
/proc/13518/task/13519/stat : 13519 (satake) R 13516 13518 13069 0 -1 4194368 28 0 0 0 0 4 0 0 17 0 4 0 1122021822 3407872 239 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13518/tid=13520] ppid=13516 vsize=3328 CPUtime=0.04
/proc/13518/task/13520/stat : 13520 (satake) S 13516 13518 13069 0 -1 4194368 75 0 0 0 3 1 0 0 16 0 4 0 1122021822 3407872 239 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13518/tid=13521] ppid=13516 vsize=3328 CPUtime=0.05
/proc/13518/task/13521/stat : 13521 (satake) R 13516 13518 13069 0 -1 4194368 68 0 0 0 4 1 0 0 16 0 4 0 1122021822 3407872 239 1992294400 134512640 135180984 4294956208 18446744073709551615 134680984 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 3328

[startup+0.302312 s]
/proc/loadavg: 1.99 1.86 1.56 3/64 13518
/proc/meminfo: memFree=1565616/2055920 swapFree=4178472/4192956
[pid=13518] ppid=13516 vsize=3328 CPUtime=0.46
/proc/13518/stat : 13518 (satake) S 13516 13518 13069 0 -1 4194304 304 0 0 0 26 20 0 0 18 0 4 0 1122021822 3407872 289 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13518/statm: 832 289 70 163 0 667 0
[pid=13518/tid=13519] ppid=13516 vsize=3328 CPUtime=0.12
/proc/13518/task/13519/stat : 13519 (satake) R 13516 13518 13069 0 -1 4194368 58 0 0 0 2 10 0 0 17 0 4 0 1122021822 3407872 289 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13518/tid=13520] ppid=13516 vsize=3328 CPUtime=0.16
/proc/13518/task/13520/stat : 13520 (satake) S 13516 13518 13069 0 -1 4194368 83 0 0 0 11 5 0 0 16 0 4 0 1122021822 3407872 289 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13518/tid=13521] ppid=13516 vsize=3328 CPUtime=0.16
/proc/13518/task/13521/stat : 13521 (satake) R 13516 13518 13069 0 -1 4194368 80 0 0 0 12 4 0 0 16 0 4 0 1122021822 3407872 289 1992294400 134512640 135180984 4294956208 18446744073709551615 134528552 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 3328

[startup+0.701361 s]
/proc/loadavg: 1.99 1.86 1.56 3/64 13518
/proc/meminfo: memFree=1565616/2055920 swapFree=4178472/4192956
[pid=13518] ppid=13516 vsize=3460 CPUtime=1.08
/proc/13518/stat : 13518 (satake) S 13516 13518 13069 0 -1 4194304 393 0 0 0 61 47 0 0 18 0 4 0 1122021822 3543040 378 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13518/statm: 865 378 70 163 0 700 0
[pid=13518/tid=13519] ppid=13516 vsize=3460 CPUtime=0.29
/proc/13518/task/13519/stat : 13519 (satake) R 13516 13518 13069 0 -1 4194368 124 0 0 0 5 24 0 0 18 0 4 0 1122021822 3543040 378 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13518/tid=13520] ppid=13516 vsize=3460 CPUtime=0.38
/proc/13518/task/13520/stat : 13520 (satake) R 13516 13518 13069 0 -1 4194368 96 0 0 0 27 11 0 0 16 0 4 0 1122021822 3543040 378 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13518/tid=13521] ppid=13516 vsize=3460 CPUtime=0.38
/proc/13518/task/13521/stat : 13521 (satake) R 13516 13518 13069 0 -1 4194368 91 0 0 0 28 10 0 0 16 0 4 0 1122021822 3543040 379 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 3460

[startup+1.50145 s]
/proc/loadavg: 1.99 1.86 1.56 3/68 13522
/proc/meminfo: memFree=1564112/2055920 swapFree=4178472/4192956
[pid=13518] ppid=13516 vsize=3460 CPUtime=2.33
/proc/13518/stat : 13518 (satake) S 13516 13518 13069 0 -1 4194304 546 0 0 0 134 99 0 0 18 0 4 0 1122021822 3543040 531 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13518/statm: 865 531 70 163 0 700 0
[pid=13518/tid=13519] ppid=13516 vsize=3460 CPUtime=0.63
/proc/13518/task/13519/stat : 13519 (satake) S 13516 13518 13069 0 -1 4194368 250 0 0 0 13 50 0 0 17 0 4 0 1122021822 3543040 531 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13518/tid=13520] ppid=13516 vsize=3460 CPUtime=0.85
/proc/13518/task/13520/stat : 13520 (satake) R 13516 13518 13069 0 -1 4194368 106 0 0 0 61 24 0 0 17 0 4 0 1122021822 3543040 531 1992294400 134512640 135180984 4294956208 18446744073709551615 134528869 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13518/tid=13521] ppid=13516 vsize=3460 CPUtime=0.83
/proc/13518/task/13521/stat : 13521 (satake) R 13516 13518 13069 0 -1 4194368 107 0 0 0 60 23 0 0 16 0 4 0 1122021822 3543040 531 1992294400 134512640 135180984 4294956208 18446744073709551615 134523967 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 3460

[startup+3.10164 s]
/proc/loadavg: 1.99 1.86 1.56 3/68 13522
/proc/meminfo: memFree=1563152/2055920 swapFree=4178472/4192956
[pid=13518] ppid=13516 vsize=4616 CPUtime=4.89
/proc/13518/stat : 13518 (satake) S 13516 13518 13069 0 -1 4194304 845 0 0 0 266 223 0 0 18 0 4 0 1122021822 4726784 830 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13518/statm: 1154 830 70 163 0 989 0
[pid=13518/tid=13519] ppid=13516 vsize=4616 CPUtime=1.43
/proc/13518/task/13519/stat : 13519 (satake) R 13516 13518 13069 0 -1 4194368 519 0 0 0 28 115 0 0 16 0 4 0 1122021822 4726784 830 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13518/tid=13520] ppid=13516 vsize=4616 CPUtime=1.72
/proc/13518/task/13520/stat : 13520 (satake) S 13516 13518 13069 0 -1 4194368 117 0 0 0 119 53 0 0 16 0 4 0 1122021822 4726784 830 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13518/tid=13521] ppid=13516 vsize=4616 CPUtime=1.72
/proc/13518/task/13521/stat : 13521 (satake) S 13516 13518 13069 0 -1 4194368 126 0 0 0 118 54 0 0 15 0 4 0 1122021822 4726784 830 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.89
Current children cumulated vsize (KiB) 4616

[startup+6.30183 s]
/proc/loadavg: 1.99 1.86 1.56 3/68 13522
/proc/meminfo: memFree=1560656/2055920 swapFree=4178472/4192956
[pid=13518] ppid=13516 vsize=6968 CPUtime=10.16
/proc/13518/stat : 13518 (satake) S 13516 13518 13069 0 -1 4194304 1399 0 0 0 544 472 0 0 18 0 4 0 1122021822 7135232 1384 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13518/statm: 1742 1384 70 163 0 1577 0
[pid=13518/tid=13519] ppid=13516 vsize=6968 CPUtime=2.96
/proc/13518/task/13519/stat : 13519 (satake) R 13516 13518 13069 0 -1 4194368 1047 0 0 0 61 235 0 0 16 0 4 0 1122021822 7135232 1384 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13518/tid=13520] ppid=13516 vsize=6968 CPUtime=3.55
/proc/13518/task/13520/stat : 13520 (satake) R 13516 13518 13069 0 -1 4194368 126 0 0 0 238 117 0 0 16 0 4 0 1122021822 7135232 1384 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13518/tid=13521] ppid=13516 vsize=6968 CPUtime=3.61
/proc/13518/task/13521/stat : 13521 (satake) S 13516 13518 13069 0 -1 4194368 143 0 0 0 243 118 0 0 15 0 4 0 1122021822 7135232 1384 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.16
Current children cumulated vsize (KiB) 6968

[startup+12.7018 s]
/proc/loadavg: 2.07 1.88 1.57 3/68 13522
/proc/meminfo: memFree=1556432/2055920 swapFree=4178472/4192956
[pid=13518] ppid=13516 vsize=11576 CPUtime=20.68
/proc/13518/stat : 13518 (satake) S 13516 13518 13069 0 -1 4194304 2392 0 0 0 1124 944 0 0 18 0 4 0 1122021822 11853824 2377 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13518/statm: 2894 2377 70 163 0 2729 0
[pid=13518/tid=13519] ppid=13516 vsize=11576 CPUtime=5.86
/proc/13518/task/13519/stat : 13519 (satake) R 13516 13518 13069 0 -1 4194368 1986 0 0 0 121 465 0 0 16 0 4 0 1122021822 11853824 2377 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13518/tid=13520] ppid=13516 vsize=11576 CPUtime=7.38
/proc/13518/task/13520/stat : 13520 (satake) S 13516 13518 13069 0 -1 4194368 147 0 0 0 498 240 0 0 15 0 4 0 1122021822 11853824 2377 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13518/tid=13521] ppid=13516 vsize=11576 CPUtime=7.42
/proc/13518/task/13521/stat : 13521 (satake) S 13516 13518 13069 0 -1 4194368 176 0 0 0 504 238 0 0 16 0 4 0 1122021822 11853824 2377 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 20.68
Current children cumulated vsize (KiB) 11576

[startup+25.5023 s]
/proc/loadavg: 1.98 1.87 1.57 3/68 13522
/proc/meminfo: memFree=1548432/2055920 swapFree=4178472/4192956
[pid=13518] ppid=13516 vsize=20908 CPUtime=41.86
/proc/13518/stat : 13518 (satake) S 13516 13518 13069 0 -1 4194304 4338 0 0 0 2257 1929 0 0 18 0 4 0 1122021822 21409792 4323 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13518/statm: 5227 4323 70 163 0 5062 0
[pid=13518/tid=13519] ppid=13516 vsize=20908 CPUtime=11.77
/proc/13518/task/13519/stat : 13519 (satake) S 13516 13518 13069 0 -1 4194368 3876 0 0 0 235 942 0 0 16 0 4 0 1122021822 21409792 4323 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13518/tid=13520] ppid=13516 vsize=20908 CPUtime=15.04
/proc/13518/task/13520/stat : 13520 (satake) S 13516 13518 13069 0 -1 4194368 168 0 0 0 1013 491 0 0 16 0 4 0 1122021822 21409792 4323 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13518/tid=13521] ppid=13516 vsize=20908 CPUtime=15.03
/proc/13518/task/13521/stat : 13521 (satake) R 13516 13518 13069 0 -1 4194368 211 0 0 0 1008 495 0 0 16 0 4 0 1122021822 21409792 4323 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 41.86
Current children cumulated vsize (KiB) 20908

[startup+51.1021 s]
/proc/loadavg: 1.86 1.84 1.57 3/68 13522
/proc/meminfo: memFree=1533392/2055920 swapFree=4178472/4192956
[pid=13518] ppid=13516 vsize=39928 CPUtime=84.75
/proc/13518/stat : 13518 (satake) S 13516 13518 13069 0 -1 4194304 8159 0 0 0 4552 3923 0 0 18 0 4 0 1122021822 40886272 8144 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13518/statm: 9982 8144 70 163 0 9817 0
[pid=13518/tid=13519] ppid=13516 vsize=39928 CPUtime=23.95
/proc/13518/task/13519/stat : 13519 (satake) R 13516 13518 13069 0 -1 4194368 7613 0 0 0 477 1918 0 0 16 0 4 0 1122021822 40886272 8144 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13518/tid=13520] ppid=13516 vsize=39928 CPUtime=30.41
/proc/13518/task/13520/stat : 13520 (satake) R 13516 13518 13069 0 -1 4194368 224 0 0 0 2042 999 0 0 16 0 4 0 1122021822 40886272 8144 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13518/tid=13521] ppid=13516 vsize=39928 CPUtime=30.36
/proc/13518/task/13521/stat : 13521 (satake) R 13516 13518 13069 0 -1 4194368 239 0 0 0 2031 1005 0 0 16 0 4 0 1122021822 40886272 8144 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 84.75
Current children cumulated vsize (KiB) 39928

[startup+102.307 s]
/proc/loadavg: 2.39 1.99 1.63 3/68 13522
/proc/meminfo: memFree=1502928/2055920 swapFree=4178472/4192956
[pid=13518] ppid=13516 vsize=74976 CPUtime=171.3
/proc/13518/stat : 13518 (satake) S 13516 13518 13069 0 -1 4194304 15674 0 0 0 9216 7914 0 0 18 0 4 0 1122021822 76775424 15659 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13518/statm: 18744 15659 70 163 0 18579 0
[pid=13518/tid=13519] ppid=13516 vsize=74976 CPUtime=48.1
/proc/13518/task/13519/stat : 13519 (satake) S 13516 13518 13069 0 -1 4194368 14736 0 0 0 965 3845 0 0 15 0 4 0 1122021822 76775424 15659 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13518/tid=13520] ppid=13516 vsize=74976 CPUtime=61.62
/proc/13518/task/13520/stat : 13520 (satake) S 13516 13518 13069 0 -1 4194368 430 0 0 0 4125 2037 0 0 15 0 4 0 1122021822 76775424 15659 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13518/tid=13521] ppid=13516 vsize=74976 CPUtime=61.55
/proc/13518/task/13521/stat : 13521 (satake) R 13516 13518 13069 0 -1 4194368 425 0 0 0 4125 2030 0 0 16 0 4 0 1122021822 76775424 15659 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 171.3
Current children cumulated vsize (KiB) 74976

[startup+162.302 s]
/proc/loadavg: 2.30 2.02 1.66 3/68 13528
/proc/meminfo: memFree=1468816/2055920 swapFree=4178472/4192956
[pid=13518] ppid=13516 vsize=117896 CPUtime=273.8
/proc/13518/stat : 13518 (satake) S 13516 13518 13069 0 -1 4194304 24234 0 0 0 15007 12373 0 0 18 0 4 0 1122021822 120725504 24219 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13518/statm: 29474 24219 70 163 0 29309 0
[pid=13518/tid=13519] ppid=13516 vsize=117896 CPUtime=75.24
/proc/13518/task/13519/stat : 13519 (satake) S 13516 13518 13069 0 -1 4194368 23034 0 0 0 1523 6001 0 0 16 0 4 0 1122021822 120725504 24219 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13518/tid=13520] ppid=13516 vsize=117896 CPUtime=99.05

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

Current children cumulated vsize (KiB) 117896

[startup+222.302 s]
/proc/loadavg: 2.31 2.08 1.70 4/68 13528
/proc/meminfo: memFree=1435152/2055920 swapFree=4178472/4192956
[pid=13518] ppid=13516 vsize=156884 CPUtime=376.86
/proc/13518/stat : 13518 (satake) S 13516 13518 13069 0 -1 4194304 32543 0 0 0 21028 16658 0 0 18 0 4 0 1122021822 160649216 32528 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13518/statm: 39221 32528 70 163 0 39056 0
[pid=13518/tid=13519] ppid=13516 vsize=156884 CPUtime=101.27
/proc/13518/task/13519/stat : 13519 (satake) R 13516 13518 13069 0 -1 4194368 31232 0 0 0 2061 8066 0 0 16 0 4 0 1122021822 160649216 32528 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13518/tid=13520] ppid=13516 vsize=156884 CPUtime=137.47
/proc/13518/task/13520/stat : 13520 (satake) S 13516 13518 13069 0 -1 4194368 670 0 0 0 9460 4287 0 0 16 0 4 0 1122021822 160649216 32528 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13518/tid=13521] ppid=13516 vsize=156884 CPUtime=138.1
/proc/13518/task/13521/stat : 13521 (satake) R 13516 13518 13069 0 -1 4194368 558 0 0 0 9506 4304 0 0 16 0 4 0 1122021822 160649216 32528 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 376.86
Current children cumulated vsize (KiB) 156884

[startup+282.303 s]
/proc/loadavg: 2.08 2.06 1.72 3/68 13528
/proc/meminfo: memFree=1402064/2055920 swapFree=4178472/4192956
[pid=13518] ppid=13516 vsize=194616 CPUtime=480.57
/proc/13518/stat : 13518 (satake) S 13516 13518 13069 0 -1 4194304 40889 0 0 0 27025 21032 0 0 18 0 4 0 1122021822 199286784 40874 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13518/statm: 48654 40874 70 163 0 48489 0
[pid=13518/tid=13519] ppid=13516 vsize=194616 CPUtime=127.71
/proc/13518/task/13519/stat : 13519 (satake) S 13516 13518 13069 0 -1 4194368 39540 0 0 0 2601 10170 0 0 15 0 4 0 1122021822 199286784 40874 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13518/tid=13520] ppid=13516 vsize=194616 CPUtime=176.1
/proc/13518/task/13520/stat : 13520 (satake) R 13516 13518 13069 0 -1 4194368 690 0 0 0 12176 5434 0 0 15 0 4 0 1122021822 199286784 40874 1992294400 134512640 135180984 4294956208 18446744073709551615 134528529 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13518/tid=13521] ppid=13516 vsize=194616 CPUtime=176.73
/proc/13518/task/13521/stat : 13521 (satake) R 13516 13518 13069 0 -1 4194368 576 0 0 0 12247 5426 0 0 16 0 4 0 1122021822 199286784 40874 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 480.57
Current children cumulated vsize (KiB) 194616

[startup+342.303 s]
/proc/loadavg: 2.24 2.10 1.75 5/68 13528
/proc/meminfo: memFree=1368400/2055920 swapFree=4178472/4192956
[pid=13518] ppid=13516 vsize=241752 CPUtime=584.38
/proc/13518/stat : 13518 (satake) S 13516 13518 13069 0 -1 4194304 49206 0 0 0 33036 25402 0 0 18 0 4 0 1122021822 247554048 49191 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13518/statm: 60438 49191 70 163 0 60273 0
[pid=13518/tid=13519] ppid=13516 vsize=241752 CPUtime=154.22
/proc/13518/task/13519/stat : 13519 (satake) S 13516 13518 13069 0 -1 4194368 47807 0 0 0 3138 12284 0 0 16 0 4 0 1122021822 247554048 49191 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13518/tid=13520] ppid=13516 vsize=241752 CPUtime=214.88
/proc/13518/task/13520/stat : 13520 (satake) R 13516 13518 13069 0 -1 4194368 716 0 0 0 14930 6558 0 0 17 0 4 0 1122021822 247554048 49191 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13518/tid=13521] ppid=13516 vsize=241752 CPUtime=215.26
/proc/13518/task/13521/stat : 13521 (satake) S 13516 13518 13069 0 -1 4194368 600 0 0 0 14967 6559 0 0 17 0 4 0 1122021822 247554048 49191 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 584.38
Current children cumulated vsize (KiB) 241752

[startup+402.306 s]
/proc/loadavg: 2.33 2.16 1.79 2/68 13528
/proc/meminfo: memFree=1334864/2055920 swapFree=4178472/4192956
[pid=13518] ppid=13516 vsize=287244 CPUtime=687.62
/proc/13518/stat : 13518 (satake) S 13516 13518 13069 0 -1 4194304 57657 0 0 0 38913 29849 0 0 18 0 4 0 1122021822 294137856 57642 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13518/statm: 71811 57642 70 163 0 71646 0
[pid=13518/tid=13519] ppid=13516 vsize=287244 CPUtime=181.18
/proc/13518/task/13519/stat : 13519 (satake) S 13516 13518 13069 0 -1 4194368 56245 0 0 0 3697 14421 0 0 15 0 4 0 1122021822 294137856 57642 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13518/tid=13520] ppid=13516 vsize=287244 CPUtime=253.23
/proc/13518/task/13520/stat : 13520 (satake) R 13516 13518 13069 0 -1 4194368 719 0 0 0 17600 7723 0 0 16 0 4 0 1122021822 294137856 57642 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13518/tid=13521] ppid=13516 vsize=287244 CPUtime=253.18
/proc/13518/task/13521/stat : 13521 (satake) R 13516 13518 13069 0 -1 4194368 610 0 0 0 17614 7704 0 0 16 0 4 0 1122021822 294137856 57642 1992294400 134512640 135180984 4294956208 18446744073709551615 134518660 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 687.62
Current children cumulated vsize (KiB) 287244

[startup+462.304 s]
/proc/loadavg: 2.44 2.22 1.83 3/68 13528
/proc/meminfo: memFree=1300688/2055920 swapFree=4178472/4192956
[pid=13518] ppid=13516 vsize=324496 CPUtime=790.81
/proc/13518/stat : 13518 (satake) S 13516 13518 13069 0 -1 4194304 66107 0 0 0 44716 34365 0 0 18 0 4 0 1122021822 332283904 66092 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13518/statm: 81124 66092 70 163 0 80959 0
[pid=13518/tid=13519] ppid=13516 vsize=324496 CPUtime=208.54
/proc/13518/task/13519/stat : 13519 (satake) S 13516 13518 13069 0 -1 4194368 64687 0 0 0 4253 16601 0 0 15 0 4 0 1122021822 332283904 66092 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13518/tid=13520] ppid=13516 vsize=324496 CPUtime=291.53
/proc/13518/task/13520/stat : 13520 (satake) R 13516 13518 13069 0 -1 4194368 725 0 0 0 20259 8894 0 0 16 0 4 0 1122021822 332283904 66092 1992294400 134512640 135180984 4294956208 18446744073709551615 134528519 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13518/tid=13521] ppid=13516 vsize=324496 CPUtime=290.71
/proc/13518/task/13521/stat : 13521 (satake) R 13516 13518 13069 0 -1 4194368 612 0 0 0 20202 8869 0 0 16 0 4 0 1122021822 332283904 66092 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 790.81
Current children cumulated vsize (KiB) 324496

[startup+522.302 s]
/proc/loadavg: 2.39 2.24 1.86 3/68 13528
/proc/meminfo: memFree=1267472/2055920 swapFree=4178472/4192956
[pid=13518] ppid=13516 vsize=359064 CPUtime=894.34
/proc/13518/stat : 13518 (satake) S 13516 13518 13069 0 -1 4194304 74473 0 0 0 50672 38762 0 0 18 0 4 0 1122021822 367681536 74458 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13518/statm: 89766 74458 70 163 0 89601 0
[pid=13518/tid=13519] ppid=13516 vsize=359064 CPUtime=235.38
/proc/13518/task/13519/stat : 13519 (satake) R 13516 13518 13069 0 -1 4194368 73038 0 0 0 4802 18736 0 0 16 0 4 0 1122021822 367681536 74458 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13518/tid=13520] ppid=13516 vsize=359064 CPUtime=329.64
/proc/13518/task/13520/stat : 13520 (satake) R 13516 13518 13069 0 -1 4194368 736 0 0 0 22944 10020 0 0 16 0 4 0 1122021822 367681536 74458 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13518/tid=13521] ppid=13516 vsize=359064 CPUtime=329.29
/proc/13518/task/13521/stat : 13521 (satake) R 13516 13518 13069 0 -1 4194368 616 0 0 0 22925 10004 0 0 15 0 4 0 1122021822 367681536 74458 1992294400 134512640 135180984 4294956208 18446744073709551615 134518227 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 894.34
Current children cumulated vsize (KiB) 359064

[startup+582.301 s]
/proc/loadavg: 2.33 2.25 1.89 4/68 13528
/proc/meminfo: memFree=1233424/2055920 swapFree=4178472/4192956
[pid=13518] ppid=13516 vsize=403512 CPUtime=997.75
/proc/13518/stat : 13518 (satake) S 13516 13518 13069 0 -1 4194304 82881 0 0 0 56570 43205 0 0 18 0 4 0 1122021822 413196288 82866 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13518/statm: 100878 82866 70 163 0 100713 0
[pid=13518/tid=13519] ppid=13516 vsize=403512 CPUtime=262.37
/proc/13518/task/13519/stat : 13519 (satake) S 13516 13518 13069 0 -1 4194368 81429 0 0 0 5348 20889 0 0 15 0 4 0 1122021822 413196288 82866 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13518/tid=13520] ppid=13516 vsize=403512 CPUtime=367.91
/proc/13518/task/13520/stat : 13520 (satake) R 13516 13518 13069 0 -1 4194368 747 0 0 0 25633 11158 0 0 16 0 4 0 1122021822 413196288 82866 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13518/tid=13521] ppid=13516 vsize=403512 CPUtime=367.45
/proc/13518/task/13521/stat : 13521 (satake) R 13516 13518 13069 0 -1 4194368 622 0 0 0 25588 11157 0 0 16 0 4 0 1122021822 413196288 82866 1992294400 134512640 135180984 4294956208 18446744073709551615 134518255 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 997.75
Current children cumulated vsize (KiB) 403512

[startup+642.301 s]
/proc/loadavg: 2.22 2.21 1.89 3/68 13528
/proc/meminfo: memFree=1198928/2055920 swapFree=4178472/4192956
[pid=13518] ppid=13516 vsize=450104 CPUtime=1101.2
/proc/13518/stat : 13518 (satake) S 13516 13518 13069 0 -1 4194304 91400 0 0 0 62396 47724 0 0 18 0 4 0 1122021822 460906496 91385 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13518/statm: 112526 91385 70 163 0 112361 0
[pid=13518/tid=13519] ppid=13516 vsize=450104 CPUtime=289.76
/proc/13518/task/13519/stat : 13519 (satake) R 13516 13518 13069 0 -1 4194368 89937 0 0 0 5907 23069 0 0 16 0 4 0 1122021822 460906496 91385 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13518/tid=13520] ppid=13516 vsize=450104 CPUtime=405.91
/proc/13518/task/13520/stat : 13520 (satake) R 13516 13518 13069 0 -1 4194368 756 0 0 0 28264 12327 0 0 16 0 4 0 1122021822 460906496 91385 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13518/tid=13521] ppid=13516 vsize=450104 CPUtime=405.5
/proc/13518/task/13521/stat : 13521 (satake) R 13516 13518 13069 0 -1 4194368 624 0 0 0 28224 12326 0 0 16 0 4 0 1122021822 460906496 91385 1992294400 134512640 135180984 4294956208 18446744073709551615 134527138 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1101.2
Current children cumulated vsize (KiB) 450104



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+699.702 s]
/proc/loadavg: 2.17 2.19 1.90 4/68 13528
/proc/meminfo: memFree=1166672/2055920 swapFree=4178472/4192956
[pid=13518] ppid=13516 vsize=491672 CPUtime=1200.15
/proc/13518/stat : 13518 (satake) S 13516 13518 13069 0 -1 4194304 99449 0 0 0 68012 52003 0 0 18 0 4 0 1122021822 503472128 99434 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13518/statm: 122918 99434 70 163 0 122753 0
[pid=13518/tid=13519] ppid=13516 vsize=491672 CPUtime=315.62
/proc/13518/task/13519/stat : 13519 (satake) R 13516 13518 13069 0 -1 4194368 97981 0 0 0 6432 25130 0 0 16 0 4 0 1122021822 503472128 99435 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13518/tid=13520] ppid=13516 vsize=491672 CPUtime=442.28
/proc/13518/task/13520/stat : 13520 (satake) S 13516 13518 13069 0 -1 4194368 761 0 0 0 30796 13432 0 0 16 0 4 0 1122021822 503472128 99435 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13518/tid=13521] ppid=13516 vsize=491672 CPUtime=442.22
/proc/13518/task/13521/stat : 13521 (satake) S 13516 13518 13069 0 -1 4194368 625 0 0 0 30783 13439 0 0 16 0 4 0 1122021822 503472128 99435 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.15
Current children cumulated vsize (KiB) 491672

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

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

[startup+699.702 s]
/proc/loadavg: 2.17 2.19 1.90 4/68 13528
/proc/meminfo: memFree=1166672/2055920 swapFree=4178472/4192956
[pid=13518] ppid=13516 vsize=491672 CPUtime=1200.15
/proc/13518/stat : 13518 (satake) S 13516 13518 13069 0 -1 4194304 99449 0 0 0 68012 52003 0 0 18 0 4 0 1122021822 503472128 99434 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13518/statm: 122918 99434 70 163 0 122753 0
[pid=13518/tid=13519] ppid=13516 vsize=491672 CPUtime=315.62
/proc/13518/task/13519/stat : 13519 (satake) R 13516 13518 13069 0 -1 4194368 97981 0 0 0 6432 25130 0 0 16 0 4 0 1122021822 503472128 99435 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13518/tid=13520] ppid=13516 vsize=491672 CPUtime=442.28
/proc/13518/task/13520/stat : 13520 (satake) S 13516 13518 13069 0 -1 4194368 761 0 0 0 30796 13432 0 0 16 0 4 0 1122021822 503472128 99435 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13518/tid=13521] ppid=13516 vsize=491672 CPUtime=442.22
/proc/13518/task/13521/stat : 13521 (satake) S 13516 13518 13069 0 -1 4194368 625 0 0 0 30783 13439 0 0 16 0 4 0 1122021822 503472128 99435 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.15
Current children cumulated vsize (KiB) 491672

Child ended because it received signal 15 (SIGTERM)
Real time (s): 699.788
CPU time (s): 1200.25
CPU user time (s): 680.129
CPU system time (s): 520.118
CPU usage (%): 171.516
Max. virtual memory (cumulated for all children) (KiB): 491672

deleting IPC queue 1146880
deleting IPC queue 1179649
deleting IPC queue 1212418
deleting IPC queue 1245187
deleting IPC queue 1277956
deleting IPC queue 1310725
deleting IPC queue 1343494
deleting IPC queue 1376263
deleting IPC queue 1409032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 680.129
system time used= 520.118
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99450
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= 21281936
involuntary context switches= 19131890

runsolver used 0.746886 second user time and 2.27165 second system time

The end

Launcher Data 

Begin job on node1 at 2009-03-31 11:59:08
IDJOB=1543599
IDBENCH=70440
IDSOLVER=553
FILE ID=node1/1543599-1238493548
PBS_JOBID= 9061876
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-S748216286-061.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543599-1238493548/watcher-1543599-1238493548 -o /tmp/evaluation-result-1543599-1238493548/solver-1543599-1238493548 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543599-1238493548.cnf 3 1200

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

MD5SUM BENCH= 2754b3d0d46124bc4b807ae18c388fa5
RANDOM SEED=1525045611

node1.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.229
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.229
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:       1566096 kB
Buffers:         89920 kB
Cached:         301268 kB
SwapCached:       8380 kB
Active:         180052 kB
Inactive:       221124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1566096 kB
SwapTotal:     4192956 kB
SwapFree:      4178472 kB
Dirty:             796 kB
Writeback:           0 kB
Mapped:          15792 kB
Slab:            74576 kB
Committed_AS:  3016700 kB
PageTables:       1440 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 node1 at 2009-03-31 12:10:50