Trace number 1776280

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 (4 threads)? (TO) 1573.8 1000.05

General information on the benchmark

Nameindustrial/jarvisalo/
eq.atree.braun.10.unsat.cnf
MD5SUMb1a6497b6934405ef70bfcc51fa85893
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1074.69
Satisfiable
(Un)Satisfiability was proved
Number of variables1111
Number of clauses3756
Sum of the clauses size9786
Maximum clause length19
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 21603
Number of clauses of size 32090
Number of clauses of size 430
Number of clauses of size 518
Number of clauses of size over 512

Solver Data


Verifier Data 

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

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1776280-1243636185/watcher-1776280-1243636185 -o /tmp/evaluation-result-1776280-1243636185/solver-1776280-1243636185 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776280-1243636185.cnf 4 10000 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 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: 8192 KiB


[startup+0 s]
/proc/loadavg: 4.37 5.07 5.18 5/105 19259
/proc/meminfo: memFree=2521240/3368532 swapFree=1954076/1959888
[pid=19258] ppid=19256 vsize=968 CPUtime=0
/proc/19258/stat : 19258 (satake) R 19256 19258 3671 0 -1 4202496 109 0 0 0 0 0 0 0 25 0 2 0 1117719674 991232 65 4294967295 134512640 135180984 3216703232 3216702576 134705812 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/19258/statm: 242 65 54 164 0 77 0
[pid=19258/tid=19259] ppid=19256 vsize=968 CPUtime=0
/proc/19258/task/19259/stat : 19259 (satake) R 19256 19258 3671 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 2 0 1117719674 991232 65 4294967295 134512640 135180984 3216703232 3086463812 134705812 0 0 0 0 0 0 0 -1 1 0 0 0

[startup+0.022123 s]
/proc/loadavg: 4.37 5.07 5.18 5/105 19259
/proc/meminfo: memFree=2521240/3368532 swapFree=1954076/1959888
[pid=19258] ppid=19256 vsize=2008 CPUtime=0.02
/proc/19258/stat : 19258 (satake) S 19256 19258 3671 0 -1 4202496 355 0 0 0 2 0 0 0 25 0 5 0 1117719674 2056192 287 4294967295 134512640 135180984 3216703232 3216702668 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/19258/statm: 502 297 66 164 0 337 0
[pid=19258/tid=19259] ppid=19256 vsize=1968 CPUtime=0
/proc/19258/task/19259/stat : 19259 (satake) R 19256 19258 3671 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1117719674 2015232 297 4294967295 134512640 135180984 3216703232 3086462992 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2008

[startup+0.105005 s]
/proc/loadavg: 4.37 5.07 5.18 5/105 19259
/proc/meminfo: memFree=2521240/3368532 swapFree=1954076/1959888
[pid=19258] ppid=19256 vsize=3464 CPUtime=0.11
/proc/19258/stat : 19258 (satake) S 19256 19258 3671 0 -1 4202496 480 0 0 0 9 2 0 0 25 0 5 0 1117719674 3547136 388 4294967295 134512640 135180984 3216703232 3216702668 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/19258/statm: 866 388 68 164 0 701 0
[pid=19258/tid=19259] ppid=19256 vsize=3464 CPUtime=0.04
/proc/19258/task/19259/stat : 19259 (satake) R 19256 19258 3671 0 -1 4202560 36 0 0 0 2 2 0 0 25 0 5 0 1117719674 3547136 388 4294967295 134512640 135180984 3216703232 3086462992 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 3464

[startup+0.302093 s]
/proc/loadavg: 4.37 5.07 5.18 5/105 19259
/proc/meminfo: memFree=2521240/3368532 swapFree=1954076/1959888
[pid=19258] ppid=19256 vsize=3992 CPUtime=0.44
/proc/19258/stat : 19258 (satake) S 19256 19258 3671 0 -1 4202496 604 0 0 0 29 15 0 0 25 0 5 0 1117719674 4087808 512 4294967295 134512640 135180984 3216703232 3216702668 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/19258/statm: 998 512 68 164 0 833 0
[pid=19258/tid=19259] ppid=19256 vsize=3992 CPUtime=0.14
/proc/19258/task/19259/stat : 19259 (satake) S 19256 19258 3671 0 -1 4202560 59 0 0 0 5 9 0 0 25 0 5 0 1117719674 4087808 512 4294967295 134512640 135180984 3216703232 3086462992 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 3992

[startup+0.70207 s]
/proc/loadavg: 4.37 5.07 5.18 5/105 19259
/proc/meminfo: memFree=2521240/3368532 swapFree=1954076/1959888
[pid=19258] ppid=19256 vsize=4388 CPUtime=1.08
/proc/19258/stat : 19258 (satake) S 19256 19258 3671 0 -1 4202496 717 0 0 0 79 29 0 0 25 0 5 0 1117719674 4493312 625 4294967295 134512640 135180984 3216703232 3216702668 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/19258/statm: 1097 625 68 164 0 932 0
[pid=19258/tid=19259] ppid=19256 vsize=4388 CPUtime=0.25
/proc/19258/task/19259/stat : 19259 (satake) S 19256 19258 3671 0 -1 4202560 82 0 0 0 7 18 0 0 23 0 5 0 1117719674 4493312 625 4294967295 134512640 135180984 3216703232 3086462992 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 4388

