Trace number 1730955

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.12 658.563

General information on the benchmark

Namecrafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf
MD5SUM0a790b16b30661bee32dad474c146a58
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.013997
Satisfiable
(Un)Satisfiability was proved
Number of variables280
Number of clauses1120
Sum of the clauses size3360
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31120
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:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1730955-1240765350/watcher-1730955-1240765350 -o /tmp/evaluation-result-1730955-1240765350/solver-1730955-1240765350 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1730955-1240765350.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 21340
/proc/meminfo: memFree=1301096/2055920 swapFree=4192812/4192956
[pid=21340] ppid=21338 vsize=1148 CPUtime=0
/proc/21340/stat : 21340 (satake) S 21338 21340 20839 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 4 0 104567624 1175552 113 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21340/statm: 287 113 68 163 0 122 0
[pid=21340/tid=21341] ppid=21338 vsize=1148 CPUtime=0
/proc/21340/task/21341/stat : 21341 (satake) R 21338 21340 20839 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 104567624 1175552 113 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21340/tid=21342] ppid=21338 vsize=1148 CPUtime=0
/proc/21340/task/21342/stat : 21342 (satake) R 21338 21340 20839 0 -1 4194368 38 0 0 0 0 0 0 0 19 0 4 0 104567624 1175552 113 1992294400 134512640 135180984 4294956208 18446744073709551615 134520911 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21340/tid=21343] ppid=21338 vsize=1148 CPUtime=0
/proc/21340/task/21343/stat : 21343 (satake) R 21338 21340 20839 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 104567624 1175552 113 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.027759 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 21340
/proc/meminfo: memFree=1301096/2055920 swapFree=4192812/4192956
[pid=21340] ppid=21338 vsize=2304 CPUtime=0.05
/proc/21340/stat : 21340 (satake) S 21338 21340 20839 0 -1 4194304 188 0 0 0 3 2 0 0 18 0 4 0 104567624 2359296 173 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21340/statm: 576 173 70 163 0 411 0
[pid=21340/tid=21341] ppid=21338 vsize=2304 CPUtime=0.01
/proc/21340/task/21341/stat : 21341 (satake) R 21338 21340 20839 0 -1 4194368 18 0 0 0 0 1 0 0 17 0 4 0 104567624 2359296 173 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21340/tid=21342] ppid=21338 vsize=2304 CPUtime=0.01
/proc/21340/task/21342/stat : 21342 (satake) S 21338 21340 20839 0 -1 4194368 46 0 0 0 1 0 0 0 17 0 4 0 104567624 2359296 173 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21340/tid=21343] ppid=21338 vsize=2304 CPUtime=0.01
/proc/21340/task/21343/stat : 21343 (satake) R 21338 21340 20839 0 -1 4194368 41 0 0 0 1 0 0 0 17 0 4 0 104567624 2359296 173 1992294400 134512640 135180984 4294956208 18446744073709551615 134527255 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2304

[startup+0.117917 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 21340
/proc/meminfo: memFree=1301096/2055920 swapFree=4192812/4192956
[pid=21340] ppid=21338 vsize=2436 CPUtime=0.19
/proc/21340/stat : 21340 (satake) S 21338 21340 20839 0 -1 4194304 222 0 0 0 13 6 0 0 18 0 4 0 104567624 2494464 207 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21340/statm: 609 207 70 163 0 444 0
[pid=21340/tid=21341] ppid=21338 vsize=2436 CPUtime=0.03
/proc/21340/task/21341/stat : 21341 (satake) R 21338 21340 20839 0 -1 4194368 26 0 0 0 0 3 0 0 16 0 4 0 104567624 2494464 207 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21340/tid=21342] ppid=21338 vsize=2436 CPUtime=0.07
/proc/21340/task/21342/stat : 21342 (satake) R 21338 21340 20839 0 -1 4194368 59 0 0 0 7 0 0 0 16 0 4 0 104567624 2494464 207 1992294400 134512640 135180984 4294956208 18446744073709551615 134528095 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21340/tid=21343] ppid=21338 vsize=2436 CPUtime=0.06
/proc/21340/task/21343/stat : 21343 (satake) R 21338 21340 20839 0 -1 4194368 54 0 0 0 5 1 0 0 17 0 4 0 104567624 2494464 207 1992294400 134512640 135180984 4294956208 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) 2436

