Trace number 1775500

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 (4 threads)? (TO) 3002.44 1000.05

General information on the benchmark

Nameindustrial/anbulagan/
medium-unsat/total-10-13-u.cnf
MD5SUMa443b9e3a7093c1d9a47b42016a65c52
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1648.18
Satisfiable
(Un)Satisfiability was proved
Number of variables226208
Number of clauses1021181
Sum of the clauses size2332626
Maximum clause length10
Minimum clause length1
Number of clauses of size 119072
Number of clauses of size 2821353
Number of clauses of size 3137896
Number of clauses of size 44760
Number of clauses of size 519040
Number of clauses of size over 519060

Solver Data


Verifier Data 

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

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1775500-1243631432/watcher-1775500-1243631432 -o /tmp/evaluation-result-1775500-1243631432/solver-1775500-1243631432 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775500-1243631432.cnf 4 10000 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 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: 8192 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 3/115 11405
/proc/meminfo: memFree=3114944/3368532 swapFree=1941392/1959888
[pid=11405] ppid=11403 vsize=5260 CPUtime=0
/proc/11405/stat : 11405 (satake) S 11403 11405 11369 0 -1 4202496 740 0 0 0 0 0 0 0 18 0 5 0 1127823170 5386240 697 4294967295 134512640 135180984 3217317792 3217317228 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11405/statm: 1315 701 63 164 0 1150 0
[pid=11405/tid=11406] ppid=11403 vsize=5260 CPUtime=0
/proc/11405/task/11406/stat : 11406 (satake) S 11403 11405 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1127823170 5386240 759 4294967295 134512640 135180984 3217317792 3086467088 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=11405/tid=11407] ppid=11403 vsize=5260 CPUtime=0
/proc/11405/task/11407/stat : 11407 (satake) R 11403 11405 11369 0 -1 4202560 690 0 0 0 0 0 0 0 19 0 5 0 1127823170 5386240 764 4294967295 134512640 135180984 3217317792 3086401828 134583077 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11405/tid=11408] ppid=11403 vsize=5260 CPUtime=0
/proc/11405/task/11408/stat : 11408 (satake) R 11403 11405 11369 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 5 0 1127823170 5386240 769 4294967295 134512640 135180984 3217317792 3086336836 134705812 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11405/tid=11409] ppid=11403 vsize=5260 CPUtime=0
/proc/11405/task/11409/stat : 11409 (satake) R 11403 11405 11369 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1127823170 5386240 773 4294967295 134512640 135180984 3217317792 3086271300 134705812 0 0 0 0 0 0 0 -1 1 0 0 0

[startup+0.027643 s]
/proc/loadavg: 0.00 0.00 0.00 3/115 11405
/proc/meminfo: memFree=3114944/3368532 swapFree=1941392/1959888
[pid=11405] ppid=11403 vsize=34016 CPUtime=0.04
/proc/11405/stat : 11405 (satake) S 11403 11405 11369 0 -1 4202496 5399 0 0 0 0 4 0 0 18 0 5 0 1127823170 34832384 5357 4294967295 134512640 135180984 3217317792 3217317228 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11405/statm: 8504 5364 63 164 0 8339 0
[pid=11405/tid=11406] ppid=11403 vsize=34016 CPUtime=0
/proc/11405/task/11406/stat : 11406 (satake) S 11403 11405 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1127823170 34832384 5368 4294967295 134512640 135180984 3217317792 3086467088 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=11405/tid=11407] ppid=11403 vsize=34016 CPUtime=0.03
/proc/11405/task/11407/stat : 11407 (satake) R 11403 11405 11369 0 -1 4202560 1389 0 0 0 0 3 0 0 20 0 5 0 1127823170 34832384 5376 4294967295 134512640 135180984 3217317792 3086401828 134583077 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11405/tid=11408] ppid=11403 vsize=34016 CPUtime=0.01
/proc/11405/task/11408/stat : 11408 (satake) R 11403 11405 11369 0 -1 4202560 2872 0 0 0 0 1 0 0 20 0 5 0 1127823170 34832384 5383 4294967295 134512640 135180984 3217317792 3086336292 134583077 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11405/tid=11409] ppid=11403 vsize=34016 CPUtime=0
/proc/11405/task/11409/stat : 11409 (satake) R 11403 11405 11369 0 -1 4202560 1045 0 0 0 0 0 0 0 21 0 5 0 1127823170 34832384 5390 4294967295 134512640 135180984 3217317792 3086270772 134706046 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 34016

