Trace number 1779415

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) 1989.04 1000.03

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-26-s100.cnf
MD5SUMa2be03cdc152990d030fb3c2aea1f730
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 variables31942
Number of clauses96138
Sum of the clauses size226784
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 261502
Number of clauses of size 334572
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-1779415-1243643918/watcher-1779415-1243643918 -o /tmp/evaluation-result-1779415-1243643918/solver-1779415-1243643918 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779415-1243643918.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.20 5.26 5.12 7/120 11073
/proc/meminfo: memFree=3108168/3368532 swapFree=1959840/1959888
[pid=11070] ppid=11068 vsize=1096 CPUtime=0
/proc/11070/stat : 11070 (satake) R 11068 11070 17312 0 -1 4202496 110 0 0 0 0 0 0 0 21 0 4 0 1129054654 1122304 66 4294967295 134512640 135180984 3219347856 3219347200 134705812 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/11070/statm: 274 66 54 164 0 109 0
[pid=11070/tid=11071] ppid=11068 vsize=1096 CPUtime=0
/proc/11070/task/11071/stat : 11071 (satake) R 11068 11070 17312 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 1129054654 1122304 66 4294967295 134512640 135180984 3219347856 3086095172 134705812 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11070/tid=11072] ppid=11068 vsize=1096 CPUtime=0
/proc/11070/task/11072/stat : 11072 (satake) R 11068 11070 17312 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 1129054654 1122304 66 4294967295 134512640 135180984 3219347856 3086029636 134705812 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11070/tid=11073] ppid=11068 vsize=1096 CPUtime=0
/proc/11070/task/11073/stat : 11073 (satake) R 11068 11070 17312 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 1129054654 1122304 66 4294967295 134512640 135180984 3219347856 3085964100 134705812 0 0 0 0 0 0 0 -1 2 0 0 0

[startup+0.060419 s]
/proc/loadavg: 5.20 5.26 5.12 7/120 11073
/proc/meminfo: memFree=3108168/3368532 swapFree=1959840/1959888
[pid=11070] ppid=11068 vsize=20464 CPUtime=0.06
/proc/11070/stat : 11070 (satake) S 11068 11070 17312 0 -1 4202496 4464 0 0 0 5 1 0 0 22 0 5 0 1129054654 20955136 4396 4294967295 134512640 135180984 3219347856 3219347292 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11070/statm: 5116 4396 63 164 0 4951 0
[pid=11070/tid=11071] ppid=11068 vsize=20464 CPUtime=0
/proc/11070/task/11071/stat : 11071 (satake) S 11068 11070 17312 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 5 0 1129054654 20955136 4396 4294967295 134512640 135180984 3219347856 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=11070/tid=11072] ppid=11068 vsize=20464 CPUtime=0.01
/proc/11070/task/11072/stat : 11072 (satake) R 11068 11070 17312 0 -1 4202560 1391 0 0 0 1 0 0 0 23 0 5 0 1129054654 20955136 4396 4294967295 134512640 135180984 3219347856 3086028948 134579486 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11070/tid=11073] ppid=11068 vsize=20464 CPUtime=0.04
/proc/11070/task/11073/stat : 11073 (satake) R 11068 11070 17312 0 -1 4202560 1508 0 0 0 4 0 0 0 23 0 5 0 1129054654 20955136 4396 4294967295 134512640 135180984 3219347856 3085963568 134534944 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 20464

[startup+0.110415 s]
/proc/loadavg: 5.20 5.26 5.12 7/120 11073
/proc/meminfo: memFree=3108168/3368532 swapFree=1959840/1959888
[pid=11070] ppid=11068 vsize=23504 CPUtime=0.16
/proc/11070/stat : 11070 (satake) S 11068 11070 17312 0 -1 4202496 5225 0 0 0 15 1 0 0 22 0 5 0 1129054654 24068096 5157 4294967295 134512640 135180984 3219347856 3219347292 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11070/statm: 5876 5157 63 164 0 5711 0
[pid=11070/tid=11071] ppid=11068 vsize=23504 CPUtime=0
/proc/11070/task/11071/stat : 11071 (satake) S 11068 11070 17312 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 5 0 1129054654 24068096 5157 4294967295 134512640 135180984 3219347856 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=11070/tid=11072] ppid=11068 vsize=23504 CPUtime=0.04
/proc/11070/task/11072/stat : 11072 (satake) R 11068 11070 17312 0 -1 4202560 1684 0 0 0 4 0 0 0 22 0 5 0 1129054654 24068096 5158 4294967295 134512640 135180984 3219347856 3086028772 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11070/tid=11073] ppid=11068 vsize=23504 CPUtime=0.05
/proc/11070/task/11073/stat : 11073 (satake) R 11068 11070 17312 0 -1 4202560 1592 0 0 0 5 0 0 0 23 0 5 0 1129054654 24068096 5158 4294967295 134512640 135180984 3219347856 3085963640 134535377 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 23504

