Trace number 1543862

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.2 679.177

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S208461254-049.cnf
MD5SUMcb7c78e2db807d1456447efe0ef16fcf
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.006998
Satisfiable
(Un)Satisfiability was proved
Number of variables440
Number of clauses1870
Sum of the clauses size5610
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31870
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

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

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1543862-1238585077/watcher-1543862-1238585077 -o /tmp/evaluation-result-1543862-1238585077/solver-1543862-1238585077 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543862-1238585077.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.93 0.97 0.99 3/64 21069
/proc/meminfo: memFree=1597240/2055920 swapFree=4179168/4192956
[pid=21069] ppid=21067 vsize=1148 CPUtime=0
/proc/21069/stat : 21069 (satake) S 21067 21069 20190 0 -1 4194304 144 0 0 0 0 0 0 0 18 0 4 0 1131169541 1175552 129 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21069/statm: 287 129 68 163 0 122 0
[pid=21069/tid=21070] ppid=21067 vsize=1148 CPUtime=0
/proc/21069/task/21070/stat : 21070 (satake) S 21067 21069 20190 0 -1 4194368 8 0 0 0 0 0 0 0 19 0 4 0 1131169541 1175552 129 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21069/tid=21071] ppid=21067 vsize=1148 CPUtime=0
/proc/21069/task/21071/stat : 21071 (satake) R 21067 21069 20190 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 4 0 1131169541 1175552 129 1992294400 134512640 135180984 4294956208 18446744073709551615 134520907 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21069/tid=21072] ppid=21067 vsize=1148 CPUtime=0
/proc/21069/task/21072/stat : 21072 (satake) R 21067 21069 20190 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 4 0 1131169541 1175552 129 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0604891 s]
/proc/loadavg: 0.93 0.97 0.99 3/64 21069
/proc/meminfo: memFree=1597240/2055920 swapFree=4179168/4192956
[pid=21069] ppid=21067 vsize=2304 CPUtime=0.09
/proc/21069/stat : 21069 (satake) S 21067 21069 20190 0 -1 4194304 221 0 0 0 5 4 0 0 18 0 4 0 1131169541 2359296 206 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21069/statm: 576 206 70 163 0 411 0
[pid=21069/tid=21070] ppid=21067 vsize=2304 CPUtime=0.01
/proc/21069/task/21070/stat : 21070 (satake) R 21067 21069 20190 0 -1 4194368 17 0 0 0 0 1 0 0 18 0 4 0 1131169541 2359296 206 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21069/tid=21071] ppid=21067 vsize=2304 CPUtime=0.03
/proc/21069/task/21071/stat : 21071 (satake) R 21067 21069 20190 0 -1 4194368 70 0 0 0 2 1 0 0 16 0 4 0 1131169541 2359296 206 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21069/tid=21072] ppid=21067 vsize=2304 CPUtime=0.02
/proc/21069/task/21072/stat : 21072 (satake) S 21067 21069 20190 0 -1 4194368 51 0 0 0 2 0 0 0 17 0 4 0 1131169541 2359296 206 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2304

[startup+0.103148 s]
/proc/loadavg: 0.93 0.97 0.99 3/64 21069
/proc/meminfo: memFree=1597240/2055920 swapFree=4179168/4192956
[pid=21069] ppid=21067 vsize=2436 CPUtime=0.16
/proc/21069/stat : 21069 (satake) S 21067 21069 20190 0 -1 4194304 245 0 0 0 9 7 0 0 18 0 4 0 1131169541 2494464 230 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21069/statm: 609 230 70 163 0 444 0
[pid=21069/tid=21070] ppid=21067 vsize=2436 CPUtime=0.03
/proc/21069/task/21070/stat : 21070 (satake) R 21067 21069 20190 0 -1 4194368 22 0 0 0 0 3 0 0 18 0 4 0 1131169541 2494464 230 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21069/tid=21071] ppid=21067 vsize=2436 CPUtime=0.06
/proc/21069/task/21071/stat : 21071 (satake) S 21067 21069 20190 0 -1 4194368 81 0 0 0 4 2 0 0 16 0 4 0 1131169541 2494464 230 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21069/tid=21072] ppid=21067 vsize=2436 CPUtime=0.05
/proc/21069/task/21072/stat : 21072 (satake) S 21067 21069 20190 0 -1 4194368 59 0 0 0 4 1 0 0 17 0 4 0 1131169541 2494464 230 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 2436

