Trace number 1779100

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) 1723.06 1000.04

General information on the benchmark

NameAPPLICATIONS/bitverif/countbitsarray/
countbitsarray02_32.cnf
MD5SUMda0c445b72f13d929ab0690c3bfa81ed
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark601.74
Satisfiable
(Un)Satisfiability was proved
Number of variables4252
Number of clauses12563
Sum of the clauses size29311
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 28374
Number of clauses of size 34187
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

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

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1779100-1243641496/watcher-1779100-1243641496 -o /tmp/evaluation-result-1779100-1243641496/solver-1779100-1243641496 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779100-1243641496.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: 5.26 5.43 5.37 6/114 22660
/proc/meminfo: memFree=3201576/3368532 swapFree=1954888/1959888
[pid=22659] ppid=22657 vsize=968 CPUtime=0
/proc/22659/stat : 22659 (satake) R 22657 22659 8716 0 -1 4202496 108 0 0 0 0 0 0 0 19 0 2 0 1128813590 991232 65 4294967295 134512640 135180984 3218569424 3218568768 134705812 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22659/statm: 242 65 54 164 0 77 0
[pid=22659/tid=22660] ppid=22657 vsize=968 CPUtime=0
/proc/22659/task/22660/stat : 22660 (satake) R 22657 22659 8716 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 2 0 1128813590 991232 65 4294967295 134512640 135180984 3218569424 3086267204 134705812 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.067872 s]
/proc/loadavg: 5.26 5.43 5.37 6/114 22660
/proc/meminfo: memFree=3201576/3368532 swapFree=1954888/1959888
[pid=22659] ppid=22657 vsize=6100 CPUtime=0.11
/proc/22659/stat : 22659 (satake) S 22657 22659 8716 0 -1 4202496 1095 0 0 0 11 0 0 0 19 0 5 0 1128813590 6246400 914 4294967295 134512640 135180984 3218569424 3218568860 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22659/statm: 1525 914 68 164 0 1360 0
[pid=22659/tid=22660] ppid=22657 vsize=6100 CPUtime=0
/proc/22659/task/22660/stat : 22660 (satake) S 22657 22659 8716 0 -1 4202560 64 0 0 0 0 0 0 0 20 0 5 0 1128813590 6246400 914 4294967295 134512640 135180984 3218569424 3086266384 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 6100

[startup+0.107868 s]
/proc/loadavg: 5.26 5.43 5.37 6/114 22660
/proc/meminfo: memFree=3201576/3368532 swapFree=1954888/1959888
[pid=22659] ppid=22657 vsize=6100 CPUtime=0.19
/proc/22659/stat : 22659 (satake) S 22657 22659 8716 0 -1 4202496 1095 0 0 0 18 1 0 0 19 0 5 0 1128813590 6246400 914 4294967295 134512640 135180984 3218569424 3218568860 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22659/statm: 1525 914 68 164 0 1360 0
[pid=22659/tid=22660] ppid=22657 vsize=6100 CPUtime=0
/proc/22659/task/22660/stat : 22660 (satake) S 22657 22659 8716 0 -1 4202560 64 0 0 0 0 0 0 0 19 0 5 0 1128813590 6246400 914 4294967295 134512640 135180984 3218569424 3086266384 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 6100

[startup+0.307851 s]
/proc/loadavg: 5.26 5.43 5.37 6/114 22660
/proc/meminfo: memFree=3201576/3368532 swapFree=1954888/1959888
[pid=22659] ppid=22657 vsize=6232 CPUtime=0.59
/proc/22659/stat : 22659 (satake) S 22657 22659 8716 0 -1 4202496 1187 0 0 0 46 13 0 0 19 0 5 0 1128813590 6381568 1006 4294967295 134512640 135180984 3218569424 3218568860 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22659/statm: 1558 1006 68 164 0 1393 0
[pid=22659/tid=22660] ppid=22657 vsize=6232 CPUtime=0.07
/proc/22659/task/22660/stat : 22660 (satake) R 22657 22659 8716 0 -1 4202560 85 0 0 0 1 6 0 0 18 0 5 0 1128813590 6381568 1006 4294967295 134512640 135180984 3218569424 3086266388 134580588 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 6232

[startup+0.707816 s]
/proc/loadavg: 5.26 5.43 5.37 6/114 22660
/proc/meminfo: memFree=3201576/3368532 swapFree=1954888/1959888
[pid=22659] ppid=22657 vsize=6928 CPUtime=1.38
/proc/22659/stat : 22659 (satake) S 22657 22659 8716 0 -1 4202496 1449 0 0 0 101 37 0 0 19 0 5 0 1128813590 7094272 1268 4294967295 134512640 135180984 3218569424 3218568860 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22659/statm: 1732 1268 68 164 0 1567 0
[pid=22659/tid=22660] ppid=22657 vsize=6928 CPUtime=0.27
/proc/22659/task/22660/stat : 22660 (satake) S 22657 22659 8716 0 -1 4202560 132 0 0 0 5 22 0 0 16 0 5 0 1128813590 7094272 1268 4294967295 134512640 135180984 3218569424 3086266384 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 6928

