Trace number 1780630

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) 3003.23 1000.06

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UCG-15-10p0.cnf
MD5SUMbcbcc9a4e4a7e3ebed9eeaa393ebdc32
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1004.76
Satisfiable
(Un)Satisfiability was proved
Number of variables199304
Number of clauses1005834
Sum of the clauses size2392967
Maximum clause length10
Minimum clause length1
Number of clauses of size 110249
Number of clauses of size 2756917
Number of clauses of size 3187708
Number of clauses of size 45660
Number of clauses of size 522640
Number of clauses of size over 522660

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-1780630-1243649393/watcher-1780630-1243649393 -o /tmp/evaluation-result-1780630-1243649393/solver-1780630-1243649393 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780630-1243649393.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.76 2.95 2.98 3/115 5088
/proc/meminfo: memFree=2936752/3368532 swapFree=1941392/1959888
[pid=5088] ppid=5086 vsize=4248 CPUtime=0.01
/proc/5088/stat : 5088 (satake) S 5086 5088 11369 0 -1 4202496 706 0 0 0 0 1 0 0 18 0 5 0 1129619201 4349952 662 4294967295 134512640 135180984 3220499104 3220498540 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/5088/statm: 1062 666 63 164 0 897 0
[pid=5088/tid=5089] ppid=5086 vsize=6296 CPUtime=0
/proc/5088/task/5089/stat : 5089 (satake) S 5086 5088 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129619201 6447104 774 4294967295 134512640 135180984 3220499104 3086807056 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=5088/tid=5090] ppid=5086 vsize=6296 CPUtime=0.01
/proc/5088/task/5090/stat : 5090 (satake) R 5086 5088 11369 0 -1 4202560 167 0 0 0 0 1 0 0 19 0 5 0 1129619201 6447104 779 4294967295 134512640 135180984 3220499104 3086741796 134583077 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5088/tid=5091] ppid=5086 vsize=6296 CPUtime=0
/proc/5088/task/5091/stat : 5091 (satake) R 5086 5088 11369 0 -1 4202560 543 0 0 0 0 0 0 0 19 0 5 0 1129619201 6447104 784 4294967295 134512640 135180984 3220499104 3086676260 134583077 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5088/tid=5092] ppid=5086 vsize=6296 CPUtime=0
/proc/5088/task/5092/stat : 5092 (satake) R 5086 5088 11369 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1129619201 6447104 789 4294967295 134512640 135180984 3220499104 3086611268 134705812 0 0 0 0 0 0 0 -1 1 0 0 0

[startup+0.031779 s]
/proc/loadavg: 2.76 2.95 2.98 3/115 5088
/proc/meminfo: memFree=2936752/3368532 swapFree=1941392/1959888
[pid=5088] ppid=5086 vsize=42212 CPUtime=0.06
/proc/5088/stat : 5088 (satake) S 5086 5088 11369 0 -1 4202496 7199 0 0 0 0 6 0 0 18 0 5 0 1129619201 43225088 7155 4294967295 134512640 135180984 3220499104 3220498540 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/5088/statm: 10553 7178 63 164 0 10388 0
[pid=5088/tid=5089] ppid=5086 vsize=42212 CPUtime=0
/proc/5088/task/5089/stat : 5089 (satake) S 5086 5088 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129619201 43225088 7186 4294967295 134512640 135180984 3220499104 3086807056 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=5088/tid=5090] ppid=5086 vsize=42212 CPUtime=0.02
/proc/5088/task/5090/stat : 5090 (satake) R 5086 5088 11369 0 -1 4202560 1403 0 0 0 0 2 0 0 19 0 5 0 1129619201 43225088 7197 4294967295 134512640 135180984 3220499104 3086741796 134583077 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5088/tid=5091] ppid=5086 vsize=42212 CPUtime=0.02
/proc/5088/task/5091/stat : 5091 (satake) R 5086 5088 11369 0 -1 4202560 2915 0 0 0 0 2 0 0 19 0 5 0 1129619201 43225088 7208 4294967295 134512640 135180984 3220499104 3086676260 134583077 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5088/tid=5092] ppid=5086 vsize=42212 CPUtime=0.02
/proc/5088/task/5092/stat : 5092 (satake) R 5086 5088 11369 0 -1 4202560 2816 0 0 0 0 2 0 0 20 0 5 0 1129619201 43225088 7218 4294967295 134512640 135180984 3220499104 3086610724 134583077 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 42212