[startup+0.301715 s]
/proc/loadavg: 0.93 0.97 0.99 3/64 21069
/proc/meminfo: memFree=1597240/2055920 swapFree=4179168/4192956
[pid=21069] ppid=21067 vsize=2568 CPUtime=0.47
/proc/21069/stat : 21069 (satake) S 21067 21069 20190 0 -1 4194304 294 0 0 0 26 21 0 0 18 0 4 0 1131169541 2629632 279 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21069/statm: 642 279 70 163 0 477 0
[pid=21069/tid=21070] ppid=21067 vsize=2568 CPUtime=0.13
/proc/21069/task/21070/stat : 21070 (satake) R 21067 21069 20190 0 -1 4194368 43 0 0 0 2 11 0 0 17 0 4 0 1131169541 2629632 279 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21069/tid=21071] ppid=21067 vsize=2568 CPUtime=0.17
/proc/21069/task/21071/stat : 21071 (satake) S 21067 21069 20190 0 -1 4194368 99 0 0 0 12 5 0 0 17 0 4 0 1131169541 2629632 279 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21069/tid=21072] ppid=21067 vsize=2568 CPUtime=0.15
/proc/21069/task/21072/stat : 21072 (satake) R 21067 21069 20190 0 -1 4194368 69 0 0 0 11 4 0 0 16 0 4 0 1131169541 2629632 279 1992294400 134512640 135180984 4294956208 18446744073709551615 134528800 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2568

[startup+0.701753 s]
/proc/loadavg: 0.93 0.97 0.99 3/64 21069
/proc/meminfo: memFree=1597240/2055920 swapFree=4179168/4192956
[pid=21069] ppid=21067 vsize=2832 CPUtime=1.12
/proc/21069/stat : 21069 (satake) S 21067 21069 20190 0 -1 4194304 376 0 0 0 63 49 0 0 18 0 4 0 1131169541 2899968 361 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21069/statm: 708 361 70 163 0 543 0
[pid=21069/tid=21070] ppid=21067 vsize=2832 CPUtime=0.3
/proc/21069/task/21070/stat : 21070 (satake) R 21067 21069 20190 0 -1 4194368 85 0 0 0 6 24 0 0 18 0 4 0 1131169541 2899968 361 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21069/tid=21071] ppid=21067 vsize=2832 CPUtime=0.4
/proc/21069/task/21071/stat : 21071 (satake) R 21067 21069 20190 0 -1 4194368 124 0 0 0 28 12 0 0 17 0 4 0 1131169541 2899968 361 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21069/tid=21072] ppid=21067 vsize=2832 CPUtime=0.39
/proc/21069/task/21072/stat : 21072 (satake) R 21067 21069 20190 0 -1 4194368 84 0 0 0 27 12 0 0 16 0 4 0 1131169541 2899968 361 1992294400 134512640 135180984 4294956208 18446744073709551615 134528571 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 2832

[startup+1.50183 s]
/proc/loadavg: 1.02 0.99 1.00 4/68 21073
/proc/meminfo: memFree=1595736/2055920 swapFree=4179168/4192956
[pid=21069] ppid=21067 vsize=3500 CPUtime=2.43
/proc/21069/stat : 21069 (satake) S 21067 21069 20190 0 -1 4194304 536 0 0 0 143 100 0 0 18 0 4 0 1131169541 3584000 521 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21069/statm: 875 521 70 163 0 710 0
[pid=21069/tid=21070] ppid=21067 vsize=3500 CPUtime=0.63
/proc/21069/task/21070/stat : 21070 (satake) R 21067 21069 20190 0 -1 4194368 178 0 0 0 14 49 0 0 17 0 4 0 1131169541 3584000 521 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21069/tid=21071] ppid=21067 vsize=3500 CPUtime=0.92
/proc/21069/task/21071/stat : 21071 (satake) R 21067 21069 20190 0 -1 4194368 163 0 0 0 66 26 0 0 16 0 4 0 1131169541 3584000 521 1992294400 134512640 135180984 4294956208 18446744073709551615 134520909 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21069/tid=21072] ppid=21067 vsize=3500 CPUtime=0.86
/proc/21069/task/21072/stat : 21072 (satake) S 21067 21069 20190 0 -1 4194368 112 0 0 0 62 24 0 0 17 0 4 0 1131169541 3584000 521 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 3500

