Trace number 1543849

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.26 687.584

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S714125262-017.cnf
MD5SUMdfd8633a4f173899180c2a33f1de5594
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.051991
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of clauses1700
Sum of the clauses size5100
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31700
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:489) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1543849-1238581698/watcher-1543849-1238581698 -o /tmp/evaluation-result-1543849-1238581698/solver-1543849-1238581698 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543849-1238581698.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: 0.92 0.98 0.99 3/64 20892
/proc/meminfo: memFree=1378792/2055920 swapFree=4177944/4192956
[pid=20892] ppid=20890 vsize=2044 CPUtime=0
/proc/20892/stat : 20892 (satake) S 20890 20892 20390 0 -1 4194304 155 0 0 0 0 0 0 0 18 0 4 0 1130835051 2093056 140 1992294400 134512640 135180984 4294956224 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20892/statm: 511 140 68 163 0 346 0
[pid=20892/tid=20893] ppid=20890 vsize=2044 CPUtime=0
/proc/20892/task/20893/stat : 20893 (satake) S 20890 20892 20390 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1130835051 2093056 140 1992294400 134512640 135180984 4294956224 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20892/tid=20894] ppid=20890 vsize=2044 CPUtime=0
/proc/20892/task/20894/stat : 20894 (satake) R 20890 20892 20390 0 -1 4194368 21 0 0 0 0 0 0 0 19 0 4 0 1130835051 2093056 140 1992294400 134512640 135180984 4294956224 18446744073709551615 134666377 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20892/tid=20895] ppid=20890 vsize=2044 CPUtime=0
/proc/20892/task/20895/stat : 20895 (satake) R 20890 20892 20390 0 -1 4194368 44 0 0 0 0 0 0 0 20 0 4 0 1130835051 2093056 140 1992294400 134512640 135180984 4294956224 18446744073709551615 134524651 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0421891 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20892
/proc/meminfo: memFree=1378792/2055920 swapFree=4177944/4192956
[pid=20892] ppid=20890 vsize=2172 CPUtime=0.07
/proc/20892/stat : 20892 (satake) S 20890 20892 20390 0 -1 4194304 211 0 0 0 4 3 0 0 18 0 4 0 1130835051 2224128 196 1992294400 134512640 135180984 4294956224 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20892/statm: 576 198 70 163 0 411 0
[pid=20892/tid=20893] ppid=20890 vsize=2304 CPUtime=0.02
/proc/20892/task/20893/stat : 20893 (satake) R 20890 20892 20390 0 -1 4194368 20 0 0 0 0 2 0 0 17 0 4 0 1130835051 2359296 201 1992294400 134512640 135180984 4294956224 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20892/tid=20894] ppid=20890 vsize=2304 CPUtime=0.03
/proc/20892/task/20894/stat : 20894 (satake) S 20890 20892 20390 0 -1 4194368 58 0 0 0 2 1 0 0 16 0 4 0 1130835051 2359296 201 1992294400 134512640 135180984 4294956224 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20892/tid=20895] ppid=20890 vsize=2304 CPUtime=0.02
/proc/20892/task/20895/stat : 20895 (satake) R 20890 20892 20390 0 -1 4194368 55 0 0 0 1 1 0 0 16 0 4 0 1130835051 2359296 201 1992294400 134512640 135180984 4294956224 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2172

[startup+0.121852 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20892
/proc/meminfo: memFree=1378792/2055920 swapFree=4177944/4192956
[pid=20892] ppid=20890 vsize=2304 CPUtime=0.19
/proc/20892/stat : 20892 (satake) S 20890 20892 20390 0 -1 4194304 239 0 0 0 10 9 0 0 18 0 4 0 1130835051 2359296 224 1992294400 134512640 135180984 4294956224 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20892/statm: 576 224 70 163 0 411 0
[pid=20892/tid=20893] ppid=20890 vsize=2304 CPUtime=0.05
/proc/20892/task/20893/stat : 20893 (satake) R 20890 20892 20390 0 -1 4194368 26 0 0 0 1 4 0 0 17 0 4 0 1130835051 2359296 224 1992294400 134512640 135180984 4294956224 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20892/tid=20894] ppid=20890 vsize=2304 CPUtime=0.06
/proc/20892/task/20894/stat : 20894 (satake) S 20890 20892 20390 0 -1 4194368 67 0 0 0 4 2 0 0 16 0 4 0 1130835051 2359296 224 1992294400 134512640 135180984 4294956224 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20892/tid=20895] ppid=20890 vsize=2304 CPUtime=0.06
/proc/20892/task/20895/stat : 20895 (satake) R 20890 20892 20390 0 -1 4194368 63 0 0 0 4 2 0 0 16 0 4 0 1130835051 2359296 224 1992294400 134512640 135180984 4294956224 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 2304