[startup+0.301752 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 21340
/proc/meminfo: memFree=1301096/2055920 swapFree=4192812/4192956
[pid=21340] ppid=21338 vsize=2436 CPUtime=0.5
/proc/21340/stat : 21340 (satake) S 21338 21340 20839 0 -1 4194304 244 0 0 0 37 13 0 0 18 0 4 0 104567624 2494464 229 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21340/statm: 609 229 70 163 0 444 0
[pid=21340/tid=21341] ppid=21338 vsize=2436 CPUtime=0.08
/proc/21340/task/21341/stat : 21341 (satake) R 21338 21340 20839 0 -1 4194368 38 0 0 0 1 7 0 0 17 0 4 0 104567624 2494464 229 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21340/tid=21342] ppid=21338 vsize=2436 CPUtime=0.2
/proc/21340/task/21342/stat : 21342 (satake) S 21338 21340 20839 0 -1 4194368 64 0 0 0 18 2 0 0 15 0 4 0 104567624 2494464 229 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21340/tid=21343] ppid=21338 vsize=2436 CPUtime=0.19
/proc/21340/task/21343/stat : 21343 (satake) R 21338 21340 20839 0 -1 4194368 59 0 0 0 17 2 0 0 17 0 4 0 104567624 2494464 229 1992294400 134512640 135180984 4294956208 18446744073709551615 134518217 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2436

[startup+0.701799 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 21340
/proc/meminfo: memFree=1301096/2055920 swapFree=4192812/4192956
[pid=21340] ppid=21338 vsize=2568 CPUtime=1.21
/proc/21340/stat : 21340 (satake) S 21338 21340 20839 0 -1 4194304 311 0 0 0 95 26 0 0 18 0 4 0 104567624 2629632 296 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21340/statm: 642 296 70 163 0 477 0
[pid=21340/tid=21341] ppid=21338 vsize=2568 CPUtime=0.17
/proc/21340/task/21341/stat : 21341 (satake) R 21338 21340 20839 0 -1 4194368 68 0 0 0 3 14 0 0 16 0 4 0 104567624 2629632 296 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21340/tid=21342] ppid=21338 vsize=2568 CPUtime=0.52
/proc/21340/task/21342/stat : 21342 (satake) R 21338 21340 20839 0 -1 4194368 83 0 0 0 46 6 0 0 16 0 4 0 104567624 2629632 296 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21340/tid=21343] ppid=21338 vsize=2568 CPUtime=0.5
/proc/21340/task/21343/stat : 21343 (satake) R 21338 21340 20839 0 -1 4194368 77 0 0 0 44 6 0 0 17 0 4 0 104567624 2629632 296 1992294400 134512640 135180984 4294956208 18446744073709551615 134528576 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 2568

[startup+1.50189 s]
/proc/loadavg: 0.99 0.98 0.99 4/68 21344
/proc/meminfo: memFree=1299976/2055920 swapFree=4192812/4192956
[pid=21340] ppid=21338 vsize=2568 CPUtime=2.62
/proc/21340/stat : 21340 (satake) S 21338 21340 20839 0 -1 4194304 411 0 0 0 199 63 0 0 18 0 4 0 104567624 2629632 396 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21340/statm: 642 396 70 163 0 477 0
[pid=21340/tid=21341] ppid=21338 vsize=2568 CPUtime=0.38
/proc/21340/task/21341/stat : 21341 (satake) S 21338 21340 20839 0 -1 4194368 125 0 0 0 7 31 0 0 16 0 4 0 104567624 2629632 396 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21340/tid=21342] ppid=21338 vsize=2568 CPUtime=1.16
/proc/21340/task/21342/stat : 21342 (satake) R 21338 21340 20839 0 -1 4194368 104 0 0 0 99 17 0 0 17 0 4 0 104567624 2629632 396 1992294400 134512640 135180984 4294956208 18446744073709551615 134528655 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21340/tid=21343] ppid=21338 vsize=2568 CPUtime=1.07
/proc/21340/task/21343/stat : 21343 (satake) R 21338 21340 20839 0 -1 4194368 99 0 0 0 92 15 0 0 16 0 4 0 104567624 2629632 396 1992294400 134512640 135180984 4294956208 18446744073709551615 134532624 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 2568

