Trace number 1780495

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) 2999.04 1000.07

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UR-20-5p0.cnf
MD5SUM782c70d5631cbc24bc659543ee69ca8b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2591.27
Satisfiable
(Un)Satisfiability was proved
Number of variables224569
Number of clauses1190619
Sum of the clauses size2868508
Maximum clause length10
Minimum clause length1
Number of clauses of size 111403
Number of clauses of size 2850703
Number of clauses of size 3271793
Number of clauses of size 46300
Number of clauses of size 525200
Number of clauses of size over 525220

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-1780495-1243648388/watcher-1780495-1243648388 -o /tmp/evaluation-result-1780495-1243648388/solver-1780495-1243648388 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780495-1243648388.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: 2.78 2.96 2.98 3/115 1786
/proc/meminfo: memFree=2937520/3368532 swapFree=1941392/1959888
[pid=1786] ppid=1784 vsize=3212 CPUtime=0
/proc/1786/stat : 1786 (satake) S 1784 1786 11369 0 -1 4202496 407 0 0 0 0 0 0 0 18 0 5 0 1129518754 3289088 364 4294967295 134512640 135180984 3215894080 3215893516 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/1786/statm: 803 368 63 164 0 638 0
[pid=1786/tid=1787] ppid=1784 vsize=5780 CPUtime=0
/proc/1786/task/1787/stat : 1787 (satake) S 1784 1786 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129518754 5918720 774 4294967295 134512640 135180984 3215894080 3086753808 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=1786/tid=1788] ppid=1784 vsize=5780 CPUtime=0.01
/proc/1786/task/1788/stat : 1788 (satake) R 1784 1786 11369 0 -1 4202560 568 0 0 0 0 1 0 0 19 0 5 0 1129518754 5918720 776 4294967295 134512640 135180984 3215894080 3086688548 134583077 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=6292 CPUtime=0
/proc/1786/task/1789/stat : 1789 (satake) R 1784 1786 11369 0 -1 4202560 138 0 0 0 0 0 0 0 19 0 5 0 1129518754 6443008 780 4294967295 134512640 135180984 3215894080 3086623012 134583077 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1786/tid=1790] ppid=1784 vsize=6292 CPUtime=0
/proc/1786/task/1790/stat : 1790 (satake) R 1784 1786 11369 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1129518754 6443008 784 4294967295 134512640 135180984 3215894080 3086558020 134705812 0 0 0 0 0 0 0 -1 1 0 0 0

[startup+0.074336 s]
/proc/loadavg: 2.78 2.96 2.98 3/115 1786
/proc/meminfo: memFree=2937520/3368532 swapFree=1941392/1959888
[pid=1786] ppid=1784 vsize=90540 CPUtime=0.15
/proc/1786/stat : 1786 (satake) S 1784 1786 11369 0 -1 4202496 18265 0 0 0 2 13 0 0 18 0 5 0 1129518754 92712960 18209 4294967295 134512640 135180984 3215894080 3215893516 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/1786/statm: 22635 18227 63 164 0 22470 0
[pid=1786/tid=1787] ppid=1784 vsize=90540 CPUtime=0
/proc/1786/task/1787/stat : 1787 (satake) S 1784 1786 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129518754 92712960 18232 4294967295 134512640 135180984 3215894080 3086753808 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=1786/tid=1788] ppid=1784 vsize=90540 CPUtime=0.06
/proc/1786/task/1788/stat : 1788 (satake) R 1784 1786 11369 0 -1 4202560 6293 0 0 0 0 6 0 0 19 0 5 0 1129518754 92712960 18238 4294967295 134512640 135180984 3215894080 3086688480 134522704 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=90540 CPUtime=0.06
/proc/1786/task/1789/stat : 1789 (satake) R 1784 1786 11369 0 -1 4202560 7019 0 0 0 2 4 0 0 19 0 5 0 1129518754 92712960 18244 4294967295 134512640 135180984 3215894080 3086622792 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1786/tid=1790] ppid=1784 vsize=90540 CPUtime=0.03
/proc/1786/task/1790/stat : 1790 (satake) R 1784 1786 11369 0 -1 4202560 4872 0 0 0 0 3 0 0 20 0 5 0 1129518754 92712960 18253 4294967295 134512640 135180984 3215894080 3086557476 134583077 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 90540

