Trace number 1543725

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.07 645.958

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S374947955-075.cnf
MD5SUM1c26be7e8f45c396fe1a5a9f4716cff4
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables560
Number of clauses2380
Sum of the clauses size7140
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32380
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-1543725-1238511030/watcher-1543725-1238511030 -o /tmp/evaluation-result-1543725-1238511030/solver-1543725-1238511030 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543725-1238511030.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.99 0.98 0.99 3/64 6787
/proc/meminfo: memFree=1532272/2055920 swapFree=4176708/4192956
[pid=6787] ppid=6785 vsize=2180 CPUtime=0
/proc/6787/stat : 6787 (satake) S 6785 6787 6688 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 4 0 1123765081 2232320 179 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6787/statm: 545 179 68 163 0 380 0
[pid=6787/tid=6788] ppid=6785 vsize=2180 CPUtime=0
/proc/6787/task/6788/stat : 6788 (satake) R 6785 6787 6688 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1123765081 2232320 179 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6787/tid=6789] ppid=6785 vsize=2180 CPUtime=0
/proc/6787/task/6789/stat : 6789 (satake) R 6785 6787 6688 0 -1 4194368 63 0 0 0 0 0 0 0 19 0 4 0 1123765081 2232320 179 1992294400 134512640 135180984 4294956208 18446744073709551615 134528595 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6787/tid=6790] ppid=6785 vsize=2180 CPUtime=0
/proc/6787/task/6790/stat : 6790 (satake) R 6785 6787 6688 0 -1 4194368 41 0 0 0 0 0 0 0 19 0 4 0 1123765081 2232320 179 1992294400 134512640 135180984 4294956208 18446744073709551615 134514086 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0369821 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 6787
/proc/meminfo: memFree=1532272/2055920 swapFree=4176708/4192956
[pid=6787] ppid=6785 vsize=2308 CPUtime=0.06
/proc/6787/stat : 6787 (satake) S 6785 6787 6688 0 -1 4194304 232 0 0 0 3 3 0 0 18 0 4 0 1123765081 2363392 217 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6787/statm: 577 217 70 163 0 412 0
[pid=6787/tid=6788] ppid=6785 vsize=2308 CPUtime=0.01
/proc/6787/task/6788/stat : 6788 (satake) S 6785 6787 6688 0 -1 4194368 15 0 0 0 0 1 0 0 16 0 4 0 1123765081 2363392 217 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6787/tid=6789] ppid=6785 vsize=2308 CPUtime=0.02
/proc/6787/task/6789/stat : 6789 (satake) R 6785 6787 6688 0 -1 4194368 72 0 0 0 1 1 0 0 17 0 4 0 1123765081 2363392 219 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6787/tid=6790] ppid=6785 vsize=2308 CPUtime=0.01
/proc/6787/task/6790/stat : 6790 (satake) R 6785 6787 6688 0 -1 4194368 62 0 0 0 1 0 0 0 19 0 4 0 1123765081 2363392 222 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2308

[startup+0.114302 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 6787
/proc/meminfo: memFree=1532272/2055920 swapFree=4176708/4192956
[pid=6787] ppid=6785 vsize=2308 CPUtime=0.18
/proc/6787/stat : 6787 (satake) S 6785 6787 6688 0 -1 4194304 282 0 0 0 9 9 0 0 18 0 4 0 1123765081 2363392 267 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6787/statm: 577 267 70 163 0 412 0
[pid=6787/tid=6788] ppid=6785 vsize=2308 CPUtime=0.04
/proc/6787/task/6788/stat : 6788 (satake) R 6785 6787 6688 0 -1 4194368 26 0 0 0 0 4 0 0 17 0 4 0 1123765081 2363392 267 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6787/tid=6789] ppid=6785 vsize=2308 CPUtime=0.06
/proc/6787/task/6789/stat : 6789 (satake) S 6785 6787 6688 0 -1 4194368 92 0 0 0 4 2 0 0 17 0 4 0 1123765081 2363392 267 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6787/tid=6790] ppid=6785 vsize=2308 CPUtime=0.05
/proc/6787/task/6790/stat : 6790 (satake) S 6785 6787 6688 0 -1 4194368 81 0 0 0 4 1 0 0 16 0 4 0 1123765081 2363392 267 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 2308

