Trace number 1780135

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
satake 2009-03-22 (4 threads)? (TO) 3002.78 1000.06

General information on the benchmark

NameAPPLICATIONS/
c32sat/post-c32s-ss-8.cnf
MD5SUM9d3d3bb9b296880c7463693ae665aafd
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1157.5
Satisfiable
(Un)Satisfiability was proved
Number of variables53752
Number of clauses148393
Sum of the clauses size346249
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 298928
Number of clauses of size 349464
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-1780135-1243646295/watcher-1780135-1243646295 -o /tmp/evaluation-result-1780135-1243646295/solver-1780135-1243646295 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780135-1243646295.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.05 3.08 3.02 3/115 27700
/proc/meminfo: memFree=2976800/3368532 swapFree=1941392/1959888
[pid=27700] ppid=27698 vsize=6296 CPUtime=0.01
/proc/27700/stat : 27700 (satake) S 27698 27700 11369 0 -1 4202496 818 0 0 0 0 1 0 0 18 0 5 0 1129309362 6447104 774 4294967295 134512640 135180984 3217584096 3217583532 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27700/statm: 1574 779 63 164 0 1409 0
[pid=27700/tid=27701] ppid=27698 vsize=6296 CPUtime=0
/proc/27700/task/27701/stat : 27701 (satake) S 27698 27700 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129309362 6447104 798 4294967295 134512640 135180984 3217584096 3086077968 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=27700/tid=27702] ppid=27698 vsize=6296 CPUtime=0.01
/proc/27700/task/27702/stat : 27702 (satake) R 27698 27700 11369 0 -1 4202560 174 0 0 0 0 1 0 0 19 0 5 0 1129309362 6447104 804 4294967295 134512640 135180984 3217584096 3086012708 134583077 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27700/tid=27703] ppid=27698 vsize=6296 CPUtime=0
/proc/27700/task/27703/stat : 27703 (satake) R 27698 27700 11369 0 -1 4202560 560 0 0 0 0 0 0 0 19 0 5 0 1129309362 6447104 809 4294967295 134512640 135180984 3217584096 3085947172 134583077 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27700/tid=27704] ppid=27698 vsize=6296 CPUtime=0
/proc/27700/task/27704/stat : 27704 (satake) R 27698 27700 11369 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1129309362 6447104 814 4294967295 134512640 135180984 3217584096 3085882180 134705812 0 0 0 0 0 0 0 -1 1 0 0 0

[startup+0.052424 s]
/proc/loadavg: 3.05 3.08 3.02 3/115 27700
/proc/meminfo: memFree=2976800/3368532 swapFree=1941392/1959888
[pid=27700] ppid=27698 vsize=19604 CPUtime=0.1
/proc/27700/stat : 27700 (satake) S 27698 27700 11369 0 -1 4202496 4146 0 0 0 9 1 0 0 18 0 5 0 1129309362 20074496 4074 4294967295 134512640 135180984 3217584096 3217583532 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27700/statm: 5128 4188 63 164 0 4963 0
[pid=27700/tid=27701] ppid=27698 vsize=20672 CPUtime=0
/proc/27700/task/27701/stat : 27701 (satake) S 27698 27700 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129309362 21168128 4292 4294967295 134512640 135180984 3217584096 3086077968 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=27700/tid=27702] ppid=27698 vsize=22240 CPUtime=0.04
/proc/27700/task/27702/stat : 27702 (satake) D 27698 27700 11369 0 -1 4202560 1330 0 0 0 3 1 0 0 19 0 5 0 1129309362 22773760 4431 4294967295 134512640 135180984 3217584096 3086012596 134706046 0 0 0 0 3223098951 0 0 -1 2 0 0 0
[pid=27700/tid=27703] ppid=27698 vsize=23280 CPUtime=0.05
/proc/27700/task/27703/stat : 27703 (satake) R 27698 27700 11369 0 -1 4202560 1443 0 0 0 5 0 0 0 19 0 5 0 1129309362 23838720 4643 4294967295 134512640 135180984 3217584096 3085947168 134513717 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27700/tid=27704] ppid=27698 vsize=23604 CPUtime=0.05
/proc/27700/task/27704/stat : 27704 (satake) R 27698 27700 11369 0 -1 4202560 1735 0 0 0 5 0 0 0 20 0 5 0 1129309362 24170496 4804 4294967295 134512640 135180984 3217584096 3085881616 134519941 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 19604