[startup+0.302101 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20892
/proc/meminfo: memFree=1378792/2055920 swapFree=4177944/4192956
[pid=20892] ppid=20890 vsize=2436 CPUtime=0.46
/proc/20892/stat : 20892 (satake) S 20890 20892 20390 0 -1 4194304 282 0 0 0 25 21 0 0 18 0 4 0 1130835051 2494464 267 1992294400 134512640 135180984 4294956224 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20892/statm: 609 267 70 163 0 444 0
[pid=20892/tid=20893] ppid=20890 vsize=2436 CPUtime=0.14
/proc/20892/task/20893/stat : 20893 (satake) R 20890 20892 20390 0 -1 4194368 45 0 0 0 3 11 0 0 17 0 4 0 1130835051 2494464 267 1992294400 134512640 135180984 4294956224 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20892/tid=20894] ppid=20890 vsize=2436 CPUtime=0.15
/proc/20892/task/20894/stat : 20894 (satake) R 20890 20892 20390 0 -1 4194368 83 0 0 0 11 4 0 0 16 0 4 0 1130835051 2494464 267 1992294400 134512640 135180984 4294956224 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20892/tid=20895] ppid=20890 vsize=2436 CPUtime=0.16
/proc/20892/task/20895/stat : 20895 (satake) S 20890 20892 20390 0 -1 4194368 71 0 0 0 11 5 0 0 16 0 4 0 1130835051 2494464 267 1992294400 134512640 135180984 4294956224 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2436

[startup+0.702126 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20892
/proc/meminfo: memFree=1378792/2055920 swapFree=4177944/4192956
[pid=20892] ppid=20890 vsize=2700 CPUtime=1.11
/proc/20892/stat : 20892 (satake) S 20890 20892 20390 0 -1 4194304 365 0 0 0 61 50 0 0 18 0 4 0 1130835051 2764800 350 1992294400 134512640 135180984 4294956224 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20892/statm: 675 350 70 163 0 510 0
[pid=20892/tid=20893] ppid=20890 vsize=2700 CPUtime=0.32
/proc/20892/task/20893/stat : 20893 (satake) R 20890 20892 20390 0 -1 4194368 93 0 0 0 6 26 0 0 17 0 4 0 1130835051 2764800 350 1992294400 134512640 135180984 4294956224 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20892/tid=20894] ppid=20890 vsize=2700 CPUtime=0.4
/proc/20892/task/20894/stat : 20894 (satake) R 20890 20892 20390 0 -1 4194368 108 0 0 0 28 12 0 0 16 0 4 0 1130835051 2764800 350 1992294400 134512640 135180984 4294956224 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20892/tid=20895] ppid=20890 vsize=2700 CPUtime=0.38
/proc/20892/task/20895/stat : 20895 (satake) S 20890 20892 20390 0 -1 4194368 81 0 0 0 26 12 0 0 16 0 4 0 1130835051 2764800 350 1992294400 134512640 135180984 4294956224 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 2700

[startup+1.50118 s]
/proc/loadavg: 0.92 0.98 0.99 2/68 20896
/proc/meminfo: memFree=1377352/2055920 swapFree=4177944/4192956
[pid=20892] ppid=20890 vsize=3360 CPUtime=2.42
/proc/20892/stat : 20892 (satake) S 20890 20892 20390 0 -1 4194304 516 0 0 0 134 108 0 0 18 0 4 0 1130835051 3440640 501 1992294400 134512640 135180984 4294956224 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20892/statm: 840 501 70 163 0 675 0
[pid=20892/tid=20893] ppid=20890 vsize=3360 CPUtime=0.7
/proc/20892/task/20893/stat : 20893 (satake) S 20890 20892 20390 0 -1 4194368 190 0 0 0 14 56 0 0 16 0 4 0 1130835051 3440640 501 1992294400 134512640 135180984 4294956224 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20892/tid=20894] ppid=20890 vsize=3360 CPUtime=0.87
/proc/20892/task/20894/stat : 20894 (satake) R 20890 20892 20390 0 -1 4194368 150 0 0 0 62 25 0 0 16 0 4 0 1130835051 3440640 501 1992294400 134512640 135180984 4294956224 18446744073709551615 134531534 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20892/tid=20895] ppid=20890 vsize=3360 CPUtime=0.82
/proc/20892/task/20895/stat : 20895 (satake) R 20890 20892 20390 0 -1 4194368 93 0 0 0 57 25 0 0 16 0 4 0 1130835051 3440640 501 1992294400 134512640 135180984 4294956224 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 3360