[startup+0.301766 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 6787
/proc/meminfo: memFree=1532272/2055920 swapFree=4176708/4192956
[pid=6787] ppid=6785 vsize=2440 CPUtime=0.5
/proc/6787/stat : 6787 (satake) S 6785 6787 6688 0 -1 4194304 346 0 0 0 31 19 0 0 18 0 4 0 1123765081 2498560 331 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6787/statm: 610 331 70 163 0 445 0
[pid=6787/tid=6788] ppid=6785 vsize=2440 CPUtime=0.11
/proc/6787/task/6788/stat : 6788 (satake) S 6785 6787 6688 0 -1 4194368 41 0 0 0 2 9 0 0 16 0 4 0 1123765081 2498560 331 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6787/tid=6789] ppid=6785 vsize=2440 CPUtime=0.19
/proc/6787/task/6789/stat : 6789 (satake) R 6785 6787 6688 0 -1 4194368 109 0 0 0 14 5 0 0 17 0 4 0 1123765081 2498560 331 1992294400 134512640 135180984 4294956208 18446744073709551615 134528516 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6787/tid=6790] ppid=6785 vsize=2440 CPUtime=0.17
/proc/6787/task/6790/stat : 6790 (satake) R 6785 6787 6688 0 -1 4194368 113 0 0 0 14 3 0 0 16 0 4 0 1123765081 2498560 331 1992294400 134512640 135180984 4294956208 18446744073709551615 134520866 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2440

[startup+0.702804 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 6787
/proc/meminfo: memFree=1532272/2055920 swapFree=4176708/4192956
[pid=6787] ppid=6785 vsize=2440 CPUtime=1.18
/proc/6787/stat : 6787 (satake) S 6785 6787 6688 0 -1 4194304 424 0 0 0 75 43 0 0 18 0 4 0 1123765081 2498560 409 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6787/statm: 610 409 70 163 0 445 0
[pid=6787/tid=6788] ppid=6785 vsize=2440 CPUtime=0.26
/proc/6787/task/6788/stat : 6788 (satake) R 6785 6787 6688 0 -1 4194368 80 0 0 0 4 22 0 0 17 0 4 0 1123765081 2498560 409 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6787/tid=6789] ppid=6785 vsize=2440 CPUtime=0.46
/proc/6787/task/6789/stat : 6789 (satake) R 6785 6787 6688 0 -1 4194368 120 0 0 0 35 11 0 0 15 0 4 0 1123765081 2498560 409 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6787/tid=6790] ppid=6785 vsize=2440 CPUtime=0.44
/proc/6787/task/6790/stat : 6790 (satake) R 6785 6787 6688 0 -1 4194368 141 0 0 0 35 9 0 0 17 0 4 0 1123765081 2498560 409 1992294400 134512640 135180984 4294956208 18446744073709551615 134518214 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 2440

[startup+1.50288 s]
/proc/loadavg: 1.07 1.00 0.99 3/68 6791
/proc/meminfo: memFree=1530576/2055920 swapFree=4176708/4192956
[pid=6787] ppid=6785 vsize=3596 CPUtime=2.54
/proc/6787/stat : 6787 (satake) S 6785 6787 6688 0 -1 4194304 573 0 0 0 169 85 0 0 18 0 4 0 1123765081 3682304 558 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6787/statm: 899 558 70 163 0 734 0
[pid=6787/tid=6788] ppid=6785 vsize=3596 CPUtime=0.54
/proc/6787/task/6788/stat : 6788 (satake) R 6785 6787 6688 0 -1 4194368 159 0 0 0 10 44 0 0 17 0 4 0 1123765081 3682304 558 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6787/tid=6789] ppid=6785 vsize=3596 CPUtime=0.98
/proc/6787/task/6789/stat : 6789 (satake) R 6785 6787 6688 0 -1 4194368 139 0 0 0 77 21 0 0 15 0 4 0 1123765081 3682304 558 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6787/tid=6790] ppid=6785 vsize=3596 CPUtime=1
/proc/6787/task/6790/stat : 6790 (satake) R 6785 6787 6688 0 -1 4194368 192 0 0 0 81 19 0 0 17 0 4 0 1123765081 3682304 558 1992294400 134512640 135180984 4294956208 18446744073709551615 134528529 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 3596