[startup+1.50775 s]
/proc/loadavg: 5.32 5.44 5.37 7/118 22668
/proc/meminfo: memFree=3196100/3368532 swapFree=1954888/1959888
[pid=22659] ppid=22657 vsize=9404 CPUtime=2.93
/proc/22659/stat : 22659 (satake) S 22657 22659 8716 0 -1 4202496 1980 0 0 0 226 67 0 0 19 0 5 0 1128813590 9629696 1799 4294967295 134512640 135180984 3218569424 3218568860 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22659/statm: 2351 1799 68 164 0 2186 0
[pid=22659/tid=22660] ppid=22657 vsize=9404 CPUtime=0.5
/proc/22659/task/22660/stat : 22660 (satake) S 22657 22659 8716 0 -1 4202560 234 0 0 0 11 39 0 0 15 0 5 0 1128813590 9629696 1799 4294967295 134512640 135180984 3218569424 3086266384 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=22659/tid=22662] ppid=22657 vsize=9404 CPUtime=0.39
/proc/22659/task/22662/stat : 22662 (satake) R 22657 22659 8716 0 -1 4202560 468 0 0 0 27 12 0 0 22 0 5 0 1128813590 9629696 1799 4294967295 134512640 135180984 3218569424 3086200520 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=22659/tid=22663] ppid=22657 vsize=9404 CPUtime=1.17
/proc/22659/task/22663/stat : 22663 (satake) R 22657 22659 8716 0 -1 4202560 607 0 0 0 103 14 0 0 19 0 5 0 1128813590 9629696 1799 4294967295 134512640 135180984 3218569424 3086135152 134528595 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22659/tid=22664] ppid=22657 vsize=9404 CPUtime=0.87
/proc/22659/task/22664/stat : 22664 (satake) R 22657 22659 8716 0 -1 4202560 560 0 0 0 85 2 0 0 24 0 5 0 1128813590 9629696 1799 4294967295 134512640 135180984 3218569424 3086069616 134528655 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 9404

[startup+3.10761 s]
/proc/loadavg: 5.32 5.44 5.37 7/118 22668
/proc/meminfo: memFree=3193840/3368532 swapFree=1954888/1959888
[pid=22659] ppid=22657 vsize=10612 CPUtime=6.07
/proc/22659/stat : 22659 (satake) S 22657 22659 8716 0 -1 4202496 2417 0 0 0 469 138 0 0 19 0 5 0 1128813590 10866688 2236 4294967295 134512640 135180984 3218569424 3218568860 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22659/statm: 2653 2236 68 164 0 2488 0
[pid=22659/tid=22660] ppid=22657 vsize=10612 CPUtime=0.91
/proc/22659/task/22660/stat : 22660 (satake) S 22657 22659 8716 0 -1 4202560 329 0 0 0 22 69 0 0 15 0 5 0 1128813590 10866688 2236 4294967295 134512640 135180984 3218569424 3086266384 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=22659/tid=22662] ppid=22657 vsize=10612 CPUtime=0.66
/proc/22659/task/22662/stat : 22662 (satake) R 22657 22659 8716 0 -1 4202560 530 0 0 0 40 26 0 0 22 0 5 0 1128813590 10866688 2236 4294967295 134512640 135180984 3218569424 3086200688 134528162 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=22659/tid=22663] ppid=22657 vsize=10612 CPUtime=2.5
/proc/22659/task/22663/stat : 22663 (satake) R 22657 22659 8716 0 -1 4202560 758 0 0 0 220 30 0 0 18 0 5 0 1128813590 10866688 2236 4294967295 134512640 135180984 3218569424 3086134984 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=22659/tid=22664] ppid=22657 vsize=10612 CPUtime=2
/proc/22659/task/22664/stat : 22664 (satake) R 22657 22659 8716 0 -1 4202560 689 0 0 0 187 13 0 0 25 0 5 0 1128813590 10866688 2236 4294967295 134512640 135180984 3218569424 3086069616 134528441 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 10612

[startup+6.30733 s]
/proc/loadavg: 5.32 5.44 5.37 7/118 22672
/proc/meminfo: memFree=3191412/3368532 swapFree=1954888/1959888
[pid=22659] ppid=22657 vsize=13100 CPUtime=12.41
/proc/22659/stat : 22659 (satake) S 22657 22659 8716 0 -1 4202496 2908 0 0 0 1002 239 0 0 19 0 5 0 1128813590 13414400 2727 4294967295 134512640 135180984 3218569424 3218568860 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22659/statm: 3275 2727 68 164 0 3110 0
[pid=22659/tid=22660] ppid=22657 vsize=13100 CPUtime=1.52
/proc/22659/task/22660/stat : 22660 (satake) S 22657 22659 8716 0 -1 4202560 508 0 0 0 38 114 0 0 15 0 5 0 1128813590 13414400 2727 4294967295 134512640 135180984 3218569424 3086266384 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=22659/tid=22662] ppid=22657 vsize=13100 CPUtime=0.86
/proc/22659/task/22662/stat : 22662 (satake) R 22657 22659 8716 0 -1 4202560 561 0 0 0 46 40 0 0 23 0 5 0 1128813590 13414400 2727 4294967295 134512640 135180984 3218569424 3086200688 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=22659/tid=22663] ppid=22657 vsize=13100 CPUtime=5.48
/proc/22659/task/22663/stat : 22663 (satake) R 22657 22659 8716 0 -1 4202560 897 0 0 0 493 55 0 0 18 0 5 0 1128813590 13414400 2727 4294967295 134512640 135180984 3218569424 3086135072 134520800 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=22659/tid=22664] ppid=22657 vsize=13100 CPUtime=4.55
/proc/22659/task/22664/stat : 22664 (satake) R 22657 22659 8716 0 -1 4202560 831 0 0 0 425 30 0 0 25 0 5 0 1128813590 13414400 2727 4294967295 134512640 135180984 3218569424 3086069616 134528719 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 13100