[startup+0.117948 s]
/proc/loadavg: 0.00 0.00 0.00 3/115 11405
/proc/meminfo: memFree=3114944/3368532 swapFree=1941392/1959888
[pid=11405] ppid=11403 vsize=75816 CPUtime=0.26
/proc/11405/stat : 11405 (satake) S 11403 11405 11369 0 -1 4202496 17689 0 0 0 16 10 0 0 18 0 5 0 1127823170 77635584 17631 4294967295 134512640 135180984 3217317792 3217317228 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11405/statm: 18954 17667 63 164 0 18789 0
[pid=11405/tid=11406] ppid=11403 vsize=75816 CPUtime=0
/proc/11405/task/11406/stat : 11406 (satake) S 11403 11405 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1127823170 77635584 17671 4294967295 134512640 135180984 3217317792 3086467088 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=11405/tid=11407] ppid=11403 vsize=75816 CPUtime=0.09
/proc/11405/task/11407/stat : 11407 (satake) S 11403 11405 11369 0 -1 4202560 5844 0 0 0 5 4 0 0 19 0 5 0 1127823170 77635584 17676 4294967295 134512640 135180984 3217317792 3086401684 134579486 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11405/tid=11408] ppid=11403 vsize=75816 CPUtime=0.1
/proc/11405/task/11408/stat : 11408 (satake) R 11403 11405 11369 0 -1 4202560 6054 0 0 0 7 3 0 0 19 0 5 0 1127823170 77635584 17698 4294967295 134512640 135180984 3217317792 3086336272 134520025 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11405/tid=11409] ppid=11403 vsize=75816 CPUtime=0.07
/proc/11405/task/11409/stat : 11409 (satake) R 11403 11405 11369 0 -1 4202560 5736 0 0 0 4 3 0 0 20 0 5 0 1127823170 77635584 17704 4294967295 134512640 135180984 3217317792 3086270436 134675767 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 75816

[startup+0.330044 s]
/proc/loadavg: 0.00 0.00 0.00 3/115 11405
/proc/meminfo: memFree=3114944/3368532 swapFree=1941392/1959888
[pid=11405] ppid=11403 vsize=163400 CPUtime=0.87
/proc/11405/stat : 11405 (satake) S 11403 11405 11369 0 -1 4202496 36126 0 0 0 69 18 0 0 18 0 5 0 1127823170 167321600 36067 4294967295 134512640 135180984 3217317792 3217317228 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11405/statm: 40850 36067 63 164 0 40685 0
[pid=11405/tid=11406] ppid=11403 vsize=163400 CPUtime=0
/proc/11405/task/11406/stat : 11406 (satake) S 11403 11405 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1127823170 167321600 36067 4294967295 134512640 135180984 3217317792 3086467088 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=11405/tid=11407] ppid=11403 vsize=163400 CPUtime=0.29
/proc/11405/task/11407/stat : 11407 (satake) R 11403 11405 11369 0 -1 4202560 12083 0 0 0 24 5 0 0 18 0 5 0 1127823170 167321600 36067 4294967295 134512640 135180984 3217317792 3086401624 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11405/tid=11408] ppid=11403 vsize=163400 CPUtime=0.3
/proc/11405/task/11408/stat : 11408 (satake) D 11403 11405 11369 0 -1 4202560 11947 0 0 0 23 7 0 0 19 0 5 0 1127823170 167321600 36067 4294967295 134512640 135180984 3217317792 3086336080 134702260 0 0 0 0 3223098951 0 0 -1 1 0 0 0
[pid=11405/tid=11409] ppid=11403 vsize=163400 CPUtime=0.28
/proc/11405/task/11409/stat : 11409 (satake) D 11403 11405 11369 0 -1 4202560 11979 0 0 0 22 6 0 0 18 0 5 0 1127823170 167321600 36067 4294967295 134512640 135180984 3217317792 3086270428 134702260 0 0 0 0 3223098951 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 163400

[startup+0.717612 s]
/proc/loadavg: 0.00 0.00 0.00 3/115 11405
/proc/meminfo: memFree=3114944/3368532 swapFree=1941392/1959888
[pid=11405] ppid=11403 vsize=200380 CPUtime=2.03
/proc/11405/stat : 11405 (satake) S 11403 11405 11369 0 -1 4202496 44843 0 0 0 180 23 0 0 18 0 5 0 1127823170 205189120 44784 4294967295 134512640 135180984 3217317792 3217317228 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11405/statm: 50095 44786 63 164 0 49930 0
[pid=11405/tid=11406] ppid=11403 vsize=200380 CPUtime=0
/proc/11405/task/11406/stat : 11406 (satake) S 11403 11405 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1127823170 205189120 44786 4294967295 134512640 135180984 3217317792 3086467088 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=11405/tid=11407] ppid=11403 vsize=200380 CPUtime=0.68
/proc/11405/task/11407/stat : 11407 (satake) R 11403 11405 11369 0 -1 4202560 14872 0 0 0 61 7 0 0 17 0 5 0 1127823170 205189120 44787 4294967295 134512640 135180984 3217317792 3086401684 134579745 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11405/tid=11408] ppid=11403 vsize=200380 CPUtime=0.68
/proc/11405/task/11408/stat : 11408 (satake) R 11403 11405 11369 0 -1 4202560 15055 0 0 0 61 7 0 0 17 0 5 0 1127823170 205189120 44787 4294967295 134512640 135180984 3217317792 3086336148 134579745 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11405/tid=11409] ppid=11403 vsize=200380 CPUtime=0.67
/proc/11405/task/11409/stat : 11409 (satake) R 11403 11405 11369 0 -1 4202560 14803 0 0 0 58 9 0 0 17 0 5 0 1127823170 205189120 44788 4294967295 134512640 135180984 3217317792 3086270612 134579745 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 200380

