Trace number 1776355

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.33 1000.04

General information on the benchmark

Nameindustrial/grieu/
vmpc_29.cnf
MD5SUM1e81246225c81a67548d334d1dfcc24b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark113.29
Satisfiable
(Un)Satisfiability was proved
Number of variables841
Number of clauses120147
Sum of the clauses size314766
Maximum clause length29
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 247183
Number of clauses of size 372906
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 558

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-1776355-1243636020/watcher-1776355-1243636020 -o /tmp/evaluation-result-1776355-1243636020/solver-1776355-1243636020 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776355-1243636020.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: 3.01 3.00 2.93 3/99 5893
/proc/meminfo: memFree=3176540/3368532 swapFree=1953580/1959888
[pid=5893] ppid=5891 vsize=3084 CPUtime=0.01
/proc/5893/stat : 5893 (satake) S 5891 5893 21929 0 -1 4202496 622 0 0 0 0 1 0 0 18 0 5 0 1128266393 3158016 579 4294967295 134512640 135180984 3216465616 3216465052 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5893/statm: 771 579 63 164 0 606 0
[pid=5893/tid=5894] ppid=5891 vsize=3224 CPUtime=0
/proc/5893/task/5894/stat : 5894 (satake) S 5891 5893 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1128266394 3301376 597 4294967295 134512640 135180984 3216465616 3086549008 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=5893/tid=5895] ppid=5891 vsize=3224 CPUtime=0.01
/proc/5893/task/5895/stat : 5895 (satake) R 5891 5893 21929 0 -1 4202560 84 0 0 0 0 1 0 0 19 0 5 0 1128266394 3301376 598 4294967295 134512640 135180984 3216465616 3086483748 134583077 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5893/tid=5896] ppid=5891 vsize=3224 CPUtime=0
/proc/5893/task/5896/stat : 5896 (satake) R 5891 5893 21929 0 -1 4202560 440 0 0 0 0 0 0 0 19 0 5 0 1128266394 3301376 598 4294967295 134512640 135180984 3216465616 3086417892 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5893/tid=5897] ppid=5891 vsize=3224 CPUtime=0
/proc/5893/task/5897/stat : 5897 (satake) R 5891 5893 21929 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1128266394 3301376 598 4294967295 134512640 135180984 3216465616 3086353220 134705812 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.041427 s]
/proc/loadavg: 3.01 3.00 2.93 3/99 5893
/proc/meminfo: memFree=3176540/3368532 swapFree=1953580/1959888
[pid=5893] ppid=5891 vsize=9868 CPUtime=0.08
/proc/5893/stat : 5893 (satake) S 5891 5893 21929 0 -1 4202496 2036 0 0 0 7 1 0 0 18 0 5 0 1128266393 10104832 1993 4294967295 134512640 135180984 3216465616 3216465052 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5893/statm: 2467 1993 63 164 0 2302 0
[pid=5893/tid=5894] ppid=5891 vsize=9868 CPUtime=0
/proc/5893/task/5894/stat : 5894 (satake) S 5891 5893 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1128266394 10104832 1993 4294967295 134512640 135180984 3216465616 3086549008 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=5893/tid=5895] ppid=5891 vsize=9868 CPUtime=0.04
/proc/5893/task/5895/stat : 5895 (satake) D 5891 5893 21929 0 -1 4202560 811 0 0 0 3 1 0 0 19 0 5 0 1128266394 10104832 1993 4294967295 134512640 135180984 3216465616 3086483536 134702260 0 0 0 0 3223098951 0 0 -1 1 0 0 0
[pid=5893/tid=5896] ppid=5891 vsize=9868 CPUtime=0.04
/proc/5893/task/5896/stat : 5896 (satake) R 5891 5893 21929 0 -1 4202560 818 0 0 0 4 0 0 0 19 0 5 0 1128266394 10104832 1993 4294967295 134512640 135180984 3216465616 3086418200 134513845 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5893/tid=5897] ppid=5891 vsize=11524 CPUtime=0
/proc/5893/task/5897/stat : 5897 (satake) R 5891 5893 21929 0 -1 4202560 461 0 0 0 0 0 0 0 20 0 5 0 1128266394 11800576 2194 4294967295 134512640 135180984 3216465616 3086352512 134691935 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9868

[startup+0.13134 s]
/proc/loadavg: 3.01 3.00 2.93 3/99 5893
/proc/meminfo: memFree=3176540/3368532 swapFree=1953580/1959888
[pid=5893] ppid=5891 vsize=16708 CPUtime=0.34
/proc/5893/stat : 5893 (satake) S 5891 5893 21929 0 -1 4202496 4546 0 0 0 31 3 0 0 18 0 5 0 1128266393 17108992 3673 4294967295 134512640 135180984 3216465616 3216465052 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5893/statm: 4177 3673 66 164 0 4012 0
[pid=5893/tid=5894] ppid=5891 vsize=16708 CPUtime=0
/proc/5893/task/5894/stat : 5894 (satake) S 5891 5893 21929 0 -1 4202560 21 0 0 0 0 0 0 0 18 0 5 0 1128266394 17108992 3673 4294967295 134512640 135180984 3216465616 3086549008 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=5893/tid=5895] ppid=5891 vsize=16708 CPUtime=0.13
/proc/5893/task/5895/stat : 5895 (satake) R 5891 5893 21929 0 -1 4202560 1591 0 0 0 12 1 0 0 19 0 5 0 1128266394 17108992 3673 4294967295 134512640 135180984 3216465616 3086483304 134520863 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5893/tid=5896] ppid=5891 vsize=16708 CPUtime=0.13
/proc/5893/task/5896/stat : 5896 (satake) R 5891 5893 21929 0 -1 4202560 1429 0 0 0 12 1 0 0 19 0 5 0 1128266394 17108992 3674 4294967295 134512640 135180984 3216465616 3086417776 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5893/tid=5897] ppid=5891 vsize=16708 CPUtime=0.08
/proc/5893/task/5897/stat : 5897 (satake) R 5891 5893 21929 0 -1 4202560 1396 0 0 0 7 1 0 0 19 0 5 0 1128266394 17108992 3674 4294967295 134512640 135180984 3216465616 3086352472 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 16708

