Trace number 1779355

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

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-32-s100.cnf
MD5SUM7785f51f4f3cb780b4d123215711f948
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 variables32312
Number of clauses97285
Sum of the clauses size229627
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 262100
Number of clauses of size 335121
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-1779355-1243643327/watcher-1779355-1243643327 -o /tmp/evaluation-result-1779355-1243643327/solver-1779355-1243643327 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779355-1243643327.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.21 5.34 5.20 7/116 31107
/proc/meminfo: memFree=3198440/3368532 swapFree=1954888/1959888
[pid=31104] ppid=31102 vsize=1092 CPUtime=0
/proc/31104/stat : 31104 (satake) R 31102 31104 8716 0 -1 4202496 108 0 0 0 0 0 0 0 21 0 4 0 1128996708 1118208 65 4294967295 134512640 135180984 3220478624 3220477968 134705812 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/31104/statm: 273 65 54 164 0 108 0
[pid=31104/tid=31105] ppid=31102 vsize=1092 CPUtime=0
/proc/31104/task/31105/stat : 31105 (satake) R 31102 31104 8716 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 1128996708 1118208 65 4294967295 134512640 135180984 3220478624 3086000964 134705812 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31104/tid=31106] ppid=31102 vsize=1092 CPUtime=0
/proc/31104/task/31106/stat : 31106 (satake) R 31102 31104 8716 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 1128996708 1118208 65 4294967295 134512640 135180984 3220478624 3085935428 134705812 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=1092 CPUtime=0
/proc/31104/task/31107/stat : 31107 (satake) R 31102 31104 8716 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 1128996708 1118208 65 4294967295 134512640 135180984 3220478624 3085869892 134705812 0 0 0 0 0 0 0 -1 2 0 0 0

[startup+0.063563 s]
/proc/loadavg: 5.21 5.34 5.20 7/116 31107
/proc/meminfo: memFree=3198440/3368532 swapFree=1954888/1959888
[pid=31104] ppid=31102 vsize=20564 CPUtime=0.09
/proc/31104/stat : 31104 (satake) S 31102 31104 8716 0 -1 4202496 4641 0 0 0 8 1 0 0 21 0 5 0 1128996708 21057536 4577 4294967295 134512640 135180984 3220478624 3220478060 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/31104/statm: 5141 4577 63 164 0 4976 0
[pid=31104/tid=31105] ppid=31102 vsize=20564 CPUtime=0
/proc/31104/task/31105/stat : 31105 (satake) S 31102 31104 8716 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 5 0 1128996708 21057536 4577 4294967295 134512640 135180984 3220478624 3086000144 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=31104/tid=31106] ppid=31102 vsize=20564 CPUtime=0.03
/proc/31104/task/31106/stat : 31106 (satake) R 31102 31104 8716 0 -1 4202560 1448 0 0 0 2 1 0 0 23 0 5 0 1128996708 21057536 4577 4294967295 134512640 135180984 3220478624 3085934804 134579745 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=20564 CPUtime=0.02
/proc/31104/task/31107/stat : 31107 (satake) R 31102 31104 8716 0 -1 4202560 1511 0 0 0 2 0 0 0 23 0 5 0 1128996708 21057536 4577 4294967295 134512640 135180984 3220478624 3085869204 134579486 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20564

[startup+0.103832 s]
/proc/loadavg: 5.21 5.34 5.20 7/116 31107
/proc/meminfo: memFree=3198440/3368532 swapFree=1954888/1959888
[pid=31104] ppid=31102 vsize=24180 CPUtime=0.17
/proc/31104/stat : 31104 (satake) S 31102 31104 8716 0 -1 4202496 5273 0 0 0 16 1 0 0 21 0 5 0 1128996708 24760320 5209 4294967295 134512640 135180984 3220478624 3220478060 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/31104/statm: 6045 5209 63 164 0 5880 0
[pid=31104/tid=31105] ppid=31102 vsize=24180 CPUtime=0
/proc/31104/task/31105/stat : 31105 (satake) S 31102 31104 8716 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 5 0 1128996708 24760320 5209 4294967295 134512640 135180984 3220478624 3086000144 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=31104/tid=31106] ppid=31102 vsize=24180 CPUtime=0.06
/proc/31104/task/31106/stat : 31106 (satake) D 31102 31104 8716 0 -1 4202560 1597 0 0 0 5 1 0 0 23 0 5 0 1128996708 24760320 5209 4294967295 134512640 135180984 3220478624 3085934680 134675846 0 0 0 0 3223098951 0 0 -1 2 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=24180 CPUtime=0.04
/proc/31104/task/31107/stat : 31107 (satake) D 31102 31104 8716 0 -1 4202560 1686 0 0 0 4 0 0 0 22 0 5 0 1128996708 24760320 5209 4294967295 134512640 135180984 3220478624 3085869328 134520025 0 0 0 0 3223098951 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 24180