[startup+0.12257 s]
/proc/loadavg: 3.05 3.08 3.02 3/115 27700
/proc/meminfo: memFree=2976800/3368532 swapFree=1941392/1959888
[pid=27700] ppid=27698 vsize=40112 CPUtime=0.37
/proc/27700/stat : 27700 (satake) S 27698 27700 11369 0 -1 4202496 8225 0 0 0 34 3 0 0 18 0 5 0 1129309362 41074688 8153 4294967295 134512640 135180984 3217584096 3217583532 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27700/statm: 10028 8153 63 164 0 9863 0
[pid=27700/tid=27701] ppid=27698 vsize=40112 CPUtime=0
/proc/27700/task/27701/stat : 27701 (satake) S 27698 27700 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129309362 41074688 8154 4294967295 134512640 135180984 3217584096 3086077968 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=27700/tid=27702] ppid=27698 vsize=40112 CPUtime=0.12
/proc/27700/task/27702/stat : 27702 (satake) R 27698 27700 11369 0 -1 4202560 2564 0 0 0 10 2 0 0 19 0 5 0 1129309362 41074688 8154 4294967295 134512640 135180984 3217584096 3086012388 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27700/tid=27703] ppid=27698 vsize=40112 CPUtime=0.13
/proc/27700/task/27703/stat : 27703 (satake) R 27698 27700 11369 0 -1 4202560 2603 0 0 0 13 0 0 0 19 0 5 0 1129309362 41074688 8155 4294967295 134512640 135180984 3217584096 3085947108 134680984 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27700/tid=27704] ppid=27698 vsize=40112 CPUtime=0.12
/proc/27700/task/27704/stat : 27704 (satake) S 27698 27700 11369 0 -1 4202560 2940 0 0 0 11 1 0 0 20 0 5 0 1129309362 41074688 8156 4294967295 134512640 135180984 3217584096 3085881492 134579486 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 40112

[startup+0.341195 s]
/proc/loadavg: 3.05 3.08 3.02 3/115 27700
/proc/meminfo: memFree=2976800/3368532 swapFree=1941392/1959888
[pid=27700] ppid=27698 vsize=39404 CPUtime=0.95
/proc/27700/stat : 27700 (satake) S 27698 27700 11369 0 -1 4202496 10428 0 0 0 89 6 0 0 18 0 5 0 1129309362 40349696 8571 4294967295 134512640 135180984 3217584096 3217583532 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27700/statm: 9851 8571 68 164 0 9686 0
[pid=27700/tid=27701] ppid=27698 vsize=39404 CPUtime=0.03
/proc/27700/task/27701/stat : 27701 (satake) S 27698 27700 11369 0 -1 4202560 951 0 0 0 1 2 0 0 16 0 5 0 1129309362 40349696 8571 4294967295 134512640 135180984 3217584096 3086077968 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=27700/tid=27702] ppid=27698 vsize=39404 CPUtime=0.31
/proc/27700/task/27702/stat : 27702 (satake) R 27698 27700 11369 0 -1 4202560 3116 0 0 0 29 2 0 0 18 0 5 0 1129309362 40349696 8571 4294967295 134512640 135180984 3217584096 3086012208 134523765 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27700/tid=27703] ppid=27698 vsize=39404 CPUtime=0.29
/proc/27700/task/27703/stat : 27703 (satake) R 27698 27700 11369 0 -1 4202560 2995 0 0 0 28 1 0 0 19 0 5 0 1129309362 40349696 8571 4294967295 134512640 135180984 3217584096 3085946672 134523759 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27700/tid=27704] ppid=27698 vsize=39404 CPUtime=0.32
/proc/27700/task/27704/stat : 27704 (satake) R 27698 27700 11369 0 -1 4202560 3254 0 0 0 31 1 0 0 20 0 5 0 1129309362 40349696 8571 4294967295 134512640 135180984 3217584096 3085881304 134532248 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 39404

[startup+0.711178 s]
/proc/loadavg: 3.05 3.08 3.02 3/115 27700
/proc/meminfo: memFree=2976800/3368532 swapFree=1941392/1959888
[pid=27700] ppid=27698 vsize=40560 CPUtime=2.1
/proc/27700/stat : 27700 (satake) S 27698 27700 11369 0 -1 4202496 10559 0 0 0 196 14 0 0 18 0 5 0 1129309362 41533440 8702 4294967295 134512640 135180984 3217584096 3217583532 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27700/statm: 10140 8702 68 164 0 9975 0
[pid=27700/tid=27701] ppid=27698 vsize=40560 CPUtime=0.07
/proc/27700/task/27701/stat : 27701 (satake) S 27698 27700 11369 0 -1 4202560 961 0 0 0 1 6 0 0 16 0 5 0 1129309362 41533440 8702 4294967295 134512640 135180984 3217584096 3086077968 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=27700/tid=27702] ppid=27698 vsize=40560 CPUtime=0.68
/proc/27700/task/27702/stat : 27702 (satake) R 27698 27700 11369 0 -1 4202560 3151 0 0 0 65 3 0 0 18 0 5 0 1129309362 41533440 8702 4294967295 134512640 135180984 3217584096 3086012272 134528978 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27700/tid=27703] ppid=27698 vsize=40560 CPUtime=0.66
/proc/27700/task/27703/stat : 27703 (satake) R 27698 27700 11369 0 -1 4202560 3030 0 0 0 63 3 0 0 19 0 5 0 1129309362 41533440 8702 4294967295 134512640 135180984 3217584096 3085946736 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27700/tid=27704] ppid=27698 vsize=40560 CPUtime=0.69
/proc/27700/task/27704/stat : 27704 (satake) R 27698 27700 11369 0 -1 4202560 3305 0 0 0 67 2 0 0 20 0 5 0 1129309362 41533440 8702 4294967295 134512640 135180984 3217584096 3085881264 134532417 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 40560

