Trace number 1779565

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.64 1000.03

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-28-s100.cnf
MD5SUM06e51f5d7b210924fc518c0569affee4
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 variables32151
Number of clauses96786
Sum of the clauses size228372
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 261858
Number of clauses of size 334864
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-1779565-1243644641/watcher-1779565-1243644641 -o /tmp/evaluation-result-1779565-1243644641/solver-1779565-1243644641 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779565-1243644641.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.76 2.95 2.98 6/101 9294
/proc/meminfo: memFree=3106904/3368532 swapFree=1959840/1959888
[pid=9291] ppid=9289 vsize=1092 CPUtime=0
/proc/9291/stat : 9291 (satake) R 9289 9291 30957 0 -1 4202496 110 0 0 0 0 0 0 0 20 0 4 0 946040878 1118208 66 4294967295 134512640 135180984 3216129664 3216129008 134705812 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/9291/statm: 273 66 54 164 0 108 0
[pid=9291/tid=9292] ppid=9289 vsize=1092 CPUtime=0
/proc/9291/task/9292/stat : 9292 (satake) R 9289 9291 30957 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 946040878 1118208 66 4294967295 134512640 135180984 3216129664 3086500676 134705812 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9291/tid=9293] ppid=9289 vsize=1092 CPUtime=0
/proc/9291/task/9293/stat : 9293 (satake) R 9289 9291 30957 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 946040878 1118208 66 4294967295 134512640 135180984 3216129664 3086435140 134705812 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9291/tid=9294] ppid=9289 vsize=1092 CPUtime=0
/proc/9291/task/9294/stat : 9294 (satake) R 9289 9291 30957 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 946040878 1118208 66 4294967295 134512640 135180984 3216129664 3086369604 134705812 0 0 0 0 0 0 0 -1 3 0 0 0

[startup+0.077106 s]
/proc/loadavg: 2.76 2.95 2.98 6/101 9294
/proc/meminfo: memFree=3106904/3368532 swapFree=1959840/1959888
[pid=9291] ppid=9289 vsize=22556 CPUtime=0.14
/proc/9291/stat : 9291 (satake) S 9289 9291 30957 0 -1 4202496 5069 0 0 0 14 0 0 0 21 0 5 0 946040878 23097344 5004 4294967295 134512640 135180984 3216129664 3216129100 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9291/statm: 5639 5005 63 164 0 5474 0
[pid=9291/tid=9292] ppid=9289 vsize=22556 CPUtime=0
/proc/9291/task/9292/stat : 9292 (satake) S 9289 9291 30957 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 946040878 23097344 5006 4294967295 134512640 135180984 3216129664 3086499856 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=9291/tid=9293] ppid=9289 vsize=22556 CPUtime=0.07
/proc/9291/task/9293/stat : 9293 (satake) R 9289 9291 30957 0 -1 4202560 1743 0 0 0 7 0 0 0 22 0 5 0 946040878 23097344 5007 4294967295 134512640 135180984 3216129664 3086434608 134535233 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9291/tid=9294] ppid=9289 vsize=22556 CPUtime=0.04
/proc/9291/task/9294/stat : 9294 (satake) R 9289 9291 30957 0 -1 4202560 1594 0 0 0 4 0 0 0 21 0 5 0 946040878 23097344 5007 4294967295 134512640 135180984 3216129664 3086368856 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 22556

[startup+0.117103 s]
/proc/loadavg: 2.76 2.95 2.98 6/101 9294
/proc/meminfo: memFree=3106904/3368532 swapFree=1959840/1959888
[pid=9291] ppid=9289 vsize=26884 CPUtime=0.26
/proc/9291/stat : 9291 (satake) S 9289 9291 30957 0 -1 4202496 6215 0 0 0 26 0 0 0 21 0 5 0 946040878 27529216 5765 4294967295 134512640 135180984 3216129664 3216129100 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9291/statm: 6721 5768 66 164 0 6556 0
[pid=9291/tid=9292] ppid=9289 vsize=26884 CPUtime=0
/proc/9291/task/9292/stat : 9292 (satake) R 9289 9291 30957 0 -1 4202560 374 0 0 0 0 0 0 0 20 0 5 0 946040878 27529216 5770 4294967295 134512640 135180984 3216129664 3086499920 134543362 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9291/tid=9293] ppid=9289 vsize=26884 CPUtime=0.1
/proc/9291/task/9293/stat : 9293 (satake) R 9289 9291 30957 0 -1 4202560 1950 0 0 0 10 0 0 0 22 0 5 0 946040878 27529216 5772 4294967295 134512640 135180984 3216129664 3086434128 134519935 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9291/tid=9294] ppid=9289 vsize=26884 CPUtime=0.08
/proc/9291/task/9294/stat : 9294 (satake) R 9289 9291 30957 0 -1 4202560 1882 0 0 0 8 0 0 0 21 0 5 0 946040878 27529216 5775 4294967295 134512640 135180984 3216129664 3086369040 134520025 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 26884