[startup+3.10202 s]
/proc/loadavg: 1.07 1.00 0.99 4/68 6791
/proc/meminfo: memFree=1529736/2055920 swapFree=4176708/4192956
[pid=6787] ppid=6785 vsize=4908 CPUtime=5.34
/proc/6787/stat : 6787 (satake) S 6785 6787 6688 0 -1 4194304 840 0 0 0 365 169 0 0 18 0 4 0 1123765081 5025792 825 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6787/statm: 1227 825 70 163 0 1062 0
[pid=6787/tid=6788] ppid=6785 vsize=4908 CPUtime=1.06
/proc/6787/task/6788/stat : 6788 (satake) S 6785 6787 6688 0 -1 4194368 305 0 0 0 20 86 0 0 16 0 4 0 1123765081 5025792 825 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6787/tid=6789] ppid=6785 vsize=4908 CPUtime=2.13
/proc/6787/task/6789/stat : 6789 (satake) R 6785 6787 6688 0 -1 4194368 163 0 0 0 170 43 0 0 16 0 4 0 1123765081 5025792 825 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6787/tid=6790] ppid=6785 vsize=4908 CPUtime=2.14
/proc/6787/task/6790/stat : 6790 (satake) R 6785 6787 6688 0 -1 4194368 289 0 0 0 174 40 0 0 16 0 4 0 1123765081 5025792 825 1992294400 134512640 135180984 4294956208 18446744073709551615 134528760 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.34
Current children cumulated vsize (KiB) 4908

[startup+6.30131 s]
/proc/loadavg: 1.07 1.00 0.99 3/68 6791
/proc/meminfo: memFree=1527696/2055920 swapFree=4176708/4192956
[pid=6787] ppid=6785 vsize=6228 CPUtime=10.97
/proc/6787/stat : 6787 (satake) S 6785 6787 6688 0 -1 4194304 1319 0 0 0 763 334 0 0 18 0 4 0 1123765081 6377472 1304 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6787/statm: 1557 1304 70 163 0 1392 0
[pid=6787/tid=6788] ppid=6785 vsize=6228 CPUtime=2.09
/proc/6787/task/6788/stat : 6788 (satake) R 6785 6787 6688 0 -1 4194368 602 0 0 0 43 166 0 0 15 0 4 0 1123765081 6377472 1304 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6787/tid=6789] ppid=6785 vsize=6228 CPUtime=4.4
/proc/6787/task/6789/stat : 6789 (satake) S 6785 6787 6688 0 -1 4194368 198 0 0 0 355 85 0 0 16 0 4 0 1123765081 6377472 1304 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6787/tid=6790] ppid=6785 vsize=6228 CPUtime=4.45
/proc/6787/task/6790/stat : 6790 (satake) R 6785 6787 6688 0 -1 4194368 436 0 0 0 363 82 0 0 15 0 4 0 1123765081 6377472 1304 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.97
Current children cumulated vsize (KiB) 6228

[startup+12.7027 s]
/proc/loadavg: 1.29 1.05 1.01 3/68 6791
/proc/meminfo: memFree=1524072/2055920 swapFree=4176708/4192956
[pid=6787] ppid=6785 vsize=9724 CPUtime=22.31
/proc/6787/stat : 6787 (satake) S 6785 6787 6688 0 -1 4194304 2133 0 0 0 1583 648 0 0 18 0 4 0 1123765081 9957376 2118 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6787/statm: 2431 2118 70 163 0 2266 0
[pid=6787/tid=6788] ppid=6785 vsize=9724 CPUtime=4.13
/proc/6787/task/6788/stat : 6788 (satake) R 6785 6787 6688 0 -1 4194368 1162 0 0 0 87 326 0 0 16 0 4 0 1123765081 9957376 2118 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6787/tid=6789] ppid=6785 vsize=9724 CPUtime=9.05
/proc/6787/task/6789/stat : 6789 (satake) R 6785 6787 6688 0 -1 4194368 242 0 0 0 742 163 0 0 16 0 4 0 1123765081 9957376 2118 1992294400 134512640 135180984 4294956208 18446744073709551615 134528554 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6787/tid=6790] ppid=6785 vsize=9724 CPUtime=9.11
/proc/6787/task/6790/stat : 6790 (satake) R 6785 6787 6688 0 -1 4194368 646 0 0 0 753 158 0 0 16 0 4 0 1123765081 9957376 2118 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 22.31
Current children cumulated vsize (KiB) 9724