[startup+0.114331 s]
/proc/loadavg: 2.78 2.96 2.98 3/115 1786
/proc/meminfo: memFree=2937520/3368532 swapFree=1941392/1959888
[pid=1786] ppid=1784 vsize=114124 CPUtime=0.25
/proc/1786/stat : 1786 (satake) S 1784 1786 11369 0 -1 4202496 26109 0 0 0 10 15 0 0 18 0 5 0 1129518754 116862976 26039 4294967295 134512640 135180984 3215894080 3215893516 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/1786/statm: 28531 26044 63 164 0 28366 0
[pid=1786/tid=1787] ppid=1784 vsize=114124 CPUtime=0
/proc/1786/task/1787/stat : 1787 (satake) S 1784 1786 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129518754 116862976 26050 4294967295 134512640 135180984 3215894080 3086753808 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=1786/tid=1788] ppid=1784 vsize=114124 CPUtime=0.09
/proc/1786/task/1788/stat : 1788 (satake) R 1784 1786 11369 0 -1 4202560 8751 0 0 0 2 7 0 0 19 0 5 0 1129518754 116862976 26054 4294967295 134512640 135180984 3215894080 3086688448 134522959 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=114124 CPUtime=0.09
/proc/1786/task/1789/stat : 1789 (satake) R 1784 1786 11369 0 -1 4202560 9472 0 0 0 4 5 0 0 19 0 5 0 1129518754 116862976 26057 4294967295 134512640 135180984 3215894080 3086622976 134522388 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1786/tid=1790] ppid=1784 vsize=114124 CPUtime=0.07
/proc/1786/task/1790/stat : 1790 (satake) R 1784 1786 11369 0 -1 4202560 7788 0 0 0 4 3 0 0 20 0 5 0 1129518754 116862976 26062 4294967295 134512640 135180984 3215894080 3086557424 134522560 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 114124

[startup+0.314323 s]
/proc/loadavg: 2.78 2.96 2.98 3/115 1786
/proc/meminfo: memFree=2937520/3368532 swapFree=1941392/1959888
[pid=1786] ppid=1784 vsize=169132 CPUtime=0.84
/proc/1786/stat : 1786 (satake) S 1784 1786 11369 0 -1 4202496 36909 0 0 0 57 27 0 0 18 0 5 0 1129518754 173191168 36839 4294967295 134512640 135180984 3215894080 3215893516 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/1786/statm: 42283 36840 63 164 0 42118 0
[pid=1786/tid=1787] ppid=1784 vsize=169132 CPUtime=0
/proc/1786/task/1787/stat : 1787 (satake) S 1784 1786 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129518754 173191168 36840 4294967295 134512640 135180984 3215894080 3086753808 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=1786/tid=1788] ppid=1784 vsize=169132 CPUtime=0.28
/proc/1786/task/1788/stat : 1788 (satake) R 1784 1786 11369 0 -1 4202560 12325 0 0 0 20 8 0 0 17 0 5 0 1129518754 173191168 36840 4294967295 134512640 135180984 3215894080 3086688560 134534954 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=169132 CPUtime=0.29
/proc/1786/task/1789/stat : 1789 (satake) R 1784 1786 11369 0 -1 4202560 12273 0 0 0 19 10 0 0 18 0 5 0 1129518754 173191168 36840 4294967295 134512640 135180984 3215894080 3086622808 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1786/tid=1790] ppid=1784 vsize=169132 CPUtime=0.27
/proc/1786/task/1790/stat : 1790 (satake) R 1784 1786 11369 0 -1 4202560 12195 0 0 0 18 9 0 0 18 0 5 0 1129518754 173191168 36840 4294967295 134512640 135180984 3215894080 3086557272 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 169132

[startup+0.714309 s]
/proc/loadavg: 2.78 2.96 2.98 3/115 1786
/proc/meminfo: memFree=2937520/3368532 swapFree=1941392/1959888
[pid=1786] ppid=1784 vsize=200156 CPUtime=2.02
/proc/1786/stat : 1786 (satake) S 1784 1786 11369 0 -1 4202496 44187 0 0 0 168 34 0 0 18 0 5 0 1129518754 204959744 44117 4294967295 134512640 135180984 3215894080 3215893516 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/1786/statm: 50039 44117 63 164 0 49874 0
[pid=1786/tid=1787] ppid=1784 vsize=200156 CPUtime=0
/proc/1786/task/1787/stat : 1787 (satake) S 1784 1786 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129518754 204959744 44118 4294967295 134512640 135180984 3215894080 3086753808 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=1786/tid=1788] ppid=1784 vsize=200156 CPUtime=0.67
/proc/1786/task/1788/stat : 1788 (satake) R 1784 1786 11369 0 -1 4202560 14774 0 0 0 54 13 0 0 16 0 5 0 1129518754 204959744 44118 4294967295 134512640 135180984 3215894080 3086688560 134535220 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=200156 CPUtime=0.69
/proc/1786/task/1789/stat : 1789 (satake) R 1784 1786 11369 0 -1 4202560 14733 0 0 0 58 11 0 0 17 0 5 0 1129518754 204959744 44118 4294967295 134512640 135180984 3215894080 3086623024 134535289 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1786/tid=1790] ppid=1784 vsize=200156 CPUtime=0.66
/proc/1786/task/1790/stat : 1790 (satake) R 1784 1786 11369 0 -1 4202560 14564 0 0 0 56 10 0 0 16 0 5 0 1129518754 204959744 44118 4294967295 134512640 135180984 3215894080 3086557272 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 200156