[startup+1.50201 s]
/proc/loadavg: 4.37 5.07 5.18 5/109 19263
/proc/meminfo: memFree=2519152/3368532 swapFree=1954076/1959888
[pid=19258] ppid=19256 vsize=5052 CPUtime=2.44
/proc/19258/stat : 19258 (satake) S 19256 19258 3671 0 -1 4202496 884 0 0 0 196 48 0 0 25 0 5 0 1117719674 5173248 792 4294967295 134512640 135180984 3216703232 3216702668 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/19258/statm: 1263 792 68 164 0 1098 0
[pid=19258/tid=19259] ppid=19256 vsize=5052 CPUtime=0.44
/proc/19258/task/19259/stat : 19259 (satake) S 19256 19258 3671 0 -1 4202560 119 0 0 0 15 29 0 0 18 0 5 0 1117719674 5173248 792 4294967295 134512640 135180984 3216703232 3086462992 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=19258/tid=19261] ppid=19256 vsize=5052 CPUtime=0.66
/proc/19258/task/19261/stat : 19261 (satake) R 19256 19258 3671 0 -1 4202560 227 0 0 0 59 7 0 0 25 0 5 0 1117719675 5173248 792 4294967295 134512640 135180984 3216703232 3086397296 134528913 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19258/tid=19262] ppid=19256 vsize=5052 CPUtime=0.63
/proc/19258/task/19262/stat : 19262 (satake) R 19256 19258 3671 0 -1 4202560 219 0 0 0 58 5 0 0 25 0 5 0 1117719675 5173248 792 4294967295 134512640 135180984 3216703232 3086331664 134525462 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19258/tid=19263] ppid=19256 vsize=5052 CPUtime=0.71
/proc/19258/task/19263/stat : 19263 (satake) R 19256 19258 3671 0 -1 4202560 207 0 0 0 64 7 0 0 25 0 5 0 1117719675 5173248 792 4294967295 134512640 135180984 3216703232 3086266016 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 5052

[startup+3.10191 s]
/proc/loadavg: 4.37 5.07 5.18 6/109 19263
/proc/meminfo: memFree=2518116/3368532 swapFree=1954076/1959888
[pid=19258] ppid=19256 vsize=5852 CPUtime=5.15
/proc/19258/stat : 19258 (satake) S 19256 19258 3671 0 -1 4202496 1073 0 0 0 426 89 0 0 25 0 5 0 1117719674 5992448 981 4294967295 134512640 135180984 3216703232 3216702668 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/19258/statm: 1463 981 68 164 0 1298 0
[pid=19258/tid=19259] ppid=19256 vsize=5852 CPUtime=0.72
/proc/19258/task/19259/stat : 19259 (satake) S 19256 19258 3671 0 -1 4202560 210 0 0 0 22 50 0 0 16 0 5 0 1117719674 5992448 981 4294967295 134512640 135180984 3216703232 3086462992 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=19258/tid=19261] ppid=19256 vsize=5852 CPUtime=1.47
/proc/19258/task/19261/stat : 19261 (satake) R 19256 19258 3671 0 -1 4202560 266 0 0 0 130 17 0 0 25 0 5 0 1117719675 5992448 981 4294967295 134512640 135180984 3216703232 3086397088 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19258/tid=19262] ppid=19256 vsize=5852 CPUtime=1.47
/proc/19258/task/19262/stat : 19262 (satake) R 19256 19258 3671 0 -1 4202560 252 0 0 0 136 11 0 0 25 0 5 0 1117719675 5992448 981 4294967295 134512640 135180984 3216703232 3086331756 134518208 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19258/tid=19263] ppid=19256 vsize=5852 CPUtime=1.49
/proc/19258/task/19263/stat : 19263 (satake) R 19256 19258 3671 0 -1 4202560 233 0 0 0 138 11 0 0 25 0 5 0 1117719675 5992448 981 4294967295 134512640 135180984 3216703232 3086266212 134523603 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.15
Current children cumulated vsize (KiB) 5852

[startup+6.30168 s]
/proc/loadavg: 4.42 5.07 5.17 5/109 19263
/proc/meminfo: memFree=2516456/3368532 swapFree=1954076/1959888
[pid=19258] ppid=19256 vsize=7304 CPUtime=10.38
/proc/19258/stat : 19258 (satake) S 19256 19258 3671 0 -1 4202496 1494 0 0 0 890 148 0 0 25 0 5 0 1117719674 7479296 1402 4294967295 134512640 135180984 3216703232 3216702668 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/19258/statm: 1826 1402 68 164 0 1661 0
[pid=19258/tid=19259] ppid=19256 vsize=7304 CPUtime=1.18
/proc/19258/task/19259/stat : 19259 (satake) S 19256 19258 3671 0 -1 4202560 363 0 0 0 42 76 0 0 15 0 5 0 1117719674 7479296 1402 4294967295 134512640 135180984 3216703232 3086462992 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=19258/tid=19261] ppid=19256 vsize=7304 CPUtime=3.1
/proc/19258/task/19261/stat : 19261 (satake) R 19256 19258 3671 0 -1 4202560 356 0 0 0 285 25 0 0 25 0 5 0 1117719675 7479296 1402 4294967295 134512640 135180984 3216703232 3086397292 134518218 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19258/tid=19262] ppid=19256 vsize=7304 CPUtime=3.01
/proc/19258/task/19262/stat : 19262 (satake) S 19256 19258 3671 0 -1 4202560 361 0 0 0 275 26 0 0 25 0 5 0 1117719675 7479296 1402 4294967295 134512640 135180984 3216703232 3086331552 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=19258/tid=19263] ppid=19256 vsize=7304 CPUtime=3.09
/proc/19258/task/19263/stat : 19263 (satake) R 19256 19258 3671 0 -1 4202560 302 0 0 0 288 21 0 0 25 0 5 0 1117719675 7479296 1402 4294967295 134512640 135180984 3216703232 3086266016 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.38
Current children cumulated vsize (KiB) 7304

