Trace number 1543868

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.17 644.563

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S23858409-056.cnf
MD5SUM1d9e0ed32c3bf3bc5fbb21926c01a19c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.065989
Satisfiable
(Un)Satisfiability was proved
Number of variables540
Number of clauses2295
Sum of the clauses size6885
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32295
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-1543868-1238587180/watcher-1543868-1238587180 -o /tmp/evaluation-result-1543868-1238587180/solver-1543868-1238587180 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543868-1238587180.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.00 1.00 1.10 3/68 31936
/proc/meminfo: memFree=1686048/2055920 swapFree=4177828/4192956
[pid=31936] ppid=31934 vsize=2452 CPUtime=0
/proc/31936/stat : 31936 (satake) S 31934 31936 31869 0 -1 4194304 202 0 0 0 0 0 0 0 18 0 4 0 1131380022 2510848 187 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31936/statm: 613 187 68 163 0 448 0
[pid=31936/tid=31937] ppid=31934 vsize=2452 CPUtime=0
/proc/31936/task/31937/stat : 31937 (satake) S 31934 31936 31869 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 4 0 1131380022 2510848 188 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=31936/tid=31938] ppid=31934 vsize=2452 CPUtime=0
/proc/31936/task/31938/stat : 31938 (satake) R 31934 31936 31869 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 4 0 1131380022 2510848 188 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31936/tid=31939] ppid=31934 vsize=2452 CPUtime=0
/proc/31936/task/31939/stat : 31939 (satake) R 31934 31936 31869 0 -1 4194368 43 0 0 0 0 0 0 0 19 0 4 0 1131380022 2510848 189 1992294400 134512640 135180984 4294956208 18446744073709551615 134519605 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0141089 s]
/proc/loadavg: 1.00 1.00 1.10 3/68 31936
/proc/meminfo: memFree=1686048/2055920 swapFree=4177828/4192956
[pid=31936] ppid=31934 vsize=2448 CPUtime=0.01
/proc/31936/stat : 31936 (satake) S 31934 31936 31869 0 -1 4194304 213 0 0 0 1 0 0 0 18 0 4 0 1131380022 2506752 198 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31936/statm: 612 198 69 163 0 447 0
[pid=31936/tid=31937] ppid=31934 vsize=2448 CPUtime=0
/proc/31936/task/31937/stat : 31937 (satake) R 31934 31936 31869 0 -1 4194368 19 0 0 0 0 0 0 0 19 0 4 0 1131380022 2506752 198 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31936/tid=31938] ppid=31934 vsize=2448 CPUtime=0
/proc/31936/task/31938/stat : 31938 (satake) S 31934 31936 31869 0 -1 4194368 64 0 0 0 0 0 0 0 19 0 4 0 1131380022 2506752 198 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31936/tid=31939] ppid=31934 vsize=2448 CPUtime=0
/proc/31936/task/31939/stat : 31939 (satake) S 31934 31936 31869 0 -1 4194368 47 0 0 0 0 0 0 0 18 0 4 0 1131380022 2506752 198 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2448

[startup+0.102116 s]
/proc/loadavg: 1.00 1.00 1.10 3/68 31936
/proc/meminfo: memFree=1686048/2055920 swapFree=4177828/4192956
[pid=31936] ppid=31934 vsize=2580 CPUtime=0.14
/proc/31936/stat : 31936 (satake) S 31934 31936 31869 0 -1 4194304 272 0 0 0 8 6 0 0 18 0 4 0 1131380022 2641920 257 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31936/statm: 645 257 70 163 0 480 0
[pid=31936/tid=31937] ppid=31934 vsize=2580 CPUtime=0.04
/proc/31936/task/31937/stat : 31937 (satake) R 31934 31936 31869 0 -1 4194368 33 0 0 0 1 3 0 0 18 0 4 0 1131380022 2641920 257 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31936/tid=31938] ppid=31934 vsize=2580 CPUtime=0.04
/proc/31936/task/31938/stat : 31938 (satake) S 31934 31936 31869 0 -1 4194368 86 0 0 0 3 1 0 0 16 0 4 0 1131380022 2641920 257 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31936/tid=31939] ppid=31934 vsize=2580 CPUtime=0.05
/proc/31936/task/31939/stat : 31939 (satake) R 31934 31936 31869 0 -1 4194368 70 0 0 0 4 1 0 0 16 0 4 0 1131380022 2641920 257 1992294400 134512640 135180984 4294956208 18446744073709551615 134528576 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 2580