[startup+1.52777 s]
/proc/loadavg: 0.00 0.00 0.00 4/120 11410
/proc/meminfo: memFree=2901676/3368532 swapFree=1941392/1959888
[pid=11405] ppid=11403 vsize=191152 CPUtime=4.45
/proc/11405/stat : 11405 (satake) S 11403 11405 11369 0 -1 4202496 57353 0 0 0 406 39 0 0 18 0 5 0 1127823170 195739648 43689 4294967295 134512640 135180984 3217317792 3217317228 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11405/statm: 47788 43689 66 164 0 47623 0
[pid=11405/tid=11406] ppid=11403 vsize=191152 CPUtime=0.07
/proc/11405/task/11406/stat : 11406 (satake) S 11403 11405 11369 0 -1 4202560 2014 0 0 0 7 0 0 0 18 0 5 0 1127823170 195739648 43689 4294967295 134512640 135180984 3217317792 3086467088 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=11405/tid=11407] ppid=11403 vsize=191152 CPUtime=1.44
/proc/11405/task/11407/stat : 11407 (satake) R 11403 11405 11369 0 -1 4202560 18509 0 0 0 130 14 0 0 15 0 5 0 1127823170 195739648 43689 4294967295 134512640 135180984 3217317792 3086401392 134528259 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11405/tid=11408] ppid=11403 vsize=191152 CPUtime=1.46
/proc/11405/task/11408/stat : 11408 (satake) R 11403 11405 11369 0 -1 4202560 18262 0 0 0 135 11 0 0 16 0 5 0 1127823170 195739648 43689 4294967295 134512640 135180984 3217317792 3086335856 134528267 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11405/tid=11409] ppid=11403 vsize=191152 CPUtime=1.48
/proc/11405/task/11409/stat : 11409 (satake) R 11403 11405 11369 0 -1 4202560 18458 0 0 0 134 14 0 0 15 0 5 0 1127823170 195739648 43689 4294967295 134512640 135180984 3217317792 3086270236 134519101 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.45
Current children cumulated vsize (KiB) 191152

[startup+3.1177 s]
/proc/loadavg: 0.00 0.00 0.00 5/120 11410
/proc/meminfo: memFree=2940060/3368532 swapFree=1941392/1959888
[pid=11405] ppid=11403 vsize=191284 CPUtime=9.2
/proc/11405/stat : 11405 (satake) S 11403 11405 11369 0 -1 4202496 57422 0 0 0 881 39 0 0 18 0 5 0 1127823170 195874816 43758 4294967295 134512640 135180984 3217317792 3217317228 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11405/statm: 47821 43758 68 164 0 47656 0
[pid=11405/tid=11406] ppid=11403 vsize=191284 CPUtime=0.07
/proc/11405/task/11406/stat : 11406 (satake) S 11403 11405 11369 0 -1 4202560 2015 0 0 0 7 0 0 0 16 0 5 0 1127823170 195874816 43758 4294967295 134512640 135180984 3217317792 3086467088 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=11405/tid=11407] ppid=11403 vsize=191284 CPUtime=3.02
/proc/11405/task/11407/stat : 11407 (satake) R 11403 11405 11369 0 -1 4202560 18522 0 0 0 288 14 0 0 17 0 5 0 1127823170 195874816 43758 4294967295 134512640 135180984 3217317792 3086401384 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11405/tid=11408] ppid=11403 vsize=191284 CPUtime=3.04
/proc/11405/task/11408/stat : 11408 (satake) R 11403 11405 11369 0 -1 4202560 18287 0 0 0 293 11 0 0 17 0 5 0 1127823170 195874816 43758 4294967295 134512640 135180984 3217317792 3086335792 134523641 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11405/tid=11409] ppid=11403 vsize=191284 CPUtime=3.07
/proc/11405/task/11409/stat : 11409 (satake) R 11403 11405 11369 0 -1 4202560 18488 0 0 0 293 14 0 0 17 0 5 0 1127823170 195874816 43758 4294967295 134512640 135180984 3217317792 3086270312 134519922 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.2
Current children cumulated vsize (KiB) 191284

[startup+6.31757 s]
/proc/loadavg: 0.32 0.07 0.02 4/120 11410
/proc/meminfo: memFree=2939780/3368532 swapFree=1941392/1959888
[pid=11405] ppid=11403 vsize=191284 CPUtime=18.81
/proc/11405/stat : 11405 (satake) S 11403 11405 11369 0 -1 4202496 57464 0 0 0 1836 45 0 0 18 0 5 0 1127823170 195874816 43800 4294967295 134512640 135180984 3217317792 3217317228 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11405/statm: 47821 43800 68 164 0 47656 0
[pid=11405/tid=11406] ppid=11403 vsize=191284 CPUtime=0.11
/proc/11405/task/11406/stat : 11406 (satake) S 11403 11405 11369 0 -1 4202560 2015 0 0 0 9 2 0 0 16 0 5 0 1127823170 195874816 43800 4294967295 134512640 135180984 3217317792 3086467088 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=11405/tid=11407] ppid=11403 vsize=191284 CPUtime=6.2
/proc/11405/task/11407/stat : 11407 (satake) R 11403 11405 11369 0 -1 4202560 18533 0 0 0 606 14 0 0 22 0 5 0 1127823170 195874816 43800 4294967295 134512640 135180984 3217317792 3086401432 134520667 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11405/tid=11408] ppid=11403 vsize=191284 CPUtime=6.24
/proc/11405/task/11408/stat : 11408 (satake) R 11403 11405 11369 0 -1 4202560 18317 0 0 0 612 12 0 0 25 0 5 0 1127823170 195874816 43800 4294967295 134512640 135180984 3217317792 3086335856 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11405/tid=11409] ppid=11403 vsize=191284 CPUtime=6.26
/proc/11405/task/11409/stat : 11409 (satake) R 11403 11405 11369 0 -1 4202560 18489 0 0 0 609 17 0 0 23 0 5 0 1127823170 195874816 43800 4294967295 134512640 135180984 3217317792 3086270248 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.81
Current children cumulated vsize (KiB) 191284