[startup+12.7112 s]
/proc/loadavg: 4.47 5.06 5.17 4/109 19263
/proc/meminfo: memFree=2514132/3368532 swapFree=1954076/1959888
[pid=19258] ppid=19256 vsize=9192 CPUtime=20.8
/proc/19258/stat : 19258 (satake) S 19256 19258 3671 0 -1 4202496 1969 0 0 0 1801 279 0 0 25 0 5 0 1117719674 9412608 1877 4294967295 134512640 135180984 3216703232 3216702668 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/19258/statm: 2298 1877 68 164 0 2133 0
[pid=19258/tid=19259] ppid=19256 vsize=9192 CPUtime=2.02
/proc/19258/task/19259/stat : 19259 (satake) S 19256 19258 3671 0 -1 4202560 616 0 0 0 67 135 0 0 16 0 5 0 1117719674 9412608 1877 4294967295 134512640 135180984 3216703232 3086462992 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=19258/tid=19261] ppid=19256 vsize=9192 CPUtime=6.43
/proc/19258/task/19261/stat : 19261 (satake) R 19256 19258 3671 0 -1 4202560 408 0 0 0 592 51 0 0 25 0 5 0 1117719675 9412608 1877 4294967295 134512640 135180984 3216703232 3086397100 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19258/tid=19262] ppid=19256 vsize=9192 CPUtime=6.11
/proc/19258/task/19262/stat : 19262 (satake) S 19256 19258 3671 0 -1 4202560 424 0 0 0 564 47 0 0 25 0 5 0 1117719675 9412608 1877 4294967295 134512640 135180984 3216703232 3086331552 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=19258/tid=19263] ppid=19256 vsize=9192 CPUtime=6.24
/proc/19258/task/19263/stat : 19263 (satake) S 19256 19258 3671 0 -1 4202560 409 0 0 0 578 46 0 0 25 0 5 0 1117719675 9412608 1877 4294967295 134512640 135180984 3216703232 3086266016 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 20.8
Current children cumulated vsize (KiB) 9192

[startup+25.5104 s]
/proc/loadavg: 4.43 5.03 5.16 5/109 19449
/proc/meminfo: memFree=2508092/3368532 swapFree=1954076/1959888
[pid=19258] ppid=19256 vsize=14116 CPUtime=41.2
/proc/19258/stat : 19258 (satake) S 19256 19258 3671 0 -1 4202496 3150 0 0 0 3602 518 0 0 25 0 5 0 1117719674 14454784 3058 4294967295 134512640 135180984 3216703232 3216702668 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/19258/statm: 3529 3058 68 164 0 3364 0
[pid=19258/tid=19259] ppid=19256 vsize=14116 CPUtime=3.82
/proc/19258/task/19259/stat : 19259 (satake) S 19256 19258 3671 0 -1 4202560 1176 0 0 0 127 255 0 0 15 0 5 0 1117719674 14454784 3058 4294967295 134512640 135180984 3216703232 3086462992 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=19258/tid=19261] ppid=19256 vsize=14116 CPUtime=12.65
/proc/19258/task/19261/stat : 19261 (satake) R 19256 19258 3671 0 -1 4202560 635 0 0 0 1179 86 0 0 25 0 5 0 1117719675 14454784 3058 4294967295 134512640 135180984 3216703232 3086397088 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19258/tid=19262] ppid=19256 vsize=14116 CPUtime=11.83
/proc/19258/task/19262/stat : 19262 (satake) R 19256 19258 3671 0 -1 4202560 638 0 0 0 1094 89 0 0 25 0 5 0 1117719675 14454784 3058 4294967295 134512640 135180984 3216703232 3086331760 134526138 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19258/tid=19263] ppid=19256 vsize=14116 CPUtime=12.9
/proc/19258/task/19263/stat : 19263 (satake) S 19256 19258 3671 0 -1 4202560 589 0 0 0 1202 88 0 0 25 0 5 0 1117719675 14454784 3058 4294967295 134512640 135180984 3216703232 3086266016 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 41.2
Current children cumulated vsize (KiB) 14116