[startup+0.301127 s]
/proc/loadavg: 1.00 1.00 1.10 3/68 31936
/proc/meminfo: memFree=1686048/2055920 swapFree=4177828/4192956
[pid=31936] ppid=31934 vsize=2712 CPUtime=0.47
/proc/31936/stat : 31936 (satake) S 31934 31936 31869 0 -1 4194304 338 0 0 0 29 18 0 0 18 0 4 0 1131380022 2777088 323 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31936/statm: 678 323 70 163 0 513 0
[pid=31936/tid=31937] ppid=31934 vsize=2712 CPUtime=0.11
/proc/31936/task/31937/stat : 31937 (satake) R 31934 31936 31869 0 -1 4194368 57 0 0 0 2 9 0 0 18 0 4 0 1131380022 2777088 323 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31936/tid=31938] ppid=31934 vsize=2712 CPUtime=0.17
/proc/31936/task/31938/stat : 31938 (satake) R 31934 31936 31869 0 -1 4194368 104 0 0 0 13 4 0 0 16 0 4 0 1131380022 2777088 323 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31936/tid=31939] ppid=31934 vsize=2712 CPUtime=0.17
/proc/31936/task/31939/stat : 31939 (satake) R 31934 31936 31869 0 -1 4194368 94 0 0 0 13 4 0 0 16 0 4 0 1131380022 2777088 323 1992294400 134512640 135180984 4294956208 18446744073709551615 134522980 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2712

[startup+0.702155 s]
/proc/loadavg: 1.00 1.00 1.10 3/68 31936
/proc/meminfo: memFree=1686048/2055920 swapFree=4177828/4192956
[pid=31936] ppid=31934 vsize=2844 CPUtime=1.14
/proc/31936/stat : 31936 (satake) S 31934 31936 31869 0 -1 4194304 421 0 0 0 74 40 0 0 18 0 4 0 1131380022 2912256 406 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31936/statm: 711 406 70 163 0 546 0
[pid=31936/tid=31937] ppid=31934 vsize=2844 CPUtime=0.26
/proc/31936/task/31937/stat : 31937 (satake) R 31934 31936 31869 0 -1 4194368 111 0 0 0 5 21 0 0 18 0 4 0 1131380022 2912256 406 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31936/tid=31938] ppid=31934 vsize=2844 CPUtime=0.42
/proc/31936/task/31938/stat : 31938 (satake) S 31934 31936 31869 0 -1 4194368 120 0 0 0 33 9 0 0 17 0 4 0 1131380022 2912256 406 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31936/tid=31939] ppid=31934 vsize=2844 CPUtime=0.44
/proc/31936/task/31939/stat : 31939 (satake) S 31934 31936 31869 0 -1 4194368 107 0 0 0 35 9 0 0 17 0 4 0 1131380022 2912256 406 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 2844

[startup+1.50221 s]
/proc/loadavg: 1.00 1.00 1.10 4/72 31940
/proc/meminfo: memFree=1684416/2055920 swapFree=4177828/4192956
[pid=31936] ppid=31934 vsize=2976 CPUtime=2.48
/proc/31936/stat : 31936 (satake) S 31934 31936 31869 0 -1 4194304 560 0 0 0 164 84 0 0 18 0 4 0 1131380022 3047424 545 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31936/statm: 744 545 70 163 0 579 0
[pid=31936/tid=31937] ppid=31934 vsize=2976 CPUtime=0.57
/proc/31936/task/31937/stat : 31937 (satake) R 31934 31936 31869 0 -1 4194368 211 0 0 0 11 46 0 0 18 0 4 0 1131380022 3047424 545 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31936/tid=31938] ppid=31934 vsize=2976 CPUtime=0.92
/proc/31936/task/31938/stat : 31938 (satake) R 31934 31936 31869 0 -1 4194368 139 0 0 0 74 18 0 0 16 0 4 0 1131380022 3047424 545 1992294400 134512640 135180984 4294956208 18446744073709551615 134528529 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31936/tid=31939] ppid=31934 vsize=2976 CPUtime=0.96
/proc/31936/task/31939/stat : 31939 (satake) R 31934 31936 31869 0 -1 4194368 127 0 0 0 77 19 0 0 17 0 4 0 1131380022 3047424 545 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 2976