[startup+3.10117 s]
/proc/loadavg: 1.02 0.99 1.00 4/68 21073
/proc/meminfo: memFree=1594776/2055920 swapFree=4179168/4192956
[pid=21069] ppid=21067 vsize=4568 CPUtime=5.08
/proc/21069/stat : 21069 (satake) S 21067 21069 20190 0 -1 4194304 818 0 0 0 304 204 0 0 18 0 4 0 1131169541 4677632 803 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21069/statm: 1142 803 70 163 0 977 0
[pid=21069/tid=21070] ppid=21067 vsize=4568 CPUtime=1.27
/proc/21069/task/21070/stat : 21070 (satake) R 21067 21069 20190 0 -1 4194368 365 0 0 0 28 99 0 0 17 0 4 0 1131169541 4677632 803 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21069/tid=21071] ppid=21067 vsize=4568 CPUtime=1.94
/proc/21069/task/21071/stat : 21071 (satake) R 21067 21069 20190 0 -1 4194368 235 0 0 0 141 53 0 0 16 0 4 0 1131169541 4677632 803 1992294400 134512640 135180984 4294956208 18446744073709551615 134528631 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21069/tid=21072] ppid=21067 vsize=4568 CPUtime=1.84
/proc/21069/task/21072/stat : 21072 (satake) R 21067 21069 20190 0 -1 4194368 135 0 0 0 134 50 0 0 16 0 4 0 1131169541 4677632 803 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.08
Current children cumulated vsize (KiB) 4568

[startup+6.30129 s]
/proc/loadavg: 1.02 0.99 1.00 3/68 21073
/proc/meminfo: memFree=1592472/2055920 swapFree=4179168/4192956
[pid=21069] ppid=21067 vsize=6664 CPUtime=10.52
/proc/21069/stat : 21069 (satake) S 21067 21069 20190 0 -1 4194304 1335 0 0 0 627 425 0 0 18 0 4 0 1131169541 6823936 1320 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21069/statm: 1666 1320 70 163 0 1501 0
[pid=21069/tid=21070] ppid=21067 vsize=6664 CPUtime=2.64
/proc/21069/task/21070/stat : 21070 (satake) R 21067 21069 20190 0 -1 4194368 747 0 0 0 59 205 0 0 16 0 4 0 1131169541 6823936 1320 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21069/tid=21071] ppid=21067 vsize=6664 CPUtime=3.99
/proc/21069/task/21071/stat : 21071 (satake) S 21067 21069 20190 0 -1 4194368 321 0 0 0 286 113 0 0 15 0 4 0 1131169541 6823936 1320 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21069/tid=21072] ppid=21067 vsize=6664 CPUtime=3.88
/proc/21069/task/21072/stat : 21072 (satake) S 21067 21069 20190 0 -1 4194368 184 0 0 0 281 107 0 0 15 0 4 0 1131169541 6823936 1320 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.52
Current children cumulated vsize (KiB) 6664

[startup+12.7011 s]
/proc/loadavg: 1.17 1.02 1.01 2/68 21073
/proc/meminfo: memFree=1588120/2055920 swapFree=4179168/4192956
[pid=21069] ppid=21067 vsize=11096 CPUtime=21.43
/proc/21069/stat : 21069 (satake) S 21067 21069 20190 0 -1 4194304 2377 0 0 0 1267 876 0 0 18 0 4 0 1131169541 11362304 2362 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21069/statm: 2774 2362 70 163 0 2609 0
[pid=21069/tid=21070] ppid=21067 vsize=11096 CPUtime=5.33
/proc/21069/task/21070/stat : 21070 (satake) S 21067 21069 20190 0 -1 4194368 1558 0 0 0 113 420 0 0 16 0 4 0 1131169541 11362304 2362 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21069/tid=21071] ppid=21067 vsize=11096 CPUtime=8.05
/proc/21069/task/21071/stat : 21071 (satake) R 21067 21069 20190 0 -1 4194368 468 0 0 0 578 227 0 0 15 0 4 0 1131169541 11362304 2362 1992294400 134512640 135180984 4294956208 18446744073709551615 134518214 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21069/tid=21072] ppid=21067 vsize=11096 CPUtime=8.03
/proc/21069/task/21072/stat : 21072 (satake) R 21067 21069 20190 0 -1 4194368 268 0 0 0 576 227 0 0 16 0 4 0 1131169541 11362304 2362 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.43
Current children cumulated vsize (KiB) 11096