[startup+51.1086 s]
/proc/loadavg: 4.64 5.02 5.15 6/109 19450
/proc/meminfo: memFree=2501236/3368532 swapFree=1954076/1959888
[pid=19258] ppid=19256 vsize=21184 CPUtime=82.5
/proc/19258/stat : 19258 (satake) S 19256 19258 3671 0 -1 4202496 4938 0 0 0 7275 975 0 0 25 0 5 0 1117719674 21692416 4846 4294967295 134512640 135180984 3216703232 3216702668 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/19258/statm: 5296 4846 68 164 0 5131 0
[pid=19258/tid=19259] ppid=19256 vsize=21184 CPUtime=7.28
/proc/19258/task/19259/stat : 19259 (satake) S 19256 19258 3671 0 -1 4202560 2197 0 0 0 241 487 0 0 16 0 5 0 1117719674 21692416 4846 4294967295 134512640 135180984 3216703232 3086462992 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=19258/tid=19261] ppid=19256 vsize=21184 CPUtime=25.17
/proc/19258/task/19261/stat : 19261 (satake) R 19256 19258 3671 0 -1 4202560 880 0 0 0 2346 171 0 0 25 0 5 0 1117719675 21692416 4846 4294967295 134512640 135180984 3216703232 3086397088 134579405 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19258/tid=19262] ppid=19256 vsize=21184 CPUtime=24.53
/proc/19258/task/19262/stat : 19262 (satake) S 19256 19258 3671 0 -1 4202560 919 0 0 0 2290 163 0 0 25 0 5 0 1117719675 21692416 4846 4294967295 134512640 135180984 3216703232 3086331552 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=19258/tid=19263] ppid=19256 vsize=21184 CPUtime=25.52
/proc/19258/task/19263/stat : 19263 (satake) R 19256 19258 3671 0 -1 4202560 830 0 0 0 2398 154 0 0 25 0 5 0 1117719675 21692416 4846 4294967295 134512640 135180984 3216703232 3086266164 134523985 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 82.5
Current children cumulated vsize (KiB) 21184

[startup+102.315 s]
/proc/loadavg: 4.65 4.97 5.13 4/109 19638
/proc/meminfo: memFree=2483140/3368532 swapFree=1954076/1959888
[pid=19258] ppid=19256 vsize=40284 CPUtime=164.78
/proc/19258/stat : 19258 (satake) S 19256 19258 3671 0 -1 4202496 9024 0 0 0 14437 2041 0 0 25 0 5 0 1117719674 41250816 8932 4294967295 134512640 135180984 3216703232 3216702668 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/19258/statm: 10071 8932 68 164 0 9906 0
[pid=19258/tid=19259] ppid=19256 vsize=40284 CPUtime=14.75
/proc/19258/task/19259/stat : 19259 (satake) S 19256 19258 3671 0 -1 4202560 4951 0 0 0 428 1047 0 0 16 0 5 0 1117719674 41250816 8932 4294967295 134512640 135180984 3216703232 3086462992 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=19258/tid=19261] ppid=19256 vsize=40284 CPUtime=49.98
/proc/19258/task/19261/stat : 19261 (satake) R 19256 19258 3671 0 -1 4202560 1262 0 0 0 4647 351 0 0 25 0 5 0 1117719675 41250816 8932 4294967295 134512640 135180984 3216703232 3086397088 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19258/tid=19262] ppid=19256 vsize=40284 CPUtime=48.78
/proc/19258/task/19262/stat : 19262 (satake) R 19256 19258 3671 0 -1 4202560 1349 0 0 0 4553 325 0 0 25 0 5 0 1117719675 41250816 8932 4294967295 134512640 135180984 3216703232 3086331648 134522915 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19258/tid=19263] ppid=19256 vsize=40284 CPUtime=51.27
/proc/19258/task/19263/stat : 19263 (satake) R 19256 19258 3671 0 -1 4202560 1350 0 0 0 4809 318 0 0 25 0 5 0 1117719675 41250816 8932 4294967295 134512640 135180984 3216703232 3086266224 134528470 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 164.78
Current children cumulated vsize (KiB) 40284

[startup+162.311 s]
/proc/loadavg: 4.61 4.89 5.09 5/109 19824
/proc/meminfo: memFree=2466812/3368532 swapFree=1954076/1959888
[pid=19258] ppid=19256 vsize=58796 CPUtime=258.79
/proc/19258/stat : 19258 (satake) S 19256 19258 3671 0 -1 4202496 12892 0 0 0 22925 2954 0 0 25 0 5 0 1117719674 60207104 12800 4294967295 134512640 135180984 3216703232 3216702668 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/19258/statm: 14699 12800 68 164 0 14534 0
[pid=19258/tid=19259] ppid=19256 vsize=58796 CPUtime=21.48
/proc/19258/task/19259/stat : 19259 (satake) S 19256 19258 3671 0 -1 4202560 7582 0 0 0 622 1526 0 0 15 0 5 0 1117719674 60207104 12800 4294967295 134512640 135180984 3216703232 3086462992 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=19258/tid=19261] ppid=19256 vsize=58796 CPUtime=79.16
/proc/19258/task/19261/stat : 19261 (satake) R 19256 19258 3671 0 -1 4202560 1630 0 0 0 7417 499 0 0 25 0 5 0 1117719675 60207104 12800 4294967295 134512640 135180984 3216703232 3086397296 134528680 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19258/tid=19262] ppid=19256 vsize=58796 CPUtime=77.76
/proc/19258/task/19262/stat : 19262 (satake) R 19256 19258 3671 0 -1 4202560 1722 0 0 0 7317 459 0 0 25 0 5 0 1117719675 60207104 12800 4294967295 134512640 135180984 3216703232 3086331552 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19258/tid=19263] ppid=19256 vsize=58796 CPUtime=80.39
/proc/19258/task/19263/stat : 19263 (satake) R 19256 19258 3671 0 -1 4202560 1846 0 0 0 7569 470 0 0 25 0 5 0 1117719675 60207104 12800 4294967295 134512640 135180984 3216703232 3086266224 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 258.79

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