[startup+3.1015 s]
/proc/loadavg: 1.00 1.00 1.10 3/72 31940
/proc/meminfo: memFree=1683520/2055920 swapFree=4177828/4192956
[pid=31936] ppid=31934 vsize=4328 CPUtime=5.24
/proc/31936/stat : 31936 (satake) S 31934 31936 31869 0 -1 4194304 818 0 0 0 354 170 0 0 18 0 4 0 1131380022 4431872 803 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31936/statm: 1082 803 70 163 0 917 0
[pid=31936/tid=31937] ppid=31934 vsize=4328 CPUtime=1.12
/proc/31936/task/31937/stat : 31937 (satake) R 31934 31936 31869 0 -1 4194368 387 0 0 0 22 90 0 0 18 0 4 0 1131380022 4431872 803 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31936/tid=31938] ppid=31934 vsize=4328 CPUtime=2.03
/proc/31936/task/31938/stat : 31938 (satake) R 31934 31936 31869 0 -1 4194368 175 0 0 0 165 38 0 0 16 0 4 0 1131380022 4431872 803 1992294400 134512640 135180984 4294956208 18446744073709551615 134526334 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31936/tid=31939] ppid=31934 vsize=4328 CPUtime=2.06
/proc/31936/task/31939/stat : 31939 (satake) S 31934 31936 31869 0 -1 4194368 173 0 0 0 165 41 0 0 15 0 4 0 1131380022 4431872 803 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.24
Current children cumulated vsize (KiB) 4328

[startup+6.31045 s]
/proc/loadavg: 1.08 1.02 1.11 3/72 31940
/proc/meminfo: memFree=1681544/2055920 swapFree=4177828/4192956
[pid=31936] ppid=31934 vsize=6672 CPUtime=10.8
/proc/31936/stat : 31936 (satake) S 31934 31936 31869 0 -1 4194304 1277 0 0 0 750 330 0 0 18 0 4 0 1131380022 6832128 1262 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31936/statm: 1668 1262 70 163 0 1503 0
[pid=31936/tid=31937] ppid=31934 vsize=6672 CPUtime=2.18
/proc/31936/task/31937/stat : 31937 (satake) R 31934 31936 31869 0 -1 4194368 740 0 0 0 44 174 0 0 18 0 4 0 1131380022 6832128 1262 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31936/tid=31938] ppid=31934 vsize=6672 CPUtime=4.31
/proc/31936/task/31938/stat : 31938 (satake) R 31934 31936 31869 0 -1 4194368 224 0 0 0 355 76 0 0 15 0 4 0 1131380022 6832128 1262 1992294400 134512640 135180984 4294956208 18446744073709551615 134532627 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31936/tid=31939] ppid=31934 vsize=6672 CPUtime=4.29
/proc/31936/task/31939/stat : 31939 (satake) S 31934 31936 31869 0 -1 4194368 230 0 0 0 350 79 0 0 15 0 4 0 1131380022 6832128 1262 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.8
Current children cumulated vsize (KiB) 6672

[startup+12.7021 s]
/proc/loadavg: 1.23 1.05 1.12 3/72 31940
/proc/meminfo: memFree=1677968/2055920 swapFree=4177828/4192956
[pid=31936] ppid=31934 vsize=10168 CPUtime=22.09
/proc/31936/stat : 31936 (satake) S 31934 31936 31869 0 -1 4194304 2087 0 0 0 1559 650 0 0 18 0 4 0 1131380022 10412032 2072 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31936/statm: 2542 2072 70 163 0 2377 0
[pid=31936/tid=31937] ppid=31934 vsize=10168 CPUtime=4.36
/proc/31936/task/31937/stat : 31937 (satake) R 31934 31936 31869 0 -1 4194368 1376 0 0 0 89 347 0 0 18 0 4 0 1131380022 10412032 2072 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31936/tid=31938] ppid=31934 vsize=10168 CPUtime=8.9
/proc/31936/task/31938/stat : 31938 (satake) S 31934 31936 31869 0 -1 4194368 301 0 0 0 740 150 0 0 15 0 4 0 1131380022 10412032 2072 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31936/tid=31939] ppid=31934 vsize=10168 CPUtime=8.81
/proc/31936/task/31939/stat : 31939 (satake) R 31934 31936 31869 0 -1 4194368 327 0 0 0 729 152 0 0 16 0 4 0 1131380022 10412032 2072 1992294400 134512640 135180984 4294956208 18446744073709551615 134528661 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 22.09
Current children cumulated vsize (KiB) 10168