[startup+12.7173 s]
/proc/loadavg: 0.53 0.11 0.04 4/120 11410
/proc/meminfo: memFree=2939348/3368532 swapFree=1941392/1959888
[pid=11405] ppid=11403 vsize=191476 CPUtime=38.03
/proc/11405/stat : 11405 (satake) S 11403 11405 11369 0 -1 4202496 57549 0 0 0 3754 49 0 0 18 0 5 0 1127823170 196071424 43885 4294967295 134512640 135180984 3217317792 3217317228 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11405/statm: 47869 43885 68 164 0 47704 0
[pid=11405/tid=11406] ppid=11403 vsize=191476 CPUtime=0.14
/proc/11405/task/11406/stat : 11406 (satake) S 11403 11405 11369 0 -1 4202560 2015 0 0 0 10 4 0 0 16 0 5 0 1127823170 196071424 43885 4294967295 134512640 135180984 3217317792 3086467088 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=11405/tid=11407] ppid=11403 vsize=191476 CPUtime=12.59
/proc/11405/task/11407/stat : 11407 (satake) R 11403 11405 11369 0 -1 4202560 18560 0 0 0 1245 14 0 0 25 0 5 0 1127823170 196071424 43885 4294967295 134512640 135180984 3217317792 3086401296 134525064 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11405/tid=11408] ppid=11403 vsize=191476 CPUtime=12.64
/proc/11405/task/11408/stat : 11408 (satake) R 11403 11405 11369 0 -1 4202560 18325 0 0 0 1250 14 0 0 25 0 5 0 1127823170 196071424 43885 4294967295 134512640 135180984 3217317792 3086335856 134521068 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11405/tid=11409] ppid=11403 vsize=191476 CPUtime=12.66
/proc/11405/task/11409/stat : 11409 (satake) R 11403 11405 11369 0 -1 4202560 18539 0 0 0 1249 17 0 0 25 0 5 0 1127823170 196071424 43885 4294967295 134512640 135180984 3217317792 3086270224 134525488 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 38.03
Current children cumulated vsize (KiB) 191476

[startup+25.5168 s]
/proc/loadavg: 1.08 0.26 0.08 4/120 11411
/proc/meminfo: memFree=2938852/3368532 swapFree=1941392/1959888
[pid=11405] ppid=11403 vsize=191676 CPUtime=76.59
/proc/11405/stat : 11405 (satake) S 11403 11405 11369 0 -1 4202496 57679 0 0 0 7588 71 0 0 18 0 5 0 1127823170 196276224 44015 4294967295 134512640 135180984 3217317792 3217317228 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11405/statm: 47919 44015 68 164 0 47754 0
[pid=11405/tid=11406] ppid=11403 vsize=191676 CPUtime=0.33
/proc/11405/task/11406/stat : 11406 (satake) S 11403 11405 11369 0 -1 4202560 2015 0 0 0 21 12 0 0 16 0 5 0 1127823170 196276224 44015 4294967295 134512640 135180984 3217317792 3086467088 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=11405/tid=11407] ppid=11403 vsize=191676 CPUtime=25.39
/proc/11405/task/11407/stat : 11407 (satake) R 11403 11405 11369 0 -1 4202560 18650 0 0 0 2524 15 0 0 25 0 5 0 1127823170 196276224 44015 4294967295 134512640 135180984 3217317792 3086401296 134524648 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11405/tid=11408] ppid=11403 vsize=191676 CPUtime=25.43
/proc/11405/task/11408/stat : 11408 (satake) R 11403 11405 11369 0 -1 4202560 18358 0 0 0 2522 21 0 0 25 0 5 0 1127823170 196276224 44015 4294967295 134512640 135180984 3217317792 3086335872 134532624 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11405/tid=11409] ppid=11403 vsize=191676 CPUtime=25.44
/proc/11405/task/11409/stat : 11409 (satake) R 11403 11405 11369 0 -1 4202560 18546 0 0 0 2521 23 0 0 25 0 5 0 1127823170 196276224 44015 4294967295 134512640 135180984 3217317792 3086270256 134523641 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 76.59
Current children cumulated vsize (KiB) 191676

