Trace number 1780750

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) 1285 1000.08

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rbcl_xits_11_UNKNOWN.cnf
MD5SUMb02fa517730e45c506203f9bd7ebb62c
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 variables1740
Number of clauses104640
Sum of the clauses size311346
Maximum clause length12
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22781
Number of clauses of size 3101836
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-1780750-1243650027/watcher-1780750-1243650027 -o /tmp/evaluation-result-1780750-1243650027/solver-1780750-1243650027 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780750-1243650027.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: 6.36 6.67 6.71 8/113 15797
/proc/meminfo: memFree=2294320/3368532 swapFree=1953000/1959888
[pid=15797] ppid=15795 vsize=3064 CPUtime=0
/proc/15797/stat : 15797 (satake) S 15795 15797 20665 0 -1 4202496 593 0 0 0 0 0 0 0 18 0 5 0 1119140049 3137536 547 4294967295 134512640 135180984 3221144384 3221143820 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/15797/statm: 766 547 63 164 0 601 0
[pid=15797/tid=15798] ppid=15795 vsize=3064 CPUtime=0
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1119140049 3137536 554 4294967295 134512640 135180984 3221144384 3086737424 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=15797/tid=15799] ppid=15795 vsize=3064 CPUtime=0
/proc/15797/task/15799/stat : 15799 (satake) R 15795 15797 20665 0 -1 4202560 483 0 0 0 0 0 0 0 19 0 5 0 1119140049 3137536 554 4294967295 134512640 135180984 3221144384 3086671944 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=3064 CPUtime=0
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 20665 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 5 0 1119140049 3137536 555 4294967295 134512640 135180984 3221144384 3086607172 134705812 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=3064 CPUtime=0
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 20665 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1119140049 3137536 555 4294967295 134512640 135180984 3221144384 3086541636 134705812 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.019993 s]
/proc/loadavg: 6.36 6.67 6.71 8/113 15797
/proc/meminfo: memFree=2294320/3368532 swapFree=1953000/1959888
[pid=15797] ppid=15795 vsize=6516 CPUtime=0.02
/proc/15797/stat : 15797 (satake) S 15795 15797 20665 0 -1 4202496 1313 0 0 0 1 1 0 0 18 0 5 0 1119140049 6672384 1268 4294967295 134512640 135180984 3221144384 3221143820 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/15797/statm: 1629 1276 63 164 0 1464 0
[pid=15797/tid=15798] ppid=15795 vsize=6516 CPUtime=0
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1119140049 6672384 1279 4294967295 134512640 135180984 3221144384 3086737424 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=15797/tid=15799] ppid=15795 vsize=6516 CPUtime=0.01
/proc/15797/task/15799/stat : 15799 (satake) R 15795 15797 20665 0 -1 4202560 540 0 0 0 0 1 0 0 19 0 5 0 1119140049 6672384 1283 4294967295 134512640 135180984 3221144384 3086671844 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=6516 CPUtime=0.01
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 20665 0 -1 4202560 547 0 0 0 1 0 0 0 19 0 5 0 1119140049 6672384 1287 4294967295 134512640 135180984 3221144384 3086606640 134535266 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=6516 CPUtime=0
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 20665 0 -1 4202560 133 0 0 0 0 0 0 0 20 0 5 0 1119140049 6672384 1291 4294967295 134512640 135180984 3221144384 3086541092 134583077 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 6516

[startup+0.109988 s]
/proc/loadavg: 6.36 6.67 6.71 8/113 15797
/proc/meminfo: memFree=2294320/3368532 swapFree=1953000/1959888
[pid=15797] ppid=15795 vsize=10012 CPUtime=0.07
/proc/15797/stat : 15797 (satake) S 15795 15797 20665 0 -1 4202496 2292 0 0 0 6 1 0 0 18 0 5 0 1119140049 10252288 2243 4294967295 134512640 135180984 3221144384 3221143820 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/15797/statm: 2503 2243 63 164 0 2338 0
[pid=15797/tid=15798] ppid=15795 vsize=10012 CPUtime=0
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1119140049 10252288 2243 4294967295 134512640 135180984 3221144384 3086737424 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=15797/tid=15799] ppid=15795 vsize=10012 CPUtime=0.01
/proc/15797/task/15799/stat : 15799 (satake) R 15795 15797 20665 0 -1 4202560 540 0 0 0 0 1 0 0 19 0 5 0 1119140049 10252288 2243 4294967295 134512640 135180984 3221144384 3086671844 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=10012 CPUtime=0.01
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 20665 0 -1 4202560 547 0 0 0 1 0 0 0 19 0 5 0 1119140049 10252288 2243 4294967295 134512640 135180984 3221144384 3086606640 134535266 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=10012 CPUtime=0.05
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 20665 0 -1 4202560 1088 0 0 0 5 0 0 0 20 0 5 0 1119140049 10252288 2243 4294967295 134512640 135180984 3221144384 3086541180 134513807 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10012

