Trace number 1779475

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

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-34-s100.cnf
MD5SUMd33264afbb7fa6f88a24b97cfc468c5a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables32465
Number of clauses97748
Sum of the clauses size230766
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 262350
Number of clauses of size 335334
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-1779475-1243644502/watcher-1779475-1243644502 -o /tmp/evaluation-result-1779475-1243644502/solver-1779475-1243644502 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779475-1243644502.cnf 4 10000 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.80 2.96 2.99 3/115 21129
/proc/meminfo: memFree=2994000/3368532 swapFree=1941392/1959888
[pid=21129] ppid=21127 vsize=3544 CPUtime=0
/proc/21129/stat : 21129 (satake) S 21127 21129 11369 0 -1 4202496 695 0 0 0 0 0 0 0 18 0 5 0 1129129986 3629056 651 4294967295 134512640 135180984 3217428400 3217427836 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21129/statm: 886 652 63 164 0 721 0
[pid=21129/tid=21130] ppid=21127 vsize=3544 CPUtime=0
/proc/21129/task/21130/stat : 21130 (satake) S 21127 21129 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129129986 3629056 660 4294967295 134512640 135180984 3217428400 3086819344 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=21129/tid=21131] ppid=21127 vsize=3544 CPUtime=0.01
/proc/21129/task/21131/stat : 21131 (satake) R 21127 21129 11369 0 -1 4202560 588 0 0 0 1 0 0 0 20 0 5 0 1129129986 3629056 662 4294967295 134512640 135180984 3217428400 3086754032 134522560 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21129/tid=21132] ppid=21127 vsize=3544 CPUtime=0
/proc/21129/task/21132/stat : 21132 (satake) R 21127 21129 11369 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1129129986 3629056 665 4294967295 134512640 135180984 3217428400 3086689092 134705812 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21129/tid=21133] ppid=21127 vsize=3676 CPUtime=0
/proc/21129/task/21133/stat : 21133 (satake) R 21127 21129 11369 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1129129986 3764224 667 4294967295 134512640 135180984 3217428400 3086623556 134705812 0 0 0 0 0 0 0 -1 2 0 0 0

[startup+0.096246 s]
/proc/loadavg: 2.80 2.96 2.99 3/115 21129
/proc/meminfo: memFree=2994000/3368532 swapFree=1941392/1959888
[pid=21129] ppid=21127 vsize=23576 CPUtime=0.21
/proc/21129/stat : 21129 (satake) S 21127 21129 11369 0 -1 4202496 5587 0 0 0 20 1 0 0 18 0 5 0 1129129986 24141824 5132 4294967295 134512640 135180984 3217428400 3217427836 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21129/statm: 5894 5132 64 164 0 5729 0
[pid=21129/tid=21130] ppid=21127 vsize=23576 CPUtime=0
/proc/21129/task/21130/stat : 21130 (satake) S 21127 21129 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129129986 24141824 5132 4294967295 134512640 135180984 3217428400 3086819344 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=21129/tid=21131] ppid=21127 vsize=23576 CPUtime=0.1
/proc/21129/task/21131/stat : 21131 (satake) D 21127 21129 11369 0 -1 4202560 1782 0 0 0 10 0 0 0 20 0 5 0 1129129986 24141824 5132 4294967295 134512640 135180984 3217428400 3086754168 134702225 0 0 0 0 3223098951 0 0 -1 2 0 0 0
[pid=21129/tid=21132] ppid=21127 vsize=23576 CPUtime=0.08
/proc/21129/task/21132/stat : 21132 (satake) D 21127 21129 11369 0 -1 4202560 1892 0 0 0 7 1 0 0 20 0 5 0 1129129986 24141824 5132 4294967295 134512640 135180984 3217428400 3086688528 134520025 0 0 0 0 3223098951 0 0 -1 3 0 0 0
[pid=21129/tid=21133] ppid=21127 vsize=23576 CPUtime=0.03
/proc/21129/task/21133/stat : 21133 (satake) R 21127 21129 11369 0 -1 4202560 1795 0 0 0 3 0 0 0 20 0 5 0 1129129986 24141824 5132 4294967295 134512640 135180984 3217428400 3086622800 134702260 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 23576

[startup+0.114433 s]
/proc/loadavg: 2.80 2.96 2.99 3/115 21129
/proc/meminfo: memFree=2994000/3368532 swapFree=1941392/1959888
[pid=21129] ppid=21127 vsize=27000 CPUtime=0.25
/proc/21129/stat : 21129 (satake) S 21127 21129 11369 0 -1 4202496 6426 0 0 0 24 1 0 0 18 0 5 0 1129129986 27648000 5971 4294967295 134512640 135180984 3217428400 3217427836 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21129/statm: 6750 5972 66 164 0 6585 0
[pid=21129/tid=21130] ppid=21127 vsize=27000 CPUtime=0
/proc/21129/task/21130/stat : 21130 (satake) S 21127 21129 11369 0 -1 4202560 581 0 0 0 0 0 0 0 19 0 5 0 1129129986 27648000 5972 4294967295 134512640 135180984 3217428400 3086819344 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=21129/tid=21131] ppid=21127 vsize=27000 CPUtime=0.11
/proc/21129/task/21131/stat : 21131 (satake) R 21127 21129 11369 0 -1 4202560 1791 0 0 0 11 0 0 0 20 0 5 0 1129129986 27648000 5972 4294967295 134512640 135180984 3217428400 3086753640 134520860 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21129/tid=21132] ppid=21127 vsize=27000 CPUtime=0.09
/proc/21129/task/21132/stat : 21132 (satake) R 21127 21129 11369 0 -1 4202560 2019 0 0 0 8 1 0 0 20 0 5 0 1129129986 27648000 5972 4294967295 134512640 135180984 3217428400 3086688344 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21129/tid=21133] ppid=21127 vsize=27000 CPUtime=0.05
/proc/21129/task/21133/stat : 21133 (satake) R 21127 21129 11369 0 -1 4202560 1925 0 0 0 5 0 0 0 20 0 5 0 1129129986 27648000 5972 4294967295 134512640 135180984 3217428400 3086623008 134513762 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 27000

