Trace number 1780915

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

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rbcl_xits_08_UNSAT.cnf
MD5SUM66aa2e18c32a02f55a810347a9702c7f
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 variables1278
Number of clauses68055
Sum of the clauses size202155
Maximum clause length9
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22148
Number of clauses of size 365884
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

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-1780915-1243651141/watcher-1780915-1243651141 -o /tmp/evaluation-result-1780915-1243651141/solver-1780915-1243651141 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780915-1243651141.cnf 4 10000 

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


[startup+0 s]
/proc/loadavg: 2.80 2.97 2.98 3/98 30104
/proc/meminfo: memFree=3080232/3368532 swapFree=1959840/1959888
[pid=30104] ppid=30102 vsize=2468 CPUtime=0
/proc/30104/stat : 30104 (satake) S 30102 30104 30957 0 -1 4202496 440 0 0 0 0 0 0 0 18 0 5 0 946690819 2527232 397 4294967295 134512640 135180984 3216529120 3216528556 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30104/statm: 617 397 63 164 0 452 0
[pid=30104/tid=30105] ppid=30102 vsize=2468 CPUtime=0
/proc/30104/task/30105/stat : 30105 (satake) S 30102 30104 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 946690819 2527232 399 4294967295 134512640 135180984 3216529120 3086671888 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=30104/tid=30106] ppid=30102 vsize=2468 CPUtime=0
/proc/30104/task/30106/stat : 30106 (satake) R 30102 30104 30957 0 -1 4202560 325 0 0 0 0 0 0 0 20 0 5 0 946690819 2527232 399 4294967295 134512640 135180984 3216529120 3086606424 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30104/tid=30107] ppid=30102 vsize=2468 CPUtime=0
/proc/30104/task/30107/stat : 30107 (satake) R 30102 30104 30957 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 946690819 2527232 399 4294967295 134512640 135180984 3216529120 3086541636 134705812 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30104/tid=30108] ppid=30102 vsize=2468 CPUtime=0
/proc/30104/task/30108/stat : 30108 (satake) R 30102 30104 30957 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 946690819 2527232 403 4294967295 134512640 135180984 3216529120 3086476100 134705812 0 0 0 0 0 0 0 -1 2 0 0 0

[startup+0.075328 s]
/proc/loadavg: 2.80 2.97 2.98 3/98 30104
/proc/meminfo: memFree=3080232/3368532 swapFree=1959840/1959888
[pid=30104] ppid=30102 vsize=11384 CPUtime=0.17
/proc/30104/stat : 30104 (satake) S 30102 30104 30957 0 -1 4202496 2868 0 0 0 17 0 0 0 18 0 5 0 946690819 11657216 2309 4294967295 134512640 135180984 3216529120 3216528556 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30104/statm: 2846 2309 66 164 0 2681 0
[pid=30104/tid=30105] ppid=30102 vsize=11384 CPUtime=0
/proc/30104/task/30105/stat : 30105 (satake) S 30102 30104 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 946690819 11657216 2309 4294967295 134512640 135180984 3216529120 3086671888 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=30104/tid=30106] ppid=30102 vsize=11384 CPUtime=0.05
/proc/30104/task/30106/stat : 30106 (satake) R 30102 30104 30957 0 -1 4202560 854 0 0 0 5 0 0 0 20 0 5 0 946690819 11657216 2309 4294967295 134512640 135180984 3216529120 3086606484 134579486 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30104/tid=30107] ppid=30102 vsize=11384 CPUtime=0.06
/proc/30104/task/30107/stat : 30107 (satake) R 30102 30104 30957 0 -1 4202560 948 0 0 0 6 0 0 0 20 0 5 0 946690819 11657216 2309 4294967295 134512640 135180984 3216529120 3086540548 134579745 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30104/tid=30108] ppid=30102 vsize=11384 CPUtime=0.06
/proc/30104/task/30108/stat : 30108 (satake) R 30102 30104 30957 0 -1 4202560 949 0 0 0 6 0 0 0 20 0 5 0 946690819 11657216 2309 4294967295 134512640 135180984 3216529120 3086474992 134522714 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 11384

[startup+0.11463 s]
/proc/loadavg: 2.80 2.97 2.98 3/98 30104
/proc/meminfo: memFree=3080232/3368532 swapFree=1959840/1959888
[pid=30104] ppid=30102 vsize=11768 CPUtime=0.25
/proc/30104/stat : 30104 (satake) S 30102 30104 30957 0 -1 4202496 3064 0 0 0 24 1 0 0 18 0 5 0 946690819 12050432 2247 4294967295 134512640 135180984 3216529120 3216528556 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30104/statm: 2942 2247 68 164 0 2777 0
[pid=30104/tid=30105] ppid=30102 vsize=11768 CPUtime=0.02
/proc/30104/task/30105/stat : 30105 (satake) S 30102 30104 30957 0 -1 4202560 34 0 0 0 1 1 0 0 18 0 5 0 946690819 12050432 2247 4294967295 134512640 135180984 3216529120 3086671888 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=30104/tid=30106] ppid=30102 vsize=11768 CPUtime=0.09
/proc/30104/task/30106/stat : 30106 (satake) R 30102 30104 30957 0 -1 4202560 968 0 0 0 9 0 0 0 20 0 5 0 946690819 12050432 2247 4294967295 134512640 135180984 3216529120 3086606192 134528214 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30104/tid=30107] ppid=30102 vsize=11768 CPUtime=0.06
/proc/30104/task/30107/stat : 30107 (satake) R 30102 30104 30957 0 -1 4202560 977 0 0 0 6 0 0 0 20 0 5 0 946690819 12050432 2247 4294967295 134512640 135180984 3216529120 3086540488 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30104/tid=30108] ppid=30102 vsize=11768 CPUtime=0.08
/proc/30104/task/30108/stat : 30108 (satake) R 30102 30104 30957 0 -1 4202560 975 0 0 0 8 0 0 0 20 0 5 0 946690819 12050432 2247 4294967295 134512640 135180984 3216529120 3086475112 134518252 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 11768

