Trace number 1543891

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.08 677.774

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S2035161427-020.cnf
MD5SUM074d3c53fc7fcb6f758396e5d450cb42
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.019996
Satisfiable
(Un)Satisfiability was proved
Number of variables460
Number of clauses1955
Sum of the clauses size5865
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31955
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-1543891-1238595700/watcher-1543891-1238595700 -o /tmp/evaluation-result-1543891-1238595700/solver-1543891-1238595700 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543891-1238595700.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.87 1.85 1.52 2/64 20814
/proc/meminfo: memFree=1536960/2055920 swapFree=4176720/4192956
[pid=20814] ppid=20812 vsize=1148 CPUtime=0
/proc/20814/stat : 20814 (satake) S 20812 20814 20220 0 -1 4194304 141 0 0 0 0 0 0 0 18 0 4 0 1132234964 1175552 126 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20814/statm: 287 126 68 163 0 122 0
[pid=20814/tid=20815] ppid=20812 vsize=1148 CPUtime=0
/proc/20814/task/20815/stat : 20815 (satake) R 20812 20814 20220 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1132234964 1175552 126 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20814/tid=20816] ppid=20812 vsize=1148 CPUtime=0
/proc/20814/task/20816/stat : 20816 (satake) R 20812 20814 20220 0 -1 4194368 51 0 0 0 0 0 0 0 19 0 4 0 1132234964 1175552 126 1992294400 134512640 135180984 4294956208 18446744073709551615 134528760 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20814/tid=20817] ppid=20812 vsize=1148 CPUtime=0
/proc/20814/task/20817/stat : 20817 (satake) R 20812 20814 20220 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 1132234964 1175552 126 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0831271 s]
/proc/loadavg: 1.87 1.85 1.52 2/64 20814
/proc/meminfo: memFree=1536960/2055920 swapFree=4176720/4192956
[pid=20814] ppid=20812 vsize=3328 CPUtime=0.11
/proc/20814/stat : 20814 (satake) S 20812 20814 20220 0 -1 4194304 237 0 0 0 6 5 0 0 18 0 4 0 1132234964 3407872 222 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20814/statm: 832 222 70 163 0 667 0
[pid=20814/tid=20815] ppid=20812 vsize=3328 CPUtime=0.02
/proc/20814/task/20815/stat : 20815 (satake) R 20812 20814 20220 0 -1 4194368 24 0 0 0 0 2 0 0 17 0 4 0 1132234964 3407872 222 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20814/tid=20816] ppid=20812 vsize=3328 CPUtime=0.04
/proc/20814/task/20816/stat : 20816 (satake) S 20812 20814 20220 0 -1 4194368 73 0 0 0 3 1 0 0 16 0 4 0 1132234964 3407872 222 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20814/tid=20817] ppid=20812 vsize=3328 CPUtime=0.03
/proc/20814/task/20817/stat : 20817 (satake) R 20812 20814 20220 0 -1 4194368 57 0 0 0 2 1 0 0 16 0 4 0 1132234964 3407872 222 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 3328

[startup+0.101514 s]
/proc/loadavg: 1.87 1.85 1.52 2/64 20814
/proc/meminfo: memFree=1536960/2055920 swapFree=4176720/4192956
[pid=20814] ppid=20812 vsize=3328 CPUtime=0.15
/proc/20814/stat : 20814 (satake) S 20812 20814 20220 0 -1 4194304 249 0 0 0 8 7 0 0 18 0 4 0 1132234964 3407872 234 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20814/statm: 832 234 70 163 0 667 0
[pid=20814/tid=20815] ppid=20812 vsize=3328 CPUtime=0.03
/proc/20814/task/20815/stat : 20815 (satake) R 20812 20814 20220 0 -1 4194368 27 0 0 0 0 3 0 0 17 0 4 0 1132234964 3407872 234 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20814/tid=20816] ppid=20812 vsize=3328 CPUtime=0.04
/proc/20814/task/20816/stat : 20816 (satake) S 20812 20814 20220 0 -1 4194368 77 0 0 0 3 1 0 0 16 0 4 0 1132234964 3407872 234 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20814/tid=20817] ppid=20812 vsize=3328 CPUtime=0.04
/proc/20814/task/20817/stat : 20817 (satake) S 20812 20814 20220 0 -1 4194368 62 0 0 0 3 1 0 0 17 0 4 0 1132234964 3407872 234 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 3328