[startup+12.7068 s]
/proc/loadavg: 5.27 5.43 5.36 9/118 22684
/proc/meminfo: memFree=3187156/3368532 swapFree=1954888/1959888
[pid=22659] ppid=22657 vsize=17192 CPUtime=24.82
/proc/22659/stat : 22659 (satake) S 22657 22659 8716 0 -1 4202496 3842 0 0 0 1973 509 0 0 19 0 5 0 1128813590 17604608 3661 4294967295 134512640 135180984 3218569424 3218568860 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22659/statm: 4298 3661 68 164 0 4133 0
[pid=22659/tid=22660] ppid=22657 vsize=17192 CPUtime=3.25
/proc/22659/task/22660/stat : 22660 (satake) R 22657 22659 8716 0 -1 4202560 872 0 0 0 79 246 0 0 16 0 5 0 1128813590 17604608 3661 4294967295 134512640 135180984 3218569424 3086266388 134580588 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=22659/tid=22662] ppid=22657 vsize=17192 CPUtime=1.74
/proc/22659/task/22662/stat : 22662 (satake) R 22657 22659 8716 0 -1 4202560 702 0 0 0 77 97 0 0 25 0 5 0 1128813590 17604608 3661 4294967295 134512640 135180984 3218569424 3086200480 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22659/tid=22663] ppid=22657 vsize=17192 CPUtime=10.89
/proc/22659/task/22663/stat : 22663 (satake) S 22657 22659 8716 0 -1 4202560 1082 0 0 0 980 109 0 0 17 0 5 0 1128813590 17604608 3661 4294967295 134512640 135180984 3218569424 3086134944 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=22659/tid=22664] ppid=22657 vsize=17192 CPUtime=8.94
/proc/22659/task/22664/stat : 22664 (satake) S 22657 22659 8716 0 -1 4202560 1075 0 0 0 837 57 0 0 25 0 5 0 1128813590 17604608 3661 4294967295 134512640 135180984 3218569424 3086069408 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.82
Current children cumulated vsize (KiB) 17192

[startup+25.5157 s]
/proc/loadavg: 5.31 5.43 5.37 8/118 22706
/proc/meminfo: memFree=3180976/3368532 swapFree=1954888/1959888
[pid=22659] ppid=22657 vsize=22644 CPUtime=49.71
/proc/22659/stat : 22659 (satake) S 22657 22659 8716 0 -1 4202496 5199 0 0 0 3965 1006 0 0 19 0 5 0 1128813590 23187456 5018 4294967295 134512640 135180984 3218569424 3218568860 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22659/statm: 5661 5018 68 164 0 5496 0
[pid=22659/tid=22660] ppid=22657 vsize=22644 CPUtime=6.54
/proc/22659/task/22660/stat : 22660 (satake) S 22657 22659 8716 0 -1 4202560 1576 0 0 0 150 504 0 0 16 0 5 0 1128813590 23187456 5018 4294967295 134512640 135180984 3218569424 3086266384 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=22659/tid=22662] ppid=22657 vsize=22644 CPUtime=8.71
/proc/22659/task/22662/stat : 22662 (satake) R 22657 22659 8716 0 -1 4202560 1092 0 0 0 705 166 0 0 25 0 5 0 1128813590 23187456 5018 4294967295 134512640 135180984 3218569424 3086200520 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=22659/tid=22663] ppid=22657 vsize=22644 CPUtime=22.03
/proc/22659/task/22663/stat : 22663 (satake) R 22657 22659 8716 0 -1 4202560 1140 0 0 0 1992 211 0 0 19 0 5 0 1128813590 23187456 5018 4294967295 134512640 135180984 3218569424 3086135120 134519935 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22659/tid=22664] ppid=22657 vsize=22644 CPUtime=12.43
/proc/22659/task/22664/stat : 22664 (satake) R 22657 22659 8716 0 -1 4202560 1280 0 0 0 1118 125 0 0 25 0 5 0 1128813590 23187456 5018 4294967295 134512640 135180984 3218569424 3086069616 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.71
Current children cumulated vsize (KiB) 22644