[startup+3.10128 s]
/proc/loadavg: 0.92 0.98 0.99 4/68 20896
/proc/meminfo: memFree=1376392/2055920 swapFree=4177944/4192956
[pid=20892] ppid=20890 vsize=4556 CPUtime=5.09
/proc/20892/stat : 20892 (satake) S 20890 20892 20390 0 -1 4194304 822 0 0 0 286 223 0 0 18 0 4 0 1130835051 4665344 807 1992294400 134512640 135180984 4294956224 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20892/statm: 1139 807 70 163 0 974 0
[pid=20892/tid=20893] ppid=20890 vsize=4556 CPUtime=1.42
/proc/20892/task/20893/stat : 20893 (satake) S 20890 20892 20390 0 -1 4194368 412 0 0 0 29 113 0 0 16 0 4 0 1130835051 4665344 807 1992294400 134512640 135180984 4294956224 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20892/tid=20894] ppid=20890 vsize=4556 CPUtime=1.84
/proc/20892/task/20894/stat : 20894 (satake) R 20890 20892 20390 0 -1 4194368 216 0 0 0 131 53 0 0 16 0 4 0 1130835051 4665344 807 1992294400 134512640 135180984 4294956224 18446744073709551615 134528516 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20892/tid=20895] ppid=20890 vsize=4556 CPUtime=1.81
/proc/20892/task/20895/stat : 20895 (satake) R 20890 20892 20390 0 -1 4194368 111 0 0 0 125 56 0 0 16 0 4 0 1130835051 4665344 807 1992294400 134512640 135180984 4294956224 18446744073709551615 134532420 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.09
Current children cumulated vsize (KiB) 4556

[startup+6.30148 s]
/proc/loadavg: 0.93 0.98 0.99 2/68 20896
/proc/meminfo: memFree=1373960/2055920 swapFree=4177944/4192956
[pid=20892] ppid=20890 vsize=6796 CPUtime=10.41
/proc/20892/stat : 20892 (satake) S 20890 20892 20390 0 -1 4194304 1368 0 0 0 588 453 0 0 18 0 4 0 1130835051 6959104 1353 1992294400 134512640 135180984 4294956224 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20892/statm: 1699 1353 70 163 0 1534 0
[pid=20892/tid=20893] ppid=20890 vsize=6796 CPUtime=2.81
/proc/20892/task/20893/stat : 20893 (satake) R 20890 20892 20390 0 -1 4194368 847 0 0 0 57 224 0 0 16 0 4 0 1130835051 6959104 1353 1992294400 134512640 135180984 4294956224 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20892/tid=20894] ppid=20890 vsize=6796 CPUtime=3.83
/proc/20892/task/20894/stat : 20894 (satake) R 20890 20892 20390 0 -1 4194368 311 0 0 0 270 113 0 0 15 0 4 0 1130835051 6959104 1353 1992294400 134512640 135180984 4294956224 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20892/tid=20895] ppid=20890 vsize=6796 CPUtime=3.75
/proc/20892/task/20895/stat : 20895 (satake) R 20890 20892 20390 0 -1 4194368 127 0 0 0 260 115 0 0 16 0 4 0 1130835051 6959104 1353 1992294400 134512640 135180984 4294956224 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.41
Current children cumulated vsize (KiB) 6796

[startup+12.7019 s]
/proc/loadavg: 1.09 1.02 1.01 3/68 20896
/proc/meminfo: memFree=1369544/2055920 swapFree=4177944/4192956
[pid=20892] ppid=20890 vsize=11036 CPUtime=21.17
/proc/20892/stat : 20892 (satake) S 20890 20892 20390 0 -1 4194304 2414 0 0 0 1211 906 0 0 18 0 4 0 1130835051 11300864 2399 1992294400 134512640 135180984 4294956224 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20892/statm: 2759 2399 70 163 0 2594 0
[pid=20892/tid=20893] ppid=20890 vsize=11036 CPUtime=5.62
/proc/20892/task/20893/stat : 20893 (satake) R 20890 20892 20390 0 -1 4194368 1697 0 0 0 114 448 0 0 16 0 4 0 1130835051 11300864 2399 1992294400 134512640 135180984 4294956224 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20892/tid=20894] ppid=20890 vsize=11036 CPUtime=7.82
/proc/20892/task/20894/stat : 20894 (satake) R 20890 20892 20390 0 -1 4194368 463 0 0 0 557 225 0 0 16 0 4 0 1130835051 11300864 2399 1992294400 134512640 135180984 4294956224 18446744073709551615 134528457 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20892/tid=20895] ppid=20890 vsize=11036 CPUtime=7.71
/proc/20892/task/20895/stat : 20895 (satake) R 20890 20892 20390 0 -1 4194368 171 0 0 0 539 232 0 0 16 0 4 0 1130835051 11300864 2399 1992294400 134512640 135180984 4294956224 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.17
Current children cumulated vsize (KiB) 11036

