Trace number 1543710

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.25 647.362

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1540921235-015.cnf
MD5SUM49dc86fbfdf68b8af633e3ee1aa2a9e7
Bench CategoryRANDOM (random 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 variables520
Number of clauses2210
Sum of the clauses size6630
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32210
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-1543710-1238502319/watcher-1543710-1238502319 -o /tmp/evaluation-result-1543710-1238502319/solver-1543710-1238502319 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543710-1238502319.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.09 3/65 20955
/proc/meminfo: memFree=1212824/2055920 swapFree=4191900/4192956
[pid=20955] ppid=20953 vsize=1324 CPUtime=0
/proc/20955/stat : 20955 (satake) S 20953 20955 20510 0 -1 4194304 189 0 0 0 0 0 0 0 18 0 4 0 333952648 1355776 174 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20955/statm: 331 174 68 163 0 166 0
[pid=20955/tid=20956] ppid=20953 vsize=1324 CPUtime=0
/proc/20955/task/20956/stat : 20956 (satake) R 20953 20955 20510 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 333952648 1355776 174 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20955/tid=20957] ppid=20953 vsize=1324 CPUtime=0
/proc/20955/task/20957/stat : 20957 (satake) R 20953 20955 20510 0 -1 4194368 61 0 0 0 0 0 0 0 19 0 4 0 333952648 1355776 174 1992294400 134512640 135180984 4294956208 18446744073709551615 134518667 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20955/tid=20958] ppid=20953 vsize=1324 CPUtime=0
/proc/20955/task/20958/stat : 20958 (satake) R 20953 20955 20510 0 -1 4194368 38 0 0 0 0 0 0 0 19 0 4 0 333952648 1355776 174 1992294400 134512640 135180984 4294956208 18446744073709551615 134534770 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.058134 s]
/proc/loadavg: 1.00 1.00 1.09 3/65 20955
/proc/meminfo: memFree=1212824/2055920 swapFree=4191900/4192956
[pid=20955] ppid=20953 vsize=2608 CPUtime=0.08
/proc/20955/stat : 20955 (satake) S 20953 20955 20510 0 -1 4194304 244 0 0 0 5 3 0 0 18 0 4 0 333952648 2670592 229 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20955/statm: 652 229 70 163 0 487 0
[pid=20955/tid=20956] ppid=20953 vsize=2608 CPUtime=0.01
/proc/20955/task/20956/stat : 20956 (satake) R 20953 20955 20510 0 -1 4194368 20 0 0 0 0 1 0 0 17 0 4 0 333952648 2670592 229 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20955/tid=20957] ppid=20953 vsize=2608 CPUtime=0.02
/proc/20955/task/20957/stat : 20957 (satake) R 20953 20955 20510 0 -1 4194368 76 0 0 0 2 0 0 0 17 0 4 0 333952648 2670592 229 1992294400 134512640 135180984 4294956208 18446744073709551615 134520896 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20955/tid=20958] ppid=20953 vsize=2608 CPUtime=0.02
/proc/20955/task/20958/stat : 20958 (satake) S 20953 20955 20510 0 -1 4194368 65 0 0 0 2 0 0 0 17 0 4 0 333952648 2670592 229 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2608

[startup+0.10374 s]
/proc/loadavg: 1.00 1.00 1.09 3/65 20955
/proc/meminfo: memFree=1212824/2055920 swapFree=4191900/4192956
[pid=20955] ppid=20953 vsize=2608 CPUtime=0.16
/proc/20955/stat : 20955 (satake) S 20953 20955 20510 0 -1 4194304 276 0 0 0 10 6 0 0 18 0 4 0 333952648 2670592 261 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20955/statm: 652 261 70 163 0 487 0
[pid=20955/tid=20956] ppid=20953 vsize=2608 CPUtime=0.02
/proc/20955/task/20956/stat : 20956 (satake) R 20953 20955 20510 0 -1 4194368 25 0 0 0 0 2 0 0 17 0 4 0 333952648 2670592 261 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20955/tid=20957] ppid=20953 vsize=2608 CPUtime=0.05
/proc/20955/task/20957/stat : 20957 (satake) R 20953 20955 20510 0 -1 4194368 90 0 0 0 4 1 0 0 17 0 4 0 333952648 2670592 261 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20955/tid=20958] ppid=20953 vsize=2608 CPUtime=0.05
/proc/20955/task/20958/stat : 20958 (satake) S 20953 20955 20510 0 -1 4194368 78 0 0 0 4 1 0 0 16 0 4 0 333952648 2670592 261 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) 2608