[startup+25.501 s]
/proc/loadavg: 1.39 1.08 1.02 3/68 6791
/proc/meminfo: memFree=1517800/2055920 swapFree=4176708/4192956
[pid=6787] ppid=6785 vsize=16748 CPUtime=45.42
/proc/6787/stat : 6787 (satake) S 6785 6787 6688 0 -1 4194304 3676 0 0 0 3293 1249 0 0 18 0 4 0 1123765081 17149952 3661 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6787/statm: 4187 3661 70 163 0 4022 0
[pid=6787/tid=6788] ppid=6785 vsize=16748 CPUtime=7.94
/proc/6787/task/6788/stat : 6788 (satake) R 6785 6787 6688 0 -1 4194368 2290 0 0 0 171 623 0 0 16 0 4 0 1123765081 17149952 3661 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6787/tid=6789] ppid=6785 vsize=16748 CPUtime=18.68
/proc/6787/task/6789/stat : 6789 (satake) R 6785 6787 6688 0 -1 4194368 331 0 0 0 1554 314 0 0 15 0 4 0 1123765081 17149952 3661 1992294400 134512640 135180984 4294956208 18446744073709551615 134528465 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6787/tid=6790] ppid=6785 vsize=16748 CPUtime=18.79
/proc/6787/task/6790/stat : 6790 (satake) R 6785 6787 6688 0 -1 4194368 972 0 0 0 1568 311 0 0 16 0 4 0 1123765081 17149952 3661 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 45.42
Current children cumulated vsize (KiB) 16748

[startup+51.1013 s]
/proc/loadavg: 1.63 1.17 1.05 4/68 6791
/proc/meminfo: memFree=1505320/2055920 swapFree=4176708/4192956
[pid=6787] ppid=6785 vsize=31508 CPUtime=91.62
/proc/6787/stat : 6787 (satake) S 6785 6787 6688 0 -1 4194304 6826 0 0 0 6561 2601 0 0 18 0 4 0 1123765081 32264192 6811 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6787/statm: 7877 6811 70 163 0 7712 0
[pid=6787/tid=6788] ppid=6785 vsize=31508 CPUtime=16.48
/proc/6787/task/6788/stat : 6788 (satake) S 6785 6787 6688 0 -1 4194368 4688 0 0 0 356 1292 0 0 16 0 4 0 1123765081 32264192 6811 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6787/tid=6789] ppid=6785 vsize=31508 CPUtime=37.54
/proc/6787/task/6789/stat : 6789 (satake) R 6785 6787 6688 0 -1 4194368 553 0 0 0 3095 659 0 0 16 0 4 0 1123765081 32264192 6811 1992294400 134512640 135180984 4294956208 18446744073709551615 134528807 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6787/tid=6790] ppid=6785 vsize=31508 CPUtime=37.58
/proc/6787/task/6790/stat : 6790 (satake) R 6785 6787 6688 0 -1 4194368 1502 0 0 0 3109 649 0 0 16 0 4 0 1123765081 32264192 6811 1992294400 134512640 135180984 4294956208 18446744073709551615 134528704 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 91.62
Current children cumulated vsize (KiB) 31508

[startup+102.307 s]
/proc/loadavg: 2.12 1.37 1.12 3/68 6791
/proc/meminfo: memFree=1483368/2055920 swapFree=4176708/4192956
[pid=6787] ppid=6785 vsize=56348 CPUtime=185.83
/proc/6787/stat : 6787 (satake) S 6785 6787 6688 0 -1 4194304 12242 0 0 0 13608 4975 0 0 18 0 4 0 1123765081 57700352 12227 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6787/statm: 14087 12227 70 163 0 13922 0
[pid=6787/tid=6788] ppid=6785 vsize=56348 CPUtime=31.5
/proc/6787/task/6788/stat : 6788 (satake) R 6785 6787 6688 0 -1 4194368 8708 0 0 0 690 2460 0 0 16 0 4 0 1123765081 57700352 12227 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6787/tid=6789] ppid=6785 vsize=56348 CPUtime=76.87
/proc/6787/task/6789/stat : 6789 (satake) R 6785 6787 6688 0 -1 4194368 922 0 0 0 6428 1259 0 0 16 0 4 0 1123765081 57700352 12227 1992294400 134512640 135180984 4294956208 18446744073709551615 134520896 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6787/tid=6790] ppid=6785 vsize=56348 CPUtime=77.44
/proc/6787/task/6790/stat : 6790 (satake) R 6785 6787 6688 0 -1 4194368 2529 0 0 0 6489 1255 0 0 16 0 4 0 1123765081 57700352 12227 1992294400 134512640 135180984 4294956208 18446744073709551615 134579390 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 185.83
Current children cumulated vsize (KiB) 56348