[startup+25.5027 s]
/proc/loadavg: 1.37 1.08 1.03 4/68 20896
/proc/meminfo: memFree=1361352/2055920 swapFree=4177944/4192956
[pid=20892] ppid=20890 vsize=20560 CPUtime=42.9
/proc/20892/stat : 20892 (satake) S 20890 20892 20390 0 -1 4194304 4383 0 0 0 2475 1815 0 0 18 0 4 0 1130835051 21053440 4368 1992294400 134512640 135180984 4294956224 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20892/statm: 5140 4368 70 163 0 4975 0
[pid=20892/tid=20893] ppid=20890 vsize=20560 CPUtime=11.18
/proc/20892/task/20893/stat : 20893 (satake) R 20890 20892 20390 0 -1 4194368 3310 0 0 0 228 890 0 0 16 0 4 0 1130835051 21053440 4368 1992294400 134512640 135180984 4294956224 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20892/tid=20894] ppid=20890 vsize=20560 CPUtime=15.99
/proc/20892/task/20894/stat : 20894 (satake) S 20890 20892 20390 0 -1 4194368 737 0 0 0 1142 457 0 0 15 0 4 0 1130835051 21053440 4368 1992294400 134512640 135180984 4294956224 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20892/tid=20895] ppid=20890 vsize=20560 CPUtime=15.71
/proc/20892/task/20895/stat : 20895 (satake) S 20890 20892 20390 0 -1 4194368 253 0 0 0 1104 467 0 0 15 0 4 0 1130835051 21053440 4368 1992294400 134512640 135180984 4294956224 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 42.9
Current children cumulated vsize (KiB) 20560

[startup+51.1023 s]
/proc/loadavg: 1.64 1.17 1.06 3/68 20896
/proc/meminfo: memFree=1346632/2055920 swapFree=4177944/4192956
[pid=20892] ppid=20890 vsize=36760 CPUtime=86.84
/proc/20892/stat : 20892 (satake) S 20890 20892 20390 0 -1 4194304 8117 0 0 0 5130 3554 0 0 18 0 4 0 1130835051 37642240 8102 1992294400 134512640 135180984 4294956224 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20892/statm: 9190 8102 70 163 0 9025 0
[pid=20892/tid=20893] ppid=20890 vsize=36760 CPUtime=22.04
/proc/20892/task/20893/stat : 20893 (satake) R 20890 20892 20390 0 -1 4194368 6357 0 0 0 472 1732 0 0 16 0 4 0 1130835051 37642240 8102 1992294400 134512640 135180984 4294956224 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20892/tid=20894] ppid=20890 vsize=36760 CPUtime=32.69
/proc/20892/task/20894/stat : 20894 (satake) S 20890 20892 20390 0 -1 4194368 1201 0 0 0 2364 905 0 0 16 0 4 0 1130835051 37642240 8102 1992294400 134512640 135180984 4294956224 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20892/tid=20895] ppid=20890 vsize=36760 CPUtime=32.1
/proc/20892/task/20895/stat : 20895 (satake) R 20890 20892 20390 0 -1 4194368 476 0 0 0 2294 916 0 0 15 0 4 0 1130835051 37642240 8102 1992294400 134512640 135180984 4294956224 18446744073709551615 134528754 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 86.84
Current children cumulated vsize (KiB) 36760

[startup+102.307 s]
/proc/loadavg: 1.67 1.25 1.09 4/68 20896
/proc/meminfo: memFree=1317256/2055920 swapFree=4177944/4192956
[pid=20892] ppid=20890 vsize=70620 CPUtime=175.15
/proc/20892/stat : 20892 (satake) S 20890 20892 20390 0 -1 4194304 15387 0 0 0 10423 7092 0 0 18 0 4 0 1130835051 72314880 15372 1992294400 134512640 135180984 4294956224 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20892/statm: 17655 15372 70 163 0 17490 0
[pid=20892/tid=20893] ppid=20890 vsize=70620 CPUtime=43.78
/proc/20892/task/20893/stat : 20893 (satake) R 20890 20892 20390 0 -1 4194368 12006 0 0 0 928 3450 0 0 15 0 4 0 1130835051 72314880 15372 1992294400 134512640 135180984 4294956224 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20892/tid=20894] ppid=20890 vsize=70620 CPUtime=66.15
/proc/20892/task/20894/stat : 20894 (satake) R 20890 20892 20390 0 -1 4194368 2180 0 0 0 4803 1812 0 0 16 0 4 0 1130835051 72314880 15372 1992294400 134512640 135180984 4294956224 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20892/tid=20895] ppid=20890 vsize=70620 CPUtime=65.21
/proc/20892/task/20895/stat : 20895 (satake) R 20890 20892 20390 0 -1 4194368 1118 0 0 0 4691 1830 0 0 16 0 4 0 1130835051 72314880 15372 1992294400 134512640 135180984 4294956224 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 175.15
Current children cumulated vsize (KiB) 70620

