Trace number 1732640

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.11 722.95

General information on the benchmark

NameCRAFTED/sgen/sat/
sgen1-sat-200-100.cnf
MD5SUM3eff3d0cb86e42a8fbb844259e0c7beb
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.911861
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of clauses480
Sum of the clauses size1200
Maximum clause length5
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2400
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 580
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-1732640-1240782571/watcher-1732640-1240782571 -o /tmp/evaluation-result-1732640-1240782571/solver-1732640-1240782571 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1732640-1240782571.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.08 1.02 1.01 3/64 24916
/proc/meminfo: memFree=1539840/2055920 swapFree=4181132/4192956
[pid=24916] ppid=24914 vsize=1136 CPUtime=0
/proc/24916/stat : 24916 (satake) S 24914 24916 24547 0 -1 4194304 125 0 0 0 0 0 0 0 18 0 4 0 106290125 1163264 110 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24916/statm: 284 112 68 163 0 119 0
[pid=24916/tid=24917] ppid=24914 vsize=1136 CPUtime=0
/proc/24916/task/24917/stat : 24917 (satake) R 24914 24916 24547 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 106290125 1163264 116 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24916/tid=24918] ppid=24914 vsize=1136 CPUtime=0
/proc/24916/task/24918/stat : 24918 (satake) S 24914 24916 24547 0 -1 4194368 28 0 0 0 0 0 0 0 19 0 4 0 106290125 1163264 116 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=24916/tid=24919] ppid=24914 vsize=1136 CPUtime=0
/proc/24916/task/24919/stat : 24919 (satake) R 24914 24916 24547 0 -1 4194368 14 0 0 0 0 0 0 0 19 0 4 0 106290125 1163264 117 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0826211 s]
/proc/loadavg: 1.08 1.02 1.01 3/64 24916
/proc/meminfo: memFree=1539840/2055920 swapFree=4181132/4192956
[pid=24916] ppid=24914 vsize=2288 CPUtime=0.13
/proc/24916/stat : 24916 (satake) S 24914 24916 24547 0 -1 4194304 171 0 0 0 10 3 0 0 18 0 4 0 106290125 2342912 156 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24916/statm: 572 156 70 163 0 407 0
[pid=24916/tid=24917] ppid=24914 vsize=2288 CPUtime=0.01
/proc/24916/task/24917/stat : 24917 (satake) R 24914 24916 24547 0 -1 4194368 16 0 0 0 0 1 0 0 16 0 4 0 106290125 2342912 156 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24916/tid=24918] ppid=24914 vsize=2288 CPUtime=0.05
/proc/24916/task/24918/stat : 24918 (satake) R 24914 24916 24547 0 -1 4194368 40 0 0 0 5 0 0 0 17 0 4 0 106290125 2342912 156 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24916/tid=24919] ppid=24914 vsize=2288 CPUtime=0.04
/proc/24916/task/24919/stat : 24919 (satake) S 24914 24916 24547 0 -1 4194368 32 0 0 0 4 0 0 0 16 0 4 0 106290125 2342912 156 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 2288

[startup+0.104055 s]
/proc/loadavg: 1.08 1.02 1.01 3/64 24916
/proc/meminfo: memFree=1539840/2055920 swapFree=4181132/4192956
[pid=24916] ppid=24914 vsize=2288 CPUtime=0.17
/proc/24916/stat : 24916 (satake) S 24914 24916 24547 0 -1 4194304 175 0 0 0 13 4 0 0 18 0 4 0 106290125 2342912 160 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24916/statm: 572 160 70 163 0 407 0
[pid=24916/tid=24917] ppid=24914 vsize=2288 CPUtime=0.01
/proc/24916/task/24917/stat : 24917 (satake) R 24914 24916 24547 0 -1 4194368 16 0 0 0 0 1 0 0 16 0 4 0 106290125 2342912 160 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24916/tid=24918] ppid=24914 vsize=2288 CPUtime=0.07
/proc/24916/task/24918/stat : 24918 (satake) R 24914 24916 24547 0 -1 4194368 41 0 0 0 7 0 0 0 16 0 4 0 106290125 2342912 160 1992294400 134512640 135180984 4294956208 18446744073709551615 134518217 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24916/tid=24919] ppid=24914 vsize=2288 CPUtime=0.07
/proc/24916/task/24919/stat : 24919 (satake) S 24914 24916 24547 0 -1 4194368 35 0 0 0 6 1 0 0 16 0 4 0 106290125 2342912 160 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 2288

