Trace number 1779430

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

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-20-s100.cnf
MD5SUM5d7745a7593199a47cd1accba5810ed0
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 variables31503
Number of clauses94748
Sum of the clauses size223300
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 260816
Number of clauses of size 333868
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-1779430-1243643880/watcher-1779430-1243643880 -o /tmp/evaluation-result-1779430-1243643880/solver-1779430-1243643880 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779430-1243643880.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.08 5.18 5.17 7/107 11482
/proc/meminfo: memFree=2353888/3368532 swapFree=1954076/1959888
[pid=11479] ppid=11477 vsize=1096 CPUtime=0
/proc/11479/stat : 11479 (satake) R 11477 11479 3671 0 -1 4202496 110 0 0 0 0 0 0 0 21 0 4 0 1118489210 1122304 66 4294967295 134512640 135180984 3214597376 3214596720 134705812 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/11479/statm: 274 66 54 164 0 109 0
[pid=11479/tid=11480] ppid=11477 vsize=1096 CPUtime=0
/proc/11479/task/11480/stat : 11480 (satake) R 11477 11479 3671 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 1118489210 1122304 66 4294967295 134512640 135180984 3214597376 3086799684 134705812 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11479/tid=11481] ppid=11477 vsize=1096 CPUtime=0
/proc/11479/task/11481/stat : 11481 (satake) R 11477 11479 3671 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 1118489210 1122304 66 4294967295 134512640 135180984 3214597376 3086734148 134705812 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11479/tid=11482] ppid=11477 vsize=1096 CPUtime=0
/proc/11479/task/11482/stat : 11482 (satake) R 11477 11479 3671 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 1118489210 1122304 66 4294967295 134512640 135180984 3214597376 3086668612 134705812 0 0 0 0 0 0 0 -1 2 0 0 0

[startup+0.091508 s]
/proc/loadavg: 5.08 5.18 5.17 7/107 11482
/proc/meminfo: memFree=2353888/3368532 swapFree=1954076/1959888
[pid=11479] ppid=11477 vsize=21460 CPUtime=0.1
/proc/11479/stat : 11479 (satake) S 11477 11479 3671 0 -1 4202496 4825 0 0 0 10 0 0 0 22 0 5 0 1118489210 21975040 4752 4294967295 134512640 135180984 3214597376 3214596812 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11479/statm: 5365 4752 63 164 0 5200 0
[pid=11479/tid=11480] ppid=11477 vsize=21460 CPUtime=0
/proc/11479/task/11480/stat : 11480 (satake) S 11477 11479 3671 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 5 0 1118489210 21975040 4753 4294967295 134512640 135180984 3214597376 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=11479/tid=11481] ppid=11477 vsize=21460 CPUtime=0.02
/proc/11479/task/11481/stat : 11481 (satake) R 11477 11479 3671 0 -1 4202560 1442 0 0 0 2 0 0 0 23 0 5 0 1118489210 21975040 4753 4294967295 134512640 135180984 3214597376 3086733460 134579486 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11479/tid=11482] ppid=11477 vsize=21460 CPUtime=0.06
/proc/11479/task/11482/stat : 11482 (satake) R 11477 11479 3671 0 -1 4202560 1712 0 0 0 6 0 0 0 23 0 5 0 1118489210 21975040 4753 4294967295 134512640 135180984 3214597376 3086667864 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 21460

[startup+0.11151 s]
/proc/loadavg: 5.08 5.18 5.17 7/107 11482
/proc/meminfo: memFree=2353888/3368532 swapFree=1954076/1959888
[pid=11479] ppid=11477 vsize=23040 CPUtime=0.13
/proc/11479/stat : 11479 (satake) S 11477 11479 3671 0 -1 4202496 5065 0 0 0 13 0 0 0 22 0 5 0 1118489210 23592960 4992 4294967295 134512640 135180984 3214597376 3214596812 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11479/statm: 5760 4994 63 164 0 5595 0
[pid=11479/tid=11480] ppid=11477 vsize=23040 CPUtime=0
/proc/11479/task/11480/stat : 11480 (satake) S 11477 11479 3671 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 5 0 1118489210 23592960 4995 4294967295 134512640 135180984 3214597376 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=11479/tid=11481] ppid=11477 vsize=23040 CPUtime=0.02
/proc/11479/task/11481/stat : 11481 (satake) R 11477 11479 3671 0 -1 4202560 1475 0 0 0 2 0 0 0 23 0 5 0 1118489210 23592960 4995 4294967295 134512640 135180984 3214597376 3086733524 134579745 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11479/tid=11482] ppid=11477 vsize=23040 CPUtime=0.08
/proc/11479/task/11482/stat : 11482 (satake) R 11477 11479 3671 0 -1 4202560 1833 0 0 0 8 0 0 0 23 0 5 0 1118489210 23592960 4995 4294967295 134512640 135180984 3214597376 3086667972 134706046 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 23040