[startup+3.10128 s]
/proc/loadavg: 1.07 1.00 0.99 4/68 21344
/proc/meminfo: memFree=1299336/2055920 swapFree=4192812/4192956
[pid=21340] ppid=21338 vsize=3724 CPUtime=5.55
/proc/21340/stat : 21340 (satake) S 21338 21340 20839 0 -1 4194304 571 0 0 0 442 113 0 0 18 0 4 0 104567624 3813376 556 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21340/statm: 931 556 70 163 0 766 0
[pid=21340/tid=21341] ppid=21338 vsize=3724 CPUtime=0.67
/proc/21340/task/21341/stat : 21341 (satake) R 21338 21340 20839 0 -1 4194368 205 0 0 0 14 53 0 0 16 0 4 0 104567624 3813376 556 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21340/tid=21342] ppid=21338 vsize=3724 CPUtime=2.44
/proc/21340/task/21342/stat : 21342 (satake) R 21338 21340 20839 0 -1 4194368 147 0 0 0 214 30 0 0 16 0 4 0 104567624 3813376 556 1992294400 134512640 135180984 4294956208 18446744073709551615 134527232 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21340/tid=21343] ppid=21338 vsize=3724 CPUtime=2.42
/proc/21340/task/21343/stat : 21343 (satake) S 21338 21340 20839 0 -1 4194368 136 0 0 0 212 30 0 0 16 0 4 0 104567624 3813376 556 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.55
Current children cumulated vsize (KiB) 3724

[startup+6.30295 s]
/proc/loadavg: 1.07 1.00 0.99 3/68 21344
/proc/meminfo: memFree=1297992/2055920 swapFree=4192812/4192956
[pid=21340] ppid=21338 vsize=5016 CPUtime=11.33
/proc/21340/stat : 21340 (satake) S 21338 21340 20839 0 -1 4194304 885 0 0 0 890 243 0 0 18 0 4 0 104567624 5136384 870 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21340/statm: 1254 870 70 163 0 1089 0
[pid=21340/tid=21341] ppid=21338 vsize=5016 CPUtime=1.42
/proc/21340/task/21341/stat : 21341 (satake) R 21338 21340 20839 0 -1 4194368 431 0 0 0 29 113 0 0 16 0 4 0 104567624 5136384 870 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21340/tid=21342] ppid=21338 vsize=5016 CPUtime=4.96
/proc/21340/task/21342/stat : 21342 (satake) S 21338 21340 20839 0 -1 4194368 187 0 0 0 431 65 0 0 15 0 4 0 104567624 5136384 870 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21340/tid=21343] ppid=21338 vsize=5016 CPUtime=4.93
/proc/21340/task/21343/stat : 21343 (satake) R 21338 21340 20839 0 -1 4194368 184 0 0 0 429 64 0 0 16 0 4 0 104567624 5136384 870 1992294400 134512640 135180984 4294956208 18446744073709551615 134526076 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.33
Current children cumulated vsize (KiB) 5016

[startup+12.7022 s]
/proc/loadavg: 1.29 1.05 1.01 4/68 21344
/proc/meminfo: memFree=1294856/2055920 swapFree=4192812/4192956
[pid=21340] ppid=21338 vsize=8252 CPUtime=22.84
/proc/21340/stat : 21340 (satake) S 21338 21340 20839 0 -1 4194304 1613 0 0 0 1720 564 0 0 18 0 4 0 104567624 8450048 1598 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21340/statm: 2063 1598 70 163 0 1898 0
[pid=21340/tid=21341] ppid=21338 vsize=8252 CPUtime=3.37
/proc/21340/task/21341/stat : 21341 (satake) S 21338 21340 20839 0 -1 4194368 1039 0 0 0 69 268 0 0 16 0 4 0 104567624 8450048 1598 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21340/tid=21342] ppid=21338 vsize=8252 CPUtime=9.72
/proc/21340/task/21342/stat : 21342 (satake) R 21338 21340 20839 0 -1 4194368 254 0 0 0 823 149 0 0 16 0 4 0 104567624 8450048 1598 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21340/tid=21343] ppid=21338 vsize=8252 CPUtime=9.73
/proc/21340/task/21343/stat : 21343 (satake) R 21338 21340 20839 0 -1 4194368 237 0 0 0 827 146 0 0 16 0 4 0 104567624 8450048 1598 1992294400 134512640 135180984 4294956208 18446744073709551615 134520909 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 22.84
Current children cumulated vsize (KiB) 8252