[startup+0.317087 s]
/proc/loadavg: 2.76 2.95 2.98 6/101 9294
/proc/meminfo: memFree=3106904/3368532 swapFree=1959840/1959888
[pid=9291] ppid=9289 vsize=26272 CPUtime=0.86
/proc/9291/stat : 9291 (satake) S 9289 9291 30957 0 -1 4202496 6715 0 0 0 86 0 0 0 21 0 5 0 946040878 26902528 5495 4294967295 134512640 135180984 3216129664 3216129100 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9291/statm: 6568 5495 68 164 0 6403 0
[pid=9291/tid=9292] ppid=9289 vsize=26272 CPUtime=0.01
/proc/9291/task/9292/stat : 9292 (satake) S 9289 9291 30957 0 -1 4202560 573 0 0 0 1 0 0 0 19 0 5 0 946040878 26902528 5495 4294967295 134512640 135180984 3216129664 3086499856 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=9291/tid=9293] ppid=9289 vsize=26272 CPUtime=0.3
/proc/9291/task/9293/stat : 9293 (satake) R 9289 9291 30957 0 -1 4202560 1991 0 0 0 30 0 0 0 22 0 5 0 946040878 26902528 5495 4294967295 134512640 135180984 3216129664 3086434152 134520873 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9291/tid=9294] ppid=9289 vsize=26272 CPUtime=0.28
/proc/9291/task/9294/stat : 9294 (satake) R 9289 9291 30957 0 -1 4202560 2025 0 0 0 28 0 0 0 21 0 5 0 946040878 26902528 5495 4294967295 134512640 135180984 3216129664 3086368624 134528869 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 26272

[startup+0.717055 s]
/proc/loadavg: 2.76 2.95 2.98 6/101 9294
/proc/meminfo: memFree=3106904/3368532 swapFree=1959840/1959888
[pid=9291] ppid=9289 vsize=26568 CPUtime=2.05
/proc/9291/stat : 9291 (satake) S 9289 9291 30957 0 -1 4202496 6762 0 0 0 205 0 0 0 21 0 5 0 946040878 27205632 5542 4294967295 134512640 135180984 3216129664 3216129100 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9291/statm: 6642 5542 68 164 0 6477 0
[pid=9291/tid=9292] ppid=9289 vsize=26568 CPUtime=0.01
/proc/9291/task/9292/stat : 9292 (satake) S 9289 9291 30957 0 -1 4202560 573 0 0 0 1 0 0 0 15 0 5 0 946040878 27205632 5542 4294967295 134512640 135180984 3216129664 3086499856 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=9291/tid=9293] ppid=9289 vsize=26568 CPUtime=0.69
/proc/9291/task/9293/stat : 9293 (satake) R 9289 9291 30957 0 -1 4202560 2015 0 0 0 69 0 0 0 23 0 5 0 946040878 27205632 5542 4294967295 134512640 135180984 3216129664 3086434160 134528862 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9291/tid=9294] ppid=9289 vsize=26568 CPUtime=0.67
/proc/9291/task/9294/stat : 9294 (satake) R 9289 9291 30957 0 -1 4202560 2047 0 0 0 67 0 0 0 22 0 5 0 946040878 27205632 5542 4294967295 134512640 135180984 3216129664 3086368624 134528688 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) 26568

[startup+1.51699 s]
/proc/loadavg: 2.76 2.95 2.98 5/103 9296
/proc/meminfo: memFree=3084704/3368532 swapFree=1959840/1959888
[pid=9291] ppid=9289 vsize=26568 CPUtime=4.45
/proc/9291/stat : 9291 (satake) S 9289 9291 30957 0 -1 4202496 6765 0 0 0 445 0 0 0 21 0 5 0 946040878 27205632 5545 4294967295 134512640 135180984 3216129664 3216129100 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9291/statm: 6642 5545 68 164 0 6477 0
[pid=9291/tid=9292] ppid=9289 vsize=26568 CPUtime=0.01
/proc/9291/task/9292/stat : 9292 (satake) S 9289 9291 30957 0 -1 4202560 573 0 0 0 1 0 0 0 16 0 5 0 946040878 27205632 5545 4294967295 134512640 135180984 3216129664 3086499856 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=9291/tid=9293] ppid=9289 vsize=26568 CPUtime=1.49
/proc/9291/task/9293/stat : 9293 (satake) R 9289 9291 30957 0 -1 4202560 2018 0 0 0 149 0 0 0 25 0 5 0 946040878 27205632 5545 4294967295 134512640 135180984 3216129664 3086434160 134528468 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9291/tid=9294] ppid=9289 vsize=26568 CPUtime=1.47
/proc/9291/task/9294/stat : 9294 (satake) R 9289 9291 30957 0 -1 4202560 2047 0 0 0 147 0 0 0 25 0 5 0 946040878 27205632 5545 4294967295 134512640 135180984 3216129664 3086368560 134523644 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9291/tid=9296] ppid=9289 vsize=26568 CPUtime=1.48
/proc/9291/task/9296/stat : 9296 (satake) R 9289 9291 30957 0 -1 4202560 2016 0 0 0 148 0 0 0 25 0 5 0 946040879 27205632 5545 4294967295 134512640 135180984 3216129664 3086098256 134519935 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.45
Current children cumulated vsize (KiB) 26568