[startup+0.311493 s]
/proc/loadavg: 5.08 5.18 5.17 7/107 11482
/proc/meminfo: memFree=2353888/3368532 swapFree=1954076/1959888
[pid=11479] ppid=11477 vsize=23980 CPUtime=0.53
/proc/11479/stat : 11479 (satake) S 11477 11479 3671 0 -1 4202496 6510 0 0 0 53 0 0 0 22 0 5 0 1118489210 24555520 5309 4294967295 134512640 135180984 3214597376 3214596812 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11479/statm: 5995 5309 66 164 0 5830 0
[pid=11479/tid=11480] ppid=11477 vsize=23980 CPUtime=0.01
/proc/11479/task/11480/stat : 11480 (satake) S 11477 11479 3671 0 -1 4202560 559 0 0 0 1 0 0 0 20 0 5 0 1118489210 24555520 5309 4294967295 134512640 135180984 3214597376 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=11479/tid=11481] ppid=11477 vsize=23980 CPUtime=0.08
/proc/11479/task/11481/stat : 11481 (satake) R 11477 11479 3671 0 -1 4202560 1929 0 0 0 8 0 0 0 22 0 5 0 1118489210 24555520 5309 4294967295 134512640 135180984 3214597376 3086733104 134523819 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11479/tid=11482] ppid=11477 vsize=23980 CPUtime=0.21
/proc/11479/task/11482/stat : 11482 (satake) R 11477 11479 3671 0 -1 4202560 1975 0 0 0 21 0 0 0 23 0 5 0 1118489210 24555520 5309 4294967295 134512640 135180984 3214597376 3086667584 134527257 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 23980

[startup+0.711465 s]
/proc/loadavg: 5.08 5.18 5.17 7/107 11482
/proc/meminfo: memFree=2353888/3368532 swapFree=1954076/1959888
[pid=11479] ppid=11477 vsize=24112 CPUtime=1.33
/proc/11479/stat : 11479 (satake) S 11477 11479 3671 0 -1 4202496 6577 0 0 0 133 0 0 0 22 0 5 0 1118489210 24690688 5376 4294967295 134512640 135180984 3214597376 3214596812 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11479/statm: 6028 5376 68 164 0 5863 0
[pid=11479/tid=11480] ppid=11477 vsize=24112 CPUtime=0.01
/proc/11479/task/11480/stat : 11480 (satake) S 11477 11479 3671 0 -1 4202560 560 0 0 0 1 0 0 0 16 0 5 0 1118489210 24690688 5376 4294967295 134512640 135180984 3214597376 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=11479/tid=11481] ppid=11477 vsize=24112 CPUtime=0.32
/proc/11479/task/11481/stat : 11481 (satake) R 11477 11479 3671 0 -1 4202560 1985 0 0 0 32 0 0 0 24 0 5 0 1118489210 24690688 5376 4294967295 134512640 135180984 3214597376 3086732972 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11479/tid=11482] ppid=11477 vsize=24112 CPUtime=0.37
/proc/11479/task/11482/stat : 11482 (satake) R 11477 11479 3671 0 -1 4202560 1979 0 0 0 37 0 0 0 23 0 5 0 1118489210 24690688 5376 4294967295 134512640 135180984 3214597376 3086667628 134518208 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 24112

[startup+1.51141 s]
/proc/loadavg: 5.08 5.18 5.17 7/109 11484
/proc/meminfo: memFree=2332280/3368532 swapFree=1954076/1959888
[pid=11479] ppid=11477 vsize=24276 CPUtime=2.93
/proc/11479/stat : 11479 (satake) S 11477 11479 3671 0 -1 4202496 6605 0 0 0 293 0 0 0 22 0 5 0 1118489210 24858624 5404 4294967295 134512640 135180984 3214597376 3214596812 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11479/statm: 6069 5404 68 164 0 5904 0
[pid=11479/tid=11480] ppid=11477 vsize=24276 CPUtime=0.01
/proc/11479/task/11480/stat : 11480 (satake) S 11477 11479 3671 0 -1 4202560 561 0 0 0 1 0 0 0 15 0 5 0 1118489210 24858624 5404 4294967295 134512640 135180984 3214597376 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=11479/tid=11481] ppid=11477 vsize=24276 CPUtime=0.68
/proc/11479/task/11481/stat : 11481 (satake) R 11477 11479 3671 0 -1 4202560 1987 0 0 0 68 0 0 0 25 0 5 0 1118489210 24858624 5404 4294967295 134512640 135180984 3214597376 3086733168 134528271 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11479/tid=11482] ppid=11477 vsize=24276 CPUtime=0.81
/proc/11479/task/11482/stat : 11482 (satake) R 11477 11479 3671 0 -1 4202560 2003 0 0 0 81 0 0 0 25 0 5 0 1118489210 24858624 5404 4294967295 134512640 135180984 3214597376 3086667628 134518208 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11479/tid=11484] ppid=11477 vsize=24276 CPUtime=1.43
/proc/11479/task/11484/stat : 11484 (satake) R 11477 11479 3671 0 -1 4202560 1943 0 0 0 143 0 0 0 25 0 5 0 1118489212 24858624 5404 4294967295 134512640 135180984 3214597376 3077029676 134518208 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) 24276