[startup+0.111766 s]
/proc/loadavg: 2.76 2.95 2.98 3/115 5088
/proc/meminfo: memFree=2936752/3368532 swapFree=1941392/1959888
[pid=5088] ppid=5086 vsize=114212 CPUtime=0.27
/proc/5088/stat : 5088 (satake) S 5086 5088 11369 0 -1 4202496 25049 0 0 0 11 16 0 0 18 0 5 0 1129619201 116953088 24983 4294967295 134512640 135180984 3220499104 3220498540 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/5088/statm: 28553 24989 63 164 0 28388 0
[pid=5088/tid=5089] ppid=5086 vsize=114212 CPUtime=0
/proc/5088/task/5089/stat : 5089 (satake) S 5086 5088 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129619201 116953088 24993 4294967295 134512640 135180984 3220499104 3086807056 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=5088/tid=5090] ppid=5086 vsize=114212 CPUtime=0.09
/proc/5088/task/5090/stat : 5090 (satake) R 5086 5088 11369 0 -1 4202560 7790 0 0 0 4 5 0 0 19 0 5 0 1129619201 116953088 24999 4294967295 134512640 135180984 3220499104 3086741760 134522431 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5088/tid=5091] ppid=5086 vsize=114212 CPUtime=0.09
/proc/5088/task/5091/stat : 5091 (satake) R 5086 5088 11369 0 -1 4202560 8689 0 0 0 4 5 0 0 19 0 5 0 1129619201 116953088 25002 4294967295 134512640 135180984 3220499104 3086676040 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5088/tid=5092] ppid=5086 vsize=114212 CPUtime=0.09
/proc/5088/task/5092/stat : 5092 (satake) R 5086 5088 11369 0 -1 4202560 8472 0 0 0 3 6 0 0 20 0 5 0 1129619201 116953088 25009 4294967295 134512640 135180984 3220499104 3086610688 134522207 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 114212

[startup+0.301757 s]
/proc/loadavg: 2.76 2.95 2.98 3/115 5088
/proc/meminfo: memFree=2936752/3368532 swapFree=1941392/1959888
[pid=5088] ppid=5086 vsize=155268 CPUtime=0.84
/proc/5088/stat : 5088 (satake) S 5086 5088 11369 0 -1 4202496 32431 0 0 0 59 25 0 0 18 0 5 0 1129619201 158994432 32365 4294967295 134512640 135180984 3220499104 3220498540 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/5088/statm: 38817 32365 63 164 0 38652 0
[pid=5088/tid=5089] ppid=5086 vsize=155268 CPUtime=0
/proc/5088/task/5089/stat : 5089 (satake) S 5086 5088 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129619201 158994432 32365 4294967295 134512640 135180984 3220499104 3086807056 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=5088/tid=5090] ppid=5086 vsize=155268 CPUtime=0.28
/proc/5088/task/5090/stat : 5090 (satake) R 5086 5088 11369 0 -1 4202560 10689 0 0 0 22 6 0 0 18 0 5 0 1129619201 158994432 32365 4294967295 134512640 135180984 3220499104 3086741756 134518229 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5088/tid=5091] ppid=5086 vsize=155268 CPUtime=0.28
/proc/5088/task/5091/stat : 5091 (satake) R 5086 5088 11369 0 -1 4202560 10789 0 0 0 18 10 0 0 17 0 5 0 1129619201 158994432 32366 4294967295 134512640 135180984 3220499104 3086676180 134579745 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5088/tid=5092] ppid=5086 vsize=155268 CPUtime=0.28
/proc/5088/task/5092/stat : 5092 (satake) R 5086 5088 11369 0 -1 4202560 10836 0 0 0 19 9 0 0 19 0 5 0 1129619201 158994432 32366 4294967295 134512640 135180984 3220499104 3086610404 134675846 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 155268

[startup+0.701743 s]
/proc/loadavg: 2.76 2.95 2.98 3/115 5088
/proc/meminfo: memFree=2936752/3368532 swapFree=1941392/1959888
[pid=5088] ppid=5086 vsize=186556 CPUtime=2.04
/proc/5088/stat : 5088 (satake) S 5086 5088 11369 0 -1 4202496 39675 0 0 0 173 31 0 0 18 0 5 0 1129619201 191033344 39609 4294967295 134512640 135180984 3220499104 3220498540 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/5088/statm: 46639 39610 63 164 0 46474 0
[pid=5088/tid=5089] ppid=5086 vsize=186556 CPUtime=0
/proc/5088/task/5089/stat : 5089 (satake) S 5086 5088 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129619201 191033344 39611 4294967295 134512640 135180984 3220499104 3086807056 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=5088/tid=5090] ppid=5086 vsize=186556 CPUtime=0.68
/proc/5088/task/5090/stat : 5090 (satake) R 5086 5088 11369 0 -1 4202560 13133 0 0 0 62 6 0 0 16 0 5 0 1129619201 191033344 39611 4294967295 134512640 135180984 3220499104 3086741592 134675767 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5088/tid=5091] ppid=5086 vsize=186556 CPUtime=0.68
/proc/5088/task/5091/stat : 5091 (satake) R 5086 5088 11369 0 -1 4202560 13217 0 0 0 56 12 0 0 16 0 5 0 1129619201 191033344 39612 4294967295 134512640 135180984 3220499104 3086676056 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5088/tid=5092] ppid=5086 vsize=186556 CPUtime=0.68
/proc/5088/task/5092/stat : 5092 (satake) R 5086 5088 11369 0 -1 4202560 13210 0 0 0 55 13 0 0 17 0 5 0 1129619201 191033344 39612 4294967295 134512640 135180984 3220499104 3086610720 134513764 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 186556