[startup+0.314433 s]
/proc/loadavg: 2.80 2.96 2.99 3/115 21129
/proc/meminfo: memFree=2994000/3368532 swapFree=1941392/1959888
[pid=21129] ppid=21127 vsize=24772 CPUtime=0.85
/proc/21129/stat : 21129 (satake) S 21127 21129 11369 0 -1 4202496 6805 0 0 0 84 1 0 0 18 0 5 0 1129129986 25366528 5570 4294967295 134512640 135180984 3217428400 3217427836 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21129/statm: 6193 5570 68 164 0 6028 0
[pid=21129/tid=21130] ppid=21127 vsize=24772 CPUtime=0
/proc/21129/task/21130/stat : 21130 (satake) S 21127 21129 11369 0 -1 4202560 583 0 0 0 0 0 0 0 18 0 5 0 1129129986 25366528 5570 4294967295 134512640 135180984 3217428400 3086819344 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=21129/tid=21131] ppid=21127 vsize=24772 CPUtime=0.31
/proc/21129/task/21131/stat : 21131 (satake) R 21127 21129 11369 0 -1 4202560 1848 0 0 0 31 0 0 0 20 0 5 0 1129129986 25366528 5570 4294967295 134512640 135180984 3217428400 3086753640 134518252 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21129/tid=21132] ppid=21127 vsize=24772 CPUtime=0.29
/proc/21129/task/21132/stat : 21132 (satake) R 21127 21129 11369 0 -1 4202560 2114 0 0 0 28 1 0 0 20 0 5 0 1129129986 25366528 5570 4294967295 134512640 135180984 3217428400 3086688112 134521049 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21129/tid=21133] ppid=21127 vsize=24772 CPUtime=0.25
/proc/21129/task/21133/stat : 21133 (satake) R 21127 21129 11369 0 -1 4202560 2149 0 0 0 25 0 0 0 20 0 5 0 1129129986 25366528 5570 4294967295 134512640 135180984 3217428400 3086622640 134532500 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 24772

[startup+0.714413 s]
/proc/loadavg: 2.80 2.96 2.99 3/115 21129
/proc/meminfo: memFree=2994000/3368532 swapFree=1941392/1959888
[pid=21129] ppid=21127 vsize=25100 CPUtime=2.05
/proc/21129/stat : 21129 (satake) S 21127 21129 11369 0 -1 4202496 6854 0 0 0 204 1 0 0 18 0 5 0 1129129986 25702400 5619 4294967295 134512640 135180984 3217428400 3217427836 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21129/statm: 6275 5619 68 164 0 6110 0
[pid=21129/tid=21130] ppid=21127 vsize=25100 CPUtime=0
/proc/21129/task/21130/stat : 21130 (satake) S 21127 21129 11369 0 -1 4202560 583 0 0 0 0 0 0 0 15 0 5 0 1129129986 25702400 5619 4294967295 134512640 135180984 3217428400 3086819344 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=21129/tid=21131] ppid=21127 vsize=25100 CPUtime=0.71
/proc/21129/task/21131/stat : 21131 (satake) R 21127 21129 11369 0 -1 4202560 1869 0 0 0 71 0 0 0 20 0 5 0 1129129986 25702400 5619 4294967295 134512640 135180984 3217428400 3086753640 134518214 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21129/tid=21132] ppid=21127 vsize=25100 CPUtime=0.69
/proc/21129/task/21132/stat : 21132 (satake) R 21127 21129 11369 0 -1 4202560 2140 0 0 0 68 1 0 0 21 0 5 0 1129129986 25702400 5619 4294967295 134512640 135180984 3217428400 3086688048 134523821 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21129/tid=21133] ppid=21127 vsize=25100 CPUtime=0.65
/proc/21129/task/21133/stat : 21133 (satake) R 21127 21129 11369 0 -1 4202560 2151 0 0 0 65 0 0 0 20 0 5 0 1129129986 25702400 5619 4294967295 134512640 135180984 3217428400 3086622576 134528680 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 25100