[startup+1.51114 s]
/proc/loadavg: 3.05 3.08 3.02 4/120 27705
/proc/meminfo: memFree=2942640/3368532 swapFree=1941392/1959888
[pid=27700] ppid=27698 vsize=40824 CPUtime=4.58
/proc/27700/stat : 27700 (satake) S 27698 27700 11369 0 -1 4202496 10708 0 0 0 428 30 0 0 18 0 5 0 1129309362 41803776 8851 4294967295 134512640 135180984 3217584096 3217583532 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27700/statm: 10206 8851 68 164 0 10041 0
[pid=27700/tid=27701] ppid=27698 vsize=40824 CPUtime=0.17
/proc/27700/task/27701/stat : 27701 (satake) S 27698 27700 11369 0 -1 4202560 983 0 0 0 2 15 0 0 16 0 5 0 1129309362 41803776 8851 4294967295 134512640 135180984 3217584096 3086077968 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=27700/tid=27702] ppid=27698 vsize=40824 CPUtime=1.47
/proc/27700/task/27702/stat : 27702 (satake) R 27698 27700 11369 0 -1 4202560 3191 0 0 0 142 5 0 0 19 0 5 0 1129309362 41803776 8851 4294967295 134512640 135180984 3217584096 3086012272 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27700/tid=27703] ppid=27698 vsize=40824 CPUtime=1.46
/proc/27700/task/27703/stat : 27703 (satake) R 27698 27700 11369 0 -1 4202560 3072 0 0 0 141 5 0 0 20 0 5 0 1129309362 41803776 8851 4294967295 134512640 135180984 3217584096 3085946736 134528211 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27700/tid=27704] ppid=27698 vsize=40824 CPUtime=1.48
/proc/27700/task/27704/stat : 27704 (satake) R 27698 27700 11369 0 -1 4202560 3350 0 0 0 143 5 0 0 21 0 5 0 1129309362 41803776 8851 4294967295 134512640 135180984 3217584096 3085881096 134519103 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.58
Current children cumulated vsize (KiB) 40824

[startup+3.11108 s]
/proc/loadavg: 3.05 3.08 3.02 4/120 27705
/proc/meminfo: memFree=2942344/3368532 swapFree=1941392/1959888
[pid=27700] ppid=27698 vsize=42536 CPUtime=9.59
/proc/27700/stat : 27700 (satake) S 27698 27700 11369 0 -1 4202496 11181 0 0 0 888 71 0 0 18 0 5 0 1129309362 43556864 9324 4294967295 134512640 135180984 3217584096 3217583532 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27700/statm: 10634 9324 68 164 0 10469 0
[pid=27700/tid=27701] ppid=27698 vsize=42536 CPUtime=0.42
/proc/27700/task/27701/stat : 27701 (satake) R 27698 27700 11369 0 -1 4202560 1047 0 0 0 10 32 0 0 16 0 5 0 1129309362 43556864 9324 4294967295 134512640 135180984 3217584096 3086077980 134580588 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27700/tid=27702] ppid=27698 vsize=42536 CPUtime=3.07
/proc/27700/task/27702/stat : 27702 (satake) R 27698 27700 11369 0 -1 4202560 3303 0 0 0 294 13 0 0 21 0 5 0 1129309362 43556864 9324 4294967295 134512640 135180984 3217584096 3086012272 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27700/tid=27703] ppid=27698 vsize=42536 CPUtime=3.04
/proc/27700/task/27703/stat : 27703 (satake) R 27698 27700 11369 0 -1 4202560 3190 0 0 0 290 14 0 0 24 0 5 0 1129309362 43556864 9324 4294967295 134512640 135180984 3217584096 3085946528 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27700/tid=27704] ppid=27698 vsize=42536 CPUtime=3.06
/proc/27700/task/27704/stat : 27704 (satake) R 27698 27700 11369 0 -1 4202560 3529 0 0 0 294 12 0 0 25 0 5 0 1129309362 43556864 9324 4294967295 134512640 135180984 3217584096 3085881200 134528866 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.59
Current children cumulated vsize (KiB) 42536

[startup+6.31095 s]
/proc/loadavg: 3.05 3.08 3.02 4/120 27706
/proc/meminfo: memFree=2939144/3368532 swapFree=1941392/1959888
[pid=27700] ppid=27698 vsize=44976 CPUtime=19.55
/proc/27700/stat : 27700 (satake) S 27698 27700 11369 0 -1 4202496 12010 0 0 0 1816 139 0 0 18 0 5 0 1129309362 46055424 10153 4294967295 134512640 135180984 3217584096 3217583532 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27700/statm: 11244 10153 68 164 0 11079 0
[pid=27700/tid=27701] ppid=27698 vsize=44976 CPUtime=0.89
/proc/27700/task/27701/stat : 27701 (satake) S 27698 27700 11369 0 -1 4202560 1200 0 0 0 22 67 0 0 16 0 5 0 1129309362 46055424 10153 4294967295 134512640 135180984 3217584096 3086077968 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=27700/tid=27702] ppid=27698 vsize=44976 CPUtime=6.22
/proc/27700/task/27702/stat : 27702 (satake) R 27698 27700 11369 0 -1 4202560 3543 0 0 0 598 24 0 0 25 0 5 0 1129309362 46055424 10153 4294967295 134512640 135180984 3217584096 3086012168 134518214 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27700/tid=27703] ppid=27698 vsize=44976 CPUtime=6.22
/proc/27700/task/27703/stat : 27703 (satake) R 27698 27700 11369 0 -1 4202560 3389 0 0 0 594 28 0 0 25 0 5 0 1129309362 46055424 10153 4294967295 134512640 135180984 3217584096 3085946568 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27700/tid=27704] ppid=27698 vsize=44976 CPUtime=6.22
/proc/27700/task/27704/stat : 27704 (satake) R 27698 27700 11369 0 -1 4202560 3766 0 0 0 602 20 0 0 25 0 5 0 1129309362 46055424 10153 4294967295 134512640 135180984 3217584096 3085881100 134522603 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.55
Current children cumulated vsize (KiB) 44976