[startup+1.50171 s]
/proc/loadavg: 2.76 2.95 2.98 4/120 5094
/proc/meminfo: memFree=2753620/3368532 swapFree=1941392/1959888
[pid=5088] ppid=5086 vsize=237728 CPUtime=4.42
/proc/5088/stat : 5088 (satake) S 5086 5088 11369 0 -1 4202496 53464 0 0 0 388 54 0 0 18 0 5 0 1129619201 243433472 53398 4294967295 134512640 135180984 3220499104 3220498540 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/5088/statm: 59432 53398 64 164 0 59267 0
[pid=5088/tid=5089] ppid=5086 vsize=237728 CPUtime=0
/proc/5088/task/5089/stat : 5089 (satake) S 5086 5088 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129619201 243433472 53398 4294967295 134512640 135180984 3220499104 3086807056 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=5088/tid=5090] ppid=5086 vsize=237728 CPUtime=1.47
/proc/5088/task/5090/stat : 5090 (satake) R 5086 5088 11369 0 -1 4202560 17778 0 0 0 135 12 0 0 15 0 5 0 1129619201 243433472 53398 4294967295 134512640 135180984 3220499104 3086741768 134520907 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5088/tid=5091] ppid=5086 vsize=237728 CPUtime=1.48
/proc/5088/task/5091/stat : 5091 (satake) R 5086 5088 11369 0 -1 4202560 17630 0 0 0 124 24 0 0 15 0 5 0 1129619201 243433472 53398 4294967295 134512640 135180984 3220499104 3086676240 134521024 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5088/tid=5092] ppid=5086 vsize=237728 CPUtime=1.47
/proc/5088/task/5092/stat : 5092 (satake) R 5086 5088 11369 0 -1 4202560 17938 0 0 0 129 18 0 0 16 0 5 0 1129619201 243433472 53398 4294967295 134512640 135180984 3220499104 3086610744 134520871 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 237728

[startup+3.10165 s]
/proc/loadavg: 2.76 2.95 2.98 6/120 5094
/proc/meminfo: memFree=2773600/3368532 swapFree=1941392/1959888
[pid=5088] ppid=5086 vsize=186996 CPUtime=9.24
/proc/5088/stat : 5088 (satake) S 5086 5088 11369 0 -1 4202496 55154 0 0 0 868 56 0 0 18 0 5 0 1129619201 191483904 41207 4294967295 134512640 135180984 3220499104 3220498540 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/5088/statm: 46749 41207 68 164 0 46584 0
[pid=5088/tid=5089] ppid=5086 vsize=186996 CPUtime=0.07
/proc/5088/task/5089/stat : 5089 (satake) S 5086 5088 11369 0 -1 4202560 1240 0 0 0 6 1 0 0 16 0 5 0 1129619201 191483904 41207 4294967295 134512640 135180984 3220499104 3086807056 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=5088/tid=5090] ppid=5086 vsize=186996 CPUtime=3.05
/proc/5088/task/5090/stat : 5090 (satake) R 5086 5088 11369 0 -1 4202560 17952 0 0 0 292 13 0 0 17 0 5 0 1129619201 191483904 41207 4294967295 134512640 135180984 3220499104 3086741360 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5088/tid=5091] ppid=5086 vsize=186996 CPUtime=3.07
/proc/5088/task/5091/stat : 5091 (satake) R 5086 5088 11369 0 -1 4202560 17771 0 0 0 283 24 0 0 17 0 5 0 1129619201 191483904 41207 4294967295 134512640 135180984 3220499104 3086675816 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5088/tid=5092] ppid=5086 vsize=186996 CPUtime=3.05
/proc/5088/task/5092/stat : 5092 (satake) R 5086 5088 11369 0 -1 4202560 18080 0 0 0 287 18 0 0 17 0 5 0 1129619201 191483904 41207 4294967295 134512640 135180984 3220499104 3086610224 134523615 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.24
Current children cumulated vsize (KiB) 186996

[startup+6.30152 s]
/proc/loadavg: 2.78 2.95 2.98 4/120 5094
/proc/meminfo: memFree=2773184/3368532 swapFree=1941392/1959888
[pid=5088] ppid=5086 vsize=187128 CPUtime=18.89
/proc/5088/stat : 5088 (satake) S 5086 5088 11369 0 -1 4202496 55209 0 0 0 1822 67 0 0 18 0 5 0 1129619201 191619072 41262 4294967295 134512640 135180984 3220499104 3220498540 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/5088/statm: 46782 41262 68 164 0 46617 0
[pid=5088/tid=5089] ppid=5086 vsize=187128 CPUtime=0.14
/proc/5088/task/5089/stat : 5089 (satake) S 5086 5088 11369 0 -1 4202560 1240 0 0 0 7 7 0 0 16 0 5 0 1129619201 191619072 41262 4294967295 134512640 135180984 3220499104 3086807056 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=5088/tid=5090] ppid=5086 vsize=187128 CPUtime=6.24
/proc/5088/task/5090/stat : 5090 (satake) R 5086 5088 11369 0 -1 4202560 17975 0 0 0 611 13 0 0 22 0 5 0 1129619201 191619072 41262 4294967295 134512640 135180984 3220499104 3086741356 134520875 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5088/tid=5091] ppid=5086 vsize=187128 CPUtime=6.27
/proc/5088/task/5091/stat : 5091 (satake) R 5086 5088 11369 0 -1 4202560 17776 0 0 0 600 27 0 0 23 0 5 0 1129619201 191619072 41262 4294967295 134512640 135180984 3220499104 3086675820 134520661 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5088/tid=5092] ppid=5086 vsize=187128 CPUtime=6.24
/proc/5088/task/5092/stat : 5092 (satake) R 5086 5088 11369 0 -1 4202560 18107 0 0 0 604 20 0 0 22 0 5 0 1129619201 191619072 41262 4294967295 134512640 135180984 3220499104 3086610288 134528211 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 18.89
Current children cumulated vsize (KiB) 187128