[pid=19258/tid=19261] ppid=19256 vsize=164236 CPUtime=258.25
/proc/19258/task/19261/stat : 19261 (satake) R 19256 19258 3671 0 -1 4202560 4262 0 0 0 24393 1432 0 0 25 0 5 0 1117719675 168177664 35527 4294967295 134512640 135180984 3216703232 3086397088 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19258/tid=19262] ppid=19256 vsize=164236 CPUtime=243.39
/proc/19258/task/19262/stat : 19262 (satake) R 19256 19258 3671 0 -1 4202560 3782 0 0 0 22889 1450 0 0 25 0 5 0 1117719675 168177664 35527 4294967295 134512640 135180984 3216703232 3086331760 134526464 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19258/tid=19263] ppid=19256 vsize=164236 CPUtime=258.36
/proc/19258/task/19263/stat : 19263 (satake) S 19256 19258 3671 0 -1 4202560 4158 0 0 0 24448 1388 0 0 25 0 5 0 1117719675 168177664 35527 4294967295 134512640 135180984 3216703232 3086266016 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 826.07
Current children cumulated vsize (KiB) 164236

[startup+582.303 s]
/proc/loadavg: 4.49 4.65 4.90 5/109 21146
/proc/meminfo: memFree=2358520/3368532 swapFree=1954076/1959888
[pid=19258] ppid=19256 vsize=177360 CPUtime=919.45
/proc/19258/stat : 19258 (satake) S 19256 19258 3671 0 -1 4202496 38434 0 0 0 82226 9719 0 0 25 0 5 0 1117719674 181616640 38342 4294967295 134512640 135180984 3216703232 3216702668 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/19258/statm: 44340 38342 68 164 0 44175 0
[pid=19258/tid=19259] ppid=19256 vsize=177360 CPUtime=71.05
/proc/19258/task/19259/stat : 19259 (satake) S 19256 19258 3671 0 -1 4202560 25249 0 0 0 1974 5131 0 0 15 0 5 0 1117719674 181616640 38342 4294967295 134512640 135180984 3216703232 3086462992 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=19258/tid=19261] ppid=19256 vsize=177360 CPUtime=287.9
/proc/19258/task/19261/stat : 19261 (satake) R 19256 19258 3671 0 -1 4202560 4569 0 0 0 27254 1536 0 0 25 0 5 0 1117719675 181616640 38342 4294967295 134512640 135180984 3216703232 3086397088 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19258/tid=19262] ppid=19256 vsize=177360 CPUtime=272.34
/proc/19258/task/19262/stat : 19262 (satake) R 19256 19258 3671 0 -1 4202560 4040 0 0 0 25675 1559 0 0 25 0 5 0 1117719675 181616640 38342 4294967295 134512640 135180984 3216703232 3086331760 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19258/tid=19263] ppid=19256 vsize=177360 CPUtime=288.16
/proc/19258/task/19263/stat : 19263 (satake) R 19256 19258 3671 0 -1 4202560 4464 0 0 0 27323 1493 0 0 25 0 5 0 1117719675 181616640 38342 4294967295 134512640 135180984 3216703232 3086266224 134526529 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 919.45
Current children cumulated vsize (KiB) 177360

[startup+642.309 s]
/proc/loadavg: 4.62 4.65 4.88 5/109 21334
/proc/meminfo: memFree=2345772/3368532 swapFree=1954076/1959888
[pid=19258] ppid=19256 vsize=190908 CPUtime=1012.03
/proc/19258/stat : 19258 (satake) S 19256 19258 3671 0 -1 4202496 41472 0 0 0 90830 10373 0 0 25 0 5 0 1117719674 195489792 41361 4294967295 134512640 135180984 3216703232 3216702668 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/19258/statm: 47727 41361 68 164 0 47562 0
[pid=19258/tid=19259] ppid=19256 vsize=190908 CPUtime=75.73
/proc/19258/task/19259/stat : 19259 (satake) S 19256 19258 3671 0 -1 4202560 27182 0 0 0 2102 5471 0 0 15 0 5 0 1117719674 195489792 41361 4294967295 134512640 135180984 3216703232 3086462992 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=19258/tid=19261] ppid=19256 vsize=190908 CPUtime=317.12
/proc/19258/task/19261/stat : 19261 (satake) R 19256 19258 3671 0 -1 4202560 4912 0 0 0 30084 1628 0 0 25 0 5 0 1117719675 195489792 41361 4294967295 134512640 135180984 3216703232 3086397200 134525462 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19258/tid=19262] ppid=19256 vsize=190908 CPUtime=301.42
/proc/19258/task/19262/stat : 19262 (satake) R 19256 19258 3671 0 -1 4202560 4346 0 0 0 28461 1681 0 0 25 0 5 0 1117719675 195489792 41361 4294967295 134512640 135180984 3216703232 3086331552 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19258/tid=19263] ppid=19256 vsize=190908 CPUtime=317.76
/proc/19258/task/19263/stat : 19263 (satake) S 19256 19258 3671 0 -1 4202560 4920 0 0 0 30183 1593 0 0 25 0 5 0 1117719675 195489792 41361 4294967295 134512640 135180984 3216703232 3086266016 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1012.03
Current children cumulated vsize (KiB) 190908