[startup+12.7107 s]
/proc/loadavg: 3.04 3.08 3.02 4/120 27706
/proc/meminfo: memFree=2930144/3368532 swapFree=1941392/1959888
[pid=27700] ppid=27698 vsize=54764 CPUtime=39.29
/proc/27700/stat : 27700 (satake) S 27698 27700 11369 0 -1 4202496 14171 0 0 0 3687 242 0 0 18 0 5 0 1129309362 56078336 12314 4294967295 134512640 135180984 3217584096 3217583532 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27700/statm: 13691 12314 68 164 0 13526 0
[pid=27700/tid=27701] ppid=27698 vsize=54764 CPUtime=1.56
/proc/27700/task/27701/stat : 27701 (satake) S 27698 27700 11369 0 -1 4202560 1460 0 0 0 36 120 0 0 16 0 5 0 1129309362 56078336 12314 4294967295 134512640 135180984 3217584096 3086077968 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=27700/tid=27702] ppid=27698 vsize=54764 CPUtime=12.57
/proc/27700/task/27702/stat : 27702 (satake) R 27698 27700 11369 0 -1 4202560 4061 0 0 0 1213 44 0 0 25 0 5 0 1129309362 56078336 12314 4294967295 134512640 135180984 3217584096 3086012104 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27700/tid=27703] ppid=27698 vsize=54764 CPUtime=12.58
/proc/27700/task/27703/stat : 27703 (satake) R 27698 27700 11369 0 -1 4202560 3949 0 0 0 1213 45 0 0 25 0 5 0 1129309362 56078336 12314 4294967295 134512640 135180984 3217584096 3085946736 134528902 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27700/tid=27704] ppid=27698 vsize=54764 CPUtime=12.58
/proc/27700/task/27704/stat : 27704 (satake) R 27698 27700 11369 0 -1 4202560 4589 0 0 0 1225 33 0 0 25 0 5 0 1129309362 56078336 12314 4294967295 134512640 135180984 3217584096 3085881216 134518773 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 39.29
Current children cumulated vsize (KiB) 54764

[startup+25.5102 s]
/proc/loadavg: 3.03 3.08 3.02 4/120 27707
/proc/meminfo: memFree=2914684/3368532 swapFree=1941392/1959888
[pid=27700] ppid=27698 vsize=70544 CPUtime=78.74
/proc/27700/stat : 27700 (satake) S 27698 27700 11369 0 -1 4202496 17968 0 0 0 7437 437 0 0 18 0 5 0 1129309362 72237056 16111 4294967295 134512640 135180984 3217584096 3217583532 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27700/statm: 17636 16111 68 164 0 17471 0
[pid=27700/tid=27701] ppid=27698 vsize=70544 CPUtime=2.88
/proc/27700/task/27701/stat : 27701 (satake) S 27698 27700 11369 0 -1 4202560 1895 0 0 0 71 217 0 0 16 0 5 0 1129309362 72237056 16111 4294967295 134512640 135180984 3217584096 3086077968 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=27700/tid=27702] ppid=27698 vsize=70544 CPUtime=25.33
/proc/27700/task/27702/stat : 27702 (satake) R 27698 27700 11369 0 -1 4202560 5129 0 0 0 2455 78 0 0 25 0 5 0 1129309362 72237056 16111 4294967295 134512640 135180984 3217584096 3086012288 134518582 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27700/tid=27703] ppid=27698 vsize=70544 CPUtime=25.3
/proc/27700/task/27703/stat : 27703 (satake) R 27698 27700 11369 0 -1 4202560 4822 0 0 0 2446 84 0 0 25 0 5 0 1129309362 72237056 16111 4294967295 134512640 135180984 3217584096 3085946736 134528230 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27700/tid=27704] ppid=27698 vsize=70544 CPUtime=25.23
/proc/27700/task/27704/stat : 27704 (satake) R 27698 27700 11369 0 -1 4202560 6010 0 0 0 2465 58 0 0 25 0 5 0 1129309362 72237056 16111 4294967295 134512640 135180984 3217584096 3085881100 134522715 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 78.74
Current children cumulated vsize (KiB) 70544