[startup+25.5068 s]
/proc/loadavg: 1.54 1.13 1.14 4/72 31940
/proc/meminfo: memFree=1671696/2055920 swapFree=4177828/4192956
[pid=31936] ppid=31934 vsize=17160 CPUtime=44.9
/proc/31936/stat : 31936 (satake) S 31934 31936 31869 0 -1 4194304 3633 0 0 0 3200 1290 0 0 18 0 4 0 1131380022 17571840 3618 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31936/statm: 4290 3618 70 163 0 4125 0
[pid=31936/tid=31937] ppid=31934 vsize=17160 CPUtime=8.7
/proc/31936/task/31937/stat : 31937 (satake) R 31934 31936 31869 0 -1 4194368 2549 0 0 0 179 691 0 0 18 0 4 0 1131380022 17571840 3618 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31936/tid=31938] ppid=31934 vsize=17160 CPUtime=18.15
/proc/31936/task/31938/stat : 31938 (satake) R 31934 31936 31869 0 -1 4194368 511 0 0 0 1519 296 0 0 16 0 4 0 1131380022 17571840 3618 1992294400 134512640 135180984 4294956208 18446744073709551615 134529656 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31936/tid=31939] ppid=31934 vsize=17160 CPUtime=18.03
/proc/31936/task/31939/stat : 31939 (satake) R 31934 31936 31869 0 -1 4194368 490 0 0 0 1501 302 0 0 16 0 4 0 1131380022 17571840 3618 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 44.9
Current children cumulated vsize (KiB) 17160

[startup+51.1027 s]
/proc/loadavg: 1.90 1.25 1.18 4/72 31940
/proc/meminfo: memFree=1660432/2055920 swapFree=4177828/4192956
[pid=31936] ppid=31934 vsize=29740 CPUtime=91.6
/proc/31936/stat : 31936 (satake) S 31934 31936 31869 0 -1 4194304 6456 0 0 0 6686 2474 0 0 18 0 4 0 1131380022 30453760 6441 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31936/statm: 7435 6441 70 163 0 7270 0
[pid=31936/tid=31937] ppid=31934 vsize=29740 CPUtime=16.19
/proc/31936/task/31937/stat : 31937 (satake) R 31934 31936 31869 0 -1 4194368 4746 0 0 0 338 1281 0 0 16 0 4 0 1131380022 30453760 6441 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31936/tid=31938] ppid=31934 vsize=29740 CPUtime=37.73
/proc/31936/task/31938/stat : 31938 (satake) R 31934 31936 31869 0 -1 4194368 822 0 0 0 3175 598 0 0 16 0 4 0 1131380022 30453760 6441 1992294400 134512640 135180984 4294956208 18446744073709551615 134524643 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31936/tid=31939] ppid=31934 vsize=29740 CPUtime=37.66
/proc/31936/task/31939/stat : 31939 (satake) R 31934 31936 31869 0 -1 4194368 805 0 0 0 3172 594 0 0 15 0 4 0 1131380022 30453760 6441 1992294400 134512640 135180984 4294956208 18446744073709551615 134530765 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 91.6
Current children cumulated vsize (KiB) 29740

[startup+102.308 s]
/proc/loadavg: 2.23 1.44 1.25 3/72 31946
/proc/meminfo: memFree=1638024/2055920 swapFree=4177828/4192956
[pid=31936] ppid=31934 vsize=53652 CPUtime=185.26
/proc/31936/stat : 31936 (satake) S 31934 31936 31869 0 -1 4194304 11968 0 0 0 13659 4867 0 0 18 0 4 0 1131380022 54939648 11953 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31936/statm: 13413 11953 70 163 0 13248 0
[pid=31936/tid=31937] ppid=31934 vsize=53652 CPUtime=31.29
/proc/31936/task/31937/stat : 31937 (satake) R 31934 31936 31869 0 -1 4194368 9188 0 0 0 678 2451 0 0 16 0 4 0 1131380022 54939648 11953 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31936/tid=31938] ppid=31934 vsize=53652 CPUtime=76.96
/proc/31936/task/31938/stat : 31938 (satake) R 31934 31936 31869 0 -1 4194368 1420 0 0 0 6481 1215 0 0 16 0 4 0 1131380022 54939648 11953 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31936/tid=31939] ppid=31934 vsize=53652 CPUtime=76.99
/proc/31936/task/31939/stat : 31939 (satake) S 31934 31936 31869 0 -1 4194368 1277 0 0 0 6499 1200 0 0 15 0 4 0 1131380022 54939648 11953 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 185.26
Current children cumulated vsize (KiB) 53652