[startup+702.315 s]
/proc/loadavg: 4.81 4.69 4.88 4/109 21522
/proc/meminfo: memFree=2331760/3368532 swapFree=1954076/1959888
[pid=19258] ppid=19256 vsize=210432 CPUtime=1106.41
/proc/19258/stat : 19258 (satake) S 19256 19258 3671 0 -1 4202496 44791 0 0 0 99475 11166 0 0 25 0 5 0 1117719674 215482368 44680 4294967295 134512640 135180984 3216703232 3216702668 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/19258/statm: 52608 44680 68 164 0 52443 0
[pid=19258/tid=19259] ppid=19256 vsize=210432 CPUtime=81.3
/proc/19258/task/19259/stat : 19259 (satake) S 19256 19258 3671 0 -1 4202560 29448 0 0 0 2252 5878 0 0 16 0 5 0 1117719674 215482368 44680 4294967295 134512640 135180984 3216703232 3086462996 134580588 0 0 0 0 3223036975 0 0 -1 2 0 0 0
[pid=19258/tid=19261] ppid=19256 vsize=210432 CPUtime=345.97
/proc/19258/task/19261/stat : 19261 (satake) R 19256 19258 3671 0 -1 4202560 5338 0 0 0 32833 1764 0 0 25 0 5 0 1117719675 215482368 44680 4294967295 134512640 135180984 3216703232 3086397100 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19258/tid=19262] ppid=19256 vsize=210432 CPUtime=332.03
/proc/19258/task/19262/stat : 19262 (satake) R 19256 19258 3671 0 -1 4202560 4614 0 0 0 31389 1814 0 0 25 0 5 0 1117719675 215482368 44680 4294967295 134512640 135180984 3216703232 3086331756 134518218 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19258/tid=19263] ppid=19256 vsize=210432 CPUtime=347.11
/proc/19258/task/19263/stat : 19263 (satake) R 19256 19258 3671 0 -1 4202560 5279 0 0 0 33001 1710 0 0 25 0 5 0 1117719675 215482368 44680 4294967295 134512640 135180984 3216703232 3086266176 134522959 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1106.41
Current children cumulated vsize (KiB) 210432

[startup+762.31 s]
/proc/loadavg: 4.82 4.71 4.87 6/109 21712
/proc/meminfo: memFree=2318328/3368532 swapFree=1954076/1959888
[pid=19258] ppid=19256 vsize=224728 CPUtime=1200.66
/proc/19258/stat : 19258 (satake) S 19256 19258 3671 0 -1 4202496 47881 0 0 0 108253 11813 0 0 25 0 5 0 1117719674 230121472 47770 4294967295 134512640 135180984 3216703232 3216702668 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/19258/statm: 56182 47770 68 164 0 56017 0
[pid=19258/tid=19259] ppid=19256 vsize=224728 CPUtime=86.22
/proc/19258/task/19259/stat : 19259 (satake) S 19256 19258 3671 0 -1 4202560 31514 0 0 0 2394 6228 0 0 15 0 5 0 1117719674 230121472 47770 4294967295 134512640 135180984 3216703232 3086462992 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=19258/tid=19261] ppid=19256 vsize=224728 CPUtime=375.75
/proc/19258/task/19261/stat : 19261 (satake) R 19256 19258 3671 0 -1 4202560 5684 0 0 0 35712 1863 0 0 25 0 5 0 1117719675 230121472 47770 4294967295 134512640 135180984 3216703232 3086397248 134527255 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19258/tid=19262] ppid=19256 vsize=224728 CPUtime=362.28
/proc/19258/task/19262/stat : 19262 (satake) R 19256 19258 3671 0 -1 4202560 4844 0 0 0 34304 1924 0 0 25 0 5 0 1117719675 230121472 47770 4294967295 134512640 135180984 3216703232 3086331760 134528576 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19258/tid=19263] ppid=19256 vsize=224728 CPUtime=376.41
/proc/19258/task/19263/stat : 19263 (satake) R 19256 19258 3671 0 -1 4202560 5727 0 0 0 35843 1798 0 0 25 0 5 0 1117719675 230121472 47770 4294967295 134512640 135180984 3216703232 3086266224 134528688 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1200.66
Current children cumulated vsize (KiB) 224728