[startup+0.314612 s]
/proc/loadavg: 2.80 2.97 2.98 3/98 30104
/proc/meminfo: memFree=3080232/3368532 swapFree=1959840/1959888
[pid=30104] ppid=30102 vsize=12296 CPUtime=0.85
/proc/30104/stat : 30104 (satake) S 30102 30104 30957 0 -1 4202496 3345 0 0 0 79 6 0 0 18 0 5 0 946690819 12591104 2528 4294967295 134512640 135180984 3216529120 3216528556 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30104/statm: 3074 2528 68 164 0 2909 0
[pid=30104/tid=30105] ppid=30102 vsize=12296 CPUtime=0.07
/proc/30104/task/30105/stat : 30105 (satake) R 30102 30104 30957 0 -1 4202560 56 0 0 0 3 4 0 0 17 0 5 0 946690819 12591104 2528 4294967295 134512640 135180984 3216529120 3086671888 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30104/tid=30106] ppid=30102 vsize=12296 CPUtime=0.29
/proc/30104/task/30106/stat : 30106 (satake) R 30102 30104 30957 0 -1 4202560 1072 0 0 0 28 1 0 0 20 0 5 0 946690819 12591104 2528 4294967295 134512640 135180984 3216529120 3086606192 134528524 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30104/tid=30107] ppid=30102 vsize=12296 CPUtime=0.21
/proc/30104/task/30107/stat : 30107 (satake) R 30102 30104 30957 0 -1 4202560 1048 0 0 0 21 0 0 0 20 0 5 0 946690819 12591104 2528 4294967295 134512640 135180984 3216529120 3086540656 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30104/tid=30108] ppid=30102 vsize=12296 CPUtime=0.28
/proc/30104/task/30108/stat : 30108 (satake) R 30102 30104 30957 0 -1 4202560 1059 0 0 0 27 1 0 0 20 0 5 0 946690819 12591104 2528 4294967295 134512640 135180984 3216529120 3086474916 134580588 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 12296

[startup+0.714579 s]
/proc/loadavg: 2.80 2.97 2.98 3/98 30104
/proc/meminfo: memFree=3080232/3368532 swapFree=1959840/1959888
[pid=30104] ppid=30102 vsize=13088 CPUtime=2.02
/proc/30104/stat : 30104 (satake) S 30102 30104 30957 0 -1 4202496 3643 0 0 0 182 20 0 0 18 0 5 0 946690819 13402112 2826 4294967295 134512640 135180984 3216529120 3216528556 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30104/statm: 3272 2826 68 164 0 3107 0
[pid=30104/tid=30105] ppid=30102 vsize=13088 CPUtime=0.16
/proc/30104/task/30105/stat : 30105 (satake) S 30102 30104 30957 0 -1 4202560 94 0 0 0 4 12 0 0 16 0 5 0 946690819 13402112 2826 4294967295 134512640 135180984 3216529120 3086671888 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=30104/tid=30106] ppid=30102 vsize=13088 CPUtime=0.68
/proc/30104/task/30106/stat : 30106 (satake) R 30102 30104 30957 0 -1 4202560 1158 0 0 0 65 3 0 0 21 0 5 0 946690819 13402112 2826 4294967295 134512640 135180984 3216529120 3086606160 134522614 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30104/tid=30107] ppid=30102 vsize=13088 CPUtime=0.52
/proc/30104/task/30107/stat : 30107 (satake) R 30102 30104 30957 0 -1 4202560 1130 0 0 0 49 3 0 0 20 0 5 0 946690819 13402112 2826 4294967295 134512640 135180984 3216529120 3086540488 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30104/tid=30108] ppid=30102 vsize=13088 CPUtime=0.66
/proc/30104/task/30108/stat : 30108 (satake) R 30102 30104 30957 0 -1 4202560 1151 0 0 0 64 2 0 0 21 0 5 0 946690819 13402112 2826 4294967295 134512640 135180984 3216529120 3086475120 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 13088