[startup+1.51428 s]
/proc/loadavg: 2.78 2.96 2.98 4/120 1791
/proc/meminfo: memFree=2738396/3368532 swapFree=1941392/1959888
[pid=1786] ppid=1784 vsize=266288 CPUtime=4.35
/proc/1786/stat : 1786 (satake) S 1784 1786 11369 0 -1 4202496 62890 0 0 0 386 49 0 0 18 0 5 0 1129518754 272678912 62820 4294967295 134512640 135180984 3215894080 3215893516 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/1786/statm: 66572 62820 64 164 0 66407 0
[pid=1786/tid=1787] ppid=1784 vsize=266288 CPUtime=0
/proc/1786/task/1787/stat : 1787 (satake) S 1784 1786 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129518754 272678912 62820 4294967295 134512640 135180984 3215894080 3086753808 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=1786/tid=1788] ppid=1784 vsize=266288 CPUtime=1.45
/proc/1786/task/1788/stat : 1788 (satake) R 1784 1786 11369 0 -1 4202560 21016 0 0 0 126 19 0 0 16 0 5 0 1129518754 272678912 62820 4294967295 134512640 135180984 3215894080 3086688472 134579745 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=266288 CPUtime=1.47
/proc/1786/task/1789/stat : 1789 (satake) R 1784 1786 11369 0 -1 4202560 20930 0 0 0 129 18 0 0 15 0 5 0 1129518754 272678912 62820 4294967295 134512640 135180984 3215894080 3086622992 134521074 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1786/tid=1790] ppid=1784 vsize=266288 CPUtime=1.43
/proc/1786/task/1790/stat : 1790 (satake) R 1784 1786 11369 0 -1 4202560 20827 0 0 0 131 12 0 0 16 0 5 0 1129518754 272678912 62820 4294967295 134512640 135180984 3215894080 3086557400 134579745 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 266288

[startup+3.11421 s]
/proc/loadavg: 2.88 2.98 2.98 4/120 1791
/proc/meminfo: memFree=2745796/3368532 swapFree=1941392/1959888
[pid=1786] ppid=1784 vsize=207892 CPUtime=9.2
/proc/1786/stat : 1786 (satake) S 1784 1786 11369 0 -1 4202496 65355 0 0 0 868 52 0 0 18 0 5 0 1129518754 212881408 48506 4294967295 134512640 135180984 3215894080 3215893516 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/1786/statm: 51973 48506 68 164 0 51808 0
[pid=1786/tid=1787] ppid=1784 vsize=207892 CPUtime=0.09
/proc/1786/task/1787/stat : 1787 (satake) S 1784 1786 11369 0 -1 4202560 1703 0 0 0 9 0 0 0 16 0 5 0 1129518754 212881408 48506 4294967295 134512640 135180984 3215894080 3086753808 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=1786/tid=1788] ppid=1784 vsize=207892 CPUtime=3.03
/proc/1786/task/1788/stat : 1788 (satake) R 1784 1786 11369 0 -1 4202560 21217 0 0 0 284 19 0 0 17 0 5 0 1129518754 212881408 48506 4294967295 134512640 135180984 3215894080 3086688104 134520863 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=207892 CPUtime=3.05
/proc/1786/task/1789/stat : 1789 (satake) R 1784 1786 11369 0 -1 4202560 21259 0 0 0 284 21 0 0 17 0 5 0 1129518754 212881408 48506 4294967295 134512640 135180984 3215894080 3086622576 134528259 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1786/tid=1790] ppid=1784 vsize=207892 CPUtime=3.03
/proc/1786/task/1790/stat : 1790 (satake) R 1784 1786 11369 0 -1 4202560 21066 0 0 0 291 12 0 0 17 0 5 0 1129518754 212881408 48506 4294967295 134512640 135180984 3215894080 3086557056 134518740 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) 207892

[startup+6.31409 s]
/proc/loadavg: 2.88 2.98 2.98 4/120 1974
/proc/meminfo: memFree=2743988/3368532 swapFree=1941392/1959888
[pid=1786] ppid=1784 vsize=208028 CPUtime=18.84
/proc/1786/stat : 1786 (satake) S 1784 1786 11369 0 -1 4202496 65461 0 0 0 1822 62 0 0 18 0 5 0 1129518754 213020672 48612 4294967295 134512640 135180984 3215894080 3215893516 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/1786/statm: 52007 48612 68 164 0 51842 0
[pid=1786/tid=1787] ppid=1784 vsize=208028 CPUtime=0.16
/proc/1786/task/1787/stat : 1787 (satake) S 1784 1786 11369 0 -1 4202560 1703 0 0 0 10 6 0 0 16 0 5 0 1129518754 213020672 48612 4294967295 134512640 135180984 3215894080 3086753808 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=1786/tid=1788] ppid=1784 vsize=208028 CPUtime=6.22
/proc/1786/task/1788/stat : 1788 (satake) R 1784 1786 11369 0 -1 4202560 21276 0 0 0 602 20 0 0 21 0 5 0 1129518754 213020672 48612 4294967295 134512640 135180984 3215894080 3086688016 134525180 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=208028 CPUtime=6.24
/proc/1786/task/1789/stat : 1789 (satake) R 1784 1786 11369 0 -1 4202560 21268 0 0 0 602 22 0 0 21 0 5 0 1129518754 213020672 48612 4294967295 134512640 135180984 3215894080 3086622528 134522894 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1786/tid=1790] ppid=1784 vsize=208028 CPUtime=6.22
/proc/1786/task/1790/stat : 1790 (satake) R 1784 1786 11369 0 -1 4202560 21104 0 0 0 608 14 0 0 20 0 5 0 1129518754 213020672 48612 4294967295 134512640 135180984 3215894080 3086557088 134535682 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.84
Current children cumulated vsize (KiB) 208028