[startup+822.316 s]
/proc/loadavg: 4.56 4.65 4.84 5/109 21901
/proc/meminfo: memFree=2302968/3368532 swapFree=1954076/1959888
[pid=19258] ppid=19256 vsize=240512 CPUtime=1294.53
/proc/19258/stat : 19258 (satake) S 19256 19258 3671 0 -1 4202496 51405 0 0 0 116805 12648 0 0 25 0 5 0 1117719674 246284288 51294 4294967295 134512640 135180984 3216703232 3216702668 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/19258/statm: 60128 51294 68 164 0 59963 0
[pid=19258/tid=19259] ppid=19256 vsize=240512 CPUtime=92.51
/proc/19258/task/19259/stat : 19259 (satake) S 19256 19258 3671 0 -1 4202560 33951 0 0 0 2566 6685 0 0 16 0 5 0 1117719674 246284288 51294 4294967295 134512640 135180984 3216703232 3086462992 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=19258/tid=19261] ppid=19256 vsize=240512 CPUtime=405.33
/proc/19258/task/19261/stat : 19261 (satake) R 19256 19258 3671 0 -1 4202560 5990 0 0 0 38547 1986 0 0 25 0 5 0 1117719675 246284288 51294 4294967295 134512640 135180984 3216703232 3086397088 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19258/tid=19262] ppid=19256 vsize=240512 CPUtime=390.58
/proc/19258/task/19262/stat : 19262 (satake) S 19256 19258 3671 0 -1 4202560 5173 0 0 0 37006 2052 0 0 25 0 5 0 1117719675 246284288 51294 4294967295 134512640 135180984 3216703232 3086331552 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=19258/tid=19263] ppid=19256 vsize=240512 CPUtime=406.11
/proc/19258/task/19263/stat : 19263 (satake) R 19256 19258 3671 0 -1 4202560 6179 0 0 0 38686 1925 0 0 25 0 5 0 1117719675 246284288 51294 4294967295 134512640 135180984 3216703232 3086266120 134519101 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1294.53
Current children cumulated vsize (KiB) 240512

[startup+882.312 s]
/proc/loadavg: 4.63 4.65 4.82 5/109 22089
/proc/meminfo: memFree=2289204/3368532 swapFree=1954076/1959888
[pid=19258] ppid=19256 vsize=256024 CPUtime=1388.78
/proc/19258/stat : 19258 (satake) S 19256 19258 3671 0 -1 4202496 54728 0 0 0 125525 13353 0 0 25 0 5 0 1117719674 262168576 54614 4294967295 134512640 135180984 3216703232 3216702668 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/19258/statm: 64006 54614 68 164 0 63841 0
[pid=19258/tid=19259] ppid=19256 vsize=256024 CPUtime=97.66
/proc/19258/task/19259/stat : 19259 (satake) S 19256 19258 3671 0 -1 4202560 36125 0 0 0 2707 7059 0 0 15 0 5 0 1117719674 262168576 54614 4294967295 134512640 135180984 3216703232 3086462992 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=19258/tid=19261] ppid=19256 vsize=256024 CPUtime=435.57
/proc/19258/task/19261/stat : 19261 (satake) R 19256 19258 3671 0 -1 4202560 6291 0 0 0 41449 2108 0 0 25 0 5 0 1117719675 262168576 54614 4294967295 134512640 135180984 3216703232 3086397088 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19258/tid=19262] ppid=19256 vsize=256024 CPUtime=418.65
/proc/19258/task/19262/stat : 19262 (satake) R 19256 19258 3671 0 -1 4202560 5516 0 0 0 39716 2149 0 0 25 0 5 0 1117719675 262168576 54614 4294967295 134512640 135180984 3216703232 3086331756 134518208 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19258/tid=19263] ppid=19256 vsize=256024 CPUtime=436.9
/proc/19258/task/19263/stat : 19263 (satake) R 19256 19258 3671 0 -1 4202560 6684 0 0 0 41653 2037 0 0 25 0 5 0 1117719675 262168576 54614 4294967295 134512640 135180984 3216703232 3086266224 134528101 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1388.78
Current children cumulated vsize (KiB) 256024