[startup+0.31041 s]
/proc/loadavg: 5.20 5.26 5.12 7/120 11073
/proc/meminfo: memFree=3108168/3368532 swapFree=1959840/1959888
[pid=11070] ppid=11068 vsize=24968 CPUtime=0.56
/proc/11070/stat : 11070 (satake) S 11068 11070 17312 0 -1 4202496 6634 0 0 0 54 2 0 0 22 0 5 0 1129054654 25567232 5417 4294967295 134512640 135180984 3219347856 3219347292 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11070/statm: 6242 5417 66 164 0 6077 0
[pid=11070/tid=11071] ppid=11068 vsize=24968 CPUtime=0
/proc/11070/task/11071/stat : 11071 (satake) S 11068 11070 17312 0 -1 4202560 567 0 0 0 0 0 0 0 21 0 5 0 1129054654 25567232 5417 4294967295 134512640 135180984 3219347856 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=11070/tid=11072] ppid=11068 vsize=24968 CPUtime=0.18
/proc/11070/task/11072/stat : 11072 (satake) R 11068 11070 17312 0 -1 4202560 1979 0 0 0 18 0 0 0 22 0 5 0 1129054654 25567232 5417 4294967295 134512640 135180984 3219347856 3086028528 134522704 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11070/tid=11073] ppid=11068 vsize=24968 CPUtime=0.11
/proc/11070/task/11073/stat : 11073 (satake) R 11068 11070 17312 0 -1 4202560 1899 0 0 0 11 0 0 0 23 0 5 0 1129054654 25567232 5417 4294967295 134512640 135180984 3219347856 3085963056 134523843 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 24968

[startup+0.71039 s]
/proc/loadavg: 5.20 5.26 5.12 7/120 11073
/proc/meminfo: memFree=3108168/3368532 swapFree=1959840/1959888
[pid=11070] ppid=11068 vsize=25296 CPUtime=1.35
/proc/11070/stat : 11070 (satake) S 11068 11070 17312 0 -1 4202496 6720 0 0 0 133 2 0 0 22 0 5 0 1129054654 25903104 5503 4294967295 134512640 135180984 3219347856 3219347292 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11070/statm: 6324 5503 68 164 0 6159 0
[pid=11070/tid=11071] ppid=11068 vsize=25296 CPUtime=0
/proc/11070/task/11071/stat : 11071 (satake) S 11068 11070 17312 0 -1 4202560 568 0 0 0 0 0 0 0 18 0 5 0 1129054654 25903104 5503 4294967295 134512640 135180984 3219347856 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=11070/tid=11072] ppid=11068 vsize=25296 CPUtime=0.51
/proc/11070/task/11072/stat : 11072 (satake) R 11068 11070 17312 0 -1 4202560 2001 0 0 0 51 0 0 0 24 0 5 0 1129054654 25903104 5503 4294967295 134512640 135180984 3219347856 3086028648 134518224 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11070/tid=11073] ppid=11068 vsize=25296 CPUtime=0.31
/proc/11070/task/11073/stat : 11073 (satake) R 11068 11070 17312 0 -1 4202560 1961 0 0 0 31 0 0 0 24 0 5 0 1129054654 25903104 5503 4294967295 134512640 135180984 3219347856 3085963120 134521032 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 25296

[startup+1.51034 s]
/proc/loadavg: 5.20 5.26 5.12 6/122 11075
/proc/meminfo: memFree=3086412/3368532 swapFree=1959840/1959888
[pid=11070] ppid=11068 vsize=25296 CPUtime=2.95
/proc/11070/stat : 11070 (satake) S 11068 11070 17312 0 -1 4202496 6722 0 0 0 293 2 0 0 22 0 5 0 1129054654 25903104 5505 4294967295 134512640 135180984 3219347856 3219347292 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11070/statm: 6324 5505 68 164 0 6159 0
[pid=11070/tid=11071] ppid=11068 vsize=25296 CPUtime=0
/proc/11070/task/11071/stat : 11071 (satake) S 11068 11070 17312 0 -1 4202560 568 0 0 0 0 0 0 0 16 0 5 0 1129054654 25903104 5505 4294967295 134512640 135180984 3219347856 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=11070/tid=11072] ppid=11068 vsize=25296 CPUtime=1.31
/proc/11070/task/11072/stat : 11072 (satake) R 11068 11070 17312 0 -1 4202560 2001 0 0 0 131 0 0 0 25 0 5 0 1129054654 25903104 5505 4294967295 134512640 135180984 3219347856 3086028652 134527217 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11070/tid=11073] ppid=11068 vsize=25296 CPUtime=0.6
/proc/11070/task/11073/stat : 11073 (satake) R 11068 11070 17312 0 -1 4202560 1962 0 0 0 60 0 0 0 25 0 5 0 1129054654 25903104 5505 4294967295 134512640 135180984 3219347856 3085963120 134528861 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11070/tid=11075] ppid=11068 vsize=25296 CPUtime=1.04
/proc/11070/task/11075/stat : 11075 (satake) R 11068 11070 17312 0 -1 4202560 2079 0 0 0 102 2 0 0 25 0 5 0 1129054656 25903104 5505 4294967295 134512640 135180984 3219347856 3079528096 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 25296