[startup+25.5013 s]
/proc/loadavg: 1.30 1.05 1.02 3/68 21073
/proc/meminfo: memFree=1580312/2055920 swapFree=4179168/4192956
[pid=21069] ppid=21067 vsize=19192 CPUtime=43.48
/proc/21069/stat : 21069 (satake) S 21067 21069 20190 0 -1 4194304 4278 0 0 0 2626 1722 0 0 18 0 4 0 1131169541 19652608 4263 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21069/statm: 4798 4263 70 163 0 4633 0
[pid=21069/tid=21070] ppid=21067 vsize=19192 CPUtime=10.54
/proc/21069/task/21070/stat : 21070 (satake) R 21067 21069 20190 0 -1 4194368 3073 0 0 0 223 831 0 0 16 0 4 0 1131169541 19652608 4263 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21069/tid=21071] ppid=21067 vsize=19192 CPUtime=16.38
/proc/21069/task/21071/stat : 21071 (satake) R 21067 21069 20190 0 -1 4194368 693 0 0 0 1194 444 0 0 15 0 4 0 1131169541 19652608 4263 1992294400 134512640 135180984 4294956208 18446744073709551615 134528576 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21069/tid=21072] ppid=21067 vsize=19192 CPUtime=16.54
/proc/21069/task/21072/stat : 21072 (satake) R 21067 21069 20190 0 -1 4194368 429 0 0 0 1208 446 0 0 16 0 4 0 1131169541 19652608 4263 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 43.48
Current children cumulated vsize (KiB) 19192

[startup+51.1021 s]
/proc/loadavg: 1.82 1.19 1.07 3/68 21073
/proc/meminfo: memFree=1565592/2055920 swapFree=4179168/4192956
[pid=21069] ppid=21067 vsize=36428 CPUtime=87.74
/proc/21069/stat : 21069 (satake) S 21067 21069 20190 0 -1 4194304 8025 0 0 0 5328 3446 0 0 18 0 4 0 1131169541 37302272 8010 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21069/statm: 9107 8010 70 163 0 8942 0
[pid=21069/tid=21070] ppid=21067 vsize=36428 CPUtime=21.15
/proc/21069/task/21070/stat : 21070 (satake) S 21067 21069 20190 0 -1 4194368 6078 0 0 0 447 1668 0 0 15 0 4 0 1131169541 37302272 8010 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 18446744071563913321 0 0 -1 1 0 0
[pid=21069/tid=21071] ppid=21067 vsize=36428 CPUtime=33.12
/proc/21069/task/21071/stat : 21071 (satake) R 21067 21069 20190 0 -1 4194368 1168 0 0 0 2429 883 0 0 16 0 4 0 1131169541 37302272 8010 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21069/tid=21072] ppid=21067 vsize=36428 CPUtime=33.46
/proc/21069/task/21072/stat : 21072 (satake) R 21067 21069 20190 0 -1 4194368 696 0 0 0 2452 894 0 0 16 0 4 0 1131169541 37302272 8010 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 87.74
Current children cumulated vsize (KiB) 36428

[startup+102.307 s]
/proc/loadavg: 2.04 1.37 1.13 3/68 21073
/proc/meminfo: memFree=1537368/2055920 swapFree=4179168/4192956
[pid=21069] ppid=21067 vsize=69480 CPUtime=177.67
/proc/21069/stat : 21069 (satake) S 21067 21069 20190 0 -1 4194304 14943 0 0 0 11048 6719 0 0 18 0 4 0 1131169541 71147520 14928 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21069/statm: 17370 14928 70 163 0 17205 0
[pid=21069/tid=21070] ppid=21067 vsize=69480 CPUtime=41.41
/proc/21069/task/21070/stat : 21070 (satake) S 21067 21069 20190 0 -1 4194368 11377 0 0 0 881 3260 0 0 15 0 4 0 1131169541 71147520 14928 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21069/tid=21071] ppid=21067 vsize=69480 CPUtime=67.9
/proc/21069/task/21071/stat : 21071 (satake) R 21067 21069 20190 0 -1 4194368 2048 0 0 0 5071 1719 0 0 16 0 4 0 1131169541 71147520 14928 1992294400 134512640 135180984 4294956208 18446744073709551615 134522875 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21069/tid=21072] ppid=21067 vsize=69480 CPUtime=68.34
/proc/21069/task/21072/stat : 21072 (satake) R 21067 21069 20190 0 -1 4194368 1435 0 0 0 5095 1739 0 0 16 0 4 0 1131169541 71147520 14928 1992294400 134512640 135180984 4294956208 18446744073709551615 134519827 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 177.67
Current children cumulated vsize (KiB) 69480