[startup+12.7013 s]
/proc/loadavg: 2.80 2.95 2.98 4/120 5094
/proc/meminfo: memFree=2771440/3368532 swapFree=1941392/1959888
[pid=5088] ppid=5086 vsize=188480 CPUtime=38.2
/proc/5088/stat : 5088 (satake) S 5086 5088 11369 0 -1 4202496 55697 0 0 0 3735 85 0 0 18 0 5 0 1129619201 193003520 41750 4294967295 134512640 135180984 3220499104 3220498540 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/5088/statm: 47120 41750 68 164 0 46955 0
[pid=5088/tid=5089] ppid=5086 vsize=188480 CPUtime=0.27
/proc/5088/task/5089/stat : 5089 (satake) S 5086 5088 11369 0 -1 4202560 1245 0 0 0 10 17 0 0 16 0 5 0 1129619201 193003520 41750 4294967295 134512640 135180984 3220499104 3086807056 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=5088/tid=5090] ppid=5086 vsize=188480 CPUtime=12.63
/proc/5088/task/5090/stat : 5090 (satake) R 5086 5088 11369 0 -1 4202560 18180 0 0 0 1249 14 0 0 25 0 5 0 1129619201 193003520 41750 4294967295 134512640 135180984 3220499104 3086741360 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5088/tid=5091] ppid=5086 vsize=188480 CPUtime=12.67
/proc/5088/task/5091/stat : 5091 (satake) R 5086 5088 11369 0 -1 4202560 17928 0 0 0 1238 29 0 0 25 0 5 0 1129619201 193003520 41750 4294967295 134512640 135180984 3220499104 3086675840 134532624 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5088/tid=5092] ppid=5086 vsize=188480 CPUtime=12.63
/proc/5088/task/5092/stat : 5092 (satake) R 5086 5088 11369 0 -1 4202560 18233 0 0 0 1238 25 0 0 25 0 5 0 1129619201 193003520 41750 4294967295 134512640 135180984 3220499104 3086610288 134528568 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 38.2
Current children cumulated vsize (KiB) 188480

[startup+25.5108 s]
/proc/loadavg: 2.84 2.95 2.98 4/120 5280
/proc/meminfo: memFree=2764556/3368532 swapFree=1941392/1959888
[pid=5088] ppid=5086 vsize=194748 CPUtime=76.64
/proc/5088/stat : 5088 (satake) S 5086 5088 11369 0 -1 4202496 57299 0 0 0 7550 114 0 0 18 0 5 0 1129619201 199421952 43352 4294967295 134512640 135180984 3220499104 3220498540 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/5088/statm: 48687 43352 68 164 0 48522 0
[pid=5088/tid=5089] ppid=5086 vsize=194748 CPUtime=0.41
/proc/5088/task/5089/stat : 5089 (satake) S 5086 5088 11369 0 -1 4202560 1255 0 0 0 16 25 0 0 16 0 5 0 1129619201 199421952 43352 4294967295 134512640 135180984 3220499104 3086807056 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=5088/tid=5090] ppid=5086 vsize=194748 CPUtime=25.4
/proc/5088/task/5090/stat : 5090 (satake) R 5086 5088 11369 0 -1 4202560 18908 0 0 0 2517 23 0 0 25 0 5 0 1129619201 199421952 43352 4294967295 134512640 135180984 3220499104 3086741260 134518208 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5088/tid=5091] ppid=5086 vsize=194748 CPUtime=25.41
/proc/5088/task/5091/stat : 5091 (satake) R 5086 5088 11369 0 -1 4202560 18385 0 0 0 2508 33 0 0 25 0 5 0 1129619201 199421952 43352 4294967295 134512640 135180984 3220499104 3086675824 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5088/tid=5092] ppid=5086 vsize=194748 CPUtime=25.42
/proc/5088/task/5092/stat : 5092 (satake) R 5086 5088 11369 0 -1 4202560 18640 0 0 0 2509 33 0 0 25 0 5 0 1129619201 199421952 43352 4294967295 134512640 135180984 3220499104 3086610224 134523713 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 76.64
Current children cumulated vsize (KiB) 194748