[startup+12.7138 s]
/proc/loadavg: 2.90 2.98 2.98 4/120 1975
/proc/meminfo: memFree=2741832/3368532 swapFree=1941392/1959888
[pid=1786] ppid=1784 vsize=210668 CPUtime=38.24
/proc/1786/stat : 1786 (satake) S 1784 1786 11369 0 -1 4202496 66129 0 0 0 3726 98 0 0 18 0 5 0 1129518754 215724032 49280 4294967295 134512640 135180984 3215894080 3215893516 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/1786/statm: 52667 49280 68 164 0 52502 0
[pid=1786/tid=1787] ppid=1784 vsize=210668 CPUtime=0.37
/proc/1786/task/1787/stat : 1787 (satake) S 1784 1786 11369 0 -1 4202560 1708 0 0 0 14 23 0 0 16 0 5 0 1129518754 215724032 49280 4294967295 134512640 135180984 3215894080 3086753808 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=1786/tid=1788] ppid=1784 vsize=210668 CPUtime=12.62
/proc/1786/task/1788/stat : 1788 (satake) R 1784 1786 11369 0 -1 4202560 21537 0 0 0 1235 27 0 0 25 0 5 0 1129518754 215724032 49280 4294967295 134512640 135180984 3215894080 3086688112 134528211 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=210668 CPUtime=12.64
/proc/1786/task/1789/stat : 1789 (satake) R 1784 1786 11369 0 -1 4202560 21514 0 0 0 1238 26 0 0 25 0 5 0 1129518754 215724032 49280 4294967295 134512640 135180984 3215894080 3086622576 134526427 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1786/tid=1790] ppid=1784 vsize=210668 CPUtime=12.61
/proc/1786/task/1790/stat : 1790 (satake) R 1784 1786 11369 0 -1 4202560 21260 0 0 0 1239 22 0 0 25 0 5 0 1129518754 215724032 49280 4294967295 134512640 135180984 3215894080 3086557040 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 38.24
Current children cumulated vsize (KiB) 210668

[startup+25.5133 s]
/proc/loadavg: 2.91 2.98 2.98 4/120 1975
/proc/meminfo: memFree=2735080/3368532 swapFree=1941392/1959888
[pid=1786] ppid=1784 vsize=216784 CPUtime=76.95
/proc/1786/stat : 1786 (satake) S 1784 1786 11369 0 -1 4202496 67713 0 0 0 7534 161 0 0 18 0 5 0 1129518754 221986816 50864 4294967295 134512640 135180984 3215894080 3215893516 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/1786/statm: 54196 50864 68 164 0 54031 0
[pid=1786/tid=1787] ppid=1784 vsize=216784 CPUtime=0.72
/proc/1786/task/1787/stat : 1787 (satake) S 1784 1786 11369 0 -1 4202560 1731 0 0 0 16 56 0 0 16 0 5 0 1129518754 221986816 50864 4294967295 134512640 135180984 3215894080 3086753808 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=1786/tid=1788] ppid=1784 vsize=216784 CPUtime=25.4
/proc/1786/task/1788/stat : 1788 (satake) R 1784 1786 11369 0 -1 4202560 22192 0 0 0 2504 36 0 0 25 0 5 0 1129518754 221986816 50864 4294967295 134512640 135180984 3215894080 3086688128 134518634 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=216784 CPUtime=25.42
/proc/1786/task/1789/stat : 1789 (satake) R 1784 1786 11369 0 -1 4202560 21896 0 0 0 2510 32 0 0 25 0 5 0 1129518754 221986816 50864 4294967295 134512640 135180984 3215894080 3086622476 134520661 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1786/tid=1790] ppid=1784 vsize=216784 CPUtime=25.41
/proc/1786/task/1790/stat : 1790 (satake) R 1784 1786 11369 0 -1 4202560 21784 0 0 0 2504 37 0 0 25 0 5 0 1129518754 221986816 50864 4294967295 134512640 135180984 3215894080 3086557040 134528206 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 76.95
Current children cumulated vsize (KiB) 216784