[startup+3.11686 s]
/proc/loadavg: 2.76 2.95 2.98 4/103 9297
/proc/meminfo: memFree=3084848/3368532 swapFree=1959840/1959888
[pid=9291] ppid=9289 vsize=26568 CPUtime=9.25
/proc/9291/stat : 9291 (satake) S 9289 9291 30957 0 -1 4202496 6772 0 0 0 923 2 0 0 21 0 5 0 946040878 27205632 5552 4294967295 134512640 135180984 3216129664 3216129100 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9291/statm: 6642 5552 68 164 0 6477 0
[pid=9291/tid=9292] ppid=9289 vsize=26568 CPUtime=0.02
/proc/9291/task/9292/stat : 9292 (satake) S 9289 9291 30957 0 -1 4202560 573 0 0 0 1 1 0 0 16 0 5 0 946040878 27205632 5552 4294967295 134512640 135180984 3216129664 3086499856 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=9291/tid=9293] ppid=9289 vsize=26568 CPUtime=3.08
/proc/9291/task/9293/stat : 9293 (satake) R 9289 9291 30957 0 -1 4202560 2024 0 0 0 307 1 0 0 25 0 5 0 946040878 27205632 5552 4294967295 134512640 135180984 3216129664 3086434224 134532417 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9291/tid=9294] ppid=9289 vsize=26568 CPUtime=3.07
/proc/9291/task/9294/stat : 9294 (satake) R 9289 9291 30957 0 -1 4202560 2048 0 0 0 307 0 0 0 25 0 5 0 946040878 27205632 5552 4294967295 134512640 135180984 3216129664 3086368624 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9291/tid=9296] ppid=9289 vsize=26568 CPUtime=3.08
/proc/9291/task/9296/stat : 9296 (satake) R 9289 9291 30957 0 -1 4202560 2016 0 0 0 308 0 0 0 25 0 5 0 946040879 27205632 5552 4294967295 134512640 135180984 3216129664 3086098176 134522980 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9.25
Current children cumulated vsize (KiB) 26568

[startup+6.3166 s]
/proc/loadavg: 2.86 2.97 2.99 4/103 9297
/proc/meminfo: memFree=3084724/3368532 swapFree=1959840/1959888
[pid=9291] ppid=9289 vsize=26568 CPUtime=18.85
/proc/9291/stat : 9291 (satake) S 9289 9291 30957 0 -1 4202496 6811 0 0 0 1883 2 0 0 21 0 5 0 946040878 27205632 5591 4294967295 134512640 135180984 3216129664 3216129100 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9291/statm: 6642 5591 68 164 0 6477 0
[pid=9291/tid=9292] ppid=9289 vsize=26568 CPUtime=0.03
/proc/9291/task/9292/stat : 9292 (satake) S 9289 9291 30957 0 -1 4202560 579 0 0 0 2 1 0 0 16 0 5 0 946040878 27205632 5591 4294967295 134512640 135180984 3216129664 3086499856 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=9291/tid=9293] ppid=9289 vsize=26568 CPUtime=6.27
/proc/9291/task/9293/stat : 9293 (satake) R 9289 9291 30957 0 -1 4202560 2041 0 0 0 626 1 0 0 25 0 5 0 946040878 27205632 5591 4294967295 134512640 135180984 3216129664 3086434048 134522972 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9291/tid=9294] ppid=9289 vsize=26568 CPUtime=6.27
/proc/9291/task/9294/stat : 9294 (satake) R 9289 9291 30957 0 -1 4202560 2060 0 0 0 627 0 0 0 25 0 5 0 946040878 27205632 5591 4294967295 134512640 135180984 3216129664 3086368688 134532417 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9291/tid=9296] ppid=9289 vsize=26568 CPUtime=6.28
/proc/9291/task/9296/stat : 9296 (satake) R 9289 9291 30957 0 -1 4202560 2020 0 0 0 628 0 0 0 25 0 5 0 946040879 27205632 5591 4294967295 134512640 135180984 3216129664 3086098288 134528275 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 18.85
Current children cumulated vsize (KiB) 26568