[startup+0.301545 s]
/proc/loadavg: 1.87 1.85 1.52 2/64 20814
/proc/meminfo: memFree=1536960/2055920 swapFree=4176720/4192956
[pid=20814] ppid=20812 vsize=3460 CPUtime=0.47
/proc/20814/stat : 20814 (satake) S 20812 20814 20220 0 -1 4194304 298 0 0 0 27 20 0 0 18 0 4 0 1132234964 3543040 283 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20814/statm: 865 283 70 163 0 700 0
[pid=20814/tid=20815] ppid=20812 vsize=3460 CPUtime=0.11
/proc/20814/task/20815/stat : 20815 (satake) R 20812 20814 20220 0 -1 4194368 51 0 0 0 2 9 0 0 17 0 4 0 1132234964 3543040 283 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20814/tid=20816] ppid=20812 vsize=3460 CPUtime=0.16
/proc/20814/task/20816/stat : 20816 (satake) S 20812 20814 20220 0 -1 4194368 90 0 0 0 12 4 0 0 17 0 4 0 1132234964 3543040 283 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20814/tid=20817] ppid=20812 vsize=3460 CPUtime=0.16
/proc/20814/task/20817/stat : 20817 (satake) R 20812 20814 20220 0 -1 4194368 74 0 0 0 11 5 0 0 16 0 4 0 1132234964 3543040 283 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 3460

[startup+0.701607 s]
/proc/loadavg: 1.87 1.85 1.52 2/64 20814
/proc/meminfo: memFree=1536960/2055920 swapFree=4176720/4192956
[pid=20814] ppid=20812 vsize=3724 CPUtime=1.13
/proc/20814/stat : 20814 (satake) S 20812 20814 20220 0 -1 4194304 387 0 0 0 67 46 0 0 18 0 4 0 1132234964 3813376 372 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20814/statm: 931 372 70 163 0 766 0
[pid=20814/tid=20815] ppid=20812 vsize=3724 CPUtime=0.28
/proc/20814/task/20815/stat : 20815 (satake) S 20812 20814 20220 0 -1 4194368 97 0 0 0 5 23 0 0 16 0 4 0 1132234964 3813376 372 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20814/tid=20816] ppid=20812 vsize=3724 CPUtime=0.4
/proc/20814/task/20816/stat : 20816 (satake) S 20812 20814 20220 0 -1 4194368 118 0 0 0 30 10 0 0 17 0 4 0 1132234964 3813376 372 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20814/tid=20817] ppid=20812 vsize=3724 CPUtime=0.42
/proc/20814/task/20817/stat : 20817 (satake) R 20812 20814 20220 0 -1 4194368 89 0 0 0 30 12 0 0 17 0 4 0 1132234964 3813376 372 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 3724

[startup+1.50173 s]
/proc/loadavg: 1.87 1.85 1.52 4/68 20818
/proc/meminfo: memFree=1535392/2055920 swapFree=4176720/4192956
[pid=20814] ppid=20812 vsize=4252 CPUtime=2.43
/proc/20814/stat : 20814 (satake) S 20812 20814 20220 0 -1 4194304 540 0 0 0 145 98 0 0 18 0 4 0 1132234964 4354048 525 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20814/statm: 1063 525 70 163 0 898 0
[pid=20814/tid=20815] ppid=20812 vsize=4252 CPUtime=0.62
/proc/20814/task/20815/stat : 20815 (satake) R 20812 20814 20220 0 -1 4194368 187 0 0 0 12 50 0 0 18 0 4 0 1132234964 4354048 525 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20814/tid=20816] ppid=20812 vsize=4252 CPUtime=0.9
/proc/20814/task/20816/stat : 20816 (satake) R 20812 20814 20220 0 -1 4194368 168 0 0 0 67 23 0 0 16 0 4 0 1132234964 4354048 525 1992294400 134512640 135180984 4294956208 18446744073709551615 134532624 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20814/tid=20817] ppid=20812 vsize=4252 CPUtime=0.88
/proc/20814/task/20817/stat : 20817 (satake) S 20812 20814 20220 0 -1 4194368 102 0 0 0 65 23 0 0 16 0 4 0 1132234964 4354048 525 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 4252

