Trace number 1729683

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 709.457

General information on the benchmark

Namecrafted/Hard/contest03/looksrandom/
hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf
MD5SUM8fce8bf20db46a2557b7a1cf79e53b51
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables260
Number of clauses486
Sum of the clauses size1102
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2421
Number of clauses of size 30
Number of clauses of size 465
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-1729683-1240752553/watcher-1729683-1240752553 -o /tmp/evaluation-result-1729683-1240752553/solver-1729683-1240752553 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1729683-1240752553.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.97 0.98 3/64 2710
/proc/meminfo: memFree=1471408/2055920 swapFree=4192812/4192956
[pid=2710] ppid=2708 vsize=2040 CPUtime=0
/proc/2710/stat : 2710 (satake) S 2708 2710 2611 0 -1 4194304 144 0 0 0 0 0 0 0 18 0 4 0 103283757 2088960 129 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2710/statm: 510 129 68 163 0 345 0
[pid=2710/tid=2711] ppid=2708 vsize=2040 CPUtime=0
/proc/2710/task/2711/stat : 2711 (satake) R 2708 2710 2611 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 103283757 2088960 130 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2710/tid=2712] ppid=2708 vsize=2040 CPUtime=0
/proc/2710/task/2712/stat : 2712 (satake) R 2708 2710 2611 0 -1 4194368 28 0 0 0 0 0 0 0 19 0 4 0 103283757 2088960 130 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2710/tid=2713] ppid=2708 vsize=2040 CPUtime=0
/proc/2710/task/2713/stat : 2713 (satake) R 2708 2710 2611 0 -1 4194368 27 0 0 0 0 0 0 0 19 0 4 0 103283757 2088960 130 1992294400 134512640 135180984 4294956208 18446744073709551615 134526101 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.06145 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 2710
/proc/meminfo: memFree=1471408/2055920 swapFree=4192812/4192956
[pid=2710] ppid=2708 vsize=2172 CPUtime=0.07
/proc/2710/stat : 2710 (satake) S 2708 2710 2611 0 -1 4194304 180 0 0 0 5 2 0 0 18 0 4 0 103283757 2224128 165 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2710/statm: 543 165 70 163 0 378 0
[pid=2710/tid=2711] ppid=2708 vsize=2172 CPUtime=0.01
/proc/2710/task/2711/stat : 2711 (satake) R 2708 2710 2611 0 -1 4194368 17 0 0 0 0 1 0 0 16 0 4 0 103283757 2224128 165 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2710/tid=2712] ppid=2708 vsize=2172 CPUtime=0.02
/proc/2710/task/2712/stat : 2712 (satake) S 2708 2710 2611 0 -1 4194368 42 0 0 0 2 0 0 0 16 0 4 0 103283757 2224128 165 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=2710/tid=2713] ppid=2708 vsize=2172 CPUtime=0.02
/proc/2710/task/2713/stat : 2713 (satake) R 2708 2710 2611 0 -1 4194368 38 0 0 0 2 0 0 0 16 0 4 0 103283757 2224128 165 1992294400 134512640 135180984 4294956208 18446744073709551615 134526685 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2172

[startup+0.10243 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 2710
/proc/meminfo: memFree=1471408/2055920 swapFree=4192812/4192956
[pid=2710] ppid=2708 vsize=2172 CPUtime=0.13
/proc/2710/stat : 2710 (satake) S 2708 2710 2611 0 -1 4194304 187 0 0 0 9 4 0 0 18 0 4 0 103283757 2224128 172 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2710/statm: 543 172 70 163 0 378 0
[pid=2710/tid=2711] ppid=2708 vsize=2172 CPUtime=0.02
/proc/2710/task/2711/stat : 2711 (satake) R 2708 2710 2611 0 -1 4194368 19 0 0 0 0 2 0 0 17 0 4 0 103283757 2224128 172 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2710/tid=2712] ppid=2708 vsize=2172 CPUtime=0.04
/proc/2710/task/2712/stat : 2712 (satake) S 2708 2710 2611 0 -1 4194368 45 0 0 0 4 0 0 0 16 0 4 0 103283757 2224128 172 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=2710/tid=2713] ppid=2708 vsize=2172 CPUtime=0.05
/proc/2710/task/2713/stat : 2713 (satake) R 2708 2710 2611 0 -1 4194368 40 0 0 0 4 1 0 0 16 0 4 0 103283757 2224128 172 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 2172