[startup+162.301 s]
/proc/loadavg: 2.41 1.59 1.21 3/68 6791
/proc/meminfo: memFree=1460328/2055920 swapFree=4176708/4192956
[pid=6787] ppid=6785 vsize=85068 CPUtime=297.03
/proc/6787/stat : 6787 (satake) S 6785 6787 6688 0 -1 4194304 18028 0 0 0 22018 7685 0 0 18 0 4 0 1123765081 87109632 18013 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6787/statm: 21267 18013 70 163 0 21102 0
[pid=6787/tid=6788] ppid=6785 vsize=85068 CPUtime=48.61
/proc/6787/task/6788/stat : 6788 (satake) R 6785 6787 6688 0 -1 4194368 12910 0 0 0 1068 3793 0 0 16 0 4 0 1123765081 87109632 18013 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6787/tid=6789] ppid=6785 vsize=85068 CPUtime=123.76

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

Current children cumulated vsize (KiB) 85068

[startup+222.306 s]
/proc/loadavg: 2.50 1.76 1.29 4/68 6791
/proc/meminfo: memFree=1436712/2055920 swapFree=4176708/4192956
[pid=6787] ppid=6785 vsize=113132 CPUtime=408.63
/proc/6787/stat : 6787 (satake) S 6785 6787 6688 0 -1 4194304 23847 0 0 0 30527 10336 0 0 18 0 4 0 1123765081 115847168 23832 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6787/statm: 28283 23832 70 163 0 28118 0
[pid=6787/tid=6788] ppid=6785 vsize=113132 CPUtime=65.36
/proc/6787/task/6788/stat : 6788 (satake) R 6785 6787 6688 0 -1 4194368 17199 0 0 0 1441 5095 0 0 16 0 4 0 1123765081 115847168 23832 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6787/tid=6789] ppid=6785 vsize=113132 CPUtime=170.63
/proc/6787/task/6789/stat : 6789 (satake) R 6785 6787 6688 0 -1 4194368 1779 0 0 0 14444 2619 0 0 16 0 4 0 1123765081 115847168 23832 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6787/tid=6790] ppid=6785 vsize=113132 CPUtime=172.63
/proc/6787/task/6790/stat : 6790 (satake) S 6785 6787 6688 0 -1 4194368 4786 0 0 0 14641 2622 0 0 15 0 4 0 1123765081 115847168 23832 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 113132

[startup+282.301 s]
/proc/loadavg: 2.46 1.88 1.36 3/68 6791
/proc/meminfo: memFree=1413672/2055920 swapFree=4176708/4192956
[pid=6787] ppid=6785 vsize=140636 CPUtime=520.07
/proc/6787/stat : 6787 (satake) S 6785 6787 6688 0 -1 4194304 29661 0 0 0 38998 13009 0 0 18 0 4 0 1123765081 144011264 29646 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6787/statm: 35159 29646 70 163 0 34994 0
[pid=6787/tid=6788] ppid=6785 vsize=140636 CPUtime=82.16
/proc/6787/task/6788/stat : 6788 (satake) S 6785 6787 6688 0 -1 4194368 21416 0 0 0 1810 6406 0 0 15 0 4 0 1123765081 144011264 29646 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6787/tid=6789] ppid=6785 vsize=140636 CPUtime=217.73
/proc/6787/task/6789/stat : 6789 (satake) R 6785 6787 6688 0 -1 4194368 2375 0 0 0 18471 3302 0 0 16 0 4 0 1123765081 144011264 29646 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6787/tid=6790] ppid=6785 vsize=140636 CPUtime=220.16
/proc/6787/task/6790/stat : 6790 (satake) R 6785 6787 6688 0 -1 4194368 5787 0 0 0 18716 3300 0 0 15 0 4 0 1123765081 144011264 29646 1992294400 134512640 135180984 4294956208 18446744073709551615 134528465 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 520.07
Current children cumulated vsize (KiB) 140636