[startup+0.309967 s]
/proc/loadavg: 6.36 6.67 6.71 8/113 15797
/proc/meminfo: memFree=2294320/3368532 swapFree=1953000/1959888
[pid=15797] ppid=15795 vsize=15132 CPUtime=0.34
/proc/15797/stat : 15797 (satake) S 15795 15797 20665 0 -1 4202496 4607 0 0 0 31 3 0 0 18 0 5 0 1119140049 15495168 3328 4294967295 134512640 135180984 3221144384 3221143820 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/15797/statm: 3783 3328 68 164 0 3618 0
[pid=15797/tid=15798] ppid=15795 vsize=15132 CPUtime=0
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 20665 0 -1 4202560 39 0 0 0 0 0 0 0 16 0 5 0 1119140049 15495168 3328 4294967295 134512640 135180984 3221144384 3086737424 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=15797/tid=15799] ppid=15795 vsize=15132 CPUtime=0.11
/proc/15797/task/15799/stat : 15799 (satake) R 15795 15797 20665 0 -1 4202560 1484 0 0 0 9 2 0 0 20 0 5 0 1119140049 15495168 3328 4294967295 134512640 135180984 3221144384 3086671632 134524849 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=15132 CPUtime=0.11
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 20665 0 -1 4202560 1487 0 0 0 11 0 0 0 19 0 5 0 1119140049 15495168 3328 4294967295 134512640 135180984 3221144384 3086606096 134524858 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=15132 CPUtime=0.12
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 20665 0 -1 4202560 1487 0 0 0 11 1 0 0 20 0 5 0 1119140049 15495168 3328 4294967295 134512640 135180984 3221144384 3086540488 134675767 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 15132

[startup+0.709939 s]
/proc/loadavg: 6.36 6.67 6.71 8/113 15797
/proc/meminfo: memFree=2294320/3368532 swapFree=1953000/1959888
[pid=15797] ppid=15795 vsize=16684 CPUtime=0.97
/proc/15797/stat : 15797 (satake) S 15795 15797 20665 0 -1 4202496 4974 0 0 0 93 4 0 0 18 0 5 0 1119140049 17084416 3695 4294967295 134512640 135180984 3221144384 3221143820 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/15797/statm: 4171 3695 68 164 0 4006 0
[pid=15797/tid=15798] ppid=15795 vsize=16684 CPUtime=0
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 20665 0 -1 4202560 39 0 0 0 0 0 0 0 15 0 5 0 1119140049 17084416 3695 4294967295 134512640 135180984 3221144384 3086737424 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=15797/tid=15799] ppid=15795 vsize=16684 CPUtime=0.31
/proc/15797/task/15799/stat : 15799 (satake) R 15795 15797 20665 0 -1 4202560 1609 0 0 0 28 3 0 0 20 0 5 0 1119140049 17084416 3695 4294967295 134512640 135180984 3221144384 3086671728 134526123 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=16684 CPUtime=0.31
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 20665 0 -1 4202560 1594 0 0 0 31 0 0 0 19 0 5 0 1119140049 17084416 3695 4294967295 134512640 135180984 3221144384 3086606096 134524822 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=16684 CPUtime=0.35
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 20665 0 -1 4202560 1622 0 0 0 34 1 0 0 20 0 5 0 1119140049 17084416 3695 4294967295 134512640 135180984 3221144384 3086540656 134528587 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 16684