[startup+0.303488 s]
/proc/loadavg: 5.21 5.34 5.20 7/116 31107
/proc/meminfo: memFree=3198440/3368532 swapFree=1954888/1959888
[pid=31104] ppid=31102 vsize=24432 CPUtime=0.57
/proc/31104/stat : 31104 (satake) S 31102 31104 8716 0 -1 4202496 6683 0 0 0 56 1 0 0 21 0 5 0 1128996708 25018368 5455 4294967295 134512640 135180984 3220478624 3220478060 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/31104/statm: 6108 5455 68 164 0 5943 0
[pid=31104/tid=31105] ppid=31102 vsize=24432 CPUtime=0.01
/proc/31104/task/31105/stat : 31105 (satake) S 31102 31104 8716 0 -1 4202560 574 0 0 0 1 0 0 0 20 0 5 0 1128996708 25018368 5455 4294967295 134512640 135180984 3220478624 3086000144 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=31104/tid=31106] ppid=31102 vsize=24432 CPUtime=0.11
/proc/31104/task/31106/stat : 31106 (satake) R 31102 31104 8716 0 -1 4202560 1903 0 0 0 10 1 0 0 23 0 5 0 1128996708 25018368 5455 4294967295 134512640 135180984 3220478624 3085934512 134532489 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=24432 CPUtime=0.17
/proc/31104/task/31107/stat : 31107 (satake) R 31102 31104 8716 0 -1 4202560 2018 0 0 0 17 0 0 0 23 0 5 0 1128996708 25018368 5455 4294967295 134512640 135180984 3220478624 3085868908 134518257 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 24432

[startup+0.703452 s]
/proc/loadavg: 5.21 5.34 5.20 7/116 31107
/proc/meminfo: memFree=3198440/3368532 swapFree=1954888/1959888
[pid=31104] ppid=31102 vsize=24892 CPUtime=1.37
/proc/31104/stat : 31104 (satake) S 31102 31104 8716 0 -1 4202496 6784 0 0 0 136 1 0 0 21 0 5 0 1128996708 25489408 5556 4294967295 134512640 135180984 3220478624 3220478060 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/31104/statm: 6223 5556 68 164 0 6058 0
[pid=31104/tid=31105] ppid=31102 vsize=24892 CPUtime=0.01
/proc/31104/task/31105/stat : 31105 (satake) S 31102 31104 8716 0 -1 4202560 574 0 0 0 1 0 0 0 16 0 5 0 1128996708 25489408 5556 4294967295 134512640 135180984 3220478624 3086000144 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=31104/tid=31106] ppid=31102 vsize=24892 CPUtime=0.34
/proc/31104/task/31106/stat : 31106 (satake) R 31102 31104 8716 0 -1 4202560 1977 0 0 0 33 1 0 0 24 0 5 0 1128996708 25489408 5556 4294967295 134512640 135180984 3220478624 3085934252 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=24892 CPUtime=0.34
/proc/31104/task/31107/stat : 31107 (satake) R 31102 31104 8716 0 -1 4202560 2040 0 0 0 34 0 0 0 23 0 5 0 1128996708 25489408 5556 4294967295 134512640 135180984 3220478624 3085868848 134523641 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 24892

[startup+1.50339 s]
/proc/loadavg: 5.21 5.34 5.20 6/118 31109
/proc/meminfo: memFree=3176700/3368532 swapFree=1954888/1959888
[pid=31104] ppid=31102 vsize=24892 CPUtime=2.94
/proc/31104/stat : 31104 (satake) S 31102 31104 8716 0 -1 4202496 6787 0 0 0 293 1 0 0 21 0 5 0 1128996708 25489408 5559 4294967295 134512640 135180984 3220478624 3220478060 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/31104/statm: 6223 5559 68 164 0 6058 0
[pid=31104/tid=31105] ppid=31102 vsize=24892 CPUtime=0.01
/proc/31104/task/31105/stat : 31105 (satake) S 31102 31104 8716 0 -1 4202560 574 0 0 0 1 0 0 0 15 0 5 0 1128996708 25489408 5559 4294967295 134512640 135180984 3220478624 3086000144 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=31104/tid=31106] ppid=31102 vsize=24892 CPUtime=0.71
/proc/31104/task/31106/stat : 31106 (satake) R 31102 31104 8716 0 -1 4202560 1977 0 0 0 70 1 0 0 25 0 5 0 1128996708 25489408 5559 4294967295 134512640 135180984 3220478624 3085934444 134518208 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=24892 CPUtime=1.12
/proc/31104/task/31107/stat : 31107 (satake) R 31102 31104 8716 0 -1 4202560 2042 0 0 0 112 0 0 0 25 0 5 0 1128996708 25489408 5559 4294967295 134512640 135180984 3220478624 3085868904 134519907 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31104/tid=31109] ppid=31102 vsize=24892 CPUtime=1.1
/proc/31104/task/31109/stat : 31109 (satake) R 31102 31104 8716 0 -1 4202560 2085 0 0 0 110 0 0 0 25 0 5 0 1128996711 25489408 5559 4294967295 134512640 135180984 3220478624 3079638888 134520860 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 24892