[startup+1.51452 s]
/proc/loadavg: 2.80 2.97 2.98 5/103 30109
/proc/meminfo: memFree=3069132/3368532 swapFree=1959840/1959888
[pid=30104] ppid=30102 vsize=15432 CPUtime=4.39
/proc/30104/stat : 30104 (satake) S 30102 30104 30957 0 -1 4202496 4175 0 0 0 405 34 0 0 18 0 5 0 946690819 15802368 3358 4294967295 134512640 135180984 3216529120 3216528556 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30104/statm: 3858 3358 68 164 0 3693 0
[pid=30104/tid=30105] ppid=30102 vsize=15432 CPUtime=0.27
/proc/30104/task/30105/stat : 30105 (satake) S 30102 30104 30957 0 -1 4202560 147 0 0 0 9 18 0 0 16 0 5 0 946690819 15802368 3358 4294967295 134512640 135180984 3216529120 3086671888 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=30104/tid=30106] ppid=30102 vsize=15432 CPUtime=1.46
/proc/30104/task/30106/stat : 30106 (satake) R 30102 30104 30957 0 -1 4202560 1320 0 0 0 140 6 0 0 23 0 5 0 946690819 15802368 3358 4294967295 134512640 135180984 3216529120 3086606192 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30104/tid=30107] ppid=30102 vsize=15432 CPUtime=1.21
/proc/30104/task/30107/stat : 30107 (satake) R 30102 30104 30957 0 -1 4202560 1276 0 0 0 115 6 0 0 22 0 5 0 946690819 15802368 3358 4294967295 134512640 135180984 3216529120 3086540372 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30104/tid=30108] ppid=30102 vsize=15432 CPUtime=1.45
/proc/30104/task/30108/stat : 30108 (satake) R 30102 30104 30957 0 -1 4202560 1322 0 0 0 141 4 0 0 23 0 5 0 946690819 15802368 3358 4294967295 134512640 135180984 3216529120 3086475120 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 15432

[startup+3.11438 s]
/proc/loadavg: 2.80 2.97 2.98 4/103 30109
/proc/meminfo: memFree=3065904/3368532 swapFree=1959840/1959888
[pid=30104] ppid=30102 vsize=20692 CPUtime=9.18
/proc/30104/stat : 30104 (satake) S 30102 30104 30957 0 -1 4202496 5070 0 0 0 872 46 0 0 18 0 5 0 946690819 21188608 4253 4294967295 134512640 135180984 3216529120 3216528556 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30104/statm: 5173 4253 68 164 0 5008 0
[pid=30104/tid=30105] ppid=30102 vsize=20692 CPUtime=0.34
/proc/30104/task/30105/stat : 30105 (satake) S 30102 30104 30957 0 -1 4202560 214 0 0 0 12 22 0 0 16 0 5 0 946690819 21188608 4253 4294967295 134512640 135180984 3216529120 3086671888 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=30104/tid=30106] ppid=30102 vsize=20692 CPUtime=3.05
/proc/30104/task/30106/stat : 30106 (satake) R 30102 30104 30957 0 -1 4202560 1640 0 0 0 297 8 0 0 25 0 5 0 946690819 21188608 4253 4294967295 134512640 135180984 3216529120 3086606192 134528760 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30104/tid=30107] ppid=30102 vsize=20692 CPUtime=2.74
/proc/30104/task/30107/stat : 30107 (satake) R 30102 30104 30957 0 -1 4202560 1563 0 0 0 263 11 0 0 25 0 5 0 946690819 21188608 4253 4294967295 134512640 135180984 3216529120 3086540488 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30104/tid=30108] ppid=30102 vsize=20692 CPUtime=3.05
/proc/30104/task/30108/stat : 30108 (satake) R 30102 30104 30957 0 -1 4202560 1543 0 0 0 300 5 0 0 25 0 5 0 946690819 21188608 4253 4294967295 134512640 135180984 3216529120 3086475120 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.18
Current children cumulated vsize (KiB) 20692

[startup+6.31412 s]
/proc/loadavg: 2.89 2.99 2.99 4/103 30109
/proc/meminfo: memFree=3059940/3368532 swapFree=1959840/1959888
[pid=30104] ppid=30102 vsize=24920 CPUtime=18.75
/proc/30104/stat : 30104 (satake) S 30102 30104 30957 0 -1 4202496 6394 0 0 0 1801 74 0 0 18 0 5 0 946690819 25518080 5577 4294967295 134512640 135180984 3216529120 3216528556 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30104/statm: 6230 5577 68 164 0 6065 0
[pid=30104/tid=30105] ppid=30102 vsize=24920 CPUtime=0.53
/proc/30104/task/30105/stat : 30105 (satake) S 30102 30104 30957 0 -1 4202560 300 0 0 0 18 35 0 0 16 0 5 0 946690819 25518080 5577 4294967295 134512640 135180984 3216529120 3086671888 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=30104/tid=30106] ppid=30102 vsize=24920 CPUtime=6.23
/proc/30104/task/30106/stat : 30106 (satake) R 30102 30104 30957 0 -1 4202560 2126 0 0 0 607 16 0 0 25 0 5 0 946690819 25518080 5577 4294967295 134512640 135180984 3216529120 3086606192 134528441 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30104/tid=30107] ppid=30102 vsize=24920 CPUtime=5.75
/proc/30104/task/30107/stat : 30107 (satake) R 30102 30104 30957 0 -1 4202560 1972 0 0 0 559 16 0 0 25 0 5 0 946690819 25518080 5577 4294967295 134512640 135180984 3216529120 3086540372 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30104/tid=30108] ppid=30102 vsize=24920 CPUtime=6.24
/proc/30104/task/30108/stat : 30108 (satake) R 30102 30104 30957 0 -1 4202560 1886 0 0 0 617 7 0 0 25 0 5 0 946690819 25518080 5577 4294967295 134512640 135180984 3216529120 3086475120 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 18.75
Current children cumulated vsize (KiB) 24920