[startup+12.7161 s]
/proc/loadavg: 2.87 2.97 2.99 4/103 9298
/proc/meminfo: memFree=3084632/3368532 swapFree=1959840/1959888
[pid=9291] ppid=9289 vsize=26700 CPUtime=38.05
/proc/9291/stat : 9291 (satake) S 9289 9291 30957 0 -1 4202496 6908 0 0 0 3802 3 0 0 21 0 5 0 946040878 27340800 5688 4294967295 134512640 135180984 3216129664 3216129100 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9291/statm: 6675 5688 68 164 0 6510 0
[pid=9291/tid=9292] ppid=9289 vsize=26700 CPUtime=0.03
/proc/9291/task/9292/stat : 9292 (satake) S 9289 9291 30957 0 -1 4202560 580 0 0 0 2 1 0 0 16 0 5 0 946040878 27340800 5688 4294967295 134512640 135180984 3216129664 3086499856 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=9291/tid=9293] ppid=9289 vsize=26700 CPUtime=12.67
/proc/9291/task/9293/stat : 9293 (satake) R 9289 9291 30957 0 -1 4202560 2066 0 0 0 1265 2 0 0 25 0 5 0 946040878 27340800 5688 4294967295 134512640 135180984 3216129664 3086434152 134520863 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9291/tid=9294] ppid=9289 vsize=26700 CPUtime=12.67
/proc/9291/task/9294/stat : 9294 (satake) R 9289 9291 30957 0 -1 4202560 2092 0 0 0 1267 0 0 0 25 0 5 0 946040878 27340800 5688 4294967295 134512640 135180984 3216129664 3086368616 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9291/tid=9296] ppid=9289 vsize=26700 CPUtime=12.68
/proc/9291/task/9296/stat : 9296 (satake) R 9289 9291 30957 0 -1 4202560 2059 0 0 0 1268 0 0 0 25 0 5 0 946040879 27340800 5688 4294967295 134512640 135180984 3216129664 3086098224 134523862 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 38.05
Current children cumulated vsize (KiB) 26700

[startup+25.515 s]
/proc/loadavg: 2.90 2.97 2.99 4/103 9300
/proc/meminfo: memFree=3083548/3368532 swapFree=1959840/1959888
[pid=9291] ppid=9289 vsize=28252 CPUtime=76.45
/proc/9291/stat : 9291 (satake) S 9289 9291 30957 0 -1 4202496 7202 0 0 0 7636 9 0 0 21 0 5 0 946040878 28930048 5982 4294967295 134512640 135180984 3216129664 3216129100 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9291/statm: 7063 5982 68 164 0 6898 0
[pid=9291/tid=9292] ppid=9289 vsize=28252 CPUtime=0.08
/proc/9291/task/9292/stat : 9292 (satake) S 9289 9291 30957 0 -1 4202560 590 0 0 0 3 5 0 0 16 0 5 0 946040878 28930048 5982 4294967295 134512640 135180984 3216129664 3086499856 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=9291/tid=9293] ppid=9289 vsize=28252 CPUtime=25.42
/proc/9291/task/9293/stat : 9293 (satake) R 9289 9291 30957 0 -1 4202560 2199 0 0 0 2540 2 0 0 25 0 5 0 946040878 28930048 5982 4294967295 134512640 135180984 3216129664 3086434160 134528557 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9291/tid=9294] ppid=9289 vsize=28252 CPUtime=25.47
/proc/9291/task/9294/stat : 9294 (satake) R 9289 9291 30957 0 -1 4202560 2172 0 0 0 2546 1 0 0 25 0 5 0 946040878 28930048 5982 4294967295 134512640 135180984 3216129664 3086368560 134523751 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9291/tid=9296] ppid=9289 vsize=28252 CPUtime=25.48
/proc/9291/task/9296/stat : 9296 (satake) R 9289 9291 30957 0 -1 4202560 2130 0 0 0 2547 1 0 0 25 0 5 0 946040879 28930048 5982 4294967295 134512640 135180984 3216129664 3086098288 134526384 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 76.45
Current children cumulated vsize (KiB) 28252

[startup+51.1129 s]
/proc/loadavg: 2.93 2.97 2.99 4/103 9301
/proc/meminfo: memFree=3082024/3368532 swapFree=1959840/1959888
[pid=9291] ppid=9289 vsize=29936 CPUtime=153.24
/proc/9291/stat : 9291 (satake) S 9289 9291 30957 0 -1 4202496 7635 0 0 0 15306 18 0 0 21 0 5 0 946040878 30654464 6415 4294967295 134512640 135180984 3216129664 3216129100 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9291/statm: 7484 6415 68 164 0 7319 0
[pid=9291/tid=9292] ppid=9289 vsize=29936 CPUtime=0.11
/proc/9291/task/9292/stat : 9292 (satake) S 9289 9291 30957 0 -1 4202560 609 0 0 0 3 8 0 0 16 0 5 0 946040878 30654464 6415 4294967295 134512640 135180984 3216129664 3086499856 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=9291/tid=9293] ppid=9289 vsize=29936 CPUtime=50.99
/proc/9291/task/9293/stat : 9293 (satake) R 9289 9291 30957 0 -1 4202560 2336 0 0 0 5097 2 0 0 25 0 5 0 946040878 30654464 6415 4294967295 134512640 135180984 3216129664 3086434160 134528211 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9291/tid=9294] ppid=9289 vsize=29936 CPUtime=51.07
/proc/9291/task/9294/stat : 9294 (satake) R 9289 9291 30957 0 -1 4202560 2304 0 0 0 5102 5 0 0 25 0 5 0 946040878 30654464 6415 4294967295 134512640 135180984 3216129664 3086368604 134519101 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9291/tid=9296] ppid=9289 vsize=29936 CPUtime=51.08
/proc/9291/task/9296/stat : 9296 (satake) R 9289 9291 30957 0 -1 4202560 2275 0 0 0 5105 3 0 0 25 0 5 0 946040879 30654464 6415 4294967295 134512640 135180984 3216129664 3086098288 134526532 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 153.24
Current children cumulated vsize (KiB) 29936