[startup+51.1097 s]
/proc/loadavg: 2.89 2.95 2.98 4/120 5281
/proc/meminfo: memFree=2747396/3368532 swapFree=1941392/1959888
[pid=5088] ppid=5086 vsize=212104 CPUtime=153.58
/proc/5088/stat : 5088 (satake) S 5086 5088 11369 0 -1 4202496 61750 0 0 0 15215 143 0 0 18 0 5 0 1129619201 217194496 47803 4294967295 134512640 135180984 3220499104 3220498540 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/5088/statm: 53026 47803 68 164 0 52861 0
[pid=5088/tid=5089] ppid=5086 vsize=212104 CPUtime=0.57
/proc/5088/task/5089/stat : 5089 (satake) S 5086 5088 11369 0 -1 4202560 1261 0 0 0 18 39 0 0 16 0 5 0 1129619201 217194496 47803 4294967295 134512640 135180984 3220499104 3086807056 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=5088/tid=5090] ppid=5086 vsize=212104 CPUtime=51
/proc/5088/task/5090/stat : 5090 (satake) R 5086 5088 11369 0 -1 4202560 20304 0 0 0 5070 30 0 0 25 0 5 0 1129619201 217194496 47803 4294967295 134512640 135180984 3220499104 3086741232 134522706 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5088/tid=5091] ppid=5086 vsize=212104 CPUtime=51
/proc/5088/task/5091/stat : 5091 (satake) R 5086 5088 11369 0 -1 4202560 19931 0 0 0 5065 35 0 0 25 0 5 0 1129619201 217194496 47803 4294967295 134512640 135180984 3220499104 3086675824 134528592 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5088/tid=5092] ppid=5086 vsize=212104 CPUtime=51.01
/proc/5088/task/5092/stat : 5092 (satake) R 5086 5088 11369 0 -1 4202560 20143 0 0 0 5062 39 0 0 25 0 5 0 1129619201 217194496 47803 4294967295 134512640 135180984 3220499104 3086610192 134525399 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 153.58
Current children cumulated vsize (KiB) 212104

[startup+102.318 s]
/proc/loadavg: 2.95 2.96 2.98 4/120 5469

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

[pid=5088/tid=5090] ppid=5086 vsize=414076 CPUtime=521.8
/proc/5088/task/5090/stat : 5090 (satake) R 5086 5088 11369 0 -1 4202560 41082 0 0 0 52095 85 0 0 25 0 5 0 1129619201 424013824 97923 4294967295 134512640 135180984 3220499104 3086741360 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5088/tid=5091] ppid=5086 vsize=414076 CPUtime=522.06
/proc/5088/task/5091/stat : 5091 (satake) R 5086 5088 11369 0 -1 4202560 34296 0 0 0 52141 65 0 0 25 0 5 0 1129619201 424013824 97923 4294967295 134512640 135180984 3220499104 3086675728 134525468 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5088/tid=5092] ppid=5086 vsize=414076 CPUtime=521.74
/proc/5088/task/5092/stat : 5092 (satake) R 5086 5088 11369 0 -1 4202560 34847 0 0 0 52030 144 0 0 25 0 5 0 1129619201 424013824 97923 4294967295 134512640 135180984 3220499104 3086610304 134532624 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1567.89
Current children cumulated vsize (KiB) 414076

[startup+582.319 s]
/proc/loadavg: 2.99 2.97 2.98 4/120 6989
/proc/meminfo: memFree=2536580/3368532 swapFree=1941392/1959888
[pid=5088] ppid=5086 vsize=423712 CPUtime=1748.26
/proc/5088/stat : 5088 (satake) S 5086 5088 11369 0 -1 4202496 114148 0 0 0 174282 544 0 0 18 0 5 0 1129619201 433881088 100201 4294967295 134512640 135180984 3220499104 3220498540 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/5088/statm: 105928 100201 68 164 0 105763 0
[pid=5088/tid=5089] ppid=5086 vsize=423712 CPUtime=2.77
/proc/5088/task/5089/stat : 5089 (satake) S 5086 5088 11369 0 -1 4202560 1672 0 0 0 63 214 0 0 16 0 5 0 1129619201 433881088 100201 4294967295 134512640 135180984 3220499104 3086807056 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=5088/tid=5090] ppid=5086 vsize=423712 CPUtime=581.78
/proc/5088/task/5090/stat : 5090 (satake) R 5086 5088 11369 0 -1 4202560 41810 0 0 0 58078 100 0 0 25 0 5 0 1129619201 433881088 100201 4294967295 134512640 135180984 3220499104 3086741360 134528267 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5088/tid=5091] ppid=5086 vsize=423712 CPUtime=582.05
/proc/5088/task/5091/stat : 5091 (satake) R 5086 5088 11369 0 -1 4202560 35189 0 0 0 58133 72 0 0 25 0 5 0 1129619201 433881088 100201 4294967295 134512640 135180984 3220499104 3086675840 134532624 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5088/tid=5092] ppid=5086 vsize=423712 CPUtime=581.66
/proc/5088/task/5092/stat : 5092 (satake) R 5086 5088 11369 0 -1 4202560 35366 0 0 0 58008 158 0 0 25 0 5 0 1129619201 433881088 100201 4294967295 134512640 135180984 3220499104 3086610288 134528211 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1748.26
Current children cumulated vsize (KiB) 423712