[startup+3.1113 s]
/proc/loadavg: 5.08 5.18 5.17 7/109 11484
/proc/meminfo: memFree=2332152/3368532 swapFree=1954076/1959888
[pid=11479] ppid=11477 vsize=24604 CPUtime=6.13
/proc/11479/stat : 11479 (satake) S 11477 11479 3671 0 -1 4202496 6650 0 0 0 613 0 0 0 22 0 5 0 1118489210 25194496 5449 4294967295 134512640 135180984 3214597376 3214596812 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11479/statm: 6151 5449 68 164 0 5986 0
[pid=11479/tid=11480] ppid=11477 vsize=24604 CPUtime=0.01
/proc/11479/task/11480/stat : 11480 (satake) S 11477 11479 3671 0 -1 4202560 561 0 0 0 1 0 0 0 15 0 5 0 1118489210 25194496 5449 4294967295 134512640 135180984 3214597376 3086798868 134580588 0 0 0 0 3223036975 0 0 -1 0 0 0 0
[pid=11479/tid=11481] ppid=11477 vsize=24604 CPUtime=1.55
/proc/11479/task/11481/stat : 11481 (satake) R 11477 11479 3671 0 -1 4202560 2010 0 0 0 155 0 0 0 25 0 5 0 1118489210 25194496 5449 4294967295 134512640 135180984 3214597376 3086732972 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11479/tid=11482] ppid=11477 vsize=24604 CPUtime=1.54
/proc/11479/task/11482/stat : 11482 (satake) R 11477 11479 3671 0 -1 4202560 2003 0 0 0 154 0 0 0 25 0 5 0 1118489210 25194496 5449 4294967295 134512640 135180984 3214597376 3086667624 134520860 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11479/tid=11484] ppid=11477 vsize=24604 CPUtime=3.03
/proc/11479/task/11484/stat : 11484 (satake) R 11477 11479 3671 0 -1 4202560 1965 0 0 0 303 0 0 0 25 0 5 0 1118489212 25194496 5449 4294967295 134512640 135180984 3214597376 3077029744 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 24604

[startup+6.31108 s]
/proc/loadavg: 5.07 5.18 5.17 8/110 11519
/proc/meminfo: memFree=2331756/3368532 swapFree=1954076/1959888
[pid=11479] ppid=11477 vsize=24604 CPUtime=12.5
/proc/11479/stat : 11479 (satake) S 11477 11479 3671 0 -1 4202496 6654 0 0 0 1245 5 0 0 22 0 5 0 1118489210 25194496 5453 4294967295 134512640 135180984 3214597376 3214596812 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11479/statm: 6151 5453 68 164 0 5986 0
[pid=11479/tid=11480] ppid=11477 vsize=24604 CPUtime=0.04
/proc/11479/task/11480/stat : 11480 (satake) S 11477 11479 3671 0 -1 4202560 561 0 0 0 2 2 0 0 15 0 5 0 1118489210 25194496 5453 4294967295 134512640 135180984 3214597376 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=11479/tid=11481] ppid=11477 vsize=24604 CPUtime=3.09
/proc/11479/task/11481/stat : 11481 (satake) R 11477 11479 3671 0 -1 4202560 2014 0 0 0 309 0 0 0 25 0 5 0 1118489210 25194496 5453 4294967295 134512640 135180984 3214597376 3086733104 134523751 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11479/tid=11482] ppid=11477 vsize=24604 CPUtime=4.72
/proc/11479/task/11482/stat : 11482 (satake) R 11477 11479 3671 0 -1 4202560 2003 0 0 0 469 3 0 0 25 0 5 0 1118489210 25194496 5453 4294967295 134512640 135180984 3214597376 3086667520 134522980 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11479/tid=11484] ppid=11477 vsize=24604 CPUtime=4.65
/proc/11479/task/11484/stat : 11484 (satake) R 11477 11479 3671 0 -1 4202560 1965 0 0 0 465 0 0 0 25 0 5 0 1118489212 25194496 5453 4294967295 134512640 135180984 3214597376 3077029672 134518224 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 24604

[startup+12.7106 s]
/proc/loadavg: 5.15 5.19 5.18 6/109 11668
/proc/meminfo: memFree=2331128/3368532 swapFree=1954076/1959888
[pid=11479] ppid=11477 vsize=25892 CPUtime=25.14
/proc/11479/stat : 11479 (satake) S 11477 11479 3671 0 -1 4202496 6745 0 0 0 2504 10 0 0 22 0 5 0 1118489210 26513408 5544 4294967295 134512640 135180984 3214597376 3214596812 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11479/statm: 6473 5544 68 164 0 6308 0
[pid=11479/tid=11480] ppid=11477 vsize=25892 CPUtime=0.07
/proc/11479/task/11480/stat : 11480 (satake) S 11477 11479 3671 0 -1 4202560 586 0 0 0 3 4 0 0 15 0 5 0 1118489210 26513408 5544 4294967295 134512640 135180984 3214597376 3086798868 134580588 0 0 0 0 3223036975 0 0 -1 0 0 0 0
[pid=11479/tid=11481] ppid=11477 vsize=25892 CPUtime=5.88
/proc/11479/task/11481/stat : 11481 (satake) R 11477 11479 3671 0 -1 4202560 2033 0 0 0 588 0 0 0 25 0 5 0 1118489210 26513408 5544 4294967295 134512640 135180984 3214597376 3086732972 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11479/tid=11482] ppid=11477 vsize=25892 CPUtime=9.57
/proc/11479/task/11482/stat : 11482 (satake) R 11477 11479 3671 0 -1 4202560 2023 0 0 0 953 4 0 0 25 0 5 0 1118489210 26513408 5544 4294967295 134512640 135180984 3214597376 3086667648 134532624 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11479/tid=11484] ppid=11477 vsize=25892 CPUtime=9.62
/proc/11479/task/11484/stat : 11484 (satake) R 11477 11479 3671 0 -1 4202560 1992 0 0 0 960 2 0 0 25 0 5 0 1118489212 26513408 5544 4294967295 134512640 135180984 3214597376 3077029744 134528925 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 25892