[startup+25.503 s]
/proc/loadavg: 1.40 1.08 1.02 3/68 21344
/proc/meminfo: memFree=1289160/2055920 swapFree=4192812/4192956
[pid=21340] ppid=21338 vsize=14448 CPUtime=46.1
/proc/21340/stat : 21340 (satake) S 21338 21340 20839 0 -1 4194304 3039 0 0 0 3393 1217 0 0 18 0 4 0 104567624 14794752 3024 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21340/statm: 3612 3024 70 163 0 3447 0
[pid=21340/tid=21341] ppid=21338 vsize=14448 CPUtime=7.39
/proc/21340/task/21341/stat : 21341 (satake) S 21338 21340 20839 0 -1 4194368 2183 0 0 0 152 587 0 0 15 0 4 0 104567624 14794752 3024 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21340/tid=21342] ppid=21338 vsize=14448 CPUtime=19.32
/proc/21340/task/21342/stat : 21342 (satake) R 21338 21340 20839 0 -1 4194368 391 0 0 0 1616 316 0 0 16 0 4 0 104567624 14794752 3024 1992294400 134512640 135180984 4294956208 18446744073709551615 134528677 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21340/tid=21343] ppid=21338 vsize=14448 CPUtime=19.37
/proc/21340/task/21343/stat : 21343 (satake) R 21338 21340 20839 0 -1 4194368 382 0 0 0 1624 313 0 0 17 0 4 0 104567624 14794752 3024 1992294400 134512640 135180984 4294956208 18446744073709551615 134528221 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 46.1
Current children cumulated vsize (KiB) 14448

[startup+51.102 s]
/proc/loadavg: 1.61 1.15 1.04 3/68 21344
/proc/meminfo: memFree=1276616/2055920 swapFree=4192812/4192956
[pid=21340] ppid=21338 vsize=29812 CPUtime=92.01
/proc/21340/stat : 21340 (satake) S 21338 21340 20839 0 -1 4194304 6183 0 0 0 6380 2821 0 0 18 0 4 0 104567624 30527488 6168 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21340/statm: 7453 6168 70 163 0 7288 0
[pid=21340/tid=21341] ppid=21338 vsize=29812 CPUtime=17.09
/proc/21340/task/21341/stat : 21341 (satake) R 21338 21340 20839 0 -1 4194368 4814 0 0 0 344 1365 0 0 16 0 4 0 104567624 30527488 6168 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21340/tid=21342] ppid=21338 vsize=29812 CPUtime=37.62
/proc/21340/task/21342/stat : 21342 (satake) S 21338 21340 20839 0 -1 4194368 643 0 0 0 3033 729 0 0 15 0 4 0 104567624 30527488 6168 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21340/tid=21343] ppid=21338 vsize=29812 CPUtime=37.28
/proc/21340/task/21343/stat : 21343 (satake) R 21338 21340 20839 0 -1 4194368 643 0 0 0 3002 726 0 0 16 0 4 0 104567624 30527488 6168 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 92.01
Current children cumulated vsize (KiB) 29812

[startup+102.306 s]
/proc/loadavg: 1.97 1.34 1.11 4/68 21344
/proc/meminfo: memFree=1255560/2055920 swapFree=4192812/4192956
[pid=21340] ppid=21338 vsize=54672 CPUtime=184.54
/proc/21340/stat : 21340 (satake) S 21338 21340 20839 0 -1 4194304 11360 0 0 0 13153 5301 0 0 18 0 4 0 104567624 55984128 11345 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21340/statm: 13668 11345 70 163 0 13503 0
[pid=21340/tid=21341] ppid=21338 vsize=54672 CPUtime=32.2
/proc/21340/task/21341/stat : 21341 (satake) S 21338 21340 20839 0 -1 4194368 8659 0 0 0 669 2551 0 0 15 0 4 0 104567624 55984128 11345 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21340/tid=21342] ppid=21338 vsize=54672 CPUtime=77.14
/proc/21340/task/21342/stat : 21342 (satake) R 21338 21340 20839 0 -1 4194368 1225 0 0 0 6322 1392 0 0 15 0 4 0 104567624 55984128 11345 1992294400 134512640 135180984 4294956208 18446744073709551615 134520907 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21340/tid=21343] ppid=21338 vsize=54672 CPUtime=75.18
/proc/21340/task/21343/stat : 21343 (satake) R 21338 21340 20839 0 -1 4194368 1393 0 0 0 6162 1356 0 0 17 0 4 0 104567624 55984128 11345 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 184.54
Current children cumulated vsize (KiB) 54672