[startup+0.301302 s]
/proc/loadavg: 1.08 1.02 1.01 3/64 24916
/proc/meminfo: memFree=1539840/2055920 swapFree=4181132/4192956
[pid=24916] ppid=24914 vsize=2288 CPUtime=0.47
/proc/24916/stat : 24916 (satake) S 24914 24916 24547 0 -1 4194304 201 0 0 0 38 9 0 0 18 0 4 0 106290125 2342912 186 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24916/statm: 572 186 70 163 0 407 0
[pid=24916/tid=24917] ppid=24914 vsize=2288 CPUtime=0.03
/proc/24916/task/24917/stat : 24917 (satake) R 24914 24916 24547 0 -1 4194368 24 0 0 0 0 3 0 0 17 0 4 0 106290125 2342912 186 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24916/tid=24918] ppid=24914 vsize=2288 CPUtime=0.21
/proc/24916/task/24918/stat : 24918 (satake) R 24914 24916 24547 0 -1 4194368 51 0 0 0 19 2 0 0 16 0 4 0 106290125 2342912 186 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24916/tid=24919] ppid=24914 vsize=2288 CPUtime=0.2
/proc/24916/task/24919/stat : 24919 (satake) S 24914 24916 24547 0 -1 4194368 43 0 0 0 17 3 0 0 16 0 4 0 106290125 2342912 186 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2288

[startup+0.701365 s]
/proc/loadavg: 1.08 1.02 1.01 3/64 24916
/proc/meminfo: memFree=1539840/2055920 swapFree=4181132/4192956
[pid=24916] ppid=24914 vsize=2288 CPUtime=1.1
/proc/24916/stat : 24916 (satake) S 24914 24916 24547 0 -1 4194304 245 0 0 0 89 21 0 0 18 0 4 0 106290125 2342912 230 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24916/statm: 572 230 70 163 0 407 0
[pid=24916/tid=24917] ppid=24914 vsize=2288 CPUtime=0.11
/proc/24916/task/24917/stat : 24917 (satake) R 24914 24916 24547 0 -1 4194368 41 0 0 0 2 9 0 0 15 0 4 0 106290125 2342912 230 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24916/tid=24918] ppid=24914 vsize=2288 CPUtime=0.48
/proc/24916/task/24918/stat : 24918 (satake) S 24914 24916 24547 0 -1 4194368 62 0 0 0 43 5 0 0 15 0 4 0 106290125 2342912 230 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24916/tid=24919] ppid=24914 vsize=2288 CPUtime=0.49
/proc/24916/task/24919/stat : 24919 (satake) R 24914 24916 24547 0 -1 4194368 59 0 0 0 43 6 0 0 16 0 4 0 106290125 2342912 230 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 2288

[startup+1.5017 s]
/proc/loadavg: 1.08 1.02 1.01 3/68 24920
/proc/meminfo: memFree=1539040/2055920 swapFree=4181132/4192956
[pid=24916] ppid=24914 vsize=2420 CPUtime=2.34
/proc/24916/stat : 24916 (satake) S 24914 24916 24547 0 -1 4194304 317 0 0 0 189 45 0 0 18 0 4 0 106290125 2478080 302 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24916/statm: 605 302 70 163 0 440 0
[pid=24916/tid=24917] ppid=24914 vsize=2420 CPUtime=0.24
/proc/24916/task/24917/stat : 24917 (satake) R 24914 24916 24547 0 -1 4194368 70 0 0 0 5 19 0 0 15 0 4 0 106290125 2478080 302 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24916/tid=24918] ppid=24914 vsize=2420 CPUtime=1.04
/proc/24916/task/24918/stat : 24918 (satake) R 24914 24916 24547 0 -1 4194368 82 0 0 0 91 13 0 0 17 0 4 0 106290125 2478080 302 1992294400 134512640 135180984 4294956208 18446744073709551615 134527255 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24916/tid=24919] ppid=24914 vsize=2420 CPUtime=1.04
/proc/24916/task/24919/stat : 24919 (satake) R 24914 24916 24547 0 -1 4194368 82 0 0 0 92 12 0 0 15 0 4 0 106290125 2478080 302 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 2420