[startup+25.5098 s]
/proc/loadavg: 5.11 5.18 5.17 6/109 11669
/proc/meminfo: memFree=2330372/3368532 swapFree=1954076/1959888
[pid=11479] ppid=11477 vsize=26688 CPUtime=50.65
/proc/11479/stat : 11479 (satake) S 11477 11479 3671 0 -1 4202496 7022 0 0 0 5033 32 0 0 22 0 5 0 1118489210 27328512 5821 4294967295 134512640 135180984 3214597376 3214596812 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11479/statm: 6672 5821 68 164 0 6507 0
[pid=11479/tid=11480] ppid=11477 vsize=26688 CPUtime=0.28
/proc/11479/task/11480/stat : 11480 (satake) S 11477 11479 3671 0 -1 4202560 674 0 0 0 10 18 0 0 15 0 5 0 1118489210 27328512 5821 4294967295 134512640 135180984 3214597376 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=11479/tid=11481] ppid=11477 vsize=26688 CPUtime=15.85
/proc/11479/task/11481/stat : 11481 (satake) R 11477 11479 3671 0 -1 4202560 2106 0 0 0 1583 2 0 0 25 0 5 0 1118489210 27328512 5821 4294967295 134512640 135180984 3214597376 3086733104 134523699 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11479/tid=11482] ppid=11477 vsize=26688 CPUtime=15.97
/proc/11479/task/11482/stat : 11482 (satake) R 11477 11479 3671 0 -1 4202560 2082 0 0 0 1590 7 0 0 25 0 5 0 1118489210 27328512 5821 4294967295 134512640 135180984 3214597376 3086667564 134518208 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11479/tid=11484] ppid=11477 vsize=26688 CPUtime=18.55
/proc/11479/task/11484/stat : 11484 (satake) R 11477 11479 3671 0 -1 4202560 2049 0 0 0 1850 5 0 0 25 0 5 0 1118489212 27328512 5821 4294967295 134512640 135180984 3214597376 3077029680 134523677 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 26688

[startup+51.108 s]
/proc/loadavg: 5.07 5.16 5.17 6/109 11670
/proc/meminfo: memFree=2328568/3368532 swapFree=1954076/1959888
[pid=11479] ppid=11477 vsize=27948 CPUtime=101.69
/proc/11479/stat : 11479 (satake) S 11477 11479 3671 0 -1 4202496 7514 0 0 0 10088 81 0 0 22 0 5 0 1118489210 28618752 6313 4294967295 134512640 135180984 3214597376 3214596812 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11479/statm: 6987 6313 68 164 0 6822 0
[pid=11479/tid=11480] ppid=11477 vsize=27948 CPUtime=0.56
/proc/11479/task/11480/stat : 11480 (satake) S 11477 11479 3671 0 -1 4202560 842 0 0 0 15 41 0 0 15 0 5 0 1118489210 28618752 6313 4294967295 134512640 135180984 3214597376 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=11479/tid=11481] ppid=11477 vsize=27948 CPUtime=32.74
/proc/11479/task/11481/stat : 11481 (satake) R 11477 11479 3671 0 -1 4202560 2215 0 0 0 3265 9 0 0 25 0 5 0 1118489210 28618752 6313 4294967295 134512640 135180984 3214597376 3086733056 134523021 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11479/tid=11482] ppid=11477 vsize=27948 CPUtime=33.94
/proc/11479/task/11482/stat : 11482 (satake) R 11477 11479 3671 0 -1 4202560 2209 0 0 0 3379 15 0 0 25 0 5 0 1118489210 28618752 6313 4294967295 134512640 135180984 3214597376 3086667536 134525171 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11479/tid=11484] ppid=11477 vsize=27948 CPUtime=34.45
/proc/11479/task/11484/stat : 11484 (satake) R 11477 11479 3671 0 -1 4202560 2137 0 0 0 3429 16 0 0 25 0 5 0 1118489212 28618752 6313 4294967295 134512640 135180984 3214597376 3077029740 134520854 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 27948