[startup+162.302 s]
/proc/loadavg: 2.33 1.55 1.20 3/68 21344
/proc/meminfo: memFree=1230216/2055920 swapFree=4192812/4192956
[pid=21340] ppid=21338 vsize=83728 CPUtime=292
/proc/21340/stat : 21340 (satake) S 21338 21340 20839 0 -1 4194304 17723 0 0 0 20765 8435 0 0 18 0 4 0 104567624 85737472 17708 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21340/statm: 20932 17708 70 163 0 20767 0
[pid=21340/tid=21341] ppid=21338 vsize=83728 CPUtime=51.29
/proc/21340/task/21341/stat : 21341 (satake) R 21338 21340 20839 0 -1 4194368 13486 0 0 0 1068 4061 0 0 16 0 4 0 104567624 85737472 17708 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21340/tid=21342] ppid=21338 vsize=83728 CPUtime=122.41

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

Current children cumulated vsize (KiB) 83728

[startup+222.301 s]
/proc/loadavg: 2.42 1.72 1.28 3/68 21344
/proc/meminfo: memFree=1206280/2055920 swapFree=4192812/4192956
[pid=21340] ppid=21338 vsize=114936 CPUtime=401.89
/proc/21340/stat : 21340 (satake) S 21338 21340 20839 0 -1 4194304 23628 0 0 0 28775 11414 0 0 18 0 4 0 104567624 117694464 23613 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21340/statm: 28734 23613 70 163 0 28569 0
[pid=21340/tid=21341] ppid=21338 vsize=114936 CPUtime=69.6
/proc/21340/task/21341/stat : 21341 (satake) S 21338 21340 20839 0 -1 4194368 17609 0 0 0 1453 5507 0 0 16 0 4 0 104567624 117694464 23613 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21340/tid=21342] ppid=21338 vsize=114936 CPUtime=168.92
/proc/21340/task/21342/stat : 21342 (satake) R 21338 21340 20839 0 -1 4194368 2825 0 0 0 13907 2985 0 0 16 0 4 0 104567624 117694464 23613 1992294400 134512640 135180984 4294956208 18446744073709551615 134518227 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21340/tid=21343] ppid=21338 vsize=114936 CPUtime=163.35
/proc/21340/task/21343/stat : 21343 (satake) R 21338 21340 20839 0 -1 4194368 3111 0 0 0 13414 2921 0 0 16 0 4 0 104567624 117694464 23613 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 401.89
Current children cumulated vsize (KiB) 114936

[startup+282.303 s]
/proc/loadavg: 2.38 1.83 1.34 4/68 21344
/proc/meminfo: memFree=1178824/2055920 swapFree=4192812/4192956
[pid=21340] ppid=21338 vsize=148308 CPUtime=510.85
/proc/21340/stat : 21340 (satake) S 21338 21340 20839 0 -1 4194304 30564 0 0 0 36169 14916 0 0 18 0 4 0 104567624 151867392 30549 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21340/statm: 37077 30549 70 163 0 36912 0
[pid=21340/tid=21341] ppid=21338 vsize=148308 CPUtime=91.34
/proc/21340/task/21341/stat : 21341 (satake) R 21338 21340 20839 0 -1 4194368 22483 0 0 0 1918 7216 0 0 16 0 4 0 104567624 151867392 30549 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21340/tid=21342] ppid=21338 vsize=148308 CPUtime=213.81
/proc/21340/task/21342/stat : 21342 (satake) R 21338 21340 20839 0 -1 4194368 3782 0 0 0 17492 3889 0 0 16 0 4 0 104567624 151867392 30549 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21340/tid=21343] ppid=21338 vsize=148308 CPUtime=205.67
/proc/21340/task/21343/stat : 21343 (satake) R 21338 21340 20839 0 -1 4194368 4216 0 0 0 16758 3809 0 0 15 0 4 0 104567624 151867392 30549 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 510.85
Current children cumulated vsize (KiB) 148308