[startup+0.30187 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 2710
/proc/meminfo: memFree=1471408/2055920 swapFree=4192812/4192956
[pid=2710] ppid=2708 vsize=2304 CPUtime=0.45
/proc/2710/stat : 2710 (satake) S 2708 2710 2611 0 -1 4194304 219 0 0 0 32 13 0 0 18 0 4 0 103283757 2359296 204 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2710/statm: 576 204 70 163 0 411 0
[pid=2710/tid=2711] ppid=2708 vsize=2304 CPUtime=0.07
/proc/2710/task/2711/stat : 2711 (satake) S 2708 2710 2611 0 -1 4194368 27 0 0 0 1 6 0 0 16 0 4 0 103283757 2359296 204 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=2710/tid=2712] ppid=2708 vsize=2304 CPUtime=0.17
/proc/2710/task/2712/stat : 2712 (satake) R 2708 2710 2611 0 -1 4194368 62 0 0 0 15 2 0 0 16 0 4 0 103283757 2359296 204 1992294400 134512640 135180984 4294956208 18446744073709551615 134530765 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2710/tid=2713] ppid=2708 vsize=2304 CPUtime=0.18
/proc/2710/task/2713/stat : 2713 (satake) R 2708 2710 2611 0 -1 4194368 47 0 0 0 15 3 0 0 17 0 4 0 103283757 2359296 204 1992294400 134512640 135180984 4294956208 18446744073709551615 134519103 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 2304

[startup+0.701947 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 2710
/proc/meminfo: memFree=1471408/2055920 swapFree=4192812/4192956
[pid=2710] ppid=2708 vsize=2436 CPUtime=1.06
/proc/2710/stat : 2710 (satake) S 2708 2710 2611 0 -1 4194304 273 0 0 0 77 29 0 0 18 0 4 0 103283757 2494464 258 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2710/statm: 609 258 70 163 0 444 0
[pid=2710/tid=2711] ppid=2708 vsize=2436 CPUtime=0.17
/proc/2710/task/2711/stat : 2711 (satake) R 2708 2710 2611 0 -1 4194368 40 0 0 0 3 14 0 0 17 0 4 0 103283757 2494464 258 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2710/tid=2712] ppid=2708 vsize=2436 CPUtime=0.45
/proc/2710/task/2712/stat : 2712 (satake) R 2708 2710 2611 0 -1 4194368 97 0 0 0 38 7 0 0 16 0 4 0 103283757 2494464 258 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2710/tid=2713] ppid=2708 vsize=2436 CPUtime=0.42
/proc/2710/task/2713/stat : 2713 (satake) R 2708 2710 2611 0 -1 4194368 53 0 0 0 35 7 0 0 17 0 4 0 103283757 2494464 258 1992294400 134512640 135180984 4294956208 18446744073709551615 134519916 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 2436

[startup+1.50229 s]
/proc/loadavg: 0.99 0.97 0.98 3/68 2714
/proc/meminfo: memFree=1470416/2055920 swapFree=4192812/4192956
[pid=2710] ppid=2708 vsize=2832 CPUtime=2.32
/proc/2710/stat : 2710 (satake) S 2708 2710 2611 0 -1 4194304 371 0 0 0 167 65 0 0 18 0 4 0 103283757 2899968 356 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2710/statm: 708 356 70 163 0 543 0
[pid=2710/tid=2711] ppid=2708 vsize=2832 CPUtime=0.38
/proc/2710/task/2711/stat : 2711 (satake) R 2708 2710 2611 0 -1 4194368 95 0 0 0 7 31 0 0 16 0 4 0 103283757 2899968 356 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2710/tid=2712] ppid=2708 vsize=2832 CPUtime=0.98
/proc/2710/task/2712/stat : 2712 (satake) S 2708 2710 2611 0 -1 4194368 128 0 0 0 81 17 0 0 16 0 4 0 103283757 2899968 356 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=2710/tid=2713] ppid=2708 vsize=2832 CPUtime=0.94
/proc/2710/task/2713/stat : 2713 (satake) S 2708 2710 2611 0 -1 4194368 65 0 0 0 78 16 0 0 15 0 4 0 103283757 2899968 356 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 2832