[startup+51.1158 s]
/proc/loadavg: 1.73 0.47 0.16 4/120 11597
/proc/meminfo: memFree=2929696/3368532 swapFree=1941392/1959888
[pid=11405] ppid=11403 vsize=199472 CPUtime=153.66
/proc/11405/stat : 11405 (satake) S 11403 11405 11369 0 -1 4202496 59794 0 0 0 15231 135 0 0 18 0 5 0 1127823170 204259328 46130 4294967295 134512640 135180984 3217317792 3217317228 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11405/statm: 49868 46130 68 164 0 49703 0
[pid=11405/tid=11406] ppid=11403 vsize=199472 CPUtime=0.69
/proc/11405/task/11406/stat : 11406 (satake) S 11403 11405 11369 0 -1 4202560 2059 0 0 0 31 38 0 0 16 0 5 0 1127823170 204259328 46130 4294967295 134512640 135180984 3217317792 3086467088 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=11405/tid=11407] ppid=11403 vsize=199472 CPUtime=50.98
/proc/11405/task/11407/stat : 11407 (satake) R 11403 11405 11369 0 -1 4202560 19823 0 0 0 5075 23 0 0 25 0 5 0 1127823170 204259328 46130 4294967295 134512640 135180984 3217317792 3086401328 134523791 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11405/tid=11408] ppid=11403 vsize=199472 CPUtime=51
/proc/11405/task/11408/stat : 11408 (satake) R 11403 11405 11369 0 -1 4202560 18746 0 0 0 5066 34 0 0 25 0 5 0 1127823170 204259328 46130 4294967295 134512640 135180984 3217317792 3086335856 134528211 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11405/tid=11409] ppid=11403 vsize=199472 CPUtime=50.99
/proc/11405/task/11409/stat : 11409 (satake) R 11403 11405 11369 0 -1 4202560 19056 0 0 0 5059 40 0 0 25 0 5 0 1127823170 204259328 46130 4294967295 134512640 135180984 3217317792 3086270320 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 153.66
Current children cumulated vsize (KiB) 199472

[startup+102.314 s]
/proc/loadavg: 2.45 0.86 0.31 4/120 11783

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

[pid=11405/tid=11407] ppid=11403 vsize=325528 CPUtime=521.84
/proc/11405/task/11407/stat : 11407 (satake) R 11403 11405 11369 0 -1 4202560 30529 0 0 0 52106 78 0 0 25 0 5 0 1127823170 333340672 76860 4294967295 134512640 135180984 3217317792 3086401392 134528633 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11405/tid=11408] ppid=11403 vsize=325528 CPUtime=521.94
/proc/11405/task/11408/stat : 11408 (satake) R 11403 11405 11369 0 -1 4202560 28336 0 0 0 52005 189 0 0 25 0 5 0 1127823170 333340672 76860 4294967295 134512640 135180984 3217317792 3086335856 134526227 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11405/tid=11409] ppid=11403 vsize=325528 CPUtime=521.35
/proc/11405/task/11409/stat : 11409 (satake) R 11403 11405 11369 0 -1 4202560 28537 0 0 0 51983 152 0 0 25 0 5 0 1127823170 333340672 76860 4294967295 134512640 135180984 3217317792 3086270320 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1569.27
Current children cumulated vsize (KiB) 325528

[startup+582.315 s]
/proc/loadavg: 2.99 2.56 1.38 4/120 13296
/proc/meminfo: memFree=2793588/3368532 swapFree=1941392/1959888
[pid=11405] ppid=11403 vsize=337676 CPUtime=1749.31
/proc/11405/stat : 11405 (satake) S 11403 11405 11369 0 -1 4202496 93375 0 0 0 174160 771 0 0 18 0 5 0 1127823170 345780224 79711 4294967295 134512640 135180984 3217317792 3217317228 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11405/statm: 84419 79711 68 164 0 84254 0
[pid=11405/tid=11406] ppid=11403 vsize=337676 CPUtime=4.32
/proc/11405/task/11406/stat : 11406 (satake) S 11403 11405 11369 0 -1 4202560 3106 0 0 0 108 324 0 0 16 0 5 0 1127823170 345780224 79711 4294967295 134512640 135180984 3217317792 3086467088 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=11405/tid=11407] ppid=11403 vsize=337676 CPUtime=581.8
/proc/11405/task/11407/stat : 11407 (satake) R 11403 11405 11369 0 -1 4202560 31513 0 0 0 58096 84 0 0 25 0 5 0 1127823170 345780224 79711 4294967295 134512640 135180984 3217317792 3086401384 134518227 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11405/tid=11408] ppid=11403 vsize=337676 CPUtime=581.91
/proc/11405/task/11408/stat : 11408 (satake) R 11403 11405 11369 0 -1 4202560 29222 0 0 0 57988 203 0 0 25 0 5 0 1127823170 345780224 79711 4294967295 134512640 135180984 3217317792 3086335920 134532454 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11405/tid=11409] ppid=11403 vsize=337676 CPUtime=581.28
/proc/11405/task/11409/stat : 11409 (satake) R 11403 11405 11369 0 -1 4202560 29424 0 0 0 57968 160 0 0 25 0 5 0 1127823170 345780224 79711 4294967295 134512640 135180984 3217317792 3086270320 134528680 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1749.31
Current children cumulated vsize (KiB) 337676