[startup+1.50988 s]
/proc/loadavg: 6.36 6.67 6.71 8/118 15802
/proc/meminfo: memFree=2279852/3368532 swapFree=1953000/1959888
[pid=15797] ppid=15795 vsize=18236 CPUtime=2.19
/proc/15797/stat : 15797 (satake) S 15795 15797 20665 0 -1 4202496 5368 0 0 0 213 6 0 0 18 0 5 0 1119140049 18673664 4089 4294967295 134512640 135180984 3221144384 3221143820 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/15797/statm: 4559 4089 68 164 0 4394 0
[pid=15797/tid=15798] ppid=15795 vsize=18236 CPUtime=0.02
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 20665 0 -1 4202560 45 0 0 0 1 1 0 0 16 0 5 0 1119140049 18673664 4089 4294967295 134512640 135180984 3221144384 3086737424 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=15797/tid=15799] ppid=15795 vsize=18236 CPUtime=0.71
/proc/15797/task/15799/stat : 15799 (satake) R 15795 15797 20665 0 -1 4202560 1756 0 0 0 68 3 0 0 21 0 5 0 1119140049 18673664 4089 4294967295 134512640 135180984 3221144384 3086671728 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=18236 CPUtime=0.71
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 20665 0 -1 4202560 1739 0 0 0 70 1 0 0 20 0 5 0 1119140049 18673664 4089 4294967295 134512640 135180984 3221144384 3086606192 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=18236 CPUtime=0.75
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 20665 0 -1 4202560 1718 0 0 0 74 1 0 0 21 0 5 0 1119140049 18673664 4089 4294967295 134512640 135180984 3221144384 3086540656 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 18236

[startup+3.10975 s]
/proc/loadavg: 6.36 6.67 6.71 8/118 15802
/proc/meminfo: memFree=2277708/3368532 swapFree=1953000/1959888
[pid=15797] ppid=15795 vsize=21340 CPUtime=4.61
/proc/15797/stat : 15797 (satake) S 15795 15797 20665 0 -1 4202496 6043 0 0 0 451 10 0 0 18 0 5 0 1119140049 21852160 4764 4294967295 134512640 135180984 3221144384 3221143820 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/15797/statm: 5335 4764 68 164 0 5170 0
[pid=15797/tid=15798] ppid=15795 vsize=21340 CPUtime=0.05
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 20665 0 -1 4202560 52 0 0 0 2 3 0 0 15 0 5 0 1119140049 21852160 4764 4294967295 134512640 135180984 3221144384 3086737424 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=15797/tid=15799] ppid=15795 vsize=21340 CPUtime=1.51
/proc/15797/task/15799/stat : 15799 (satake) R 15795 15797 20665 0 -1 4202560 2009 0 0 0 147 4 0 0 24 0 5 0 1119140049 21852160 4764 4294967295 134512640 135180984 3221144384 3086671728 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=21340 CPUtime=1.51
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 20665 0 -1 4202560 1959 0 0 0 149 2 0 0 21 0 5 0 1119140049 21852160 4764 4294967295 134512640 135180984 3221144384 3086606192 134528557 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=21340 CPUtime=1.54
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 20665 0 -1 4202560 1913 0 0 0 153 1 0 0 23 0 5 0 1119140049 21852160 4764 4294967295 134512640 135180984 3221144384 3086540372 134675767 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 21340

[startup+6.3095 s]
/proc/loadavg: 6.41 6.67 6.71 6/118 15802
/proc/meminfo: memFree=2273688/3368532 swapFree=1953000/1959888
[pid=15797] ppid=15795 vsize=25468 CPUtime=8.88
/proc/15797/stat : 15797 (satake) S 15795 15797 20665 0 -1 4202496 7189 0 0 0 873 15 0 0 18 0 5 0 1119140049 26079232 5910 4294967295 134512640 135180984 3221144384 3221143820 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/15797/statm: 6367 5910 68 164 0 6202 0
[pid=15797/tid=15798] ppid=15795 vsize=25468 CPUtime=0.06
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 20665 0 -1 4202560 57 0 0 0 2 4 0 0 16 0 5 0 1119140049 26079232 5910 4294967295 134512640 135180984 3221144384 3086737424 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=15797/tid=15799] ppid=15795 vsize=25468 CPUtime=2.3
/proc/15797/task/15799/stat : 15799 (satake) R 15795 15797 20665 0 -1 4202560 2229 0 0 0 224 6 0 0 25 0 5 0 1119140049 26079232 5910 4294967295 134512640 135180984 3221144384 3086671728 134528568 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=25468 CPUtime=3.27
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 20665 0 -1 4202560 2405 0 0 0 324 3 0 0 16 0 5 0 1119140049 26079232 5910 4294967295 134512640 135180984 3221144384 3086606192 134528648 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=25468 CPUtime=3.25
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 20665 0 -1 4202560 2388 0 0 0 323 2 0 0 16 0 5 0 1119140049 26079232 5910 4294967295 134512640 135180984 3221144384 3086540656 134528628 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.88
Current children cumulated vsize (KiB) 25468