[startup+3.10188 s]
/proc/loadavg: 1.07 0.99 0.99 3/68 2714
/proc/meminfo: memFree=1469840/2055920 swapFree=4192812/4192956
[pid=2710] ppid=2708 vsize=3364 CPUtime=4.75
/proc/2710/stat : 2710 (satake) S 2708 2710 2611 0 -1 4194304 522 0 0 0 369 106 0 0 18 0 4 0 103283757 3444736 507 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2710/statm: 841 507 70 163 0 676 0
[pid=2710/tid=2711] ppid=2708 vsize=3364 CPUtime=0.65
/proc/2710/task/2711/stat : 2711 (satake) R 2708 2710 2611 0 -1 4194368 186 0 0 0 14 51 0 0 15 0 4 0 103283757 3444736 507 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2710/tid=2712] ppid=2708 vsize=3364 CPUtime=2.07
/proc/2710/task/2712/stat : 2712 (satake) R 2708 2710 2611 0 -1 4194368 182 0 0 0 178 29 0 0 16 0 4 0 103283757 3444736 507 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2710/tid=2713] ppid=2708 vsize=3364 CPUtime=2
/proc/2710/task/2713/stat : 2713 (satake) S 2708 2710 2611 0 -1 4194368 71 0 0 0 175 25 0 0 15 0 4 0 103283757 3444736 507 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.75
Current children cumulated vsize (KiB) 3364

[startup+6.30221 s]
/proc/loadavg: 1.07 0.99 0.99 3/68 2714
/proc/meminfo: memFree=1468560/2055920 swapFree=4192812/4192956
[pid=2710] ppid=2708 vsize=4440 CPUtime=9.87
/proc/2710/stat : 2710 (satake) S 2708 2710 2611 0 -1 4194304 808 0 0 0 797 190 0 0 18 0 4 0 103283757 4546560 793 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2710/statm: 1110 793 70 163 0 945 0
[pid=2710/tid=2711] ppid=2708 vsize=4440 CPUtime=1.15
/proc/2710/task/2711/stat : 2711 (satake) R 2708 2710 2611 0 -1 4194368 356 0 0 0 26 89 0 0 16 0 4 0 103283757 4546560 793 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2710/tid=2712] ppid=2708 vsize=4440 CPUtime=4.35
/proc/2710/task/2712/stat : 2712 (satake) S 2708 2710 2611 0 -1 4194368 260 0 0 0 384 51 0 0 15 0 4 0 103283757 4546560 793 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=2710/tid=2713] ppid=2708 vsize=4440 CPUtime=4.33
/proc/2710/task/2713/stat : 2713 (satake) R 2708 2710 2611 0 -1 4194368 109 0 0 0 385 48 0 0 16 0 4 0 103283757 4546560 793 1992294400 134512640 135180984 4294956208 18446744073709551615 134528420 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.87
Current children cumulated vsize (KiB) 4440

[startup+12.7014 s]
/proc/loadavg: 1.37 1.05 1.01 3/68 2714
/proc/meminfo: memFree=1466064/2055920 swapFree=4192812/4192956
[pid=2710] ppid=2708 vsize=6952 CPUtime=19.92
/proc/2710/stat : 2710 (satake) S 2708 2710 2611 0 -1 4194304 1399 0 0 0 1572 420 0 0 18 0 4 0 103283757 7118848 1384 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2710/statm: 1738 1384 70 163 0 1573 0
[pid=2710/tid=2711] ppid=2708 vsize=6952 CPUtime=2.58
/proc/2710/task/2711/stat : 2711 (satake) S 2708 2710 2611 0 -1 4194368 819 0 0 0 57 201 0 0 15 0 4 0 103283757 7118848 1384 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=2710/tid=2712] ppid=2708 vsize=6952 CPUtime=8.79
/proc/2710/task/2712/stat : 2712 (satake) R 2708 2710 2611 0 -1 4194368 360 0 0 0 768 111 0 0 15 0 4 0 103283757 7118848 1384 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2710/tid=2713] ppid=2708 vsize=6952 CPUtime=8.54
/proc/2710/task/2713/stat : 2713 (satake) R 2708 2710 2611 0 -1 4194368 137 0 0 0 746 108 0 0 16 0 4 0 103283757 7118848 1384 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 19.92
Current children cumulated vsize (KiB) 6952