[startup+0.301321 s]
/proc/loadavg: 3.01 3.00 2.93 3/99 5893
/proc/meminfo: memFree=3176540/3368532 swapFree=1953580/1959888
[pid=5893] ppid=5891 vsize=17356 CPUtime=0.85
/proc/5893/stat : 5893 (satake) S 5891 5893 21929 0 -1 4202496 4878 0 0 0 78 7 0 0 18 0 5 0 1128266393 17772544 3590 4294967295 134512640 135180984 3216465616 3216465052 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5893/statm: 4339 3590 68 164 0 4174 0
[pid=5893/tid=5894] ppid=5891 vsize=17356 CPUtime=0.04
/proc/5893/task/5894/stat : 5894 (satake) S 5891 5893 21929 0 -1 4202560 27 0 0 0 0 4 0 0 16 0 5 0 1128266394 17772544 3590 4294967295 134512640 135180984 3216465616 3086549008 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=5893/tid=5895] ppid=5891 vsize=17356 CPUtime=0.3
/proc/5893/task/5895/stat : 5895 (satake) R 5891 5893 21929 0 -1 4202560 1653 0 0 0 29 1 0 0 19 0 5 0 1128266394 17772544 3590 4294967295 134512640 135180984 3216465616 3086483264 134527285 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5893/tid=5896] ppid=5891 vsize=17356 CPUtime=0.26
/proc/5893/task/5896/stat : 5896 (satake) R 5891 5893 21929 0 -1 4202560 1457 0 0 0 25 1 0 0 19 0 5 0 1128266394 17772544 3590 4294967295 134512640 135180984 3216465616 3086417776 134528562 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5893/tid=5897] ppid=5891 vsize=17356 CPUtime=0.25
/proc/5893/task/5897/stat : 5897 (satake) R 5891 5893 21929 0 -1 4202560 1631 0 0 0 24 1 0 0 20 0 5 0 1128266394 17772544 3590 4294967295 134512640 135180984 3216465616 3086352348 134519884 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 17356

[startup+0.701283 s]
/proc/loadavg: 3.01 3.00 2.93 3/99 5893
/proc/meminfo: memFree=3176540/3368532 swapFree=1953580/1959888
[pid=5893] ppid=5891 vsize=18016 CPUtime=2.05
/proc/5893/stat : 5893 (satake) S 5891 5893 21929 0 -1 4202496 5343 0 0 0 194 11 0 0 18 0 5 0 1128266393 18448384 4055 4294967295 134512640 135180984 3216465616 3216465052 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5893/statm: 4504 4055 68 164 0 4339 0
[pid=5893/tid=5894] ppid=5891 vsize=18016 CPUtime=0.06
/proc/5893/task/5894/stat : 5894 (satake) S 5891 5893 21929 0 -1 4202560 37 0 0 0 0 6 0 0 15 0 5 0 1128266394 18448384 4056 4294967295 134512640 135180984 3216465616 3086549008 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=5893/tid=5895] ppid=5891 vsize=18016 CPUtime=0.7
/proc/5893/task/5895/stat : 5895 (satake) R 5891 5893 21929 0 -1 4202560 1846 0 0 0 69 1 0 0 20 0 5 0 1128266394 18448384 4056 4294967295 134512640 135180984 3216465616 3086483312 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5893/tid=5896] ppid=5891 vsize=18016 CPUtime=0.64
/proc/5893/task/5896/stat : 5896 (satake) R 5891 5893 21929 0 -1 4202560 1515 0 0 0 63 1 0 0 20 0 5 0 1128266394 18448384 4056 4294967295 134512640 135180984 3216465616 3086417712 134527501 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5893/tid=5897] ppid=5891 vsize=18016 CPUtime=0.65
/proc/5893/task/5897/stat : 5897 (satake) R 5891 5893 21929 0 -1 4202560 1836 0 0 0 62 3 0 0 20 0 5 0 1128266394 18448384 4056 4294967295 134512640 135180984 3216465616 3086352072 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 18016