[startup+3.10325 s]
/proc/loadavg: 5.21 5.34 5.20 6/118 31113
/proc/meminfo: memFree=3175812/3368532 swapFree=1954888/1959888
[pid=31104] ppid=31102 vsize=24892 CPUtime=6.12
/proc/31104/stat : 31104 (satake) S 31102 31104 8716 0 -1 4202496 6795 0 0 0 611 1 0 0 21 0 5 0 1128996708 25489408 5567 4294967295 134512640 135180984 3220478624 3220478060 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/31104/statm: 6223 5567 68 164 0 6058 0
[pid=31104/tid=31105] ppid=31102 vsize=24892 CPUtime=0.01
/proc/31104/task/31105/stat : 31105 (satake) S 31102 31104 8716 0 -1 4202560 575 0 0 0 1 0 0 0 15 0 5 0 1128996708 25489408 5567 4294967295 134512640 135180984 3220478624 3086000144 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=31104/tid=31106] ppid=31102 vsize=24892 CPUtime=2.17
/proc/31104/task/31106/stat : 31106 (satake) R 31102 31104 8716 0 -1 4202560 1978 0 0 0 216 1 0 0 25 0 5 0 1128996708 25489408 5567 4294967295 134512640 135180984 3220478624 3085934448 134528680 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=24892 CPUtime=2.01
/proc/31104/task/31107/stat : 31107 (satake) R 31102 31104 8716 0 -1 4202560 2042 0 0 0 201 0 0 0 25 0 5 0 1128996708 25489408 5567 4294967295 134512640 135180984 3220478624 3085868976 134532470 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31104/tid=31109] ppid=31102 vsize=24892 CPUtime=1.93
/proc/31104/task/31109/stat : 31109 (satake) R 31102 31104 8716 0 -1 4202560 2091 0 0 0 193 0 0 0 25 0 5 0 1128996711 25489408 5567 4294967295 134512640 135180984 3220478624 3079638832 134523791 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 24892

[startup+6.30297 s]
/proc/loadavg: 5.28 5.35 5.20 6/118 31117
/proc/meminfo: memFree=3176072/3368532 swapFree=1954888/1959888
[pid=31104] ppid=31102 vsize=25024 CPUtime=12.47
/proc/31104/stat : 31104 (satake) S 31102 31104 8716 0 -1 4202496 6833 0 0 0 1245 2 0 0 21 0 5 0 1128996708 25624576 5605 4294967295 134512640 135180984 3220478624 3220478060 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/31104/statm: 6256 5605 68 164 0 6091 0
[pid=31104/tid=31105] ppid=31102 vsize=25024 CPUtime=0.01
/proc/31104/task/31105/stat : 31105 (satake) S 31102 31104 8716 0 -1 4202560 578 0 0 0 1 0 0 0 15 0 5 0 1128996708 25624576 5605 4294967295 134512640 135180984 3220478624 3086000144 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=31104/tid=31106] ppid=31102 vsize=25024 CPUtime=3.91
/proc/31104/task/31106/stat : 31106 (satake) R 31102 31104 8716 0 -1 4202560 1982 0 0 0 390 1 0 0 25 0 5 0 1128996708 25624576 5605 4294967295 134512640 135180984 3220478624 3085934336 134522961 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=25024 CPUtime=4.28
/proc/31104/task/31107/stat : 31107 (satake) R 31102 31104 8716 0 -1 4202560 2064 0 0 0 427 1 0 0 25 0 5 0 1128996708 25624576 5605 4294967295 134512640 135180984 3220478624 3085868912 134528600 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31104/tid=31109] ppid=31102 vsize=25024 CPUtime=4.27
/proc/31104/task/31109/stat : 31109 (satake) R 31102 31104 8716 0 -1 4202560 2100 0 0 0 427 0 0 0 25 0 5 0 1128996711 25624576 5605 4294967295 134512640 135180984 3220478624 3079638888 134518214 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 25024

[startup+12.7024 s]
/proc/loadavg: 5.25 5.34 5.20 6/120 31128
/proc/meminfo: memFree=3175080/3368532 swapFree=1954888/1959888
[pid=31104] ppid=31102 vsize=26312 CPUtime=25.14
/proc/31104/stat : 31104 (satake) S 31102 31104 8716 0 -1 4202496 6934 0 0 0 2511 3 0 0 21 0 5 0 1128996708 26943488 5706 4294967295 134512640 135180984 3220478624 3220478060 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/31104/statm: 6578 5706 68 164 0 6413 0
[pid=31104/tid=31105] ppid=31102 vsize=26312 CPUtime=0.02
/proc/31104/task/31105/stat : 31105 (satake) S 31102 31104 8716 0 -1 4202560 580 0 0 0 1 1 0 0 15 0 5 0 1128996708 26943488 5706 4294967295 134512640 135180984 3220478624 3086000144 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=31104/tid=31106] ppid=31102 vsize=26312 CPUtime=9.56
/proc/31104/task/31106/stat : 31106 (satake) R 31102 31104 8716 0 -1 4202560 2015 0 0 0 955 1 0 0 25 0 5 0 1128996708 26943488 5706 4294967295 134512640 135180984 3220478624 3085934464 134532624 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=26312 CPUtime=8.46
/proc/31104/task/31107/stat : 31107 (satake) R 31102 31104 8716 0 -1 4202560 2100 0 0 0 845 1 0 0 25 0 5 0 1128996708 26943488 5706 4294967295 134512640 135180984 3220478624 3085868908 134518208 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31104/tid=31109] ppid=31102 vsize=26312 CPUtime=7.1
/proc/31104/task/31109/stat : 31109 (satake) R 31102 31104 8716 0 -1 4202560 2130 0 0 0 710 0 0 0 25 0 5 0 1128996711 26943488 5706 4294967295 134512640 135180984 3220478624 3079638700 134706407 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) 26312