[startup+3.10295 s]
/proc/loadavg: 1.87 1.85 1.52 3/68 20818
/proc/meminfo: memFree=1534432/2055920 swapFree=4176720/4192956
[pid=20814] ppid=20812 vsize=5336 CPUtime=5.07
/proc/20814/stat : 20814 (satake) S 20812 20814 20220 0 -1 4194304 815 0 0 0 307 200 0 0 18 0 4 0 1132234964 5464064 800 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20814/statm: 1334 800 70 163 0 1169 0
[pid=20814/tid=20815] ppid=20812 vsize=5336 CPUtime=1.3
/proc/20814/task/20815/stat : 20815 (satake) R 20812 20814 20220 0 -1 4194368 362 0 0 0 24 106 0 0 18 0 4 0 1132234964 5464064 800 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20814/tid=20816] ppid=20812 vsize=5336 CPUtime=1.88
/proc/20814/task/20816/stat : 20816 (satake) R 20812 20814 20220 0 -1 4194368 247 0 0 0 141 47 0 0 15 0 4 0 1132234964 5464064 800 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20814/tid=20817] ppid=20812 vsize=5336 CPUtime=1.87
/proc/20814/task/20817/stat : 20817 (satake) S 20812 20814 20220 0 -1 4194368 123 0 0 0 141 46 0 0 15 0 4 0 1132234964 5464064 800 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.07
Current children cumulated vsize (KiB) 5336

[startup+6.30266 s]
/proc/loadavg: 1.88 1.85 1.52 4/68 20818
/proc/meminfo: memFree=1532320/2055920 swapFree=4176720/4192956
[pid=20814] ppid=20812 vsize=7104 CPUtime=10.42
/proc/20814/stat : 20814 (satake) S 20812 20814 20220 0 -1 4194304 1298 0 0 0 649 393 0 0 18 0 4 0 1132234964 7274496 1283 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20814/statm: 1776 1283 70 163 0 1611 0
[pid=20814/tid=20815] ppid=20812 vsize=7104 CPUtime=2.6
/proc/20814/task/20815/stat : 20815 (satake) R 20812 20814 20220 0 -1 4194368 720 0 0 0 52 208 0 0 16 0 4 0 1132234964 7274496 1283 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20814/tid=20816] ppid=20812 vsize=7104 CPUtime=3.89
/proc/20814/task/20816/stat : 20816 (satake) S 20812 20814 20220 0 -1 4194368 351 0 0 0 298 91 0 0 15 0 4 0 1132234964 7274496 1283 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20814/tid=20817] ppid=20812 vsize=7104 CPUtime=3.91
/proc/20814/task/20817/stat : 20817 (satake) R 20812 20814 20220 0 -1 4194368 144 0 0 0 298 93 0 0 16 0 4 0 1132234964 7274496 1283 1992294400 134512640 135180984 4294956208 18446744073709551615 134528644 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.42
Current children cumulated vsize (KiB) 7104

[startup+12.7016 s]
/proc/loadavg: 1.97 1.87 1.53 4/68 20818
/proc/meminfo: memFree=1528104/2055920 swapFree=4176720/4192956
[pid=20814] ppid=20812 vsize=10912 CPUtime=21.39
/proc/20814/stat : 20814 (satake) S 20812 20814 20220 0 -1 4194304 2283 0 0 0 1326 813 0 0 18 0 4 0 1132234964 11173888 2268 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20814/statm: 2728 2268 70 163 0 2563 0
[pid=20814/tid=20815] ppid=20812 vsize=10912 CPUtime=5.2
/proc/20814/task/20815/stat : 20815 (satake) S 20812 20814 20220 0 -1 4194368 1465 0 0 0 109 411 0 0 15 0 4 0 1132234964 11173888 2268 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20814/tid=20816] ppid=20812 vsize=10912 CPUtime=8.08
/proc/20814/task/20816/stat : 20816 (satake) R 20812 20814 20220 0 -1 4194368 556 0 0 0 609 199 0 0 15 0 4 0 1132234964 11173888 2268 1992294400 134512640 135180984 4294956208 18446744073709551615 134526062 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20814/tid=20817] ppid=20812 vsize=10912 CPUtime=8.1
/proc/20814/task/20817/stat : 20817 (satake) R 20812 20814 20220 0 -1 4194368 179 0 0 0 607 203 0 0 16 0 4 0 1132234964 11173888 2268 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.39
Current children cumulated vsize (KiB) 10912