[startup+1.51121 s]
/proc/loadavg: 3.01 3.00 2.93 4/104 5898
/proc/meminfo: memFree=3160500/3368532 swapFree=1953580/1959888
[pid=5893] ppid=5891 vsize=22148 CPUtime=4.48
/proc/5893/stat : 5893 (satake) S 5891 5893 21929 0 -1 4202496 6096 0 0 0 432 16 0 0 18 0 5 0 1128266393 22679552 4808 4294967295 134512640 135180984 3216465616 3216465052 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5893/statm: 5537 4808 68 164 0 5372 0
[pid=5893/tid=5894] ppid=5891 vsize=22148 CPUtime=0.1
/proc/5893/task/5894/stat : 5894 (satake) S 5891 5893 21929 0 -1 4202560 58 0 0 0 1 9 0 0 16 0 5 0 1128266394 22679552 4808 4294967295 134512640 135180984 3216465616 3086549008 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=5893/tid=5895] ppid=5891 vsize=22148 CPUtime=1.51
/proc/5893/task/5895/stat : 5895 (satake) R 5891 5893 21929 0 -1 4202560 2143 0 0 0 149 2 0 0 22 0 5 0 1128266394 22679552 4808 4294967295 134512640 135180984 3216465616 3086483248 134523862 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5893/tid=5896] ppid=5891 vsize=22148 CPUtime=1.41
/proc/5893/task/5896/stat : 5896 (satake) R 5891 5893 21929 0 -1 4202560 1662 0 0 0 140 1 0 0 22 0 5 0 1128266394 22679552 4808 4294967295 134512640 135180984 3216465616 3086417776 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5893/tid=5897] ppid=5891 vsize=22148 CPUtime=1.46
/proc/5893/task/5897/stat : 5897 (satake) R 5891 5893 21929 0 -1 4202560 2123 0 0 0 142 4 0 0 23 0 5 0 1128266394 22679552 4808 4294967295 134512640 135180984 3216465616 3086352240 134528869 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.48
Current children cumulated vsize (KiB) 22148

[startup+3.11105 s]
/proc/loadavg: 3.01 3.00 2.93 4/104 5898
/proc/meminfo: memFree=3156652/3368532 swapFree=1953580/1959888
[pid=5893] ppid=5891 vsize=26392 CPUtime=9.28
/proc/5893/stat : 5893 (satake) S 5891 5893 21929 0 -1 4202496 7394 0 0 0 907 21 0 0 18 0 5 0 1128266393 27025408 6106 4294967295 134512640 135180984 3216465616 3216465052 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5893/statm: 6598 6106 68 164 0 6433 0
[pid=5893/tid=5894] ppid=5891 vsize=26392 CPUtime=0.12
/proc/5893/task/5894/stat : 5894 (satake) S 5891 5893 21929 0 -1 4202560 71 0 0 0 1 11 0 0 16 0 5 0 1128266394 27025408 6106 4294967295 134512640 135180984 3216465616 3086549008 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=5893/tid=5895] ppid=5891 vsize=26392 CPUtime=3.11
/proc/5893/task/5895/stat : 5895 (satake) R 5891 5893 21929 0 -1 4202560 2616 0 0 0 308 3 0 0 25 0 5 0 1128266394 27025408 6106 4294967295 134512640 135180984 3216465616 3086483312 134528648 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5893/tid=5896] ppid=5891 vsize=26392 CPUtime=2.99
/proc/5893/task/5896/stat : 5896 (satake) R 5891 5893 21929 0 -1 4202560 1965 0 0 0 297 2 0 0 25 0 5 0 1128266394 27025408 6106 4294967295 134512640 135180984 3216465616 3086417772 134520661 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5893/tid=5897] ppid=5891 vsize=26392 CPUtime=3.06
/proc/5893/task/5897/stat : 5897 (satake) R 5891 5893 21929 0 -1 4202560 2632 0 0 0 301 5 0 0 25 0 5 0 1128266394 27025408 6106 4294967295 134512640 135180984 3216465616 3086352240 134528540 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9.28
Current children cumulated vsize (KiB) 26392

[startup+6.31075 s]
/proc/loadavg: 3.01 3.00 2.93 4/104 5898
/proc/meminfo: memFree=3147828/3368532 swapFree=1953580/1959888
[pid=5893] ppid=5891 vsize=34784 CPUtime=18.86
/proc/5893/stat : 5893 (satake) S 5891 5893 21929 0 -1 4202496 9235 0 0 0 1857 29 0 0 18 0 5 0 1128266393 35618816 7947 4294967295 134512640 135180984 3216465616 3216465052 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5893/statm: 8696 7947 68 164 0 8531 0
[pid=5893/tid=5894] ppid=5891 vsize=34784 CPUtime=0.16
/proc/5893/task/5894/stat : 5894 (satake) S 5891 5893 21929 0 -1 4202560 89 0 0 0 1 15 0 0 16 0 5 0 1128266394 35618816 7947 4294967295 134512640 135180984 3216465616 3086549008 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=5893/tid=5895] ppid=5891 vsize=34784 CPUtime=6.3
/proc/5893/task/5895/stat : 5895 (satake) R 5891 5893 21929 0 -1 4202560 3387 0 0 0 626 4 0 0 25 0 5 0 1128266394 35618816 7947 4294967295 134512640 135180984 3216465616 3086483312 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5893/tid=5896] ppid=5891 vsize=34784 CPUtime=6.14
/proc/5893/task/5896/stat : 5896 (satake) R 5891 5893 21929 0 -1 4202560 2323 0 0 0 611 3 0 0 25 0 5 0 1128266394 35618816 7947 4294967295 134512640 135180984 3216465616 3086417776 134528680 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5893/tid=5897] ppid=5891 vsize=34784 CPUtime=6.26
/proc/5893/task/5897/stat : 5897 (satake) R 5891 5893 21929 0 -1 4202560 3326 0 0 0 619 7 0 0 25 0 5 0 1128266394 35618816 7947 4294967295 134512640 135180984 3216465616 3086352072 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 18.86
Current children cumulated vsize (KiB) 34784