[startup+0.301164 s]
/proc/loadavg: 1.00 1.00 1.09 3/65 20955
/proc/meminfo: memFree=1212824/2055920 swapFree=4191900/4192956
[pid=20955] ppid=20953 vsize=2872 CPUtime=0.48
/proc/20955/stat : 20955 (satake) S 20953 20955 20510 0 -1 4194304 328 0 0 0 30 18 0 0 18 0 4 0 333952648 2940928 313 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20955/statm: 718 313 70 163 0 553 0
[pid=20955/tid=20956] ppid=20953 vsize=2872 CPUtime=0.11
/proc/20955/task/20956/stat : 20956 (satake) S 20953 20955 20510 0 -1 4194368 46 0 0 0 2 9 0 0 16 0 4 0 333952648 2940928 313 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20955/tid=20957] ppid=20953 vsize=2872 CPUtime=0.19
/proc/20955/task/20957/stat : 20957 (satake) S 20953 20955 20510 0 -1 4194368 108 0 0 0 15 4 0 0 17 0 4 0 333952648 2940928 313 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20955/tid=20958] ppid=20953 vsize=2872 CPUtime=0.16
/proc/20955/task/20958/stat : 20958 (satake) R 20953 20955 20510 0 -1 4194368 91 0 0 0 12 4 0 0 17 0 4 0 333952648 2940928 313 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 2872

[startup+0.701217 s]
/proc/loadavg: 1.00 1.00 1.09 3/65 20955
/proc/meminfo: memFree=1212824/2055920 swapFree=4191900/4192956
[pid=20955] ppid=20953 vsize=3136 CPUtime=1.15
/proc/20955/stat : 20955 (satake) S 20953 20955 20510 0 -1 4194304 415 0 0 0 73 42 0 0 18 0 4 0 333952648 3211264 400 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20955/statm: 784 400 70 163 0 619 0
[pid=20955/tid=20956] ppid=20953 vsize=3136 CPUtime=0.27
/proc/20955/task/20956/stat : 20956 (satake) R 20953 20955 20510 0 -1 4194368 86 0 0 0 5 22 0 0 17 0 4 0 333952648 3211264 400 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20955/tid=20957] ppid=20953 vsize=3136 CPUtime=0.45
/proc/20955/task/20957/stat : 20957 (satake) R 20953 20955 20510 0 -1 4194368 127 0 0 0 35 10 0 0 16 0 4 0 333952648 3211264 400 1992294400 134512640 135180984 4294956208 18446744073709551615 134530765 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20955/tid=20958] ppid=20953 vsize=3136 CPUtime=0.41
/proc/20955/task/20958/stat : 20958 (satake) R 20953 20955 20510 0 -1 4194368 119 0 0 0 32 9 0 0 17 0 4 0 333952648 3211264 400 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 3136

[startup+1.50132 s]
/proc/loadavg: 1.00 1.00 1.09 4/69 20959
/proc/meminfo: memFree=1211192/2055920 swapFree=4191900/4192956
[pid=20955] ppid=20953 vsize=3532 CPUtime=2.49
/proc/20955/stat : 20955 (satake) S 20953 20955 20510 0 -1 4194304 567 0 0 0 161 88 0 0 18 0 4 0 333952648 3616768 552 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20955/statm: 883 552 70 163 0 718 0
[pid=20955/tid=20956] ppid=20953 vsize=3532 CPUtime=0.54
/proc/20955/task/20956/stat : 20956 (satake) R 20953 20955 20510 0 -1 4194368 172 0 0 0 10 44 0 0 17 0 4 0 333952648 3616768 552 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20955/tid=20957] ppid=20953 vsize=3532 CPUtime=0.98
/proc/20955/task/20957/stat : 20957 (satake) R 20953 20955 20510 0 -1 4194368 156 0 0 0 76 22 0 0 16 0 4 0 333952648 3616768 552 1992294400 134512640 135180984 4294956208 18446744073709551615 134522701 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20955/tid=20958] ppid=20953 vsize=3532 CPUtime=0.95
/proc/20955/task/20958/stat : 20958 (satake) S 20953 20955 20510 0 -1 4194368 156 0 0 0 74 21 0 0 17 0 4 0 333952648 3616768 552 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 3532