[startup+162.304 s]
/proc/loadavg: 2.30 1.49 1.18 4/68 20896
/proc/meminfo: memFree=1283976/2055920 swapFree=4177944/4192956
[pid=20892] ppid=20890 vsize=113236 CPUtime=279.29
/proc/20892/stat : 20892 (satake) S 20890 20892 20390 0 -1 4194304 23739 0 0 0 16727 11202 0 0 18 0 4 0 1130835051 115953664 23724 1992294400 134512640 135180984 4294956224 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20892/statm: 28309 23724 70 163 0 28144 0
[pid=20892/tid=20893] ppid=20890 vsize=113236 CPUtime=69.01
/proc/20892/task/20893/stat : 20893 (satake) R 20890 20892 20390 0 -1 4194368 18373 0 0 0 1454 5447 0 0 16 0 4 0 1130835051 115953664 23724 1992294400 134512640 135180984 4294956224 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20892/tid=20894] ppid=20890 vsize=113236 CPUtime=106.1

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

Current children cumulated vsize (KiB) 113236

[startup+222.303 s]
/proc/loadavg: 2.38 1.66 1.25 3/68 20896
/proc/meminfo: memFree=1250824/2055920 swapFree=4177944/4192956
[pid=20892] ppid=20890 vsize=150536 CPUtime=383.24
/proc/20892/stat : 20892 (satake) S 20890 20892 20390 0 -1 4194304 31937 0 0 0 23130 15194 0 0 18 0 4 0 1130835051 154148864 31922 1992294400 134512640 135180984 4294956224 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20892/statm: 37634 31922 70 163 0 37469 0
[pid=20892/tid=20893] ppid=20890 vsize=150536 CPUtime=93.78
/proc/20892/task/20893/stat : 20893 (satake) S 20890 20892 20390 0 -1 4194368 24518 0 0 0 1998 7380 0 0 16 0 4 0 1130835051 154148864 31922 1992294400 134512640 135180984 4294956224 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20892/tid=20894] ppid=20890 vsize=150536 CPUtime=146.15
/proc/20892/task/20894/stat : 20894 (satake) R 20890 20892 20390 0 -1 4194368 4433 0 0 0 10720 3895 0 0 16 0 4 0 1130835051 154148864 31922 1992294400 134512640 135180984 4294956224 18446744073709551615 134522984 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20892/tid=20895] ppid=20890 vsize=150536 CPUtime=143.29
/proc/20892/task/20895/stat : 20895 (satake) R 20890 20892 20390 0 -1 4194368 2903 0 0 0 10412 3917 0 0 16 0 4 0 1130835051 154148864 31922 1992294400 134512640 135180984 4294956224 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 383.24
Current children cumulated vsize (KiB) 150536

[startup+282.309 s]
/proc/loadavg: 2.26 1.76 1.31 4/68 20896
/proc/meminfo: memFree=1219144/2055920 swapFree=4177944/4192956
[pid=20892] ppid=20890 vsize=189196 CPUtime=487.95
/proc/20892/stat : 20892 (satake) S 20890 20892 20390 0 -1 4194304 39939 0 0 0 29642 19153 0 0 18 0 4 0 1130835051 193736704 39924 1992294400 134512640 135180984 4294956224 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20892/statm: 47299 39924 70 163 0 47134 0
[pid=20892/tid=20893] ppid=20890 vsize=189196 CPUtime=118.21
/proc/20892/task/20893/stat : 20893 (satake) R 20890 20892 20390 0 -1 4194368 30215 0 0 0 2521 9300 0 0 16 0 4 0 1130835051 193736704 39924 1992294400 134512640 135180984 4294956224 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20892/tid=20894] ppid=20890 vsize=189196 CPUtime=186.58
/proc/20892/task/20894/stat : 20894 (satake) R 20890 20892 20390 0 -1 4194368 5711 0 0 0 13750 4908 0 0 16 0 4 0 1130835051 193736704 39924 1992294400 134512640 135180984 4294956224 18446744073709551615 134528775 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20892/tid=20895] ppid=20890 vsize=189196 CPUtime=183.14
/proc/20892/task/20895/stat : 20895 (satake) R 20890 20892 20390 0 -1 4194368 3930 0 0 0 13370 4944 0 0 15 0 4 0 1130835051 193736704 39924 1992294400 134512640 135180984 4294956224 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 487.95
Current children cumulated vsize (KiB) 189196