[startup+342.302 s]
/proc/loadavg: 2.59 2.02 1.44 3/68 6791
/proc/meminfo: memFree=1389736/2055920 swapFree=4176708/4192956
[pid=6787] ppid=6785 vsize=166944 CPUtime=631.22
/proc/6787/stat : 6787 (satake) S 6785 6787 6688 0 -1 4194304 35597 0 0 0 47216 15906 0 0 18 0 4 0 1123765081 170950656 35582 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6787/statm: 41736 35582 70 163 0 41571 0
[pid=6787/tid=6788] ppid=6785 vsize=166944 CPUtime=100.47
/proc/6787/task/6788/stat : 6788 (satake) R 6785 6787 6688 0 -1 4194368 25670 0 0 0 2214 7833 0 0 16 0 4 0 1123765081 170950656 35582 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6787/tid=6789] ppid=6785 vsize=166944 CPUtime=263.52
/proc/6787/task/6789/stat : 6789 (satake) R 6785 6787 6688 0 -1 4194368 3037 0 0 0 22311 4041 0 0 16 0 4 0 1123765081 170950656 35582 1992294400 134512640 135180984 4294956208 18446744073709551615 134528655 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6787/tid=6790] ppid=6785 vsize=166944 CPUtime=267.2
/proc/6787/task/6790/stat : 6790 (satake) R 6785 6787 6688 0 -1 4194368 6807 0 0 0 22690 4030 0 0 15 0 4 0 1123765081 170950656 35582 1992294400 134512640 135180984 4294956208 18446744073709551615 134519890 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 631.22
Current children cumulated vsize (KiB) 166944

[startup+402.302 s]
/proc/loadavg: 2.74 2.15 1.52 3/68 6791
/proc/meminfo: memFree=1366504/2055920 swapFree=4176708/4192956
[pid=6787] ppid=6785 vsize=195284 CPUtime=742.57
/proc/6787/stat : 6787 (satake) S 6785 6787 6688 0 -1 4194304 41464 0 0 0 55482 18775 0 0 18 0 4 0 1123765081 199970816 41449 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6787/statm: 48821 41449 70 163 0 48656 0
[pid=6787/tid=6788] ppid=6785 vsize=195284 CPUtime=118.36
/proc/6787/task/6788/stat : 6788 (satake) R 6785 6787 6688 0 -1 4194368 29775 0 0 0 2616 9220 0 0 16 0 4 0 1123765081 199970816 41449 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6787/tid=6789] ppid=6785 vsize=195284 CPUtime=309.73
/proc/6787/task/6789/stat : 6789 (satake) R 6785 6787 6688 0 -1 4194368 3870 0 0 0 26195 4778 0 0 15 0 4 0 1123765081 199970816 41449 1992294400 134512640 135180984 4294956208 18446744073709551615 134528536 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6787/tid=6790] ppid=6785 vsize=195284 CPUtime=314.45
/proc/6787/task/6790/stat : 6790 (satake) S 6785 6787 6688 0 -1 4194368 7736 0 0 0 26669 4776 0 0 15 0 4 0 1123765081 199970816 41449 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 742.57
Current children cumulated vsize (KiB) 195284

[startup+462.301 s]
/proc/loadavg: 2.80 2.28 1.60 3/68 6791
/proc/meminfo: memFree=1342824/2055920 swapFree=4176708/4192956
[pid=6787] ppid=6785 vsize=224428 CPUtime=854.29
/proc/6787/stat : 6787 (satake) S 6785 6787 6688 0 -1 4194304 47298 0 0 0 63844 21585 0 0 18 0 4 0 1123765081 229814272 47283 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6787/statm: 56107 47283 70 163 0 55942 0
[pid=6787/tid=6788] ppid=6785 vsize=224428 CPUtime=136.07
/proc/6787/task/6788/stat : 6788 (satake) R 6785 6787 6688 0 -1 4194368 33697 0 0 0 3006 10601 0 0 16 0 4 0 1123765081 229814272 47283 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6787/tid=6789] ppid=6785 vsize=224428 CPUtime=356.36
/proc/6787/task/6789/stat : 6789 (satake) R 6785 6787 6688 0 -1 4194368 4685 0 0 0 30149 5487 0 0 16 0 4 0 1123765081 229814272 47283 1992294400 134512640 135180984 4294956208 18446744073709551615 134528219 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6787/tid=6790] ppid=6785 vsize=224428 CPUtime=361.85
/proc/6787/task/6790/stat : 6790 (satake) S 6785 6787 6688 0 -1 4194368 8833 0 0 0 30689 5496 0 0 15 0 4 0 1123765081 229814272 47283 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 854.29
Current children cumulated vsize (KiB) 224428