[startup+3.10271 s]
/proc/loadavg: 1.00 1.00 1.09 4/69 20959
/proc/meminfo: memFree=1210232/2055920 swapFree=4191900/4192956
[pid=20955] ppid=20953 vsize=4192 CPUtime=5.22
/proc/20955/stat : 20955 (satake) S 20953 20955 20510 0 -1 4194304 829 0 0 0 349 173 0 0 18 0 4 0 333952648 4292608 814 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20955/statm: 1048 814 70 163 0 883 0
[pid=20955/tid=20956] ppid=20953 vsize=4192 CPUtime=1.04
/proc/20955/task/20956/stat : 20956 (satake) R 20953 20955 20510 0 -1 4194368 352 0 0 0 20 84 0 0 17 0 4 0 333952648 4292608 814 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20955/tid=20957] ppid=20953 vsize=4192 CPUtime=2.11
/proc/20955/task/20957/stat : 20957 (satake) R 20953 20955 20510 0 -1 4194368 193 0 0 0 165 46 0 0 16 0 4 0 333952648 4292608 814 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20955/tid=20958] ppid=20953 vsize=4192 CPUtime=2.05
/proc/20955/task/20958/stat : 20958 (satake) R 20953 20955 20510 0 -1 4194368 201 0 0 0 163 42 0 0 17 0 4 0 333952648 4292608 814 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.22
Current children cumulated vsize (KiB) 4192

[startup+6.30278 s]
/proc/loadavg: 1.16 1.03 1.10 3/69 20959
/proc/meminfo: memFree=1208120/2055920 swapFree=4191900/4192956
[pid=20955] ppid=20953 vsize=6308 CPUtime=10.72
/proc/20955/stat : 20955 (satake) S 20953 20955 20510 0 -1 4194304 1300 0 0 0 724 348 0 0 18 0 4 0 333952648 6459392 1285 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20955/statm: 1577 1285 70 163 0 1412 0
[pid=20955/tid=20956] ppid=20953 vsize=6308 CPUtime=2.23
/proc/20955/task/20956/stat : 20956 (satake) R 20953 20955 20510 0 -1 4194368 655 0 0 0 45 178 0 0 17 0 4 0 333952648 6459392 1285 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20955/tid=20957] ppid=20953 vsize=6308 CPUtime=4.29
/proc/20955/task/20957/stat : 20957 (satake) S 20953 20955 20510 0 -1 4194368 277 0 0 0 343 86 0 0 15 0 4 0 333952648 6459392 1285 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20955/tid=20958] ppid=20953 vsize=6308 CPUtime=4.17
/proc/20955/task/20958/stat : 20958 (satake) S 20953 20955 20510 0 -1 4194368 285 0 0 0 335 82 0 0 15 0 4 0 333952648 6459392 1285 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.72
Current children cumulated vsize (KiB) 6308

[startup+12.7017 s]
/proc/loadavg: 1.23 1.05 1.11 3/69 20959
/proc/meminfo: memFree=1204536/2055920 swapFree=4191900/4192956
[pid=20955] ppid=20953 vsize=10396 CPUtime=21.97
/proc/20955/stat : 20955 (satake) S 20953 20955 20510 0 -1 4194304 2184 0 0 0 1496 701 0 0 18 0 4 0 333952648 10645504 2169 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20955/statm: 2599 2169 70 163 0 2434 0
[pid=20955/tid=20956] ppid=20953 vsize=10396 CPUtime=4.47
/proc/20955/task/20956/stat : 20956 (satake) S 20953 20955 20510 0 -1 4194368 1275 0 0 0 95 352 0 0 16 0 4 0 333952648 10645504 2169 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20955/tid=20957] ppid=20953 vsize=10396 CPUtime=8.83
/proc/20955/task/20957/stat : 20957 (satake) R 20953 20955 20510 0 -1 4194368 428 0 0 0 706 177 0 0 16 0 4 0 333952648 10645504 2169 1992294400 134512640 135180984 4294956208 18446744073709551615 134528763 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20955/tid=20958] ppid=20953 vsize=10396 CPUtime=8.65
/proc/20955/task/20958/stat : 20958 (satake) R 20953 20955 20510 0 -1 4194368 398 0 0 0 694 171 0 0 16 0 4 0 333952648 10645504 2169 1992294400 134512640 135180984 4294956208 18446744073709551615 134520719 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.97
Current children cumulated vsize (KiB) 10396