[startup+642.312 s]
/proc/loadavg: 2.99 2.64 1.47 4/120 13482
/proc/meminfo: memFree=2783320/3368532 swapFree=1941392/1959888
[pid=11405] ppid=11403 vsize=351176 CPUtime=1929.57
/proc/11405/stat : 11405 (satake) S 11403 11405 11369 0 -1 4202496 96008 0 0 0 192114 843 0 0 18 0 5 0 1127823170 359604224 82344 4294967295 134512640 135180984 3217317792 3217317228 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11405/statm: 87794 82344 68 164 0 87629 0
[pid=11405/tid=11406] ppid=11403 vsize=351176 CPUtime=4.72
/proc/11405/task/11406/stat : 11406 (satake) S 11403 11405 11369 0 -1 4202560 3237 0 0 0 117 355 0 0 15 0 5 0 1127823170 359604224 82345 4294967295 134512640 135180984 3217317792 3086467088 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=11405/tid=11407] ppid=11403 vsize=351176 CPUtime=641.75
/proc/11405/task/11407/stat : 11407 (satake) R 11403 11405 11369 0 -1 4202560 32335 0 0 0 64087 88 0 0 25 0 5 0 1127823170 359604224 82345 4294967295 134512640 135180984 3217317792 3086401224 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11405/tid=11408] ppid=11403 vsize=351176 CPUtime=641.9
/proc/11405/task/11408/stat : 11408 (satake) R 11403 11405 11369 0 -1 4202560 30103 0 0 0 63966 224 0 0 25 0 5 0 1127823170 359604224 82345 4294967295 134512640 135180984 3217317792 3086335856 134528519 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11405/tid=11409] ppid=11403 vsize=351176 CPUtime=641.2
/proc/11405/task/11409/stat : 11409 (satake) R 11403 11405 11369 0 -1 4202560 30224 0 0 0 63944 176 0 0 25 0 5 0 1127823170 359604224 82345 4294967295 134512640 135180984 3217317792 3086270320 134528655 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1929.57
Current children cumulated vsize (KiB) 351176

[startup+702.32 s]
/proc/loadavg: 2.99 2.70 1.57 4/120 13670
/proc/meminfo: memFree=2772632/3368532 swapFree=1941392/1959888
[pid=11405] ppid=11403 vsize=361164 CPUtime=2109.48
/proc/11405/stat : 11405 (satake) S 11403 11405 11369 0 -1 4202496 98671 0 0 0 210029 919 0 0 18 0 5 0 1127823170 369831936 85007 4294967295 134512640 135180984 3217317792 3217317228 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11405/statm: 90291 85007 68 164 0 90126 0
[pid=11405/tid=11406] ppid=11403 vsize=361164 CPUtime=5.19
/proc/11405/task/11406/stat : 11406 (satake) S 11403 11405 11369 0 -1 4202560 3398 0 0 0 128 391 0 0 15 0 5 0 1127823170 369831936 85007 4294967295 134512640 135180984 3217317792 3086467088 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=11405/tid=11407] ppid=11403 vsize=361164 CPUtime=701.25
/proc/11405/task/11407/stat : 11407 (satake) R 11403 11405 11369 0 -1 4202560 33218 0 0 0 70027 98 0 0 25 0 5 0 1127823170 369831936 85007 4294967295 134512640 135180984 3217317792 3086401388 134520661 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11405/tid=11408] ppid=11403 vsize=361164 CPUtime=701.91
/proc/11405/task/11408/stat : 11408 (satake) R 11403 11405 11369 0 -1 4202560 30956 0 0 0 69947 244 0 0 25 0 5 0 1127823170 369831936 85007 4294967295 134512640 135180984 3217317792 3086335856 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11405/tid=11409] ppid=11403 vsize=361164 CPUtime=701.13
/proc/11405/task/11409/stat : 11409 (satake) R 11403 11405 11369 0 -1 4202560 30989 0 0 0 69927 186 0 0 25 0 5 0 1127823170 369831936 85007 4294967295 134512640 135180984 3217317792 3086270320 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2109.48
Current children cumulated vsize (KiB) 361164

[startup+762.317 s]
/proc/loadavg: 2.99 2.75 1.65 4/120 13862
/proc/meminfo: memFree=2762256/3368532 swapFree=1941392/1959888
[pid=11405] ppid=11403 vsize=371712 CPUtime=2289.59
/proc/11405/stat : 11405 (satake) S 11403 11405 11369 0 -1 4202496 101200 0 0 0 227968 991 0 0 18 0 5 0 1127823170 380633088 87536 4294967295 134512640 135180984 3217317792 3217317228 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11405/statm: 92928 87536 68 164 0 92763 0
[pid=11405/tid=11406] ppid=11403 vsize=371712 CPUtime=5.57
/proc/11405/task/11406/stat : 11406 (satake) S 11403 11405 11369 0 -1 4202560 3588 0 0 0 137 420 0 0 15 0 5 0 1127823170 380633088 87536 4294967295 134512640 135180984 3217317792 3086467088 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=11405/tid=11407] ppid=11403 vsize=371712 CPUtime=761.05
/proc/11405/task/11407/stat : 11407 (satake) R 11403 11405 11369 0 -1 4202560 33927 0 0 0 75997 108 0 0 25 0 5 0 1127823170 380633088 87536 4294967295 134512640 135180984 3217317792 3086401384 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11405/tid=11408] ppid=11403 vsize=371712 CPUtime=761.89
/proc/11405/task/11408/stat : 11408 (satake) R 11403 11405 11369 0 -1 4202560 31710 0 0 0 75923 266 0 0 25 0 5 0 1127823170 380633088 87536 4294967295 134512640 135180984 3217317792 3086335856 134528267 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11405/tid=11409] ppid=11403 vsize=371712 CPUtime=761.08
/proc/11405/task/11409/stat : 11409 (satake) R 11403 11405 11369 0 -1 4202560 31865 0 0 0 75911 197 0 0 25 0 5 0 1127823170 380633088 87536 4294967295 134512640 135180984 3217317792 3086270320 134528252 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2289.59
Current children cumulated vsize (KiB) 371712