[startup+522.303 s]
/proc/loadavg: 2.50 2.28 1.64 4/68 6791
/proc/meminfo: memFree=1320680/2055920 swapFree=4176708/4192956
[pid=6787] ppid=6785 vsize=252104 CPUtime=966.42
/proc/6787/stat : 6787 (satake) S 6785 6787 6688 0 -1 4194304 52943 0 0 0 72307 24335 0 0 18 0 4 0 1123765081 258154496 52928 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6787/statm: 63026 52928 70 163 0 62861 0
[pid=6787/tid=6788] ppid=6785 vsize=252104 CPUtime=153.3
/proc/6787/task/6788/stat : 6788 (satake) R 6785 6787 6688 0 -1 4194368 37403 0 0 0 3382 11948 0 0 16 0 4 0 1123765081 258154496 52928 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6787/tid=6789] ppid=6785 vsize=252104 CPUtime=403.47
/proc/6787/task/6789/stat : 6789 (satake) R 6785 6787 6688 0 -1 4194368 5578 0 0 0 34157 6190 0 0 15 0 4 0 1123765081 258154496 52928 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6787/tid=6790] ppid=6785 vsize=252104 CPUtime=409.63
/proc/6787/task/6790/stat : 6790 (satake) R 6785 6787 6688 0 -1 4194368 9879 0 0 0 34767 6196 0 0 16 0 4 0 1123765081 258154496 52928 1992294400 134512640 135180984 4294956208 18446744073709551615 134518218 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 966.42
Current children cumulated vsize (KiB) 252104

[startup+582.303 s]
/proc/loadavg: 2.34 2.27 1.68 3/68 6791
/proc/meminfo: memFree=1298088/2055920 swapFree=4176708/4192956
[pid=6787] ppid=6785 vsize=277888 CPUtime=1079.56
/proc/6787/stat : 6787 (satake) S 6785 6787 6688 0 -1 4194304 58475 0 0 0 81045 26911 0 0 18 0 4 0 1123765081 284557312 58460 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6787/statm: 69472 58460 70 163 0 69307 0
[pid=6787/tid=6788] ppid=6785 vsize=277888 CPUtime=169.66
/proc/6787/task/6788/stat : 6788 (satake) R 6785 6787 6688 0 -1 4194368 40921 0 0 0 3748 13218 0 0 16 0 4 0 1123765081 284557312 58460 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6787/tid=6789] ppid=6785 vsize=277888 CPUtime=451.55
/proc/6787/task/6789/stat : 6789 (satake) S 6785 6787 6688 0 -1 4194368 6501 0 0 0 38313 6842 0 0 15 0 4 0 1123765081 284557312 58460 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=6787/tid=6790] ppid=6785 vsize=277888 CPUtime=458.33
/proc/6787/task/6790/stat : 6790 (satake) R 6785 6787 6688 0 -1 4194368 10970 0 0 0 38983 6850 0 0 16 0 4 0 1123765081 284557312 58460 1992294400 134512640 135180984 4294956208 18446744073709551615 134528595 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1079.56
Current children cumulated vsize (KiB) 277888

[startup+642.301 s]
/proc/loadavg: 2.36 2.30 1.72 2/68 6797
/proc/meminfo: memFree=1277032/2055920 swapFree=4176708/4192956
[pid=6787] ppid=6785 vsize=301836 CPUtime=1193.13
/proc/6787/stat : 6787 (satake) S 6785 6787 6688 0 -1 4194304 63663 0 0 0 89809 29504 0 0 18 0 4 0 1123765081 309080064 63648 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6787/statm: 75459 63648 70 163 0 75294 0
[pid=6787/tid=6788] ppid=6785 vsize=301836 CPUtime=185.78
/proc/6787/task/6788/stat : 6788 (satake) R 6785 6787 6688 0 -1 4194368 44216 0 0 0 4097 14481 0 0 16 0 4 0 1123765081 309080064 63648 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6787/tid=6789] ppid=6785 vsize=301836 CPUtime=499.92
/proc/6787/task/6789/stat : 6789 (satake) R 6785 6787 6688 0 -1 4194368 7533 0 0 0 42491 7501 0 0 16 0 4 0 1123765081 309080064 63648 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6787/tid=6790] ppid=6785 vsize=301836 CPUtime=507.41
/proc/6787/task/6790/stat : 6790 (satake) R 6785 6787 6688 0 -1 4194368 11831 0 0 0 43220 7521 0 0 16 0 4 0 1123765081 309080064 63648 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1193.13
Current children cumulated vsize (KiB) 301836



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+645.902 s]
/proc/loadavg: 2.33 2.29 1.72 3/68 6797
/proc/meminfo: memFree=1275624/2055920 swapFree=4176708/4192956
[pid=6787] ppid=6785 vsize=303640 CPUtime=1200
/proc/6787/stat : 6787 (satake) S 6785 6787 6688 0 -1 4194304 64011 0 0 0 90324 29676 0 0 18 0 4 0 1123765081 310927360 63996 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6787/statm: 75910 63996 70 163 0 75745 0
[pid=6787/tid=6788] ppid=6785 vsize=303640 CPUtime=186.81
/proc/6787/task/6788/stat : 6788 (satake) R 6785 6787 6688 0 -1 4194368 44399 0 0 0 4117 14564 0 0 16 0 4 0 1123765081 310927360 63996 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6787/tid=6789] ppid=6785 vsize=303640 CPUtime=502.8
/proc/6787/task/6789/stat : 6789 (satake) S 6785 6787 6688 0 -1 4194368 7635 0 0 0 42738 7542 0 0 17 0 4 0 1123765081 310927360 63996 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6787/tid=6790] ppid=6785 vsize=303640 CPUtime=510.36
/proc/6787/task/6790/stat : 6790 (satake) R 6785 6787 6688 0 -1 4194368 11894 0 0 0 43468 7568 0 0 15 0 4 0 1123765081 310927360 63996 1992294400 134512640 135180984 4294956208 18446744073709551615 134528854 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 303640

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

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