[startup+1.51438 s]
/proc/loadavg: 2.80 2.96 2.99 4/120 21134
/proc/meminfo: memFree=2972312/3368532 swapFree=1941392/1959888
[pid=21129] ppid=21127 vsize=25100 CPUtime=4.45
/proc/21129/stat : 21129 (satake) S 21127 21129 11369 0 -1 4202496 6865 0 0 0 443 2 0 0 18 0 5 0 1129129986 25702400 5630 4294967295 134512640 135180984 3217428400 3217427836 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21129/statm: 6275 5630 68 164 0 6110 0
[pid=21129/tid=21130] ppid=21127 vsize=25100 CPUtime=0
/proc/21129/task/21130/stat : 21130 (satake) S 21127 21129 11369 0 -1 4202560 583 0 0 0 0 0 0 0 15 0 5 0 1129129986 25702400 5630 4294967295 134512640 135180984 3217428400 3086819344 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=21129/tid=21131] ppid=21127 vsize=25100 CPUtime=1.51
/proc/21129/task/21131/stat : 21131 (satake) R 21127 21129 11369 0 -1 4202560 1870 0 0 0 150 1 0 0 22 0 5 0 1129129986 25702400 5630 4294967295 134512640 135180984 3217428400 3086753664 134532622 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21129/tid=21132] ppid=21127 vsize=25100 CPUtime=1.49
/proc/21129/task/21132/stat : 21132 (satake) R 21127 21129 11369 0 -1 4202560 2145 0 0 0 148 1 0 0 24 0 5 0 1129129986 25702400 5630 4294967295 134512640 135180984 3217428400 3086688176 134532425 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21129/tid=21133] ppid=21127 vsize=25100 CPUtime=1.45
/proc/21129/task/21133/stat : 21133 (satake) R 21127 21129 11369 0 -1 4202560 2156 0 0 0 145 0 0 0 23 0 5 0 1129129986 25702400 5630 4294967295 134512640 135180984 3217428400 3086622464 134522961 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.45
Current children cumulated vsize (KiB) 25100

[startup+3.11432 s]
/proc/loadavg: 2.80 2.96 2.99 4/120 21134
/proc/meminfo: memFree=2972312/3368532 swapFree=1941392/1959888
[pid=21129] ppid=21127 vsize=25100 CPUtime=9.25
/proc/21129/stat : 21129 (satake) S 21127 21129 11369 0 -1 4202496 6883 0 0 0 923 2 0 0 18 0 5 0 1129129986 25702400 5648 4294967295 134512640 135180984 3217428400 3217427836 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21129/statm: 6275 5648 68 164 0 6110 0
[pid=21129/tid=21130] ppid=21127 vsize=25100 CPUtime=0
/proc/21129/task/21130/stat : 21130 (satake) S 21127 21129 11369 0 -1 4202560 583 0 0 0 0 0 0 0 15 0 5 0 1129129986 25702400 5648 4294967295 134512640 135180984 3217428400 3086819344 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=21129/tid=21131] ppid=21127 vsize=25100 CPUtime=3.11
/proc/21129/task/21131/stat : 21131 (satake) R 21127 21129 11369 0 -1 4202560 1870 0 0 0 310 1 0 0 25 0 5 0 1129129986 25702400 5648 4294967295 134512640 135180984 3217428400 3086753648 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21129/tid=21132] ppid=21127 vsize=25100 CPUtime=3.09
/proc/21129/task/21132/stat : 21132 (satake) R 21127 21129 11369 0 -1 4202560 2157 0 0 0 308 1 0 0 25 0 5 0 1129129986 25702400 5648 4294967295 134512640 135180984 3217428400 3086688112 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21129/tid=21133] ppid=21127 vsize=25100 CPUtime=3.05
/proc/21129/task/21133/stat : 21133 (satake) R 21127 21129 11369 0 -1 4202560 2162 0 0 0 305 0 0 0 25 0 5 0 1129129986 25702400 5648 4294967295 134512640 135180984 3217428400 3086622568 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.25
Current children cumulated vsize (KiB) 25100

[startup+6.31419 s]
/proc/loadavg: 2.82 2.96 2.99 4/120 21134
/proc/meminfo: memFree=2972188/3368532 swapFree=1941392/1959888
[pid=21129] ppid=21127 vsize=26124 CPUtime=18.85
/proc/21129/stat : 21129 (satake) S 21127 21129 11369 0 -1 4202496 6917 0 0 0 1883 2 0 0 18 0 5 0 1129129986 26750976 5682 4294967295 134512640 135180984 3217428400 3217427836 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21129/statm: 6531 5682 68 164 0 6366 0
[pid=21129/tid=21130] ppid=21127 vsize=26124 CPUtime=0
/proc/21129/task/21130/stat : 21130 (satake) S 21127 21129 11369 0 -1 4202560 583 0 0 0 0 0 0 0 15 0 5 0 1129129986 26750976 5682 4294967295 134512640 135180984 3217428400 3086819344 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=21129/tid=21131] ppid=21127 vsize=26124 CPUtime=6.31
/proc/21129/task/21131/stat : 21131 (satake) R 21127 21129 11369 0 -1 4202560 1871 0 0 0 630 1 0 0 25 0 5 0 1129129986 26750976 5682 4294967295 134512640 135180984 3217428400 3086753640 134518214 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21129/tid=21132] ppid=21127 vsize=26124 CPUtime=6.29
/proc/21129/task/21132/stat : 21132 (satake) R 21127 21129 11369 0 -1 4202560 2165 0 0 0 628 1 0 0 25 0 5 0 1129129986 26750976 5682 4294967295 134512640 135180984 3217428400 3086688080 134522706 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21129/tid=21133] ppid=21127 vsize=26124 CPUtime=6.25
/proc/21129/task/21133/stat : 21133 (satake) R 21127 21129 11369 0 -1 4202560 2187 0 0 0 625 0 0 0 25 0 5 0 1129129986 26750976 5682 4294967295 134512640 135180984 3217428400 3086622576 134526964 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.85
Current children cumulated vsize (KiB) 26124