[startup+51.1139 s]
/proc/loadavg: 5.36 5.43 5.37 7/118 22745
/proc/meminfo: memFree=3171308/3368532 swapFree=1954888/1959888
[pid=22659] ppid=22657 vsize=35140 CPUtime=99.03
/proc/22659/stat : 22659 (satake) S 22657 22659 8716 0 -1 4202496 7896 0 0 0 7889 2014 0 0 19 0 5 0 1128813590 35983360 7715 4294967295 134512640 135180984 3218569424 3218568860 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22659/statm: 8785 7715 68 164 0 8620 0
[pid=22659/tid=22660] ppid=22657 vsize=35140 CPUtime=13.15
/proc/22659/task/22660/stat : 22660 (satake) S 22657 22659 8716 0 -1 4202560 3108 0 0 0 300 1015 0 0 16 0 5 0 1128813590 35983360 7715 4294967295 134512640 135180984 3218569424 3086266384 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=22659/tid=22662] ppid=22657 vsize=35140 CPUtime=26.23
/proc/22659/task/22662/stat : 22662 (satake) R 22657 22659 8716 0 -1 4202560 1616 0 0 0 2361 262 0 0 25 0 5 0 1128813590 35983360 7715 4294967295 134512640 135180984 3218569424 3086200688 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=22659/tid=22663] ppid=22657 vsize=35140 CPUtime=43.84
/proc/22659/task/22663/stat : 22663 (satake) R 22657 22659 8716 0 -1 4202560 1332 0 0 0 3968 416 0 0 16 0 5 0 1128813590 35983360 7715 4294967295 134512640 135180984 3218569424 3086135152 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22659/tid=22664] ppid=22657 vsize=35140 CPUtime=15.81
/proc/22659/task/22664/stat : 22664 (satake) R 22657 22659 8716 0 -1 4202560 1729 0 0 0 1260 321 0 0 25 0 5 0 1128813590 35983360 7715 4294967295 134512640 135180984 3218569424 3086068820 134520901 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 99.03
Current children cumulated vsize (KiB) 35140

[startup+102.309 s]
/proc/loadavg: 5.31 5.41 5.36 7/118 23011
/proc/meminfo: memFree=3151752/3368532 swapFree=1954888/1959888
[pid=22659] ppid=22657 vsize=56188 CPUtime=198.95
/proc/22659/stat : 22659 (satake) S 22657 22659 8716 0 -1 4202496 12585 0 0 0 15985 3910 0 0 19 0 5 0 1128813590 57536512 12404 4294967295 134512640 135180984 3218569424 3218568860 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22659/statm: 14047 12404 68 164 0 13882 0
[pid=22659/tid=22660] ppid=22657 vsize=56188 CPUtime=24.84
/proc/22659/task/22660/stat : 22660 (satake) S 22657 22659 8716 0 -1 4202560 5916 0 0 0 561 1923 0 0 15 0 5 0 1128813590 57536512 12404 4294967295 134512640 135180984 3218569424 3086266384 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=22659/tid=22662] ppid=22657 vsize=56188 CPUtime=63.94
/proc/22659/task/22662/stat : 22662 (satake) R 22657 22659 8716 0 -1 4202560 2815 0 0 0 5945 449 0 0 25 0 5 0 1128813590 57536512 12404 4294967295 134512640 135180984 3218569424 3086200480 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=22659/tid=22663] ppid=22657 vsize=56188 CPUtime=88.85
/proc/22659/task/22663/stat : 22663 (satake) R 22657 22659 8716 0 -1 4202560 1616 0 0 0 8047 838 0 0 17 0 5 0 1128813590 57536512 12404 4294967295 134512640 135180984 3218569424 3086135120 134519935 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22659/tid=22664] ppid=22657 vsize=56188 CPUtime=21.32
/proc/22659/task/22664/stat : 22664 (satake) R 22657 22659 8716 0 -1 4202560 2127 0 0 0 1432 700 0 0 25 0 5 0 1128813590 57536512 12404 4294967295 134512640 135180984 3218569424 3086069616 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 198.95
Current children cumulated vsize (KiB) 56188

[startup+162.304 s]
/proc/loadavg: 5.55 5.46 5.38 6/118 23286
/proc/meminfo: memFree=3130692/3368532 swapFree=1954888/1959888
[pid=22659] ppid=22657 vsize=81620 CPUtime=314.8
/proc/22659/stat : 22659 (satake) S 22657 22659 8716 0 -1 4202496 18004 0 0 0 25475 6005 0 0 19 0 5 0 1128813590 83578880 17823 4294967295 134512640 135180984 3218569424 3218568860 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22659/statm: 20405 17823 68 164 0 20240 0
[pid=22659/tid=22660] ppid=22657 vsize=81620 CPUtime=37.9
/proc/22659/task/22660/stat : 22660 (satake) S 22657 22659 8716 0 -1 4202560 9193 0 0 0 869 2921 0 0 16 0 5 0 1128813590 83578880 17823 4294967295 134512640 135180984 3218569424 3086266384 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=22659/tid=22662] ppid=22657 vsize=81620 CPUtime=107.62
/proc/22659/task/22662/stat : 22662 (satake) R 22657 22659 8716 0 -1 4202560 4071 0 0 0 10071 691 0 0 18 0 5 0 1128813590 83578880 17823 4294967295 134512640 135180984 3218569424 3086200688 134526405 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=22659/tid=22663] ppid=22657 vsize=81620 CPUtime=141.1
/proc/22659/task/22663/stat : 22663 (satake) R 22657 22659 8716 0 -1 4202560 1998 0 0 0 12801 1309 0 0 20 0 5 0 1128813590 83578880 17823 4294967295 134512640 135180984 3218569424 3086135144 134519890 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22659/tid=22664] ppid=22657 vsize=81620 CPUtime=28.18
/proc/22659/task/22664/stat : 22664 (satake) R 22657 22659 8716 0 -1 4202560 2631 0 0 0 1734 1084 0 0 25 0 5 0 1128813590 83578880 17823 4294967295 134512640 135180984 3218569424 3086069640 134520909 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 314.8

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