[startup+102.319 s]
/proc/loadavg: 3.01 2.99 2.99 4/103 9489
/proc/meminfo: memFree=3078676/3368532 swapFree=1959840/1959888
[pid=9291] ppid=9289 vsize=33240 CPUtime=306.85
/proc/9291/stat : 9291 (satake) S 9289 9291 30957 0 -1 4202496 8577 0 0 0 30642 43 0 0 21 0 5 0 946040878 34037760 7357 4294967295 134512640 135180984 3216129664 3216129100 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9291/statm: 8310 7357 68 164 0 8145 0
[pid=9291/tid=9292] ppid=9289 vsize=33240 CPUtime=0.31
/proc/9291/task/9292/stat : 9292 (satake) S 9289 9291 30957 0 -1 4202560 691 0 0 0 9 22 0 0 15 0 5 0 946040878 34037760 7357 4294967295 134512640 135180984 3216129664 3086499856 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=9291/tid=9293] ppid=9289 vsize=33240 CPUtime=101.99
/proc/9291/task/9293/stat : 9293 (satake) R 9289 9291 30957 0 -1 4202560 2662 0 0 0 10195 4 0 0 25 0 5 0 946040878 34037760 7357 4294967295 134512640 135180984 3216129664 3086434096 134523833 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9291/tid=9294] ppid=9289 vsize=33240 CPUtime=102.28
/proc/9291/task/9294/stat : 9294 (satake) R 9289 9291 30957 0 -1 4202560 2546 0 0 0 10219 9 0 0 25 0 5 0 946040878 34037760 7357 4294967295 134512640 135180984 3216129664 3086368624 134528433 0 0 0 0 0 0 0 -1 0 0 0 0

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

[pid=9291/tid=9293] ppid=9289 vsize=66964 CPUtime=520.72
/proc/9291/task/9293/stat : 9293 (satake) R 9289 9291 30957 0 -1 4202560 5153 0 0 0 52017 55 0 0 25 0 5 0 946040878 68571136 14990 4294967295 134512640 135180984 3216129664 3086434096 134523809 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9291/tid=9294] ppid=9289 vsize=66964 CPUtime=521.93
/proc/9291/task/9294/stat : 9294 (satake) R 9289 9291 30957 0 -1 4202560 4294 0 0 0 52122 71 0 0 25 0 5 0 946040878 68571136 14990 4294967295 134512640 135180984 3216129664 3086368616 134519910 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9291/tid=9296] ppid=9289 vsize=66964 CPUtime=521.56
/proc/9291/task/9296/stat : 9296 (satake) R 9289 9291 30957 0 -1 4202560 5145 0 0 0 52072 84 0 0 25 0 5 0 946040879 68571136 14990 4294967295 134512640 135180984 3216129664 3086098288 134526529 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1566.49
Current children cumulated vsize (KiB) 66964

[startup+582.31 s]
/proc/loadavg: 3.00 3.00 3.00 4/103 11007
/proc/meminfo: memFree=3044708/3368532 swapFree=1959840/1959888
[pid=9291] ppid=9289 vsize=70820 CPUtime=1746.38
/proc/9291/stat : 9291 (satake) S 9289 9291 30957 0 -1 4202496 17142 0 0 0 174204 434 0 0 21 0 5 0 946040878 72519680 15922 4294967295 134512640 135180984 3216129664 3216129100 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9291/statm: 17705 15922 68 164 0 17540 0
[pid=9291/tid=9292] ppid=9289 vsize=70820 CPUtime=2.53
/proc/9291/task/9292/stat : 9292 (satake) S 9289 9291 30957 0 -1 4202560 1635 0 0 0 56 197 0 0 15 0 5 0 946040878 72519680 15922 4294967295 134512640 135180984 3216129664 3086499856 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=9291/tid=9293] ppid=9289 vsize=70820 CPUtime=580.71
/proc/9291/task/9293/stat : 9293 (satake) R 9289 9291 30957 0 -1 4202560 5489 0 0 0 58003 68 0 0 25 0 5 0 946040878 72519680 15922 4294967295 134512640 135180984 3216129664 3086434160 134525822 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9291/tid=9294] ppid=9289 vsize=70820 CPUtime=581.87
/proc/9291/task/9294/stat : 9294 (satake) R 9289 9291 30957 0 -1 4202560 4456 0 0 0 58110 77 0 0 25 0 5 0 946040878 72519680 15922 4294967295 134512640 135180984 3216129664 3086368688 134532436 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9291/tid=9296] ppid=9289 vsize=70820 CPUtime=581.27
/proc/9291/task/9296/stat : 9296 (satake) R 9289 9291 30957 0 -1 4202560 5451 0 0 0 58035 92 0 0 25 0 5 0 946040879 72519680 15922 4294967295 134512640 135180984 3216129664 3086098160 134522701 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1746.38
Current children cumulated vsize (KiB) 70820