[startup+342.303 s]
/proc/loadavg: 2.50 1.96 1.41 3/68 21344
/proc/meminfo: memFree=1152008/2055920 swapFree=4192812/4192956
[pid=21340] ppid=21338 vsize=178636 CPUtime=620.16
/proc/21340/stat : 21340 (satake) S 21338 21340 20839 0 -1 4194304 37180 0 0 0 43640 18376 0 0 18 0 4 0 104567624 182923264 37165 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21340/statm: 44659 37165 70 163 0 44494 0
[pid=21340/tid=21341] ppid=21338 vsize=178636 CPUtime=112.59
/proc/21340/task/21341/stat : 21341 (satake) R 21338 21340 20839 0 -1 4194368 26976 0 0 0 2366 8893 0 0 16 0 4 0 104567624 182923264 37165 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21340/tid=21342] ppid=21338 vsize=178636 CPUtime=258.38
/proc/21340/task/21342/stat : 21342 (satake) R 21338 21340 20839 0 -1 4194368 4825 0 0 0 21059 4779 0 0 15 0 4 0 104567624 182923264 37165 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21340/tid=21343] ppid=21338 vsize=178636 CPUtime=249.17
/proc/21340/task/21343/stat : 21343 (satake) S 21338 21340 20839 0 -1 4194368 5296 0 0 0 20214 4703 0 0 16 0 4 0 104567624 182923264 37165 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 620.16
Current children cumulated vsize (KiB) 178636

[startup+402.302 s]
/proc/loadavg: 2.38 2.01 1.46 4/68 21344
/proc/meminfo: memFree=1124744/2055920 swapFree=4192812/4192956
[pid=21340] ppid=21338 vsize=213180 CPUtime=728.63
/proc/21340/stat : 21340 (satake) S 21338 21340 20839 0 -1 4194304 44045 0 0 0 51022 21841 0 0 18 0 4 0 104567624 218296320 44030 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21340/statm: 53295 44030 70 163 0 53130 0
[pid=21340/tid=21341] ppid=21338 vsize=213180 CPUtime=133.84
/proc/21340/task/21341/stat : 21341 (satake) S 21338 21340 20839 0 -1 4194368 32029 0 0 0 2816 10568 0 0 16 0 4 0 104567624 218296320 44030 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21340/tid=21342] ppid=21338 vsize=213180 CPUtime=302.27
/proc/21340/task/21342/stat : 21342 (satake) R 21338 21340 20839 0 -1 4194368 5721 0 0 0 24551 5676 0 0 16 0 4 0 104567624 218296320 44030 1992294400 134512640 135180984 4294956208 18446744073709551615 134528763 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21340/tid=21343] ppid=21338 vsize=213180 CPUtime=292.49
/proc/21340/task/21343/stat : 21343 (satake) R 21338 21340 20839 0 -1 4194368 6212 0 0 0 23654 5595 0 0 15 0 4 0 104567624 218296320 44030 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 728.63
Current children cumulated vsize (KiB) 213180

[startup+462.301 s]
/proc/loadavg: 2.51 2.12 1.53 4/68 21344
/proc/meminfo: memFree=1099080/2055920 swapFree=4192812/4192956
[pid=21340] ppid=21338 vsize=248756 CPUtime=838.7
/proc/21340/stat : 21340 (satake) S 21338 21340 20839 0 -1 4194304 50383 0 0 0 58805 25065 0 0 18 0 4 0 104567624 254726144 50368 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21340/statm: 62189 50368 70 163 0 62024 0
[pid=21340/tid=21341] ppid=21338 vsize=248756 CPUtime=153.59
/proc/21340/task/21341/stat : 21341 (satake) R 21338 21340 20839 0 -1 4194368 36925 0 0 0 3229 12130 0 0 16 0 4 0 104567624 254726144 50368 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21340/tid=21342] ppid=21338 vsize=248756 CPUtime=348.12
/proc/21340/task/21342/stat : 21342 (satake) S 21338 21340 20839 0 -1 4194368 6507 0 0 0 28301 6511 0 0 16 0 4 0 104567624 254726144 50368 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21340/tid=21343] ppid=21338 vsize=248756 CPUtime=336.98
/proc/21340/task/21343/stat : 21343 (satake) S 21338 21340 20839 0 -1 4194368 6868 0 0 0 27275 6423 0 0 16 0 4 0 104567624 254726144 50368 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 838.7
Current children cumulated vsize (KiB) 248756