[startup+12.7201 s]
/proc/loadavg: 3.01 3.00 2.93 4/104 5898
/proc/meminfo: memFree=3136344/3368532 swapFree=1953580/1959888
[pid=5893] ppid=5891 vsize=45416 CPUtime=38.05
/proc/5893/stat : 5893 (satake) S 5891 5893 21929 0 -1 4202496 12005 0 0 0 3740 65 0 0 18 0 5 0 1128266393 46505984 10717 4294967295 134512640 135180984 3216465616 3216465052 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5893/statm: 11354 10717 68 164 0 11189 0
[pid=5893/tid=5894] ppid=5891 vsize=45416 CPUtime=0.38
/proc/5893/task/5894/stat : 5894 (satake) S 5891 5893 21929 0 -1 4202560 169 0 0 0 6 32 0 0 16 0 5 0 1128266394 46505984 10717 4294967295 134512640 135180984 3216465616 3086549008 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=5893/tid=5895] ppid=5891 vsize=45416 CPUtime=12.7
/proc/5893/task/5895/stat : 5895 (satake) R 5891 5893 21929 0 -1 4202560 4343 0 0 0 1262 8 0 0 25 0 5 0 1128266394 46505984 10717 4294967295 134512640 135180984 3216465616 3086483312 134528211 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5893/tid=5896] ppid=5891 vsize=45416 CPUtime=12.31
/proc/5893/task/5896/stat : 5896 (satake) R 5891 5893 21929 0 -1 4202560 3005 0 0 0 1222 9 0 0 25 0 5 0 1128266394 46505984 10717 4294967295 134512640 135180984 3216465616 3086417776 134528536 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5893/tid=5897] ppid=5891 vsize=45416 CPUtime=12.66
/proc/5893/task/5897/stat : 5897 (satake) R 5891 5893 21929 0 -1 4202560 4378 0 0 0 1250 16 0 0 25 0 5 0 1128266394 46505984 10717 4294967295 134512640 135180984 3216465616 3086352240 134528862 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 38.05
Current children cumulated vsize (KiB) 45416

[startup+25.5189 s]
/proc/loadavg: 3.01 3.00 2.93 4/104 5900
/proc/meminfo: memFree=3119088/3368532 swapFree=1953580/1959888
[pid=5893] ppid=5891 vsize=62612 CPUtime=76.44
/proc/5893/stat : 5893 (satake) S 5891 5893 21929 0 -1 4202496 16186 0 0 0 7543 101 0 0 18 0 5 0 1128266393 64114688 14898 4294967295 134512640 135180984 3216465616 3216465052 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5893/statm: 15653 14898 68 164 0 15488 0
[pid=5893/tid=5894] ppid=5891 vsize=62612 CPUtime=0.57
/proc/5893/task/5894/stat : 5894 (satake) S 5891 5893 21929 0 -1 4202560 276 0 0 0 14 43 0 0 15 0 5 0 1128266394 64114688 14898 4294967295 134512640 135180984 3216465616 3086549008 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=5893/tid=5895] ppid=5891 vsize=62612 CPUtime=25.5
/proc/5893/task/5895/stat : 5895 (satake) R 5891 5893 21929 0 -1 4202560 5676 0 0 0 2536 14 0 0 25 0 5 0 1128266394 64114688 14898 4294967295 134512640 135180984 3216465616 3086483280 134519935 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5893/tid=5896] ppid=5891 vsize=62612 CPUtime=24.92
/proc/5893/task/5896/stat : 5896 (satake) R 5891 5893 21929 0 -1 4202560 4025 0 0 0 2475 17 0 0 25 0 5 0 1128266394 64114688 14898 4294967295 134512640 135180984 3216465616 3086417776 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5893/tid=5897] ppid=5891 vsize=62612 CPUtime=25.45
/proc/5893/task/5897/stat : 5897 (satake) R 5891 5893 21929 0 -1 4202560 6099 0 0 0 2518 27 0 0 25 0 5 0 1128266394 64114688 14898 4294967295 134512640 135180984 3216465616 3086352236 134518208 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 76.44
Current children cumulated vsize (KiB) 62612