[pid=22659/tid=22662] ppid=22657 vsize=186340 CPUtime=323.57
/proc/22659/task/22662/stat : 22662 (satake) R 22657 22659 8716 0 -1 4202560 7871 0 0 0 30588 1769 0 0 25 0 5 0 1128813590 190812160 40884 4294967295 134512640 135180984 3218569424 3086200480 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=22659/tid=22663] ppid=22657 vsize=186340 CPUtime=316.98
/proc/22659/task/22663/stat : 22663 (satake) R 22657 22659 8716 0 -1 4202560 2462 0 0 0 29508 2190 0 0 25 0 5 0 1128813590 190812160 40884 4294967295 134512640 135180984 3218569424 3086135144 134518224 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=22659/tid=22664] ppid=22657 vsize=186340 CPUtime=207.08
/proc/22659/task/22664/stat : 22664 (satake) R 22657 22659 8716 0 -1 4202560 6311 0 0 0 18728 1980 0 0 25 0 5 0 1128813590 190812160 40884 4294967295 134512640 135180984 3218569424 3086069616 134528540 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 930.81
Current children cumulated vsize (KiB) 186340

[startup+582.308 s]
/proc/loadavg: 4.56 4.85 5.12 6/118 25226
/proc/meminfo: memFree=3024376/3368532 swapFree=1954888/1959888
[pid=22659] ppid=22657 vsize=204036 CPUtime=1031.78
/proc/22659/stat : 22659 (satake) S 22657 22659 8716 0 -1 4202496 44366 0 0 0 90251 12927 0 0 19 0 5 0 1128813590 208932864 44185 4294967295 134512640 135180984 3218569424 3218568860 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22659/statm: 51009 44185 68 164 0 50844 0
[pid=22659/tid=22660] ppid=22657 vsize=204036 CPUtime=88.64
/proc/22659/task/22660/stat : 22660 (satake) R 22657 22659 8716 0 -1 4202560 26421 0 0 0 2147 6717 0 0 16 0 5 0 1128813590 208932864 44185 4294967295 134512640 135180984 3218569424 3086266384 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22659/tid=22662] ppid=22657 vsize=204036 CPUtime=356.36
/proc/22659/task/22662/stat : 22662 (satake) S 22657 22659 8716 0 -1 4202560 8374 0 0 0 33779 1857 0 0 25 0 5 0 1128813590 208932864 44185 4294967295 134512640 135180984 3218569424 3086200480 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=22659/tid=22663] ppid=22657 vsize=204036 CPUtime=348.49
/proc/22659/task/22663/stat : 22663 (satake) S 22657 22659 8716 0 -1 4202560 2573 0 0 0 32572 2277 0 0 25 0 5 0 1128813590 208932864 44185 4294967295 134512640 135180984 3218569424 3086134944 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=22659/tid=22664] ppid=22657 vsize=204036 CPUtime=238.29
/proc/22659/task/22664/stat : 22664 (satake) S 22657 22659 8716 0 -1 4202560 6887 0 0 0 21753 2076 0 0 25 0 5 0 1128813590 208932864 44185 4294967295 134512640 135180984 3218569424 3086069408 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1031.78
Current children cumulated vsize (KiB) 204036

[startup+642.312 s]
/proc/loadavg: 4.68 4.83 5.09 6/118 25500
/proc/meminfo: memFree=3011668/3368532 swapFree=1954888/1959888
[pid=22659] ppid=22657 vsize=219504 CPUtime=1131.93
/proc/22659/stat : 22659 (satake) S 22657 22659 8716 0 -1 4202496 47672 0 0 0 99540 13653 0 0 19 0 5 0 1128813590 224772096 47491 4294967295 134512640 135180984 3218569424 3218568860 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22659/statm: 54876 47491 68 164 0 54711 0
[pid=22659/tid=22660] ppid=22657 vsize=219504 CPUtime=94.18
/proc/22659/task/22660/stat : 22660 (satake) S 22657 22659 8716 0 -1 4202560 28594 0 0 0 2282 7136 0 0 15 0 5 0 1128813590 224772096 47491 4294967295 134512640 135180984 3218569424 3086266384 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=22659/tid=22662] ppid=22657 vsize=219504 CPUtime=387.25
/proc/22659/task/22662/stat : 22662 (satake) R 22657 22659 8716 0 -1 4202560 8911 0 0 0 36764 1961 0 0 25 0 5 0 1128813590 224772096 47491 4294967295 134512640 135180984 3218569424 3086200688 134528519 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22659/tid=22663] ppid=22657 vsize=219504 CPUtime=380.58
/proc/22659/task/22663/stat : 22663 (satake) R 22657 22659 8716 0 -1 4202560 2672 0 0 0 35681 2377 0 0 25 0 5 0 1128813590 224772096 47491 4294967295 134512640 135180984 3218569424 3086135168 134532624 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22659/tid=22664] ppid=22657 vsize=219504 CPUtime=269.92
/proc/22659/task/22664/stat : 22664 (satake) R 22657 22659 8716 0 -1 4202560 7384 0 0 0 24813 2179 0 0 25 0 5 0 1128813590 224772096 47491 4294967295 134512640 135180984 3218569424 3086069616 134528470 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1131.93
Current children cumulated vsize (KiB) 219504