[startup+12.7139 s]
/proc/loadavg: 2.83 2.96 2.99 4/120 21134
/proc/meminfo: memFree=2972004/3368532 swapFree=1941392/1959888
[pid=21129] ppid=21127 vsize=26124 CPUtime=38.04
/proc/21129/stat : 21129 (satake) S 21127 21129 11369 0 -1 4202496 6989 0 0 0 3802 2 0 0 18 0 5 0 1129129986 26750976 5754 4294967295 134512640 135180984 3217428400 3217427836 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21129/statm: 6531 5754 68 164 0 6366 0
[pid=21129/tid=21130] ppid=21127 vsize=26124 CPUtime=0.01
/proc/21129/task/21130/stat : 21130 (satake) S 21127 21129 11369 0 -1 4202560 585 0 0 0 1 0 0 0 16 0 5 0 1129129986 26750976 5754 4294967295 134512640 135180984 3217428400 3086819344 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=21129/tid=21131] ppid=21127 vsize=26124 CPUtime=12.7
/proc/21129/task/21131/stat : 21131 (satake) R 21127 21129 11369 0 -1 4202560 1878 0 0 0 1269 1 0 0 25 0 5 0 1129129986 26750976 5754 4294967295 134512640 135180984 3217428400 3086753584 134523862 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21129/tid=21132] ppid=21127 vsize=26124 CPUtime=12.68
/proc/21129/task/21132/stat : 21132 (satake) R 21127 21129 11369 0 -1 4202560 2190 0 0 0 1267 1 0 0 25 0 5 0 1129129986 26750976 5754 4294967295 134512640 135180984 3217428400 3086688108 134518246 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21129/tid=21133] ppid=21127 vsize=26124 CPUtime=12.65
/proc/21129/task/21133/stat : 21133 (satake) R 21127 21129 11369 0 -1 4202560 2225 0 0 0 1265 0 0 0 25 0 5 0 1129129986 26750976 5754 4294967295 134512640 135180984 3217428400 3086622576 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 38.04
Current children cumulated vsize (KiB) 26124

[startup+25.5134 s]
/proc/loadavg: 2.87 2.97 2.99 4/120 21135
/proc/meminfo: memFree=2970952/3368532 swapFree=1941392/1959888
[pid=21129] ppid=21127 vsize=26536 CPUtime=76.43
/proc/21129/stat : 21129 (satake) S 21127 21129 11369 0 -1 4202496 7258 0 0 0 7630 13 0 0 18 0 5 0 1129129986 27172864 6023 4294967295 134512640 135180984 3217428400 3217427836 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21129/statm: 6634 6023 68 164 0 6469 0
[pid=21129/tid=21130] ppid=21127 vsize=26536 CPUtime=0.07
/proc/21129/task/21130/stat : 21130 (satake) S 21127 21129 11369 0 -1 4202560 592 0 0 0 5 2 0 0 16 0 5 0 1129129986 27172864 6023 4294967295 134512640 135180984 3217428400 3086819344 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=21129/tid=21131] ppid=21127 vsize=26536 CPUtime=25.44
/proc/21129/task/21131/stat : 21131 (satake) R 21127 21129 11369 0 -1 4202560 1962 0 0 0 2542 2 0 0 25 0 5 0 1129129986 27172864 6023 4294967295 134512640 135180984 3217428400 3086753648 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21129/tid=21132] ppid=21127 vsize=26536 CPUtime=25.48
/proc/21129/task/21132/stat : 21132 (satake) R 21127 21129 11369 0 -1 4202560 2264 0 0 0 2544 4 0 0 25 0 5 0 1129129986 27172864 6023 4294967295 134512640 135180984 3217428400 3086688112 134528470 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21129/tid=21133] ppid=21127 vsize=26536 CPUtime=25.44
/proc/21129/task/21133/stat : 21133 (satake) R 21127 21129 11369 0 -1 4202560 2329 0 0 0 2539 5 0 0 25 0 5 0 1129129986 27172864 6023 4294967295 134512640 135180984 3217428400 3086622568 134519912 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 76.43
Current children cumulated vsize (KiB) 26536