[startup+51.1165 s]
/proc/loadavg: 3.00 3.00 2.93 4/104 6084
/proc/meminfo: memFree=3096876/3368532 swapFree=1953580/1959888
[pid=5893] ppid=5891 vsize=85156 CPUtime=153.14
/proc/5893/stat : 5893 (satake) S 5891 5893 21929 0 -1 4202496 21633 0 0 0 15137 177 0 0 18 0 5 0 1128266393 87199744 20345 4294967295 134512640 135180984 3216465616 3216465052 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5893/statm: 21289 20345 68 164 0 21124 0
[pid=5893/tid=5894] ppid=5891 vsize=85156 CPUtime=1.04
/proc/5893/task/5894/stat : 5894 (satake) S 5891 5893 21929 0 -1 4202560 488 0 0 0 27 77 0 0 15 0 5 0 1128266394 87199744 20345 4294967295 134512640 135180984 3216465616 3086549008 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=5893/tid=5895] ppid=5891 vsize=85156 CPUtime=51.08
/proc/5893/task/5895/stat : 5895 (satake) R 5891 5893 21929 0 -1 4202560 7406 0 0 0 5086 22 0 0 25 0 5 0 1128266394 87199744 20345 4294967295 134512640 135180984 3216465616 3086483312 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5893/tid=5896] ppid=5891 vsize=85156 CPUtime=49.98
/proc/5893/task/5896/stat : 5896 (satake) R 5891 5893 21929 0 -1 4202560 5540 0 0 0 4971 27 0 0 25 0 5 0 1128266394 87199744 20345 4294967295 134512640 135180984 3216465616 3086417792 134532624 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5893/tid=5897] ppid=5891 vsize=85156 CPUtime=51.04
/proc/5893/task/5897/stat : 5897 (satake) R 5891 5893 21929 0 -1 4202560 8089 0 0 0 5053 51 0 0 25 0 5 0 1128266394 87199744 20345 4294967295 134512640 135180984 3216465616 3086352208 134519933 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 153.14
Current children cumulated vsize (KiB) 85156

[startup+102.312 s]
/proc/loadavg: 3.04 3.01 2.93 4/104 6272

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

[pid=5893/tid=5895] ppid=5891 vsize=200584 CPUtime=522.1
/proc/5893/task/5895/stat : 5895 (satake) R 5891 5893 21929 0 -1 4202560 15764 0 0 0 52116 94 0 0 25 0 5 0 1128266394 205398016 47487 4294967295 134512640 135180984 3216465616 3086483312 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5893/tid=5896] ppid=5891 vsize=200584 CPUtime=518.01
/proc/5893/task/5896/stat : 5896 (satake) R 5891 5893 21929 0 -1 4202560 13322 0 0 0 51618 183 0 0 25 0 5 0 1128266394 205398016 47487 4294967295 134512640 135180984 3216465616 3086417776 134528420 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5893/tid=5897] ppid=5891 vsize=200584 CPUtime=521.78
/proc/5893/task/5897/stat : 5897 (satake) R 5891 5893 21929 0 -1 4202560 18228 0 0 0 52019 159 0 0 25 0 5 0 1128266394 205398016 47487 4294967295 134512640 135180984 3216465616 3086352240 134528592 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1566.41
Current children cumulated vsize (KiB) 200584

[startup+582.316 s]
/proc/loadavg: 3.00 3.02 2.95 4/104 7785
/proc/meminfo: memFree=2977624/3368532 swapFree=1953580/1959888
[pid=5893] ppid=5891 vsize=210408 CPUtime=1746.57
/proc/5893/stat : 5893 (satake) S 5891 5893 21929 0 -1 4202496 51276 0 0 0 173845 812 0 0 18 0 5 0 1128266393 215457792 49988 4294967295 134512640 135180984 3216465616 3216465052 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5893/statm: 52602 49988 68 164 0 52437 0
[pid=5893/tid=5894] ppid=5891 vsize=210408 CPUtime=4.8
/proc/5893/task/5894/stat : 5894 (satake) S 5891 5893 21929 0 -1 4202560 1418 0 0 0 131 349 0 0 16 0 5 0 1128266394 215457792 49988 4294967295 134512640 135180984 3216465616 3086549008 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=5893/tid=5895] ppid=5891 vsize=210408 CPUtime=582.07
/proc/5893/task/5895/stat : 5895 (satake) R 5891 5893 21929 0 -1 4202560 16278 0 0 0 58104 103 0 0 25 0 5 0 1128266394 215457792 49988 4294967295 134512640 135180984 3216465616 3086483312 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5893/tid=5896] ppid=5891 vsize=210408 CPUtime=577.94
/proc/5893/task/5896/stat : 5896 (satake) R 5891 5893 21929 0 -1 4202560 13867 0 0 0 57598 196 0 0 25 0 5 0 1128266394 215457792 49988 4294967295 134512640 135180984 3216465616 3086417772 134518208 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5893/tid=5897] ppid=5891 vsize=210408 CPUtime=581.76
/proc/5893/task/5897/stat : 5897 (satake) R 5891 5893 21929 0 -1 4202560 19603 0 0 0 58012 164 0 0 25 0 5 0 1128266394 215457792 49988 4294967295 134512640 135180984 3216465616 3086352232 134518214 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1746.57
Current children cumulated vsize (KiB) 210408