[startup+702.307 s]
/proc/loadavg: 4.96 4.88 5.09 4/118 25782
/proc/meminfo: memFree=3000352/3368532 swapFree=1954888/1959888
[pid=22659] ppid=22657 vsize=230268 CPUtime=1230.68
/proc/22659/stat : 22659 (satake) S 22657 22659 8716 0 -1 4202496 50377 0 0 0 108913 14155 0 0 19 0 5 0 1128813590 235794432 50196 4294967295 134512640 135180984 3218569424 3218568860 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22659/statm: 57567 50196 68 164 0 57402 0
[pid=22659/tid=22660] ppid=22657 vsize=230268 CPUtime=98.12
/proc/22659/task/22660/stat : 22660 (satake) S 22657 22659 8716 0 -1 4202560 30255 0 0 0 2394 7418 0 0 15 0 5 0 1128813590 235794432 50196 4294967295 134512640 135180984 3218569424 3086266388 134580588 0 0 0 0 3223036975 0 0 -1 0 0 0 0
[pid=22659/tid=22662] ppid=22657 vsize=230268 CPUtime=420
/proc/22659/task/22662/stat : 22662 (satake) R 22657 22659 8716 0 -1 4202560 9286 0 0 0 39949 2051 0 0 25 0 5 0 1128813590 235794432 50196 4294967295 134512640 135180984 3218569424 3086200592 134525465 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22659/tid=22663] ppid=22657 vsize=230268 CPUtime=412.05
/proc/22659/task/22663/stat : 22663 (satake) R 22657 22659 8716 0 -1 4202560 2832 0 0 0 38766 2439 0 0 25 0 5 0 1128813590 235794432 50196 4294967295 134512640 135180984 3218569424 3086134944 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22659/tid=22664] ppid=22657 vsize=230268 CPUtime=300.51
/proc/22659/task/22664/stat : 22664 (satake) S 22657 22659 8716 0 -1 4202560 7893 0 0 0 27804 2247 0 0 25 0 5 0 1128813590 235794432 50196 4294967295 134512640 135180984 3218569424 3086069408 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1230.68
Current children cumulated vsize (KiB) 230268

[startup+762.322 s]
/proc/loadavg: 4.60 4.79 5.04 6/118 26057
/proc/meminfo: memFree=2988968/3368532 swapFree=1954888/1959888
[pid=22659] ppid=22657 vsize=249044 CPUtime=1328.99
/proc/22659/stat : 22659 (satake) S 22657 22659 8716 0 -1 4202496 53294 0 0 0 118096 14803 0 0 19 0 5 0 1128813590 255021056 53113 4294967295 134512640 135180984 3218569424 3218568860 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22659/statm: 62261 53113 68 164 0 62096 0
[pid=22659/tid=22660] ppid=22657 vsize=249044 CPUtime=102.97
/proc/22659/task/22660/stat : 22660 (satake) S 22657 22659 8716 0 -1 4202560 32124 0 0 0 2525 7772 0 0 16 0 5 0 1128813590 255021056 53113 4294967295 134512640 135180984 3218569424 3086266384 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=22659/tid=22662] ppid=22657 vsize=249044 CPUtime=451.28
/proc/22659/task/22662/stat : 22662 (satake) S 22657 22659 8716 0 -1 4202560 9620 0 0 0 42974 2154 0 0 25 0 5 0 1128813590 255021056 53113 4294967295 134512640 135180984 3218569424 3086200480 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=22659/tid=22663] ppid=22657 vsize=249044 CPUtime=442.78
/proc/22659/task/22663/stat : 22663 (satake) R 22657 22659 8716 0 -1 4202560 2887 0 0 0 41746 2532 0 0 25 0 5 0 1128813590 255021056 53113 4294967295 134512640 135180984 3218569424 3086134944 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=22659/tid=22664] ppid=22657 vsize=249044 CPUtime=331.96
/proc/22659/task/22664/stat : 22664 (satake) R 22657 22659 8716 0 -1 4202560 8552 0 0 0 30851 2345 0 0 25 0 5 0 1128813590 255021056 53113 4294967295 134512640 135180984 3218569424 3086069616 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1328.99
Current children cumulated vsize (KiB) 249044