[startup+51.1124 s]
/proc/loadavg: 2.91 2.97 2.99 4/120 21321
/proc/meminfo: memFree=2966456/3368532 swapFree=1941392/1959888
[pid=21129] ppid=21127 vsize=29400 CPUtime=153.14
/proc/21129/stat : 21129 (satake) S 21127 21129 11369 0 -1 4202496 7817 0 0 0 15291 23 0 0 18 0 5 0 1129129986 30105600 6582 4294967295 134512640 135180984 3217428400 3217427836 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21129/statm: 7350 6582 68 164 0 7185 0
[pid=21129/tid=21130] ppid=21127 vsize=29400 CPUtime=0.13
/proc/21129/task/21130/stat : 21130 (satake) S 21127 21129 11369 0 -1 4202560 607 0 0 0 7 6 0 0 15 0 5 0 1129129986 30105600 6582 4294967295 134512640 135180984 3217428400 3086819344 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=21129/tid=21131] ppid=21127 vsize=29400 CPUtime=50.96
/proc/21129/task/21131/stat : 21131 (satake) R 21127 21129 11369 0 -1 4202560 2145 0 0 0 5092 4 0 0 25 0 5 0 1129129986 30105600 6582 4294967295 134512640 135180984 3217428400 3086753584 134523737 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21129/tid=21132] ppid=21127 vsize=29400 CPUtime=51.07
/proc/21129/task/21132/stat : 21132 (satake) R 21127 21129 11369 0 -1 4202560 2456 0 0 0 5103 4 0 0 25 0 5 0 1129129986 30105600 6582 4294967295 134512640 135180984 3217428400 3086688112 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21129/tid=21133] ppid=21127 vsize=29400 CPUtime=50.98
/proc/21129/task/21133/stat : 21133 (satake) R 21127 21129 11369 0 -1 4202560 2498 0 0 0 5089 9 0 0 25 0 5 0 1129129986 30105600 6582 4294967295 134512640 135180984 3217428400 3086622576 134528754 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 153.14
Current children cumulated vsize (KiB) 29400

[startup+102.31 s]
/proc/loadavg: 2.96 2.97 2.99 4/120 21324

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

[pid=21129/tid=21131] ppid=21127 vsize=64292 CPUtime=521.81
/proc/21129/task/21131/stat : 21131 (satake) R 21127 21129 11369 0 -1 4202560 4215 0 0 0 52151 30 0 0 25 0 5 0 1129129986 65835008 14989 4294967295 134512640 135180984 3217428400 3086753648 134526384 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21129/tid=21132] ppid=21127 vsize=64292 CPUtime=522.13
/proc/21129/task/21132/stat : 21132 (satake) R 21127 21129 11369 0 -1 4202560 5007 0 0 0 52195 18 0 0 25 0 5 0 1129129986 65835008 14989 4294967295 134512640 135180984 3217428400 3086688108 134518208 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21129/tid=21133] ppid=21127 vsize=64292 CPUtime=521.55
/proc/21129/task/21133/stat : 21133 (satake) R 21127 21129 11369 0 -1 4202560 6139 0 0 0 52127 28 0 0 25 0 5 0 1129129986 65835008 14989 4294967295 134512640 135180984 3217428400 3086622576 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1566.27
Current children cumulated vsize (KiB) 64292

[startup+582.311 s]
/proc/loadavg: 2.99 2.97 2.99 4/120 22838
/proc/meminfo: memFree=2931116/3368532 swapFree=1941392/1959888
[pid=21129] ppid=21127 vsize=67460 CPUtime=1746.18
/proc/21129/stat : 21129 (satake) S 21127 21129 11369 0 -1 4202496 17086 0 0 0 174476 142 0 0 18 0 5 0 1129129986 69079040 15851 4294967295 134512640 135180984 3217428400 3217427836 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21129/statm: 16865 15851 68 164 0 16700 0
[pid=21129/tid=21130] ppid=21127 vsize=67460 CPUtime=0.84
/proc/21129/task/21130/stat : 21130 (satake) S 21127 21129 11369 0 -1 4202560 767 0 0 0 21 63 0 0 15 0 5 0 1129129986 69079040 15851 4294967295 134512640 135180984 3217428400 3086819344 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=21129/tid=21131] ppid=21127 vsize=67460 CPUtime=581.76
/proc/21129/task/21131/stat : 21131 (satake) R 21127 21129 11369 0 -1 4202560 4430 0 0 0 58146 30 0 0 25 0 5 0 1129129986 69079040 15851 4294967295 134512640 135180984 3217428400 3086753580 134518208 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21129/tid=21132] ppid=21127 vsize=67460 CPUtime=582.13
/proc/21129/task/21132/stat : 21132 (satake) R 21127 21129 11369 0 -1 4202560 5340 0 0 0 58194 19 0 0 25 0 5 0 1129129986 69079040 15851 4294967295 134512640 135180984 3217428400 3086688008 134519103 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21129/tid=21133] ppid=21127 vsize=67460 CPUtime=581.45
/proc/21129/task/21133/stat : 21133 (satake) R 21127 21129 11369 0 -1 4202560 6438 0 0 0 58115 30 0 0 25 0 5 0 1129129986 69079040 15851 4294967295 134512640 135180984 3217428400 3086622576 134528519 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1746.18
Current children cumulated vsize (KiB) 67460