[startup+25.5015 s]
/proc/loadavg: 1.47 1.11 1.12 3/69 20959
/proc/meminfo: memFree=1197496/2055920 swapFree=4191900/4192956
[pid=20955] ppid=20953 vsize=17684 CPUtime=44.72
/proc/20955/stat : 20955 (satake) S 20953 20955 20510 0 -1 4194304 3891 0 0 0 3072 1400 0 0 18 0 4 0 333952648 18108416 3876 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20955/statm: 4421 3876 70 163 0 4256 0
[pid=20955/tid=20956] ppid=20953 vsize=17684 CPUtime=8.83
/proc/20955/task/20956/stat : 20956 (satake) S 20953 20955 20510 0 -1 4194368 2514 0 0 0 188 695 0 0 16 0 4 0 333952648 18108416 3876 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20955/tid=20957] ppid=20953 vsize=17684 CPUtime=18.02
/proc/20955/task/20957/stat : 20957 (satake) R 20953 20955 20510 0 -1 4194368 621 0 0 0 1448 354 0 0 16 0 4 0 333952648 18108416 3876 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20955/tid=20958] ppid=20953 vsize=17684 CPUtime=17.85
/proc/20955/task/20958/stat : 20958 (satake) R 20953 20955 20510 0 -1 4194368 673 0 0 0 1435 350 0 0 16 0 4 0 333952648 18108416 3876 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 44.72
Current children cumulated vsize (KiB) 17684

[startup+51.1006 s]
/proc/loadavg: 1.72 1.20 1.15 4/69 20959
/proc/meminfo: memFree=1185272/2055920 swapFree=4191900/4192956
[pid=20955] ppid=20953 vsize=32568 CPUtime=90.6
/proc/20955/stat : 20955 (satake) S 20953 20955 20510 0 -1 4194304 7029 0 0 0 6279 2781 0 0 18 0 4 0 333952648 33349632 7014 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20955/statm: 8142 7014 70 163 0 7977 0
[pid=20955/tid=20956] ppid=20953 vsize=32568 CPUtime=17.37
/proc/20955/task/20956/stat : 20956 (satake) R 20953 20955 20510 0 -1 4194368 4993 0 0 0 375 1362 0 0 16 0 4 0 333952648 33349632 7014 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20955/tid=20957] ppid=20953 vsize=32568 CPUtime=36.58
/proc/20955/task/20957/stat : 20957 (satake) R 20953 20955 20510 0 -1 4194368 988 0 0 0 2951 707 0 0 16 0 4 0 333952648 33349632 7014 1992294400 134512640 135180984 4294956208 18446744073709551615 134528465 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20955/tid=20958] ppid=20953 vsize=32568 CPUtime=36.63
/proc/20955/task/20958/stat : 20958 (satake) S 20953 20955 20510 0 -1 4194368 965 0 0 0 2952 711 0 0 16 0 4 0 333952648 33349632 7014 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 90.6
Current children cumulated vsize (KiB) 32568

[startup+102.306 s]
/proc/loadavg: 2.11 1.38 1.21 3/69 20959
/proc/meminfo: memFree=1161464/2055920 swapFree=4191900/4192956
[pid=20955] ppid=20953 vsize=59000 CPUtime=183.63
/proc/20955/stat : 20955 (satake) S 20953 20955 20510 0 -1 4194304 12817 0 0 0 12963 5400 0 0 18 0 4 0 333952648 60416000 12802 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20955/statm: 14750 12802 70 163 0 14585 0
[pid=20955/tid=20956] ppid=20953 vsize=59000 CPUtime=33.81
/proc/20955/task/20956/stat : 20956 (satake) R 20953 20955 20510 0 -1 4194368 9448 0 0 0 730 2651 0 0 16 0 4 0 333952648 60416000 12802 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20955/tid=20957] ppid=20953 vsize=59000 CPUtime=74.79
/proc/20955/task/20957/stat : 20957 (satake) R 20953 20955 20510 0 -1 4194368 1682 0 0 0 6108 1371 0 0 15 0 4 0 333952648 60416000 12802 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20955/tid=20958] ppid=20953 vsize=59000 CPUtime=75
/proc/20955/task/20958/stat : 20958 (satake) R 20953 20955 20510 0 -1 4194368 1604 0 0 0 6124 1376 0 0 16 0 4 0 333952648 60416000 12802 1992294400 134512640 135180984 4294956208 18446744073709551615 134520035 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 183.63
Current children cumulated vsize (KiB) 59000