[startup+642.305 s]
/proc/loadavg: 3.00 3.00 3.00 4/103 11195
/proc/meminfo: memFree=3040864/3368532 swapFree=1959840/1959888
[pid=9291] ppid=9289 vsize=73832 CPUtime=1926.31
/proc/9291/stat : 9291 (satake) S 9289 9291 30957 0 -1 4202496 18096 0 0 0 192148 483 0 0 21 0 5 0 946040878 75603968 16876 4294967295 134512640 135180984 3216129664 3216129100 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9291/statm: 18458 16876 68 164 0 18293 0
[pid=9291/tid=9292] ppid=9289 vsize=73832 CPUtime=2.87
/proc/9291/task/9292/stat : 9292 (satake) S 9289 9291 30957 0 -1 4202560 1738 0 0 0 63 224 0 0 16 0 5 0 946040878 75603968 16876 4294967295 134512640 135180984 3216129664 3086499856 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=9291/tid=9293] ppid=9289 vsize=73832 CPUtime=640.71
/proc/9291/task/9293/stat : 9293 (satake) R 9289 9291 30957 0 -1 4202560 5809 0 0 0 63991 80 0 0 25 0 5 0 946040878 75603968 16876 4294967295 134512640 135180984 3216129664 3086434096 134523791 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9291/tid=9294] ppid=9289 vsize=73832 CPUtime=641.81
/proc/9291/task/9294/stat : 9294 (satake) R 9289 9291 30957 0 -1 4202560 4616 0 0 0 64102 79 0 0 25 0 5 0 946040878 75603968 16876 4294967295 134512640 135180984 3216129664 3086368624 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9291/tid=9296] ppid=9289 vsize=73832 CPUtime=640.92
/proc/9291/task/9296/stat : 9296 (satake) R 9289 9291 30957 0 -1 4202560 5822 0 0 0 63992 100 0 0 25 0 5 0 946040879 75603968 16876 4294967295 134512640 135180984 3216129664 3086098276 134523603 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1926.31
Current children cumulated vsize (KiB) 73832

[startup+702.31 s]
/proc/loadavg: 3.00 3.00 3.00 4/103 11388
/proc/meminfo: memFree=3035648/3368532 swapFree=1959840/1959888
[pid=9291] ppid=9289 vsize=79680 CPUtime=2106.23
/proc/9291/stat : 9291 (satake) S 9289 9291 30957 0 -1 4202496 19341 0 0 0 210091 532 0 0 21 0 5 0 946040878 81592320 18121 4294967295 134512640 135180984 3216129664 3216129100 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9291/statm: 19920 18121 68 164 0 19755 0
[pid=9291/tid=9292] ppid=9289 vsize=79680 CPUtime=3.16
/proc/9291/task/9292/stat : 9292 (satake) S 9289 9291 30957 0 -1 4202560 1827 0 0 0 67 249 0 0 15 0 5 0 946040878 81592320 18121 4294967295 134512640 135180984 3216129664 3086499856 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=9291/tid=9293] ppid=9289 vsize=79680 CPUtime=700.7
/proc/9291/task/9293/stat : 9293 (satake) R 9289 9291 30957 0 -1 4202560 6187 0 0 0 69980 90 0 0 25 0 5 0 946040878 81592320 18121 4294967295 134512640 135180984 3216129664 3086434152 134519890 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9291/tid=9294] ppid=9289 vsize=79680 CPUtime=701.63
/proc/9291/task/9294/stat : 9294 (satake) R 9289 9291 30957 0 -1 4202560 5047 0 0 0 70075 88 0 0 25 0 5 0 946040878 81592320 18121 4294967295 134512640 135180984 3216129664 3086368620 134518218 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9291/tid=9296] ppid=9289 vsize=79680 CPUtime=700.74
/proc/9291/task/9296/stat : 9296 (satake) R 9289 9291 30957 0 -1 4202560 6169 0 0 0 69969 105 0 0 25 0 5 0 946040879 81592320 18121 4294967295 134512640 135180984 3216129664 3086098280 134520863 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2106.23
Current children cumulated vsize (KiB) 79680

[startup+762.315 s]
/proc/loadavg: 3.00 3.00 3.00 4/103 11575
/proc/meminfo: memFree=3031928/3368532 swapFree=1959840/1959888
[pid=9291] ppid=9289 vsize=83360 CPUtime=2286.15
/proc/9291/stat : 9291 (satake) S 9289 9291 30957 0 -1 4202496 20281 0 0 0 228037 578 0 0 21 0 5 0 946040878 85360640 19061 4294967295 134512640 135180984 3216129664 3216129100 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9291/statm: 20840 19061 68 164 0 20675 0
[pid=9291/tid=9292] ppid=9289 vsize=83360 CPUtime=3.45
/proc/9291/task/9292/stat : 9292 (satake) S 9289 9291 30957 0 -1 4202560 1914 0 0 0 74 271 0 0 15 0 5 0 946040878 85360640 19061 4294967295 134512640 135180984 3216129664 3086499856 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=9291/tid=9293] ppid=9289 vsize=83360 CPUtime=760.71
/proc/9291/task/9293/stat : 9293 (satake) R 9289 9291 30957 0 -1 4202560 6385 0 0 0 75969 102 0 0 25 0 5 0 946040878 85360640 19061 4294967295 134512640 135180984 3216129664 3086434160 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9291/tid=9294] ppid=9289 vsize=83360 CPUtime=761.3
/proc/9291/task/9294/stat : 9294 (satake) R 9289 9291 30957 0 -1 4202560 5356 0 0 0 76039 91 0 0 25 0 5 0 946040878 85360640 19061 4294967295 134512640 135180984 3216129664 3086368512 134522972 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9291/tid=9296] ppid=9289 vsize=83360 CPUtime=760.69
/proc/9291/task/9296/stat : 9296 (satake) R 9289 9291 30957 0 -1 4202560 6515 0 0 0 75955 114 0 0 25 0 5 0 946040879 85360640 19061 4294967295 134512640 135180984 3216129664 3086098288 134526115 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2286.15
Current children cumulated vsize (KiB) 83360