[startup+25.5026 s]
/proc/loadavg: 2.13 1.91 1.55 3/68 20818
/proc/meminfo: memFree=1520424/2055920 swapFree=4176720/4192956
[pid=20814] ppid=20812 vsize=19640 CPUtime=43.45
/proc/20814/stat : 20814 (satake) S 20812 20814 20220 0 -1 4194304 4207 0 0 0 2705 1640 0 0 18 0 4 0 1132234964 20111360 4192 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20814/statm: 4910 4192 70 163 0 4745 0
[pid=20814/tid=20815] ppid=20812 vsize=19640 CPUtime=10.27
/proc/20814/task/20815/stat : 20815 (satake) R 20812 20814 20220 0 -1 4194368 2981 0 0 0 215 812 0 0 16 0 4 0 1132234964 20111360 4192 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20814/tid=20816] ppid=20812 vsize=19640 CPUtime=16.68
/proc/20814/task/20816/stat : 20816 (satake) S 20812 20814 20220 0 -1 4194368 918 0 0 0 1256 412 0 0 15 0 4 0 1132234964 20111360 4192 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20814/tid=20817] ppid=20812 vsize=19640 CPUtime=16.47
/proc/20814/task/20817/stat : 20817 (satake) R 20812 20814 20220 0 -1 4194368 225 0 0 0 1233 414 0 0 16 0 4 0 1132234964 20111360 4192 1992294400 134512640 135180984 4294956208 18446744073709551615 134526107 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 43.45
Current children cumulated vsize (KiB) 19640

[startup+51.1015 s]
/proc/loadavg: 1.93 1.88 1.55 3/68 20818
/proc/meminfo: memFree=1506408/2055920 swapFree=4176720/4192956
[pid=20814] ppid=20812 vsize=36520 CPUtime=88.01
/proc/20814/stat : 20814 (satake) S 20812 20814 20220 0 -1 4194304 7727 0 0 0 5554 3247 0 0 18 0 4 0 1132234964 37396480 7712 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20814/statm: 9130 7712 70 163 0 8965 0
[pid=20814/tid=20815] ppid=20812 vsize=36520 CPUtime=20.22
/proc/20814/task/20815/stat : 20815 (satake) S 20812 20814 20220 0 -1 4194368 5800 0 0 0 431 1591 0 0 15 0 4 0 1132234964 37396480 7712 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20814/tid=20816] ppid=20812 vsize=36520 CPUtime=34.09
/proc/20814/task/20816/stat : 20816 (satake) R 20812 20814 20220 0 -1 4194368 1566 0 0 0 2584 825 0 0 16 0 4 0 1132234964 37396480 7712 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20814/tid=20817] ppid=20812 vsize=36520 CPUtime=33.68
/proc/20814/task/20817/stat : 20817 (satake) R 20812 20814 20220 0 -1 4194368 278 0 0 0 2538 830 0 0 16 0 4 0 1132234964 37396480 7712 1992294400 134512640 135180984 4294956208 18446744073709551615 134523974 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 88.01
Current children cumulated vsize (KiB) 36520

[startup+102.306 s]
/proc/loadavg: 2.43 2.02 1.61 3/68 20818
/proc/meminfo: memFree=1479720/2055920 swapFree=4176720/4192956
[pid=20814] ppid=20812 vsize=66852 CPUtime=177.95
/proc/20814/stat : 20814 (satake) S 20812 20814 20220 0 -1 4194304 14316 0 0 0 11420 6375 0 0 18 0 4 0 1132234964 68456448 14301 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20814/statm: 16713 14301 70 163 0 16548 0
[pid=20814/tid=20815] ppid=20812 vsize=66852 CPUtime=39.47
/proc/20814/task/20815/stat : 20815 (satake) R 20812 20814 20220 0 -1 4194368 10852 0 0 0 835 3112 0 0 16 0 4 0 1132234964 68456448 14301 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20814/tid=20816] ppid=20812 vsize=66852 CPUtime=69.74
/proc/20814/task/20816/stat : 20816 (satake) R 20812 20814 20220 0 -1 4194368 2992 0 0 0 5342 1632 0 0 16 0 4 0 1132234964 68456448 14301 1992294400 134512640 135180984 4294956208 18446744073709551615 134526781 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20814/tid=20817] ppid=20812 vsize=66852 CPUtime=68.72
/proc/20814/task/20817/stat : 20817 (satake) S 20812 20814 20220 0 -1 4194368 389 0 0 0 5242 1630 0 0 15 0 4 0 1132234964 68456448 14301 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 177.95
Current children cumulated vsize (KiB) 66852