[startup+51.1123 s]
/proc/loadavg: 2.94 2.98 2.98 4/120 1979
/proc/meminfo: memFree=2721996/3368532 swapFree=1941392/1959888
[pid=1786] ppid=1784 vsize=230152 CPUtime=154.26
/proc/1786/stat : 1786 (satake) S 1784 1786 11369 0 -1 4202496 71068 0 0 0 15164 262 0 0 18 0 5 0 1129518754 235675648 54219 4294967295 134512640 135180984 3215894080 3215893516 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/1786/statm: 57538 54219 68 164 0 57373 0
[pid=1786/tid=1787] ppid=1784 vsize=230152 CPUtime=1.3
/proc/1786/task/1787/stat : 1787 (satake) S 1784 1786 11369 0 -1 4202560 1745 0 0 0 28 102 0 0 16 0 5 0 1129518754 235675648 54219 4294967295 134512640 135180984 3215894080 3086753808 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=1786/tid=1788] ppid=1784 vsize=230152 CPUtime=51
/proc/1786/task/1788/stat : 1788 (satake) R 1784 1786 11369 0 -1 4202560 23610 0 0 0 5046 54 0 0 25 0 5 0 1129518754 235675648 54219 4294967295 134512640 135180984 3215894080 3086688040 134523869 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=230152 CPUtime=51
/proc/1786/task/1789/stat : 1789 (satake) R 1784 1786 11369 0 -1 4202560 22801 0 0 0 5054 46 0 0 25 0 5 0 1129518754 235675648 54219 4294967295 134512640 135180984 3215894080 3086622576 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1786/tid=1790] ppid=1784 vsize=230152 CPUtime=50.96
/proc/1786/task/1790/stat : 1790 (satake) R 1784 1786 11369 0 -1 4202560 22802 0 0 0 5036 60 0 0 25 0 5 0 1129518754 235675648 54219 4294967295 134512640 135180984 3215894080 3086557040 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 154.26
Current children cumulated vsize (KiB) 230152

[startup+102.31 s]
/proc/loadavg: 2.97 2.98 2.98 5/120 2168

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

[pid=1786/tid=1788] ppid=1784 vsize=552492 CPUtime=520.01
/proc/1786/task/1788/stat : 1788 (satake) R 1784 1786 11369 0 -1 4202560 50877 0 0 0 51869 132 0 0 25 0 5 0 1129518754 565751808 134297 4294967295 134512640 135180984 3215894080 3086688016 134525209 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=552492 CPUtime=521.44
/proc/1786/task/1789/stat : 1789 (satake) R 1784 1786 11369 0 -1 4202560 50292 0 0 0 51986 158 0 0 25 0 5 0 1129518754 565751808 134297 4294967295 134512640 135180984 3215894080 3086622508 134518208 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1786/tid=1790] ppid=1784 vsize=552492 CPUtime=521.09
/proc/1786/task/1790/stat : 1790 (satake) R 1784 1786 11369 0 -1 4202560 47830 0 0 0 51905 204 0 0 25 0 5 0 1129518754 565751808 134297 4294967295 134512640 135180984 3215894080 3086556872 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1566.91
Current children cumulated vsize (KiB) 552492

[startup+582.311 s]
/proc/loadavg: 3.00 2.99 2.99 4/120 3729
/proc/meminfo: memFree=2356164/3368532 swapFree=1941392/1959888
[pid=1786] ppid=1784 vsize=595688 CPUtime=1746.68
/proc/1786/stat : 1786 (satake) S 1784 1786 11369 0 -1 4202496 162331 0 0 0 173814 854 0 0 18 0 5 0 1129518754 609984512 145482 4294967295 134512640 135180984 3215894080 3215893516 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/1786/statm: 148922 145482 68 164 0 148757 0
[pid=1786/tid=1787] ppid=1784 vsize=595688 CPUtime=4.48
/proc/1786/task/1787/stat : 1787 (satake) S 1784 1786 11369 0 -1 4202560 2060 0 0 0 120 328 0 0 16 0 5 0 1129518754 609984512 145482 4294967295 134512640 135180984 3215894080 3086753808 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=1786/tid=1788] ppid=1784 vsize=595688 CPUtime=579.87
/proc/1786/task/1788/stat : 1788 (satake) R 1784 1786 11369 0 -1 4202560 54595 0 0 0 57851 136 0 0 25 0 5 0 1129518754 609984512 145482 4294967295 134512640 135180984 3215894080 3086688112 134526206 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=595688 CPUtime=581.36
/proc/1786/task/1789/stat : 1789 (satake) R 1784 1786 11369 0 -1 4202560 54474 0 0 0 57969 167 0 0 25 0 5 0 1129518754 609984512 145482 4294967295 134512640 135180984 3215894080 3086622480 134525209 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1786/tid=1790] ppid=1784 vsize=595688 CPUtime=580.97
/proc/1786/task/1790/stat : 1790 (satake) R 1784 1786 11369 0 -1 4202560 51092 0 0 0 57874 223 0 0 25 0 5 0 1129518754 609984512 145482 4294967295 134512640 135180984 3215894080 3086556936 134520909 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1746.68
Current children cumulated vsize (KiB) 595688