[startup+25.5113 s]
/proc/loadavg: 5.26 5.34 5.20 6/120 31151
/proc/meminfo: memFree=3173908/3368532 swapFree=1954888/1959888
[pid=31104] ppid=31102 vsize=26852 CPUtime=50.57
/proc/31104/stat : 31104 (satake) S 31102 31104 8716 0 -1 4202496 7121 0 0 0 5053 4 0 0 21 0 5 0 1128996708 27496448 5893 4294967295 134512640 135180984 3220478624 3220478060 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/31104/statm: 6713 5893 68 164 0 6548 0
[pid=31104/tid=31105] ppid=31102 vsize=26852 CPUtime=0.02
/proc/31104/task/31105/stat : 31105 (satake) S 31102 31104 8716 0 -1 4202560 584 0 0 0 1 1 0 0 15 0 5 0 1128996708 27496448 5893 4294967295 134512640 135180984 3220478624 3086000144 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=31104/tid=31106] ppid=31102 vsize=26852 CPUtime=18.65
/proc/31104/task/31106/stat : 31106 (satake) R 31102 31104 8716 0 -1 4202560 2074 0 0 0 1864 1 0 0 25 0 5 0 1128996708 27496448 5893 4294967295 134512640 135180984 3220478624 3085934280 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=26852 CPUtime=17.11
/proc/31104/task/31107/stat : 31107 (satake) R 31102 31104 8716 0 -1 4202560 2154 0 0 0 1709 2 0 0 25 0 5 0 1128996708 27496448 5893 4294967295 134512640 135180984 3220478624 3085868848 134523696 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31104/tid=31109] ppid=31102 vsize=26852 CPUtime=14.79
/proc/31104/task/31109/stat : 31109 (satake) R 31102 31104 8716 0 -1 4202560 2200 0 0 0 1479 0 0 0 25 0 5 0 1128996711 27496448 5893 4294967295 134512640 135180984 3220478624 3079638896 134526964 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 26852

[startup+51.1191 s]
/proc/loadavg: 5.37 5.36 5.21 6/118 31372
/proc/meminfo: memFree=3172584/3368532 swapFree=1954888/1959888
[pid=31104] ppid=31102 vsize=28048 CPUtime=101.39
/proc/31104/stat : 31104 (satake) S 31102 31104 8716 0 -1 4202496 7550 0 0 0 10129 10 0 0 21 0 5 0 1128996708 28721152 6322 4294967295 134512640 135180984 3220478624 3220478060 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/31104/statm: 7012 6322 68 164 0 6847 0
[pid=31104/tid=31105] ppid=31102 vsize=28048 CPUtime=0.07
/proc/31104/task/31105/stat : 31105 (satake) S 31102 31104 8716 0 -1 4202560 601 0 0 0 3 4 0 0 15 0 5 0 1128996708 28721152 6322 4294967295 134512640 135180984 3220478624 3086000144 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=31104/tid=31106] ppid=31102 vsize=28048 CPUtime=37.09
/proc/31104/task/31106/stat : 31106 (satake) R 31102 31104 8716 0 -1 4202560 2250 0 0 0 3707 2 0 0 25 0 5 0 1128996708 28721152 6322 4294967295 134512640 135180984 3220478624 3085934448 134528869 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=28048 CPUtime=34.11
/proc/31104/task/31107/stat : 31107 (satake) R 31102 31104 8716 0 -1 4202560 2265 0 0 0 3408 3 0 0 25 0 5 0 1128996708 28721152 6322 4294967295 134512640 135180984 3220478624 3085868928 134532622 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31104/tid=31109] ppid=31102 vsize=28048 CPUtime=30.12
/proc/31104/task/31109/stat : 31109 (satake) R 31102 31104 8716 0 -1 4202560 2325 0 0 0 3011 1 0 0 25 0 5 0 1128996711 28721152 6322 4294967295 134512640 135180984 3220478624 3079638892 134518257 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 28048