[startup+822.31 s]
/proc/loadavg: 3.00 3.00 3.00 4/103 11762
/proc/meminfo: memFree=3028960/3368532 swapFree=1959840/1959888
[pid=9291] ppid=9289 vsize=87152 CPUtime=2465.9
/proc/9291/stat : 9291 (satake) S 9289 9291 30957 0 -1 4202496 21111 0 0 0 245982 608 0 0 21 0 5 0 946040878 89243648 19891 4294967295 134512640 135180984 3216129664 3216129100 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9291/statm: 21788 19891 68 164 0 21623 0
[pid=9291/tid=9292] ppid=9289 vsize=87152 CPUtime=3.61
/proc/9291/task/9292/stat : 9292 (satake) S 9289 9291 30957 0 -1 4202560 2026 0 0 0 76 285 0 0 16 0 5 0 946040878 89243648 19891 4294967295 134512640 135180984 3216129664 3086499856 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=9291/tid=9293] ppid=9289 vsize=87152 CPUtime=820.67
/proc/9291/task/9293/stat : 9293 (satake) R 9289 9291 30957 0 -1 4202560 6685 0 0 0 81964 103 0 0 25 0 5 0 946040878 89243648 19891 4294967295 134512640 135180984 3216129664 3086434160 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9291/tid=9294] ppid=9289 vsize=87152 CPUtime=821.11
/proc/9291/task/9294/stat : 9294 (satake) R 9289 9291 30957 0 -1 4202560 5505 0 0 0 82018 93 0 0 25 0 5 0 946040878 89243648 19891 4294967295 134512640 135180984 3216129664 3086368528 134524982 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9291/tid=9296] ppid=9289 vsize=87152 CPUtime=820.51
/proc/9291/task/9296/stat : 9296 (satake) R 9289 9291 30957 0 -1 4202560 6784 0 0 0 81924 127 0 0 25 0 5 0 946040879 89243648 19891 4294967295 134512640 135180984 3216129664 3086098288 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2465.9
Current children cumulated vsize (KiB) 87152

[startup+882.315 s]
/proc/loadavg: 3.00 3.00 3.00 4/103 11950
/proc/meminfo: memFree=3025488/3368532 swapFree=1959840/1959888
[pid=9291] ppid=9289 vsize=90836 CPUtime=2645.79
/proc/9291/stat : 9291 (satake) S 9289 9291 30957 0 -1 4202496 21963 0 0 0 263935 644 0 0 21 0 5 0 946040878 93016064 20743 4294967295 134512640 135180984 3216129664 3216129100 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9291/statm: 22709 20743 68 164 0 22544 0
[pid=9291/tid=9292] ppid=9289 vsize=90836 CPUtime=3.82
/proc/9291/task/9292/stat : 9292 (satake) S 9289 9291 30957 0 -1 4202560 2107 0 0 0 81 301 0 0 15 0 5 0 946040878 93016064 20743 4294967295 134512640 135180984 3216129664 3086499856 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=9291/tid=9293] ppid=9289 vsize=90836 CPUtime=880.66
/proc/9291/task/9293/stat : 9293 (satake) R 9289 9291 30957 0 -1 4202560 6971 0 0 0 87957 109 0 0 25 0 5 0 946040878 93016064 20743 4294967295 134512640 135180984 3216129664 3086434156 134520854 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9291/tid=9294] ppid=9289 vsize=90836 CPUtime=880.86
/proc/9291/task/9294/stat : 9294 (satake) R 9289 9291 30957 0 -1 4202560 5666 0 0 0 87988 98 0 0 25 0 5 0 946040878 93016064 20743 4294967295 134512640 135180984 3216129664 3086368624 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9291/tid=9296] ppid=9289 vsize=90836 CPUtime=880.45
/proc/9291/task/9296/stat : 9296 (satake) R 9289 9291 30957 0 -1 4202560 7108 0 0 0 87909 136 0 0 25 0 5 0 946040879 93016064 20743 4294967295 134512640 135180984 3216129664 3086098284 134518208 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2645.79
Current children cumulated vsize (KiB) 90836