[startup+162.301 s]
/proc/loadavg: 2.45 2.09 1.66 3/68 20818
/proc/meminfo: memFree=1449512/2055920 swapFree=4176720/4192956
[pid=20814] ppid=20812 vsize=102776 CPUtime=283.72
/proc/20814/stat : 20814 (satake) S 20812 20814 20220 0 -1 4194304 21916 0 0 0 18373 9999 0 0 18 0 4 0 1132234964 105242624 21901 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20814/statm: 25694 21901 70 163 0 25529 0
[pid=20814/tid=20815] ppid=20812 vsize=102776 CPUtime=61.99
/proc/20814/task/20815/stat : 20815 (satake) R 20812 20814 20220 0 -1 4194368 16534 0 0 0 1315 4884 0 0 16 0 4 0 1132234964 105242624 21901 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20814/tid=20816] ppid=20812 vsize=102776 CPUtime=111.79

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

Current children cumulated vsize (KiB) 102776

[startup+222.302 s]
/proc/loadavg: 2.45 2.15 1.70 3/68 20818
/proc/meminfo: memFree=1418600/2055920 swapFree=4176720/4192956
[pid=20814] ppid=20812 vsize=139440 CPUtime=389.04
/proc/20814/stat : 20814 (satake) S 20812 20814 20220 0 -1 4194304 29554 0 0 0 25147 13757 0 0 18 0 4 0 1132234964 142786560 29539 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20814/statm: 34860 29539 70 163 0 34695 0
[pid=20814/tid=20815] ppid=20812 vsize=139440 CPUtime=85.28
/proc/20814/task/20815/stat : 20815 (satake) S 20812 20814 20220 0 -1 4194368 22326 0 0 0 1816 6712 0 0 16 0 4 0 1132234964 142786560 29539 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20814/tid=20816] ppid=20812 vsize=139440 CPUtime=153.18
/proc/20814/task/20816/stat : 20816 (satake) R 20812 20814 20220 0 -1 4194368 6345 0 0 0 11822 3496 0 0 16 0 4 0 1132234964 142786560 29539 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20814/tid=20817] ppid=20812 vsize=139440 CPUtime=150.57
/proc/20814/task/20817/stat : 20817 (satake) R 20812 20814 20220 0 -1 4194368 800 0 0 0 11509 3548 0 0 16 0 4 0 1132234964 142786560 29539 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 389.04
Current children cumulated vsize (KiB) 139440

[startup+282.302 s]
/proc/loadavg: 2.14 2.12 1.72 3/68 20818
/proc/meminfo: memFree=1387688/2055920 swapFree=4176720/4192956
[pid=20814] ppid=20812 vsize=177384 CPUtime=494.22
/proc/20814/stat : 20814 (satake) S 20812 20814 20220 0 -1 4194304 37346 0 0 0 31793 17629 0 0 18 0 4 0 1132234964 181641216 37331 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20814/statm: 44346 37331 70 163 0 44181 0
[pid=20814/tid=20815] ppid=20812 vsize=177384 CPUtime=109.17
/proc/20814/task/20815/stat : 20815 (satake) R 20812 20814 20220 0 -1 4194368 28193 0 0 0 2336 8581 0 0 16 0 4 0 1132234964 181641216 37331 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20814/tid=20816] ppid=20812 vsize=177384 CPUtime=194.19
/proc/20814/task/20816/stat : 20816 (satake) S 20812 20814 20220 0 -1 4194368 7908 0 0 0 14939 4480 0 0 16 0 4 0 1132234964 181641216 37331 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20814/tid=20817] ppid=20812 vsize=177384 CPUtime=190.84
/proc/20814/task/20817/stat : 20817 (satake) R 20812 20814 20220 0 -1 4194368 1162 0 0 0 14517 4567 0 0 15 0 4 0 1132234964 181641216 37331 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 494.22
Current children cumulated vsize (KiB) 177384