[startup+12.709 s]
/proc/loadavg: 6.46 6.68 6.72 8/118 15803
/proc/meminfo: memFree=2263324/3368532 swapFree=1953000/1959888
[pid=15797] ppid=15795 vsize=35280 CPUtime=19.58
/proc/15797/stat : 15797 (satake) S 15795 15797 20665 0 -1 4202496 9225 0 0 0 1937 21 0 0 18 0 5 0 1119140049 36126720 7946 4294967295 134512640 135180984 3221144384 3221143820 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/15797/statm: 8820 7946 68 164 0 8655 0
[pid=15797/tid=15798] ppid=15795 vsize=35280 CPUtime=0.1
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 20665 0 -1 4202560 73 0 0 0 3 7 0 0 15 0 5 0 1119140049 36126720 7946 4294967295 134512640 135180984 3221144384 3086737424 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=15797/tid=15799] ppid=15795 vsize=35280 CPUtime=5.33
/proc/15797/task/15799/stat : 15799 (satake) S 15795 15797 20665 0 -1 4202560 2850 0 0 0 526 7 0 0 25 0 5 0 1119140049 36126720 7946 4294967295 134512640 135180984 3221144384 3086671520 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=35280 CPUtime=7.07
/proc/15797/task/15800/stat : 15800 (satake) S 15795 15797 20665 0 -1 4202560 3102 0 0 0 702 5 0 0 24 0 5 0 1119140049 36126720 7946 4294967295 134512640 135180984 3221144384 3086605984 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=35280 CPUtime=7.08
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 20665 0 -1 4202560 3090 0 0 0 706 2 0 0 25 0 5 0 1119140049 36126720 7946 4294967295 134512640 135180984 3221144384 3086540460 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.58
Current children cumulated vsize (KiB) 35280

[startup+25.5074 s]
/proc/loadavg: 6.66 6.71 6.72 10/118 15987
/proc/meminfo: memFree=2254000/3368532 swapFree=1953000/1959888
[pid=15797] ppid=15795 vsize=43168 CPUtime=35.83
/proc/15797/stat : 15797 (satake) S 15795 15797 20665 0 -1 4202496 11354 0 0 0 3545 38 0 0 18 0 5 0 1119140049 44204032 10075 4294967295 134512640 135180984 3221144384 3221143820 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/15797/statm: 10792 10075 68 164 0 10627 0
[pid=15797/tid=15798] ppid=15795 vsize=43168 CPUtime=0.19
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 20665 0 -1 4202560 81 0 0 0 4 15 0 0 15 0 5 0 1119140049 44204032 10075 4294967295 134512640 135180984 3221144384 3086737424 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=15797/tid=15799] ppid=15795 vsize=43168 CPUtime=12.18
/proc/15797/task/15799/stat : 15799 (satake) R 15795 15797 20665 0 -1 4202560 3654 0 0 0 1206 12 0 0 16 0 5 0 1119140049 44204032 10075 4294967295 134512640 135180984 3221144384 3086671728 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=43168 CPUtime=13.74
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 20665 0 -1 4202560 3969 0 0 0 1366 8 0 0 16 0 5 0 1119140049 44204032 10075 4294967295 134512640 135180984 3221144384 3086606024 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=43168 CPUtime=9.72
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 20665 0 -1 4202560 3540 0 0 0 969 3 0 0 25 0 5 0 1119140049 44204032 10075 4294967295 134512640 135180984 3221144384 3086540652 134518218 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 35.83
Current children cumulated vsize (KiB) 43168

[startup+51.1154 s]
/proc/loadavg: 6.92 6.76 6.74 8/118 15989
/proc/meminfo: memFree=2240384/3368532 swapFree=1953000/1959888
[pid=15797] ppid=15795 vsize=56880 CPUtime=69
/proc/15797/stat : 15797 (satake) S 15795 15797 20665 0 -1 4202496 14742 0 0 0 6840 60 0 0 18 0 5 0 1119140049 58245120 13463 4294967295 134512640 135180984 3221144384 3221143820 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/15797/statm: 14220 13463 68 164 0 14055 0
[pid=15797/tid=15798] ppid=15795 vsize=56880 CPUtime=0.36
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 20665 0 -1 4202560 101 0 0 0 8 28 0 0 15 0 5 0 1119140049 58245120 13463 4294967295 134512640 135180984 3221144384 3086737424 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=15797/tid=15799] ppid=15795 vsize=56880 CPUtime=21.07
/proc/15797/task/15799/stat : 15799 (satake) R 15795 15797 20665 0 -1 4202560 4681 0 0 0 2092 15 0 0 25 0 5 0 1119140049 58245120 13463 4294967295 134512640 135180984 3221144384 3086671728 134528633 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=56880 CPUtime=25.61
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 20665 0 -1 4202560 5157 0 0 0 2551 10 0 0 20 0 5 0 1119140049 58245120 13463 4294967295 134512640 135180984 3221144384 3086606192 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=56880 CPUtime=21.96
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 20665 0 -1 4202560 4693 0 0 0 2189 7 0 0 20 0 5 0 1119140049 58245120 13463 4294967295 134512640 135180984 3221144384 3086540656 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 69
Current children cumulated vsize (KiB) 56880