[startup+3.11026 s]
/proc/loadavg: 5.20 5.26 5.12 6/122 11079
/proc/meminfo: memFree=3085412/3368532 swapFree=1959840/1959888
[pid=11070] ppid=11068 vsize=25296 CPUtime=6.1
/proc/11070/stat : 11070 (satake) S 11068 11070 17312 0 -1 4202496 6727 0 0 0 608 2 0 0 22 0 5 0 1129054654 25903104 5510 4294967295 134512640 135180984 3219347856 3219347292 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11070/statm: 6324 5510 68 164 0 6159 0
[pid=11070/tid=11071] ppid=11068 vsize=25296 CPUtime=0
/proc/11070/task/11071/stat : 11071 (satake) S 11068 11070 17312 0 -1 4202560 568 0 0 0 0 0 0 0 15 0 5 0 1129054654 25903104 5510 4294967295 134512640 135180984 3219347856 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=11070/tid=11072] ppid=11068 vsize=25296 CPUtime=2.16
/proc/11070/task/11072/stat : 11072 (satake) R 11068 11070 17312 0 -1 4202560 2001 0 0 0 216 0 0 0 25 0 5 0 1129054654 25903104 5510 4294967295 134512640 135180984 3219347856 3086028584 134518214 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11070/tid=11073] ppid=11068 vsize=25296 CPUtime=2.19
/proc/11070/task/11073/stat : 11073 (satake) R 11068 11070 17312 0 -1 4202560 1964 0 0 0 219 0 0 0 25 0 5 0 1129054654 25903104 5510 4294967295 134512640 135180984 3219347856 3085963116 134520901 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11070/tid=11075] ppid=11068 vsize=25296 CPUtime=1.75
/proc/11070/task/11075/stat : 11075 (satake) R 11068 11070 17312 0 -1 4202560 2082 0 0 0 173 2 0 0 25 0 5 0 1129054656 25903104 5510 4294967295 134512640 135180984 3219347856 3079528304 134528230 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 25296

[startup+6.31009 s]
/proc/loadavg: 5.19 5.26 5.12 6/122 11083
/proc/meminfo: memFree=3085192/3368532 swapFree=1959840/1959888
[pid=11070] ppid=11068 vsize=25296 CPUtime=12.46
/proc/11070/stat : 11070 (satake) S 11068 11070 17312 0 -1 4202496 6747 0 0 0 1243 3 0 0 22 0 5 0 1129054654 25903104 5530 4294967295 134512640 135180984 3219347856 3219347292 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11070/statm: 6324 5530 68 164 0 6159 0
[pid=11070/tid=11071] ppid=11068 vsize=25296 CPUtime=0
/proc/11070/task/11071/stat : 11071 (satake) S 11068 11070 17312 0 -1 4202560 570 0 0 0 0 0 0 0 15 0 5 0 1129054654 25903104 5530 4294967295 134512640 135180984 3219347856 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=11070/tid=11072] ppid=11068 vsize=25296 CPUtime=4.01
/proc/11070/task/11072/stat : 11072 (satake) R 11068 11070 17312 0 -1 4202560 2004 0 0 0 400 1 0 0 25 0 5 0 1129054654 25903104 5530 4294967295 134512640 135180984 3219347856 3086028652 134523867 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11070/tid=11073] ppid=11068 vsize=25296 CPUtime=5.11
/proc/11070/task/11073/stat : 11073 (satake) R 11068 11070 17312 0 -1 4202560 1970 0 0 0 511 0 0 0 25 0 5 0 1129054654 25903104 5530 4294967295 134512640 135180984 3219347856 3085963120 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11070/tid=11075] ppid=11068 vsize=25296 CPUtime=3.35
/proc/11070/task/11075/stat : 11075 (satake) R 11068 11070 17312 0 -1 4202560 2091 0 0 0 333 2 0 0 25 0 5 0 1129054656 25903104 5530 4294967295 134512640 135180984 3219347856 3079528304 134526505 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 25296

[startup+12.7098 s]
/proc/loadavg: 5.33 5.29 5.13 6/122 11092
/proc/meminfo: memFree=3084728/3368532 swapFree=1959840/1959888
[pid=11070] ppid=11068 vsize=25560 CPUtime=25.21
/proc/11070/stat : 11070 (satake) S 11068 11070 17312 0 -1 4202496 6825 0 0 0 2514 7 0 0 22 0 5 0 1129054654 26173440 5608 4294967295 134512640 135180984 3219347856 3219347292 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11070/statm: 6390 5608 68 164 0 6225 0
[pid=11070/tid=11071] ppid=11068 vsize=25560 CPUtime=0.03
/proc/11070/task/11071/stat : 11071 (satake) S 11068 11070 17312 0 -1 4202560 577 0 0 0 0 3 0 0 15 0 5 0 1129054654 26173440 5608 4294967295 134512640 135180984 3219347856 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=11070/tid=11072] ppid=11068 vsize=25560 CPUtime=9.37
/proc/11070/task/11072/stat : 11072 (satake) R 11068 11070 17312 0 -1 4202560 2032 0 0 0 936 1 0 0 25 0 5 0 1129054654 26173440 5608 4294967295 134512640 135180984 3219347856 3086028648 134519914 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11070/tid=11073] ppid=11068 vsize=25560 CPUtime=8.3
/proc/11070/task/11073/stat : 11073 (satake) R 11068 11070 17312 0 -1 4202560 1990 0 0 0 830 0 0 0 25 0 5 0 1129054654 26173440 5608 4294967295 134512640 135180984 3219347856 3085963112 134520881 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11070/tid=11075] ppid=11068 vsize=25560 CPUtime=7.52
/proc/11070/task/11075/stat : 11075 (satake) R 11068 11070 17312 0 -1 4202560 2114 0 0 0 749 3 0 0 25 0 5 0 1129054656 26173440 5608 4294967295 134512640 135180984 3219347856 3079528108 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 25560