[startup+102.315 s]
/proc/loadavg: 5.22 5.20 5.18 6/109 11860
/proc/meminfo: memFree=2323608/3368532 swapFree=1954076/1959888
[pid=11479] ppid=11477 vsize=32540 CPUtime=203.65
/proc/11479/stat : 11479 (satake) S 11477 11479 3671 0 -1 4202496 8495 0 0 0 20222 143 0 0 22 0 5 0 1118489210 33320960 7294 4294967295 134512640 135180984 3214597376 3214596812 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11479/statm: 8135 7294 68 164 0 7970 0
[pid=11479/tid=11480] ppid=11477 vsize=32540 CPUtime=0.97
/proc/11479/task/11480/stat : 11480 (satake) S 11477 11479 3671 0 -1 4202560 1142 0 0 0 25 72 0 0 15 0 5 0 1118489210 33320960 7294 4294967295 134512640 135180984 3214597376 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=11479/tid=11481] ppid=11477 vsize=32540 CPUtime=67.23
/proc/11479/task/11481/stat : 11481 (satake) R 11477 11479 3671 0 -1 4202560 2460 0 0 0 6706 17 0 0 25 0 5 0 1118489210 33320960 7294 4294967295 134512640 135180984 3214597376 3086733168 134528403 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11479/tid=11482] ppid=11477 vsize=32540 CPUtime=70.8
/proc/11479/task/11482/stat : 11482 (satake) R 11477 11479 3671 0 -1 4202560 2452 0 0 0 7059 21 0 0 25 0 5 0 1118489210 33320960 7294 4294967295 134512640 135180984 3214597376 3086667632 134528460 0 0 0 0 0 0 0 -1 0 0 0 0

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

[pid=11479/tid=11481] ppid=11477 vsize=65988 CPUtime=349.96
/proc/11479/task/11481/stat : 11481 (satake) R 11477 11479 3671 0 -1 4202560 4127 0 0 0 34895 101 0 0 25 0 5 0 1118489210 67571712 14835 4294967295 134512640 135180984 3214597376 3086733168 134525710 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11479/tid=11482] ppid=11477 vsize=65988 CPUtime=341.63
/proc/11479/task/11482/stat : 11482 (satake) R 11477 11479 3671 0 -1 4202560 4269 0 0 0 34051 112 0 0 25 0 5 0 1118489210 67571712 14835 4294967295 134512640 135180984 3214597376 3086667436 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11479/tid=11484] ppid=11477 vsize=65988 CPUtime=343.28
/proc/11479/task/11484/stat : 11484 (satake) R 11477 11479 3671 0 -1 4202560 4277 0 0 0 34201 127 0 0 25 0 5 0 1118489212 67571712 14835 4294967295 134512640 135180984 3214597376 3077029744 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1039.68
Current children cumulated vsize (KiB) 65988

[startup+582.312 s]
/proc/loadavg: 5.33 5.27 5.20 6/109 13371
/proc/meminfo: memFree=2282936/3368532 swapFree=1954076/1959888
[pid=11479] ppid=11477 vsize=70724 CPUtime=1159.24
/proc/11479/stat : 11479 (satake) S 11477 11479 3671 0 -1 4202496 16998 0 0 0 115169 755 0 0 22 0 5 0 1118489210 72421376 15797 4294967295 134512640 135180984 3214597376 3214596812 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11479/statm: 17681 15797 68 164 0 17516 0
[pid=11479/tid=11480] ppid=11477 vsize=70724 CPUtime=5.27
/proc/11479/task/11480/stat : 11480 (satake) S 11477 11479 3671 0 -1 4202560 3506 0 0 0 145 382 0 0 15 0 5 0 1118489210 72421376 15797 4294967295 134512640 135180984 3214597376 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=11479/tid=11481] ppid=11477 vsize=70724 CPUtime=390.89
/proc/11479/task/11481/stat : 11481 (satake) R 11477 11479 3671 0 -1 4202560 4333 0 0 0 38979 110 0 0 25 0 5 0 1118489210 72421376 15797 4294967295 134512640 135180984 3214597376 3086733056 134522980 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11479/tid=11482] ppid=11477 vsize=70724 CPUtime=381.83
/proc/11479/task/11482/stat : 11482 (satake) R 11477 11479 3671 0 -1 4202560 4508 0 0 0 38056 127 0 0 25 0 5 0 1118489210 72421376 15797 4294967295 134512640 135180984 3214597376 3086667632 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11479/tid=11484] ppid=11477 vsize=70724 CPUtime=381.25
/proc/11479/task/11484/stat : 11484 (satake) R 11477 11479 3671 0 -1 4202560 4540 0 0 0 37989 136 0 0 25 0 5 0 1118489212 72421376 15797 4294967295 134512640 135180984 3214597376 3077029632 134522970 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1159.24
Current children cumulated vsize (KiB) 70724