[startup+162.302 s]
/proc/loadavg: 2.47 1.66 1.33 3/72 31946
/proc/meminfo: memFree=1614216/2055920 swapFree=4177828/4192956
[pid=31936] ppid=31934 vsize=82952 CPUtime=296.81
/proc/31936/stat : 31936 (satake) S 31934 31936 31869 0 -1 4194304 17943 0 0 0 22191 7490 0 0 18 0 4 0 1131380022 84942848 17928 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31936/statm: 20738 17928 70 163 0 20573 0
[pid=31936/tid=31937] ppid=31934 vsize=82952 CPUtime=47.93
/proc/31936/task/31937/stat : 31937 (satake) S 31934 31936 31869 0 -1 4194368 13896 0 0 0 1047 3746 0 0 16 0 4 0 1131380022 84942848 17928 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=31936/tid=31938] ppid=31934 vsize=82952 CPUtime=124.55

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

Current children cumulated vsize (KiB) 82952

[startup+222.302 s]
/proc/loadavg: 2.47 1.79 1.40 3/72 31946
/proc/meminfo: memFree=1591560/2055920 swapFree=4177828/4192956
[pid=31936] ppid=31934 vsize=112320 CPUtime=409.25
/proc/31936/stat : 31936 (satake) S 31934 31936 31869 0 -1 4194304 23571 0 0 0 30782 10143 0 0 18 0 4 0 1131380022 115015680 23556 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31936/statm: 28080 23556 70 163 0 27915 0
[pid=31936/tid=31937] ppid=31934 vsize=112320 CPUtime=64.35
/proc/31936/task/31937/stat : 31937 (satake) S 31934 31936 31869 0 -1 4194368 18069 0 0 0 1403 5032 0 0 16 0 4 0 1131380022 115015680 23556 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=31936/tid=31938] ppid=31934 vsize=112320 CPUtime=172.37
/proc/31936/task/31938/stat : 31938 (satake) R 31934 31936 31869 0 -1 4194368 2749 0 0 0 14685 2552 0 0 16 0 4 0 1131380022 115015680 23556 1992294400 134512640 135180984 4294956208 18446744073709551615 134518227 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31936/tid=31939] ppid=31934 vsize=112320 CPUtime=172.5
/proc/31936/task/31939/stat : 31939 (satake) R 31934 31936 31869 0 -1 4194368 2670 0 0 0 14693 2557 0 0 16 0 4 0 1131380022 115015680 23556 1992294400 134512640 135180984 4294956208 18446744073709551615 134528641 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 409.25
Current children cumulated vsize (KiB) 112320

[startup+282.303 s]
/proc/loadavg: 2.53 1.93 1.47 3/72 31946
/proc/meminfo: memFree=1568328/2055920 swapFree=4177828/4192956
[pid=31936] ppid=31934 vsize=138372 CPUtime=521.46
/proc/31936/stat : 31936 (satake) S 31934 31936 31869 0 -1 4194304 29467 0 0 0 39304 12842 0 0 18 0 4 0 1131380022 141692928 29452 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31936/statm: 34593 29452 70 163 0 34428 0
[pid=31936/tid=31937] ppid=31934 vsize=138372 CPUtime=81.34
/proc/31936/task/31937/stat : 31937 (satake) R 31934 31936 31869 0 -1 4194368 22213 0 0 0 1781 6353 0 0 16 0 4 0 1131380022 141692928 29452 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31936/tid=31938] ppid=31934 vsize=138372 CPUtime=219.78
/proc/31936/task/31938/stat : 31938 (satake) R 31934 31936 31869 0 -1 4194368 3708 0 0 0 18737 3241 0 0 16 0 4 0 1131380022 141692928 29452 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31936/tid=31939] ppid=31934 vsize=138372 CPUtime=220.32
/proc/31936/task/31939/stat : 31939 (satake) R 31934 31936 31869 0 -1 4194368 3463 0 0 0 18784 3248 0 0 15 0 4 0 1131380022 141692928 29452 1992294400 134512640 135180984 4294956208 18446744073709551615 134528694 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 521.46
Current children cumulated vsize (KiB) 138372