[startup+25.5091 s]
/proc/loadavg: 5.26 5.27 5.13 6/122 11113
/proc/meminfo: memFree=3083696/3368532 swapFree=1959840/1959888
[pid=11070] ppid=11068 vsize=26088 CPUtime=50.62
/proc/11070/stat : 11070 (satake) S 11068 11070 17312 0 -1 4202496 7048 0 0 0 5053 9 0 0 22 0 5 0 1129054654 26714112 5831 4294967295 134512640 135180984 3219347856 3219347292 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11070/statm: 6522 5831 68 164 0 6357 0
[pid=11070/tid=11071] ppid=11068 vsize=26088 CPUtime=0.05
/proc/11070/task/11071/stat : 11071 (satake) S 11068 11070 17312 0 -1 4202560 597 0 0 0 1 4 0 0 15 0 5 0 1129054654 26714112 5831 4294967295 134512640 135180984 3219347856 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=11070/tid=11072] ppid=11068 vsize=26088 CPUtime=18.32
/proc/11070/task/11072/stat : 11072 (satake) R 11068 11070 17312 0 -1 4202560 2093 0 0 0 1831 1 0 0 25 0 5 0 1129054654 26714112 5831 4294967295 134512640 135180984 3219347856 3086028656 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11070/tid=11073] ppid=11068 vsize=26088 CPUtime=16.61
/proc/11070/task/11073/stat : 11073 (satake) R 11068 11070 17312 0 -1 4202560 2080 0 0 0 1660 1 0 0 25 0 5 0 1129054654 26714112 5831 4294967295 134512640 135180984 3219347856 3085963008 134522980 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11070/tid=11075] ppid=11068 vsize=26088 CPUtime=15.65
/proc/11070/task/11075/stat : 11075 (satake) R 11068 11070 17312 0 -1 4202560 2166 0 0 0 1562 3 0 0 25 0 5 0 1129054656 26714112 5831 4294967295 134512640 135180984 3219347856 3079528296 134518263 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 26088

[startup+51.1078 s]
/proc/loadavg: 5.48 5.31 5.14 7/123 11265
/proc/meminfo: memFree=3082744/3368532 swapFree=1959840/1959888
[pid=11070] ppid=11068 vsize=28172 CPUtime=101.76
/proc/11070/stat : 11070 (satake) S 11068 11070 17312 0 -1 4202496 7464 0 0 0 10161 15 0 0 22 0 5 0 1129054654 28848128 6247 4294967295 134512640 135180984 3219347856 3219347292 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11070/statm: 7043 6247 68 164 0 6878 0
[pid=11070/tid=11071] ppid=11068 vsize=28172 CPUtime=0.13
/proc/11070/task/11071/stat : 11071 (satake) S 11068 11070 17312 0 -1 4202560 641 0 0 0 5 8 0 0 15 0 5 0 1129054654 28848128 6247 4294967295 134512640 135180984 3219347856 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=11070/tid=11072] ppid=11068 vsize=28172 CPUtime=33.39
/proc/11070/task/11072/stat : 11072 (satake) R 11068 11070 17312 0 -1 4202560 2219 0 0 0 3336 3 0 0 25 0 5 0 1129054654 28848128 6247 4294967295 134512640 135180984 3219347856 3086028544 134522915 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11070/tid=11073] ppid=11068 vsize=28172 CPUtime=37.62
/proc/11070/task/11073/stat : 11073 (satake) R 11068 11070 17312 0 -1 4202560 2231 0 0 0 3761 1 0 0 25 0 5 0 1129054654 28848128 6247 4294967295 134512640 135180984 3219347856 3085963008 134522774 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11070/tid=11075] ppid=11068 vsize=28172 CPUtime=30.62
/proc/11070/task/11075/stat : 11075 (satake) R 11068 11070 17312 0 -1 4202560 2261 0 0 0 3059 3 0 0 25 0 5 0 1129054656 28848128 6247 4294967295 134512640 135180984 3219347856 3079528304 134526365 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 28172