[startup+102.311 s]
/proc/loadavg: 6.69 6.72 6.73 9/118 16176

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

[pid=15797/tid=15799] ppid=15795 vsize=183008 CPUtime=237.91
/proc/15797/task/15799/stat : 15799 (satake) R 15795 15797 20665 0 -1 4202560 14018 0 0 0 23743 48 0 0 25 0 5 0 1119140049 187400192 44016 4294967295 134512640 135180984 3221144384 3086671728 134528470 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=183008 CPUtime=225.74
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 20665 0 -1 4202560 14917 0 0 0 22532 42 0 0 25 0 5 0 1119140049 187400192 44016 4294967295 134512640 135180984 3221144384 3086606192 134528633 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=183008 CPUtime=230.56
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 20665 0 -1 4202560 16044 0 0 0 23012 44 0 0 25 0 5 0 1119140049 187400192 44016 4294967295 134512640 135180984 3221144384 3086540656 134528633 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 694.89
Current children cumulated vsize (KiB) 183008

[startup+582.304 s]
/proc/loadavg: 7.54 7.42 7.07 8/118 17685
/proc/meminfo: memFree=2094880/3368532 swapFree=1953000/1959888
[pid=15797] ppid=15795 vsize=191660 CPUtime=779.38
/proc/15797/stat : 15797 (satake) S 15795 15797 20665 0 -1 4202496 47646 0 0 0 77747 191 0 0 18 0 5 0 1119140049 196259840 46367 4294967295 134512640 135180984 3221144384 3221143820 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/15797/statm: 47915 46367 68 164 0 47750 0
[pid=15797/tid=15798] ppid=15795 vsize=191660 CPUtime=0.71
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 20665 0 -1 4202560 209 0 0 0 20 51 0 0 15 0 5 0 1119140049 196259840 46367 4294967295 134512640 135180984 3221144384 3086737424 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=15797/tid=15799] ppid=15795 vsize=191660 CPUtime=266.21
/proc/15797/task/15799/stat : 15799 (satake) R 15795 15797 20665 0 -1 4202560 14795 0 0 0 26572 49 0 0 25 0 5 0 1119140049 196259840 46367 4294967295 134512640 135180984 3221144384 3086671728 134528633 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=191660 CPUtime=252.15
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 20665 0 -1 4202560 15801 0 0 0 25172 43 0 0 25 0 5 0 1119140049 196259840 46367 4294967295 134512640 135180984 3221144384 3086605984 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=191660 CPUtime=260.31
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 20665 0 -1 4202560 16731 0 0 0 25983 48 0 0 25 0 5 0 1119140049 196259840 46367 4294967295 134512640 135180984 3221144384 3086540656 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 779.38
Current children cumulated vsize (KiB) 191660

[startup+642.31 s]
/proc/loadavg: 7.60 7.46 7.11 8/118 17873
/proc/meminfo: memFree=2083472/3368532 swapFree=1953000/1959888
[pid=15797] ppid=15795 vsize=202248 CPUtime=856.61
/proc/15797/stat : 15797 (satake) S 15795 15797 20665 0 -1 4202496 49994 0 0 0 85463 198 0 0 18 0 5 0 1119140049 207101952 48715 4294967295 134512640 135180984 3221144384 3221143820 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/15797/statm: 50562 48715 68 164 0 50397 0
[pid=15797/tid=15798] ppid=15795 vsize=202248 CPUtime=0.72
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 20665 0 -1 4202560 213 0 0 0 21 51 0 0 15 0 5 0 1119140049 207101952 48715 4294967295 134512640 135180984 3221144384 3086737424 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=15797/tid=15799] ppid=15795 vsize=202248 CPUtime=295.21
/proc/15797/task/15799/stat : 15799 (satake) R 15795 15797 20665 0 -1 4202560 15609 0 0 0 29468 53 0 0 25 0 5 0 1119140049 207101952 48715 4294967295 134512640 135180984 3221144384 3086671728 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=202248 CPUtime=274.33
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 20665 0 -1 4202560 16338 0 0 0 27388 45 0 0 25 0 5 0 1119140049 207101952 48715 4294967295 134512640 135180984 3221144384 3086606192 134528648 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=202248 CPUtime=286.35
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 20665 0 -1 4202560 17724 0 0 0 28586 49 0 0 25 0 5 0 1119140049 207101952 48715 4294967295 134512640 135180984 3221144384 3086540652 134518208 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 856.61
Current children cumulated vsize (KiB) 202248