[startup+342.302 s]
/proc/loadavg: 2.57 2.04 1.53 4/72 31946
/proc/meminfo: memFree=1543560/2055920 swapFree=4177828/4192956
[pid=31936] ppid=31934 vsize=166144 CPUtime=633.23
/proc/31936/stat : 31936 (satake) S 31934 31936 31869 0 -1 4194304 35578 0 0 0 47626 15697 0 0 18 0 4 0 1131380022 170131456 35563 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31936/statm: 41536 35563 70 163 0 41371 0
[pid=31936/tid=31937] ppid=31934 vsize=166144 CPUtime=99.31
/proc/31936/task/31937/stat : 31937 (satake) S 31934 31936 31869 0 -1 4194368 26651 0 0 0 2176 7755 0 0 16 0 4 0 1131380022 170131456 35563 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=31936/tid=31938] ppid=31934 vsize=166144 CPUtime=266.35
/proc/31936/task/31938/stat : 31938 (satake) R 31934 31936 31869 0 -1 4194368 4272 0 0 0 22672 3963 0 0 16 0 4 0 1131380022 170131456 35563 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31936/tid=31939] ppid=31934 vsize=166144 CPUtime=267.54
/proc/31936/task/31939/stat : 31939 (satake) R 31934 31936 31869 0 -1 4194368 4572 0 0 0 22777 3977 0 0 16 0 4 0 1131380022 170131456 35563 1992294400 134512640 135180984 4294956208 18446744073709551615 134528631 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 633.23
Current children cumulated vsize (KiB) 166144

[startup+402.302 s]
/proc/loadavg: 2.47 2.10 1.58 3/72 31946
/proc/meminfo: memFree=1520336/2055920 swapFree=4177828/4192956
[pid=31936] ppid=31934 vsize=194420 CPUtime=745.47
/proc/31936/stat : 31936 (satake) S 31934 31936 31869 0 -1 4194304 41431 0 0 0 56102 18445 0 0 18 0 4 0 1131380022 199086080 41416 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31936/statm: 48605 41416 70 163 0 48440 0
[pid=31936/tid=31937] ppid=31934 vsize=194420 CPUtime=116.68
/proc/31936/task/31937/stat : 31937 (satake) R 31934 31936 31869 0 -1 4194368 30692 0 0 0 2562 9106 0 0 16 0 4 0 1131380022 199086080 41416 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31936/tid=31938] ppid=31934 vsize=194420 CPUtime=313.57
/proc/31936/task/31938/stat : 31938 (satake) R 31934 31936 31869 0 -1 4194368 5166 0 0 0 26699 4658 0 0 15 0 4 0 1131380022 199086080 41416 1992294400 134512640 135180984 4294956208 18446744073709551615 134528628 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31936/tid=31939] ppid=31934 vsize=194420 CPUtime=315.2
/proc/31936/task/31939/stat : 31939 (satake) R 31934 31936 31869 0 -1 4194368 5490 0 0 0 26840 4680 0 0 16 0 4 0 1131380022 199086080 41416 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 745.47
Current children cumulated vsize (KiB) 194420

[startup+462.302 s]
/proc/loadavg: 2.47 2.16 1.63 4/72 31946
/proc/meminfo: memFree=1497040/2055920 swapFree=4177828/4192956
[pid=31936] ppid=31934 vsize=224696 CPUtime=858.18
/proc/31936/stat : 31936 (satake) S 31934 31936 31869 0 -1 4194304 47148 0 0 0 64687 21131 0 0 18 0 4 0 1131380022 230088704 47133 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31936/statm: 56174 47133 70 163 0 56009 0
[pid=31936/tid=31937] ppid=31934 vsize=224696 CPUtime=133.69
/proc/31936/task/31937/stat : 31937 (satake) S 31934 31936 31869 0 -1 4194368 34599 0 0 0 2946 10423 0 0 15 0 4 0 1131380022 230088704 47133 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=31936/tid=31938] ppid=31934 vsize=224696 CPUtime=361.27
/proc/31936/task/31938/stat : 31938 (satake) R 31934 31936 31869 0 -1 4194368 6058 0 0 0 30798 5329 0 0 15 0 4 0 1131380022 230088704 47133 1992294400 134512640 135180984 4294956208 18446744073709551615 134530765 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31936/tid=31939] ppid=31934 vsize=224696 CPUtime=363.2
/proc/31936/task/31939/stat : 31939 (satake) R 31934 31936 31869 0 -1 4194368 6408 0 0 0 30942 5378 0 0 17 0 4 0 1131380022 230088704 47133 1992294400 134512640 135180984 4294956208 18446744073709551615 134523985 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 858.18
Current children cumulated vsize (KiB) 224696