[startup+51.1092 s]
/proc/loadavg: 3.14 3.10 3.02 4/120 27710
/proc/meminfo: memFree=2887220/3368532 swapFree=1941392/1959888
[pid=27700] ppid=27698 vsize=98124 CPUtime=156.65
/proc/27700/stat : 27700 (satake) S 27698 27700 11369 0 -1 4202496 24781 0 0 0 14883 782 0 0 18 0 5 0 1129309362 100478976 22924 4294967295 134512640 135180984 3217584096 3217583532 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27700/statm: 24531 22924 68 164 0 24366 0
[pid=27700/tid=27701] ppid=27698 vsize=98124 CPUtime=4.98
/proc/27700/task/27701/stat : 27701 (satake) S 27698 27700 11369 0 -1 4202560 2629 0 0 0 118 380 0 0 16 0 5 0 1129309362 100478976 22924 4294967295 134512640 135180984 3217584096 3086077968 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=27700/tid=27702] ppid=27698 vsize=98124 CPUtime=50.84
/proc/27700/task/27702/stat : 27702 (satake) R 27698 27700 11369 0 -1 4202560 6796 0 0 0 4938 146 0 0 25 0 5 0 1129309362 100478976 22924 4294967295 134512640 135180984 3217584096 3086012272 134528677 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27700/tid=27703] ppid=27698 vsize=98124 CPUtime=50.86
/proc/27700/task/27703/stat : 27703 (satake) R 27698 27700 11369 0 -1 4202560 7122 0 0 0 4934 152 0 0 25 0 5 0 1129309362 100478976 22924 4294967295 134512640 135180984 3217584096 3085946732 134520901 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27700/tid=27704] ppid=27698 vsize=98124 CPUtime=49.97
/proc/27700/task/27704/stat : 27704 (satake) R 27698 27700 11369 0 -1 4202560 8122 0 0 0 4893 104 0 0 25 0 5 0 1129309362 100478976 22924 4294967295 134512640 135180984 3217584096 3085881200 134528462 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 156.65
Current children cumulated vsize (KiB) 98124

[startup+102.317 s]
/proc/loadavg: 3.16 3.11 3.03 4/120 27896

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

[pid=27700/tid=27702] ppid=27698 vsize=326304 CPUtime=521.08
/proc/27700/task/27702/stat : 27702 (satake) R 27698 27700 11369 0 -1 4202560 23439 0 0 0 51625 483 0 0 25 0 5 0 1129309362 334135296 79972 4294967295 134512640 135180984 3217584096 3086012268 134520887 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27700/tid=27703] ppid=27698 vsize=326304 CPUtime=510.66
/proc/27700/task/27703/stat : 27703 (satake) R 27698 27700 11369 0 -1 4202560 24789 0 0 0 50596 470 0 0 25 0 5 0 1129309362 334135296 79972 4294967295 134512640 135180984 3217584096 3085946736 134528648 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27700/tid=27704] ppid=27698 vsize=326304 CPUtime=519.45
/proc/27700/task/27704/stat : 27704 (satake) R 27698 27700 11369 0 -1 4202560 27680 0 0 0 51314 631 0 0 25 0 5 0 1129309362 334135296 79972 4294967295 134512640 135180984 3217584096 3085881192 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1571.61
Current children cumulated vsize (KiB) 326304

[startup+582.318 s]
/proc/loadavg: 3.12 3.06 3.01 4/120 29405
/proc/meminfo: memFree=2655656/3368532 swapFree=1941392/1959888
[pid=27700] ppid=27698 vsize=326304 CPUtime=1751.44
/proc/27700/stat : 27700 (satake) S 27698 27700 11369 0 -1 4202496 81847 0 0 0 171826 3318 0 0 18 0 5 0 1129309362 334135296 79990 4294967295 134512640 135180984 3217584096 3217583532 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27700/statm: 81576 79990 68 164 0 81411 0
[pid=27700/tid=27701] ppid=27698 vsize=326304 CPUtime=21.84
/proc/27700/task/27701/stat : 27701 (satake) S 27698 27700 11369 0 -1 4202560 5827 0 0 0 563 1621 0 0 16 0 5 0 1129309362 334135296 79990 4294967295 134512640 135180984 3217584096 3086077968 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=27700/tid=27702] ppid=27698 vsize=326304 CPUtime=580.99
/proc/27700/task/27702/stat : 27702 (satake) R 27698 27700 11369 0 -1 4202560 23439 0 0 0 57586 513 0 0 25 0 5 0 1129309362 334135296 79990 4294967295 134512640 135180984 3217584096 3086012272 134528644 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27700/tid=27703] ppid=27698 vsize=326304 CPUtime=569.24
/proc/27700/task/27703/stat : 27703 (satake) R 27698 27700 11369 0 -1 4202560 24789 0 0 0 56422 502 0 0 25 0 5 0 1129309362 334135296 79990 4294967295 134512640 135180984 3217584096 3085946640 134525504 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27700/tid=27704] ppid=27698 vsize=326304 CPUtime=579.37
/proc/27700/task/27704/stat : 27704 (satake) R 27698 27700 11369 0 -1 4202560 27680 0 0 0 57255 682 0 0 25 0 5 0 1129309362 334135296 79990 4294967295 134512640 135180984 3217584096 3085881168 134520027 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1751.44
Current children cumulated vsize (KiB) 326304