[startup+822.305 s]
/proc/loadavg: 2.99 2.80 1.74 4/120 14051
/proc/meminfo: memFree=2752096/3368532 swapFree=1941392/1959888
[pid=11405] ppid=11403 vsize=381912 CPUtime=2469.4
/proc/11405/stat : 11405 (satake) S 11403 11405 11369 0 -1 4202496 103754 0 0 0 245879 1061 0 0 18 0 5 0 1127823170 391077888 90090 4294967295 134512640 135180984 3217317792 3217317228 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11405/statm: 95478 90090 68 164 0 95313 0
[pid=11405/tid=11406] ppid=11403 vsize=381912 CPUtime=5.99
/proc/11405/task/11406/stat : 11406 (satake) S 11403 11405 11369 0 -1 4202560 3707 0 0 0 148 451 0 0 16 0 5 0 1127823170 391077888 90090 4294967295 134512640 135180984 3217317792 3086467088 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=11405/tid=11407] ppid=11403 vsize=381912 CPUtime=820.6
/proc/11405/task/11407/stat : 11407 (satake) R 11403 11405 11369 0 -1 4202560 34594 0 0 0 81944 116 0 0 25 0 5 0 1127823170 391077888 90090 4294967295 134512640 135180984 3217317792 3086401324 134518218 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11405/tid=11408] ppid=11403 vsize=381912 CPUtime=821.78
/proc/11405/task/11408/stat : 11408 (satake) R 11403 11405 11369 0 -1 4202560 32650 0 0 0 81895 283 0 0 25 0 5 0 1127823170 391077888 90090 4294967295 134512640 135180984 3217317792 3086335856 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11405/tid=11409] ppid=11403 vsize=381912 CPUtime=821.03
/proc/11405/task/11409/stat : 11409 (satake) R 11403 11405 11369 0 -1 4202560 32693 0 0 0 81892 211 0 0 25 0 5 0 1127823170 391077888 90090 4294967295 134512640 135180984 3217317792 3086270320 134528636 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2469.4
Current children cumulated vsize (KiB) 381912

[startup+882.313 s]
/proc/loadavg: 2.99 2.83 1.81 4/120 14239
/proc/meminfo: memFree=2739696/3368532 swapFree=1941392/1959888
[pid=11405] ppid=11403 vsize=394596 CPUtime=2649.34
/proc/11405/stat : 11405 (satake) S 11403 11405 11369 0 -1 4202496 106801 0 0 0 263816 1118 0 0 18 0 5 0 1127823170 404066304 93137 4294967295 134512640 135180984 3217317792 3217317228 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11405/statm: 98649 93137 68 164 0 98484 0
[pid=11405/tid=11406] ppid=11403 vsize=394596 CPUtime=6.29
/proc/11405/task/11406/stat : 11406 (satake) S 11403 11405 11369 0 -1 4202560 3842 0 0 0 154 475 0 0 16 0 5 0 1127823170 404066304 93137 4294967295 134512640 135180984 3217317792 3086467088 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=11405/tid=11407] ppid=11403 vsize=394596 CPUtime=880.31
/proc/11405/task/11407/stat : 11407 (satake) R 11403 11405 11369 0 -1 4202560 35699 0 0 0 87908 123 0 0 25 0 5 0 1127823170 404066304 93137 4294967295 134512640 135180984 3217317792 3086401384 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11405/tid=11408] ppid=11403 vsize=394596 CPUtime=881.72
/proc/11405/task/11408/stat : 11408 (satake) R 11403 11405 11369 0 -1 4202560 33703 0 0 0 87874 298 0 0 25 0 5 0 1127823170 404066304 93137 4294967295 134512640 135180984 3217317792 3086335856 134528211 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11405/tid=11409] ppid=11403 vsize=394596 CPUtime=881.02
/proc/11405/task/11409/stat : 11409 (satake) R 11403 11405 11369 0 -1 4202560 33447 0 0 0 87880 222 0 0 25 0 5 0 1127823170 404066304 93137 4294967295 134512640 135180984 3217317792 3086270320 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2649.34
Current children cumulated vsize (KiB) 394596