[startup+522.302 s]
/proc/loadavg: 2.42 2.20 1.68 3/72 31946
/proc/meminfo: memFree=1474256/2055920 swapFree=4177828/4192956
[pid=31936] ppid=31934 vsize=255568 CPUtime=970.57
/proc/31936/stat : 31936 (satake) S 31934 31936 31869 0 -1 4194304 52868 0 0 0 73194 23863 0 0 18 0 4 0 1131380022 261701632 52853 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31936/statm: 63892 52853 70 163 0 63727 0
[pid=31936/tid=31937] ppid=31934 vsize=255568 CPUtime=150.99
/proc/31936/task/31937/stat : 31937 (satake) S 31934 31936 31869 0 -1 4194368 38217 0 0 0 3334 11765 0 0 15 0 4 0 1131380022 261701632 52853 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=31936/tid=31938] ppid=31934 vsize=255568 CPUtime=408.83
/proc/31936/task/31938/stat : 31938 (satake) R 31934 31936 31869 0 -1 4194368 7245 0 0 0 34866 6017 0 0 16 0 4 0 1131380022 261701632 52853 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31936/tid=31939] ppid=31934 vsize=255568 CPUtime=410.73
/proc/31936/task/31939/stat : 31939 (satake) R 31934 31936 31869 0 -1 4194368 7323 0 0 0 34993 6080 0 0 16 0 4 0 1131380022 261701632 52853 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 970.57
Current children cumulated vsize (KiB) 255568

[startup+582.302 s]
/proc/loadavg: 2.35 2.22 1.72 3/72 31946
/proc/meminfo: memFree=1451920/2055920 swapFree=4177828/4192956
[pid=31936] ppid=31934 vsize=278952 CPUtime=1083.42
/proc/31936/stat : 31936 (satake) S 31934 31936 31869 0 -1 4194304 58401 0 0 0 81783 26559 0 0 18 0 4 0 1131380022 285646848 58386 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31936/statm: 69738 58386 70 163 0 69573 0
[pid=31936/tid=31937] ppid=31934 vsize=278952 CPUtime=167.92
/proc/31936/task/31937/stat : 31937 (satake) R 31934 31936 31869 0 -1 4194368 41928 0 0 0 3710 13082 0 0 15 0 4 0 1131380022 285646848 58386 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31936/tid=31938] ppid=31934 vsize=278952 CPUtime=456.81
/proc/31936/task/31938/stat : 31938 (satake) R 31934 31936 31869 0 -1 4194368 8327 0 0 0 38982 6699 0 0 16 0 4 0 1131380022 285646848 58386 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31936/tid=31939] ppid=31934 vsize=278952 CPUtime=458.67
/proc/31936/task/31939/stat : 31939 (satake) R 31934 31936 31869 0 -1 4194368 8063 0 0 0 39090 6777 0 0 17 0 4 0 1131380022 285646848 58386 1992294400 134512640 135180984 4294956208 18446744073709551615 134528428 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1083.42
Current children cumulated vsize (KiB) 278952

[startup+642.302 s]
/proc/loadavg: 2.44 2.28 1.77 3/72 31946
/proc/meminfo: memFree=1429456/2055920 swapFree=4177828/4192956
[pid=31936] ppid=31934 vsize=305112 CPUtime=1195.92
/proc/31936/stat : 31936 (satake) S 31934 31936 31869 0 -1 4194304 63987 0 0 0 90333 29259 0 0 18 0 4 0 1131380022 312434688 63972 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31936/statm: 76278 63972 70 163 0 76113 0
[pid=31936/tid=31937] ppid=31934 vsize=305112 CPUtime=184.7
/proc/31936/task/31937/stat : 31937 (satake) S 31934 31936 31869 0 -1 4194368 45573 0 0 0 4077 14393 0 0 15 0 4 0 1131380022 312434688 63972 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=31936/tid=31938] ppid=31934 vsize=305112 CPUtime=504.6
/proc/31936/task/31938/stat : 31938 (satake) R 31934 31936 31869 0 -1 4194368 9143 0 0 0 43069 7391 0 0 16 0 4 0 1131380022 312434688 63972 1992294400 134512640 135180984 4294956208 18446744073709551615 134528600 0 0 4096 0 0 0 0 -1 1 0 0
[pid=31936/tid=31939] ppid=31934 vsize=305112 CPUtime=506.6
/proc/31936/task/31939/stat : 31939 (satake) R 31934 31936 31869 0 -1 4194368 9188 0 0 0 43186 7474 0 0 16 0 4 0 1131380022 312434688 63972 1992294400 134512640 135180984 4294956208 18446744073709551615 134528576 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1195.92
Current children cumulated vsize (KiB) 305112



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+644.501 s]
/proc/loadavg: 2.40 2.28 1.77 4/72 31946
/proc/meminfo: memFree=1428432/2055920 swapFree=4177828/4192956
[pid=31936] ppid=31934 vsize=306944 CPUtime=1200.1
/proc/31936/stat : 31936 (satake) S 31934 31936 31869 0 -1 4194304 64230 0 0 0 90653 29357 0 0 18 0 4 0 1131380022 314310656 64215 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31936/statm: 76736 64215 70 163 0 76571 0
[pid=31936/tid=31937] ppid=31934 vsize=306944 CPUtime=185.28
/proc/31936/task/31937/stat : 31937 (satake) R 31934 31936 31869 0 -1 4194368 45733 0 0 0 4088 14440 0 0 16 0 4 0 1131380022 314310656 64215 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31936/tid=31938] ppid=31934 vsize=306944 CPUtime=506.38
/proc/31936/task/31938/stat : 31938 (satake) R 31934 31936 31869 0 -1 4194368 9198 0 0 0 43222 7416 0 0 15 0 4 0 1131380022 314310656 64215 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31936/tid=31939] ppid=31934 vsize=306944 CPUtime=508.42
/proc/31936/task/31939/stat : 31939 (satake) R 31934 31936 31869 0 -1 4194368 9216 0 0 0 43342 7500 0 0 16 0 4 0 1131380022 314310656 64215 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 306944

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

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