[startup+642.316 s]
/proc/loadavg: 3.11 3.06 3.01 4/120 29593
/proc/meminfo: memFree=2655648/3368532 swapFree=1941392/1959888
[pid=27700] ppid=27698 vsize=326304 CPUtime=1931.2
/proc/27700/stat : 27700 (satake) S 27698 27700 11369 0 -1 4202496 81864 0 0 0 189643 3477 0 0 18 0 5 0 1129309362 334135296 80007 4294967295 134512640 135180984 3217584096 3217583532 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27700/statm: 81576 80007 68 164 0 81411 0
[pid=27700/tid=27701] ppid=27698 vsize=326304 CPUtime=23.03
/proc/27700/task/27701/stat : 27701 (satake) S 27698 27700 11369 0 -1 4202560 5843 0 0 0 608 1695 0 0 16 0 5 0 1129309362 334135296 80007 4294967295 134512640 135180984 3217584096 3086077968 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=27700/tid=27702] ppid=27698 vsize=326304 CPUtime=640.94
/proc/27700/task/27702/stat : 27702 (satake) R 27698 27700 11369 0 -1 4202560 23440 0 0 0 63555 539 0 0 25 0 5 0 1129309362 334135296 80007 4294967295 134512640 135180984 3217584096 3086012272 134528065 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27700/tid=27703] ppid=27698 vsize=326304 CPUtime=628.04
/proc/27700/task/27703/stat : 27703 (satake) R 27698 27700 11369 0 -1 4202560 24789 0 0 0 62278 526 0 0 25 0 5 0 1129309362 334135296 80007 4294967295 134512640 135180984 3217584096 3085946736 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27700/tid=27704] ppid=27698 vsize=326304 CPUtime=639.19
/proc/27700/task/27704/stat : 27704 (satake) R 27698 27700 11369 0 -1 4202560 27680 0 0 0 63202 717 0 0 25 0 5 0 1129309362 334135296 80007 4294967295 134512640 135180984 3217584096 3085881200 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1931.2
Current children cumulated vsize (KiB) 326304

[startup+702.303 s]
/proc/loadavg: 3.11 3.06 3.01 4/120 29784
/proc/meminfo: memFree=2629412/3368532 swapFree=1941392/1959888
[pid=27700] ppid=27698 vsize=356288 CPUtime=2110.97
/proc/27700/stat : 27700 (satake) S 27698 27700 11369 0 -1 4202496 89096 0 0 0 207455 3642 0 0 18 0 5 0 1129309362 364838912 87239 4294967295 134512640 135180984 3217584096 3217583532 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27700/statm: 89072 87239 68 164 0 88907 0
[pid=27700/tid=27701] ppid=27698 vsize=356288 CPUtime=24.04
/proc/27700/task/27701/stat : 27701 (satake) S 27698 27700 11369 0 -1 4202560 6100 0 0 0 636 1768 0 0 15 0 5 0 1129309362 364838912 87239 4294967295 134512640 135180984 3217584096 3086077968 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=27700/tid=27702] ppid=27698 vsize=356288 CPUtime=700.87
/proc/27700/task/27702/stat : 27702 (satake) R 27698 27700 11369 0 -1 4202560 25617 0 0 0 69525 562 0 0 25 0 5 0 1129309362 364838912 87239 4294967295 134512640 135180984 3217584096 3086012104 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27700/tid=27703] ppid=27698 vsize=356288 CPUtime=687
/proc/27700/task/27703/stat : 27703 (satake) R 27698 27700 11369 0 -1 4202560 26857 0 0 0 68153 547 0 0 25 0 5 0 1129309362 364838912 87239 4294967295 134512640 135180984 3217584096 3085946568 134675846 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27700/tid=27704] ppid=27698 vsize=356288 CPUtime=699.07
/proc/27700/task/27704/stat : 27704 (satake) R 27698 27700 11369 0 -1 4202560 30410 0 0 0 69142 765 0 0 25 0 5 0 1129309362 364838912 87239 4294967295 134512640 135180984 3217584096 3085881104 134525006 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2110.97
Current children cumulated vsize (KiB) 356288

[startup+762.321 s]
/proc/loadavg: 3.04 3.05 3.00 4/120 29972
/proc/meminfo: memFree=2572632/3368532 swapFree=1941392/1959888
[pid=27700] ppid=27698 vsize=411160 CPUtime=2290.89
/proc/27700/stat : 27700 (satake) S 27698 27700 11369 0 -1 4202496 103177 0 0 0 225349 3740 0 0 18 0 5 0 1129309362 421027840 101320 4294967295 134512640 135180984 3217584096 3217583532 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27700/statm: 102790 101320 68 164 0 102625 0
[pid=27700/tid=27701] ppid=27698 vsize=411160 CPUtime=24.67
/proc/27700/task/27701/stat : 27701 (satake) S 27698 27700 11369 0 -1 4202560 6404 0 0 0 655 1812 0 0 16 0 5 0 1129309362 421027840 101320 4294967295 134512640 135180984 3217584096 3086077968 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=27700/tid=27702] ppid=27698 vsize=411160 CPUtime=760.85
/proc/27700/task/27702/stat : 27702 (satake) R 27698 27700 11369 0 -1 4202560 30493 0 0 0 75510 575 0 0 25 0 5 0 1129309362 421027840 101320 4294967295 134512640 135180984 3217584096 3086012272 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27700/tid=27703] ppid=27698 vsize=411160 CPUtime=746.38
/proc/27700/task/27703/stat : 27703 (satake) R 27698 27700 11369 0 -1 4202560 31379 0 0 0 74082 556 0 0 25 0 5 0 1129309362 421027840 101320 4294967295 134512640 135180984 3217584096 3085946736 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27700/tid=27704] ppid=27698 vsize=411160 CPUtime=758.99
/proc/27700/task/27704/stat : 27704 (satake) R 27698 27700 11369 0 -1 4202560 34789 0 0 0 75102 797 0 0 25 0 5 0 1129309362 421027840 101320 4294967295 134512640 135180984 3217584096 3085881032 134675846 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2290.89
Current children cumulated vsize (KiB) 411160