[startup+522.302 s]
/proc/loadavg: 2.47 2.17 1.58 2/68 21344
/proc/meminfo: memFree=1073288/2055920 swapFree=4192812/4192956
[pid=21340] ppid=21338 vsize=277344 CPUtime=948.09
/proc/21340/stat : 21340 (satake) S 21338 21340 20839 0 -1 4194304 56861 0 0 0 66431 28378 0 0 18 0 4 0 104567624 284000256 56846 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21340/statm: 69336 56846 70 163 0 69171 0
[pid=21340/tid=21341] ppid=21338 vsize=277344 CPUtime=173.95
/proc/21340/task/21341/stat : 21341 (satake) R 21338 21340 20839 0 -1 4194368 42441 0 0 0 3653 13742 0 0 16 0 4 0 104567624 284000256 56846 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21340/tid=21342] ppid=21338 vsize=277344 CPUtime=392.82
/proc/21340/task/21342/stat : 21342 (satake) R 21338 21340 20839 0 -1 4194368 6896 0 0 0 31922 7360 0 0 16 0 4 0 104567624 284000256 56846 1992294400 134512640 135180984 4294956208 18446744073709551615 134518228 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21340/tid=21343] ppid=21338 vsize=277344 CPUtime=381.31
/proc/21340/task/21343/stat : 21343 (satake) R 21338 21340 20839 0 -1 4194368 7441 0 0 0 30856 7275 0 0 16 0 4 0 104567624 284000256 56846 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 948.09
Current children cumulated vsize (KiB) 277344

[startup+582.303 s]
/proc/loadavg: 2.36 2.19 1.63 4/68 21344
/proc/meminfo: memFree=1048520/2055920 swapFree=4192812/4192956
[pid=21340] ppid=21338 vsize=304552 CPUtime=1058.67
/proc/21340/stat : 21340 (satake) S 21338 21340 20839 0 -1 4194304 62973 0 0 0 74422 31445 0 0 18 0 4 0 104567624 311861248 62958 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21340/statm: 76138 62958 70 163 0 75973 0
[pid=21340/tid=21341] ppid=21338 vsize=304552 CPUtime=192.94
/proc/21340/task/21341/stat : 21341 (satake) S 21338 21340 20839 0 -1 4194368 47519 0 0 0 4060 15234 0 0 16 0 4 0 104567624 311861248 62958 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21340/tid=21342] ppid=21338 vsize=304552 CPUtime=438.86
/proc/21340/task/21342/stat : 21342 (satake) R 21338 21340 20839 0 -1 4194368 7364 0 0 0 35749 8137 0 0 16 0 4 0 104567624 311861248 62958 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21340/tid=21343] ppid=21338 vsize=304552 CPUtime=426.85
/proc/21340/task/21343/stat : 21343 (satake) R 21338 21340 20839 0 -1 4194368 8007 0 0 0 34612 8073 0 0 15 0 4 0 104567624 311861248 62958 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1058.67
Current children cumulated vsize (KiB) 304552

[startup+642.305 s]
/proc/loadavg: 2.45 2.25 1.68 3/68 21344
/proc/meminfo: memFree=1023816/2055920 swapFree=4192812/4192956
[pid=21340] ppid=21338 vsize=334140 CPUtime=1169.67
/proc/21340/stat : 21340 (satake) S 21338 21340 20839 0 -1 4194304 69103 0 0 0 82424 34543 0 0 18 0 4 0 104567624 342159360 69088 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21340/statm: 83535 69088 70 163 0 83370 0
[pid=21340/tid=21341] ppid=21338 vsize=334140 CPUtime=211.87
/proc/21340/task/21341/stat : 21341 (satake) S 21338 21340 20839 0 -1 4194368 52209 0 0 0 4460 16727 0 0 16 0 4 0 104567624 342159360 69088 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21340/tid=21342] ppid=21338 vsize=334140 CPUtime=485.23
/proc/21340/task/21342/stat : 21342 (satake) R 21338 21340 20839 0 -1 4194368 7986 0 0 0 39588 8935 0 0 15 0 4 0 104567624 342159360 69088 1992294400 134512640 135180984 4294956208 18446744073709551615 134518219 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21340/tid=21343] ppid=21338 vsize=334140 CPUtime=472.56
/proc/21340/task/21343/stat : 21343 (satake) R 21338 21340 20839 0 -1 4194368 8825 0 0 0 38375 8881 0 0 16 0 4 0 104567624 342159360 69088 1992294400 134512640 135180984 4294956208 18446744073709551615 134530765 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1169.67
Current children cumulated vsize (KiB) 334140



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+658.503 s]
/proc/loadavg: 2.35 2.23 1.68 2/68 21344
/proc/meminfo: memFree=1018120/2055920 swapFree=4192812/4192956
[pid=21340] ppid=21338 vsize=343476 CPUtime=1200.04
/proc/21340/stat : 21340 (satake) S 21338 21340 20839 0 -1 4194304 70507 0 0 0 84718 35286 0 0 18 0 4 0 104567624 351719424 70492 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21340/statm: 85869 70492 70 163 0 85704 0
[pid=21340/tid=21341] ppid=21338 vsize=343476 CPUtime=216.37
/proc/21340/task/21341/stat : 21341 (satake) R 21338 21340 20839 0 -1 4194368 53170 0 0 0 4554 17083 0 0 16 0 4 0 104567624 351719424 70492 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21340/tid=21342] ppid=21338 vsize=343476 CPUtime=498.09
/proc/21340/task/21342/stat : 21342 (satake) S 21338 21340 20839 0 -1 4194368 8204 0 0 0 40678 9131 0 0 17 0 4 0 104567624 351719424 70492 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21340/tid=21343] ppid=21338 vsize=343476 CPUtime=485.57
/proc/21340/task/21343/stat : 21343 (satake) S 21338 21340 20839 0 -1 4194368 9050 0 0 0 39485 9072 0 0 16 0 4 0 104567624 351719424 70492 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 343476

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

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