[startup+3.10193 s]
/proc/loadavg: 1.08 1.02 1.01 3/68 24920
/proc/meminfo: memFree=1538528/2055920 swapFree=4181132/4192956
[pid=24916] ppid=24914 vsize=2584 CPUtime=4.76
/proc/24916/stat : 24916 (satake) S 24914 24916 24547 0 -1 4194304 455 0 0 0 398 78 0 0 18 0 4 0 106290125 2646016 440 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24916/statm: 646 440 70 163 0 481 0
[pid=24916/tid=24917] ppid=24914 vsize=2584 CPUtime=0.43
/proc/24916/task/24917/stat : 24917 (satake) R 24914 24916 24547 0 -1 4194368 148 0 0 0 9 34 0 0 16 0 4 0 106290125 2646016 440 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24916/tid=24918] ppid=24914 vsize=2584 CPUtime=2.16
/proc/24916/task/24918/stat : 24918 (satake) R 24914 24916 24547 0 -1 4194368 105 0 0 0 196 20 0 0 16 0 4 0 106290125 2646016 440 1992294400 134512640 135180984 4294956208 18446744073709551615 134523687 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24916/tid=24919] ppid=24914 vsize=2584 CPUtime=2.13
/proc/24916/task/24919/stat : 24919 (satake) S 24914 24916 24547 0 -1 4194368 119 0 0 0 191 22 0 0 15 0 4 0 106290125 2646016 440 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.76
Current children cumulated vsize (KiB) 2584

[startup+6.30126 s]
/proc/loadavg: 1.15 1.03 1.01 3/68 24920
/proc/meminfo: memFree=1537376/2055920 swapFree=4181132/4192956
[pid=24916] ppid=24914 vsize=3760 CPUtime=9.74
/proc/24916/stat : 24916 (satake) S 24914 24916 24547 0 -1 4194304 715 0 0 0 820 154 0 0 18 0 4 0 106290125 3850240 700 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24916/statm: 940 700 70 163 0 775 0
[pid=24916/tid=24917] ppid=24914 vsize=3760 CPUtime=0.88
/proc/24916/task/24917/stat : 24917 (satake) R 24914 24916 24547 0 -1 4194368 338 0 0 0 19 69 0 0 16 0 4 0 106290125 3850240 700 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24916/tid=24918] ppid=24914 vsize=3760 CPUtime=4.41
/proc/24916/task/24918/stat : 24918 (satake) R 24914 24916 24547 0 -1 4194368 142 0 0 0 401 40 0 0 16 0 4 0 106290125 3850240 700 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24916/tid=24919] ppid=24914 vsize=3760 CPUtime=4.43
/proc/24916/task/24919/stat : 24919 (satake) R 24914 24916 24547 0 -1 4194368 152 0 0 0 399 44 0 0 17 0 4 0 106290125 3850240 700 1992294400 134512640 135180984 4294956208 18446744073709551615 134526395 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9.74
Current children cumulated vsize (KiB) 3760

[startup+12.7052 s]
/proc/loadavg: 1.22 1.05 1.02 3/68 24920
/proc/meminfo: memFree=1535272/2055920 swapFree=4181132/4192956
[pid=24916] ppid=24914 vsize=6996 CPUtime=19.77
/proc/24916/stat : 24916 (satake) S 24914 24916 24547 0 -1 4194304 1209 0 0 0 1666 311 0 0 18 0 4 0 106290125 7163904 1194 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24916/statm: 1749 1194 70 163 0 1584 0
[pid=24916/tid=24917] ppid=24914 vsize=6996 CPUtime=1.79
/proc/24916/task/24917/stat : 24917 (satake) R 24914 24916 24547 0 -1 4194368 707 0 0 0 39 140 0 0 16 0 4 0 106290125 7163904 1194 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24916/tid=24918] ppid=24914 vsize=6996 CPUtime=9.09
/proc/24916/task/24918/stat : 24918 (satake) S 24914 24916 24547 0 -1 4194368 215 0 0 0 824 85 0 0 15 0 4 0 106290125 7163904 1194 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=24916/tid=24919] ppid=24914 vsize=6996 CPUtime=8.86
/proc/24916/task/24919/stat : 24919 (satake) R 24914 24916 24547 0 -1 4194368 204 0 0 0 801 85 0 0 16 0 4 0 106290125 7163904 1194 1992294400 134512640 135180984 4294956208 18446744073709551615 134528454 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 19.77
Current children cumulated vsize (KiB) 6996