[startup+822.308 s]
/proc/loadavg: 3.01 3.04 3.00 4/120 30160
/proc/meminfo: memFree=2512264/3368532 swapFree=1941392/1959888
[pid=27700] ppid=27698 vsize=472752 CPUtime=2470.61
/proc/27700/stat : 27700 (satake) S 27698 27700 11369 0 -1 4202496 118402 0 0 0 243232 3829 0 0 18 0 5 0 1129309362 484098048 116545 4294967295 134512640 135180984 3217584096 3217583532 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27700/statm: 118188 116545 68 164 0 118023 0
[pid=27700/tid=27701] ppid=27698 vsize=472752 CPUtime=25.19
/proc/27700/task/27701/stat : 27701 (satake) S 27698 27700 11369 0 -1 4202560 6667 0 0 0 670 1849 0 0 15 0 5 0 1129309362 484098048 116545 4294967295 134512640 135180984 3217584096 3086077968 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=27700/tid=27702] ppid=27698 vsize=472752 CPUtime=820.78
/proc/27700/task/27702/stat : 27702 (satake) R 27698 27700 11369 0 -1 4202560 35796 0 0 0 81489 589 0 0 25 0 5 0 1129309362 484098048 116545 4294967295 134512640 135180984 3217584096 3086012272 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27700/tid=27703] ppid=27698 vsize=472752 CPUtime=805.83
/proc/27700/task/27703/stat : 27703 (satake) R 27698 27700 11369 0 -1 4202560 35788 0 0 0 80019 564 0 0 25 0 5 0 1129309362 484098048 116545 4294967295 134512640 135180984 3217584096 3085946568 134675846 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27700/tid=27704] ppid=27698 vsize=472752 CPUtime=818.81
/proc/27700/task/27704/stat : 27704 (satake) R 27698 27700 11369 0 -1 4202560 40039 0 0 0 81054 827 0 0 25 0 5 0 1129309362 484098048 116545 4294967295 134512640 135180984 3217584096 3085881032 134675767 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2470.61
Current children cumulated vsize (KiB) 472752

[startup+882.306 s]
/proc/loadavg: 3.00 3.03 3.00 4/120 30348
/proc/meminfo: memFree=2472880/3368532 swapFree=1941392/1959888
[pid=27700] ppid=27698 vsize=510900 CPUtime=2650.32
/proc/27700/stat : 27700 (satake) S 27698 27700 11369 0 -1 4202496 127887 0 0 0 261093 3939 0 0 18 0 5 0 1129309362 523161600 126030 4294967295 134512640 135180984 3217584096 3217583532 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27700/statm: 127725 126030 68 164 0 127560 0
[pid=27700/tid=27701] ppid=27698 vsize=510900 CPUtime=25.94
/proc/27700/task/27701/stat : 27701 (satake) S 27698 27700 11369 0 -1 4202560 6799 0 0 0 690 1904 0 0 16 0 5 0 1129309362 523161600 126030 4294967295 134512640 135180984 3217584096 3086077968 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=27700/tid=27702] ppid=27698 vsize=510900 CPUtime=880.73
/proc/27700/task/27702/stat : 27702 (satake) R 27698 27700 11369 0 -1 4202560 39278 0 0 0 87477 596 0 0 25 0 5 0 1129309362 523161600 126030 4294967295 134512640 135180984 3217584096 3086012168 134518255 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27700/tid=27703] ppid=27698 vsize=510900 CPUtime=865.05
/proc/27700/task/27703/stat : 27703 (satake) R 27698 27700 11369 0 -1 4202560 38925 0 0 0 85925 580 0 0 25 0 5 0 1129309362 523161600 126030 4294967295 134512640 135180984 3217584096 3085946632 134518214 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27700/tid=27704] ppid=27698 vsize=510900 CPUtime=878.6
/proc/27700/task/27704/stat : 27704 (satake) R 27698 27700 11369 0 -1 4202560 42773 0 0 0 87001 859 0 0 25 0 5 0 1129309362 523161600 126030 4294967295 134512640 135180984 3217584096 3085881096 134520907 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2650.32
Current children cumulated vsize (KiB) 510900