[startup+102.315 s]
/proc/loadavg: 5.41 5.31 5.15 7/123 11437
/proc/meminfo: memFree=3078648/3368532 swapFree=1959840/1959888
[pid=11070] ppid=11068 vsize=31140 CPUtime=205.28
/proc/11070/stat : 11070 (satake) S 11068 11070 17312 0 -1 4202496 8345 0 0 0 20490 38 0 0 22 0 5 0 1129054654 31887360 7128 4294967295 134512640 135180984 3219347856 3219347292 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11070/statm: 7785 7128 68 164 0 7620 0
[pid=11070/tid=11071] ppid=11068 vsize=31140 CPUtime=0.25
/proc/11070/task/11071/stat : 11071 (satake) S 11068 11070 17312 0 -1 4202560 767 0 0 0 10 15 0 0 15 0 5 0 1129054654 31887360 7128 4294967295 134512640 135180984 3219347856 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=11070/tid=11072] ppid=11068 vsize=31140 CPUtime=68.98
/proc/11070/task/11072/stat : 11072 (satake) R 11068 11070 17312 0 -1 4202560 2495 0 0 0 6894 4 0 0 25 0 5 0 1129054654 31887360 7128 4294967295 134512640 135180984 3219347856 3086028592 134523862 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11070/tid=11073] ppid=11068 vsize=31140 CPUtime=73.01
/proc/11070/task/11073/stat : 11073 (satake) R 11068 11070 17312 0 -1 4202560 2457 0 0 0 7290 11 0 0 25 0 5 0 1129054654 31887360 7128 4294967295 134512640 135180984 3219347856 3085963120 134526206 0 0 0 0 0 0 0 -1 2 0 0 0

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

[pid=11070/tid=11072] ppid=11068 vsize=68160 CPUtime=345.41
/proc/11070/task/11072/stat : 11072 (satake) R 11068 11070 17312 0 -1 4202560 4644 0 0 0 34479 62 0 0 25 0 5 0 1129054654 69795840 15646 4294967295 134512640 135180984 3219347856 3086028656 134528680 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11070/tid=11073] ppid=11068 vsize=68160 CPUtime=359.58
/proc/11070/task/11073/stat : 11073 (satake) R 11068 11070 17312 0 -1 4202560 4603 0 0 0 35881 77 0 0 25 0 5 0 1129054654 69795840 15646 4294967295 134512640 135180984 3219347856 3085963120 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11070/tid=11075] ppid=11068 vsize=68160 CPUtime=332.07
/proc/11070/task/11075/stat : 11075 (satake) R 11068 11070 17312 0 -1 4202560 4907 0 0 0 33139 68 0 0 25 0 5 0 1129054656 69795840 15646 4294967295 134512640 135180984 3219347856 3079528304 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1039.77
Current children cumulated vsize (KiB) 68160

[startup+582.32 s]
/proc/loadavg: 5.35 5.35 5.22 8/123 13642
/proc/meminfo: memFree=3039080/3368532 swapFree=1959840/1959888
[pid=11070] ppid=11068 vsize=73544 CPUtime=1159.05
/proc/11070/stat : 11070 (satake) S 11068 11070 17312 0 -1 4202496 18030 0 0 0 115439 466 0 0 22 0 5 0 1129054654 75309056 16813 4294967295 134512640 135180984 3219347856 3219347292 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11070/statm: 18386 16813 68 164 0 18221 0
[pid=11070/tid=11071] ppid=11068 vsize=73544 CPUtime=3.1
/proc/11070/task/11071/stat : 11071 (satake) S 11068 11070 17312 0 -1 4202560 2833 0 0 0 84 226 0 0 15 0 5 0 1129054654 75309056 16813 4294967295 134512640 135180984 3219347856 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=11070/tid=11072] ppid=11068 vsize=73544 CPUtime=382.1
/proc/11070/task/11072/stat : 11072 (satake) R 11068 11070 17312 0 -1 4202560 4864 0 0 0 38136 74 0 0 25 0 5 0 1129054654 75309056 16813 4294967295 134512640 135180984 3219347856 3086028460 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11070/tid=11073] ppid=11068 vsize=73544 CPUtime=402.37
/proc/11070/task/11073/stat : 11073 (satake) R 11068 11070 17312 0 -1 4202560 5022 0 0 0 40145 92 0 0 25 0 5 0 1129054654 75309056 16813 4294967295 134512640 135180984 3219347856 3085963120 134528862 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11070/tid=11075] ppid=11068 vsize=73544 CPUtime=371.49
/proc/11070/task/11075/stat : 11075 (satake) R 11068 11070 17312 0 -1 4202560 5199 0 0 0 37075 74 0 0 25 0 5 0 1129054656 75309056 16813 4294967295 134512640 135180984 3219347856 3079528296 134518214 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1159.05
Current children cumulated vsize (KiB) 73544