[startup+25.5019 s]
/proc/loadavg: 1.55 1.10 1.03 2/68 2714
/proc/meminfo: memFree=1460944/2055920 swapFree=4192812/4192956
[pid=2710] ppid=2708 vsize=12096 CPUtime=40.31
/proc/2710/stat : 2710 (satake) S 2708 2710 2611 0 -1 4194304 2657 0 0 0 3092 939 0 0 18 0 4 0 103283757 12386304 2642 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2710/statm: 3024 2642 70 163 0 2859 0
[pid=2710/tid=2711] ppid=2708 vsize=12096 CPUtime=5.71
/proc/2710/task/2711/stat : 2711 (satake) R 2708 2710 2611 0 -1 4194368 1780 0 0 0 119 452 0 0 16 0 4 0 103283757 12386304 2642 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2710/tid=2712] ppid=2708 vsize=12096 CPUtime=17.59
/proc/2710/task/2712/stat : 2712 (satake) R 2708 2710 2611 0 -1 4194368 569 0 0 0 1514 245 0 0 15 0 4 0 103283757 12386304 2642 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2710/tid=2713] ppid=2708 vsize=12096 CPUtime=16.99
/proc/2710/task/2713/stat : 2713 (satake) S 2708 2710 2611 0 -1 4194368 225 0 0 0 1458 241 0 0 16 0 4 0 103283757 12386304 2642 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 40.31
Current children cumulated vsize (KiB) 12096

[startup+51.1018 s]
/proc/loadavg: 1.76 1.19 1.06 3/68 2714
/proc/meminfo: memFree=1451280/2055920 swapFree=4192812/4192956
[pid=2710] ppid=2708 vsize=23468 CPUtime=81.44
/proc/2710/stat : 2710 (satake) S 2708 2710 2611 0 -1 4194304 5077 0 0 0 6180 1964 0 0 18 0 4 0 103283757 24031232 5062 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2710/statm: 5867 5062 70 163 0 5702 0
[pid=2710/tid=2711] ppid=2708 vsize=23468 CPUtime=11.88
/proc/2710/task/2711/stat : 2711 (satake) S 2708 2710 2611 0 -1 4194368 3746 0 0 0 249 939 0 0 16 0 4 0 103283757 24031232 5062 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=2710/tid=2712] ppid=2708 vsize=23468 CPUtime=35.15
/proc/2710/task/2712/stat : 2712 (satake) R 2708 2710 2611 0 -1 4194368 882 0 0 0 2997 518 0 0 16 0 4 0 103283757 24031232 5062 1992294400 134512640 135180984 4294956208 18446744073709551615 134518218 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2710/tid=2713] ppid=2708 vsize=23468 CPUtime=34.4
/proc/2710/task/2713/stat : 2713 (satake) R 2708 2710 2611 0 -1 4194368 366 0 0 0 2933 507 0 0 16 0 4 0 103283757 24031232 5062 1992294400 134512640 135180984 4294956208 18446744073709551615 134519896 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 81.44
Current children cumulated vsize (KiB) 23468

[startup+102.307 s]
/proc/loadavg: 2.10 1.39 1.13 3/68 2714
/proc/meminfo: memFree=1430992/2055920 swapFree=4192812/4192956
[pid=2710] ppid=2708 vsize=47088 CPUtime=164.18
/proc/2710/stat : 2710 (satake) S 2708 2710 2611 0 -1 4194304 10066 0 0 0 12322 4096 0 0 18 0 4 0 103283757 48218112 10051 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2710/statm: 11772 10051 70 163 0 11607 0
[pid=2710/tid=2711] ppid=2708 vsize=47088 CPUtime=24.78
/proc/2710/task/2711/stat : 2711 (satake) S 2708 2710 2611 0 -1 4194368 7759 0 0 0 520 1958 0 0 15 0 4 0 103283757 48218112 10051 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=2710/tid=2712] ppid=2708 vsize=47088 CPUtime=69.96
/proc/2710/task/2712/stat : 2712 (satake) R 2708 2710 2611 0 -1 4194368 1429 0 0 0 5918 1078 0 0 17 0 4 0 103283757 48218112 10051 1992294400 134512640 135180984 4294956208 18446744073709551615 134528428 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2710/tid=2713] ppid=2708 vsize=47088 CPUtime=69.42
/proc/2710/task/2713/stat : 2713 (satake) R 2708 2710 2611 0 -1 4194368 795 0 0 0 5882 1060 0 0 16 0 4 0 103283757 48218112 10051 1992294400 134512640 135180984 4294956208 18446744073709551615 134529649 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 164.18
Current children cumulated vsize (KiB) 47088