[startup+942.314 s]
/proc/loadavg: 3.00 3.02 3.00 4/120 30535
/proc/meminfo: memFree=2471508/3368532 swapFree=1941392/1959888
[pid=27700] ppid=27698 vsize=510900 CPUtime=2829.93
/proc/27700/stat : 27700 (satake) S 27698 27700 11369 0 -1 4202496 127923 0 0 0 278827 4166 0 0 18 0 5 0 1129309362 523161600 126066 4294967295 134512640 135180984 3217584096 3217583532 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27700/statm: 127725 126066 68 164 0 127560 0
[pid=27700/tid=27701] ppid=27698 vsize=510900 CPUtime=27.49
/proc/27700/task/27701/stat : 27701 (satake) S 27698 27700 11369 0 -1 4202560 6825 0 0 0 732 2017 0 0 16 0 5 0 1129309362 523161600 126066 4294967295 134512640 135180984 3217584096 3086077968 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=27700/tid=27702] ppid=27698 vsize=510900 CPUtime=940.66
/proc/27700/task/27702/stat : 27702 (satake) R 27698 27700 11369 0 -1 4202560 39278 0 0 0 93442 624 0 0 25 0 5 0 1129309362 523161600 126066 4294967295 134512640 135180984 3217584096 3086012272 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27700/tid=27703] ppid=27698 vsize=510900 CPUtime=923.42
/proc/27700/task/27703/stat : 27703 (satake) R 27698 27700 11369 0 -1 4202560 38935 0 0 0 91737 605 0 0 25 0 5 0 1129309362 523161600 126066 4294967295 134512640 135180984 3217584096 3085946736 134528881 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27700/tid=27704] ppid=27698 vsize=510900 CPUtime=938.36
/proc/27700/task/27704/stat : 27704 (satake) R 27698 27700 11369 0 -1 4202560 42773 0 0 0 92916 920 0 0 25 0 5 0 1129309362 523161600 126066 4294967295 134512640 135180984 3217584096 3085881200 134521074 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2829.93
Current children cumulated vsize (KiB) 510900



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 3.00 3.02 3.00 4/120 30723
/proc/meminfo: memFree=2471260/3368532 swapFree=1941392/1959888
[pid=27700] ppid=27698 vsize=510900 CPUtime=3002.72
/proc/27700/stat : 27700 (satake) S 27698 27700 11369 0 -1 4202496 127947 0 0 0 295897 4375 0 0 18 0 5 0 1129309362 523161600 126090 4294967295 134512640 135180984 3217584096 3217583532 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27700/statm: 127725 126090 68 164 0 127560 0
[pid=27700/tid=27701] ppid=27698 vsize=510900 CPUtime=28.96
/proc/27700/task/27701/stat : 27701 (satake) S 27698 27700 11369 0 -1 4202560 6847 0 0 0 767 2129 0 0 15 0 5 0 1129309362 523161600 126090 4294967295 134512640 135180984 3217584096 3086077968 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=27700/tid=27702] ppid=27698 vsize=510900 CPUtime=998.26
/proc/27700/task/27702/stat : 27702 (satake) R 27698 27700 11369 0 -1 4202560 39278 0 0 0 99175 651 0 0 25 0 5 0 1129309362 523161600 126090 4294967295 134512640 135180984 3217584096 3086012272 134528680 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27700/tid=27703] ppid=27698 vsize=510900 CPUtime=979.65
/proc/27700/task/27703/stat : 27703 (satake) R 27698 27700 11369 0 -1 4202560 38935 0 0 0 97338 627 0 0 25 0 5 0 1129309362 523161600 126090 4294967295 134512640 135180984 3217584096 3085946736 134528661 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27700/tid=27704] ppid=27698 vsize=510900 CPUtime=995.85
/proc/27700/task/27704/stat : 27704 (satake) R 27698 27700 11369 0 -1 4202560 42775 0 0 0 98617 968 0 0 25 0 5 0 1129309362 523161600 126090 4294967295 134512640 135180984 3217584096 3085881200 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3002.72
Current children cumulated vsize (KiB) 510900

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): 3002.78
CPU user time (s): 2959
CPU system time (s): 43.78
CPU usage (%): 300.26
Max. virtual memory (cumulated for all children) (KiB): 510900

deleting IPC queue 23592960
deleting IPC queue 23625729
deleting IPC queue 23658498
deleting IPC queue 23691267
deleting IPC queue 23724036
deleting IPC queue 23756805
deleting IPC queue 23789574
deleting IPC queue 23822343
deleting IPC queue 23855112
deleting IPC queue 23887881
deleting IPC queue 23920650
deleting IPC queue 23953419
deleting IPC queue 23986188
deleting IPC queue 24018957
deleting IPC queue 24051726
deleting IPC queue 24084495

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2959
system time used= 43.78
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127947
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= 2904969
involuntary context switches= 2220664

runsolver used 0.01 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 03:18:15
IDJOB=1780135
IDBENCH=70956
IDSOLVER=629
FILE ID=/1780135-1243646295
PBS_JOBID=
Free space on /tmp= 15728 MiB

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

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

MD5SUM BENCH= 9d3d3bb9b296880c7463693ae665aafd
RANDOM SEED= 1176211148

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:       2977096 kB
Buffers:         48728 kB
Cached:         256088 kB
SwapCached:       4320 kB
Active:         142576 kB
Inactive:       172748 kB
HighTotal:     2489216 kB
HighFree:      2220528 kB
LowTotal:       879316 kB
LowFree:        756568 kB
SwapTotal:     1959888 kB
SwapFree:      1941392 kB
Dirty:            3132 kB
Writeback:           0 kB
AnonPages:        9300 kB
Mapped:           4324 kB
Slab:            65296 kB
SReclaimable:    56024 kB
SUnreclaim:       9272 kB
PageTables:        760 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   127080 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15728 MiB
End job on  at 2009-05-30 03:34:58