[startup+642.316 s]
/proc/loadavg: 2.99 2.97 2.98 4/120 7177
/proc/meminfo: memFree=2523800/3368532 swapFree=1941392/1959888
[pid=5088] ppid=5086 vsize=436428 CPUtime=1928.58
/proc/5088/stat : 5088 (satake) S 5086 5088 11369 0 -1 4202496 117243 0 0 0 192241 617 0 0 18 0 5 0 1129619201 446902272 103296 4294967295 134512640 135180984 3220499104 3220498540 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/5088/statm: 109107 103296 68 164 0 108942 0
[pid=5088/tid=5089] ppid=5086 vsize=436428 CPUtime=3.27
/proc/5088/task/5089/stat : 5089 (satake) S 5086 5088 11369 0 -1 4202560 1847 0 0 0 79 248 0 0 16 0 5 0 1129619201 446902272 103296 4294967295 134512640 135180984 3220499104 3086807056 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=5088/tid=5090] ppid=5086 vsize=436428 CPUtime=641.73
/proc/5088/task/5090/stat : 5090 (satake) R 5086 5088 11369 0 -1 4202560 42505 0 0 0 64057 116 0 0 25 0 5 0 1129619201 446902272 103296 4294967295 134512640 135180984 3220499104 3086741312 134527257 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5088/tid=5091] ppid=5086 vsize=436428 CPUtime=642.04
/proc/5088/task/5091/stat : 5091 (satake) R 5086 5088 11369 0 -1 4202560 36793 0 0 0 64123 81 0 0 25 0 5 0 1129619201 446902272 103296 4294967295 134512640 135180984 3220499104 3086675792 134520035 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5088/tid=5092] ppid=5086 vsize=436428 CPUtime=641.54
/proc/5088/task/5092/stat : 5092 (satake) R 5086 5088 11369 0 -1 4202560 35987 0 0 0 63982 172 0 0 25 0 5 0 1129619201 446902272 103296 4294967295 134512640 135180984 3220499104 3086610288 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1928.58
Current children cumulated vsize (KiB) 436428

[startup+702.304 s]
/proc/loadavg: 3.04 2.99 2.98 4/120 7367
/proc/meminfo: memFree=2511880/3368532 swapFree=1941392/1959888
[pid=5088] ppid=5086 vsize=449096 CPUtime=2108.81
/proc/5088/stat : 5088 (satake) S 5086 5088 11369 0 -1 4202496 120412 0 0 0 210196 685 0 0 18 0 5 0 1129619201 459874304 106465 4294967295 134512640 135180984 3220499104 3220498540 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/5088/statm: 112274 106465 68 164 0 112109 0
[pid=5088/tid=5089] ppid=5086 vsize=449096 CPUtime=3.69
/proc/5088/task/5089/stat : 5089 (satake) S 5086 5088 11369 0 -1 4202560 1949 0 0 0 88 281 0 0 16 0 5 0 1129619201 459874304 106466 4294967295 134512640 135180984 3220499104 3086807056 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=5088/tid=5090] ppid=5086 vsize=449096 CPUtime=701.7
/proc/5088/task/5090/stat : 5090 (satake) R 5086 5088 11369 0 -1 4202560 43151 0 0 0 70038 132 0 0 25 0 5 0 1129619201 459874304 106466 4294967295 134512640 135180984 3220499104 3086741360 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5088/tid=5091] ppid=5086 vsize=449096 CPUtime=702
/proc/5088/task/5091/stat : 5091 (satake) R 5086 5088 11369 0 -1 4202560 37872 0 0 0 70114 86 0 0 25 0 5 0 1129619201 459874304 106466 4294967295 134512640 135180984 3220499104 3086675816 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5088/tid=5092] ppid=5086 vsize=449096 CPUtime=701.42
/proc/5088/task/5092/stat : 5092 (satake) R 5086 5088 11369 0 -1 4202560 37330 0 0 0 69956 186 0 0 25 0 5 0 1129619201 459874304 106466 4294967295 134512640 135180984 3220499104 3086610120 134675846 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2108.81
Current children cumulated vsize (KiB) 449096

[startup+762.321 s]
/proc/loadavg: 3.01 2.99 2.98 4/120 7553
/proc/meminfo: memFree=2506828/3368532 swapFree=1941392/1959888
[pid=5088] ppid=5086 vsize=453224 CPUtime=2289
/proc/5088/stat : 5088 (satake) S 5086 5088 11369 0 -1 4202496 121251 0 0 0 228171 729 0 0 18 0 5 0 1129619201 464101376 107304 4294967295 134512640 135180984 3220499104 3220498540 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/5088/statm: 113306 107304 68 164 0 113141 0
[pid=5088/tid=5089] ppid=5086 vsize=453224 CPUtime=3.97
/proc/5088/task/5089/stat : 5089 (satake) S 5086 5088 11369 0 -1 4202560 1987 0 0 0 95 302 0 0 16 0 5 0 1129619201 464101376 107304 4294967295 134512640 135180984 3220499104 3086807056 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=5088/tid=5090] ppid=5086 vsize=453224 CPUtime=761.66
/proc/5088/task/5090/stat : 5090 (satake) R 5086 5088 11369 0 -1 4202560 43345 0 0 0 76026 140 0 0 25 0 5 0 1129619201 464101376 107304 4294967295 134512640 135180984 3220499104 3086741296 134523641 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5088/tid=5091] ppid=5086 vsize=453224 CPUtime=762.01
/proc/5088/task/5091/stat : 5091 (satake) R 5086 5088 11369 0 -1 4202560 38210 0 0 0 76111 90 0 0 25 0 5 0 1129619201 464101376 107304 4294967295 134512640 135180984 3220499104 3086675824 134528549 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5088/tid=5092] ppid=5086 vsize=453224 CPUtime=761.36
/proc/5088/task/5092/stat : 5092 (satake) R 5086 5088 11369 0 -1 4202560 37598 0 0 0 75939 197 0 0 25 0 5 0 1129619201 464101376 107304 4294967295 134512640 135180984 3220499104 3086610224 134527637 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2289
Current children cumulated vsize (KiB) 453224