[startup+642.31 s]
/proc/loadavg: 3.00 3.01 2.95 4/104 7971
/proc/meminfo: memFree=2962156/3368532 swapFree=1953580/1959888
[pid=5893] ppid=5891 vsize=224664 CPUtime=1926.8
/proc/5893/stat : 5893 (satake) S 5891 5893 21929 0 -1 4202496 55043 0 0 0 191783 897 0 0 18 0 5 0 1128266393 230055936 53755 4294967295 134512640 135180984 3216465616 3216465052 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5893/statm: 56166 53755 68 164 0 56001 0
[pid=5893/tid=5894] ppid=5891 vsize=224664 CPUtime=5.28
/proc/5893/task/5894/stat : 5894 (satake) S 5891 5893 21929 0 -1 4202560 1477 0 0 0 140 388 0 0 16 0 5 0 1128266394 230055936 53755 4294967295 134512640 135180984 3216465616 3086549008 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=5893/tid=5895] ppid=5891 vsize=224664 CPUtime=642
/proc/5893/task/5895/stat : 5895 (satake) R 5891 5893 21929 0 -1 4202560 18489 0 0 0 64078 122 0 0 25 0 5 0 1128266394 230055936 53755 4294967295 134512640 135180984 3216465616 3086483264 134527255 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5893/tid=5896] ppid=5891 vsize=224664 CPUtime=637.8
/proc/5893/task/5896/stat : 5896 (satake) R 5891 5893 21929 0 -1 4202560 13964 0 0 0 63565 215 0 0 25 0 5 0 1128266394 230055936 53755 4294967295 134512640 135180984 3216465616 3086417768 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5893/tid=5897] ppid=5891 vsize=224664 CPUtime=641.72
/proc/5893/task/5897/stat : 5897 (satake) R 5891 5893 21929 0 -1 4202560 21003 0 0 0 64000 172 0 0 25 0 5 0 1128266394 230055936 53755 4294967295 134512640 135180984 3216465616 3086352072 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1926.8
Current children cumulated vsize (KiB) 224664

[startup+702.314 s]
/proc/loadavg: 3.00 3.01 2.95 4/104 8160
/proc/meminfo: memFree=2957188/3368532 swapFree=1953580/1959888
[pid=5893] ppid=5891 vsize=229812 CPUtime=2106.66
/proc/5893/stat : 5893 (satake) S 5891 5893 21929 0 -1 4202496 56171 0 0 0 209732 934 0 0 18 0 5 0 1128266393 235327488 54883 4294967295 134512640 135180984 3216465616 3216465052 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5893/statm: 57453 54883 68 164 0 57288 0
[pid=5893/tid=5894] ppid=5891 vsize=229812 CPUtime=5.5
/proc/5893/task/5894/stat : 5894 (satake) S 5891 5893 21929 0 -1 4202560 1495 0 0 0 145 405 0 0 15 0 5 0 1128266394 235327488 54883 4294967295 134512640 135180984 3216465616 3086549008 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=5893/tid=5895] ppid=5891 vsize=229812 CPUtime=701.77
/proc/5893/task/5895/stat : 5895 (satake) R 5891 5893 21929 0 -1 4202560 18947 0 0 0 70052 125 0 0 25 0 5 0 1128266394 235327488 54883 4294967295 134512640 135180984 3216465616 3086483304 134519890 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5893/tid=5896] ppid=5891 vsize=229812 CPUtime=697.7
/proc/5893/task/5896/stat : 5896 (satake) R 5891 5893 21929 0 -1 4202560 14089 0 0 0 69550 220 0 0 25 0 5 0 1128266394 235327488 54883 4294967295 134512640 135180984 3216465616 3086417776 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5893/tid=5897] ppid=5891 vsize=229812 CPUtime=701.69
/proc/5893/task/5897/stat : 5897 (satake) R 5891 5893 21929 0 -1 4202560 21530 0 0 0 69985 184 0 0 25 0 5 0 1128266394 235327488 54883 4294967295 134512640 135180984 3216465616 3086352240 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2106.66
Current children cumulated vsize (KiB) 229812

[startup+762.309 s]
/proc/loadavg: 3.00 3.00 2.95 4/104 8347
/proc/meminfo: memFree=2954980/3368532 swapFree=1953580/1959888
[pid=5893] ppid=5891 vsize=233208 CPUtime=2286.49
/proc/5893/stat : 5893 (satake) S 5891 5893 21929 0 -1 4202496 56797 0 0 0 227671 978 0 0 18 0 5 0 1128266393 238804992 55509 4294967295 134512640 135180984 3216465616 3216465052 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5893/statm: 58302 55509 68 164 0 58137 0
[pid=5893/tid=5894] ppid=5891 vsize=233208 CPUtime=5.73
/proc/5893/task/5894/stat : 5894 (satake) S 5891 5893 21929 0 -1 4202560 1503 0 0 0 151 422 0 0 15 0 5 0 1128266394 238804992 55509 4294967295 134512640 135180984 3216465616 3086549008 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=5893/tid=5895] ppid=5891 vsize=233208 CPUtime=761.53
/proc/5893/task/5895/stat : 5895 (satake) R 5891 5893 21929 0 -1 4202560 19316 0 0 0 76022 131 0 0 25 0 5 0 1128266394 238804992 55509 4294967295 134512640 135180984 3216465616 3086483312 134528652 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5893/tid=5896] ppid=5891 vsize=233208 CPUtime=757.6
/proc/5893/task/5896/stat : 5896 (satake) R 5891 5893 21929 0 -1 4202560 14191 0 0 0 75528 232 0 0 25 0 5 0 1128266394 238804992 55509 4294967295 134512640 135180984 3216465616 3086417776 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5893/tid=5897] ppid=5891 vsize=233208 CPUtime=761.63
/proc/5893/task/5897/stat : 5897 (satake) R 5891 5893 21929 0 -1 4202560 21677 0 0 0 75970 193 0 0 25 0 5 0 1128266394 238804992 55509 4294967295 134512640 135180984 3216465616 3086352232 134518224 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2286.49
Current children cumulated vsize (KiB) 233208