[startup+102.315 s]
/proc/loadavg: 5.53 5.40 5.23 6/118 31637
/proc/meminfo: memFree=3169444/3368532 swapFree=1954888/1959888
[pid=31104] ppid=31102 vsize=30268 CPUtime=202.99
/proc/31104/stat : 31104 (satake) S 31102 31104 8716 0 -1 4202496 8149 0 0 0 20281 18 0 0 21 0 5 0 1128996708 30994432 6921 4294967295 134512640 135180984 3220478624 3220478060 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/31104/statm: 7567 6921 68 164 0 7402 0
[pid=31104/tid=31105] ppid=31102 vsize=30268 CPUtime=0.1
/proc/31104/task/31105/stat : 31105 (satake) S 31102 31104 8716 0 -1 4202560 612 0 0 0 3 7 0 0 15 0 5 0 1128996708 30994432 6921 4294967295 134512640 135180984 3220478624 3086000144 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=31104/tid=31106] ppid=31102 vsize=30268 CPUtime=68.7
/proc/31104/task/31106/stat : 31106 (satake) R 31102 31104 8716 0 -1 4202560 2450 0 0 0 6865 5 0 0 25 0 5 0 1128996708 30994432 6921 4294967295 134512640 135180984 3220478624 3085934512 134532425 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=30268 CPUtime=69.84
/proc/31104/task/31107/stat : 31107 (satake) R 31102 31104 8716 0 -1 4202560 2448 0 0 0 6980 4 0 0 25 0 5 0 1128996708 30994432 6921 4294967295 134512640 135180984 3220478624 3085868904 134520873 0 0 0 0 0 0 0 -1 0 0 0 0

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

[pid=31104/tid=31106] ppid=31102 vsize=51084 CPUtime=336.81
/proc/31104/task/31106/stat : 31106 (satake) R 31102 31104 8716 0 -1 4202560 3994 0 0 0 33670 11 0 0 25 0 5 0 1128996708 52310016 11812 4294967295 134512640 135180984 3220478624 3085934384 134523644 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=51084 CPUtime=353.01
/proc/31104/task/31107/stat : 31107 (satake) R 31102 31104 8716 0 -1 4202560 4012 0 0 0 35286 15 0 0 25 0 5 0 1128996708 52310016 11812 4294967295 134512640 135180984 3220478624 3085868908 134520854 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31104/tid=31109] ppid=31102 vsize=51084 CPUtime=346.92
/proc/31104/task/31109/stat : 31109 (satake) R 31102 31104 8716 0 -1 4202560 4208 0 0 0 34680 12 0 0 25 0 5 0 1128996711 52310016 11812 4294967295 134512640 135180984 3220478624 3079638896 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1037.09
Current children cumulated vsize (KiB) 51084

[startup+582.313 s]
/proc/loadavg: 5.41 5.43 5.30 6/120 1403
/proc/meminfo: memFree=3145776/3368532 swapFree=1954888/1959888
[pid=31104] ppid=31102 vsize=54540 CPUtime=1156.71
/proc/31104/stat : 31104 (satake) S 31102 31104 8716 0 -1 4202496 13916 0 0 0 115599 72 0 0 21 0 5 0 1128996708 55848960 12688 4294967295 134512640 135180984 3220478624 3220478060 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/31104/statm: 13635 12688 68 164 0 13470 0
[pid=31104/tid=31105] ppid=31102 vsize=54540 CPUtime=0.41
/proc/31104/task/31105/stat : 31105 (satake) S 31102 31104 8716 0 -1 4202560 727 0 0 0 12 29 0 0 15 0 5 0 1128996708 55848960 12688 4294967295 134512640 135180984 3220478624 3086000144 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=31104/tid=31106] ppid=31102 vsize=54540 CPUtime=375.68
/proc/31104/task/31106/stat : 31106 (satake) R 31102 31104 8716 0 -1 4202560 4305 0 0 0 37555 13 0 0 25 0 5 0 1128996708 55848960 12688 4294967295 134512640 135180984 3220478624 3085934448 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=54540 CPUtime=392.41
/proc/31104/task/31107/stat : 31107 (satake) R 31102 31104 8716 0 -1 4202560 4288 0 0 0 39226 15 0 0 25 0 5 0 1128996708 55848960 12688 4294967295 134512640 135180984 3220478624 3085868912 134528206 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31104/tid=31109] ppid=31102 vsize=54540 CPUtime=388.21
/proc/31104/task/31109/stat : 31109 (satake) R 31102 31104 8716 0 -1 4202560 4487 0 0 0 38806 15 0 0 25 0 5 0 1128996711 55848960 12688 4294967295 134512640 135180984 3220478624 3079638832 134523862 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1156.71
Current children cumulated vsize (KiB) 54540