[startup+162.301 s]
/proc/loadavg: 2.31 1.56 1.21 3/68 21073
/proc/meminfo: memFree=1505112/2055920 swapFree=4179168/4192956
[pid=21069] ppid=21067 vsize=106016 CPUtime=283.37
/proc/21069/stat : 21069 (satake) S 21067 21069 20190 0 -1 4194304 23046 0 0 0 17665 10672 0 0 18 0 4 0 1131169541 108560384 23031 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21069/statm: 26504 23031 70 163 0 26339 0
[pid=21069/tid=21070] ppid=21067 vsize=106016 CPUtime=65.74
/proc/21069/task/21070/stat : 21070 (satake) S 21067 21069 20190 0 -1 4194368 17275 0 0 0 1402 5172 0 0 15 0 4 0 1131169541 108560384 23031 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21069/tid=21071] ppid=21067 vsize=106016 CPUtime=108.68

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

Current children cumulated vsize (KiB) 106016

[startup+222.302 s]
/proc/loadavg: 2.42 1.72 1.29 3/68 21073
/proc/meminfo: memFree=1472728/2055920 swapFree=4179168/4192956
[pid=21069] ppid=21067 vsize=148280 CPUtime=389.18
/proc/21069/stat : 21069 (satake) S 21067 21069 20190 0 -1 4194304 31075 0 0 0 24384 14534 0 0 18 0 4 0 1131169541 151838720 31060 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21069/statm: 37070 31060 70 163 0 36905 0
[pid=21069/tid=21070] ppid=21067 vsize=148280 CPUtime=89.66
/proc/21069/task/21070/stat : 21070 (satake) R 21067 21069 20190 0 -1 4194368 23201 0 0 0 1921 7045 0 0 16 0 4 0 1131169541 151838720 31060 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21069/tid=21071] ppid=21067 vsize=148280 CPUtime=149.93
/proc/21069/task/21071/stat : 21071 (satake) R 21067 21069 20190 0 -1 4194368 4849 0 0 0 11277 3716 0 0 15 0 4 0 1131169541 151838720 31060 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21069/tid=21072] ppid=21067 vsize=148280 CPUtime=149.57
/proc/21069/task/21072/stat : 21072 (satake) R 21067 21069 20190 0 -1 4194368 2942 0 0 0 11185 3772 0 0 16 0 4 0 1131169541 151838720 31060 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 389.18
Current children cumulated vsize (KiB) 148280

[startup+282.302 s]
/proc/loadavg: 2.26 1.80 1.34 3/68 21073
/proc/meminfo: memFree=1441816/2055920 swapFree=4179168/4192956
[pid=21069] ppid=21067 vsize=184568 CPUtime=494.62
/proc/21069/stat : 21069 (satake) S 21067 21069 20190 0 -1 4194304 38906 0 0 0 31083 18379 0 0 18 0 4 0 1131169541 188997632 38891 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21069/statm: 46142 38891 70 163 0 45977 0
[pid=21069/tid=21070] ppid=21067 vsize=184568 CPUtime=113.28
/proc/21069/task/21070/stat : 21070 (satake) R 21067 21069 20190 0 -1 4194368 29041 0 0 0 2416 8912 0 0 16 0 4 0 1131169541 188997632 38891 1992294400 134512640 135180984 4294956208 18446744073709551615 134551066 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21069/tid=21071] ppid=21067 vsize=184568 CPUtime=191.12
/proc/21069/task/21071/stat : 21071 (satake) R 21067 21069 20190 0 -1 4194368 6393 0 0 0 14413 4699 0 0 15 0 4 0 1131169541 188997632 38891 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21069/tid=21072] ppid=21067 vsize=184568 CPUtime=190.19
/proc/21069/task/21072/stat : 21072 (satake) R 21067 21069 20190 0 -1 4194368 3389 0 0 0 14253 4766 0 0 16 0 4 0 1131169541 188997632 38891 1992294400 134512640 135180984 4294956208 18446744073709551615 134526712 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 494.62
Current children cumulated vsize (KiB) 184568