[startup+642.309 s]
/proc/loadavg: 3.03 3.00 2.99 4/120 3915
/proc/meminfo: memFree=2312420/3368532 swapFree=1941392/1959888
[pid=1786] ppid=1784 vsize=640948 CPUtime=1926.55
/proc/1786/stat : 1786 (satake) S 1784 1786 11369 0 -1 4202496 173341 0 0 0 191762 893 0 0 18 0 5 0 1129518754 656330752 156492 4294967295 134512640 135180984 3215894080 3215893516 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/1786/statm: 160237 156492 68 164 0 160072 0
[pid=1786/tid=1787] ppid=1784 vsize=640948 CPUtime=4.71
/proc/1786/task/1787/stat : 1787 (satake) S 1784 1786 11369 0 -1 4202560 2076 0 0 0 127 344 0 0 15 0 5 0 1129518754 656330752 156492 4294967295 134512640 135180984 3215894080 3086753808 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=1786/tid=1788] ppid=1784 vsize=640948 CPUtime=639.62
/proc/1786/task/1788/stat : 1788 (satake) R 1784 1786 11369 0 -1 4202560 58255 0 0 0 63821 141 0 0 25 0 5 0 1129518754 656330752 156492 4294967295 134512640 135180984 3215894080 3086688008 134520909 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=640948 CPUtime=641.3
/proc/1786/task/1789/stat : 1789 (satake) R 1784 1786 11369 0 -1 4202560 58488 0 0 0 63956 174 0 0 25 0 5 0 1129518754 656330752 156492 4294967295 134512640 135180984 3215894080 3086622480 134525183 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1786/tid=1790] ppid=1784 vsize=640948 CPUtime=640.92
/proc/1786/task/1790/stat : 1790 (satake) R 1784 1786 11369 0 -1 4202560 54412 0 0 0 63858 234 0 0 25 0 5 0 1129518754 656330752 156492 4294967295 134512640 135180984 3215894080 3086556872 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1926.55
Current children cumulated vsize (KiB) 640948

[startup+702.316 s]
/proc/loadavg: 3.01 3.00 2.99 4/120 4103
/proc/meminfo: memFree=2272636/3368532 swapFree=1941392/1959888
[pid=1786] ppid=1784 vsize=682236 CPUtime=2106.45
/proc/1786/stat : 1786 (satake) S 1784 1786 11369 0 -1 4202496 183391 0 0 0 209725 920 0 0 18 0 5 0 1129518754 698609664 166542 4294967295 134512640 135180984 3215894080 3215893516 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/1786/statm: 170559 166542 68 164 0 170394 0
[pid=1786/tid=1787] ppid=1784 vsize=682236 CPUtime=4.88
/proc/1786/task/1787/stat : 1787 (satake) S 1784 1786 11369 0 -1 4202560 2090 0 0 0 132 356 0 0 16 0 5 0 1129518754 698609664 166542 4294967295 134512640 135180984 3215894080 3086753808 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=1786/tid=1788] ppid=1784 vsize=682236 CPUtime=699.43
/proc/1786/task/1788/stat : 1788 (satake) R 1784 1786 11369 0 -1 4202560 61984 0 0 0 69800 143 0 0 25 0 5 0 1129518754 698609664 166542 4294967295 134512640 135180984 3215894080 3086688080 134519935 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=682236 CPUtime=701.27
/proc/1786/task/1789/stat : 1789 (satake) R 1784 1786 11369 0 -1 4202560 62209 0 0 0 69948 179 0 0 25 0 5 0 1129518754 698609664 166542 4294967295 134512640 135180984 3215894080 3086622576 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1786/tid=1790] ppid=1784 vsize=682236 CPUtime=700.87
/proc/1786/task/1790/stat : 1790 (satake) R 1784 1786 11369 0 -1 4202560 56998 0 0 0 69845 242 0 0 25 0 5 0 1129518754 698609664 166542 4294967295 134512640 135180984 3215894080 3086557036 134518208 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2106.45
Current children cumulated vsize (KiB) 682236

[startup+762.314 s]
/proc/loadavg: 3.00 3.00 2.99 5/120 4292
/proc/meminfo: memFree=2229552/3368532 swapFree=1941392/1959888
[pid=1786] ppid=1784 vsize=724020 CPUtime=2286.28
/proc/1786/stat : 1786 (satake) S 1784 1786 11369 0 -1 4202496 193878 0 0 0 227675 953 0 0 18 0 5 0 1129518754 741396480 177029 4294967295 134512640 135180984 3215894080 3215893516 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/1786/statm: 181005 177029 68 164 0 180840 0
[pid=1786/tid=1787] ppid=1784 vsize=724020 CPUtime=5.03
/proc/1786/task/1787/stat : 1787 (satake) S 1784 1786 11369 0 -1 4202560 2106 0 0 0 140 363 0 0 15 0 5 0 1129518754 741396480 177029 4294967295 134512640 135180984 3215894080 3086753808 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=1786/tid=1788] ppid=1784 vsize=724020 CPUtime=759.26
/proc/1786/task/1788/stat : 1788 (satake) R 1784 1786 11369 0 -1 4202560 65190 0 0 0 75777 149 0 0 25 0 5 0 1129518754 741396480 177029 4294967295 134512640 135180984 3215894080 3086688112 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=724020 CPUtime=761.16
/proc/1786/task/1789/stat : 1789 (satake) R 1784 1786 11369 0 -1 4202560 65811 0 0 0 75927 189 0 0 25 0 5 0 1129518754 741396480 177029 4294967295 134512640 135180984 3215894080 3086622576 134528680 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1786/tid=1790] ppid=1784 vsize=724020 CPUtime=760.83
/proc/1786/task/1790/stat : 1790 (satake) R 1784 1786 11369 0 -1 4202560 60661 0 0 0 75831 252 0 0 25 0 5 0 1129518754 741396480 177029 4294967295 134512640 135180984 3215894080 3086557036 134520901 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2286.28
Current children cumulated vsize (KiB) 724020