[startup+12.7136 s]
/proc/loadavg: 2.90 2.99 2.99 4/103 30109
/proc/meminfo: memFree=3052888/3368532 swapFree=1959840/1959888
[pid=30104] ppid=30102 vsize=32164 CPUtime=37.91
/proc/30104/stat : 30104 (satake) S 30102 30104 30957 0 -1 4202496 8123 0 0 0 3670 121 0 0 18 0 5 0 946690819 32935936 7306 4294967295 134512640 135180984 3216529120 3216528556 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30104/statm: 8041 7306 68 164 0 7876 0
[pid=30104/tid=30105] ppid=30102 vsize=32164 CPUtime=0.89
/proc/30104/task/30105/stat : 30105 (satake) S 30102 30104 30957 0 -1 4202560 442 0 0 0 33 56 0 0 16 0 5 0 946690819 32935936 7306 4294967295 134512640 135180984 3216529120 3086671888 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=30104/tid=30106] ppid=30102 vsize=32164 CPUtime=12.6
/proc/30104/task/30106/stat : 30106 (satake) R 30102 30104 30957 0 -1 4202560 2730 0 0 0 1233 27 0 0 25 0 5 0 946690819 32935936 7306 4294967295 134512640 135180984 3216529120 3086606024 134675846 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30104/tid=30107] ppid=30102 vsize=32164 CPUtime=11.79
/proc/30104/task/30107/stat : 30107 (satake) R 30102 30104 30957 0 -1 4202560 2474 0 0 0 1155 24 0 0 25 0 5 0 946690819 32935936 7306 4294967295 134512640 135180984 3216529120 3086540656 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30104/tid=30108] ppid=30102 vsize=32164 CPUtime=12.63
/proc/30104/task/30108/stat : 30108 (satake) R 30102 30104 30957 0 -1 4202560 2367 0 0 0 1249 14 0 0 25 0 5 0 946690819 32935936 7306 4294967295 134512640 135180984 3216529120 3086475120 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 37.91
Current children cumulated vsize (KiB) 32164

[startup+25.5126 s]
/proc/loadavg: 2.92 2.99 2.99 4/103 30110
/proc/meminfo: memFree=3041236/3368532 swapFree=1959840/1959888
[pid=30104] ppid=30102 vsize=43480 CPUtime=76.23
/proc/30104/stat : 30104 (satake) S 30102 30104 30957 0 -1 4202496 10877 0 0 0 7410 213 0 0 18 0 5 0 946690819 44523520 10060 4294967295 134512640 135180984 3216529120 3216528556 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30104/statm: 10870 10060 68 164 0 10705 0
[pid=30104/tid=30105] ppid=30102 vsize=43480 CPUtime=1.42
/proc/30104/task/30105/stat : 30105 (satake) S 30102 30104 30957 0 -1 4202560 689 0 0 0 42 100 0 0 16 0 5 0 946690819 44523520 10060 4294967295 134512640 135180984 3216529120 3086671888 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=30104/tid=30106] ppid=30102 vsize=43480 CPUtime=25.39
/proc/30104/task/30106/stat : 30106 (satake) R 30102 30104 30957 0 -1 4202560 3698 0 0 0 2493 46 0 0 25 0 5 0 946690819 44523520 10060 4294967295 134512640 135180984 3216529120 3086606188 134520661 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30104/tid=30107] ppid=30102 vsize=43480 CPUtime=24.02
/proc/30104/task/30107/stat : 30107 (satake) R 30102 30104 30957 0 -1 4202560 3222 0 0 0 2370 32 0 0 25 0 5 0 946690819 44523520 10060 4294967295 134512640 135180984 3216529120 3086540488 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30104/tid=30108] ppid=30102 vsize=43480 CPUtime=25.4
/proc/30104/task/30108/stat : 30108 (satake) R 30102 30104 30957 0 -1 4202560 3158 0 0 0 2505 35 0 0 25 0 5 0 946690819 44523520 10060 4294967295 134512640 135180984 3216529120 3086475120 134528648 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 76.23
Current children cumulated vsize (KiB) 43480