[startup+342.301 s]
/proc/loadavg: 2.33 2.17 1.76 3/68 20818
/proc/meminfo: memFree=1357416/2055920 swapFree=4176720/4192956
[pid=20814] ppid=20812 vsize=214692 CPUtime=600.64
/proc/20814/stat : 20814 (satake) S 20812 20814 20220 0 -1 4194304 44834 0 0 0 38820 21244 0 0 18 0 4 0 1132234964 219844608 44819 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20814/statm: 53673 44819 70 163 0 53508 0
[pid=20814/tid=20815] ppid=20812 vsize=214692 CPUtime=131.71
/proc/20814/task/20815/stat : 20815 (satake) S 20812 20814 20220 0 -1 4194368 33362 0 0 0 2824 10347 0 0 15 0 4 0 1132234964 219844608 44819 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20814/tid=20816] ppid=20812 vsize=214692 CPUtime=236.18
/proc/20814/task/20816/stat : 20816 (satake) R 20812 20814 20220 0 -1 4194368 9803 0 0 0 18227 5391 0 0 17 0 4 0 1132234964 219844608 44819 1992294400 134512640 135180984 4294956208 18446744073709551615 134520798 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20814/tid=20817] ppid=20812 vsize=214692 CPUtime=232.73
/proc/20814/task/20817/stat : 20817 (satake) R 20812 20814 20220 0 -1 4194368 1586 0 0 0 17768 5505 0 0 17 0 4 0 1132234964 219844608 44819 1992294400 134512640 135180984 4294956208 18446744073709551615 134527257 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 600.64
Current children cumulated vsize (KiB) 214692

[startup+402.301 s]
/proc/loadavg: 2.60 2.27 1.82 3/68 20818
/proc/meminfo: memFree=1328232/2055920 swapFree=4176720/4192956
[pid=20814] ppid=20812 vsize=252244 CPUtime=706.86
/proc/20814/stat : 20814 (satake) S 20812 20814 20220 0 -1 4194304 52169 0 0 0 45797 24889 0 0 18 0 4 0 1132234964 258297856 52154 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20814/statm: 63061 52154 70 163 0 62896 0
[pid=20814/tid=20815] ppid=20812 vsize=252244 CPUtime=154.41
/proc/20814/task/20815/stat : 20815 (satake) S 20812 20814 20220 0 -1 4194368 38816 0 0 0 3317 12124 0 0 16 0 4 0 1132234964 258297856 52154 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20814/tid=20816] ppid=20812 vsize=252244 CPUtime=278.1
/proc/20814/task/20816/stat : 20816 (satake) R 20812 20814 20220 0 -1 4194368 11174 0 0 0 21489 6321 0 0 16 0 4 0 1132234964 258297856 52154 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20814/tid=20817] ppid=20812 vsize=252244 CPUtime=274.33
/proc/20814/task/20817/stat : 20817 (satake) R 20812 20814 20220 0 -1 4194368 2096 0 0 0 20990 6443 0 0 16 0 4 0 1132234964 258297856 52154 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 706.86
Current children cumulated vsize (KiB) 252244

[startup+462.302 s]
/proc/loadavg: 2.21 2.22 1.83 3/68 20818
/proc/meminfo: memFree=1298536/2055920 swapFree=4176720/4192956
[pid=20814] ppid=20812 vsize=282852 CPUtime=813.79
/proc/20814/stat : 20814 (satake) S 20812 20814 20220 0 -1 4194304 59522 0 0 0 52895 28484 0 0 18 0 4 0 1132234964 289640448 59507 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20814/statm: 70713 59507 70 163 0 70548 0
[pid=20814/tid=20815] ppid=20812 vsize=282852 CPUtime=176.7
/proc/20814/task/20815/stat : 20815 (satake) R 20812 20814 20220 0 -1 4194368 43730 0 0 0 3795 13875 0 0 16 0 4 0 1132234964 289640448 59507 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20814/tid=20816] ppid=20812 vsize=282852 CPUtime=320.3
/proc/20814/task/20816/stat : 20816 (satake) S 20812 20814 20220 0 -1 4194368 13073 0 0 0 24795 7235 0 0 16 0 4 0 1132234964 289640448 59507 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20814/tid=20817] ppid=20812 vsize=282852 CPUtime=316.76
/proc/20814/task/20817/stat : 20817 (satake) R 20812 20814 20220 0 -1 4194368 2636 0 0 0 24303 7373 0 0 16 0 4 0 1132234964 289640448 59507 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 813.79
Current children cumulated vsize (KiB) 282852