[startup+342.302 s]
/proc/loadavg: 2.33 1.87 1.38 4/68 20896
/proc/meminfo: memFree=1186952/2055920 swapFree=4177944/4192956
[pid=20892] ppid=20890 vsize=229812 CPUtime=593.36
/proc/20892/stat : 20892 (satake) S 20890 20892 20390 0 -1 4194304 47908 0 0 0 36248 23088 0 0 18 0 4 0 1130835051 235327488 47893 1992294400 134512640 135180984 4294956224 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20892/statm: 57453 47893 70 163 0 57288 0
[pid=20892/tid=20893] ppid=20890 vsize=229812 CPUtime=142.48
/proc/20892/task/20893/stat : 20893 (satake) R 20890 20892 20390 0 -1 4194368 35900 0 0 0 3032 11216 0 0 16 0 4 0 1130835051 235327488 47893 1992294400 134512640 135180984 4294956224 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20892/tid=20894] ppid=20890 vsize=229812 CPUtime=227.21
/proc/20892/task/20894/stat : 20894 (satake) R 20890 20892 20390 0 -1 4194368 6917 0 0 0 16808 5913 0 0 16 0 4 0 1130835051 235327488 47893 1992294400 134512640 135180984 4294956224 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20892/tid=20895] ppid=20890 vsize=229812 CPUtime=223.64
/proc/20892/task/20895/stat : 20895 (satake) S 20890 20892 20390 0 -1 4194368 5008 0 0 0 16406 5958 0 0 16 0 4 0 1130835051 235327488 47893 1992294400 134512640 135180984 4294956224 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 593.36
Current children cumulated vsize (KiB) 229812

[startup+402.302 s]
/proc/loadavg: 2.24 1.93 1.42 3/68 20896
/proc/meminfo: memFree=1155016/2055920 swapFree=4177944/4192956
[pid=20892] ppid=20890 vsize=267300 CPUtime=698.5
/proc/20892/stat : 20892 (satake) S 20890 20892 20390 0 -1 4194304 55941 0 0 0 42717 27133 0 0 18 0 4 0 1130835051 273715200 55926 1992294400 134512640 135180984 4294956224 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20892/statm: 66825 55926 70 163 0 66660 0
[pid=20892/tid=20893] ppid=20890 vsize=267300 CPUtime=167.57
/proc/20892/task/20893/stat : 20893 (satake) R 20890 20892 20390 0 -1 4194368 41588 0 0 0 3569 13188 0 0 17 0 4 0 1130835051 273715200 55926 1992294400 134512640 135180984 4294956224 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20892/tid=20894] ppid=20890 vsize=267300 CPUtime=267.38
/proc/20892/task/20894/stat : 20894 (satake) R 20890 20892 20390 0 -1 4194368 8332 0 0 0 19789 6949 0 0 16 0 4 0 1130835051 273715200 55926 1992294400 134512640 135180984 4294956224 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20892/tid=20895] ppid=20890 vsize=267300 CPUtime=263.53
/proc/20892/task/20895/stat : 20895 (satake) R 20890 20892 20390 0 -1 4194368 5938 0 0 0 19358 6995 0 0 15 0 4 0 1130835051 273715200 55926 1992294400 134512640 135180984 4294956224 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 698.5
Current children cumulated vsize (KiB) 267300

[startup+462.302 s]
/proc/loadavg: 2.48 2.05 1.49 3/68 20897
/proc/meminfo: memFree=1122696/2055920 swapFree=4177944/4192956
[pid=20892] ppid=20890 vsize=309020 CPUtime=803.9
/proc/20892/stat : 20892 (satake) S 20890 20892 20390 0 -1 4194304 63953 0 0 0 49309 31081 0 0 18 0 4 0 1130835051 316436480 63938 1992294400 134512640 135180984 4294956224 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20892/statm: 77255 63938 70 163 0 77090 0
[pid=20892/tid=20893] ppid=20890 vsize=309020 CPUtime=191.95
/proc/20892/task/20893/stat : 20893 (satake) S 20890 20892 20390 0 -1 4194368 47478 0 0 0 4078 15117 0 0 15 0 4 0 1130835051 316436480 63938 1992294400 134512640 135180984 4294956224 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20892/tid=20894] ppid=20890 vsize=309020 CPUtime=308.14
/proc/20892/task/20894/stat : 20894 (satake) R 20890 20892 20390 0 -1 4194368 9973 0 0 0 22861 7953 0 0 16 0 4 0 1130835051 316436480 63938 1992294400 134512640 135180984 4294956224 18446744073709551615 134527255 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20892/tid=20895] ppid=20890 vsize=309020 CPUtime=303.8
/proc/20892/task/20895/stat : 20895 (satake) R 20890 20892 20390 0 -1 4194368 6419 0 0 0 22369 8011 0 0 16 0 4 0 1130835051 316436480 63938 1992294400 134512640 135180984 4294956224 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 803.9
Current children cumulated vsize (KiB) 309020