[startup+162.304 s]
/proc/loadavg: 2.32 1.58 1.21 3/68 2714
/proc/meminfo: memFree=1410384/2055920 swapFree=4192812/4192956
[pid=2710] ppid=2708 vsize=72584 CPUtime=262.7
/proc/2710/stat : 2710 (satake) S 2708 2710 2611 0 -1 4194304 15260 0 0 0 19836 6434 0 0 18 0 4 0 103283757 74326016 15245 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2710/statm: 18146 15245 70 163 0 17981 0
[pid=2710/tid=2711] ppid=2708 vsize=72584 CPUtime=38.91
/proc/2710/task/2711/stat : 2711 (satake) S 2708 2710 2611 0 -1 4194368 11659 0 0 0 824 3067 0 0 16 0 4 0 103283757 74326016 15245 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=2710/tid=2712] ppid=2708 vsize=72584 CPUtime=112.72

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

Current children cumulated vsize (KiB) 72584

[startup+222.302 s]
/proc/loadavg: 2.39 1.73 1.28 4/68 2714
/proc/meminfo: memFree=1388496/2055920 swapFree=4192812/4192956
[pid=2710] ppid=2708 vsize=97980 CPUtime=361.69
/proc/2710/stat : 2710 (satake) S 2708 2710 2611 0 -1 4194304 20668 0 0 0 27306 8863 0 0 18 0 4 0 103283757 100331520 20653 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2710/statm: 24495 20653 70 163 0 24330 0
[pid=2710/tid=2711] ppid=2708 vsize=97980 CPUtime=53.7
/proc/2710/task/2711/stat : 2711 (satake) S 2708 2710 2611 0 -1 4194368 15282 0 0 0 1146 4224 0 0 15 0 4 0 103283757 100331520 20653 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=2710/tid=2712] ppid=2708 vsize=97980 CPUtime=155.22
/proc/2710/task/2712/stat : 2712 (satake) R 2708 2710 2611 0 -1 4194368 3141 0 0 0 13200 2322 0 0 16 0 4 0 103283757 100331520 20653 1992294400 134512640 135180984 4294956208 18446744073709551615 134525177 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2710/tid=2713] ppid=2708 vsize=97980 CPUtime=152.74
/proc/2710/task/2713/stat : 2713 (satake) R 2708 2710 2611 0 -1 4194368 2162 0 0 0 12959 2315 0 0 17 0 4 0 103283757 100331520 20653 1992294400 134512640 135180984 4294956208 18446744073709551615 134526330 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 361.69
Current children cumulated vsize (KiB) 97980

[startup+282.302 s]
/proc/loadavg: 2.30 1.82 1.34 4/68 2714
/proc/meminfo: memFree=1369360/2055920 swapFree=4192812/4192956
[pid=2710] ppid=2708 vsize=121380 CPUtime=462.74
/proc/2710/stat : 2710 (satake) S 2708 2710 2611 0 -1 4194304 25502 0 0 0 35260 11014 0 0 18 0 4 0 103283757 124293120 25487 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2710/statm: 30345 25487 70 163 0 30180 0
[pid=2710/tid=2711] ppid=2708 vsize=121380 CPUtime=66.69
/proc/2710/task/2711/stat : 2711 (satake) S 2708 2710 2611 0 -1 4194368 18157 0 0 0 1423 5246 0 0 16 0 4 0 103283757 124293120 25487 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=2710/tid=2712] ppid=2708 vsize=121380 CPUtime=199.5
/proc/2710/task/2712/stat : 2712 (satake) R 2708 2710 2611 0 -1 4194368 4052 0 0 0 17061 2889 0 0 16 0 4 0 103283757 124293120 25487 1992294400 134512640 135180984 4294956208 18446744073709551615 134528209 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2710/tid=2713] ppid=2708 vsize=121380 CPUtime=196.52
/proc/2710/task/2713/stat : 2713 (satake) R 2708 2710 2611 0 -1 4194368 3210 0 0 0 16775 2877 0 0 16 0 4 0 103283757 124293120 25487 1992294400 134512640 135180984 4294956208 18446744073709551615 134528655 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 462.74
Current children cumulated vsize (KiB) 121380