[startup+25.5015 s]
/proc/loadavg: 1.47 1.11 1.04 4/68 24920
/proc/meminfo: memFree=1532072/2055920 swapFree=4181132/4192956
[pid=24916] ppid=24914 vsize=10360 CPUtime=40.02
/proc/24916/stat : 24916 (satake) S 24914 24916 24547 0 -1 4194304 2016 0 0 0 3413 589 0 0 18 0 4 0 106290125 10608640 2001 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24916/statm: 2590 2001 70 163 0 2425 0
[pid=24916/tid=24917] ppid=24914 vsize=10360 CPUtime=3.44
/proc/24916/task/24917/stat : 24917 (satake) R 24914 24916 24547 0 -1 4194368 1384 0 0 0 73 271 0 0 17 0 4 0 106290125 10608640 2001 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24916/tid=24918] ppid=24914 vsize=10360 CPUtime=18.37
/proc/24916/task/24918/stat : 24918 (satake) S 24914 24916 24547 0 -1 4194368 258 0 0 0 1679 158 0 0 16 0 4 0 106290125 10608640 2001 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=24916/tid=24919] ppid=24914 vsize=10360 CPUtime=18.19
/proc/24916/task/24919/stat : 24919 (satake) R 24914 24916 24547 0 -1 4194368 291 0 0 0 1660 159 0 0 15 0 4 0 106290125 10608640 2001 1992294400 134512640 135180984 4294956208 18446744073709551615 134532475 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 40.02
Current children cumulated vsize (KiB) 10360

[startup+51.1052 s]
/proc/loadavg: 1.79 1.21 1.07 3/68 24920
/proc/meminfo: memFree=1526120/2055920 swapFree=4181132/4192956
[pid=24916] ppid=24914 vsize=18244 CPUtime=81.61
/proc/24916/stat : 24916 (satake) S 24914 24916 24547 0 -1 4194304 3566 0 0 0 7005 1156 0 0 18 0 4 0 106290125 18681856 3551 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24916/statm: 4561 3551 70 163 0 4396 0
[pid=24916/tid=24917] ppid=24914 vsize=18244 CPUtime=6.79
/proc/24916/task/24917/stat : 24917 (satake) R 24914 24916 24547 0 -1 4194368 2672 0 0 0 149 530 0 0 16 0 4 0 106290125 18681856 3551 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24916/tid=24918] ppid=24914 vsize=18244 CPUtime=37.46
/proc/24916/task/24918/stat : 24918 (satake) R 24914 24916 24547 0 -1 4194368 368 0 0 0 3439 307 0 0 15 0 4 0 106290125 18681856 3551 1992294400 134512640 135180984 4294956208 18446744073709551615 134528862 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24916/tid=24919] ppid=24914 vsize=18244 CPUtime=37.34
/proc/24916/task/24919/stat : 24919 (satake) S 24914 24916 24547 0 -1 4194368 443 0 0 0 3417 317 0 0 15 0 4 0 106290125 18681856 3551 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 81.61
Current children cumulated vsize (KiB) 18244

[startup+102.307 s]
/proc/loadavg: 2.20 1.40 1.14 3/68 24920
/proc/meminfo: memFree=1512936/2055920 swapFree=4181132/4192956
[pid=24916] ppid=24914 vsize=33096 CPUtime=165.47
/proc/24916/stat : 24916 (satake) S 24914 24916 24547 0 -1 4194304 6744 0 0 0 14190 2357 0 0 18 0 4 0 106290125 33890304 6729 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24916/statm: 8274 6729 70 163 0 8109 0
[pid=24916/tid=24917] ppid=24914 vsize=33096 CPUtime=13.94
/proc/24916/task/24917/stat : 24917 (satake) R 24914 24916 24547 0 -1 4194368 5349 0 0 0 307 1087 0 0 16 0 4 0 106290125 33890304 6729 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24916/tid=24918] ppid=24914 vsize=33096 CPUtime=76.66
/proc/24916/task/24918/stat : 24918 (satake) S 24914 24916 24547 0 -1 4194368 558 0 0 0 7025 641 0 0 16 0 4 0 106290125 33890304 6729 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=24916/tid=24919] ppid=24914 vsize=33096 CPUtime=74.84
/proc/24916/task/24919/stat : 24919 (satake) R 24914 24916 24547 0 -1 4194368 754 0 0 0 6857 627 0 0 15 0 4 0 106290125 33890304 6729 1992294400 134512640 135180984 4294956208 18446744073709551615 134528109 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 165.47
Current children cumulated vsize (KiB) 33096