[startup+522.302 s]
/proc/loadavg: 2.39 2.26 1.86 3/68 20818
/proc/meminfo: memFree=1269160/2055920 swapFree=4176720/4192956
[pid=20814] ppid=20812 vsize=316476 CPUtime=920.95
/proc/20814/stat : 20814 (satake) S 20812 20814 20220 0 -1 4194304 66892 0 0 0 59961 32134 0 0 18 0 4 0 1132234964 324071424 66877 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20814/statm: 79119 66877 70 163 0 78954 0
[pid=20814/tid=20815] ppid=20812 vsize=316476 CPUtime=199.16
/proc/20814/task/20815/stat : 20815 (satake) R 20812 20814 20220 0 -1 4194368 48855 0 0 0 4285 15631 0 0 16 0 4 0 1132234964 324071424 66877 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20814/tid=20816] ppid=20812 vsize=316476 CPUtime=362.66
/proc/20814/task/20816/stat : 20816 (satake) S 20812 20814 20220 0 -1 4194368 14632 0 0 0 28091 8175 0 0 16 0 4 0 1132234964 324071424 66877 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20814/tid=20817] ppid=20812 vsize=316476 CPUtime=359.11
/proc/20814/task/20817/stat : 20817 (satake) R 20812 20814 20220 0 -1 4194368 3322 0 0 0 27584 8327 0 0 15 0 4 0 1132234964 324071424 66877 1992294400 134512640 135180984 4294956208 18446744073709551615 134528631 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 920.95
Current children cumulated vsize (KiB) 316476

[startup+582.302 s]
/proc/loadavg: 2.34 2.27 1.89 3/68 20818
/proc/meminfo: memFree=1239016/2055920 swapFree=4176720/4192956
[pid=20814] ppid=20812 vsize=352896 CPUtime=1028.13
/proc/20814/stat : 20814 (satake) S 20812 20814 20220 0 -1 4194304 74343 0 0 0 66981 35832 0 0 18 0 4 0 1132234964 361365504 74328 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20814/statm: 88224 74328 70 163 0 88059 0
[pid=20814/tid=20815] ppid=20812 vsize=352896 CPUtime=222.11
/proc/20814/task/20815/stat : 20815 (satake) S 20812 20814 20220 0 -1 4194368 54207 0 0 0 4772 17439 0 0 16 0 4 0 1132234964 361365504 74328 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20814/tid=20816] ppid=20812 vsize=352896 CPUtime=404.85
/proc/20814/task/20816/stat : 20816 (satake) R 20812 20814 20220 0 -1 4194368 16302 0 0 0 31376 9109 0 0 16 0 4 0 1132234964 361365504 74328 1992294400 134512640 135180984 4294956208 18446744073709551615 134522967 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20814/tid=20817] ppid=20812 vsize=352896 CPUtime=401.14
/proc/20814/task/20817/stat : 20817 (satake) R 20812 20814 20220 0 -1 4194368 3751 0 0 0 30831 9283 0 0 15 0 4 0 1132234964 361365504 74328 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1028.13
Current children cumulated vsize (KiB) 352896

[startup+642.303 s]
/proc/loadavg: 2.17 2.23 1.90 3/68 20818
/proc/meminfo: memFree=1210984/2055920 swapFree=4176720/4192956
[pid=20814] ppid=20812 vsize=389216 CPUtime=1135.77
/proc/20814/stat : 20814 (satake) S 20812 20814 20220 0 -1 4194304 81295 0 0 0 74296 39281 0 0 18 0 4 0 1132234964 398557184 81280 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20814/statm: 97304 81280 70 163 0 97139 0
[pid=20814/tid=20815] ppid=20812 vsize=389216 CPUtime=243.61
/proc/20814/task/20815/stat : 20815 (satake) R 20812 20814 20220 0 -1 4194368 58838 0 0 0 5239 19122 0 0 16 0 4 0 1132234964 398557184 81280 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20814/tid=20816] ppid=20812 vsize=389216 CPUtime=448.33
/proc/20814/task/20816/stat : 20816 (satake) R 20812 20814 20220 0 -1 4194368 17867 0 0 0 34847 9986 0 0 16 0 4 0 1132234964 398557184 81280 1992294400 134512640 135180984 4294956208 18446744073709551615 134528872 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20814/tid=20817] ppid=20812 vsize=389216 CPUtime=443.8
/proc/20814/task/20817/stat : 20817 (satake) S 20812 20814 20220 0 -1 4194368 4507 0 0 0 34208 10172 0 0 15 0 4 0 1132234964 398557184 81280 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1135.77
Current children cumulated vsize (KiB) 389216



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+677.703 s]
/proc/loadavg: 2.20 2.23 1.91 3/68 20818
/proc/meminfo: memFree=1194728/2055920 swapFree=4176720/4192956
[pid=20814] ppid=20812 vsize=408076 CPUtime=1200
/proc/20814/stat : 20814 (satake) S 20812 20814 20220 0 -1 4194304 85349 0 0 0 78748 41252 0 0 18 0 4 0 1132234964 417869824 85334 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20814/statm: 102019 85334 70 163 0 101854 0
[pid=20814/tid=20815] ppid=20812 vsize=408076 CPUtime=255.99
/proc/20814/task/20815/stat : 20815 (satake) R 20812 20814 20220 0 -1 4194368 61675 0 0 0 5514 20085 0 0 16 0 4 0 1132234964 417869824 85334 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20814/tid=20816] ppid=20812 vsize=408076 CPUtime=474.24
/proc/20814/task/20816/stat : 20816 (satake) R 20812 20814 20220 0 -1 4194368 18762 0 0 0 36936 10488 0 0 15 0 4 0 1132234964 417869824 85334 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20814/tid=20817] ppid=20812 vsize=408076 CPUtime=469.75
/proc/20814/task/20817/stat : 20817 (satake) R 20812 20814 20220 0 -1 4194368 4829 0 0 0 36297 10678 0 0 17 0 4 0 1132234964 417869824 85334 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 408076

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

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