[startup+822.303 s]
/proc/loadavg: 3.00 3.00 2.95 6/104 8536
/proc/meminfo: memFree=2952484/3368532 swapFree=1953580/1959888
[pid=5893] ppid=5891 vsize=235160 CPUtime=2466.33
/proc/5893/stat : 5893 (satake) S 5891 5893 21929 0 -1 4202496 57273 0 0 0 245586 1047 0 0 18 0 5 0 1128266393 240803840 55985 4294967295 134512640 135180984 3216465616 3216465052 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5893/statm: 58790 55985 68 164 0 58625 0
[pid=5893/tid=5894] ppid=5891 vsize=235160 CPUtime=6.15
/proc/5893/task/5894/stat : 5894 (satake) S 5891 5893 21929 0 -1 4202560 1512 0 0 0 163 452 0 0 16 0 5 0 1128266394 240803840 55985 4294967295 134512640 135180984 3216465616 3086549008 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=5893/tid=5895] ppid=5891 vsize=235160 CPUtime=821.44
/proc/5893/task/5895/stat : 5895 (satake) R 5891 5893 21929 0 -1 4202560 19338 0 0 0 81999 145 0 0 25 0 5 0 1128266394 240803840 55985 4294967295 134512640 135180984 3216465616 3086483312 134528641 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5893/tid=5896] ppid=5891 vsize=235160 CPUtime=817.52
/proc/5893/task/5896/stat : 5896 (satake) R 5891 5893 21929 0 -1 4202560 14498 0 0 0 81503 249 0 0 25 0 5 0 1128266394 240803840 55985 4294967295 134512640 135180984 3216465616 3086417776 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5893/tid=5897] ppid=5891 vsize=235160 CPUtime=821.22
/proc/5893/task/5897/stat : 5897 (satake) R 5891 5893 21929 0 -1 4202560 21815 0 0 0 81921 201 0 0 25 0 5 0 1128266394 240803840 55985 4294967295 134512640 135180984 3216465616 3086352236 134520036 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2466.33
Current children cumulated vsize (KiB) 235160

[startup+882.317 s]
/proc/loadavg: 3.03 3.01 2.96 4/104 8724
/proc/meminfo: memFree=2950904/3368532 swapFree=1953580/1959888
[pid=5893] ppid=5891 vsize=236552 CPUtime=2646.27
/proc/5893/stat : 5893 (satake) S 5891 5893 21929 0 -1 4202496 57679 0 0 0 263527 1100 0 0 18 0 5 0 1128266393 242229248 56391 4294967295 134512640 135180984 3216465616 3216465052 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5893/statm: 59138 56391 68 164 0 58973 0
[pid=5893/tid=5894] ppid=5891 vsize=236552 CPUtime=6.43
/proc/5893/task/5894/stat : 5894 (satake) S 5891 5893 21929 0 -1 4202560 1519 0 0 0 167 476 0 0 16 0 5 0 1128266394 242229248 56391 4294967295 134512640 135180984 3216465616 3086549008 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=5893/tid=5895] ppid=5891 vsize=236552 CPUtime=881.41
/proc/5893/task/5895/stat : 5895 (satake) R 5891 5893 21929 0 -1 4202560 19438 0 0 0 87988 153 0 0 25 0 5 0 1128266394 242229248 56391 4294967295 134512640 135180984 3216465616 3086483312 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5893/tid=5896] ppid=5891 vsize=236552 CPUtime=877.43
/proc/5893/task/5896/stat : 5896 (satake) R 5891 5893 21929 0 -1 4202560 14597 0 0 0 87479 264 0 0 25 0 5 0 1128266394 242229248 56391 4294967295 134512640 135180984 3216465616 3086417776 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5893/tid=5897] ppid=5891 vsize=236552 CPUtime=881
/proc/5893/task/5897/stat : 5897 (satake) R 5891 5893 21929 0 -1 4202560 22015 0 0 0 87893 207 0 0 25 0 5 0 1128266394 242229248 56391 4294967295 134512640 135180984 3216465616 3086352240 134528633 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2646.27
Current children cumulated vsize (KiB) 236552