[startup+822.312 s]
/proc/loadavg: 3.00 3.00 2.99 4/120 4484
/proc/meminfo: memFree=2193672/3368532 swapFree=1941392/1959888
[pid=1786] ppid=1784 vsize=759108 CPUtime=2466.15
/proc/1786/stat : 1786 (satake) S 1784 1786 11369 0 -1 4202496 202927 0 0 0 245631 984 0 0 18 0 5 0 1129518754 777326592 186078 4294967295 134512640 135180984 3215894080 3215893516 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/1786/statm: 189777 186078 68 164 0 189612 0
[pid=1786/tid=1787] ppid=1784 vsize=759108 CPUtime=5.12
/proc/1786/task/1787/stat : 1787 (satake) S 1784 1786 11369 0 -1 4202560 2124 0 0 0 143 369 0 0 16 0 5 0 1129518754 777326592 186078 4294967295 134512640 135180984 3215894080 3086753808 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=1786/tid=1788] ppid=1784 vsize=759108 CPUtime=819.14
/proc/1786/task/1788/stat : 1788 (satake) R 1784 1786 11369 0 -1 4202560 68086 0 0 0 81758 156 0 0 25 0 5 0 1129518754 777326592 186078 4294967295 134512640 135180984 3215894080 3086688080 134519935 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=759108 CPUtime=821.1
/proc/1786/task/1789/stat : 1789 (satake) R 1784 1786 11369 0 -1 4202560 69154 0 0 0 81912 198 0 0 25 0 5 0 1129518754 777326592 186078 4294967295 134512640 135180984 3215894080 3086622576 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1786/tid=1790] ppid=1784 vsize=759108 CPUtime=820.79
/proc/1786/task/1790/stat : 1790 (satake) R 1784 1786 11369 0 -1 4202560 63453 0 0 0 81818 261 0 0 25 0 5 0 1129518754 777326592 186078 4294967295 134512640 135180984 3215894080 3086557040 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2466.15
Current children cumulated vsize (KiB) 759108

[startup+882.309 s]
/proc/loadavg: 3.00 3.00 2.99 4/120 4672
/proc/meminfo: memFree=2156352/3368532 swapFree=1941392/1959888
[pid=1786] ppid=1784 vsize=797044 CPUtime=2646.02
/proc/1786/stat : 1786 (satake) S 1784 1786 11369 0 -1 4202496 212352 0 0 0 263595 1007 0 0 18 0 5 0 1129518754 816173056 195503 4294967295 134512640 135180984 3215894080 3215893516 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/1786/statm: 199261 195503 68 164 0 199096 0
[pid=1786/tid=1787] ppid=1784 vsize=797044 CPUtime=5.24
/proc/1786/task/1787/stat : 1787 (satake) S 1784 1786 11369 0 -1 4202560 2135 0 0 0 147 377 0 0 15 0 5 0 1129518754 816173056 195503 4294967295 134512640 135180984 3215894080 3086753808 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=1786/tid=1788] ppid=1784 vsize=797044 CPUtime=878.99
/proc/1786/task/1788/stat : 1788 (satake) R 1784 1786 11369 0 -1 4202560 71328 0 0 0 87739 160 0 0 25 0 5 0 1129518754 816173056 195503 4294967295 134512640 135180984 3215894080 3086688080 134520022 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=797044 CPUtime=881.05
/proc/1786/task/1789/stat : 1789 (satake) R 1784 1786 11369 0 -1 4202560 72308 0 0 0 87903 202 0 0 25 0 5 0 1129518754 816173056 195503 4294967295 134512640 135180984 3215894080 3086622576 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1786/tid=1790] ppid=1784 vsize=797044 CPUtime=880.74
/proc/1786/task/1790/stat : 1790 (satake) R 1784 1786 11369 0 -1 4202560 66471 0 0 0 87806 268 0 0 25 0 5 0 1129518754 816173056 195503 4294967295 134512640 135180984 3215894080 3086557008 134520027 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2646.02
Current children cumulated vsize (KiB) 797044