[startup+51.1105 s]
/proc/loadavg: 2.95 2.99 2.99 4/103 30297
/proc/meminfo: memFree=3025884/3368532 swapFree=1959840/1959888
[pid=30104] ppid=30102 vsize=59504 CPUtime=152.78
/proc/30104/stat : 30104 (satake) S 30102 30104 30957 0 -1 4202496 14670 0 0 0 14992 286 0 0 18 0 5 0 946690819 60932096 13853 4294967295 134512640 135180984 3216529120 3216528556 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30104/statm: 14876 13853 68 164 0 14711 0
[pid=30104/tid=30105] ppid=30102 vsize=59504 CPUtime=1.9
/proc/30104/task/30105/stat : 30105 (satake) S 30102 30104 30957 0 -1 4202560 979 0 0 0 60 130 0 0 16 0 5 0 946690819 60932096 13853 4294967295 134512640 135180984 3216529120 3086671888 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=30104/tid=30106] ppid=30102 vsize=59504 CPUtime=50.93
/proc/30104/task/30106/stat : 30106 (satake) R 30102 30104 30957 0 -1 4202560 5059 0 0 0 5034 59 0 0 25 0 5 0 946690819 60932096 13853 4294967295 134512640 135180984 3216529120 3086606192 134528688 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30104/tid=30107] ppid=30102 vsize=59504 CPUtime=49.01
/proc/30104/task/30107/stat : 30107 (satake) R 30102 30104 30957 0 -1 4202560 4219 0 0 0 4854 47 0 0 25 0 5 0 946690819 60932096 13853 4294967295 134512640 135180984 3216529120 3086540656 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30104/tid=30108] ppid=30102 vsize=59504 CPUtime=50.94
/proc/30104/task/30108/stat : 30108 (satake) R 30102 30104 30957 0 -1 4202560 4303 0 0 0 5044 50 0 0 25 0 5 0 946690819 60932096 13853 4294967295 134512640 135180984 3216529120 3086474952 134675846 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 152.78
Current children cumulated vsize (KiB) 59504

[startup+102.316 s]
/proc/loadavg: 2.98 2.99 2.99 4/103 30482

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

[pid=30104/tid=30106] ppid=30102 vsize=114680 CPUtime=521.79
/proc/30104/task/30106/stat : 30106 (satake) R 30102 30104 30957 0 -1 4202560 9108 0 0 0 51961 218 0 0 25 0 5 0 946690819 117432320 26679 4294967295 134512640 135180984 3216529120 3086606192 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30104/tid=30107] ppid=30102 vsize=114680 CPUtime=517.96
/proc/30104/task/30107/stat : 30107 (satake) R 30102 30104 30957 0 -1 4202560 7864 0 0 0 51582 214 0 0 25 0 5 0 946690819 117432320 26679 4294967295 134512640 135180984 3216529120 3086540488 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30104/tid=30108] ppid=30102 vsize=114680 CPUtime=518.93
/proc/30104/task/30108/stat : 30108 (satake) R 30102 30104 30957 0 -1 4202560 8366 0 0 0 51773 120 0 0 25 0 5 0 946690819 117432320 26679 4294967295 134512640 135180984 3216529120 3086475120 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1564.56
Current children cumulated vsize (KiB) 114680

[startup+582.307 s]
/proc/loadavg: 3.06 3.02 3.00 4/103 31999
/proc/meminfo: memFree=2968700/3368532 swapFree=1959840/1959888
[pid=30104] ppid=30102 vsize=119048 CPUtime=1744.32
/proc/30104/stat : 30104 (satake) S 30102 30104 30957 0 -1 4202496 28587 0 0 0 173399 1033 0 0 18 0 5 0 946690819 121905152 27770 4294967295 134512640 135180984 3216529120 3216528556 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30104/statm: 29762 27770 68 164 0 29597 0
[pid=30104/tid=30105] ppid=30102 vsize=119048 CPUtime=6.22
/proc/30104/task/30105/stat : 30105 (satake) S 30102 30104 30957 0 -1 4202560 2073 0 0 0 166 456 0 0 16 0 5 0 946690819 121905152 27770 4294967295 134512640 135180984 3216529120 3086671888 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=30104/tid=30106] ppid=30102 vsize=119048 CPUtime=581.77
/proc/30104/task/30106/stat : 30106 (satake) R 30102 30104 30957 0 -1 4202560 9569 0 0 0 57952 225 0 0 25 0 5 0 946690819 121905152 27770 4294967295 134512640 135180984 3216529120 3086606192 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30104/tid=30107] ppid=30102 vsize=119048 CPUtime=577.76
/proc/30104/task/30107/stat : 30107 (satake) R 30102 30104 30957 0 -1 4202560 8220 0 0 0 57550 226 0 0 25 0 5 0 946690819 121905152 27770 4294967295 134512640 135180984 3216529120 3086540768 134530765 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30104/tid=30108] ppid=30102 vsize=119048 CPUtime=578.57
/proc/30104/task/30108/stat : 30108 (satake) R 30102 30104 30957 0 -1 4202560 8615 0 0 0 57731 126 0 0 25 0 5 0 946690819 121905152 27770 4294967295 134512640 135180984 3216529120 3086475232 134531534 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1744.32
Current children cumulated vsize (KiB) 119048