[startup+342.302 s]
/proc/loadavg: 2.24 1.90 1.39 3/68 2714
/proc/meminfo: memFree=1350608/2055920 swapFree=4192812/4192956
[pid=2710] ppid=2708 vsize=142552 CPUtime=564.61
/proc/2710/stat : 2710 (satake) S 2708 2710 2611 0 -1 4194304 30091 0 0 0 43436 13025 0 0 18 0 4 0 103283757 145973248 30076 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2710/statm: 35638 30076 70 163 0 35473 0
[pid=2710/tid=2711] ppid=2708 vsize=142552 CPUtime=78.76
/proc/2710/task/2711/stat : 2711 (satake) S 2708 2710 2611 0 -1 4194368 20809 0 0 0 1687 6189 0 0 16 0 4 0 103283757 145973248 30076 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=2710/tid=2712] ppid=2708 vsize=142552 CPUtime=244.62
/proc/2710/task/2712/stat : 2712 (satake) R 2708 2710 2611 0 -1 4194368 4948 0 0 0 21047 3415 0 0 15 0 4 0 103283757 145973248 30076 1992294400 134512640 135180984 4294956208 18446744073709551615 134518252 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2710/tid=2713] ppid=2708 vsize=142552 CPUtime=241.22
/proc/2710/task/2713/stat : 2713 (satake) R 2708 2710 2611 0 -1 4194368 4251 0 0 0 20702 3420 0 0 16 0 4 0 103283757 145973248 30076 1992294400 134512640 135180984 4294956208 18446744073709551615 134528562 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 564.61
Current children cumulated vsize (KiB) 142552

[startup+402.303 s]
/proc/loadavg: 2.32 1.97 1.45 3/68 2714
/proc/meminfo: memFree=1330704/2055920 swapFree=4192812/4192956
[pid=2710] ppid=2708 vsize=166180 CPUtime=665.24
/proc/2710/stat : 2710 (satake) S 2708 2710 2611 0 -1 4194304 35142 0 0 0 51254 15270 0 0 18 0 4 0 103283757 170168320 35127 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2710/statm: 41545 35127 70 163 0 41380 0
[pid=2710/tid=2711] ppid=2708 vsize=166180 CPUtime=92.26
/proc/2710/task/2711/stat : 2711 (satake) R 2708 2710 2611 0 -1 4194368 23741 0 0 0 1974 7252 0 0 16 0 4 0 103283757 170168320 35127 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2710/tid=2712] ppid=2708 vsize=166180 CPUtime=288.49
/proc/2710/task/2712/stat : 2712 (satake) S 2708 2710 2611 0 -1 4194368 5973 0 0 0 24845 4004 0 0 16 0 4 0 103283757 170168320 35127 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=2710/tid=2713] ppid=2708 vsize=166180 CPUtime=284.47
/proc/2710/task/2713/stat : 2713 (satake) R 2708 2710 2611 0 -1 4194368 5345 0 0 0 24434 4013 0 0 15 0 4 0 103283757 170168320 35127 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 665.24
Current children cumulated vsize (KiB) 166180

[startup+462.301 s]
/proc/loadavg: 2.24 2.01 1.49 3/68 2714
/proc/meminfo: memFree=1314384/2055920 swapFree=4192812/4192956
[pid=2710] ppid=2708 vsize=186108 CPUtime=769.48
/proc/2710/stat : 2710 (satake) S 2708 2710 2611 0 -1 4194304 39174 0 0 0 59841 17107 0 0 18 0 4 0 103283757 190574592 39159 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2710/statm: 46527 39159 70 163 0 46362 0
[pid=2710/tid=2711] ppid=2708 vsize=186108 CPUtime=103.26
/proc/2710/task/2711/stat : 2711 (satake) R 2708 2710 2611 0 -1 4194368 25984 0 0 0 2219 8107 0 0 16 0 4 0 103283757 190574592 39159 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2710/tid=2712] ppid=2708 vsize=186108 CPUtime=335.35
/proc/2710/task/2712/stat : 2712 (satake) R 2708 2710 2611 0 -1 4194368 6796 0 0 0 29044 4491 0 0 16 0 4 0 103283757 190574592 39159 1992294400 134512640 135180984 4294956208 18446744073709551615 134528573 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2710/tid=2713] ppid=2708 vsize=186108 CPUtime=330.85
/proc/2710/task/2713/stat : 2713 (satake) S 2708 2710 2611 0 -1 4194368 6311 0 0 0 28577 4508 0 0 15 0 4 0 103283757 190574592 39159 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 769.48
Current children cumulated vsize (KiB) 186108