[startup+822.309 s]
/proc/loadavg: 3.00 2.99 2.98 4/120 7752
/proc/meminfo: memFree=2505664/3368532 swapFree=1941392/1959888
[pid=5088] ppid=5086 vsize=453364 CPUtime=2469.2
/proc/5088/stat : 5088 (satake) S 5086 5088 11369 0 -1 4202496 121331 0 0 0 246113 807 0 0 18 0 5 0 1129619201 464244736 107384 4294967295 134512640 135180984 3220499104 3220498540 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/5088/statm: 113341 107384 68 164 0 113176 0
[pid=5088/tid=5089] ppid=5086 vsize=453364 CPUtime=4.45
/proc/5088/task/5089/stat : 5089 (satake) S 5086 5088 11369 0 -1 4202560 2013 0 0 0 106 339 0 0 16 0 5 0 1129619201 464244736 107384 4294967295 134512640 135180984 3220499104 3086807056 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=5088/tid=5090] ppid=5086 vsize=453364 CPUtime=821.58
/proc/5088/task/5090/stat : 5090 (satake) R 5086 5088 11369 0 -1 4202560 43348 0 0 0 82001 157 0 0 25 0 5 0 1129619201 464244736 107384 4294967295 134512640 135180984 3220499104 3086741328 134519935 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5088/tid=5091] ppid=5086 vsize=453364 CPUtime=821.9
/proc/5088/task/5091/stat : 5091 (satake) R 5086 5088 11369 0 -1 4202560 38259 0 0 0 82094 96 0 0 25 0 5 0 1129619201 464244736 107384 4294967295 134512640 135180984 3220499104 3086675824 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5088/tid=5092] ppid=5086 vsize=453364 CPUtime=821.27
/proc/5088/task/5092/stat : 5092 (satake) R 5086 5088 11369 0 -1 4202560 37600 0 0 0 81912 215 0 0 25 0 5 0 1129619201 464244736 107384 4294967295 134512640 135180984 3220499104 3086610288 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2469.2
Current children cumulated vsize (KiB) 453364

[startup+882.307 s]
/proc/loadavg: 3.00 2.99 2.98 4/120 7942
/proc/meminfo: memFree=2504968/3368532 swapFree=1941392/1959888
[pid=5088] ppid=5086 vsize=453564 CPUtime=2649.6
/proc/5088/stat : 5088 (satake) S 5086 5088 11369 0 -1 4202496 121442 0 0 0 264060 900 0 0 18 0 5 0 1129619201 464449536 107495 4294967295 134512640 135180984 3220499104 3220498540 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/5088/statm: 113391 107495 68 164 0 113226 0
[pid=5088/tid=5089] ppid=5086 vsize=453564 CPUtime=5.03
/proc/5088/task/5089/stat : 5089 (satake) S 5086 5088 11369 0 -1 4202560 2052 0 0 0 121 382 0 0 16 0 5 0 1129619201 464449536 107495 4294967295 134512640 135180984 3220499104 3086807056 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=5088/tid=5090] ppid=5086 vsize=453564 CPUtime=881.5
/proc/5088/task/5090/stat : 5090 (satake) R 5086 5088 11369 0 -1 4202560 43349 0 0 0 87973 177 0 0 25 0 5 0 1129619201 464449536 107495 4294967295 134512640 135180984 3220499104 3086741424 134532460 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5088/tid=5091] ppid=5086 vsize=453564 CPUtime=881.88
/proc/5088/task/5091/stat : 5091 (satake) R 5086 5088 11369 0 -1 4202560 38316 0 0 0 88081 107 0 0 25 0 5 0 1129619201 464449536 107495 4294967295 134512640 135180984 3220499104 3086675760 134523641 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5088/tid=5092] ppid=5086 vsize=453564 CPUtime=881.19
/proc/5088/task/5092/stat : 5092 (satake) R 5086 5088 11369 0 -1 4202560 37614 0 0 0 87885 234 0 0 25 0 5 0 1129619201 464449536 107495 4294967295 134512640 135180984 3220499104 3086610224 134523740 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2649.6
Current children cumulated vsize (KiB) 453564