[startup+522.303 s]
/proc/loadavg: 2.33 2.07 1.53 2/68 20897
/proc/meminfo: memFree=1091720/2055920 swapFree=4177944/4192956
[pid=20892] ppid=20890 vsize=340296 CPUtime=909.48
/proc/20892/stat : 20892 (satake) S 20890 20892 20390 0 -1 4194304 71738 0 0 0 55954 34994 0 0 18 0 4 0 1130835051 348463104 71723 1992294400 134512640 135180984 4294956224 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20892/statm: 85074 71723 70 163 0 84909 0
[pid=20892/tid=20893] ppid=20890 vsize=340296 CPUtime=216.07
/proc/20892/task/20893/stat : 20893 (satake) R 20890 20892 20390 0 -1 4194368 53353 0 0 0 4588 17019 0 0 16 0 4 0 1130835051 348463104 71723 1992294400 134512640 135180984 4294956224 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20892/tid=20894] ppid=20890 vsize=340296 CPUtime=349.09
/proc/20892/task/20894/stat : 20894 (satake) R 20890 20892 20390 0 -1 4194368 11588 0 0 0 25949 8960 0 0 16 0 4 0 1130835051 348463104 71723 1992294400 134512640 135180984 4294956224 18446744073709551615 134522912 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20892/tid=20895] ppid=20890 vsize=340296 CPUtime=344.32
/proc/20892/task/20895/stat : 20895 (satake) R 20890 20892 20390 0 -1 4194368 6714 0 0 0 25417 9015 0 0 15 0 4 0 1130835051 348463104 71723 1992294400 134512640 135180984 4294956224 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 909.48
Current children cumulated vsize (KiB) 340296

[startup+582.302 s]
/proc/loadavg: 2.30 2.09 1.57 2/68 20897
/proc/meminfo: memFree=1059336/2055920 swapFree=4177944/4192956
[pid=20892] ppid=20890 vsize=379396 CPUtime=1015.1
/proc/20892/stat : 20892 (satake) S 20890 20892 20390 0 -1 4194304 79714 0 0 0 62545 38965 0 0 18 0 4 0 1130835051 388501504 79699 1992294400 134512640 135180984 4294956224 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20892/statm: 94849 79699 70 163 0 94684 0
[pid=20892/tid=20893] ppid=20890 vsize=379396 CPUtime=240.7
/proc/20892/task/20893/stat : 20893 (satake) S 20890 20892 20390 0 -1 4194368 59830 0 0 0 5114 18956 0 0 15 0 4 0 1130835051 388501504 79699 1992294400 134512640 135180984 4294956224 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20892/tid=20894] ppid=20890 vsize=379396 CPUtime=389.67
/proc/20892/task/20894/stat : 20894 (satake) R 20890 20892 20390 0 -1 4194368 12919 0 0 0 28989 9978 0 0 16 0 4 0 1130835051 388501504 79699 1992294400 134512640 135180984 4294956224 18446744073709551615 134526047 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20892/tid=20895] ppid=20890 vsize=379396 CPUtime=384.71
/proc/20892/task/20895/stat : 20895 (satake) R 20890 20892 20390 0 -1 4194368 6882 0 0 0 28441 10030 0 0 16 0 4 0 1130835051 388501504 79699 1992294400 134512640 135180984 4294956224 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1015.1
Current children cumulated vsize (KiB) 379396

[startup+642.302 s]
/proc/loadavg: 2.41 2.15 1.62 4/68 20897
/proc/meminfo: memFree=1027400/2055920 swapFree=4177944/4192956
[pid=20892] ppid=20890 vsize=423520 CPUtime=1120.7
/proc/20892/stat : 20892 (satake) S 20890 20892 20390 0 -1 4194304 87652 0 0 0 69202 42868 0 0 18 0 4 0 1130835051 433684480 87637 1992294400 134512640 135180984 4294956224 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20892/statm: 105880 87637 70 163 0 105715 0
[pid=20892/tid=20893] ppid=20890 vsize=423520 CPUtime=265.07
/proc/20892/task/20893/stat : 20893 (satake) R 20890 20892 20390 0 -1 4194368 65664 0 0 0 5647 20860 0 0 16 0 4 0 1130835051 433684480 87637 1992294400 134512640 135180984 4294956224 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20892/tid=20894] ppid=20890 vsize=423520 CPUtime=430.44
/proc/20892/task/20894/stat : 20894 (satake) R 20890 20892 20390 0 -1 4194368 14538 0 0 0 32069 10975 0 0 15 0 4 0 1130835051 433684480 87637 1992294400 134512640 135180984 4294956224 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20892/tid=20895] ppid=20890 vsize=423520 CPUtime=425.17
/proc/20892/task/20895/stat : 20895 (satake) R 20890 20892 20390 0 -1 4194368 7367 0 0 0 31484 11033 0 0 16 0 4 0 1130835051 433684480 87637 1992294400 134512640 135180984 4294956224 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1120.7
Current children cumulated vsize (KiB) 423520



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+687.507 s]
/proc/loadavg: 2.45 2.19 1.66 3/68 20897
/proc/meminfo: memFree=1003080/2055920 swapFree=4177944/4192956
[pid=20892] ppid=20890 vsize=451368 CPUtime=1200.17
/proc/20892/stat : 20892 (satake) S 20890 20892 20390 0 -1 4194304 93709 0 0 0 74118 45899 0 0 18 0 4 0 1130835051 462200832 93694 1992294400 134512640 135180984 4294956224 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20892/statm: 112842 93694 70 163 0 112677 0
[pid=20892/tid=20893] ppid=20890 vsize=451368 CPUtime=283.7
/proc/20892/task/20893/stat : 20893 (satake) R 20890 20892 20390 0 -1 4194368 70440 0 0 0 6040 22330 0 0 15 0 4 0 1130835051 462200832 93694 1992294400 134512640 135180984 4294956224 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20892/tid=20894] ppid=20890 vsize=451368 CPUtime=461.06
/proc/20892/task/20894/stat : 20894 (satake) R 20890 20892 20390 0 -1 4194368 15650 0 0 0 34345 11761 0 0 16 0 4 0 1130835051 462200832 93694 1992294400 134512640 135180984 4294956224 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20892/tid=20895] ppid=20890 vsize=451368 CPUtime=455.4
/proc/20892/task/20895/stat : 20895 (satake) R 20890 20892 20390 0 -1 4194368 7536 0 0 0 33732 11808 0 0 16 0 4 0 1130835051 462200832 93694 1992294400 134512640 135180984 4294956224 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.17
Current children cumulated vsize (KiB) 451368

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

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