[startup+702.315 s]
/proc/loadavg: 7.60 7.48 7.13 8/118 18064
/proc/meminfo: memFree=2073652/3368532 swapFree=1953000/1959888
[pid=15797] ppid=15795 vsize=210256 CPUtime=933.94
/proc/15797/stat : 15797 (satake) S 15795 15797 20665 0 -1 4202496 51881 0 0 0 93195 199 0 0 18 0 5 0 1119140049 215302144 50602 4294967295 134512640 135180984 3221144384 3221143820 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/15797/statm: 52564 50602 68 164 0 52399 0
[pid=15797/tid=15798] ppid=15795 vsize=210256 CPUtime=0.72
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 20665 0 -1 4202560 214 0 0 0 21 51 0 0 15 0 5 0 1119140049 215302144 50602 4294967295 134512640 135180984 3221144384 3086737424 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=15797/tid=15799] ppid=15795 vsize=210256 CPUtime=324.21
/proc/15797/task/15799/stat : 15799 (satake) R 15795 15797 20665 0 -1 4202560 16433 0 0 0 32367 54 0 0 25 0 5 0 1119140049 215302144 50602 4294967295 134512640 135180984 3221144384 3086671728 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=210256 CPUtime=297.71
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 20665 0 -1 4202560 16971 0 0 0 29726 45 0 0 25 0 5 0 1119140049 215302144 50602 4294967295 134512640 135180984 3221144384 3086606192 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=210256 CPUtime=311.3
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 20665 0 -1 4202560 18153 0 0 0 31081 49 0 0 25 0 5 0 1119140049 215302144 50602 4294967295 134512640 135180984 3221144384 3086540448 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 933.94
Current children cumulated vsize (KiB) 210256

[startup+762.31 s]
/proc/loadavg: 7.73 7.54 7.17 9/118 18252
/proc/meminfo: memFree=2070244/3368532 swapFree=1953000/1959888
[pid=15797] ppid=15795 vsize=211444 CPUtime=1011.13
/proc/15797/stat : 15797 (satake) S 15795 15797 20665 0 -1 4202496 52379 0 0 0 100911 202 0 0 18 0 5 0 1119140049 216518656 51100 4294967295 134512640 135180984 3221144384 3221143820 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/15797/statm: 52861 51100 68 164 0 52696 0
[pid=15797/tid=15798] ppid=15795 vsize=211444 CPUtime=0.73
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 20665 0 -1 4202560 216 0 0 0 21 52 0 0 15 0 5 0 1119140049 216518656 51100 4294967295 134512640 135180984 3221144384 3086737424 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=15797/tid=15799] ppid=15795 vsize=211444 CPUtime=352.31
/proc/15797/task/15799/stat : 15799 (satake) R 15795 15797 20665 0 -1 4202560 16703 0 0 0 35176 55 0 0 25 0 5 0 1119140049 216518656 51100 4294967295 134512640 135180984 3221144384 3086671728 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=211444 CPUtime=321.94
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 20665 0 -1 4202560 17064 0 0 0 32148 46 0 0 25 0 5 0 1119140049 216518656 51100 4294967295 134512640 135180984 3221144384 3086605984 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=211444 CPUtime=336.15
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 20665 0 -1 4202560 18286 0 0 0 33566 49 0 0 25 0 5 0 1119140049 216518656 51100 4294967295 134512640 135180984 3221144384 3086540576 134520716 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1011.13
Current children cumulated vsize (KiB) 211444