[startup+942.314 s]
/proc/loadavg: 3.00 2.99 2.98 4/120 8134
/proc/meminfo: memFree=2504168/3368532 swapFree=1941392/1959888
[pid=5088] ppid=5086 vsize=453888 CPUtime=2829.9
/proc/5088/stat : 5088 (satake) S 5086 5088 11369 0 -1 4202496 121597 0 0 0 281975 1015 0 0 18 0 5 0 1129619201 464781312 107650 4294967295 134512640 135180984 3220499104 3220498540 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/5088/statm: 113472 107650 68 164 0 113307 0
[pid=5088/tid=5089] ppid=5086 vsize=453888 CPUtime=5.67
/proc/5088/task/5089/stat : 5089 (satake) S 5086 5088 11369 0 -1 4202560 2117 0 0 0 134 433 0 0 16 0 5 0 1129619201 464781312 107650 4294967295 134512640 135180984 3220499104 3086807056 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=5088/tid=5090] ppid=5086 vsize=453888 CPUtime=941.46
/proc/5088/task/5090/stat : 5090 (satake) R 5086 5088 11369 0 -1 4202560 43364 0 0 0 93948 198 0 0 25 0 5 0 1129619201 464781312 107650 4294967295 134512640 135180984 3220499104 3086741360 134528267 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5088/tid=5091] ppid=5086 vsize=453888 CPUtime=941.85
/proc/5088/task/5091/stat : 5091 (satake) R 5086 5088 11369 0 -1 4202560 38377 0 0 0 94068 117 0 0 25 0 5 0 1129619201 464781312 107650 4294967295 134512640 135180984 3220499104 3086675824 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5088/tid=5092] ppid=5086 vsize=453888 CPUtime=940.92
/proc/5088/task/5092/stat : 5092 (satake) R 5086 5088 11369 0 -1 4202560 37628 0 0 0 93825 267 0 0 25 0 5 0 1129619201 464781312 107650 4294967295 134512640 135180984 3220499104 3086610224 134523641 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2829.9
Current children cumulated vsize (KiB) 453888



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 3.00 2.99 2.98 4/120 8322
/proc/meminfo: memFree=2503588/3368532 swapFree=1941392/1959888
[pid=5088] ppid=5086 vsize=454776 CPUtime=3003.15
/proc/5088/stat : 5088 (satake) S 5086 5088 11369 0 -1 4202496 121776 0 0 0 299200 1115 0 0 18 0 5 0 1129619201 465690624 107829 4294967295 134512640 135180984 3220499104 3220498540 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/5088/statm: 113694 107829 68 164 0 113529 0
[pid=5088/tid=5089] ppid=5086 vsize=454776 CPUtime=6.29
/proc/5088/task/5089/stat : 5089 (satake) S 5086 5088 11369 0 -1 4202560 2186 0 0 0 142 487 0 0 15 0 5 0 1129619201 465690624 107829 4294967295 134512640 135180984 3220499104 3086807056 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=5088/tid=5090] ppid=5086 vsize=454776 CPUtime=999.1
/proc/5088/task/5090/stat : 5090 (satake) R 5086 5088 11369 0 -1 4202560 43380 0 0 0 99699 211 0 0 25 0 5 0 1129619201 465690624 107829 4294967295 134512640 135180984 3220499104 3086741316 134579745 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5088/tid=5091] ppid=5086 vsize=454776 CPUtime=999.46
/proc/5088/task/5091/stat : 5091 (satake) R 5086 5088 11369 0 -1 4202560 38444 0 0 0 99812 134 0 0 25 0 5 0 1129619201 465690624 107829 4294967295 134512640 135180984 3220499104 3086675768 134579745 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5088/tid=5092] ppid=5086 vsize=454776 CPUtime=998.3
/proc/5088/task/5092/stat : 5092 (satake) R 5086 5088 11369 0 -1 4202560 37655 0 0 0 99547 283 0 0 25 0 5 0 1129619201 465690624 107829 4294967295 134512640 135180984 3220499104 3086610288 134528267 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3003.15
Current children cumulated vsize (KiB) 454776

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.06
CPU time (s): 3003.23
CPU user time (s): 2992.06
CPU system time (s): 11.17
CPU usage (%): 300.306
Max. virtual memory (cumulated for all children) (KiB): 454776

deleting IPC queue 25690112
deleting IPC queue 25722881
deleting IPC queue 25755650
deleting IPC queue 25788419
deleting IPC queue 25821188
deleting IPC queue 25853957
deleting IPC queue 25886726
deleting IPC queue 25919495
deleting IPC queue 25952264
deleting IPC queue 25985033
deleting IPC queue 26017802
deleting IPC queue 26050571
deleting IPC queue 26083340
deleting IPC queue 26116109
deleting IPC queue 26148878
deleting IPC queue 26181647

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2992.06
system time used= 11.17
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121776
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= 323879
involuntary context switches= 67818

runsolver used 0.01 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 04:09:53
IDJOB=1780630
IDBENCH=71039
IDSOLVER=629
FILE ID=/1780630-1243649393
PBS_JOBID=
Free space on /tmp= 15712 MiB

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

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

MD5SUM BENCH= bcbcc9a4e4a7e3ebed9eeaa393ebdc32
RANDOM SEED= 2062308051

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:       2936752 kB
Buffers:         49516 kB
Cached:         295752 kB
SwapCached:       4320 kB
Active:         159252 kB
Inactive:       196556 kB
HighTotal:     2489216 kB
HighFree:      2180140 kB
LowTotal:       879316 kB
LowFree:        756612 kB
SwapTotal:     1959888 kB
SwapFree:      1941392 kB
Dirty:           19544 kB
Writeback:           0 kB
AnonPages:        9356 kB
Mapped:           4296 kB
Slab:            64696 kB
SReclaimable:    56056 kB
SUnreclaim:       8640 kB
PageTables:        748 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= 15712 MiB
End job on  at 2009-05-30 04:26:36