[startup+642.308 s]
/proc/loadavg: 5.42 5.30 5.21 6/109 13557
/proc/meminfo: memFree=2278480/3368532 swapFree=1954076/1959888
[pid=11479] ppid=11477 vsize=75260 CPUtime=1278.79
/proc/11479/stat : 11479 (satake) S 11477 11479 3671 0 -1 4202496 17946 0 0 0 127065 814 0 0 22 0 5 0 1118489210 77066240 16745 4294967295 134512640 135180984 3214597376 3214596812 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11479/statm: 18815 16745 68 164 0 18650 0
[pid=11479/tid=11480] ppid=11477 vsize=75260 CPUtime=5.65
/proc/11479/task/11480/stat : 11480 (satake) S 11477 11479 3671 0 -1 4202560 3724 0 0 0 153 412 0 0 15 0 5 0 1118489210 77066240 16745 4294967295 134512640 135180984 3214597376 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=11479/tid=11481] ppid=11477 vsize=75260 CPUtime=435.63
/proc/11479/task/11481/stat : 11481 (satake) R 11477 11479 3671 0 -1 4202560 4570 0 0 0 43444 119 0 0 25 0 5 0 1118489210 77066240 16745 4294967295 134512640 135180984 3214597376 3086733168 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11479/tid=11482] ppid=11477 vsize=75260 CPUtime=418.36
/proc/11479/task/11482/stat : 11482 (satake) R 11477 11479 3671 0 -1 4202560 4752 0 0 0 41699 137 0 0 25 0 5 0 1118489210 77066240 16745 4294967295 134512640 135180984 3214597376 3086667632 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11479/tid=11484] ppid=11477 vsize=75260 CPUtime=419.15
/proc/11479/task/11484/stat : 11484 (satake) R 11477 11479 3671 0 -1 4202560 4789 0 0 0 41769 146 0 0 25 0 5 0 1118489212 77066240 16745 4294967295 134512640 135180984 3214597376 3077029644 134519095 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1278.79
Current children cumulated vsize (KiB) 75260

[startup+702.313 s]
/proc/loadavg: 5.20 5.26 5.20 6/109 13746
/proc/meminfo: memFree=2273264/3368532 swapFree=1954076/1959888
[pid=11479] ppid=11477 vsize=80180 CPUtime=1398.46
/proc/11479/stat : 11479 (satake) S 11477 11479 3671 0 -1 4202496 18958 0 0 0 138959 887 0 0 22 0 5 0 1118489210 82104320 17757 4294967295 134512640 135180984 3214597376 3214596812 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11479/statm: 20045 17757 68 164 0 19880 0
[pid=11479/tid=11480] ppid=11477 vsize=80180 CPUtime=6.12
/proc/11479/task/11480/stat : 11480 (satake) S 11477 11479 3671 0 -1 4202560 3983 0 0 0 168 444 0 0 15 0 5 0 1118489210 82104320 17757 4294967295 134512640 135180984 3214597376 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=11479/tid=11481] ppid=11477 vsize=80180 CPUtime=474.35
/proc/11479/task/11481/stat : 11481 (satake) R 11477 11479 3671 0 -1 4202560 4789 0 0 0 47301 134 0 0 25 0 5 0 1118489210 82104320 17757 4294967295 134512640 135180984 3214597376 3086733160 134520896 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11479/tid=11482] ppid=11477 vsize=80180 CPUtime=461.34
/proc/11479/task/11482/stat : 11482 (satake) R 11477 11479 3671 0 -1 4202560 5027 0 0 0 45981 153 0 0 25 0 5 0 1118489210 82104320 17757 4294967295 134512640 135180984 3214597376 3086667568 134523635 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11479/tid=11484] ppid=11477 vsize=80180 CPUtime=456.65
/proc/11479/task/11484/stat : 11484 (satake) R 11477 11479 3671 0 -1 4202560 5048 0 0 0 45509 156 0 0 25 0 5 0 1118489212 82104320 17757 4294967295 134512640 135180984 3214597376 3077029744 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1398.46
Current children cumulated vsize (KiB) 80180

[startup+762.309 s]
/proc/loadavg: 5.21 5.25 5.20 5/109 13934
/proc/meminfo: memFree=2270668/3368532 swapFree=1954076/1959888
[pid=11479] ppid=11477 vsize=81780 CPUtime=1517.94
/proc/11479/stat : 11479 (satake) S 11477 11479 3671 0 -1 4202496 19535 0 0 0 150847 947 0 0 22 0 5 0 1118489210 83742720 18334 4294967295 134512640 135180984 3214597376 3214596812 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11479/statm: 20445 18334 68 164 0 20280 0
[pid=11479/tid=11480] ppid=11477 vsize=81780 CPUtime=6.53
/proc/11479/task/11480/stat : 11480 (satake) S 11477 11479 3671 0 -1 4202560 4124 0 0 0 177 476 0 0 15 0 5 0 1118489210 83742720 18334 4294967295 134512640 135180984 3214597376 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=11479/tid=11481] ppid=11477 vsize=81780 CPUtime=517.61
/proc/11479/task/11481/stat : 11481 (satake) R 11477 11479 3671 0 -1 4202560 4952 0 0 0 51618 143 0 0 25 0 5 0 1118489210 83742720 18334 4294967295 134512640 135180984 3214597376 3086733168 134526964 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11479/tid=11482] ppid=11477 vsize=81780 CPUtime=494.61
/proc/11479/task/11482/stat : 11482 (satake) R 11477 11479 3671 0 -1 4202560 5197 0 0 0 49300 161 0 0 25 0 5 0 1118489210 83742720 18334 4294967295 134512640 135180984 3214597376 3086667520 134522980 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11479/tid=11484] ppid=11477 vsize=81780 CPUtime=499.19
/proc/11479/task/11484/stat : 11484 (satake) R 11477 11479 3671 0 -1 4202560 5151 0 0 0 49752 167 0 0 25 0 5 0 1118489212 83742720 18334 4294967295 134512640 135180984 3214597376 3077029744 134528861 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1517.94
Current children cumulated vsize (KiB) 81780