[startup+677.703 s]
/proc/loadavg: 2.20 2.23 1.91 3/68 20818
/proc/meminfo: memFree=1194728/2055920 swapFree=4176720/4192956
[pid=20814] ppid=20812 vsize=408076 CPUtime=1200
/proc/20814/stat : 20814 (satake) S 20812 20814 20220 0 -1 4194304 85349 0 0 0 78748 41252 0 0 18 0 4 0 1132234964 417869824 85334 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20814/statm: 102019 85334 70 163 0 101854 0
[pid=20814/tid=20815] ppid=20812 vsize=408076 CPUtime=255.99
/proc/20814/task/20815/stat : 20815 (satake) R 20812 20814 20220 0 -1 4194368 61675 0 0 0 5514 20085 0 0 16 0 4 0 1132234964 417869824 85334 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20814/tid=20816] ppid=20812 vsize=408076 CPUtime=474.24
/proc/20814/task/20816/stat : 20816 (satake) R 20812 20814 20220 0 -1 4194368 18762 0 0 0 36936 10488 0 0 15 0 4 0 1132234964 417869824 85334 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20814/tid=20817] ppid=20812 vsize=408076 CPUtime=469.75
/proc/20814/task/20817/stat : 20817 (satake) R 20812 20814 20220 0 -1 4194368 4829 0 0 0 36297 10678 0 0 17 0 4 0 1132234964 417869824 85334 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 408076

Child ended because it received signal 15 (SIGTERM)
Real time (s): 677.774
CPU time (s): 1200.08
CPU user time (s): 787.493
CPU system time (s): 412.59
CPU usage (%): 177.062
Max. virtual memory (cumulated for all children) (KiB): 408076

deleting IPC queue 1343488
deleting IPC queue 1376257
deleting IPC queue 1409026
deleting IPC queue 1441795
deleting IPC queue 1474564
deleting IPC queue 1507333
deleting IPC queue 1540102
deleting IPC queue 1572871
deleting IPC queue 1605640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 787.493
system time used= 412.59
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85350
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= 17688858
involuntary context switches= 16576218

runsolver used 0.740887 second user time and 2.11868 second system time

The end

Launcher Data 

Begin job on node34 at 2009-04-01 16:21:40
IDJOB=1543891
IDBENCH=70732
IDSOLVER=553
FILE ID=node34/1543891-1238595700
PBS_JOBID= 9068309
Free space on /tmp= 66380 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/SATISFIABLE/460/unif-k3-r4.25-v460-c1955-S2035161427-020.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543891-1238595700/watcher-1543891-1238595700 -o /tmp/evaluation-result-1543891-1238595700/solver-1543891-1238595700 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543891-1238595700.cnf 3 1200

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

MD5SUM BENCH= 074d3c53fc7fcb6f758396e5d450cb42
RANDOM SEED=831116204

node34.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.259
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.259
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:       1537440 kB
Buffers:         90708 kB
Cached:         328636 kB
SwapCached:      10076 kB
Active:         203016 kB
Inactive:       227776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1537440 kB
SwapTotal:     4192956 kB
SwapFree:      4176720 kB
Dirty:             780 kB
Writeback:           0 kB
Mapped:          17184 kB
Slab:            73704 kB
Committed_AS:  2817304 kB
PageTables:       1388 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= 66380 MiB
End job on node34 at 2009-04-01 16:32:59