[startup+162.302 s]
/proc/loadavg: 2.25 1.55 1.28 3/69 20959
/proc/meminfo: memFree=1135992/2055920 swapFree=4191900/4192956
[pid=20955] ppid=20953 vsize=89072 CPUtime=294.01
/proc/20955/stat : 20955 (satake) S 20953 20955 20510 0 -1 4194304 19268 0 0 0 20989 8412 0 0 18 0 4 0 333952648 91209728 19253 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20955/statm: 22268 19253 70 163 0 22103 0
[pid=20955/tid=20956] ppid=20953 vsize=89072 CPUtime=52.57
/proc/20955/task/20956/stat : 20956 (satake) S 20953 20955 20510 0 -1 4194368 14413 0 0 0 1129 4128 0 0 16 0 4 0 333952648 91209728 19253 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=20955/tid=20957] ppid=20953 vsize=89072 CPUtime=120.61

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

Current children cumulated vsize (KiB) 89072

[startup+222.301 s]
/proc/loadavg: 2.40 1.72 1.36 3/69 20959
/proc/meminfo: memFree=1110648/2055920 swapFree=4191900/4192956
[pid=20955] ppid=20953 vsize=120504 CPUtime=405.11
/proc/20955/stat : 20955 (satake) S 20953 20955 20510 0 -1 4194304 25540 0 0 0 29067 11444 0 0 18 0 4 0 333952648 123396096 25525 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20955/statm: 30126 25525 70 163 0 29961 0
[pid=20955/tid=20956] ppid=20953 vsize=120504 CPUtime=71.31
/proc/20955/task/20956/stat : 20956 (satake) R 20953 20955 20510 0 -1 4194368 19066 0 0 0 1532 5599 0 0 16 0 4 0 333952648 123396096 25525 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20955/tid=20957] ppid=20953 vsize=120504 CPUtime=166.91
/proc/20955/task/20957/stat : 20957 (satake) R 20953 20955 20510 0 -1 4194368 3289 0 0 0 13778 2913 0 0 16 0 4 0 333952648 123396096 25525 1992294400 134512640 135180984 4294956208 18446744073709551615 134528398 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20955/tid=20958] ppid=20953 vsize=120504 CPUtime=166.86
/proc/20955/task/20958/stat : 20958 (satake) R 20953 20955 20510 0 -1 4194368 3102 0 0 0 13756 2930 0 0 16 0 4 0 333952648 123396096 25525 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 405.11
Current children cumulated vsize (KiB) 120504

[startup+282.302 s]
/proc/loadavg: 2.32 1.82 1.41 2/69 20959
/proc/meminfo: memFree=1085368/2055920 swapFree=4191900/4192956
[pid=20955] ppid=20953 vsize=149752 CPUtime=515.76
/proc/20955/stat : 20955 (satake) S 20953 20955 20510 0 -1 4194304 31922 0 0 0 37019 14557 0 0 18 0 4 0 333952648 153346048 31907 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20955/statm: 37438 31907 70 163 0 37273 0
[pid=20955/tid=20956] ppid=20953 vsize=149752 CPUtime=90.79
/proc/20955/task/20956/stat : 20956 (satake) R 20953 20955 20510 0 -1 4194368 23671 0 0 0 1951 7128 0 0 16 0 4 0 333952648 153346048 31907 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20955/tid=20957] ppid=20953 vsize=149752 CPUtime=212.51
/proc/20955/task/20957/stat : 20957 (satake) S 20953 20955 20510 0 -1 4194368 4218 0 0 0 17549 3702 0 0 15 0 4 0 333952648 153346048 31907 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20955/tid=20958] ppid=20953 vsize=149752 CPUtime=212.44
/proc/20955/task/20958/stat : 20958 (satake) R 20953 20955 20510 0 -1 4194368 3950 0 0 0 17518 3726 0 0 16 0 4 0 333952648 153346048 31907 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 515.76
Current children cumulated vsize (KiB) 149752