[startup+642.317 s]
/proc/loadavg: 5.44 5.36 5.22 7/122 14089
/proc/meminfo: memFree=3036556/3368532 swapFree=1959840/1959888
[pid=11070] ppid=11068 vsize=79080 CPUtime=1278.13
/proc/11070/stat : 11070 (satake) S 11068 11070 17312 0 -1 4202496 19079 0 0 0 127295 518 0 0 22 0 5 0 1129054654 80977920 17854 4294967295 134512640 135180984 3219347856 3219347292 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11070/statm: 19770 17854 68 164 0 19605 0
[pid=11070/tid=11071] ppid=11068 vsize=79080 CPUtime=3.5
/proc/11070/task/11071/stat : 11071 (satake) S 11068 11070 17312 0 -1 4202560 3094 0 0 0 97 253 0 0 15 0 5 0 1129054654 80977920 17854 4294967295 134512640 135180984 3219347856 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=11070/tid=11072] ppid=11068 vsize=79080 CPUtime=421.51
/proc/11070/task/11072/stat : 11072 (satake) R 11068 11070 17312 0 -1 4202560 5145 0 0 0 42068 83 0 0 25 0 5 0 1129054654 80977920 17854 4294967295 134512640 135180984 3219347856 3086028544 134522980 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11070/tid=11073] ppid=11068 vsize=79080 CPUtime=444.08
/proc/11070/task/11073/stat : 11073 (satake) R 11068 11070 17312 0 -1 4202560 5310 0 0 0 44307 101 0 0 24 0 5 0 1129054654 80977920 17854 4294967295 134512640 135180984 3219347856 3085963176 134518214 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11070/tid=11075] ppid=11068 vsize=79080 CPUtime=409.04
/proc/11070/task/11075/stat : 11075 (satake) R 11068 11070 17312 0 -1 4202560 5418 0 0 0 40823 81 0 0 25 0 5 0 1129054656 80977920 17854 4294967295 134512640 135180984 3219347856 3079528304 134528869 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1278.13
Current children cumulated vsize (KiB) 79080

[startup+702.314 s]
/proc/loadavg: 5.46 5.38 5.24 8/123 14191
/proc/meminfo: memFree=3031952/3368532 swapFree=1959840/1959888
[pid=11070] ppid=11068 vsize=83680 CPUtime=1397.45
/proc/11070/stat : 11070 (satake) S 11068 11070 17312 0 -1 4202496 20036 0 0 0 139164 581 0 0 22 0 5 0 1129054654 85688320 18811 4294967295 134512640 135180984 3219347856 3219347292 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11070/statm: 20920 18811 68 164 0 20755 0
[pid=11070/tid=11071] ppid=11068 vsize=83680 CPUtime=3.94
/proc/11070/task/11071/stat : 11071 (satake) S 11068 11070 17312 0 -1 4202560 3308 0 0 0 112 282 0 0 16 0 5 0 1129054654 85688320 18811 4294967295 134512640 135180984 3219347856 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=11070/tid=11072] ppid=11068 vsize=83680 CPUtime=455.63
/proc/11070/task/11072/stat : 11072 (satake) R 11068 11070 17312 0 -1 4202560 5345 0 0 0 45472 91 0 0 25 0 5 0 1129054654 85688320 18811 4294967295 134512640 135180984 3219347856 3086028560 134525228 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11070/tid=11073] ppid=11068 vsize=83680 CPUtime=486.41
/proc/11070/task/11073/stat : 11073 (satake) R 11068 11070 17312 0 -1 4202560 5562 0 0 0 48526 115 0 0 25 0 5 0 1129054654 85688320 18811 4294967295 134512640 135180984 3219347856 3085963016 134520909 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11070/tid=11075] ppid=11068 vsize=83680 CPUtime=451.48
/proc/11070/task/11075/stat : 11075 (satake) R 11068 11070 17312 0 -1 4202560 5709 0 0 0 45055 93 0 0 25 0 5 0 1129054656 85688320 18811 4294967295 134512640 135180984 3219347856 3079528304 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1397.45
Current children cumulated vsize (KiB) 83680

[startup+762.311 s]
/proc/loadavg: 5.44 5.41 5.26 7/123 14498
/proc/meminfo: memFree=3027500/3368532 swapFree=1959840/1959888
[pid=11070] ppid=11068 vsize=88916 CPUtime=1516.48
/proc/11070/stat : 11070 (satake) S 11068 11070 17312 0 -1 4202496 21041 0 0 0 151013 635 0 0 22 0 5 0 1129054654 91049984 19816 4294967295 134512640 135180984 3219347856 3219347292 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11070/statm: 22229 19816 68 164 0 22064 0
[pid=11070/tid=11071] ppid=11068 vsize=88916 CPUtime=4.33
/proc/11070/task/11071/stat : 11071 (satake) S 11068 11070 17312 0 -1 4202560 3538 0 0 0 127 306 0 0 15 0 5 0 1129054654 91049984 19816 4294967295 134512640 135180984 3219347856 3086094356 134580588 0 0 0 0 3223036975 0 0 -1 2 0 0 0
[pid=11070/tid=11072] ppid=11068 vsize=88916 CPUtime=495.83
/proc/11070/task/11072/stat : 11072 (satake) R 11068 11070 17312 0 -1 4202560 5525 0 0 0 49484 99 0 0 25 0 5 0 1129054654 91049984 19816 4294967295 134512640 135180984 3219347856 3086028460 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11070/tid=11073] ppid=11068 vsize=88916 CPUtime=526.88
/proc/11070/task/11073/stat : 11073 (satake) R 11068 11070 17312 0 -1 4202560 5772 0 0 0 52566 122 0 0 25 0 5 0 1129054654 91049984 19816 4294967295 134512640 135180984 3219347856 3085963120 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11070/tid=11075] ppid=11068 vsize=88916 CPUtime=489.45
/proc/11070/task/11075/stat : 11075 (satake) R 11068 11070 17312 0 -1 4202560 6094 0 0 0 48837 108 0 0 25 0 5 0 1129054656 91049984 19816 4294967295 134512640 135180984 3219347856 3079528304 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1516.48
Current children cumulated vsize (KiB) 88916