[startup+522.301 s]
/proc/loadavg: 2.14 2.02 1.53 4/68 2714
/proc/meminfo: memFree=1299408/2055920 swapFree=4192812/4192956
[pid=2710] ppid=2708 vsize=209220 CPUtime=876.15
/proc/2710/stat : 2710 (satake) S 2708 2710 2611 0 -1 4194304 42918 0 0 0 68766 18849 0 0 18 0 4 0 103283757 214241280 42903 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2710/statm: 52305 42903 70 163 0 52140 0
[pid=2710/tid=2711] ppid=2708 vsize=209220 CPUtime=113.53
/proc/2710/task/2711/stat : 2711 (satake) S 2708 2710 2611 0 -1 4194368 28031 0 0 0 2439 8914 0 0 16 0 4 0 103283757 214241280 42903 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=2710/tid=2712] ppid=2708 vsize=209220 CPUtime=383.91
/proc/2710/task/2712/stat : 2712 (satake) R 2708 2710 2611 0 -1 4194368 7606 0 0 0 33432 4959 0 0 17 0 4 0 103283757 214241280 42903 1992294400 134512640 135180984 4294956208 18446744073709551615 134528669 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2710/tid=2713] ppid=2708 vsize=209220 CPUtime=378.69
/proc/2710/task/2713/stat : 2713 (satake) R 2708 2710 2611 0 -1 4194368 7198 0 0 0 32894 4975 0 0 16 0 4 0 103283757 214241280 42903 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 876.15
Current children cumulated vsize (KiB) 209220

[startup+582.303 s]
/proc/loadavg: 2.15 2.04 1.56 3/68 2716
/proc/meminfo: memFree=1282896/2055920 swapFree=4192812/4192956
[pid=2710] ppid=2708 vsize=231612 CPUtime=980.94
/proc/2710/stat : 2710 (satake) S 2708 2710 2611 0 -1 4194304 47021 0 0 0 77389 20705 0 0 18 0 4 0 103283757 237170688 47006 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2710/statm: 57903 47006 70 163 0 57738 0
[pid=2710/tid=2711] ppid=2708 vsize=231612 CPUtime=124.76
/proc/2710/task/2711/stat : 2711 (satake) R 2708 2710 2611 0 -1 4194368 30217 0 0 0 2681 9795 0 0 15 0 4 0 103283757 237170688 47006 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2710/tid=2712] ppid=2708 vsize=231612 CPUtime=430.84
/proc/2710/task/2712/stat : 2712 (satake) R 2708 2710 2611 0 -1 4194368 8568 0 0 0 37641 5443 0 0 15 0 4 0 103283757 237170688 47006 1992294400 134512640 135180984 4294956208 18446744073709551615 134518227 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2710/tid=2713] ppid=2708 vsize=231612 CPUtime=425.33
/proc/2710/task/2713/stat : 2713 (satake) S 2708 2710 2611 0 -1 4194368 8153 0 0 0 37067 5466 0 0 15 0 4 0 103283757 237170688 47006 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 980.94
Current children cumulated vsize (KiB) 231612

[startup+642.302 s]
/proc/loadavg: 2.30 2.11 1.61 3/68 2716
/proc/meminfo: memFree=1262928/2055920 swapFree=4192812/4192956
[pid=2710] ppid=2708 vsize=254184 CPUtime=1083.64
/proc/2710/stat : 2710 (satake) S 2708 2710 2611 0 -1 4194304 51956 0 0 0 85431 22933 0 0 18 0 4 0 103283757 260284416 51941 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2710/statm: 63546 51941 70 163 0 63381 0
[pid=2710/tid=2711] ppid=2708 vsize=254184 CPUtime=138.19
/proc/2710/task/2711/stat : 2711 (satake) R 2708 2710 2611 0 -1 4194368 32908 0 0 0 2966 10853 0 0 16 0 4 0 103283757 260284416 51941 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2710/tid=2712] ppid=2708 vsize=254184 CPUtime=476.01
/proc/2710/task/2712/stat : 2712 (satake) S 2708 2710 2611 0 -1 4194368 9699 0 0 0 41571 6030 0 0 16 0 4 0 103283757 260284416 51941 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=2710/tid=2713] ppid=2708 vsize=254184 CPUtime=469.41
/proc/2710/task/2713/stat : 2713 (satake) S 2708 2710 2611 0 -1 4194368 9266 0 0 0 40893 6048 0 0 15 0 4 0 103283757 260284416 51941 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1083.64
Current children cumulated vsize (KiB) 254184