[startup+942.31 s]
/proc/loadavg: 3.07 2.87 1.89 4/120 14425
/proc/meminfo: memFree=2727536/3368532 swapFree=1941392/1959888
[pid=11405] ppid=11403 vsize=406240 CPUtime=2829.3
/proc/11405/stat : 11405 (satake) S 11403 11405 11369 0 -1 4202496 109870 0 0 0 281726 1204 0 0 18 0 5 0 1127823170 415989760 96206 4294967295 134512640 135180984 3217317792 3217317228 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11405/statm: 101560 96206 68 164 0 101395 0
[pid=11405/tid=11406] ppid=11403 vsize=406240 CPUtime=6.76
/proc/11405/task/11406/stat : 11406 (satake) S 11403 11405 11369 0 -1 4202560 3979 0 0 0 166 510 0 0 16 0 5 0 1127823170 415989760 96206 4294967295 134512640 135180984 3217317792 3086467088 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=11405/tid=11407] ppid=11403 vsize=406240 CPUtime=939.89
/proc/11405/task/11407/stat : 11407 (satake) R 11403 11405 11369 0 -1 4202560 36705 0 0 0 93859 130 0 0 25 0 5 0 1127823170 415989760 96206 4294967295 134512640 135180984 3217317792 3086401392 134528680 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=11405/tid=11408] ppid=11403 vsize=406240 CPUtime=941.68
/proc/11405/task/11408/stat : 11408 (satake) R 11403 11405 11369 0 -1 4202560 34752 0 0 0 93849 319 0 0 25 0 5 0 1127823170 415989760 96206 4294967295 134512640 135180984 3217317792 3086335856 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11405/tid=11409] ppid=11403 vsize=406240 CPUtime=940.97
/proc/11405/task/11409/stat : 11409 (satake) R 11403 11405 11369 0 -1 4202560 34324 0 0 0 93852 245 0 0 25 0 5 0 1127823170 415989760 96206 4294967295 134512640 135180984 3217317792 3086270224 134524887 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2829.3
Current children cumulated vsize (KiB) 406240



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 3.03 2.89 1.95 4/120 14613
/proc/meminfo: memFree=2716560/3368532 swapFree=1941392/1959888
[pid=11405] ppid=11403 vsize=417520 CPUtime=3002.36
/proc/11405/stat : 11405 (satake) S 11403 11405 11369 0 -1 4202496 112614 0 0 0 298955 1281 0 0 18 0 5 0 1127823170 427540480 98950 4294967295 134512640 135180984 3217317792 3217317228 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11405/statm: 104380 98950 68 164 0 104215 0
[pid=11405/tid=11406] ppid=11403 vsize=417520 CPUtime=7.25
/proc/11405/task/11406/stat : 11406 (satake) S 11403 11405 11369 0 -1 4202560 4137 0 0 0 175 550 0 0 16 0 5 0 1127823170 427540480 98950 4294967295 134512640 135180984 3217317792 3086467088 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=11405/tid=11407] ppid=11403 vsize=417520 CPUtime=997.12
/proc/11405/task/11407/stat : 11407 (satake) R 11403 11405 11369 0 -1 4202560 37536 0 0 0 99576 136 0 0 25 0 5 0 1127823170 427540480 98950 4294967295 134512640 135180984 3217317792 3086401328 134523800 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11405/tid=11408] ppid=11403 vsize=417520 CPUtime=999.37
/proc/11405/task/11408/stat : 11408 (satake) R 11403 11405 11369 0 -1 4202560 35745 0 0 0 99596 341 0 0 25 0 5 0 1127823170 427540480 98950 4294967295 134512640 135180984 3217317792 3086335856 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11405/tid=11409] ppid=11403 vsize=417520 CPUtime=998.62
/proc/11405/task/11409/stat : 11409 (satake) R 11403 11405 11369 0 -1 4202560 35086 0 0 0 99608 254 0 0 25 0 5 0 1127823170 427540480 98950 4294967295 134512640 135180984 3217317792 3086270320 134528524 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3002.36
Current children cumulated vsize (KiB) 417520

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.05
CPU time (s): 3002.44
CPU user time (s): 2989.61
CPU system time (s): 12.83
CPU usage (%): 300.229
Max. virtual memory (cumulated for all children) (KiB): 417520

deleting IPC queue 0
deleting IPC queue 32769
deleting IPC queue 65538
deleting IPC queue 98307
deleting IPC queue 131076
deleting IPC queue 163845
deleting IPC queue 196614
deleting IPC queue 229383
deleting IPC queue 262152
deleting IPC queue 294921
deleting IPC queue 327690
deleting IPC queue 360459
deleting IPC queue 393228
deleting IPC queue 425997
deleting IPC queue 458766
deleting IPC queue 491535

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2989.61
system time used= 12.83
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112615
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= 451316
involuntary context switches= 214218

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-29 23:10:32
IDJOB=1775500
IDBENCH=20342
IDSOLVER=629
FILE ID=/1775500-1243631432
PBS_JOBID=
Free space on /tmp= 15712 MiB

SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT07/industrial/anbulagan/medium-unsat/total-10-13-u.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1775500-1243631432/watcher-1775500-1243631432 -o /tmp/evaluation-result-1775500-1243631432/solver-1775500-1243631432 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775500-1243631432.cnf 4 10000

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4

MD5SUM BENCH= a443b9e3a7093c1d9a47b42016a65c52
RANDOM SEED= 110850356

Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.143
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3992.42
clflush size	: 64

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.143
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.11
clflush size	: 64

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.143
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.17
clflush size	: 64

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.143
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.15
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3116276 kB
Buffers:         39688 kB
Cached:         134012 kB
SwapCached:       4320 kB
Active:         147944 kB
Inactive:        36384 kB
HighTotal:     2489216 kB
HighFree:      2343164 kB
LowTotal:       879316 kB
LowFree:        773112 kB
SwapTotal:     1959888 kB
SwapFree:      1941392 kB
Dirty:           19208 kB
Writeback:           0 kB
AnonPages:        9444 kB
Mapped:           4212 kB
Slab:            58548 kB
SReclaimable:    50152 kB
SUnreclaim:       8396 kB
PageTables:        628 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   127076 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15712 MiB
End job on  at 2009-05-29 23:27:16