[startup+162.301 s]
/proc/loadavg: 2.18 1.55 1.20 3/68 24920
/proc/meminfo: memFree=1498152/2055920 swapFree=4181132/4192956
[pid=24916] ppid=24914 vsize=50264 CPUtime=264.33
/proc/24916/stat : 24916 (satake) S 24914 24916 24547 0 -1 4194304 10477 0 0 0 22698 3735 0 0 18 0 4 0 106290125 51470336 10462 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24916/statm: 12566 10462 70 163 0 12401 0
[pid=24916/tid=24917] ppid=24914 vsize=50264 CPUtime=22.09
/proc/24916/task/24917/stat : 24917 (satake) R 24914 24916 24547 0 -1 4194368 8613 0 0 0 489 1720 0 0 17 0 4 0 106290125 51470336 10462 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24916/tid=24918] ppid=24914 vsize=50264 CPUtime=122.41

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

Current children cumulated vsize (KiB) 72320

[startup+282.302 s]
/proc/loadavg: 2.40 1.82 1.34 4/68 24920
/proc/meminfo: memFree=1465576/2055920 swapFree=4181132/4192956
[pid=24916] ppid=24914 vsize=90924 CPUtime=461.41
/proc/24916/stat : 24916 (satake) S 24914 24916 24547 0 -1 4194304 18610 0 0 0 39026 7115 0 0 18 0 4 0 106290125 93106176 18595 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24916/statm: 22731 18595 70 163 0 22566 0
[pid=24916/tid=24917] ppid=24914 vsize=90924 CPUtime=42.49
/proc/24916/task/24917/stat : 24917 (satake) S 24914 24916 24547 0 -1 4194368 15405 0 0 0 945 3304 0 0 16 0 4 0 106290125 93106176 18595 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=24916/tid=24918] ppid=24914 vsize=90924 CPUtime=210.68
/proc/24916/task/24918/stat : 24918 (satake) R 24914 24916 24547 0 -1 4194368 1239 0 0 0 19174 1894 0 0 16 0 4 0 106290125 93106176 18595 1992294400 134512640 135180984 4294956208 18446744073709551615 134523773 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24916/tid=24919] ppid=24914 vsize=90924 CPUtime=208.21
/proc/24916/task/24919/stat : 24919 (satake) R 24914 24916 24547 0 -1 4194368 1883 0 0 0 18905 1916 0 0 15 0 4 0 106290125 93106176 18595 1992294400 134512640 135180984 4294956208 18446744073709551615 134522986 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 461.41
Current children cumulated vsize (KiB) 90924

[startup+342.302 s]
/proc/loadavg: 2.35 1.91 1.40 3/68 24920
/proc/meminfo: memFree=1450344/2055920 swapFree=4181132/4192956
[pid=24916] ppid=24914 vsize=107304 CPUtime=561.54
/proc/24916/stat : 24916 (satake) S 24914 24916 24547 0 -1 4194304 22377 0 0 0 47515 8639 0 0 18 0 4 0 106290125 109879296 22362 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24916/statm: 26826 22362 70 163 0 26661 0
[pid=24916/tid=24917] ppid=24914 vsize=107304 CPUtime=51.65
/proc/24916/task/24917/stat : 24917 (satake) R 24914 24916 24547 0 -1 4194368 17948 0 0 0 1147 4018 0 0 16 0 4 0 106290125 109879296 22362 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24916/tid=24918] ppid=24914 vsize=107304 CPUtime=256.7
/proc/24916/task/24918/stat : 24918 (satake) R 24914 24916 24547 0 -1 4194368 1924 0 0 0 23372 2298 0 0 16 0 4 0 106290125 109879296 22362 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24916/tid=24919] ppid=24914 vsize=107304 CPUtime=253.18
/proc/24916/task/24919/stat : 24919 (satake) S 24914 24916 24547 0 -1 4194368 2422 0 0 0 22995 2323 0 0 15 0 4 0 106290125 109879296 22362 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 561.54
Current children cumulated vsize (KiB) 107304