[startup+342.301 s]
/proc/loadavg: 2.40 1.91 1.40 4/68 21073
/proc/meminfo: memFree=1410904/2055920 swapFree=4179168/4192956
[pid=21069] ppid=21067 vsize=223300 CPUtime=600.95
/proc/21069/stat : 21069 (satake) S 21067 21069 20190 0 -1 4194304 46499 0 0 0 38047 22048 0 0 18 0 4 0 1131169541 228659200 46484 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21069/statm: 55825 46484 70 163 0 55660 0
[pid=21069/tid=21070] ppid=21067 vsize=223300 CPUtime=136.05
/proc/21069/task/21070/stat : 21070 (satake) R 21067 21069 20190 0 -1 4194368 34383 0 0 0 2900 10705 0 0 16 0 4 0 1131169541 228659200 46484 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21069/tid=21071] ppid=21067 vsize=223300 CPUtime=232.74
/proc/21069/task/21071/stat : 21071 (satake) S 21067 21069 20190 0 -1 4194368 7844 0 0 0 17646 5628 0 0 16 0 4 0 1131169541 228659200 46484 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21069/tid=21072] ppid=21067 vsize=223300 CPUtime=232.15
/proc/21069/task/21072/stat : 21072 (satake) S 21067 21069 20190 0 -1 4194368 4189 0 0 0 17501 5714 0 0 16 0 4 0 1131169541 228659200 46484 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 600.95
Current children cumulated vsize (KiB) 223300

[startup+402.302 s]
/proc/loadavg: 2.33 1.97 1.46 3/68 21073
/proc/meminfo: memFree=1381400/2055920 swapFree=4179168/4192956
[pid=21069] ppid=21067 vsize=257120 CPUtime=707.44
/proc/21069/stat : 21069 (satake) S 21067 21069 20190 0 -1 4194304 53972 0 0 0 45001 25743 0 0 18 0 4 0 1131169541 263290880 53957 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21069/statm: 64280 53957 70 163 0 64115 0
[pid=21069/tid=21070] ppid=21067 vsize=257120 CPUtime=159.05
/proc/21069/task/21070/stat : 21070 (satake) R 21067 21069 20190 0 -1 4194368 39763 0 0 0 3397 12508 0 0 16 0 4 0 1131169541 263290880 53957 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21069/tid=21071] ppid=21067 vsize=257120 CPUtime=274.62
/proc/21069/task/21071/stat : 21071 (satake) R 21067 21069 20190 0 -1 4194368 9274 0 0 0 20905 6557 0 0 15 0 4 0 1131169541 263290880 53957 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21069/tid=21072] ppid=21067 vsize=257120 CPUtime=273.74
/proc/21069/task/21072/stat : 21072 (satake) R 21067 21069 20190 0 -1 4194368 4852 0 0 0 20697 6677 0 0 16 0 4 0 1131169541 263290880 53957 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 707.44
Current children cumulated vsize (KiB) 257120

[startup+462.307 s]
/proc/loadavg: 2.23 2.02 1.50 3/68 21073
/proc/meminfo: memFree=1350808/2055920 swapFree=4179168/4192956
[pid=21069] ppid=21067 vsize=292928 CPUtime=813.9
/proc/21069/stat : 21069 (satake) S 21067 21069 20190 0 -1 4194304 61512 0 0 0 51922 29468 0 0 18 0 4 0 1131169541 299958272 61497 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21069/statm: 73232 61497 70 163 0 73067 0
[pid=21069/tid=21070] ppid=21067 vsize=292928 CPUtime=181.97
/proc/21069/task/21070/stat : 21070 (satake) S 21067 21069 20190 0 -1 4194368 45167 0 0 0 3877 14320 0 0 16 0 4 0 1131169541 299958272 61497 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21069/tid=21071] ppid=21067 vsize=292928 CPUtime=316.38
/proc/21069/task/21071/stat : 21071 (satake) R 21067 21069 20190 0 -1 4194368 10825 0 0 0 24131 7507 0 0 15 0 4 0 1131169541 299958272 61497 1992294400 134512640 135180984 4294956208 18446744073709551615 134522715 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21069/tid=21072] ppid=21067 vsize=292928 CPUtime=315.53
/proc/21069/task/21072/stat : 21072 (satake) R 21067 21069 20190 0 -1 4194368 5437 0 0 0 23913 7640 0 0 17 0 4 0 1131169541 299958272 61497 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 813.9
Current children cumulated vsize (KiB) 292928