[startup+687.507 s]
/proc/loadavg: 2.45 2.19 1.66 3/68 20897
/proc/meminfo: memFree=1003080/2055920 swapFree=4177944/4192956
[pid=20892] ppid=20890 vsize=451368 CPUtime=1200.17
/proc/20892/stat : 20892 (satake) S 20890 20892 20390 0 -1 4194304 93709 0 0 0 74118 45899 0 0 18 0 4 0 1130835051 462200832 93694 1992294400 134512640 135180984 4294956224 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20892/statm: 112842 93694 70 163 0 112677 0
[pid=20892/tid=20893] ppid=20890 vsize=451368 CPUtime=283.7
/proc/20892/task/20893/stat : 20893 (satake) R 20890 20892 20390 0 -1 4194368 70440 0 0 0 6040 22330 0 0 15 0 4 0 1130835051 462200832 93694 1992294400 134512640 135180984 4294956224 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20892/tid=20894] ppid=20890 vsize=451368 CPUtime=461.06
/proc/20892/task/20894/stat : 20894 (satake) R 20890 20892 20390 0 -1 4194368 15650 0 0 0 34345 11761 0 0 16 0 4 0 1130835051 462200832 93694 1992294400 134512640 135180984 4294956224 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20892/tid=20895] ppid=20890 vsize=451368 CPUtime=455.4
/proc/20892/task/20895/stat : 20895 (satake) R 20890 20892 20390 0 -1 4194368 7536 0 0 0 33732 11808 0 0 16 0 4 0 1130835051 462200832 93694 1992294400 134512640 135180984 4294956224 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.17
Current children cumulated vsize (KiB) 451368

Child ended because it received signal 15 (SIGTERM)
Real time (s): 687.584
CPU time (s): 1200.26
CPU user time (s): 741.194
CPU system time (s): 459.063
CPU usage (%): 174.562
Max. virtual memory (cumulated for all children) (KiB): 451368

deleting IPC queue 2359296
deleting IPC queue 2392065
deleting IPC queue 2424834
deleting IPC queue 2457603
deleting IPC queue 2490372
deleting IPC queue 2523141
deleting IPC queue 2555910
deleting IPC queue 2588679
deleting IPC queue 2621448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 741.194
system time used= 459.063
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93709
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= 18512643
involuntary context switches= 17265290

runsolver used 0.834873 second user time and 2.10868 second system time

The end

Launcher Data 

Begin job on node29 at 2009-04-01 12:28:18
IDJOB=1543849
IDBENCH=70690
IDSOLVER=553
FILE ID=node29/1543849-1238581698
PBS_JOBID= 9070531
Free space on /tmp= 66472 MiB

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

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

MD5SUM BENCH= dfd8633a4f173899180c2a33f1de5594
RANDOM SEED=2082381286

node29.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.234
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.234
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:       1379208 kB
Buffers:        101160 kB
Cached:         472064 kB
SwapCached:       8856 kB
Active:         209284 kB
Inactive:       374424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1379208 kB
SwapTotal:     4192956 kB
SwapFree:      4177944 kB
Dirty:             776 kB
Writeback:           0 kB
Mapped:          16228 kB
Slab:            78928 kB
Committed_AS:  3148924 kB
PageTables:       1476 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= 66472 MiB
End job on node29 at 2009-04-01 12:39:47