[startup+942.31 s]
/proc/loadavg: 3.00 3.00 3.00 4/103 12138
/proc/meminfo: memFree=3020776/3368532 swapFree=1959840/1959888
[pid=9291] ppid=9289 vsize=95392 CPUtime=2825.63
/proc/9291/stat : 9291 (satake) S 9289 9291 30957 0 -1 4202496 23147 0 0 0 281870 693 0 0 21 0 5 0 946040878 97681408 21927 4294967295 134512640 135180984 3216129664 3216129100 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9291/statm: 23848 21927 68 164 0 23683 0
[pid=9291/tid=9292] ppid=9289 vsize=95392 CPUtime=4.08
/proc/9291/task/9292/stat : 9292 (satake) S 9289 9291 30957 0 -1 4202560 2221 0 0 0 86 322 0 0 16 0 5 0 946040878 97681408 21927 4294967295 134512640 135180984 3216129664 3086499856 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=9291/tid=9293] ppid=9289 vsize=95392 CPUtime=940.65
/proc/9291/task/9293/stat : 9293 (satake) R 9289 9291 30957 0 -1 4202560 7479 0 0 0 93947 118 0 0 25 0 5 0 946040878 97681408 21927 4294967295 134512640 135180984 3216129664 3086434160 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9291/tid=9294] ppid=9289 vsize=95392 CPUtime=940.58
/proc/9291/task/9294/stat : 9294 (satake) R 9289 9291 30957 0 -1 4202560 5918 0 0 0 93955 103 0 0 25 0 5 0 946040878 97681408 21927 4294967295 134512640 135180984 3216129664 3086368624 134528925 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9291/tid=9296] ppid=9289 vsize=95392 CPUtime=940.32
/proc/9291/task/9296/stat : 9296 (satake) R 9289 9291 30957 0 -1 4202560 7418 0 0 0 93882 150 0 0 25 0 5 0 946040879 97681408 21927 4294967295 134512640 135180984 3216129664 3086098176 134522790 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2825.63
Current children cumulated vsize (KiB) 95392



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 3.04 3.01 3.00 4/103 12327
/proc/meminfo: memFree=3016800/3368532 swapFree=1959840/1959888
[pid=9291] ppid=9289 vsize=100732 CPUtime=2998.58
/proc/9291/stat : 9291 (satake) S 9289 9291 30957 0 -1 4202496 24073 0 0 0 299133 725 0 0 21 0 5 0 946040878 103149568 22853 4294967295 134512640 135180984 3216129664 3216129100 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9291/statm: 25183 22853 68 164 0 25018 0
[pid=9291/tid=9292] ppid=9289 vsize=100732 CPUtime=4.27
/proc/9291/task/9292/stat : 9292 (satake) S 9289 9291 30957 0 -1 4202560 2330 0 0 0 93 334 0 0 15 0 5 0 946040878 103149568 22853 4294967295 134512640 135180984 3216129664 3086499856 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=9291/tid=9293] ppid=9289 vsize=100732 CPUtime=998.35
/proc/9291/task/9293/stat : 9293 (satake) R 9289 9291 30957 0 -1 4202560 7721 0 0 0 99713 122 0 0 25 0 5 0 946040878 103149568 22853 4294967295 134512640 135180984 3216129664 3086434216 134518214 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9291/tid=9294] ppid=9289 vsize=100732 CPUtime=998.04
/proc/9291/task/9294/stat : 9294 (satake) R 9289 9291 30957 0 -1 4202560 6208 0 0 0 99699 105 0 0 25 0 5 0 946040878 103149568 22853 4294967295 134512640 135180984 3216129664 3086368624 134528760 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9291/tid=9296] ppid=9289 vsize=100732 CPUtime=997.92
/proc/9291/task/9296/stat : 9296 (satake) R 9289 9291 30957 0 -1 4202560 7703 0 0 0 99628 164 0 0 25 0 5 0 946040879 103149568 22853 4294967295 134512640 135180984 3216129664 3086098216 134518227 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2998.58
Current children cumulated vsize (KiB) 100732

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.03
CPU time (s): 2998.64
CPU user time (s): 2991.39
CPU system time (s): 7.25
CPU usage (%): 299.855
Max. virtual memory (cumulated for all children) (KiB): 100732

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2991.39
system time used= 7.25
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24073
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= 398770
involuntary context switches= 352157

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-30 02:50:41
IDJOB=1779565
IDBENCH=70875
IDSOLVER=629
FILE ID=tipi39/1779565-1243644641
PBS_JOBID=
Free space on /tmp= 5742 MiB

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

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

MD5SUM BENCH= 06e51f5d7b210924fc518c0569affee4
RANDOM SEED= 1474911804

Linux tipi39 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.067
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.41
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.067
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.067
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.16
clflush size	: 64

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.067
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:       3106756 kB
Buffers:         57160 kB
Cached:         100436 kB
SwapCached:          0 kB
Active:          91748 kB
Inactive:        81900 kB
HighTotal:     2489216 kB
HighFree:      2374924 kB
LowTotal:       879316 kB
LowFree:        731832 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            2244 kB
Writeback:           0 kB
AnonPages:       16080 kB
Mapped:           6188 kB
Slab:            77852 kB
SReclaimable:    67180 kB
SUnreclaim:      10672 kB
PageTables:        500 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    94792 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 5742 MiB
End job on tipi39 at 2009-05-30 03:07:23