[startup+642.308 s]
/proc/loadavg: 5.50 5.44 5.31 7/118 1680
/proc/meminfo: memFree=3143600/3368532 swapFree=1954888/1959888
[pid=31104] ppid=31102 vsize=58056 CPUtime=1275.85
/proc/31104/stat : 31104 (satake) S 31102 31104 8716 0 -1 4202496 14577 0 0 0 127511 74 0 0 21 0 5 0 1128996708 59449344 13349 4294967295 134512640 135180984 3220478624 3220478060 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/31104/statm: 14514 13349 68 164 0 14349 0
[pid=31104/tid=31105] ppid=31102 vsize=58056 CPUtime=0.44
/proc/31104/task/31105/stat : 31105 (satake) S 31102 31104 8716 0 -1 4202560 741 0 0 0 15 29 0 0 15 0 5 0 1128996708 59449344 13349 4294967295 134512640 135180984 3220478624 3086000144 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=31104/tid=31106] ppid=31102 vsize=58056 CPUtime=412.48
/proc/31104/task/31106/stat : 31106 (satake) R 31102 31104 8716 0 -1 4202560 4454 0 0 0 41235 13 0 0 25 0 5 0 1128996708 59449344 13349 4294967295 134512640 135180984 3220478624 3085934384 134523809 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=58056 CPUtime=434.29
/proc/31104/task/31107/stat : 31107 (satake) R 31102 31104 8716 0 -1 4202560 4627 0 0 0 43412 17 0 0 25 0 5 0 1128996708 59449344 13349 4294967295 134512640 135180984 3220478624 3085868716 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31104/tid=31109] ppid=31102 vsize=58056 CPUtime=428.64
/proc/31104/task/31109/stat : 31109 (satake) R 31102 31104 8716 0 -1 4202560 4646 0 0 0 42849 15 0 0 25 0 5 0 1128996711 59449344 13349 4294967295 134512640 135180984 3220478624 3079638896 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1275.85
Current children cumulated vsize (KiB) 58056

[startup+702.313 s]
/proc/loadavg: 5.43 5.42 5.31 6/118 1953
/proc/meminfo: memFree=3141032/3368532 swapFree=1954888/1959888
[pid=31104] ppid=31102 vsize=60860 CPUtime=1395.06
/proc/31104/stat : 31104 (satake) S 31102 31104 8716 0 -1 4202496 15239 0 0 0 139428 78 0 0 21 0 5 0 1128996708 62320640 14011 4294967295 134512640 135180984 3220478624 3220478060 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/31104/statm: 15215 14011 68 164 0 15050 0
[pid=31104/tid=31105] ppid=31102 vsize=60860 CPUtime=0.45
/proc/31104/task/31105/stat : 31105 (satake) S 31102 31104 8716 0 -1 4202560 762 0 0 0 15 30 0 0 15 0 5 0 1128996708 62320640 14011 4294967295 134512640 135180984 3220478624 3086000144 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=31104/tid=31106] ppid=31102 vsize=60860 CPUtime=451.91
/proc/31104/task/31106/stat : 31106 (satake) R 31102 31104 8716 0 -1 4202560 4620 0 0 0 45177 14 0 0 25 0 5 0 1128996708 62320640 14011 4294967295 134512640 135180984 3220478624 3085934448 134528760 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=60860 CPUtime=471.61
/proc/31104/task/31107/stat : 31107 (satake) R 31102 31104 8716 0 -1 4202560 4948 0 0 0 47142 19 0 0 25 0 5 0 1128996708 62320640 14011 4294967295 134512640 135180984 3220478624 3085868976 134532420 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31104/tid=31109] ppid=31102 vsize=60860 CPUtime=471.09
/proc/31104/task/31109/stat : 31109 (satake) R 31102 31104 8716 0 -1 4202560 4800 0 0 0 47094 15 0 0 25 0 5 0 1128996711 62320640 14011 4294967295 134512640 135180984 3220478624 3079638892 134518257 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1395.06
Current children cumulated vsize (KiB) 60860

[startup+762.318 s]
/proc/loadavg: 5.48 5.43 5.32 9/120 2230
/proc/meminfo: memFree=3138568/3368532 swapFree=1954888/1959888
[pid=31104] ppid=31102 vsize=63676 CPUtime=1514.28
/proc/31104/stat : 31104 (satake) S 31102 31104 8716 0 -1 4202496 15948 0 0 0 151347 81 0 0 21 0 5 0 1128996708 65204224 14720 4294967295 134512640 135180984 3220478624 3220478060 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/31104/statm: 15919 14720 68 164 0 15754 0
[pid=31104/tid=31105] ppid=31102 vsize=63676 CPUtime=0.48
/proc/31104/task/31105/stat : 31105 (satake) S 31102 31104 8716 0 -1 4202560 776 0 0 0 15 33 0 0 15 0 5 0 1128996708 65204224 14720 4294967295 134512640 135180984 3220478624 3086000144 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=31104/tid=31106] ppid=31102 vsize=63676 CPUtime=494.71
/proc/31104/task/31106/stat : 31106 (satake) R 31102 31104 8716 0 -1 4202560 4864 0 0 0 49457 14 0 0 25 0 5 0 1128996708 65204224 14720 4294967295 134512640 135180984 3220478624 3085934448 134528403 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=63676 CPUtime=507.57
/proc/31104/task/31107/stat : 31107 (satake) R 31102 31104 8716 0 -1 4202560 5193 0 0 0 50738 19 0 0 25 0 5 0 1128996708 65204224 14720 4294967295 134512640 135180984 3220478624 3085868912 134528881 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31104/tid=31109] ppid=31102 vsize=63676 CPUtime=511.52
/proc/31104/task/31109/stat : 31109 (satake) R 31102 31104 8716 0 -1 4202560 5006 0 0 0 51137 15 0 0 25 0 5 0 1128996711 65204224 14720 4294967295 134512640 135180984 3220478624 3079638896 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1514.28
Current children cumulated vsize (KiB) 63676