[startup+822.306 s]
/proc/loadavg: 7.53 7.53 7.19 8/118 18440
/proc/meminfo: memFree=2067732/3368532 swapFree=1953000/1959888
[pid=15797] ppid=15795 vsize=212468 CPUtime=1073.92
/proc/15797/stat : 15797 (satake) S 15795 15797 20665 0 -1 4202496 52588 0 0 0 107185 207 0 0 18 0 5 0 1119140049 217567232 51309 4294967295 134512640 135180984 3221144384 3221143820 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/15797/statm: 53117 51309 68 164 0 52952 0
[pid=15797/tid=15798] ppid=15795 vsize=212468 CPUtime=0.77
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 20665 0 -1 4202560 220 0 0 0 22 55 0 0 15 0 5 0 1119140049 217567232 51309 4294967295 134512640 135180984 3221144384 3086737424 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=15797/tid=15799] ppid=15795 vsize=212468 CPUtime=378.1
/proc/15797/task/15799/stat : 15799 (satake) R 15795 15797 20665 0 -1 4202560 16711 0 0 0 37753 57 0 0 25 0 5 0 1119140049 217567232 51309 4294967295 134512640 135180984 3221144384 3086671728 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=212468 CPUtime=341.62
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 20665 0 -1 4202560 17259 0 0 0 34116 46 0 0 25 0 5 0 1119140049 217567232 51309 4294967295 134512640 135180984 3221144384 3086605984 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=212468 CPUtime=353.44
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 20665 0 -1 4202560 18288 0 0 0 35295 49 0 0 25 0 5 0 1119140049 217567232 51309 4294967295 134512640 135180984 3221144384 3086540656 134528648 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1073.92
Current children cumulated vsize (KiB) 212468

[startup+882.311 s]
/proc/loadavg: 7.46 7.49 7.19 8/118 18628
/proc/meminfo: memFree=2065988/3368532 swapFree=1953000/1959888
[pid=15797] ppid=15795 vsize=212468 CPUtime=1144.32
/proc/15797/stat : 15797 (satake) S 15795 15797 20665 0 -1 4202496 52606 0 0 0 114216 216 0 0 18 0 5 0 1119140049 217567232 51327 4294967295 134512640 135180984 3221144384 3221143820 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/15797/statm: 53117 51327 68 164 0 52952 0
[pid=15797/tid=15798] ppid=15795 vsize=212468 CPUtime=0.78
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 20665 0 -1 4202560 220 0 0 0 22 56 0 0 15 0 5 0 1119140049 217567232 51327 4294967295 134512640 135180984 3221144384 3086737424 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=15797/tid=15799] ppid=15795 vsize=212468 CPUtime=405.24
/proc/15797/task/15799/stat : 15799 (satake) R 15795 15797 20665 0 -1 4202560 16716 0 0 0 40462 62 0 0 25 0 5 0 1119140049 217567232 51327 4294967295 134512640 135180984 3221144384 3086671520 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=212468 CPUtime=365.55
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 20665 0 -1 4202560 17261 0 0 0 36507 48 0 0 25 0 5 0 1119140049 217567232 51327 4294967295 134512640 135180984 3221144384 3086606188 134518218 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=212468 CPUtime=372.75
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 20665 0 -1 4202560 18299 0 0 0 37225 50 0 0 25 0 5 0 1119140049 217567232 51327 4294967295 134512640 135180984 3221144384 3086540656 134528674 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1144.32
Current children cumulated vsize (KiB) 212468