[startup+642.309 s]
/proc/loadavg: 2.99 2.97 2.99 4/120 23026
/proc/meminfo: memFree=2926792/3368532 swapFree=1941392/1959888
[pid=21129] ppid=21127 vsize=71112 CPUtime=1926.08
/proc/21129/stat : 21129 (satake) S 21127 21129 11369 0 -1 4202496 18063 0 0 0 192455 153 0 0 18 0 5 0 1129129986 72818688 16828 4294967295 134512640 135180984 3217428400 3217427836 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21129/statm: 17778 16828 68 164 0 17613 0
[pid=21129/tid=21130] ppid=21127 vsize=71112 CPUtime=0.86
/proc/21129/task/21130/stat : 21130 (satake) S 21127 21129 11369 0 -1 4202560 777 0 0 0 21 65 0 0 15 0 5 0 1129129986 72818688 16828 4294967295 134512640 135180984 3217428400 3086819344 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=21129/tid=21131] ppid=21127 vsize=71112 CPUtime=641.73
/proc/21129/task/21131/stat : 21131 (satake) R 21127 21129 11369 0 -1 4202560 4748 0 0 0 64141 32 0 0 25 0 5 0 1129129986 72818688 16828 4294967295 134512640 135180984 3217428400 3086753648 134526408 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21129/tid=21132] ppid=21127 vsize=71112 CPUtime=642.1
/proc/21129/task/21132/stat : 21132 (satake) R 21127 21129 11369 0 -1 4202560 5681 0 0 0 64186 24 0 0 25 0 5 0 1129129986 72818688 16828 4294967295 134512640 135180984 3217428400 3086688064 134527326 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21129/tid=21133] ppid=21127 vsize=71112 CPUtime=641.39
/proc/21129/task/21133/stat : 21133 (satake) R 21127 21129 11369 0 -1 4202560 6746 0 0 0 64107 32 0 0 25 0 5 0 1129129986 72818688 16828 4294967295 134512640 135180984 3217428400 3086622576 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1926.08
Current children cumulated vsize (KiB) 71112

[startup+702.306 s]
/proc/loadavg: 2.99 2.97 2.99 4/120 23212
/proc/meminfo: memFree=2924576/3368532 swapFree=1941392/1959888
[pid=21129] ppid=21127 vsize=75568 CPUtime=2105.92
/proc/21129/stat : 21129 (satake) S 21127 21129 11369 0 -1 4202496 18778 0 0 0 210429 163 0 0 18 0 5 0 1129129986 77381632 17543 4294967295 134512640 135180984 3217428400 3217427836 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21129/statm: 18892 17543 68 164 0 18727 0
[pid=21129/tid=21130] ppid=21127 vsize=75568 CPUtime=0.92
/proc/21129/task/21130/stat : 21130 (satake) S 21127 21129 11369 0 -1 4202560 789 0 0 0 22 70 0 0 16 0 5 0 1129129986 77381632 17543 4294967295 134512640 135180984 3217428400 3086819344 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=21129/tid=21131] ppid=21127 vsize=75568 CPUtime=701.68
/proc/21129/task/21131/stat : 21131 (satake) R 21127 21129 11369 0 -1 4202560 5009 0 0 0 70134 34 0 0 25 0 5 0 1129129986 77381632 17543 4294967295 134512640 135180984 3217428400 3086753648 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21129/tid=21132] ppid=21127 vsize=75568 CPUtime=702.06
/proc/21129/task/21132/stat : 21132 (satake) R 21127 21129 11369 0 -1 4202560 5892 0 0 0 70181 25 0 0 25 0 5 0 1129129986 77381632 17543 4294967295 134512640 135180984 3217428400 3086688112 134528034 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21129/tid=21133] ppid=21127 vsize=75568 CPUtime=701.26
/proc/21129/task/21133/stat : 21133 (satake) R 21127 21129 11369 0 -1 4202560 6977 0 0 0 70092 34 0 0 25 0 5 0 1129129986 77381632 17543 4294967295 134512640 135180984 3217428400 3086622464 134522972 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2105.92
Current children cumulated vsize (KiB) 75568

[startup+762.314 s]
/proc/loadavg: 2.99 2.97 2.99 4/120 23400
/proc/meminfo: memFree=2921228/3368532 swapFree=1941392/1959888
[pid=21129] ppid=21127 vsize=78144 CPUtime=2285.85
/proc/21129/stat : 21129 (satake) S 21127 21129 11369 0 -1 4202496 19489 0 0 0 228410 175 0 0 18 0 5 0 1129129986 80019456 18254 4294967295 134512640 135180984 3217428400 3217427836 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21129/statm: 19536 18254 68 164 0 19371 0
[pid=21129/tid=21130] ppid=21127 vsize=78144 CPUtime=0.99
/proc/21129/task/21130/stat : 21130 (satake) S 21127 21129 11369 0 -1 4202560 801 0 0 0 22 77 0 0 16 0 5 0 1129129986 80019456 18254 4294967295 134512640 135180984 3217428400 3086819344 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=21129/tid=21131] ppid=21127 vsize=78144 CPUtime=761.65
/proc/21129/task/21131/stat : 21131 (satake) R 21127 21129 11369 0 -1 4202560 5258 0 0 0 76130 35 0 0 25 0 5 0 1129129986 80019456 18254 4294967295 134512640 135180984 3217428400 3086753648 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21129/tid=21132] ppid=21127 vsize=78144 CPUtime=762.03
/proc/21129/task/21132/stat : 21132 (satake) R 21127 21129 11369 0 -1 4202560 6119 0 0 0 76177 26 0 0 25 0 5 0 1129129986 80019456 18254 4294967295 134512640 135180984 3217428400 3086688104 134520863 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21129/tid=21133] ppid=21127 vsize=78144 CPUtime=761.18
/proc/21129/task/21133/stat : 21133 (satake) R 21127 21129 11369 0 -1 4202560 7200 0 0 0 76081 37 0 0 25 0 5 0 1129129986 80019456 18254 4294967295 134512640 135180984 3217428400 3086622568 134520907 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2285.85
Current children cumulated vsize (KiB) 78144