[startup+822.303 s]
/proc/loadavg: 5.77 5.50 5.34 7/119 2471
/proc/meminfo: memFree=3135624/3368532 swapFree=1954888/1959888
[pid=31104] ppid=31102 vsize=66020 CPUtime=1633.86
/proc/31104/stat : 31104 (satake) S 31102 31104 8716 0 -1 4202496 16643 0 0 0 163291 95 0 0 21 0 5 0 1128996708 67604480 15415 4294967295 134512640 135180984 3220478624 3220478060 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/31104/statm: 16505 15415 68 164 0 16340 0
[pid=31104/tid=31105] ppid=31102 vsize=66020 CPUtime=0.55
/proc/31104/task/31105/stat : 31105 (satake) S 31102 31104 8716 0 -1 4202560 792 0 0 0 16 39 0 0 15 0 5 0 1128996708 67604480 15415 4294967295 134512640 135180984 3220478624 3086000144 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=31104/tid=31106] ppid=31102 vsize=66020 CPUtime=529.16
/proc/31104/task/31106/stat : 31106 (satake) R 31102 31104 8716 0 -1 4202560 5006 0 0 0 52898 18 0 0 25 0 5 0 1128996708 67604480 15415 4294967295 134512640 135180984 3220478624 3085934384 134523641 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=66020 CPUtime=556.2
/proc/31104/task/31107/stat : 31107 (satake) R 31102 31104 8716 0 -1 4202560 5601 0 0 0 55598 22 0 0 25 0 5 0 1128996708 67604480 15415 4294967295 134512640 135180984 3220478624 3085868912 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31104/tid=31109] ppid=31102 vsize=66020 CPUtime=547.95
/proc/31104/task/31109/stat : 31109 (satake) R 31102 31104 8716 0 -1 4202560 5135 0 0 0 54779 16 0 0 25 0 5 0 1128996711 67604480 15415 4294967295 134512640 135180984 3220478624 3079638896 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1633.86
Current children cumulated vsize (KiB) 66020

[startup+882.317 s]
/proc/loadavg: 5.40 5.45 5.34 6/120 2789
/proc/meminfo: memFree=3132864/3368532 swapFree=1954888/1959888
[pid=31104] ppid=31102 vsize=70292 CPUtime=1753.11
/proc/31104/stat : 31104 (satake) S 31102 31104 8716 0 -1 4202496 17423 0 0 0 175207 104 0 0 21 0 5 0 1128996708 71979008 16195 4294967295 134512640 135180984 3220478624 3220478060 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/31104/statm: 17573 16195 68 164 0 17408 0
[pid=31104/tid=31105] ppid=31102 vsize=70292 CPUtime=0.6
/proc/31104/task/31105/stat : 31105 (satake) S 31102 31104 8716 0 -1 4202560 816 0 0 0 17 43 0 0 15 0 5 0 1128996708 71979008 16195 4294967295 134512640 135180984 3220478624 3086000144 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=31104/tid=31106] ppid=31102 vsize=70292 CPUtime=566.46
/proc/31104/task/31106/stat : 31106 (satake) R 31102 31104 8716 0 -1 4202560 5304 0 0 0 56626 20 0 0 25 0 5 0 1128996708 71979008 16195 4294967295 134512640 135180984 3220478624 3085934448 134528101 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=70292 CPUtime=594
/proc/31104/task/31107/stat : 31107 (satake) R 31102 31104 8716 0 -1 4202560 5808 0 0 0 59376 24 0 0 25 0 5 0 1128996708 71979008 16195 4294967295 134512640 135180984 3220478624 3085868912 134526513 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31104/tid=31109] ppid=31102 vsize=70292 CPUtime=592.05
/proc/31104/task/31109/stat : 31109 (satake) R 31102 31104 8716 0 -1 4202560 5386 0 0 0 59188 17 0 0 25 0 5 0 1128996711 71979008 16195 4294967295 134512640 135180984 3220478624 3079638896 134528866 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1753.11
Current children cumulated vsize (KiB) 70292