[startup+522.304 s]
/proc/loadavg: 2.42 2.12 1.57 3/68 21073
/proc/meminfo: memFree=1320920/2055920 swapFree=4179168/4192956
[pid=21069] ppid=21067 vsize=321272 CPUtime=920.75
/proc/21069/stat : 21069 (satake) S 21067 21069 20190 0 -1 4194304 69105 0 0 0 58891 33184 0 0 18 0 4 0 1131169541 328982528 69090 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21069/statm: 80318 69090 70 163 0 80153 0
[pid=21069/tid=21070] ppid=21067 vsize=321272 CPUtime=205.05
/proc/21069/task/21070/stat : 21070 (satake) R 21067 21069 20190 0 -1 4194368 50294 0 0 0 4373 16132 0 0 16 0 4 0 1131169541 328982528 69090 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21069/tid=21071] ppid=21067 vsize=321272 CPUtime=358.26
/proc/21069/task/21071/stat : 21071 (satake) S 21067 21069 20190 0 -1 4194368 12380 0 0 0 27367 8459 0 0 16 0 4 0 1131169541 328982528 69090 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21069/tid=21072] ppid=21067 vsize=321272 CPUtime=357.42
/proc/21069/task/21072/stat : 21072 (satake) S 21067 21069 20190 0 -1 4194368 6348 0 0 0 27150 8592 0 0 15 0 4 0 1131169541 328982528 69090 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 920.75
Current children cumulated vsize (KiB) 321272

[startup+582.303 s]
/proc/loadavg: 2.50 2.18 1.62 4/68 21073
/proc/meminfo: memFree=1290776/2055920 swapFree=4179168/4192956
[pid=21069] ppid=21067 vsize=360380 CPUtime=1027.68
/proc/21069/stat : 21069 (satake) S 21067 21069 20190 0 -1 4194304 76510 0 0 0 65930 36838 0 0 18 0 4 0 1131169541 369029120 76495 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21069/statm: 90095 76495 70 163 0 89930 0
[pid=21069/tid=21070] ppid=21067 vsize=360380 CPUtime=227.78
/proc/21069/task/21070/stat : 21070 (satake) R 21067 21069 20190 0 -1 4194368 55629 0 0 0 4858 17920 0 0 16 0 4 0 1131169541 369029120 76495 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21069/tid=21071] ppid=21067 vsize=360380 CPUtime=400.24
/proc/21069/task/21071/stat : 21071 (satake) R 21067 21069 20190 0 -1 4194368 13716 0 0 0 30633 9391 0 0 16 0 4 0 1131169541 369029120 76495 1992294400 134512640 135180984 4294956208 18446744073709551615 134522872 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21069/tid=21072] ppid=21067 vsize=360380 CPUtime=399.64
/proc/21069/task/21072/stat : 21072 (satake) R 21067 21069 20190 0 -1 4194368 7082 0 0 0 30438 9526 0 0 15 0 4 0 1131169541 369029120 76495 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1027.68
Current children cumulated vsize (KiB) 360380

[startup+642.303 s]
/proc/loadavg: 2.59 2.26 1.68 3/68 21073
/proc/meminfo: memFree=1260056/2055920 swapFree=4179168/4192956
[pid=21069] ppid=21067 vsize=403916 CPUtime=1134.48
/proc/21069/stat : 21069 (satake) S 21067 21069 20190 0 -1 4194304 84099 0 0 0 72888 40560 0 0 18 0 4 0 1131169541 413609984 84084 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21069/statm: 100979 84084 70 163 0 100814 0
[pid=21069/tid=21070] ppid=21067 vsize=403916 CPUtime=250.83
/proc/21069/task/21070/stat : 21070 (satake) S 21067 21069 20190 0 -1 4194368 60700 0 0 0 5349 19734 0 0 15 0 4 0 1131169541 413609984 84084 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21069/tid=21071] ppid=21067 vsize=403916 CPUtime=441.98
/proc/21069/task/21071/stat : 21071 (satake) R 21067 21069 20190 0 -1 4194368 15332 0 0 0 33857 10341 0 0 16 0 4 0 1131169541 413609984 84084 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21069/tid=21072] ppid=21067 vsize=403916 CPUtime=441.64
/proc/21069/task/21072/stat : 21072 (satake) R 21067 21069 20190 0 -1 4194368 7984 0 0 0 33681 10483 0 0 17 0 4 0 1131169541 413609984 84084 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1134.48
Current children cumulated vsize (KiB) 403916



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+679.101 s]
/proc/loadavg: 2.37 2.24 1.69 4/68 21073
/proc/meminfo: memFree=1241432/2055920 swapFree=4179168/4192956
[pid=21069] ppid=21067 vsize=435484 CPUtime=1200.1
/proc/21069/stat : 21069 (satake) S 21067 21069 20190 0 -1 4194304 88726 0 0 0 77170 42840 0 0 18 0 4 0 1131169541 445935616 88711 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21069/statm: 108871 88711 70 163 0 108706 0
[pid=21069/tid=21070] ppid=21067 vsize=435484 CPUtime=265.02
/proc/21069/task/21070/stat : 21070 (satake) S 21067 21069 20190 0 -1 4194368 63968 0 0 0 5644 20858 0 0 15 0 4 0 1131169541 445935616 88711 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21069/tid=21071] ppid=21067 vsize=435484 CPUtime=467.45
/proc/21069/task/21071/stat : 21071 (satake) R 21067 21069 20190 0 -1 4194368 16256 0 0 0 35832 10913 0 0 16 0 4 0 1131169541 445935616 88711 1992294400 134512640 135180984 4294956208 18446744073709551615 134528543 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21069/tid=21072] ppid=21067 vsize=435484 CPUtime=467.61
/proc/21069/task/21072/stat : 21072 (satake) R 21067 21069 20190 0 -1 4194368 8419 0 0 0 35693 11068 0 0 16 0 4 0 1131169541 445935616 88711 1992294400 134512640 135180984 4294956208 18446744073709551615 134518667 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 435484

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

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