[startup+342.302 s]
/proc/loadavg: 2.45 1.95 1.48 4/69 20959
/proc/meminfo: memFree=1061240/2055920 swapFree=4191900/4192956
[pid=20955] ppid=20953 vsize=177840 CPUtime=627.72
/proc/20955/stat : 20955 (satake) S 20953 20955 20510 0 -1 4194304 37862 0 0 0 45398 17374 0 0 18 0 4 0 333952648 182108160 37847 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20955/statm: 44460 37847 70 163 0 44295 0
[pid=20955/tid=20956] ppid=20953 vsize=177840 CPUtime=108.55
/proc/20955/task/20956/stat : 20956 (satake) S 20953 20955 20510 0 -1 4194368 28004 0 0 0 2351 8504 0 0 15 0 4 0 333952648 182108160 37847 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20955/tid=20957] ppid=20953 vsize=177840 CPUtime=259.76
/proc/20955/task/20957/stat : 20957 (satake) R 20953 20955 20510 0 -1 4194368 5060 0 0 0 21554 4422 0 0 16 0 4 0 333952648 182108160 37847 1992294400 134512640 135180984 4294956208 18446744073709551615 134518252 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20955/tid=20958] ppid=20953 vsize=177840 CPUtime=259.4
/proc/20955/task/20958/stat : 20958 (satake) R 20953 20955 20510 0 -1 4194368 4715 0 0 0 21492 4448 0 0 16 0 4 0 333952648 182108160 37847 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 627.72
Current children cumulated vsize (KiB) 177840

[startup+402.301 s]
/proc/loadavg: 2.58 2.08 1.55 3/69 20959
/proc/meminfo: memFree=1036920/2055920 swapFree=4191900/4192956
[pid=20955] ppid=20953 vsize=209524 CPUtime=739.41
/proc/20955/stat : 20955 (satake) S 20953 20955 20510 0 -1 4194304 44022 0 0 0 53617 20324 0 0 18 0 4 0 333952648 214552576 44007 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20955/statm: 52381 44007 70 163 0 52216 0
[pid=20955/tid=20956] ppid=20953 vsize=209524 CPUtime=126.91
/proc/20955/task/20956/stat : 20956 (satake) S 20953 20955 20510 0 -1 4194368 32316 0 0 0 2747 9944 0 0 16 0 4 0 333952648 214552576 44007 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20955/tid=20957] ppid=20953 vsize=209524 CPUtime=306.42
/proc/20955/task/20957/stat : 20957 (satake) R 20953 20955 20510 0 -1 4194368 5923 0 0 0 25469 5173 0 0 16 0 4 0 333952648 214552576 44007 1992294400 134512640 135180984 4294956208 18446744073709551615 134528869 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20955/tid=20958] ppid=20953 vsize=209524 CPUtime=306.05
/proc/20955/task/20958/stat : 20958 (satake) R 20953 20955 20510 0 -1 4194368 5700 0 0 0 25399 5206 0 0 16 0 4 0 333952648 214552576 44007 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 739.41
Current children cumulated vsize (KiB) 209524

[startup+462.302 s]
/proc/loadavg: 2.48 2.14 1.60 4/69 20959
/proc/meminfo: memFree=1013560/2055920 swapFree=4191900/4192956
[pid=20955] ppid=20953 vsize=240416 CPUtime=852.14
/proc/20955/stat : 20955 (satake) S 20953 20955 20510 0 -1 4194304 49745 0 0 0 62097 23117 0 0 18 0 4 0 333952648 246185984 49730 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20955/statm: 60104 49730 70 163 0 59939 0
[pid=20955/tid=20956] ppid=20953 vsize=240416 CPUtime=144.37
/proc/20955/task/20956/stat : 20956 (satake) R 20953 20955 20510 0 -1 4194368 36359 0 0 0 3135 11302 0 0 16 0 4 0 333952648 246185984 49730 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20955/tid=20957] ppid=20953 vsize=240416 CPUtime=354.1
/proc/20955/task/20957/stat : 20957 (satake) R 20953 20955 20510 0 -1 4194368 6805 0 0 0 29518 5892 0 0 16 0 4 0 333952648 246185984 49730 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20955/tid=20958] ppid=20953 vsize=240416 CPUtime=353.66
/proc/20955/task/20958/stat : 20958 (satake) R 20953 20955 20510 0 -1 4194368 6498 0 0 0 29443 5923 0 0 16 0 4 0 333952648 246185984 49730 1992294400 134512640 135180984 4294956208 18446744073709551615 134528763 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 852.14
Current children cumulated vsize (KiB) 240416