[startup+702.302 s]
/proc/loadavg: 2.24 2.13 1.65 4/68 2716
/proc/meminfo: memFree=1244688/2055920 swapFree=4192812/4192956
[pid=2710] ppid=2708 vsize=275504 CPUtime=1187.69
/proc/2710/stat : 2710 (satake) S 2708 2710 2611 0 -1 4194304 56530 0 0 0 93726 25043 0 0 18 0 4 0 103283757 282116096 56515 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2710/statm: 68876 56515 70 163 0 68711 0
[pid=2710/tid=2711] ppid=2708 vsize=275504 CPUtime=150.81
/proc/2710/task/2711/stat : 2711 (satake) S 2708 2710 2611 0 -1 4194368 35411 0 0 0 3237 11844 0 0 16 0 4 0 103283757 282116096 56515 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=2710/tid=2712] ppid=2708 vsize=275504 CPUtime=522.12
/proc/2710/task/2712/stat : 2712 (satake) R 2708 2710 2611 0 -1 4194368 10750 0 0 0 45626 6586 0 0 16 0 4 0 103283757 282116096 56515 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2710/tid=2713] ppid=2708 vsize=275504 CPUtime=514.74
/proc/2710/task/2713/stat : 2713 (satake) R 2708 2710 2611 0 -1 4194368 10286 0 0 0 44862 6612 0 0 16 0 4 0 103283757 282116096 56515 1992294400 134512640 135180984 4294956208 18446744073709551615 134528925 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1187.69
Current children cumulated vsize (KiB) 275504



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+709.402 s]
/proc/loadavg: 2.22 2.13 1.65 3/68 2716
/proc/meminfo: memFree=1242320/2055920 swapFree=4192812/4192956
[pid=2710] ppid=2708 vsize=278500 CPUtime=1200.05
/proc/2710/stat : 2710 (satake) S 2708 2710 2611 0 -1 4194304 57090 0 0 0 94709 25296 0 0 18 0 4 0 103283757 285184000 57075 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2710/statm: 69625 57075 70 163 0 69460 0
[pid=2710/tid=2711] ppid=2708 vsize=278500 CPUtime=152.33
/proc/2710/task/2711/stat : 2711 (satake) S 2708 2710 2611 0 -1 4194368 35699 0 0 0 3272 11961 0 0 16 0 4 0 103283757 285184000 57075 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=2710/tid=2712] ppid=2708 vsize=278500 CPUtime=527.55
/proc/2710/task/2712/stat : 2712 (satake) R 2708 2710 2611 0 -1 4194368 10903 0 0 0 46103 6652 0 0 17 0 4 0 103283757 285184000 57075 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2710/tid=2713] ppid=2708 vsize=278500 CPUtime=520.15
/proc/2710/task/2713/stat : 2713 (satake) R 2708 2710 2611 0 -1 4194368 10405 0 0 0 45333 6682 0 0 16 0 4 0 103283757 285184000 57075 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 278500

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): 709.457
CPU time (s): 1200.11
CPU user time (s): 947.112
CPU system time (s): 253.002
CPU usage (%): 169.16
Max. virtual memory (cumulated for all children) (KiB): 278500

deleting IPC queue 294912
deleting IPC queue 327681
deleting IPC queue 360450
deleting IPC queue 393219
deleting IPC queue 425988
deleting IPC queue 458757
deleting IPC queue 491526
deleting IPC queue 524295
deleting IPC queue 557064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 947.112
system time used= 253.002
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57090
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= 12629765
involuntary context switches= 11888441

runsolver used 0.776881 second user time and 2.11368 second system time

The end

Launcher Data 

Begin job on node38 at 2009-04-26 15:29:13
IDJOB=1729683
IDBENCH=24710
IDSOLVER=553
FILE ID=node38/1729683-1240752553
PBS_JOBID= 9187101
Free space on /tmp= 66360 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT07/crafted/Hard/contest03/looksrandom/hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1729683-1240752553/watcher-1729683-1240752553 -o /tmp/evaluation-result-1729683-1240752553/solver-1729683-1240752553 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1729683-1240752553.cnf 3 1200

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

MD5SUM BENCH= 8fce8bf20db46a2557b7a1cf79e53b51
RANDOM SEED=2002397107

node38.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.265
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.265
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:       1471888 kB
Buffers:         61360 kB
Cached:         440480 kB
SwapCached:          0 kB
Active:         190136 kB
Inactive:       325576 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1471888 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:             756 kB
Writeback:           0 kB
Mapped:          23636 kB
Slab:            54320 kB
Committed_AS:   512476 kB
PageTables:       1456 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= 66360 MiB
End job on node38 at 2009-04-26 15:41:04