[startup+658.503 s]
/proc/loadavg: 2.35 2.23 1.68 2/68 21344
/proc/meminfo: memFree=1018120/2055920 swapFree=4192812/4192956
[pid=21340] ppid=21338 vsize=343476 CPUtime=1200.04
/proc/21340/stat : 21340 (satake) S 21338 21340 20839 0 -1 4194304 70507 0 0 0 84718 35286 0 0 18 0 4 0 104567624 351719424 70492 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21340/statm: 85869 70492 70 163 0 85704 0
[pid=21340/tid=21341] ppid=21338 vsize=343476 CPUtime=216.37
/proc/21340/task/21341/stat : 21341 (satake) R 21338 21340 20839 0 -1 4194368 53170 0 0 0 4554 17083 0 0 16 0 4 0 104567624 351719424 70492 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21340/tid=21342] ppid=21338 vsize=343476 CPUtime=498.09
/proc/21340/task/21342/stat : 21342 (satake) S 21338 21340 20839 0 -1 4194368 8204 0 0 0 40678 9131 0 0 17 0 4 0 104567624 351719424 70492 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21340/tid=21343] ppid=21338 vsize=343476 CPUtime=485.57
/proc/21340/task/21343/stat : 21343 (satake) S 21338 21340 20839 0 -1 4194368 9050 0 0 0 39485 9072 0 0 16 0 4 0 104567624 351719424 70492 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 343476

Child ended because it received signal 15 (SIGTERM)
Real time (s): 658.563
CPU time (s): 1200.12
CPU user time (s): 847.196
CPU system time (s): 352.921
CPU usage (%): 182.233
Max. virtual memory (cumulated for all children) (KiB): 343476

deleting IPC queue 589824
deleting IPC queue 622593
deleting IPC queue 655362
deleting IPC queue 688131
deleting IPC queue 720900
deleting IPC queue 753669
deleting IPC queue 786438
deleting IPC queue 819207
deleting IPC queue 851976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 847.196
system time used= 352.921
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70507
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= 14281894
involuntary context switches= 12979649

runsolver used 0.709892 second user time and 1.9697 second system time

The end

Launcher Data 

Begin job on node33 at 2009-04-26 19:02:30
IDJOB=1730955
IDBENCH=24739
IDSOLVER=553
FILE ID=node33/1730955-1240765350
PBS_JOBID= 9187116
Free space on /tmp= 66424 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT07/crafted/Difficult/contest05/jarvisalo/mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1730955-1240765350/watcher-1730955-1240765350 -o /tmp/evaluation-result-1730955-1240765350/solver-1730955-1240765350 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1730955-1240765350.cnf 3 1200

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

MD5SUM BENCH= 0a790b16b30661bee32dad474c146a58
RANDOM SEED=110858257

node33.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.212
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.212
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:       1301512 kB
Buffers:         70324 kB
Cached:         593696 kB
SwapCached:          0 kB
Active:         272320 kB
Inactive:       405600 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1301512 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:             768 kB
Writeback:           0 kB
Mapped:          23700 kB
Slab:            62524 kB
Committed_AS:   354076 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= 66424 MiB
End job on node33 at 2009-04-26 19:13:30