[startup+822.315 s]
/proc/loadavg: 5.21 5.24 5.19 7/109 14122
/proc/meminfo: memFree=2268800/3368532 swapFree=1954076/1959888
[pid=11479] ppid=11477 vsize=82236 CPUtime=1637.52
/proc/11479/stat : 11479 (satake) S 11477 11479 3671 0 -1 4202496 19711 0 0 0 162742 1010 0 0 22 0 5 0 1118489210 84209664 18510 4294967295 134512640 135180984 3214597376 3214596812 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11479/statm: 20559 18510 68 164 0 20394 0
[pid=11479/tid=11480] ppid=11477 vsize=82236 CPUtime=6.92
/proc/11479/task/11480/stat : 11480 (satake) S 11477 11479 3671 0 -1 4202560 4210 0 0 0 193 499 0 0 15 0 5 0 1118489210 84209664 18510 4294967295 134512640 135180984 3214597376 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=11479/tid=11481] ppid=11477 vsize=82236 CPUtime=560.59
/proc/11479/task/11481/stat : 11481 (satake) R 11477 11479 3671 0 -1 4202560 4986 0 0 0 55905 154 0 0 25 0 5 0 1118489210 84209664 18510 4294967295 134512640 135180984 3214597376 3086733168 134528519 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11479/tid=11482] ppid=11477 vsize=82236 CPUtime=533.51
/proc/11479/task/11482/stat : 11482 (satake) R 11477 11479 3671 0 -1 4202560 5234 0 0 0 53176 175 0 0 25 0 5 0 1118489210 84209664 18510 4294967295 134512640 135180984 3214597376 3086667632 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11479/tid=11484] ppid=11477 vsize=82236 CPUtime=536.5
/proc/11479/task/11484/stat : 11484 (satake) R 11477 11479 3671 0 -1 4202560 5170 0 0 0 53468 182 0 0 25 0 5 0 1118489212 84209664 18510 4294967295 134512640 135180984 3214597376 3077029744 134528719 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1637.52
Current children cumulated vsize (KiB) 82236

[startup+882.311 s]
/proc/loadavg: 5.21 5.25 5.20 6/109 14310
/proc/meminfo: memFree=2266940/3368532 swapFree=1954076/1959888
[pid=11479] ppid=11477 vsize=82876 CPUtime=1756.89
/proc/11479/stat : 11479 (satake) S 11477 11479 3671 0 -1 4202496 19859 0 0 0 174613 1076 0 0 22 0 5 0 1118489210 84865024 18658 4294967295 134512640 135180984 3214597376 3214596812 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11479/statm: 20719 18658 68 164 0 20554 0
[pid=11479/tid=11480] ppid=11477 vsize=82876 CPUtime=7.43
/proc/11479/task/11480/stat : 11480 (satake) S 11477 11479 3671 0 -1 4202560 4337 0 0 0 214 529 0 0 15 0 5 0 1118489210 84865024 18658 4294967295 134512640 135180984 3214597376 3086798868 134580588 0 0 0 0 3223036975 0 0 -1 2 0 0 0
[pid=11479/tid=11481] ppid=11477 vsize=82876 CPUtime=599.54
/proc/11479/task/11481/stat : 11481 (satake) R 11477 11479 3671 0 -1 4202560 4987 0 0 0 59791 163 0 0 25 0 5 0 1118489210 84865024 18658 4294967295 134512640 135180984 3214597376 3086732972 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11479/tid=11482] ppid=11477 vsize=82876 CPUtime=571.21
/proc/11479/task/11482/stat : 11482 (satake) R 11477 11479 3671 0 -1 4202560 5241 0 0 0 56934 187 0 0 25 0 5 0 1118489210 84865024 18658 4294967295 134512640 135180984 3214597376 3086667632 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11479/tid=11484] ppid=11477 vsize=82876 CPUtime=578.71
/proc/11479/task/11484/stat : 11484 (satake) R 11477 11479 3671 0 -1 4202560 5183 0 0 0 57674 197 0 0 25 0 5 0 1118489212 84865024 18658 4294967295 134512640 135180984 3214597376 3077029744 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1756.89
Current children cumulated vsize (KiB) 82876