[startup+522.301 s]
/proc/loadavg: 2.36 2.17 1.64 3/69 20959
/proc/meminfo: memFree=992696/2055920 swapFree=4191900/4192956
[pid=20955] ppid=20953 vsize=260028 CPUtime=965.53
/proc/20955/stat : 20955 (satake) S 20953 20955 20510 0 -1 4194304 55030 0 0 0 70766 25787 0 0 18 0 4 0 333952648 266268672 55015 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20955/statm: 65007 55015 70 163 0 64842 0
[pid=20955/tid=20956] ppid=20953 vsize=260028 CPUtime=160.88
/proc/20955/task/20956/stat : 20956 (satake) R 20953 20955 20510 0 -1 4194368 39804 0 0 0 3492 12596 0 0 16 0 4 0 333952648 266268672 55015 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20955/tid=20957] ppid=20953 vsize=260028 CPUtime=402.49
/proc/20955/task/20957/stat : 20957 (satake) R 20953 20955 20510 0 -1 4194368 7771 0 0 0 33670 6579 0 0 17 0 4 0 333952648 266268672 55015 1992294400 134512640 135180984 4294956208 18446744073709551615 134532624 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20955/tid=20958] ppid=20953 vsize=260028 CPUtime=402.14
/proc/20955/task/20958/stat : 20958 (satake) S 20953 20955 20510 0 -1 4194368 7372 0 0 0 33603 6611 0 0 16 0 4 0 333952648 266268672 55015 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 965.53
Current children cumulated vsize (KiB) 260028

[startup+582.302 s]
/proc/loadavg: 2.29 2.18 1.68 3/69 20959
/proc/meminfo: memFree=969528/2055920 swapFree=4191900/4192956
[pid=20955] ppid=20953 vsize=287404 CPUtime=1078.23
/proc/20955/stat : 20955 (satake) S 20953 20955 20510 0 -1 4194304 60751 0 0 0 79223 28600 0 0 18 0 4 0 333952648 294301696 60736 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20955/statm: 71851 60736 70 163 0 71686 0
[pid=20955/tid=20956] ppid=20953 vsize=287404 CPUtime=178.49
/proc/20955/task/20956/stat : 20956 (satake) S 20953 20955 20510 0 -1 4194368 43586 0 0 0 3880 13969 0 0 15 0 4 0 333952648 294301696 60736 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20955/tid=20957] ppid=20953 vsize=287404 CPUtime=450.12
/proc/20955/task/20957/stat : 20957 (satake) R 20953 20955 20510 0 -1 4194368 8900 0 0 0 37711 7301 0 0 17 0 4 0 333952648 294301696 60736 1992294400 134512640 135180984 4294956208 18446744073709551615 134523629 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20955/tid=20958] ppid=20953 vsize=287404 CPUtime=449.59
/proc/20955/task/20958/stat : 20958 (satake) R 20953 20955 20510 0 -1 4194368 8182 0 0 0 37630 7329 0 0 16 0 4 0 333952648 294301696 60736 1992294400 134512640 135180984 4294956208 18446744073709551615 134519884 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1078.23
Current children cumulated vsize (KiB) 287404

[startup+642.311 s]
/proc/loadavg: 2.19 2.19 1.71 3/69 20959
/proc/meminfo: memFree=945528/2055920 swapFree=4191900/4192956
[pid=20955] ppid=20953 vsize=317512 CPUtime=1190.83
/proc/20955/stat : 20955 (satake) S 20953 20955 20510 0 -1 4194304 66686 0 0 0 87553 31530 0 0 18 0 4 0 333952648 325132288 66671 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20955/statm: 79378 66671 70 163 0 79213 0
[pid=20955/tid=20956] ppid=20953 vsize=317512 CPUtime=196.76
/proc/20955/task/20956/stat : 20956 (satake) R 20953 20955 20510 0 -1 4194368 47573 0 0 0 4274 15402 0 0 16 0 4 0 333952648 325132288 66671 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20955/tid=20957] ppid=20953 vsize=317512 CPUtime=497.35
/proc/20955/task/20957/stat : 20957 (satake) R 20953 20955 20510 0 -1 4194368 9975 0 0 0 41687 8048 0 0 15 0 4 0 333952648 325132288 66671 1992294400 134512640 135180984 4294956208 18446744073709551615 134519890 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20955/tid=20958] ppid=20953 vsize=317512 CPUtime=496.71
/proc/20955/task/20958/stat : 20958 (satake) S 20953 20955 20510 0 -1 4194368 9055 0 0 0 41592 8079 0 0 15 0 4 0 333952648 325132288 66671 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1190.83
Current children cumulated vsize (KiB) 317512



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+647.301 s]
/proc/loadavg: 2.26 2.20 1.72 3/69 20959
/proc/meminfo: memFree=943608/2055920 swapFree=4191900/4192956
[pid=20955] ppid=20953 vsize=318900 CPUtime=1200.18
/proc/20955/stat : 20955 (satake) S 20953 20955 20510 0 -1 4194304 67136 0 0 0 88249 31769 0 0 18 0 4 0 333952648 326553600 67121 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20955/statm: 79725 67121 70 163 0 79560 0
[pid=20955/tid=20956] ppid=20953 vsize=318900 CPUtime=198.2
/proc/20955/task/20956/stat : 20956 (satake) R 20953 20955 20510 0 -1 4194368 47869 0 0 0 4304 15516 0 0 16 0 4 0 333952648 326553600 67121 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20955/tid=20957] ppid=20953 vsize=318900 CPUtime=501.28
/proc/20955/task/20957/stat : 20957 (satake) S 20953 20955 20510 0 -1 4194368 10032 0 0 0 42017 8111 0 0 16 0 4 0 333952648 326553600 67121 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20955/tid=20958] ppid=20953 vsize=318900 CPUtime=500.68
/proc/20955/task/20958/stat : 20958 (satake) S 20953 20955 20510 0 -1 4194368 9152 0 0 0 41927 8141 0 0 15 0 4 0 333952648 326553600 67121 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.18
Current children cumulated vsize (KiB) 318900

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

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