[startup+822.307 s]
/proc/loadavg: 5.39 5.39 5.26 8/123 14742
/proc/meminfo: memFree=3022488/3368532 swapFree=1959840/1959888
[pid=11070] ppid=11068 vsize=92084 CPUtime=1635.74
/proc/11070/stat : 11070 (satake) S 11068 11070 17312 0 -1 4202496 22062 0 0 0 162884 690 0 0 22 0 5 0 1129054654 94294016 20837 4294967295 134512640 135180984 3219347856 3219347292 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11070/statm: 23021 20837 68 164 0 22856 0
[pid=11070/tid=11071] ppid=11068 vsize=92084 CPUtime=4.82
/proc/11070/task/11071/stat : 11071 (satake) S 11068 11070 17312 0 -1 4202560 3768 0 0 0 151 331 0 0 15 0 5 0 1129054654 94294016 20837 4294967295 134512640 135180984 3219347856 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=11070/tid=11072] ppid=11068 vsize=92084 CPUtime=532.46
/proc/11070/task/11072/stat : 11072 (satake) R 11068 11070 17312 0 -1 4202560 5735 0 0 0 53134 112 0 0 25 0 5 0 1129054654 94294016 20837 4294967295 134512640 135180984 3219347856 3086028652 134519095 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11070/tid=11073] ppid=11068 vsize=92084 CPUtime=568.71
/proc/11070/task/11073/stat : 11073 (satake) R 11068 11070 17312 0 -1 4202560 6174 0 0 0 56742 129 0 0 25 0 5 0 1129054654 94294016 20837 4294967295 134512640 135180984 3219347856 3085963112 134520909 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11070/tid=11075] ppid=11068 vsize=92084 CPUtime=529.76
/proc/11070/task/11075/stat : 11075 (satake) R 11068 11070 17312 0 -1 4202560 6273 0 0 0 52858 118 0 0 25 0 5 0 1129054656 94294016 20837 4294967295 134512640 135180984 3219347856 3079528272 134519941 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1635.74
Current children cumulated vsize (KiB) 92084

[startup+882.304 s]
/proc/loadavg: 5.20 5.35 5.26 7/123 15021
/proc/meminfo: memFree=3019668/3368532 swapFree=1959840/1959888
[pid=11070] ppid=11068 vsize=95904 CPUtime=1755.07
/proc/11070/stat : 11070 (satake) S 11068 11070 17312 0 -1 4202496 22999 0 0 0 174745 762 0 0 22 0 5 0 1129054654 98205696 21774 4294967295 134512640 135180984 3219347856 3219347292 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11070/statm: 23976 21774 68 164 0 23811 0
[pid=11070/tid=11071] ppid=11068 vsize=95904 CPUtime=5.24
/proc/11070/task/11071/stat : 11071 (satake) S 11068 11070 17312 0 -1 4202560 4015 0 0 0 161 363 0 0 15 0 5 0 1129054654 98205696 21774 4294967295 134512640 135180984 3219347856 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=11070/tid=11072] ppid=11068 vsize=95904 CPUtime=570.06
/proc/11070/task/11072/stat : 11072 (satake) R 11068 11070 17312 0 -1 4202560 5934 0 0 0 56884 122 0 0 25 0 5 0 1129054654 98205696 21774 4294967295 134512640 135180984 3219347856 3086028648 134520860 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11070/tid=11073] ppid=11068 vsize=95904 CPUtime=608.41
/proc/11070/task/11073/stat : 11073 (satake) R 11068 11070 17312 0 -1 4202560 6403 0 0 0 60697 144 0 0 25 0 5 0 1129054654 98205696 21774 4294967295 134512640 135180984 3219347856 3085963120 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11070/tid=11075] ppid=11068 vsize=95904 CPUtime=571.36
/proc/11070/task/11075/stat : 11075 (satake) R 11068 11070 17312 0 -1 4202560 6535 0 0 0 57003 133 0 0 25 0 5 0 1129054656 98205696 21774 4294967295 134512640 135180984 3219347856 3079528224 134519095 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1755.07
Current children cumulated vsize (KiB) 95904