[startup+942.312 s]
/proc/loadavg: 5.52 5.46 5.35 7/119 2999
/proc/meminfo: memFree=3129556/3368532 swapFree=1954888/1959888
[pid=31104] ppid=31102 vsize=73444 CPUtime=1872.61
/proc/31104/stat : 31104 (satake) S 31102 31104 8716 0 -1 4202496 18217 0 0 0 187151 110 0 0 21 0 5 0 1128996708 75206656 16989 4294967295 134512640 135180984 3220478624 3220478060 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/31104/statm: 18361 16989 68 164 0 18196 0
[pid=31104/tid=31105] ppid=31102 vsize=73444 CPUtime=0.62
/proc/31104/task/31105/stat : 31105 (satake) S 31102 31104 8716 0 -1 4202560 834 0 0 0 17 45 0 0 15 0 5 0 1128996708 75206656 16989 4294967295 134512640 135180984 3220478624 3086000144 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=31104/tid=31106] ppid=31102 vsize=73444 CPUtime=602.31
/proc/31104/task/31106/stat : 31106 (satake) R 31102 31104 8716 0 -1 4202560 5604 0 0 0 60209 22 0 0 25 0 5 0 1128996708 75206656 16989 4294967295 134512640 135180984 3220478624 3085934448 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=73444 CPUtime=632.09
/proc/31104/task/31107/stat : 31107 (satake) R 31102 31104 8716 0 -1 4202560 6098 0 0 0 63184 25 0 0 25 0 5 0 1128996708 75206656 16989 4294967295 134512640 135180984 3220478624 3085868904 134520896 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31104/tid=31109] ppid=31102 vsize=73444 CPUtime=637.59
/proc/31104/task/31109/stat : 31109 (satake) R 31102 31104 8716 0 -1 4202560 5572 0 0 0 63741 18 0 0 25 0 5 0 1128996711 75206656 16989 4294967295 134512640 135180984 3220478624 3079638896 134528562 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1872.61
Current children cumulated vsize (KiB) 73444



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 5.67 5.51 5.37 8/118 3233
/proc/meminfo: memFree=3126620/3368532 swapFree=1954888/1959888
[pid=31104] ppid=31102 vsize=76204 CPUtime=1987.57
/proc/31104/stat : 31104 (satake) S 31102 31104 8716 0 -1 4202496 19002 0 0 0 198639 118 0 0 21 0 5 0 1128996708 78032896 17774 4294967295 134512640 135180984 3220478624 3220478060 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/31104/statm: 19051 17774 68 164 0 18886 0
[pid=31104/tid=31105] ppid=31102 vsize=76204 CPUtime=0.64
/proc/31104/task/31105/stat : 31105 (satake) S 31102 31104 8716 0 -1 4202560 845 0 0 0 18 46 0 0 15 0 5 0 1128996708 78032896 17774 4294967295 134512640 135180984 3220478624 3086000144 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=31104/tid=31106] ppid=31102 vsize=76204 CPUtime=639.31
/proc/31104/task/31106/stat : 31106 (satake) R 31102 31104 8716 0 -1 4202560 5908 0 0 0 63907 24 0 0 25 0 5 0 1128996708 78032896 17774 4294967295 134512640 135180984 3220478624 3085934336 134522980 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=76204 CPUtime=669.51
/proc/31104/task/31107/stat : 31107 (satake) R 31102 31104 8716 0 -1 4202560 6386 0 0 0 66924 27 0 0 25 0 5 0 1128996708 78032896 17774 4294967295 134512640 135180984 3220478624 3085868912 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31104/tid=31109] ppid=31102 vsize=76204 CPUtime=678.11
/proc/31104/task/31109/stat : 31109 (satake) R 31102 31104 8716 0 -1 4202560 5754 0 0 0 67790 21 0 0 25 0 5 0 1128996711 78032896 17774 4294967295 134512640 135180984 3220478624 3079638892 134519884 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1987.57
Current children cumulated vsize (KiB) 76204

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): 1987.6
CPU user time (s): 1986.42
CPU system time (s): 1.18
CPU usage (%): 198.754
Max. virtual memory (cumulated for all children) (KiB): 76204

deleting IPC queue 10485760
deleting IPC queue 10518529
deleting IPC queue 10551298
deleting IPC queue 10584067
deleting IPC queue 10616836
deleting IPC queue 10649605
deleting IPC queue 10682374
deleting IPC queue 10715143
deleting IPC queue 10747912
deleting IPC queue 10780681
deleting IPC queue 10813450
deleting IPC queue 10846219
deleting IPC queue 10878988
deleting IPC queue 10911757
deleting IPC queue 10944526
deleting IPC queue 10977295

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1986.42
system time used= 1.18
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19002
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= 92020
involuntary context switches= 173508

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 02:28:47
IDJOB=1779355
IDBENCH=70843
IDSOLVER=629
FILE ID=/1779355-1243643327
PBS_JOBID=
Free space on /tmp= 15881 MiB

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

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

MD5SUM BENCH= 7785f51f4f3cb780b4d123215711f948
RANDOM SEED= 1170587754

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
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.105
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:       3198440 kB
Buffers:         12812 kB
Cached:          82976 kB
SwapCached:        720 kB
Active:          52352 kB
Inactive:        59320 kB
HighTotal:     2489216 kB
HighFree:      2386632 kB
LowTotal:       879316 kB
LowFree:        811808 kB
SwapTotal:     1959888 kB
SwapFree:      1954888 kB
Dirty:            2328 kB
Writeback:           0 kB
AnonPages:       15168 kB
Mapped:           6096 kB
Slab:            47956 kB
SReclaimable:    40224 kB
SUnreclaim:       7732 kB
PageTables:        728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   117264 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15881 MiB
End job on  at 2009-05-30 02:45:29