[startup+822.312 s]
/proc/loadavg: 2.99 2.97 2.99 4/120 23588
/proc/meminfo: memFree=2918748/3368532 swapFree=1941392/1959888
[pid=21129] ppid=21127 vsize=80388 CPUtime=2465.7
/proc/21129/stat : 21129 (satake) S 21127 21129 11369 0 -1 4202496 20272 0 0 0 246384 186 0 0 18 0 5 0 1129129986 82317312 19037 4294967295 134512640 135180984 3217428400 3217427836 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21129/statm: 20097 19037 68 164 0 19932 0
[pid=21129/tid=21130] ppid=21127 vsize=80388 CPUtime=1.03
/proc/21129/task/21130/stat : 21130 (satake) S 21127 21129 11369 0 -1 4202560 814 0 0 0 22 81 0 0 16 0 5 0 1129129986 82317312 19037 4294967295 134512640 135180984 3217428400 3086819344 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=21129/tid=21131] ppid=21127 vsize=80388 CPUtime=821.61
/proc/21129/task/21131/stat : 21131 (satake) R 21127 21129 11369 0 -1 4202560 5541 0 0 0 82124 37 0 0 25 0 5 0 1129129986 82317312 19037 4294967295 134512640 135180984 3217428400 3086753648 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21129/tid=21132] ppid=21127 vsize=80388 CPUtime=822
/proc/21129/task/21132/stat : 21132 (satake) R 21127 21129 11369 0 -1 4202560 6402 0 0 0 82171 29 0 0 25 0 5 0 1129129986 82317312 19037 4294967295 134512640 135180984 3217428400 3086688104 134520863 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21129/tid=21133] ppid=21127 vsize=80388 CPUtime=821.06
/proc/21129/task/21133/stat : 21133 (satake) R 21127 21129 11369 0 -1 4202560 7404 0 0 0 82067 39 0 0 25 0 5 0 1129129986 82317312 19037 4294967295 134512640 135180984 3217428400 3086622464 134522992 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2465.7
Current children cumulated vsize (KiB) 80388

[startup+882.309 s]
/proc/loadavg: 2.99 2.97 2.99 4/120 23777
/proc/meminfo: memFree=2915888/3368532 swapFree=1941392/1959888
[pid=21129] ppid=21127 vsize=83988 CPUtime=2645.68
/proc/21129/stat : 21129 (satake) S 21127 21129 11369 0 -1 4202496 20948 0 0 0 264375 193 0 0 18 0 5 0 1129129986 86003712 19713 4294967295 134512640 135180984 3217428400 3217427836 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21129/statm: 20997 19713 68 164 0 20832 0
[pid=21129/tid=21130] ppid=21127 vsize=83988 CPUtime=1.05
/proc/21129/task/21130/stat : 21130 (satake) S 21127 21129 11369 0 -1 4202560 826 0 0 0 22 83 0 0 15 0 5 0 1129129986 86003712 19713 4294967295 134512640 135180984 3217428400 3086819344 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=21129/tid=21131] ppid=21127 vsize=83988 CPUtime=881.58
/proc/21129/task/21131/stat : 21131 (satake) R 21127 21129 11369 0 -1 4202560 5819 0 0 0 88120 38 0 0 25 0 5 0 1129129986 86003712 19713 4294967295 134512640 135180984 3217428400 3086753648 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21129/tid=21132] ppid=21127 vsize=83988 CPUtime=881.99
/proc/21129/task/21132/stat : 21132 (satake) R 21127 21129 11369 0 -1 4202560 6584 0 0 0 88166 33 0 0 25 0 5 0 1129129986 86003712 19713 4294967295 134512640 135180984 3217428400 3086688096 134519095 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21129/tid=21133] ppid=21127 vsize=83988 CPUtime=881.06
/proc/21129/task/21133/stat : 21133 (satake) R 21127 21129 11369 0 -1 4202560 7608 0 0 0 88067 39 0 0 25 0 5 0 1129129986 86003712 19713 4294967295 134512640 135180984 3217428400 3086622576 134528881 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2645.68
Current children cumulated vsize (KiB) 83988