[startup+942.311 s]
/proc/loadavg: 5.27 5.33 5.25 7/122 15289
/proc/meminfo: memFree=3016228/3368532 swapFree=1959840/1959888
[pid=11070] ppid=11068 vsize=99160 CPUtime=1874.31
/proc/11070/stat : 11070 (satake) S 11068 11070 17312 0 -1 4202496 23802 0 0 0 186606 825 0 0 22 0 5 0 1129054654 101539840 22577 4294967295 134512640 135180984 3219347856 3219347292 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11070/statm: 24790 22577 68 164 0 24625 0
[pid=11070/tid=11071] ppid=11068 vsize=99160 CPUtime=5.64
/proc/11070/task/11071/stat : 11071 (satake) S 11068 11070 17312 0 -1 4202560 4149 0 0 0 165 399 0 0 15 0 5 0 1129054654 101539840 22577 4294967295 134512640 135180984 3219347856 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=11070/tid=11072] ppid=11068 vsize=99160 CPUtime=609.65
/proc/11070/task/11072/stat : 11072 (satake) R 11068 11070 17312 0 -1 4202560 6386 0 0 0 60837 128 0 0 25 0 5 0 1129054654 101539840 22577 4294967295 134512640 135180984 3219347856 3086028648 134518255 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11070/tid=11073] ppid=11068 vsize=99160 CPUtime=645.68
/proc/11070/task/11073/stat : 11073 (satake) R 11068 11070 17312 0 -1 4202560 6511 0 0 0 64414 154 0 0 25 0 5 0 1129054654 101539840 22577 4294967295 134512640 135180984 3219347856 3085963056 134523663 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11070/tid=11075] ppid=11068 vsize=99160 CPUtime=613.35
/proc/11070/task/11075/stat : 11075 (satake) R 11068 11070 17312 0 -1 4202560 6644 0 0 0 61191 144 0 0 25 0 5 0 1129054656 101539840 22577 4294967295 134512640 135180984 3219347856 3079528300 134520854 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1874.31
Current children cumulated vsize (KiB) 99160



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 5.45 5.37 5.27 6/122 15567
/proc/meminfo: memFree=3014872/3368532 swapFree=1959840/1959888
[pid=11070] ppid=11068 vsize=99640 CPUtime=1989.01
/proc/11070/stat : 11070 (satake) S 11068 11070 17312 0 -1 4202496 23926 0 0 0 198036 865 0 0 22 0 5 0 1129054654 102031360 22701 4294967295 134512640 135180984 3219347856 3219347292 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11070/statm: 24910 22701 68 164 0 24745 0
[pid=11070/tid=11071] ppid=11068 vsize=99640 CPUtime=5.96
/proc/11070/task/11071/stat : 11071 (satake) S 11068 11070 17312 0 -1 4202560 4212 0 0 0 175 421 0 0 15 0 5 0 1129054654 102031360 22701 4294967295 134512640 135180984 3219347856 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=11070/tid=11072] ppid=11068 vsize=99640 CPUtime=654.56
/proc/11070/task/11072/stat : 11072 (satake) R 11068 11070 17312 0 -1 4202560 6393 0 0 0 65324 132 0 0 25 0 5 0 1129054654 102031360 22701 4294967295 134512640 135180984 3219347856 3086028648 134518214 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11070/tid=11073] ppid=11068 vsize=99640 CPUtime=682.79
/proc/11070/task/11073/stat : 11073 (satake) R 11068 11070 17312 0 -1 4202560 6565 0 0 0 68120 159 0 0 25 0 5 0 1129054654 102031360 22701 4294967295 134512640 135180984 3219347856 3085963040 134520784 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11070/tid=11075] ppid=11068 vsize=99640 CPUtime=645.7
/proc/11070/task/11075/stat : 11075 (satake) R 11068 11070 17312 0 -1 4202560 6644 0 0 0 64417 153 0 0 25 0 5 0 1129054656 102031360 22701 4294967295 134512640 135180984 3219347856 3079528108 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1989.01
Current children cumulated vsize (KiB) 99640

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): 1989.04
CPU user time (s): 1980.39
CPU system time (s): 8.65
CPU usage (%): 198.897
Max. virtual memory (cumulated for all children) (KiB): 99640

deleting IPC queue 9961472
deleting IPC queue 9994241
deleting IPC queue 10027010
deleting IPC queue 10059779
deleting IPC queue 10092548
deleting IPC queue 10125317
deleting IPC queue 10158086
deleting IPC queue 10190855
deleting IPC queue 10223624
deleting IPC queue 10256393
deleting IPC queue 10289162
deleting IPC queue 10321931
deleting IPC queue 10354700
deleting IPC queue 10387469
deleting IPC queue 10420238
deleting IPC queue 10453007

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1980.39
system time used= 8.65
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23926
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= 2413847
involuntary context switches= 2447790

runsolver used 0.01 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 02:38:38
IDJOB=1779415
IDBENCH=70850
IDSOLVER=629
FILE ID=/1779415-1243643918
PBS_JOBID=
Free space on /tmp= 7984 MiB

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

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

MD5SUM BENCH= a2be03cdc152990d030fb3c2aea1f730
RANDOM SEED= 1365447752

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.073
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.073
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.12
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.073
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.073
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.14
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3108168 kB
Buffers:         56760 kB
Cached:          97492 kB
SwapCached:          0 kB
Active:          80316 kB
Inactive:        96116 kB
HighTotal:     2489216 kB
HighFree:      2369832 kB
LowTotal:       879316 kB
LowFree:        738336 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            2408 kB
Writeback:           0 kB
AnonPages:       21984 kB
Mapped:           8060 kB
Slab:            74168 kB
SReclaimable:    61696 kB
SUnreclaim:      12472 kB
PageTables:        768 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   123556 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 7984 MiB
End job on  at 2009-05-30 02:55:21