[startup+402.302 s]
/proc/loadavg: 2.25 1.96 1.45 4/68 24920
/proc/meminfo: memFree=1432680/2055920 swapFree=4181132/4192956
[pid=24916] ppid=24914 vsize=131392 CPUtime=661.56
/proc/24916/stat : 24916 (satake) S 24914 24916 24547 0 -1 4194304 26805 0 0 0 55647 10509 0 0 18 0 4 0 106290125 134545408 26790 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24916/statm: 32848 26790 70 163 0 32683 0
[pid=24916/tid=24917] ppid=24914 vsize=131392 CPUtime=62.98
/proc/24916/task/24917/stat : 24917 (satake) R 24914 24916 24547 0 -1 4194368 21488 0 0 0 1390 4908 0 0 16 0 4 0 106290125 134545408 26790 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24916/tid=24918] ppid=24914 vsize=131392 CPUtime=301.63
/proc/24916/task/24918/stat : 24918 (satake) R 24914 24916 24547 0 -1 4194368 2384 0 0 0 27372 2791 0 0 16 0 4 0 106290125 134545408 26790 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24916/tid=24919] ppid=24914 vsize=131392 CPUtime=296.93
/proc/24916/task/24919/stat : 24919 (satake) R 24914 24916 24547 0 -1 4194368 2850 0 0 0 26884 2809 0 0 16 0 4 0 106290125 134545408 26790 1992294400 134512640 135180984 4294956208 18446744073709551615 134523851 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 661.56
Current children cumulated vsize (KiB) 131392

[startup+462.305 s]
/proc/loadavg: 2.28 2.02 1.50 3/68 24920
/proc/meminfo: memFree=1412840/2055920 swapFree=4181132/4192956
[pid=24916] ppid=24914 vsize=152648 CPUtime=761.32
/proc/24916/stat : 24916 (satake) S 24914 24916 24547 0 -1 4194304 31753 0 0 0 63482 12650 0 0 18 0 4 0 106290125 156311552 31738 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24916/statm: 38162 31738 70 163 0 37997 0
[pid=24916/tid=24917] ppid=24914 vsize=152648 CPUtime=75.93
/proc/24916/task/24917/stat : 24917 (satake) R 24914 24916 24547 0 -1 4194368 25627 0 0 0 1669 5924 0 0 16 0 4 0 106290125 156311552 31738 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24916/tid=24918] ppid=24914 vsize=152648 CPUtime=345.78
/proc/24916/task/24918/stat : 24918 (satake) R 24914 24916 24547 0 -1 4194368 2737 0 0 0 31223 3355 0 0 15 0 4 0 106290125 156311552 31738 1992294400 134512640 135180984 4294956208 18446744073709551615 134528462 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24916/tid=24919] ppid=24914 vsize=152648 CPUtime=339.58
/proc/24916/task/24919/stat : 24919 (satake) R 24914 24916 24547 0 -1 4194368 3306 0 0 0 30589 3369 0 0 15 0 4 0 106290125 156311552 31738 1992294400 134512640 135180984 4294956208 18446744073709551615 134528763 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 761.32
Current children cumulated vsize (KiB) 152648

[startup+522.302 s]
/proc/loadavg: 2.27 2.06 1.54 3/68 24920
/proc/meminfo: memFree=1393512/2055920 swapFree=4181132/4192956
[pid=24916] ppid=24914 vsize=177596 CPUtime=861.56
/proc/24916/stat : 24916 (satake) S 24914 24916 24547 0 -1 4194304 36629 0 0 0 71447 14709 0 0 18 0 4 0 106290125 181858304 36614 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24916/statm: 44399 36614 70 163 0 44234 0
[pid=24916/tid=24917] ppid=24914 vsize=177596 CPUtime=88.66
/proc/24916/task/24917/stat : 24917 (satake) R 24914 24916 24547 0 -1 4194368 29362 0 0 0 1958 6908 0 0 16 0 4 0 106290125 181858304 36614 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24916/tid=24918] ppid=24914 vsize=177596 CPUtime=389.89
/proc/24916/task/24918/stat : 24918 (satake) S 24914 24916 24547 0 -1 4194368 3274 0 0 0 35098 3891 0 0 15 0 4 0 106290125 181858304 36614 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24916/tid=24919] ppid=24914 vsize=177596 CPUtime=382.99
/proc/24916/task/24919/stat : 24919 (satake) R 24914 24916 24547 0 -1 4194368 3910 0 0 0 34390 3909 0 0 16 0 4 0 106290125 181858304 36614 1992294400 134512640 135180984 4294956208 18446744073709551615 134528661 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 861.56
Current children cumulated vsize (KiB) 177596