[startup+822.317 s]
/proc/loadavg: 4.71 4.78 5.02 6/118 26334
/proc/meminfo: memFree=2976760/3368532 swapFree=1954888/1959888
[pid=22659] ppid=22657 vsize=264560 CPUtime=1428.82
/proc/22659/stat : 22659 (satake) S 22657 22659 8716 0 -1 4202496 56417 0 0 0 127398 15484 0 0 19 0 5 0 1128813590 270909440 56236 4294967295 134512640 135180984 3218569424 3218568860 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22659/statm: 66140 56236 68 164 0 65975 0
[pid=22659/tid=22660] ppid=22657 vsize=264560 CPUtime=108.16
/proc/22659/task/22660/stat : 22660 (satake) S 22657 22659 8716 0 -1 4202560 34256 0 0 0 2657 8159 0 0 16 0 5 0 1128813590 270909440 56236 4294967295 134512640 135180984 3218569424 3086266388 134580588 0 0 0 0 3223036975 0 0 -1 2 0 0 0
[pid=22659/tid=22662] ppid=22657 vsize=264560 CPUtime=481.93
/proc/22659/task/22662/stat : 22662 (satake) S 22657 22659 8716 0 -1 4202560 9994 0 0 0 45938 2255 0 0 25 0 5 0 1128813590 270909440 56236 4294967295 134512640 135180984 3218569424 3086200480 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=22659/tid=22663] ppid=22657 vsize=264560 CPUtime=474.2
/proc/22659/task/22663/stat : 22663 (satake) R 22657 22659 8716 0 -1 4202560 3123 0 0 0 44786 2634 0 0 25 0 5 0 1128813590 270909440 56236 4294967295 134512640 135180984 3218569424 3086134944 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22659/tid=22664] ppid=22657 vsize=264560 CPUtime=364.53
/proc/22659/task/22664/stat : 22664 (satake) R 22657 22659 8716 0 -1 4202560 8933 0 0 0 34017 2436 0 0 25 0 5 0 1128813590 270909440 56236 4294967295 134512640 135180984 3218569424 3086069612 134518208 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1428.82
Current children cumulated vsize (KiB) 264560

[startup+882.312 s]
/proc/loadavg: 4.51 4.71 4.98 5/118 26615
/proc/meminfo: memFree=2962848/3368532 swapFree=1954888/1959888
[pid=22659] ppid=22657 vsize=278752 CPUtime=1528.13
/proc/22659/stat : 22659 (satake) S 22657 22659 8716 0 -1 4202496 59879 0 0 0 136565 16248 0 0 19 0 5 0 1128813590 285442048 59698 4294967295 134512640 135180984 3218569424 3218568860 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22659/statm: 69688 59698 68 164 0 69523 0
[pid=22659/tid=22660] ppid=22657 vsize=278752 CPUtime=113.67
/proc/22659/task/22660/stat : 22660 (satake) S 22657 22659 8716 0 -1 4202560 36432 0 0 0 2766 8601 0 0 15 0 5 0 1128813590 285442048 59698 4294967295 134512640 135180984 3218569424 3086266388 134580588 0 0 0 0 3223036975 0 0 -1 2 0 0 0
[pid=22659/tid=22662] ppid=22657 vsize=278752 CPUtime=513.3
/proc/22659/task/22662/stat : 22662 (satake) S 22657 22659 8716 0 -1 4202560 10578 0 0 0 48970 2360 0 0 25 0 5 0 1128813590 285442048 59698 4294967295 134512640 135180984 3218569424 3086200480 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=22659/tid=22663] ppid=22657 vsize=278752 CPUtime=506.05
/proc/22659/task/22663/stat : 22663 (satake) R 22657 22659 8716 0 -1 4202560 3350 0 0 0 47855 2750 0 0 25 0 5 0 1128813590 285442048 59698 4294967295 134512640 135180984 3218569424 3086134956 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22659/tid=22664] ppid=22657 vsize=278752 CPUtime=395.11
/proc/22659/task/22664/stat : 22664 (satake) R 22657 22659 8716 0 -1 4202560 9408 0 0 0 36974 2537 0 0 25 0 5 0 1128813590 285442048 59698 4294967295 134512640 135180984 3218569424 3086069728 134531534 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1528.13
Current children cumulated vsize (KiB) 278752