[startup+644.501 s]
/proc/loadavg: 2.40 2.28 1.77 4/72 31946
/proc/meminfo: memFree=1428432/2055920 swapFree=4177828/4192956
[pid=31936] ppid=31934 vsize=306944 CPUtime=1200.1
/proc/31936/stat : 31936 (satake) S 31934 31936 31869 0 -1 4194304 64230 0 0 0 90653 29357 0 0 18 0 4 0 1131380022 314310656 64215 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31936/statm: 76736 64215 70 163 0 76571 0
[pid=31936/tid=31937] ppid=31934 vsize=306944 CPUtime=185.28
/proc/31936/task/31937/stat : 31937 (satake) R 31934 31936 31869 0 -1 4194368 45733 0 0 0 4088 14440 0 0 16 0 4 0 1131380022 314310656 64215 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31936/tid=31938] ppid=31934 vsize=306944 CPUtime=506.38
/proc/31936/task/31938/stat : 31938 (satake) R 31934 31936 31869 0 -1 4194368 9198 0 0 0 43222 7416 0 0 15 0 4 0 1131380022 314310656 64215 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 0 0 0
[pid=31936/tid=31939] ppid=31934 vsize=306944 CPUtime=508.42
/proc/31936/task/31939/stat : 31939 (satake) R 31934 31936 31869 0 -1 4194368 9216 0 0 0 43342 7500 0 0 16 0 4 0 1131380022 314310656 64215 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 306944

Child ended because it received signal 15 (SIGTERM)
Real time (s): 644.563
CPU time (s): 1200.17
CPU user time (s): 906.546
CPU system time (s): 293.626
CPU usage (%): 186.199
Max. virtual memory (cumulated for all children) (KiB): 306944

deleting IPC queue 1343488
deleting IPC queue 1376257
deleting IPC queue 1409026
deleting IPC queue 1441795
deleting IPC queue 1474564
deleting IPC queue 1507333
deleting IPC queue 1540102
deleting IPC queue 1572871
deleting IPC queue 1605640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 906.546
system time used= 293.626
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64230
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= 11094899
involuntary context switches= 10449163

runsolver used 0.756884 second user time and 1.93071 second system time

The end

Launcher Data 

Begin job on node52 at 2009-04-01 13:59:40
IDJOB=1543868
IDBENCH=70709
IDSOLVER=553
FILE ID=node52/1543868-1238587180
PBS_JOBID= 9062244
Free space on /tmp= 66400 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/SATISFIABLE/540/unif-k3-r4.25-v540-c2295-S23858409-056.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543868-1238587180/watcher-1543868-1238587180 -o /tmp/evaluation-result-1543868-1238587180/solver-1543868-1238587180 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543868-1238587180.cnf 3 1200

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

MD5SUM BENCH= 1d9e0ed32c3bf3bc5fbb21926c01a19c
RANDOM SEED=1756837948

node52.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.230
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.230
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:       1686528 kB
Buffers:         83460 kB
Cached:         197096 kB
SwapCached:       7968 kB
Active:         200296 kB
Inactive:        90304 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1686528 kB
SwapTotal:     4192956 kB
SwapFree:      4177828 kB
Dirty:             792 kB
Writeback:           0 kB
Mapped:          15684 kB
Slab:            64332 kB
Committed_AS:  3212164 kB
PageTables:       1736 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= 66400 MiB
End job on node52 at 2009-04-01 14:10:27