[startup+582.301 s]
/proc/loadavg: 2.39 2.12 1.60 3/68 24920
/proc/meminfo: memFree=1374184/2055920 swapFree=4181132/4192956
[pid=24916] ppid=24914 vsize=198096 CPUtime=962.89
/proc/24916/stat : 24916 (satake) S 24914 24916 24547 0 -1 4194304 41401 0 0 0 79524 16765 0 0 18 0 4 0 106290125 202850304 41386 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24916/statm: 49524 41386 70 163 0 49359 0
[pid=24916/tid=24917] ppid=24914 vsize=198096 CPUtime=101.15
/proc/24916/task/24917/stat : 24917 (satake) R 24914 24916 24547 0 -1 4194368 32755 0 0 0 2229 7886 0 0 16 0 4 0 106290125 202850304 41386 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24916/tid=24918] ppid=24914 vsize=198096 CPUtime=434.82
/proc/24916/task/24918/stat : 24918 (satake) R 24914 24916 24547 0 -1 4194368 3780 0 0 0 39051 4431 0 0 15 0 4 0 106290125 202850304 41386 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24916/tid=24919] ppid=24914 vsize=198096 CPUtime=426.89
/proc/24916/task/24919/stat : 24919 (satake) R 24914 24916 24547 0 -1 4194368 4783 0 0 0 38242 4447 0 0 16 0 4 0 106290125 202850304 41386 1992294400 134512640 135180984 4294956208 18446744073709551615 134518648 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 962.89
Current children cumulated vsize (KiB) 198096

[startup+642.303 s]
/proc/loadavg: 2.50 2.20 1.65 3/68 24920
/proc/meminfo: memFree=1355112/2055920 swapFree=4181132/4192956
[pid=24916] ppid=24914 vsize=229076 CPUtime=1064.39
/proc/24916/stat : 24916 (satake) S 24914 24916 24547 0 -1 4194304 46090 0 0 0 87649 18790 0 0 18 0 4 0 106290125 234573824 46075 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24916/statm: 57269 46075 70 163 0 57104 0
[pid=24916/tid=24917] ppid=24914 vsize=229076 CPUtime=113.45
/proc/24916/task/24917/stat : 24917 (satake) S 24914 24916 24547 0 -1 4194368 35985 0 0 0 2495 8850 0 0 16 0 4 0 106290125 234573824 46075 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24916/tid=24918] ppid=24914 vsize=229076 CPUtime=479.77
/proc/24916/task/24918/stat : 24918 (satake) R 24914 24916 24547 0 -1 4194368 4573 0 0 0 43012 4965 0 0 16 0 4 0 106290125 234573824 46075 1992294400 134512640 135180984 4294956208 18446744073709551615 134523762 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24916/tid=24919] ppid=24914 vsize=229076 CPUtime=471.16
/proc/24916/task/24919/stat : 24919 (satake) R 24914 24916 24547 0 -1 4194368 5449 0 0 0 42142 4974 0 0 16 0 4 0 106290125 234573824 46075 1992294400 134512640 135180984 4294956208 18446744073709551615 134528532 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1064.39
Current children cumulated vsize (KiB) 229076

[startup+702.302 s]
/proc/loadavg: 2.52 2.26 1.70 3/68 24926
/proc/meminfo: memFree=1336224/2055920 swapFree=4181132/4192956
[pid=24916] ppid=24914 vsize=249588 CPUtime=1165.5
/proc/24916/stat : 24916 (satake) S 24914 24916 24547 0 -1 4194304 50816 0 0 0 95726 20824 0 0 18 0 4 0 106290125 255578112 50801 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24916/statm: 62397 50801 70 163 0 62232 0
[pid=24916/tid=24917] ppid=24914 vsize=249588 CPUtime=125.81
/proc/24916/task/24917/stat : 24917 (satake) R 24914 24916 24547 0 -1 4194368 39696 0 0 0 2765 9816 0 0 16 0 4 0 106290125 255578112 50801 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24916/tid=24918] ppid=24914 vsize=249588 CPUtime=524.32
/proc/24916/task/24918/stat : 24918 (satake) S 24914 24916 24547 0 -1 4194368 5176 0 0 0 46937 5495 0 0 15 0 4 0 106290125 255578112 50801 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24916/tid=24919] ppid=24914 vsize=249588 CPUtime=515.35
/proc/24916/task/24919/stat : 24919 (satake) R 24914 24916 24547 0 -1 4194368 5861 0 0 0 46023 5512 0 0 16 0 4 0 106290125 255578112 50801 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1165.5
Current children cumulated vsize (KiB) 249588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+722.902 s]
/proc/loadavg: 2.58 2.29 1.73 4/68 24926
/proc/meminfo: memFree=1329376/2055920 swapFree=4181132/4192956
[pid=24916] ppid=24914 vsize=257092 CPUtime=1200.05
/proc/24916/stat : 24916 (satake) S 24914 24916 24547 0 -1 4194304 52463 0 0 0 98495 21510 0 0 18 0 4 0 106290125 263262208 52448 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24916/statm: 64273 52448 70 163 0 64108 0
[pid=24916/tid=24917] ppid=24914 vsize=257092 CPUtime=130
/proc/24916/task/24917/stat : 24917 (satake) S 24914 24916 24547 0 -1 4194368 41090 0 0 0 2857 10143 0 0 16 0 4 0 106290125 263262208 52448 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24916/tid=24918] ppid=24914 vsize=257092 CPUtime=539.63
/proc/24916/task/24918/stat : 24918 (satake) R 24914 24916 24547 0 -1 4194368 5347 0 0 0 48288 5675 0 0 16 0 4 0 106290125 263262208 52448 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24916/tid=24919] ppid=24914 vsize=257092 CPUtime=530.4
/proc/24916/task/24919/stat : 24919 (satake) R 24914 24916 24547 0 -1 4194368 5943 0 0 0 47349 5691 0 0 16 0 4 0 106290125 263262208 52448 1992294400 134512640 135180984 4294956208 18446744073709551615 134518214 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 257092

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

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