[startup+942.307 s]
/proc/loadavg: 3.00 3.00 2.99 4/120 4858
/proc/meminfo: memFree=2118280/3368532 swapFree=1941392/1959888
[pid=1786] ppid=1784 vsize=835260 CPUtime=2825.93
/proc/1786/stat : 1786 (satake) S 1784 1786 11369 0 -1 4202496 221941 0 0 0 281556 1037 0 0 18 0 5 0 1129518754 855306240 205092 4294967295 134512640 135180984 3215894080 3215893516 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/1786/statm: 208815 205092 68 164 0 208650 0
[pid=1786/tid=1787] ppid=1784 vsize=835260 CPUtime=5.38
/proc/1786/task/1787/stat : 1787 (satake) S 1784 1786 11369 0 -1 4202560 2153 0 0 0 151 387 0 0 15 0 5 0 1129518754 855306240 205092 4294967295 134512640 135180984 3215894080 3086753808 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=1786/tid=1788] ppid=1784 vsize=835260 CPUtime=938.83
/proc/1786/task/1788/stat : 1788 (satake) R 1784 1786 11369 0 -1 4202560 74500 0 0 0 93717 166 0 0 25 0 5 0 1129518754 855306240 205092 4294967295 134512640 135180984 3215894080 3086688016 134525152 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=835260 CPUtime=941.03
/proc/1786/task/1789/stat : 1789 (satake) R 1784 1786 11369 0 -1 4202560 75430 0 0 0 93894 209 0 0 25 0 5 0 1129518754 855306240 205092 4294967295 134512640 135180984 3215894080 3086622508 134523868 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1786/tid=1790] ppid=1784 vsize=835260 CPUtime=940.69
/proc/1786/task/1790/stat : 1790 (satake) R 1784 1786 11369 0 -1 4202560 69748 0 0 0 93794 275 0 0 25 0 5 0 1129518754 855306240 205092 4294967295 134512640 135180984 3215894080 3086557040 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2825.93
Current children cumulated vsize (KiB) 835260



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000 s]
/proc/loadavg: 3.00 3.00 2.99 4/120 5049
/proc/meminfo: memFree=2082348/3368532 swapFree=1941392/1959888
[pid=1786] ppid=1784 vsize=870108 CPUtime=2998.94
/proc/1786/stat : 1786 (satake) S 1784 1786 11369 0 -1 4202496 230687 0 0 0 298831 1063 0 0 18 0 5 0 1129518754 890990592 213838 4294967295 134512640 135180984 3215894080 3215893516 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/1786/statm: 217527 213838 68 164 0 217362 0
[pid=1786/tid=1787] ppid=1784 vsize=870108 CPUtime=5.5
/proc/1786/task/1787/stat : 1787 (satake) S 1784 1786 11369 0 -1 4202560 2163 0 0 0 154 396 0 0 16 0 5 0 1129518754 890990592 213840 4294967295 134512640 135180984 3215894080 3086753808 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=1786/tid=1788] ppid=1784 vsize=870108 CPUtime=996.45
/proc/1786/task/1788/stat : 1788 (satake) R 1784 1786 11369 0 -1 4202560 77326 0 0 0 99473 172 0 0 25 0 5 0 1129518754 890990592 213840 4294967295 134512640 135180984 3215894080 3086688112 134519339 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=870108 CPUtime=998.64
/proc/1786/task/1789/stat : 1789 (satake) R 1784 1786 11369 0 -1 4202560 78580 0 0 0 99653 211 0 0 25 0 5 0 1129518754 890990592 213840 4294967295 134512640 135180984 3215894080 3086622576 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1786/tid=1790] ppid=1784 vsize=870108 CPUtime=998.35
/proc/1786/task/1790/stat : 1790 (satake) R 1784 1786 11369 0 -1 4202560 72510 0 0 0 99551 284 0 0 25 0 5 0 1129518754 890990592 213840 4294967295 134512640 135180984 3215894080 3086557040 134528267 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2998.94
Current children cumulated vsize (KiB) 870108

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.07
CPU time (s): 2999.04
CPU user time (s): 2988.37
CPU system time (s): 10.67
CPU usage (%): 299.882
Max. virtual memory (cumulated for all children) (KiB): 870108

deleting IPC queue 25165824
deleting IPC queue 25198593
deleting IPC queue 25231362
deleting IPC queue 25264131
deleting IPC queue 25296900
deleting IPC queue 25329669
deleting IPC queue 25362438
deleting IPC queue 25395207
deleting IPC queue 25427976
deleting IPC queue 25460745
deleting IPC queue 25493514
deleting IPC queue 25526283
deleting IPC queue 25559052
deleting IPC queue 25591821
deleting IPC queue 25624590
deleting IPC queue 25657359

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2988.37
system time used= 10.67
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230691
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= 417885
involuntary context switches= 297685

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 03:53:08
IDJOB=1780495
IDBENCH=71011
IDSOLVER=629
FILE ID=/1780495-1243648388
PBS_JOBID=
Free space on /tmp= 15708 MiB

SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-20-5p0.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1780495-1243648388/watcher-1780495-1243648388 -o /tmp/evaluation-result-1780495-1243648388/solver-1780495-1243648388 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780495-1243648388.cnf 4 10000

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

MD5SUM BENCH= 782c70d5631cbc24bc659543ee69ca8b
RANDOM SEED= 1166167692

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:       2937520 kB
Buffers:         49272 kB
Cached:         295552 kB
SwapCached:       4320 kB
Active:         163108 kB
Inactive:       192312 kB
HighTotal:     2489216 kB
HighFree:      2180932 kB
LowTotal:       879316 kB
LowFree:        756588 kB
SwapTotal:     1959888 kB
SwapFree:      1941392 kB
Dirty:           23616 kB
Writeback:           0 kB
AnonPages:        9444 kB
Mapped:           4212 kB
Slab:            64804 kB
SReclaimable:    56048 kB
SUnreclaim:       8756 kB
PageTables:        776 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   127072 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15708 MiB
End job on  at 2009-05-30 04:09:52