[startup+679.101 s]
/proc/loadavg: 2.37 2.24 1.69 4/68 21073
/proc/meminfo: memFree=1241432/2055920 swapFree=4179168/4192956
[pid=21069] ppid=21067 vsize=435484 CPUtime=1200.1
/proc/21069/stat : 21069 (satake) S 21067 21069 20190 0 -1 4194304 88726 0 0 0 77170 42840 0 0 18 0 4 0 1131169541 445935616 88711 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21069/statm: 108871 88711 70 163 0 108706 0
[pid=21069/tid=21070] ppid=21067 vsize=435484 CPUtime=265.02
/proc/21069/task/21070/stat : 21070 (satake) S 21067 21069 20190 0 -1 4194368 63968 0 0 0 5644 20858 0 0 15 0 4 0 1131169541 445935616 88711 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21069/tid=21071] ppid=21067 vsize=435484 CPUtime=467.45
/proc/21069/task/21071/stat : 21071 (satake) R 21067 21069 20190 0 -1 4194368 16256 0 0 0 35832 10913 0 0 16 0 4 0 1131169541 445935616 88711 1992294400 134512640 135180984 4294956208 18446744073709551615 134528543 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21069/tid=21072] ppid=21067 vsize=435484 CPUtime=467.61
/proc/21069/task/21072/stat : 21072 (satake) R 21067 21069 20190 0 -1 4194368 8419 0 0 0 35693 11068 0 0 16 0 4 0 1131169541 445935616 88711 1992294400 134512640 135180984 4294956208 18446744073709551615 134518667 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 435484

Child ended because it received signal 15 (SIGTERM)
Real time (s): 679.177
CPU time (s): 1200.2
CPU user time (s): 771.722
CPU system time (s): 428.475
CPU usage (%): 176.713
Max. virtual memory (cumulated for all children) (KiB): 435484

deleting IPC queue 2818048
deleting IPC queue 2850817
deleting IPC queue 2883586
deleting IPC queue 2916355
deleting IPC queue 2949124
deleting IPC queue 2981893
deleting IPC queue 3014662
deleting IPC queue 3047431
deleting IPC queue 3080200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 771.722
system time used= 428.475
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88726
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= 17432334
involuntary context switches= 16376708

runsolver used 0.78488 second user time and 2.11168 second system time

The end

Launcher Data 

Begin job on node61 at 2009-04-01 13:24:37
IDJOB=1543862
IDBENCH=70703
IDSOLVER=553
FILE ID=node61/1543862-1238585077
PBS_JOBID= 9062205
Free space on /tmp= 66344 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/SATISFIABLE/440/unif-k3-r4.25-v440-c1870-S208461254-049.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543862-1238585077/watcher-1543862-1238585077 -o /tmp/evaluation-result-1543862-1238585077/solver-1543862-1238585077 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543862-1238585077.cnf 3 1200

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

MD5SUM BENCH= cb7c78e2db807d1456447efe0ef16fcf
RANDOM SEED=41002856

node61.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.238
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.238
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:       1597656 kB
Buffers:         89080 kB
Cached:         275436 kB
SwapCached:       7920 kB
Active:         202332 kB
Inactive:       171764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1597656 kB
SwapTotal:     4192956 kB
SwapFree:      4179168 kB
Dirty:            1248 kB
Writeback:           0 kB
Mapped:          15416 kB
Slab:            70256 kB
Committed_AS:  2770408 kB
PageTables:       1372 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264884 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66344 MiB
End job on node61 at 2009-04-01 13:35:58