[startup+942.307 s]
/proc/loadavg: 5.24 5.25 5.20 7/109 14500
/proc/meminfo: memFree=2266328/3368532 swapFree=1954076/1959888
[pid=11479] ppid=11477 vsize=83520 CPUtime=1876.29
/proc/11479/stat : 11479 (satake) S 11477 11479 3671 0 -1 4202496 20006 0 0 0 186479 1150 0 0 22 0 5 0 1118489210 85524480 18805 4294967295 134512640 135180984 3214597376 3214596812 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11479/statm: 20880 18805 68 164 0 20715 0
[pid=11479/tid=11480] ppid=11477 vsize=83520 CPUtime=7.92
/proc/11479/task/11480/stat : 11480 (satake) S 11477 11479 3671 0 -1 4202560 4438 0 0 0 229 563 0 0 16 0 5 0 1118489210 85524480 18805 4294967295 134512640 135180984 3214597376 3086798868 134580588 0 0 0 0 3223036975 0 0 -1 0 0 0 0
[pid=11479/tid=11481] ppid=11477 vsize=83520 CPUtime=637.17
/proc/11479/task/11481/stat : 11481 (satake) R 11477 11479 3671 0 -1 4202560 5019 0 0 0 63532 185 0 0 25 0 5 0 1118489210 85524480 18805 4294967295 134512640 135180984 3214597376 3086733168 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11479/tid=11482] ppid=11477 vsize=83520 CPUtime=612.8
/proc/11479/task/11482/stat : 11482 (satake) R 11477 11479 3671 0 -1 4202560 5251 0 0 0 61082 198 0 0 25 0 5 0 1118489210 85524480 18805 4294967295 134512640 135180984 3214597376 3086667624 134520896 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11479/tid=11484] ppid=11477 vsize=83520 CPUtime=618.4
/proc/11479/task/11484/stat : 11484 (satake) R 11477 11479 3671 0 -1 4202560 5187 0 0 0 61636 204 0 0 25 0 5 0 1118489212 85524480 18805 4294967295 134512640 135180984 3214597376 3077029548 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1876.29
Current children cumulated vsize (KiB) 83520



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 5.30 5.26 5.20 6/109 14689
/proc/meminfo: memFree=2264468/3368532 swapFree=1954076/1959888
[pid=11479] ppid=11477 vsize=84176 CPUtime=1991.25
/proc/11479/stat : 11479 (satake) S 11477 11479 3671 0 -1 4202496 20172 0 0 0 197917 1208 0 0 22 0 5 0 1118489210 86196224 18971 4294967295 134512640 135180984 3214597376 3214596812 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11479/statm: 21044 18971 68 164 0 20879 0
[pid=11479/tid=11480] ppid=11477 vsize=84176 CPUtime=8.28
/proc/11479/task/11480/stat : 11480 (satake) S 11477 11479 3671 0 -1 4202560 4578 0 0 0 240 588 0 0 15 0 5 0 1118489210 86196224 18971 4294967295 134512640 135180984 3214597376 3086798864 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=11479/tid=11481] ppid=11477 vsize=84176 CPUtime=676.03
/proc/11479/task/11481/stat : 11481 (satake) R 11477 11479 3671 0 -1 4202560 5020 0 0 0 67409 194 0 0 25 0 5 0 1118489210 86196224 18971 4294967295 134512640 135180984 3214597376 3086733104 134523641 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11479/tid=11482] ppid=11477 vsize=84176 CPUtime=653.39
/proc/11479/task/11482/stat : 11482 (satake) R 11477 11479 3671 0 -1 4202560 5276 0 0 0 65131 208 0 0 25 0 5 0 1118489210 86196224 18971 4294967295 134512640 135180984 3214597376 3086667520 134522790 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11479/tid=11484] ppid=11477 vsize=84176 CPUtime=653.55
/proc/11479/task/11484/stat : 11484 (satake) R 11477 11479 3671 0 -1 4202560 5187 0 0 0 65137 218 0 0 25 0 5 0 1118489212 86196224 18971 4294967295 134512640 135180984 3214597376 3077029744 134526206 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1991.25
Current children cumulated vsize (KiB) 84176

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): 1991.28
CPU user time (s): 1979.2
CPU system time (s): 12.08
CPU usage (%): 199.12
Max. virtual memory (cumulated for all children) (KiB): 84176

deleting IPC queue 8912896
deleting IPC queue 8945665
deleting IPC queue 8978434
deleting IPC queue 9011203
deleting IPC queue 9043972
deleting IPC queue 9076741
deleting IPC queue 9109510
deleting IPC queue 9142279
deleting IPC queue 9175048
deleting IPC queue 9207817
deleting IPC queue 9240586
deleting IPC queue 9273355
deleting IPC queue 9306124
deleting IPC queue 9338893
deleting IPC queue 9371662
deleting IPC queue 9404431

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1979.2
system time used= 12.08
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20172
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= 3424849
involuntary context switches= 3427319

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi44 at 2009-05-30 02:38:00
IDJOB=1779430
IDBENCH=70853
IDSOLVER=629
FILE ID=tipi44/1779430-1243643880
PBS_JOBID=
Free space on /tmp= 15892 MiB

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

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

MD5SUM BENCH= 5d7745a7593199a47cd1accba5810ed0
RANDOM SEED= 137950705

Linux tipi44 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.116
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.116
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.10
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.116
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.14
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.116
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.16
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       2353888 kB
Buffers:        151568 kB
Cached:         608496 kB
SwapCached:       2180 kB
Active:         713700 kB
Inactive:       203120 kB
HighTotal:     2489216 kB
HighFree:      1725308 kB
LowTotal:       879316 kB
LowFree:        628580 kB
SwapTotal:     1959888 kB
SwapFree:      1954076 kB
Dirty:            4300 kB
Writeback:           0 kB
AnonPages:      156008 kB
Mapped:           5668 kB
Slab:            87112 kB
SReclaimable:    76888 kB
SUnreclaim:      10224 kB
PageTables:        696 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   238648 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15892 MiB
End job on tipi44 at 2009-05-30 02:54:43