[startup+642.312 s]
/proc/loadavg: 3.02 3.02 3.00 4/103 32187
/proc/meminfo: memFree=2965228/3368532 swapFree=1959840/1959888
[pid=30104] ppid=30102 vsize=122880 CPUtime=1924.15
/proc/30104/stat : 30104 (satake) S 30102 30104 30957 0 -1 4202496 29579 0 0 0 191325 1090 0 0 18 0 5 0 946690819 125829120 28762 4294967295 134512640 135180984 3216529120 3216528556 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30104/statm: 30720 28762 68 164 0 30555 0
[pid=30104/tid=30105] ppid=30102 vsize=122880 CPUtime=6.5
/proc/30104/task/30105/stat : 30105 (satake) S 30102 30104 30957 0 -1 4202560 2153 0 0 0 172 478 0 0 15 0 5 0 946690819 125829120 28762 4294967295 134512640 135180984 3216529120 3086671888 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=30104/tid=30106] ppid=30102 vsize=122880 CPUtime=641.73
/proc/30104/task/30106/stat : 30106 (satake) R 30102 30104 30957 0 -1 4202560 9874 0 0 0 63932 241 0 0 25 0 5 0 946690819 125829120 28762 4294967295 134512640 135180984 3216529120 3086606188 134520036 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30104/tid=30107] ppid=30102 vsize=122880 CPUtime=637.65
/proc/30104/task/30107/stat : 30107 (satake) R 30102 30104 30957 0 -1 4202560 8496 0 0 0 63523 242 0 0 25 0 5 0 946690819 125829120 28762 4294967295 134512640 135180984 3216529120 3086540656 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30104/tid=30108] ppid=30102 vsize=122880 CPUtime=638.27
/proc/30104/task/30108/stat : 30108 (satake) R 30102 30104 30957 0 -1 4202560 8946 0 0 0 63698 129 0 0 25 0 5 0 946690819 125829120 28762 4294967295 134512640 135180984 3216529120 3086475120 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1924.15
Current children cumulated vsize (KiB) 122880

[startup+702.317 s]
/proc/loadavg: 3.01 3.01 3.00 4/103 32373
/proc/meminfo: memFree=2960896/3368532 swapFree=1959840/1959888
[pid=30104] ppid=30102 vsize=126424 CPUtime=2104.02
/proc/30104/stat : 30104 (satake) S 30102 30104 30957 0 -1 4202496 30358 0 0 0 209275 1127 0 0 18 0 5 0 946690819 129458176 29541 4294967295 134512640 135180984 3216529120 3216528556 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30104/statm: 31606 29541 68 164 0 31441 0
[pid=30104/tid=30105] ppid=30102 vsize=126424 CPUtime=6.71
/proc/30104/task/30105/stat : 30105 (satake) S 30102 30104 30957 0 -1 4202560 2247 0 0 0 177 494 0 0 15 0 5 0 946690819 129458176 29541 4294967295 134512640 135180984 3216529120 3086671888 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=30104/tid=30106] ppid=30102 vsize=126424 CPUtime=701.7
/proc/30104/task/30106/stat : 30106 (satake) R 30102 30104 30957 0 -1 4202560 10016 0 0 0 69918 252 0 0 25 0 5 0 946690819 129458176 29541 4294967295 134512640 135180984 3216529120 3086606192 134528652 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30104/tid=30107] ppid=30102 vsize=126424 CPUtime=697.57
/proc/30104/task/30107/stat : 30107 (satake) R 30102 30104 30957 0 -1 4202560 8710 0 0 0 69509 248 0 0 25 0 5 0 946690819 129458176 29541 4294967295 134512640 135180984 3216529120 3086540656 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30104/tid=30108] ppid=30102 vsize=126424 CPUtime=698.04
/proc/30104/task/30108/stat : 30108 (satake) R 30102 30104 30957 0 -1 4202560 9275 0 0 0 69671 133 0 0 25 0 5 0 946690819 129458176 29541 4294967295 134512640 135180984 3216529120 3086475120 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2104.02
Current children cumulated vsize (KiB) 126424

[startup+762.312 s]
/proc/loadavg: 3.00 3.01 3.00 4/103 32561
/proc/meminfo: memFree=2958804/3368532 swapFree=1959840/1959888
[pid=30104] ppid=30102 vsize=128940 CPUtime=2283.89
/proc/30104/stat : 30104 (satake) S 30102 30104 30957 0 -1 4202496 31012 0 0 0 227234 1155 0 0 18 0 5 0 946690819 132034560 30195 4294967295 134512640 135180984 3216529120 3216528556 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30104/statm: 32235 30195 68 164 0 32070 0
[pid=30104/tid=30105] ppid=30102 vsize=128940 CPUtime=6.88
/proc/30104/task/30105/stat : 30105 (satake) S 30102 30104 30957 0 -1 4202560 2295 0 0 0 180 508 0 0 15 0 5 0 946690819 132034560 30195 4294967295 134512640 135180984 3216529120 3086671888 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=30104/tid=30106] ppid=30102 vsize=128940 CPUtime=761.69
/proc/30104/task/30106/stat : 30106 (satake) R 30102 30104 30957 0 -1 4202560 10198 0 0 0 75913 256 0 0 25 0 5 0 946690819 132034560 30195 4294967295 134512640 135180984 3216529120 3086606112 134520800 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30104/tid=30107] ppid=30102 vsize=128940 CPUtime=757.47
/proc/30104/task/30107/stat : 30107 (satake) R 30102 30104 30957 0 -1 4202560 8931 0 0 0 75490 257 0 0 25 0 5 0 946690819 132034560 30195 4294967295 134512640 135180984 3216529120 3086540656 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30104/tid=30108] ppid=30102 vsize=128940 CPUtime=757.85
/proc/30104/task/30108/stat : 30108 (satake) R 30102 30104 30957 0 -1 4202560 9478 0 0 0 75651 134 0 0 25 0 5 0 946690819 132034560 30195 4294967295 134512640 135180984 3216529120 3086475120 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2283.89
Current children cumulated vsize (KiB) 128940