[startup+645.902 s]
/proc/loadavg: 2.33 2.29 1.72 3/68 6797
/proc/meminfo: memFree=1275624/2055920 swapFree=4176708/4192956
[pid=6787] ppid=6785 vsize=303640 CPUtime=1200
/proc/6787/stat : 6787 (satake) S 6785 6787 6688 0 -1 4194304 64011 0 0 0 90324 29676 0 0 18 0 4 0 1123765081 310927360 63996 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6787/statm: 75910 63996 70 163 0 75745 0
[pid=6787/tid=6788] ppid=6785 vsize=303640 CPUtime=186.81
/proc/6787/task/6788/stat : 6788 (satake) R 6785 6787 6688 0 -1 4194368 44399 0 0 0 4117 14564 0 0 16 0 4 0 1123765081 310927360 63996 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6787/tid=6789] ppid=6785 vsize=303640 CPUtime=502.8
/proc/6787/task/6789/stat : 6789 (satake) S 6785 6787 6688 0 -1 4194368 7635 0 0 0 42738 7542 0 0 17 0 4 0 1123765081 310927360 63996 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=6787/tid=6790] ppid=6785 vsize=303640 CPUtime=510.36
/proc/6787/task/6790/stat : 6790 (satake) R 6785 6787 6688 0 -1 4194368 11894 0 0 0 43468 7568 0 0 15 0 4 0 1123765081 310927360 63996 1992294400 134512640 135180984 4294956208 18446744073709551615 134528854 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 303640

Child ended because it received signal 15 (SIGTERM)
Real time (s): 645.958
CPU time (s): 1200.07
CPU user time (s): 903.257
CPU system time (s): 296.813
CPU usage (%): 185.781
Max. virtual memory (cumulated for all children) (KiB): 303640

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= 903.257
system time used= 296.813
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64011
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= 10882003
involuntary context switches= 10077766

runsolver used 0.727889 second user time and 1.91271 second system time

The end

Launcher Data 

Begin job on node51 at 2009-03-31 16:50:30
IDJOB=1543725
IDBENCH=70566
IDSOLVER=553
FILE ID=node51/1543725-1238511030
PBS_JOBID= 9062001
Free space on /tmp= 65256 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/560/unif-k3-r4.25-v560-c2380-S374947955-075.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543725-1238511030/watcher-1543725-1238511030 -o /tmp/evaluation-result-1543725-1238511030/solver-1543725-1238511030 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543725-1238511030.cnf 3 1200

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

MD5SUM BENCH= 1c26be7e8f45c396fe1a5a9f4716cff4
RANDOM SEED=1849666853

node51.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:       1532752 kB
Buffers:         86424 kB
Cached:         339676 kB
SwapCached:      10052 kB
Active:         199988 kB
Inactive:       237624 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1532752 kB
SwapTotal:     4192956 kB
SwapFree:      4176708 kB
Dirty:             780 kB
Writeback:           0 kB
Mapped:          17184 kB
Slab:            71560 kB
Committed_AS:  3066516 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= 65252 MiB
End job on node51 at 2009-03-31 17:01:18