[startup+942.307 s]
/proc/loadavg: 4.74 4.73 4.97 5/118 26889
/proc/meminfo: memFree=2950208/3368532 swapFree=1954888/1959888
[pid=22659] ppid=22657 vsize=290568 CPUtime=1627.36
/proc/22659/stat : 22659 (satake) S 22657 22659 8716 0 -1 4202496 62831 0 0 0 146060 16676 0 0 19 0 5 0 1128813590 297541632 62650 4294967295 134512640 135180984 3218569424 3218568860 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22659/statm: 72642 62650 68 164 0 72477 0
[pid=22659/tid=22660] ppid=22657 vsize=290568 CPUtime=117.12
/proc/22659/task/22660/stat : 22660 (satake) S 22657 22659 8716 0 -1 4202560 38025 0 0 0 2861 8851 0 0 15 0 5 0 1128813590 297541632 62650 4294967295 134512640 135180984 3218569424 3086266384 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=22659/tid=22662] ppid=22657 vsize=290568 CPUtime=545.72
/proc/22659/task/22662/stat : 22662 (satake) S 22657 22659 8716 0 -1 4202560 10982 0 0 0 52155 2417 0 0 25 0 5 0 1128813590 297541632 62650 4294967295 134512640 135180984 3218569424 3086200480 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=22659/tid=22663] ppid=22657 vsize=290568 CPUtime=537.14
/proc/22659/task/22663/stat : 22663 (satake) R 22657 22659 8716 0 -1 4202560 3487 0 0 0 50902 2812 0 0 25 0 5 0 1128813590 297541632 62650 4294967295 134512640 135180984 3218569424 3086135120 134519935 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22659/tid=22664] ppid=22657 vsize=290568 CPUtime=427.38
/proc/22659/task/22664/stat : 22664 (satake) R 22657 22659 8716 0 -1 4202560 10226 0 0 0 40142 2596 0 0 25 0 5 0 1128813590 297541632 62650 4294967295 134512640 135180984 3218569424 3086069420 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1627.36
Current children cumulated vsize (KiB) 290568



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000 s]
/proc/loadavg: 4.80 4.76 4.96 6/120 27163
/proc/meminfo: memFree=2942932/3368532 swapFree=1954888/1959888
[pid=22659] ppid=22657 vsize=297432 CPUtime=1723.02
/proc/22659/stat : 22659 (satake) S 22657 22659 8716 0 -1 4202496 64692 0 0 0 155289 17013 0 0 19 0 5 0 1128813590 304570368 64511 4294967295 134512640 135180984 3218569424 3218568860 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22659/statm: 74358 64511 68 164 0 74193 0
[pid=22659/tid=22660] ppid=22657 vsize=297432 CPUtime=119.76
/proc/22659/task/22660/stat : 22660 (satake) R 22657 22659 8716 0 -1 4202560 39280 0 0 0 2935 9041 0 0 16 0 5 0 1128813590 304570368 64511 4294967295 134512640 135180984 3218569424 3086266380 134579390 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=22659/tid=22662] ppid=22657 vsize=297432 CPUtime=576.52
/proc/22659/task/22662/stat : 22662 (satake) R 22657 22659 8716 0 -1 4202560 11107 0 0 0 55187 2465 0 0 25 0 5 0 1128813590 304570368 64511 4294967295 134512640 135180984 3218569424 3086200688 134528470 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=22659/tid=22663] ppid=22657 vsize=297432 CPUtime=566.79
/proc/22659/task/22663/stat : 22663 (satake) S 22657 22659 8716 0 -1 4202560 3574 0 0 0 53817 2862 0 0 25 0 5 0 1128813590 304570368 64511 4294967295 134512640 135180984 3218569424 3086134944 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=22659/tid=22664] ppid=22657 vsize=297432 CPUtime=459.95
/proc/22659/task/22664/stat : 22664 (satake) S 22657 22659 8716 0 -1 4202560 10620 0 0 0 43350 2645 0 0 25 0 5 0 1128813590 304570368 64511 4294967295 134512640 135180984 3218569424 3086069408 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1723.02
Current children cumulated vsize (KiB) 297432

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): 1723.06
CPU user time (s): 1552.92
CPU system time (s): 170.14
CPU usage (%): 172.3
Max. virtual memory (cumulated for all children) (KiB): 297432

deleting IPC queue 9437184
deleting IPC queue 9469953
deleting IPC queue 9502722
deleting IPC queue 9535491
deleting IPC queue 9568260
deleting IPC queue 9601029
deleting IPC queue 9633798
deleting IPC queue 9666567
deleting IPC queue 9699336
deleting IPC queue 9732105
deleting IPC queue 9764874
deleting IPC queue 9797643
deleting IPC queue 9830412
deleting IPC queue 9863181
deleting IPC queue 9895950
deleting IPC queue 9928719

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1552.92
system time used= 170.14
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64692
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= 25774629
involuntary context switches= 24487874

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 01:58:16
IDJOB=1779100
IDBENCH=70811
IDSOLVER=629
FILE ID=/1779100-1243641496
PBS_JOBID=
Free space on /tmp= 15883 MiB

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

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

MD5SUM BENCH= da0c445b72f13d929ab0690c3bfa81ed
RANDOM SEED= 300566543

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.43
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:       3201576 kB
Buffers:         12736 kB
Cached:          79756 kB
SwapCached:        720 kB
Active:          50640 kB
Inactive:        57620 kB
HighTotal:     2489216 kB
HighFree:      2390032 kB
LowTotal:       879316 kB
LowFree:        811544 kB
SwapTotal:     1959888 kB
SwapFree:      1954888 kB
Dirty:             988 kB
Writeback:           0 kB
AnonPages:       15052 kB
Mapped:           6252 kB
Slab:            48148 kB
SReclaimable:    40204 kB
SUnreclaim:       7944 kB
PageTables:        712 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   117268 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15883 MiB
End job on  at 2009-05-30 02:14:58