[startup+822.308 s]
/proc/loadavg: 3.00 3.00 3.00 4/103 32749
/proc/meminfo: memFree=2956944/3368532 swapFree=1959840/1959888
[pid=30104] ppid=30102 vsize=130780 CPUtime=2463.73
/proc/30104/stat : 30104 (satake) S 30102 30104 30957 0 -1 4202496 31332 0 0 0 245186 1187 0 0 18 0 5 0 946690819 133918720 30515 4294967295 134512640 135180984 3216529120 3216528556 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30104/statm: 32695 30515 68 164 0 32530 0
[pid=30104/tid=30105] ppid=30102 vsize=130780 CPUtime=7.05
/proc/30104/task/30105/stat : 30105 (satake) S 30102 30104 30957 0 -1 4202560 2314 0 0 0 184 521 0 0 15 0 5 0 946690819 133918720 30515 4294967295 134512640 135180984 3216529120 3086671888 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=30104/tid=30106] ppid=30102 vsize=130780 CPUtime=821.66
/proc/30104/task/30106/stat : 30106 (satake) R 30102 30104 30957 0 -1 4202560 10280 0 0 0 81905 261 0 0 25 0 5 0 946690819 133918720 30515 4294967295 134512640 135180984 3216529120 3086606192 134528680 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30104/tid=30107] ppid=30102 vsize=130780 CPUtime=817.36
/proc/30104/task/30107/stat : 30107 (satake) R 30102 30104 30957 0 -1 4202560 9020 0 0 0 81466 270 0 0 25 0 5 0 946690819 133918720 30515 4294967295 134512640 135180984 3216529120 3086540656 134527103 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30104/tid=30108] ppid=30102 vsize=130780 CPUtime=817.66
/proc/30104/task/30108/stat : 30108 (satake) R 30102 30104 30957 0 -1 4202560 9608 0 0 0 81631 135 0 0 25 0 5 0 946690819 133918720 30515 4294967295 134512640 135180984 3216529120 3086475120 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2463.73
Current children cumulated vsize (KiB) 130780

[startup+882.313 s]
/proc/loadavg: 3.00 3.00 3.00 4/103 470
/proc/meminfo: memFree=2955440/3368532 swapFree=1959840/1959888
[pid=30104] ppid=30102 vsize=132572 CPUtime=2643.58
/proc/30104/stat : 30104 (satake) S 30102 30104 30957 0 -1 4202496 31719 0 0 0 263136 1222 0 0 18 0 5 0 946690819 135753728 30902 4294967295 134512640 135180984 3216529120 3216528556 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30104/statm: 33143 30902 68 164 0 32978 0
[pid=30104/tid=30105] ppid=30102 vsize=132572 CPUtime=7.18
/proc/30104/task/30105/stat : 30105 (satake) S 30102 30104 30957 0 -1 4202560 2348 0 0 0 187 531 0 0 15 0 5 0 946690819 135753728 30902 4294967295 134512640 135180984 3216529120 3086671888 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=30104/tid=30106] ppid=30102 vsize=132572 CPUtime=881.65
/proc/30104/task/30106/stat : 30106 (satake) R 30102 30104 30957 0 -1 4202560 10340 0 0 0 87895 270 0 0 25 0 5 0 946690819 135753728 30902 4294967295 134512640 135180984 3216529120 3086606192 134528470 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30104/tid=30107] ppid=30102 vsize=132572 CPUtime=877.22
/proc/30104/task/30107/stat : 30107 (satake) R 30102 30104 30957 0 -1 4202560 9112 0 0 0 87442 280 0 0 25 0 5 0 946690819 135753728 30902 4294967295 134512640 135180984 3216529120 3086540656 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30104/tid=30108] ppid=30102 vsize=132572 CPUtime=877.53
/proc/30104/task/30108/stat : 30108 (satake) R 30102 30104 30957 0 -1 4202560 9809 0 0 0 87612 141 0 0 25 0 5 0 946690819 135753728 30902 4294967295 134512640 135180984 3216529120 3086475116 134520661 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2643.58
Current children cumulated vsize (KiB) 132572