[startup+942.308 s]
/proc/loadavg: 4.39 4.58 4.79 6/109 22277
/proc/meminfo: memFree=2274820/3368532 swapFree=1954076/1959888
[pid=19258] ppid=19256 vsize=272408 CPUtime=1482.55
/proc/19258/stat : 19258 (satake) S 19256 19258 3671 0 -1 4202496 58123 0 0 0 134041 14214 0 0 25 0 5 0 1117719674 278945792 58009 4294967295 134512640 135180984 3216703232 3216702668 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/19258/statm: 68102 58009 68 164 0 67937 0
[pid=19258/tid=19259] ppid=19256 vsize=272408 CPUtime=103.87
/proc/19258/task/19259/stat : 19259 (satake) S 19256 19258 3671 0 -1 4202560 38575 0 0 0 2867 7520 0 0 16 0 5 0 1117719674 278945792 58009 4294967295 134512640 135180984 3216703232 3086462992 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=19258/tid=19261] ppid=19256 vsize=272408 CPUtime=465.12
/proc/19258/task/19261/stat : 19261 (satake) R 19256 19258 3671 0 -1 4202560 6519 0 0 0 44268 2244 0 0 25 0 5 0 1117719675 278945792 58009 4294967295 134512640 135180984 3216703232 3086397232 134523629 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19258/tid=19262] ppid=19256 vsize=272408 CPUtime=447.31
/proc/19258/task/19262/stat : 19262 (satake) S 19256 19258 3671 0 -1 4202560 5903 0 0 0 42442 2289 0 0 25 0 5 0 1117719675 278945792 58009 4294967295 134512640 135180984 3216703232 3086331552 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=19258/tid=19263] ppid=19256 vsize=272408 CPUtime=466.25
/proc/19258/task/19263/stat : 19263 (satake) R 19256 19258 3671 0 -1 4202560 7014 0 0 0 44464 2161 0 0 25 0 5 0 1117719675 278945792 58009 4294967295 134512640 135180984 3216703232 3086266016 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1482.55
Current children cumulated vsize (KiB) 272408



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.58 4.61 4.78 5/109 22465
/proc/meminfo: memFree=2260436/3368532 swapFree=1954076/1959888
[pid=19258] ppid=19256 vsize=288364 CPUtime=1573.75
/proc/19258/stat : 19258 (satake) S 19256 19258 3671 0 -1 4202496 61381 0 0 0 142358 15017 0 0 25 0 5 0 1117719674 295284736 61267 4294967295 134512640 135180984 3216703232 3216702668 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/19258/statm: 72091 61267 68 164 0 71926 0
[pid=19258/tid=19259] ppid=19256 vsize=288364 CPUtime=109.78
/proc/19258/task/19259/stat : 19259 (satake) S 19256 19258 3671 0 -1 4202560 40727 0 0 0 3024 7954 0 0 15 0 5 0 1117719674 295284736 61267 4294967295 134512640 135180984 3216703232 3086462992 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=19258/tid=19261] ppid=19256 vsize=288364 CPUtime=492.77
/proc/19258/task/19261/stat : 19261 (satake) R 19256 19258 3671 0 -1 4202560 6972 0 0 0 46921 2356 0 0 25 0 5 0 1117719675 295284736 61267 4294967295 134512640 135180984 3216703232 3086397192 134520909 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19258/tid=19262] ppid=19256 vsize=288364 CPUtime=474.74
/proc/19258/task/19262/stat : 19262 (satake) R 19256 19258 3671 0 -1 4202560 6325 0 0 0 45070 2404 0 0 25 0 5 0 1117719675 295284736 61267 4294967295 134512640 135180984 3216703232 3086331564 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19258/tid=19263] ppid=19256 vsize=288364 CPUtime=496.46
/proc/19258/task/19263/stat : 19263 (satake) S 19256 19258 3671 0 -1 4202560 7245 0 0 0 47343 2303 0 0 25 0 5 0 1117719675 295284736 61267 4294967295 134512640 135180984 3216703232 3086266016 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1573.75
Current children cumulated vsize (KiB) 288364

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.05
CPU time (s): 1573.8
CPU user time (s): 1423.61
CPU system time (s): 150.19
CPU usage (%): 157.372
Max. virtual memory (cumulated for all children) (KiB): 288364

deleting IPC queue 3145728
deleting IPC queue 3178497
deleting IPC queue 3211266
deleting IPC queue 3244035
deleting IPC queue 3276804
deleting IPC queue 3309573
deleting IPC queue 3342342
deleting IPC queue 3375111
deleting IPC queue 3407880
deleting IPC queue 3440649
deleting IPC queue 3473418
deleting IPC queue 3506187
deleting IPC queue 3538956
deleting IPC queue 3571725
deleting IPC queue 3604494
deleting IPC queue 3637263

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1423.61
system time used= 150.19
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61383
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= 18653949
involuntary context switches= 17073172

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi44 at 2009-05-30 00:29:45
IDJOB=1776280
IDBENCH=20474
IDSOLVER=629
FILE ID=tipi44/1776280-1243636185
PBS_JOBID=
Free space on /tmp= 15894 MiB

SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.10.unsat.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776280-1243636185/watcher-1776280-1243636185 -o /tmp/evaluation-result-1776280-1243636185/solver-1776280-1243636185 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776280-1243636185.cnf 4 10000

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4

MD5SUM BENCH= b1a6497b6934405ef70bfcc51fa85893
RANDOM SEED= 270999956

Linux tipi44 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.116
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3992.42
clflush size	: 64

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.116
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.10
clflush size	: 64

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.116
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.14
clflush size	: 64

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.116
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.16
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       2521240 kB
Buffers:        148748 kB
Cached:         463256 kB
SwapCached:       2180 kB
Active:         604056 kB
Inactive:       146588 kB
HighTotal:     2489216 kB
HighFree:      1885484 kB
LowTotal:       879316 kB
LowFree:        635756 kB
SwapTotal:     1959888 kB
SwapFree:      1954076 kB
Dirty:            2472 kB
Writeback:           0 kB
AnonPages:      137924 kB
Mapped:           5668 kB
Slab:            86912 kB
SReclaimable:    76796 kB
SUnreclaim:      10116 kB
PageTables:        676 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   220300 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15894 MiB
End job on tipi44 at 2009-05-30 00:46:27