[startup+722.902 s]
/proc/loadavg: 2.58 2.29 1.73 4/68 24926
/proc/meminfo: memFree=1329376/2055920 swapFree=4181132/4192956
[pid=24916] ppid=24914 vsize=257092 CPUtime=1200.05
/proc/24916/stat : 24916 (satake) S 24914 24916 24547 0 -1 4194304 52463 0 0 0 98495 21510 0 0 18 0 4 0 106290125 263262208 52448 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24916/statm: 64273 52448 70 163 0 64108 0
[pid=24916/tid=24917] ppid=24914 vsize=257092 CPUtime=130
/proc/24916/task/24917/stat : 24917 (satake) S 24914 24916 24547 0 -1 4194368 41090 0 0 0 2857 10143 0 0 16 0 4 0 106290125 263262208 52448 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24916/tid=24918] ppid=24914 vsize=257092 CPUtime=539.63
/proc/24916/task/24918/stat : 24918 (satake) R 24914 24916 24547 0 -1 4194368 5347 0 0 0 48288 5675 0 0 16 0 4 0 106290125 263262208 52448 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24916/tid=24919] ppid=24914 vsize=257092 CPUtime=530.4
/proc/24916/task/24919/stat : 24919 (satake) R 24914 24916 24547 0 -1 4194368 5943 0 0 0 47349 5691 0 0 16 0 4 0 106290125 263262208 52448 1992294400 134512640 135180984 4294956208 18446744073709551615 134518214 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 257092

Child ended because it received signal 15 (SIGTERM)
Real time (s): 722.95
CPU time (s): 1200.11
CPU user time (s): 984.963
CPU system time (s): 215.149
CPU usage (%): 166.002
Max. virtual memory (cumulated for all children) (KiB): 257092

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= 984.963
system time used= 215.149
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52465
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= 12630920
involuntary context switches= 12116322

runsolver used 0.85087 second user time and 2.16867 second system time

The end

Launcher Data 

Begin job on node26 at 2009-04-26 23:49:31
IDJOB=1732640
IDBENCH=71124
IDSOLVER=553
FILE ID=node26/1732640-1240782571
PBS_JOBID= 9187236
Free space on /tmp= 66108 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/CRAFTED/sgen/sat/sgen1-sat-200-100.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1732640-1240782571/watcher-1732640-1240782571 -o /tmp/evaluation-result-1732640-1240782571/solver-1732640-1240782571 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1732640-1240782571.cnf 3 1200

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

MD5SUM BENCH= 3eff3d0cb86e42a8fbb844259e0c7beb
RANDOM SEED=812355111

node26.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.261
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.261
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:       1540256 kB
Buffers:         62196 kB
Cached:         375744 kB
SwapCached:       5692 kB
Active:         131236 kB
Inactive:       314840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1540256 kB
SwapTotal:     4192956 kB
SwapFree:      4181132 kB
Dirty:             884 kB
Writeback:           0 kB
Mapped:          13604 kB
Slab:            55564 kB
Committed_AS:   385904 kB
PageTables:       1368 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= 66108 MiB
End job on node26 at 2009-04-27 00:01:36