[startup+942.308 s]
/proc/loadavg: 3.00 3.00 3.00 4/103 663
/proc/meminfo: memFree=2951976/3368532 swapFree=1959840/1959888
[pid=30104] ppid=30102 vsize=138460 CPUtime=2823.4
/proc/30104/stat : 30104 (satake) S 30102 30104 30957 0 -1 4202496 32842 0 0 0 281092 1248 0 0 18 0 5 0 946690819 141783040 32025 4294967295 134512640 135180984 3216529120 3216528556 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30104/statm: 34615 32025 68 164 0 34450 0
[pid=30104/tid=30105] ppid=30102 vsize=138460 CPUtime=7.26
/proc/30104/task/30105/stat : 30105 (satake) S 30102 30104 30957 0 -1 4202560 2387 0 0 0 187 539 0 0 16 0 5 0 946690819 141783040 32025 4294967295 134512640 135180984 3216529120 3086671888 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=30104/tid=30106] ppid=30102 vsize=138460 CPUtime=941.63
/proc/30104/task/30106/stat : 30106 (satake) R 30102 30104 30957 0 -1 4202560 10611 0 0 0 93889 274 0 0 25 0 5 0 946690819 141783040 32025 4294967295 134512640 135180984 3216529120 3086606024 134675846 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30104/tid=30107] ppid=30102 vsize=138460 CPUtime=937.08
/proc/30104/task/30107/stat : 30107 (satake) R 30102 30104 30957 0 -1 4202560 9533 0 0 0 93415 293 0 0 25 0 5 0 946690819 141783040 32025 4294967295 134512640 135180984 3216529120 3086540656 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30104/tid=30108] ppid=30102 vsize=138460 CPUtime=937.43
/proc/30104/task/30108/stat : 30108 (satake) R 30102 30104 30957 0 -1 4202560 10201 0 0 0 93601 142 0 0 25 0 5 0 946690819 141783040 32025 4294967295 134512640 135180984 3216529120 3086475060 134523985 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2823.4
Current children cumulated vsize (KiB) 138460



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 3.00 3.00 3.00 4/103 849
/proc/meminfo: memFree=2948868/3368532 swapFree=1959840/1959888
[pid=30104] ppid=30102 vsize=140956 CPUtime=2996.45
/proc/30104/stat : 30104 (satake) S 30102 30104 30957 0 -1 4202496 33373 0 0 0 298364 1281 0 0 18 0 5 0 946690819 144338944 32556 4294967295 134512640 135180984 3216529120 3216528556 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30104/statm: 35239 32556 68 164 0 35074 0
[pid=30104/tid=30105] ppid=30102 vsize=140956 CPUtime=7.4
/proc/30104/task/30105/stat : 30105 (satake) S 30102 30104 30957 0 -1 4202560 2402 0 0 0 195 545 0 0 15 0 5 0 946690819 144338944 32556 4294967295 134512640 135180984 3216529120 3086671888 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=30104/tid=30106] ppid=30102 vsize=140956 CPUtime=999.34
/proc/30104/task/30106/stat : 30106 (satake) R 30102 30104 30957 0 -1 4202560 10898 0 0 0 99656 278 0 0 25 0 5 0 946690819 144338944 32556 4294967295 134512640 135180984 3216529120 3086606188 134518218 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30104/tid=30107] ppid=30102 vsize=140956 CPUtime=994.7
/proc/30104/task/30107/stat : 30107 (satake) R 30102 30104 30957 0 -1 4202560 9629 0 0 0 99157 313 0 0 25 0 5 0 946690819 144338944 32556 4294967295 134512640 135180984 3216529120 3086540656 134528587 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30104/tid=30108] ppid=30102 vsize=140956 CPUtime=995.01
/proc/30104/task/30108/stat : 30108 (satake) R 30102 30104 30957 0 -1 4202560 10334 0 0 0 99356 145 0 0 25 0 5 0 946690819 144338944 32556 4294967295 134512640 135180984 3216529120 3086475120 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2996.45
Current children cumulated vsize (KiB) 140956

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.04
CPU time (s): 2996.49
CPU user time (s): 2983.67
CPU system time (s): 12.82
CPU usage (%): 299.637
Max. virtual memory (cumulated for all children) (KiB): 140956

deleting IPC queue 14680064
deleting IPC queue 14712833
deleting IPC queue 14745602
deleting IPC queue 14778371
deleting IPC queue 14811140
deleting IPC queue 14843909
deleting IPC queue 14876678
deleting IPC queue 14909447
deleting IPC queue 14942216
deleting IPC queue 14974985
deleting IPC queue 15007754
deleting IPC queue 15040523
deleting IPC queue 15073292
deleting IPC queue 15106061
deleting IPC queue 15138830
deleting IPC queue 15171599

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2983.67
system time used= 12.82
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33373
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= 826369
involuntary context switches= 691345

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-30 04:39:01
IDJOB=1780915
IDBENCH=71078
IDSOLVER=629
FILE ID=tipi39/1780915-1243651141
PBS_JOBID=
Free space on /tmp= 5743 MiB

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

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

MD5SUM BENCH= 66aa2e18c32a02f55a810347a9702c7f
RANDOM SEED= 1305497360

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:       3080232 kB
Buffers:         57324 kB
Cached:         126896 kB
SwapCached:          0 kB
Active:          91636 kB
Inactive:       108636 kB
HighTotal:     2489216 kB
HighFree:      2348692 kB
LowTotal:       879316 kB
LowFree:        731540 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            1820 kB
Writeback:           0 kB
AnonPages:       15856 kB
Mapped:           6188 kB
Slab:            77492 kB
SReclaimable:    67264 kB
SUnreclaim:      10228 kB
PageTables:        500 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    94796 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 5743 MiB
End job on tipi39 at 2009-05-30 04:55:43