[startup+647.301 s]
/proc/loadavg: 2.26 2.20 1.72 3/69 20959
/proc/meminfo: memFree=943608/2055920 swapFree=4191900/4192956
[pid=20955] ppid=20953 vsize=318900 CPUtime=1200.18
/proc/20955/stat : 20955 (satake) S 20953 20955 20510 0 -1 4194304 67136 0 0 0 88249 31769 0 0 18 0 4 0 333952648 326553600 67121 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20955/statm: 79725 67121 70 163 0 79560 0
[pid=20955/tid=20956] ppid=20953 vsize=318900 CPUtime=198.2
/proc/20955/task/20956/stat : 20956 (satake) R 20953 20955 20510 0 -1 4194368 47869 0 0 0 4304 15516 0 0 16 0 4 0 333952648 326553600 67121 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20955/tid=20957] ppid=20953 vsize=318900 CPUtime=501.28
/proc/20955/task/20957/stat : 20957 (satake) S 20953 20955 20510 0 -1 4194368 10032 0 0 0 42017 8111 0 0 16 0 4 0 333952648 326553600 67121 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=20955/tid=20958] ppid=20953 vsize=318900 CPUtime=500.68
/proc/20955/task/20958/stat : 20958 (satake) S 20953 20955 20510 0 -1 4194368 9152 0 0 0 41927 8141 0 0 15 0 4 0 333952648 326553600 67121 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.18
Current children cumulated vsize (KiB) 318900

Child ended because it received signal 15 (SIGTERM)
Real time (s): 647.362
CPU time (s): 1200.25
CPU user time (s): 882.506
CPU system time (s): 317.746
CPU usage (%): 185.406
Max. virtual memory (cumulated for all children) (KiB): 318900

deleting IPC queue 1736704
deleting IPC queue 1769473
deleting IPC queue 1802242
deleting IPC queue 1835011
deleting IPC queue 1867780
deleting IPC queue 1900549
deleting IPC queue 1933318
deleting IPC queue 1966087
deleting IPC queue 1998856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 882.506
system time used= 317.746
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67136
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= 11831859
involuntary context switches= 10906812

runsolver used 0.835872 second user time and 2.17367 second system time

The end

Launcher Data 

Begin job on node54 at 2009-03-31 14:25:19
IDJOB=1543710
IDBENCH=70551
IDSOLVER=553
FILE ID=node54/1543710-1238502319
PBS_JOBID= 9061893
Free space on /tmp= 66492 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/520/unif-k3-r4.25-v520-c2210-S1540921235-015.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543710-1238502319/watcher-1543710-1238502319 -o /tmp/evaluation-result-1543710-1238502319/solver-1543710-1238502319 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543710-1238502319.cnf 3 1200

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

MD5SUM BENCH= 49dc86fbfdf68b8af633e3ee1aa2a9e7
RANDOM SEED=473897376

node54.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.232
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.232
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:       1213240 kB
Buffers:         94296 kB
Cached:         650248 kB
SwapCached:        260 kB
Active:         282064 kB
Inactive:       477712 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1213240 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:             784 kB
Writeback:           0 kB
Mapped:          23772 kB
Slab:            68804 kB
Committed_AS:   992740 kB
PageTables:       1372 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66492 MiB
End job on node54 at 2009-03-31 14:36:08