[startup+942.317 s]
/proc/loadavg: 2.99 2.97 2.99 4/120 23965
/proc/meminfo: memFree=2912904/3368532 swapFree=1941392/1959888
[pid=21129] ppid=21127 vsize=87412 CPUtime=2825.6
/proc/21129/stat : 21129 (satake) S 21127 21129 11369 0 -1 4202496 21698 0 0 0 282357 203 0 0 18 0 5 0 1129129986 89509888 20463 4294967295 134512640 135180984 3217428400 3217427836 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21129/statm: 21853 20463 68 164 0 21688 0
[pid=21129/tid=21130] ppid=21127 vsize=87412 CPUtime=1.1
/proc/21129/task/21130/stat : 21130 (satake) S 21127 21129 11369 0 -1 4202560 835 0 0 0 22 88 0 0 16 0 5 0 1129129986 89509888 20463 4294967295 134512640 135180984 3217428400 3086819344 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=21129/tid=21131] ppid=21127 vsize=87412 CPUtime=941.54
/proc/21129/task/21131/stat : 21131 (satake) R 21127 21129 11369 0 -1 4202560 6063 0 0 0 94113 41 0 0 25 0 5 0 1129129986 89509888 20463 4294967295 134512640 135180984 3217428400 3086753536 134522790 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21129/tid=21132] ppid=21127 vsize=87412 CPUtime=941.99
/proc/21129/task/21132/stat : 21132 (satake) R 21127 21129 11369 0 -1 4202560 6741 0 0 0 94166 33 0 0 25 0 5 0 1129129986 89509888 20463 4294967295 134512640 135180984 3217428400 3086688112 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21129/tid=21133] ppid=21127 vsize=87412 CPUtime=940.97
/proc/21129/task/21133/stat : 21133 (satake) R 21127 21129 11369 0 -1 4202560 7948 0 0 0 94056 41 0 0 25 0 5 0 1129129986 89509888 20463 4294967295 134512640 135180984 3217428400 3086622512 134523778 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2825.6
Current children cumulated vsize (KiB) 87412



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 2.99 2.97 2.99 4/120 24155
/proc/meminfo: memFree=2910440/3368532 swapFree=1941392/1959888
[pid=21129] ppid=21127 vsize=89424 CPUtime=2998.61
/proc/21129/stat : 21129 (satake) S 21127 21129 11369 0 -1 4202496 22354 0 0 0 299649 212 0 0 18 0 5 0 1129129986 91570176 21119 4294967295 134512640 135180984 3217428400 3217427836 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21129/statm: 22356 21119 68 164 0 22191 0
[pid=21129/tid=21130] ppid=21127 vsize=89424 CPUtime=1.14
/proc/21129/task/21130/stat : 21130 (satake) S 21127 21129 11369 0 -1 4202560 844 0 0 0 23 91 0 0 16 0 5 0 1129129986 91570176 21119 4294967295 134512640 135180984 3217428400 3086819344 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=21129/tid=21131] ppid=21127 vsize=89424 CPUtime=999.21
/proc/21129/task/21131/stat : 21131 (satake) R 21127 21129 11369 0 -1 4202560 6236 0 0 0 99879 42 0 0 25 0 5 0 1129129986 91570176 21119 4294967295 134512640 135180984 3217428400 3086753648 134528568 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21129/tid=21132] ppid=21127 vsize=89424 CPUtime=999.69
/proc/21129/task/21132/stat : 21132 (satake) R 21127 21129 11369 0 -1 4202560 6948 0 0 0 99935 34 0 0 25 0 5 0 1129129986 91570176 21119 4294967295 134512640 135180984 3217428400 3086688128 134532624 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21129/tid=21133] ppid=21127 vsize=89424 CPUtime=998.57
/proc/21129/task/21133/stat : 21133 (satake) R 21127 21129 11369 0 -1 4202560 8215 0 0 0 99812 45 0 0 25 0 5 0 1129129986 91570176 21119 4294967295 134512640 135180984 3217428400 3086622512 134523635 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2998.61
Current children cumulated vsize (KiB) 89424

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): 2998.65
CPU user time (s): 2996.53
CPU system time (s): 2.12
CPU usage (%): 299.853
Max. virtual memory (cumulated for all children) (KiB): 89424

deleting IPC queue 12058624
deleting IPC queue 12091393
deleting IPC queue 12124162
deleting IPC queue 12156931
deleting IPC queue 12189700
deleting IPC queue 12222469
deleting IPC queue 12255238
deleting IPC queue 12288007
deleting IPC queue 12320776
deleting IPC queue 12353545
deleting IPC queue 12386314
deleting IPC queue 12419083
deleting IPC queue 12451852
deleting IPC queue 12484621
deleting IPC queue 12517390
deleting IPC queue 12550159

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2996.53
system time used= 2.12
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22354
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= 76798
involuntary context switches= 70695

runsolver used 0.01 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 02:48:22
IDJOB=1779475
IDBENCH=70864
IDSOLVER=629
FILE ID=/1779475-1243644502
PBS_JOBID=
Free space on /tmp= 15729 MiB

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

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

MD5SUM BENCH= d33264afbb7fa6f88a24b97cfc468c5a
RANDOM SEED= 1709796289

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:       2994000 kB
Buffers:         48636 kB
Cached:         239360 kB
SwapCached:       4320 kB
Active:         141696 kB
Inactive:       156884 kB
HighTotal:     2489216 kB
HighFree:      2237096 kB
LowTotal:       879316 kB
LowFree:        756904 kB
SwapTotal:     1959888 kB
SwapFree:      1941392 kB
Dirty:            2188 kB
Writeback:           0 kB
AnonPages:        9152 kB
Mapped:           4156 kB
Slab:            64888 kB
SReclaimable:    55948 kB
SUnreclaim:       8940 kB
PageTables:        820 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   127076 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15729 MiB
End job on  at 2009-05-30 03:05:04