[startup+942.316 s]
/proc/loadavg: 7.52 7.51 7.21 7/118 18816
/proc/meminfo: memFree=2064004/3368532 swapFree=1953000/1959888
[pid=15797] ppid=15795 vsize=212468 CPUtime=1215.94
/proc/15797/stat : 15797 (satake) S 15795 15797 20665 0 -1 4202496 52618 0 0 0 121371 223 0 0 18 0 5 0 1119140049 217567232 51339 4294967295 134512640 135180984 3221144384 3221143820 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/15797/statm: 53117 51339 68 164 0 52952 0
[pid=15797/tid=15798] ppid=15795 vsize=212468 CPUtime=0.81
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 20665 0 -1 4202560 220 0 0 0 22 59 0 0 15 0 5 0 1119140049 217567232 51339 4294967295 134512640 135180984 3221144384 3086737424 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=15797/tid=15799] ppid=15795 vsize=212468 CPUtime=432.67
/proc/15797/task/15799/stat : 15799 (satake) R 15795 15797 20665 0 -1 4202560 16720 0 0 0 43204 63 0 0 25 0 5 0 1119140049 217567232 51339 4294967295 134512640 135180984 3221144384 3086671728 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=212468 CPUtime=388.81
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 20665 0 -1 4202560 17268 0 0 0 38830 51 0 0 25 0 5 0 1119140049 217567232 51339 4294967295 134512640 135180984 3221144384 3086606192 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=212468 CPUtime=393.65
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 20665 0 -1 4202560 18300 0 0 0 39315 50 0 0 25 0 5 0 1119140049 217567232 51339 4294967295 134512640 135180984 3221144384 3086540656 134528680 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1215.94
Current children cumulated vsize (KiB) 212468



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 7.30 7.44 7.21 8/118 19003
/proc/meminfo: memFree=2062432/3368532 swapFree=1953000/1959888
[pid=15797] ppid=15795 vsize=212468 CPUtime=1284.98
/proc/15797/stat : 15797 (satake) S 15795 15797 20665 0 -1 4202496 52646 0 0 0 128270 228 0 0 18 0 5 0 1119140049 217567232 51367 4294967295 134512640 135180984 3221144384 3221143820 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/15797/statm: 53117 51367 68 164 0 52952 0
[pid=15797/tid=15798] ppid=15795 vsize=212468 CPUtime=0.84
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 20665 0 -1 4202560 220 0 0 0 24 60 0 0 15 0 5 0 1119140049 217567232 51367 4294967295 134512640 135180984 3221144384 3086737424 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=15797/tid=15799] ppid=15795 vsize=212468 CPUtime=459.81
/proc/15797/task/15799/stat : 15799 (satake) R 15795 15797 20665 0 -1 4202560 16731 0 0 0 45915 66 0 0 25 0 5 0 1119140049 217567232 51367 4294967295 134512640 135180984 3221144384 3086671728 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=212468 CPUtime=407.51
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 20665 0 -1 4202560 17277 0 0 0 40700 51 0 0 25 0 5 0 1119140049 217567232 51367 4294967295 134512640 135180984 3221144384 3086606192 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=212468 CPUtime=416.82
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 20665 0 -1 4202560 18308 0 0 0 41631 51 0 0 25 0 5 0 1119140049 217567232 51367 4294967295 134512640 135180984 3221144384 3086540448 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1284.98
Current children cumulated vsize (KiB) 212468

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.08
CPU time (s): 1285
CPU user time (s): 1282.71
CPU system time (s): 2.29
CPU usage (%): 128.49
Max. virtual memory (cumulated for all children) (KiB): 212468

deleting IPC queue 12058624
deleting IPC queue 12091393
deleting IPC queue 12124162
deleting IPC queue 12156931
deleting IPC queue 12189700
deleting IPC queue 12222469
deleting IPC queue 12255238
deleting IPC queue 12288007
deleting IPC queue 12320776
deleting IPC queue 12353545
deleting IPC queue 12386314
deleting IPC queue 12419083
deleting IPC queue 12451852
deleting IPC queue 12484621
deleting IPC queue 12517390
deleting IPC queue 12550159

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1282.71
system time used= 2.29
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52646
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= 83840
involuntary context switches= 118268

runsolver used 0 second user time and 0.02 second system time

The end

Launcher Data 

Begin job on tipi45 at 2009-05-30 04:20:27
IDJOB=1780750
IDBENCH=71064
IDSOLVER=629
FILE ID=tipi45/1780750-1243650027
PBS_JOBID=
Free space on /tmp= 15500 MiB

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

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

MD5SUM BENCH= b02fa517730e45c506203f9bd7ebb62c
RANDOM SEED= 983330385

Linux tipi45 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.081
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.081
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.081
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.081
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:       2294220 kB
Buffers:         35076 kB
Cached:         603416 kB
SwapCached:       1800 kB
Active:         462064 kB
Inactive:       524612 kB
HighTotal:     2489216 kB
HighFree:      1535584 kB
LowTotal:       879316 kB
LowFree:        758636 kB
SwapTotal:     1959888 kB
SwapFree:      1953000 kB
Dirty:            3124 kB
Writeback:           0 kB
AnonPages:      347308 kB
Mapped:           6432 kB
Slab:            74712 kB
SReclaimable:    63240 kB
SUnreclaim:      11472 kB
PageTables:        996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   435512 kB
VmallocTotal:   114680 kB
VmallocUsed:     17900 kB
VmallocChunk:    96244 kB

Free space on /tmp at the end= 15500 MiB
End job on tipi45 at 2009-05-30 04:37:10