[startup+942.312 s]
/proc/loadavg: 3.01 3.01 2.96 4/104 8910
/proc/meminfo: memFree=2946168/3368532 swapFree=1953580/1959888
[pid=5893] ppid=5891 vsize=242816 CPUtime=2826.2
/proc/5893/stat : 5893 (satake) S 5891 5893 21929 0 -1 4202496 59184 0 0 0 281477 1143 0 0 18 0 5 0 1128266393 248643584 57896 4294967295 134512640 135180984 3216465616 3216465052 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5893/statm: 60704 57896 68 164 0 60539 0
[pid=5893/tid=5894] ppid=5891 vsize=242816 CPUtime=6.67
/proc/5893/task/5894/stat : 5894 (satake) S 5891 5893 21929 0 -1 4202560 1540 0 0 0 175 492 0 0 16 0 5 0 1128266394 248643584 57896 4294967295 134512640 135180984 3216465616 3086549008 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=5893/tid=5895] ppid=5891 vsize=242816 CPUtime=941.39
/proc/5893/task/5895/stat : 5895 (satake) R 5891 5893 21929 0 -1 4202560 19621 0 0 0 93977 162 0 0 25 0 5 0 1128266394 248643584 57896 4294967295 134512640 135180984 3216465616 3086483312 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5893/tid=5896] ppid=5891 vsize=242816 CPUtime=937.33
/proc/5893/task/5896/stat : 5896 (satake) R 5891 5893 21929 0 -1 4202560 14879 0 0 0 93458 275 0 0 25 0 5 0 1128266394 248643584 57896 4294967295 134512640 135180984 3216465616 3086417712 134527499 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5893/tid=5897] ppid=5891 vsize=242816 CPUtime=940.81
/proc/5893/task/5897/stat : 5897 (satake) R 5891 5893 21929 0 -1 4202560 23034 0 0 0 93867 214 0 0 25 0 5 0 1128266394 248643584 57896 4294967295 134512640 135180984 3216465616 3086352240 134528633 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2826.2
Current children cumulated vsize (KiB) 242816



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 3.07 3.02 2.96 4/104 9102
/proc/meminfo: memFree=2937836/3368532 swapFree=1953580/1959888
[pid=5893] ppid=5891 vsize=251456 CPUtime=2999.26
/proc/5893/stat : 5893 (satake) S 5891 5893 21929 0 -1 4202496 61133 0 0 0 298733 1193 0 0 18 0 5 0 1128266393 257490944 59845 4294967295 134512640 135180984 3216465616 3216465052 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5893/statm: 62864 59845 68 164 0 62699 0
[pid=5893/tid=5894] ppid=5891 vsize=251456 CPUtime=6.96
/proc/5893/task/5894/stat : 5894 (satake) S 5891 5893 21929 0 -1 4202560 1582 0 0 0 183 513 0 0 16 0 5 0 1128266394 257490944 59845 4294967295 134512640 135180984 3216465616 3086549008 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=5893/tid=5895] ppid=5891 vsize=251456 CPUtime=999.02
/proc/5893/task/5895/stat : 5895 (satake) R 5891 5893 21929 0 -1 4202560 19722 0 0 0 99731 171 0 0 25 0 5 0 1128266394 257490944 59845 4294967295 134512640 135180984 3216465616 3086483312 134528633 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5893/tid=5896] ppid=5891 vsize=251456 CPUtime=994.8
/proc/5893/task/5896/stat : 5896 (satake) R 5891 5893 21929 0 -1 4202560 15515 0 0 0 99192 288 0 0 25 0 5 0 1128266394 257490944 59845 4294967295 134512640 135180984 3216465616 3086417768 134519890 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5893/tid=5897] ppid=5891 vsize=251456 CPUtime=998.48
/proc/5893/task/5897/stat : 5897 (satake) R 5891 5893 21929 0 -1 4202560 24204 0 0 0 99627 221 0 0 25 0 5 0 1128266394 257490944 59845 4294967295 134512640 135180984 3216465616 3086352176 134523762 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2999.26
Current children cumulated vsize (KiB) 251456

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.04
CPU time (s): 2999.33
CPU user time (s): 2987.39
CPU system time (s): 11.94
CPU usage (%): 299.921
Max. virtual memory (cumulated for all children) (KiB): 251456

deleting IPC queue 3670016
deleting IPC queue 3702785
deleting IPC queue 3735554
deleting IPC queue 3768323
deleting IPC queue 3801092
deleting IPC queue 3833861
deleting IPC queue 3866630
deleting IPC queue 3899399
deleting IPC queue 3932168
deleting IPC queue 3964937
deleting IPC queue 3997706
deleting IPC queue 4030475
deleting IPC queue 4063244
deleting IPC queue 4096013
deleting IPC queue 4128782
deleting IPC queue 4161551

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2987.39
system time used= 11.94
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61133
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= 869253
involuntary context switches= 696100

runsolver used 0.01 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 00:27:00
IDJOB=1776355
IDBENCH=20491
IDSOLVER=629
FILE ID=/1776355-1243636020
PBS_JOBID=
Free space on /tmp= 15884 MiB

SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT07/industrial/grieu/vmpc_29.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776355-1243636020/watcher-1776355-1243636020 -o /tmp/evaluation-result-1776355-1243636020/solver-1776355-1243636020 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776355-1243636020.cnf 4 10000

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

MD5SUM BENCH= 1e81246225c81a67548d334d1dfcc24b
RANDOM SEED= 686768539

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.105
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.105
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.105
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.16
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.105
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:       3176984 kB
Buffers:         37948 kB
Cached:          75844 kB
SwapCached:       2424 kB
Active:          93680 kB
Inactive:        30116 kB
HighTotal:     2489216 kB
HighFree:      2400476 kB
LowTotal:       879316 kB
LowFree:        776508 kB
SwapTotal:     1959888 kB
SwapFree:      1953580 kB
Dirty:            2376 kB
Writeback:           0 kB
AnonPages:        9560 kB
Mapped:           5084 kB
Slab:            57148 kB
SReclaimable:    49308 kB
SUnreclaim:       7840 kB
PageTables:        604 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    93568 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15884 MiB
End job on  at 2009-05-30 00:43:42