Trace number 1776325

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) 2997.52 1000.05

General information on the benchmark

Nameindustrial/grieu/
vmpc_33.cnf
MD5SUM4c4d694bb911a7a13a7cb66a99dd484c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark784.34
Satisfiable
(Un)Satisfiability was proved
Number of variables1089
Number of clauses177375
Sum of the clauses size464310
Maximum clause length33
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 269795
Number of clauses of size 3107514
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 566

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-1776325-1243636505/watcher-1776325-1243636505 -o /tmp/evaluation-result-1776325-1243636505/solver-1776325-1243636505 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776325-1243636505.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: 3.00 3.00 2.92 3/115 27516
/proc/meminfo: memFree=3111208/3368532 swapFree=1941392/1959888
[pid=27516] ppid=27514 vsize=3660 CPUtime=0
/proc/27516/stat : 27516 (satake) S 27514 27516 11369 0 -1 4202496 765 0 0 0 0 0 0 0 18 0 5 0 1128330339 3747840 721 4294967295 134512640 135180984 3220382336 3220381772 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27516/statm: 915 721 63 164 0 750 0
[pid=27516/tid=27517] ppid=27514 vsize=3660 CPUtime=0
/proc/27516/task/27517/stat : 27517 (satake) S 27514 27516 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1128330339 3747840 726 4294967295 134512640 135180984 3220382336 3086794768 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=27516/tid=27518] ppid=27514 vsize=3792 CPUtime=0
/proc/27516/task/27518/stat : 27518 (satake) R 27514 27516 11369 0 -1 4202560 657 0 0 0 0 0 0 0 19 0 5 0 1128330339 3883008 731 4294967295 134512640 135180984 3220382336 3086729344 134691935 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27516/tid=27519] ppid=27514 vsize=3792 CPUtime=0
/proc/27516/task/27519/stat : 27519 (satake) R 27514 27516 11369 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 5 0 1128330339 3883008 731 4294967295 134512640 135180984 3220382336 3086664516 134705812 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27516/tid=27520] ppid=27514 vsize=3792 CPUtime=0
/proc/27516/task/27520/stat : 27520 (satake) R 27514 27516 11369 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1128330339 3883008 732 4294967295 134512640 135180984 3220382336 3086598980 134705812 0 0 0 0 0 0 0 -1 1 0 0 0

[startup+0.028768 s]
/proc/loadavg: 3.00 3.00 2.92 3/115 27516
/proc/meminfo: memFree=3111208/3368532 swapFree=1941392/1959888
[pid=27516] ppid=27514 vsize=11940 CPUtime=0.04
/proc/27516/stat : 27516 (satake) S 27514 27516 11369 0 -1 4202496 2418 0 0 0 4 0 0 0 18 0 5 0 1128330339 12226560 2374 4294967295 134512640 135180984 3220382336 3220381772 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27516/statm: 2985 2374 63 164 0 2820 0
[pid=27516/tid=27517] ppid=27514 vsize=11940 CPUtime=0
/proc/27516/task/27517/stat : 27517 (satake) S 27514 27516 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1128330339 12226560 2374 4294967295 134512640 135180984 3220382336 3086794768 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=27516/tid=27518] ppid=27514 vsize=11940 CPUtime=0.01
/proc/27516/task/27518/stat : 27518 (satake) R 27514 27516 11369 0 -1 4202560 750 0 0 0 1 0 0 0 19 0 5 0 1128330339 12226560 2376 4294967295 134512640 135180984 3220382336 3086729504 134513762 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27516/tid=27519] ppid=27514 vsize=11940 CPUtime=0.02
/proc/27516/task/27519/stat : 27519 (satake) R 27514 27516 11369 0 -1 4202560 814 0 0 0 2 0 0 0 19 0 5 0 1128330339 12226560 2376 4294967295 134512640 135180984 3220382336 3086663908 134680984 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27516/tid=27520] ppid=27514 vsize=11940 CPUtime=0.01
/proc/27516/task/27520/stat : 27520 (satake) R 27514 27516 11369 0 -1 4202560 738 0 0 0 1 0 0 0 20 0 5 0 1128330339 12226560 2376 4294967295 134512640 135180984 3220382336 3086598232 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11940

[startup+0.118766 s]
/proc/loadavg: 3.00 3.00 2.92 3/115 27516
/proc/meminfo: memFree=3111208/3368532 swapFree=1941392/1959888
[pid=27516] ppid=27514 vsize=23988 CPUtime=0.3
/proc/27516/stat : 27516 (satake) S 27514 27516 11369 0 -1 4202496 5207 0 0 0 30 0 0 0 18 0 5 0 1128330339 24563712 5163 4294967295 134512640 135180984 3220382336 3220381772 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27516/statm: 5997 5165 63 164 0 5832 0
[pid=27516/tid=27517] ppid=27514 vsize=23988 CPUtime=0
/proc/27516/task/27517/stat : 27517 (satake) S 27514 27516 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1128330339 24563712 5166 4294967295 134512640 135180984 3220382336 3086794768 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=27516/tid=27518] ppid=27514 vsize=23988 CPUtime=0.09
/proc/27516/task/27518/stat : 27518 (satake) R 27514 27516 11369 0 -1 4202560 1612 0 0 0 9 0 0 0 18 0 5 0 1128330339 24563712 5167 4294967295 134512640 135180984 3220382336 3086729364 134579745 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27516/tid=27519] ppid=27514 vsize=23988 CPUtime=0.11
/proc/27516/task/27519/stat : 27519 (satake) R 27514 27516 11369 0 -1 4202560 1712 0 0 0 11 0 0 0 19 0 5 0 1128330339 24563712 5167 4294967295 134512640 135180984 3220382336 3086663892 134579745 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27516/tid=27520] ppid=27514 vsize=23988 CPUtime=0.1
/proc/27516/task/27520/stat : 27520 (satake) R 27514 27516 11369 0 -1 4202560 1770 0 0 0 10 0 0 0 21 0 5 0 1128330339 24563712 5168 4294967295 134512640 135180984 3220382336 3086598116 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 23988

[startup+0.318761 s]
/proc/loadavg: 3.00 3.00 2.92 3/115 27516
/proc/meminfo: memFree=3111208/3368532 swapFree=1941392/1959888
[pid=27516] ppid=27514 vsize=28168 CPUtime=0.9
/proc/27516/stat : 27516 (satake) S 27514 27516 11369 0 -1 4202496 7971 0 0 0 86 4 0 0 18 0 5 0 1128330339 28844032 6052 4294967295 134512640 135180984 3220382336 3220381772 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27516/statm: 7042 6052 68 164 0 6877 0
[pid=27516/tid=27517] ppid=27514 vsize=28168 CPUtime=0
/proc/27516/task/27517/stat : 27517 (satake) S 27514 27516 11369 0 -1 4202560 14 0 0 0 0 0 0 0 16 0 5 0 1128330339 28844032 6052 4294967295 134512640 135180984 3220382336 3086794768 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=27516/tid=27518] ppid=27514 vsize=28168 CPUtime=0.29
/proc/27516/task/27518/stat : 27518 (satake) R 27514 27516 11369 0 -1 4202560 2551 0 0 0 27 2 0 0 18 0 5 0 1128330339 28844032 6052 4294967295 134512640 135180984 3220382336 3086729072 134528403 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27516/tid=27519] ppid=27514 vsize=28168 CPUtime=0.31
/proc/27516/task/27519/stat : 27519 (satake) R 27514 27516 11369 0 -1 4202560 2629 0 0 0 31 0 0 0 18 0 5 0 1128330339 28844032 6052 4294967295 134512640 135180984 3220382336 3086663536 134528754 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27516/tid=27520] ppid=27514 vsize=28168 CPUtime=0.3
/proc/27516/task/27520/stat : 27520 (satake) R 27514 27516 11369 0 -1 4202560 2666 0 0 0 28 2 0 0 21 0 5 0 1128330339 28844032 6052 4294967295 134512640 135180984 3220382336 3086598000 134528680 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 28168

[startup+0.718743 s]
/proc/loadavg: 3.00 3.00 2.92 3/115 27516
/proc/meminfo: memFree=3111208/3368532 swapFree=1941392/1959888
[pid=27516] ppid=27514 vsize=29488 CPUtime=2.1
/proc/27516/stat : 27516 (satake) S 27514 27516 11369 0 -1 4202496 8489 0 0 0 204 6 0 0 18 0 5 0 1128330339 30195712 6570 4294967295 134512640 135180984 3220382336 3220381772 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27516/statm: 7372 6570 68 164 0 7207 0
[pid=27516/tid=27517] ppid=27514 vsize=29488 CPUtime=0
/proc/27516/task/27517/stat : 27517 (satake) S 27514 27516 11369 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 5 0 1128330339 30195712 6570 4294967295 134512640 135180984 3220382336 3086794768 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=27516/tid=27518] ppid=27514 vsize=29488 CPUtime=0.69
/proc/27516/task/27518/stat : 27518 (satake) R 27514 27516 11369 0 -1 4202560 2733 0 0 0 66 3 0 0 19 0 5 0 1128330339 30195712 6570 4294967295 134512640 135180984 3220382336 3086729072 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27516/tid=27519] ppid=27514 vsize=29488 CPUtime=0.71
/proc/27516/task/27519/stat : 27519 (satake) R 27514 27516 11369 0 -1 4202560 2812 0 0 0 71 0 0 0 18 0 5 0 1128330339 30195712 6570 4294967295 134512640 135180984 3220382336 3086663536 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27516/tid=27520] ppid=27514 vsize=29488 CPUtime=0.7
/proc/27516/task/27520/stat : 27520 (satake) R 27514 27516 11369 0 -1 4202560 2816 0 0 0 67 3 0 0 22 0 5 0 1128330339 30195712 6570 4294967295 134512640 135180984 3220382336 3086598000 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 29488

[startup+1.51871 s]
/proc/loadavg: 3.00 3.00 2.92 4/120 27521
/proc/meminfo: memFree=3084864/3368532 swapFree=1941392/1959888
[pid=27516] ppid=27514 vsize=34332 CPUtime=4.51
/proc/27516/stat : 27516 (satake) S 27514 27516 11369 0 -1 4202496 9597 0 0 0 440 11 0 0 18 0 5 0 1128330339 35155968 7678 4294967295 134512640 135180984 3220382336 3220381772 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27516/statm: 8583 7678 68 164 0 8418 0
[pid=27516/tid=27517] ppid=27514 vsize=34332 CPUtime=0.02
/proc/27516/task/27517/stat : 27517 (satake) S 27514 27516 11369 0 -1 4202560 19 0 0 0 0 2 0 0 16 0 5 0 1128330339 35155968 7678 4294967295 134512640 135180984 3220382336 3086794768 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=27516/tid=27518] ppid=27514 vsize=34332 CPUtime=1.49
/proc/27516/task/27518/stat : 27518 (satake) R 27514 27516 11369 0 -1 4202560 3078 0 0 0 145 4 0 0 20 0 5 0 1128330339 35155968 7678 4294967295 134512640 135180984 3220382336 3086729068 134518208 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27516/tid=27519] ppid=27514 vsize=34332 CPUtime=1.51
/proc/27516/task/27519/stat : 27519 (satake) R 27514 27516 11369 0 -1 4202560 3220 0 0 0 149 2 0 0 20 0 5 0 1128330339 35155968 7678 4294967295 134512640 135180984 3220382336 3086663536 134528462 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27516/tid=27520] ppid=27514 vsize=34332 CPUtime=1.49
/proc/27516/task/27520/stat : 27520 (satake) R 27514 27516 11369 0 -1 4202560 3169 0 0 0 146 3 0 0 25 0 5 0 1128330339 35155968 7678 4294967295 134512640 135180984 3220382336 3086598016 134518783 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.51
Current children cumulated vsize (KiB) 34332

[startup+3.11865 s]
/proc/loadavg: 3.00 3.00 2.92 4/120 27521
/proc/meminfo: memFree=3078992/3368532 swapFree=1941392/1959888
[pid=27516] ppid=27514 vsize=40604 CPUtime=9.34
/proc/27516/stat : 27516 (satake) S 27514 27516 11369 0 -1 4202496 11268 0 0 0 914 20 0 0 18 0 5 0 1128330339 41578496 9349 4294967295 134512640 135180984 3220382336 3220381772 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27516/statm: 10151 9349 68 164 0 9986 0
[pid=27516/tid=27517] ppid=27514 vsize=40604 CPUtime=0.07
/proc/27516/task/27517/stat : 27517 (satake) S 27514 27516 11369 0 -1 4202560 31 0 0 0 0 7 0 0 16 0 5 0 1128330339 41578496 9349 4294967295 134512640 135180984 3220382336 3086794768 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=27516/tid=27518] ppid=27514 vsize=40604 CPUtime=3.09
/proc/27516/task/27518/stat : 27518 (satake) R 27514 27516 11369 0 -1 4202560 3655 0 0 0 305 4 0 0 25 0 5 0 1128330339 41578496 9349 4294967295 134512640 135180984 3220382336 3086729064 134518224 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27516/tid=27519] ppid=27514 vsize=40604 CPUtime=3.11
/proc/27516/task/27519/stat : 27519 (satake) R 27514 27516 11369 0 -1 4202560 3747 0 0 0 308 3 0 0 25 0 5 0 1128330339 41578496 9349 4294967295 134512640 135180984 3220382336 3086663536 134528641 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27516/tid=27520] ppid=27514 vsize=40604 CPUtime=3.07
/proc/27516/task/27520/stat : 27520 (satake) R 27514 27516 11369 0 -1 4202560 3724 0 0 0 301 6 0 0 25 0 5 0 1128330339 41578496 9350 4294967295 134512640 135180984 3220382336 3086598000 134528576 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.34
Current children cumulated vsize (KiB) 40604

[startup+6.31852 s]
/proc/loadavg: 3.00 3.00 2.92 4/120 27523
/proc/meminfo: memFree=3066772/3368532 swapFree=1941392/1959888
[pid=27516] ppid=27514 vsize=51932 CPUtime=18.99
/proc/27516/stat : 27516 (satake) S 27514 27516 11369 0 -1 4202496 13957 0 0 0 1868 31 0 0 18 0 5 0 1128330339 53178368 12038 4294967295 134512640 135180984 3220382336 3220381772 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27516/statm: 12983 12038 68 164 0 12818 0
[pid=27516/tid=27517] ppid=27514 vsize=51932 CPUtime=0.13
/proc/27516/task/27517/stat : 27517 (satake) S 27514 27516 11369 0 -1 4202560 39 0 0 0 2 11 0 0 16 0 5 0 1128330339 53178368 12039 4294967295 134512640 135180984 3220382336 3086794768 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=27516/tid=27518] ppid=27514 vsize=51932 CPUtime=6.29
/proc/27516/task/27518/stat : 27518 (satake) R 27514 27516 11369 0 -1 4202560 4681 0 0 0 624 5 0 0 25 0 5 0 1128330339 53178368 12039 4294967295 134512640 135180984 3220382336 3086728904 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27516/tid=27519] ppid=27514 vsize=51932 CPUtime=6.3
/proc/27516/task/27519/stat : 27519 (satake) R 27514 27516 11369 0 -1 4202560 4620 0 0 0 622 8 0 0 25 0 5 0 1128330339 53178368 12039 4294967295 134512640 135180984 3220382336 3086663536 134528568 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27516/tid=27520] ppid=27514 vsize=51932 CPUtime=6.27
/proc/27516/task/27520/stat : 27520 (satake) R 27514 27516 11369 0 -1 4202560 4507 0 0 0 620 7 0 0 25 0 5 0 1128330339 53178368 12039 4294967295 134512640 135180984 3220382336 3086598000 134528704 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.99
Current children cumulated vsize (KiB) 51932

[startup+12.7183 s]
/proc/loadavg: 3.00 3.00 2.92 4/120 27707
/proc/meminfo: memFree=3050052/3368532 swapFree=1941392/1959888
[pid=27516] ppid=27514 vsize=66660 CPUtime=38.11
/proc/27516/stat : 27516 (satake) S 27514 27516 11369 0 -1 4202496 17602 0 0 0 3773 38 0 0 18 0 5 0 1128330339 68259840 15683 4294967295 134512640 135180984 3220382336 3220381772 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27516/statm: 16665 15683 68 164 0 16500 0
[pid=27516/tid=27517] ppid=27514 vsize=66660 CPUtime=0.17
/proc/27516/task/27517/stat : 27517 (satake) S 27514 27516 11369 0 -1 4202560 49 0 0 0 4 13 0 0 15 0 5 0 1128330339 68259840 15683 4294967295 134512640 135180984 3220382336 3086794768 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=27516/tid=27518] ppid=27514 vsize=66660 CPUtime=12.68
/proc/27516/task/27518/stat : 27518 (satake) R 27514 27516 11369 0 -1 4202560 6317 0 0 0 1261 7 0 0 25 0 5 0 1128330339 68259840 15683 4294967295 134512640 135180984 3220382336 3086729072 134528206 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27516/tid=27519] ppid=27514 vsize=66660 CPUtime=12.67
/proc/27516/task/27519/stat : 27519 (satake) R 27514 27516 11369 0 -1 4202560 5500 0 0 0 1259 8 0 0 25 0 5 0 1128330339 68259840 15683 4294967295 134512640 135180984 3220382336 3086663536 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27516/tid=27520] ppid=27514 vsize=66660 CPUtime=12.59
/proc/27516/task/27520/stat : 27520 (satake) R 27514 27516 11369 0 -1 4202560 5625 0 0 0 1249 10 0 0 25 0 5 0 1128330339 68259840 15683 4294967295 134512640 135180984 3220382336 3086598000 134528543 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 38.11
Current children cumulated vsize (KiB) 66660

[startup+25.5178 s]
/proc/loadavg: 3.00 3.00 2.92 5/120 27708
/proc/meminfo: memFree=3029020/3368532 swapFree=1941392/1959888
[pid=27516] ppid=27514 vsize=87600 CPUtime=76.48
/proc/27516/stat : 27516 (satake) S 27514 27516 11369 0 -1 4202496 22796 0 0 0 7598 50 0 0 18 0 5 0 1128330339 89702400 20877 4294967295 134512640 135180984 3220382336 3220381772 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27516/statm: 21900 20877 68 164 0 21735 0
[pid=27516/tid=27517] ppid=27514 vsize=87600 CPUtime=0.23
/proc/27516/task/27517/stat : 27517 (satake) S 27514 27516 11369 0 -1 4202560 91 0 0 0 7 16 0 0 16 0 5 0 1128330339 89702400 20877 4294967295 134512640 135180984 3220382336 3086794768 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=27516/tid=27518] ppid=27514 vsize=87600 CPUtime=25.47
/proc/27516/task/27518/stat : 27518 (satake) R 27514 27516 11369 0 -1 4202560 8006 0 0 0 2536 11 0 0 25 0 5 0 1128330339 89702400 20877 4294967295 134512640 135180984 3220382336 3086729072 134528674 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27516/tid=27519] ppid=27514 vsize=87600 CPUtime=25.47
/proc/27516/task/27519/stat : 27519 (satake) R 27514 27516 11369 0 -1 4202560 6999 0 0 0 2538 9 0 0 25 0 5 0 1128330339 89702400 20877 4294967295 134512640 135180984 3220382336 3086663536 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27516/tid=27520] ppid=27514 vsize=87600 CPUtime=25.31
/proc/27516/task/27520/stat : 27520 (satake) R 27514 27516 11369 0 -1 4202560 7589 0 0 0 2517 14 0 0 25 0 5 0 1128330339 89702400 20877 4294967295 134512640 135180984 3220382336 3086597992 134518224 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 76.48
Current children cumulated vsize (KiB) 87600

[startup+51.1167 s]
/proc/loadavg: 3.00 3.00 2.92 4/120 27709
/proc/meminfo: memFree=2997408/3368532 swapFree=1941392/1959888
[pid=27516] ppid=27514 vsize=119136 CPUtime=153.26
/proc/27516/stat : 27516 (satake) S 27514 27516 11369 0 -1 4202496 30797 0 0 0 15252 74 0 0 18 0 5 0 1128330339 121995264 28878 4294967295 134512640 135180984 3220382336 3220381772 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27516/statm: 29784 28878 68 164 0 29619 0
[pid=27516/tid=27517] ppid=27514 vsize=119136 CPUtime=0.32
/proc/27516/task/27517/stat : 27517 (satake) S 27514 27516 11369 0 -1 4202560 121 0 0 0 10 22 0 0 15 0 5 0 1128330339 121995264 28878 4294967295 134512640 135180984 3220382336 3086794768 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=27516/tid=27518] ppid=27514 vsize=119136 CPUtime=51.07
/proc/27516/task/27518/stat : 27518 (satake) R 27514 27516 11369 0 -1 4202560 10944 0 0 0 5087 20 0 0 25 0 5 0 1128330339 121995264 28878 4294967295 134512640 135180984 3220382336 3086729072 134528680 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27516/tid=27519] ppid=27514 vsize=119136 CPUtime=51.06
/proc/27516/task/27519/stat : 27519 (satake) R 27514 27516 11369 0 -1 4202560 9596 0 0 0 5091 15 0 0 25 0 5 0 1128330339 121995264 28878 4294967295 134512640 135180984 3220382336 3086663532 134518208 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27516/tid=27520] ppid=27514 vsize=119136 CPUtime=50.81
/proc/27516/task/27520/stat : 27520 (satake) R 27514 27516 11369 0 -1 4202560 10025 0 0 0 5064 17 0 0 25 0 5 0 1128330339 121995264 28878 4294967295 134512640 135180984 3220382336 3086598000 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 153.26
Current children cumulated vsize (KiB) 119136

[startup+102.315 s]
/proc/loadavg: 3.00 3.00 2.92 5/120 27901

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

[pid=27516/tid=27518] ppid=27514 vsize=335784 CPUtime=522.14
/proc/27516/task/27518/stat : 27518 (satake) R 27514 27516 11369 0 -1 4202560 28803 0 0 0 52162 52 0 0 25 0 5 0 1128330339 343842816 81640 4294967295 134512640 135180984 3220382336 3086729072 134528636 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27516/tid=27519] ppid=27514 vsize=335784 CPUtime=521.7
/proc/27516/task/27519/stat : 27519 (satake) R 27514 27516 11369 0 -1 4202560 26592 0 0 0 52129 41 0 0 25 0 5 0 1128330339 343842816 81640 4294967295 134512640 135180984 3220382336 3086663536 134528641 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27516/tid=27520] ppid=27514 vsize=335784 CPUtime=520.99
/proc/27516/task/27520/stat : 27520 (satake) R 27514 27516 11369 0 -1 4202560 27759 0 0 0 52011 88 0 0 25 0 5 0 1128330339 343842816 81640 4294967295 134512640 135180984 3220382336 3086598000 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1565.59
Current children cumulated vsize (KiB) 335784

[startup+582.316 s]
/proc/loadavg: 3.00 3.00 2.92 4/120 29408
/proc/meminfo: memFree=2765348/3368532 swapFree=1941392/1959888
[pid=27516] ppid=27514 vsize=356068 CPUtime=1745.44
/proc/27516/stat : 27516 (satake) S 27514 27516 11369 0 -1 4202496 88582 0 0 0 174289 255 0 0 18 0 5 0 1128330339 364613632 86663 4294967295 134512640 135180984 3220382336 3220381772 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27516/statm: 89017 86663 68 164 0 88852 0
[pid=27516/tid=27517] ppid=27514 vsize=356068 CPUtime=0.81
/proc/27516/task/27517/stat : 27517 (satake) S 27514 27516 11369 0 -1 4202560 304 0 0 0 22 59 0 0 16 0 5 0 1128330339 364613632 86663 4294967295 134512640 135180984 3220382336 3086794768 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=27516/tid=27518] ppid=27514 vsize=356068 CPUtime=582.13
/proc/27516/task/27518/stat : 27518 (satake) R 27514 27516 11369 0 -1 4202560 30388 0 0 0 58156 57 0 0 25 0 5 0 1128330339 364613632 86663 4294967295 134512640 135180984 3220382336 3086729072 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27516/tid=27519] ppid=27514 vsize=356068 CPUtime=581.63
/proc/27516/task/27519/stat : 27519 (satake) R 27514 27516 11369 0 -1 4202560 28521 0 0 0 58118 45 0 0 25 0 5 0 1128330339 364613632 86663 4294967295 134512640 135180984 3220382336 3086663536 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27516/tid=27520] ppid=27514 vsize=356068 CPUtime=580.87
/proc/27516/task/27520/stat : 27520 (satake) R 27514 27516 11369 0 -1 4202560 29258 0 0 0 57993 94 0 0 25 0 5 0 1128330339 364613632 86663 4294967295 134512640 135180984 3220382336 3086598000 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1745.44
Current children cumulated vsize (KiB) 356068

[startup+642.313 s]
/proc/loadavg: 3.07 3.01 2.93 4/120 29597
/proc/meminfo: memFree=2746128/3368532 swapFree=1941392/1959888
[pid=27516] ppid=27514 vsize=376700 CPUtime=1925.19
/proc/27516/stat : 27516 (satake) S 27514 27516 11369 0 -1 4202496 93463 0 0 0 192249 270 0 0 18 0 5 0 1128330339 385740800 91544 4294967295 134512640 135180984 3220382336 3220381772 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27516/statm: 94175 91544 68 164 0 94010 0
[pid=27516/tid=27517] ppid=27514 vsize=376700 CPUtime=0.86
/proc/27516/task/27517/stat : 27517 (satake) S 27514 27516 11369 0 -1 4202560 332 0 0 0 23 63 0 0 15 0 5 0 1128330339 385740800 91544 4294967295 134512640 135180984 3220382336 3086794768 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=27516/tid=27518] ppid=27514 vsize=376700 CPUtime=642.09
/proc/27516/task/27518/stat : 27518 (satake) R 27514 27516 11369 0 -1 4202560 31776 0 0 0 64150 59 0 0 25 0 5 0 1128330339 385740800 91544 4294967295 134512640 135180984 3220382336 3086729068 134518218 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27516/tid=27519] ppid=27514 vsize=376700 CPUtime=641.56
/proc/27516/task/27519/stat : 27519 (satake) R 27514 27516 11369 0 -1 4202560 30591 0 0 0 64105 51 0 0 25 0 5 0 1128330339 385740800 91544 4294967295 134512640 135180984 3220382336 3086663536 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27516/tid=27520] ppid=27514 vsize=376700 CPUtime=640.68
/proc/27516/task/27520/stat : 27520 (satake) R 27514 27516 11369 0 -1 4202560 30653 0 0 0 63971 97 0 0 25 0 5 0 1128330339 385740800 91544 4294967295 134512640 135180984 3220382336 3086597832 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1925.19
Current children cumulated vsize (KiB) 376700

[startup+702.311 s]
/proc/loadavg: 3.02 3.01 2.93 4/120 29785
/proc/meminfo: memFree=2731364/3368532 swapFree=1941392/1959888
[pid=27516] ppid=27514 vsize=391772 CPUtime=2105.09
/proc/27516/stat : 27516 (satake) S 27514 27516 11369 0 -1 4202496 97197 0 0 0 210218 291 0 0 18 0 5 0 1128330339 401174528 95278 4294967295 134512640 135180984 3220382336 3220381772 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27516/statm: 97943 95278 68 164 0 97778 0
[pid=27516/tid=27517] ppid=27514 vsize=391772 CPUtime=0.92
/proc/27516/task/27517/stat : 27517 (satake) S 27514 27516 11369 0 -1 4202560 347 0 0 0 23 69 0 0 15 0 5 0 1128330339 401174528 95278 4294967295 134512640 135180984 3220382336 3086794768 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=27516/tid=27518] ppid=27514 vsize=391772 CPUtime=702.07
/proc/27516/task/27518/stat : 27518 (satake) R 27514 27516 11369 0 -1 4202560 33165 0 0 0 70145 62 0 0 25 0 5 0 1128330339 401174528 95278 4294967295 134512640 135180984 3220382336 3086729072 134528636 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27516/tid=27519] ppid=27514 vsize=391772 CPUtime=701.48
/proc/27516/task/27519/stat : 27519 (satake) R 27514 27516 11369 0 -1 4202560 31905 0 0 0 70094 54 0 0 25 0 5 0 1128330339 401174528 95278 4294967295 134512640 135180984 3220382336 3086663536 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27516/tid=27520] ppid=27514 vsize=391772 CPUtime=700.62
/proc/27516/task/27520/stat : 27520 (satake) R 27514 27516 11369 0 -1 4202560 31669 0 0 0 69956 106 0 0 25 0 5 0 1128330339 401174528 95278 4294967295 134512640 135180984 3220382336 3086598000 134528680 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2105.09
Current children cumulated vsize (KiB) 391772

[startup+762.318 s]
/proc/loadavg: 3.01 3.00 2.93 5/120 29973
/proc/meminfo: memFree=2717468/3368532 swapFree=1941392/1959888
[pid=27516] ppid=27514 vsize=405212 CPUtime=2285.01
/proc/27516/stat : 27516 (satake) S 27514 27516 11369 0 -1 4202496 100647 0 0 0 228191 310 0 0 18 0 5 0 1128330339 414937088 98728 4294967295 134512640 135180984 3220382336 3220381772 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27516/statm: 101303 98728 68 164 0 101138 0
[pid=27516/tid=27517] ppid=27514 vsize=405212 CPUtime=0.96
/proc/27516/task/27517/stat : 27517 (satake) S 27514 27516 11369 0 -1 4202560 359 0 0 0 24 72 0 0 15 0 5 0 1128330339 414937088 98728 4294967295 134512640 135180984 3220382336 3086794768 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=27516/tid=27518] ppid=27514 vsize=405212 CPUtime=762.08
/proc/27516/task/27518/stat : 27518 (satake) R 27514 27516 11369 0 -1 4202560 34317 0 0 0 76142 66 0 0 25 0 5 0 1128330339 414937088 98728 4294967295 134512640 135180984 3220382336 3086729072 134528617 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27516/tid=27519] ppid=27514 vsize=405212 CPUtime=761.43
/proc/27516/task/27519/stat : 27519 (satake) R 27514 27516 11369 0 -1 4202560 33248 0 0 0 76085 58 0 0 25 0 5 0 1128330339 414937088 98728 4294967295 134512640 135180984 3220382336 3086663536 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27516/tid=27520] ppid=27514 vsize=405212 CPUtime=760.54
/proc/27516/task/27520/stat : 27520 (satake) R 27514 27516 11369 0 -1 4202560 32612 0 0 0 75940 114 0 0 25 0 5 0 1128330339 414937088 98728 4294967295 134512640 135180984 3220382336 3086598000 134528633 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2285.01
Current children cumulated vsize (KiB) 405212

[startup+822.306 s]
/proc/loadavg: 3.00 3.00 2.93 4/120 30159
/proc/meminfo: memFree=2703472/3368532 swapFree=1941392/1959888
[pid=27516] ppid=27514 vsize=419772 CPUtime=2464.87
/proc/27516/stat : 27516 (satake) S 27514 27516 11369 0 -1 4202496 104186 0 0 0 246167 320 0 0 18 0 5 0 1128330339 429846528 102267 4294967295 134512640 135180984 3220382336 3220381772 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27516/statm: 104943 102267 68 164 0 104778 0
[pid=27516/tid=27517] ppid=27514 vsize=419772 CPUtime=0.99
/proc/27516/task/27517/stat : 27517 (satake) S 27514 27516 11369 0 -1 4202560 370 0 0 0 24 75 0 0 16 0 5 0 1128330339 429846528 102267 4294967295 134512640 135180984 3220382336 3086794768 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=27516/tid=27518] ppid=27514 vsize=419772 CPUtime=822.02
/proc/27516/task/27518/stat : 27518 (satake) R 27514 27516 11369 0 -1 4202560 35506 0 0 0 82135 67 0 0 25 0 5 0 1128330339 429846528 102267 4294967295 134512640 135180984 3220382336 3086729072 134528557 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27516/tid=27519] ppid=27514 vsize=419772 CPUtime=821.36
/proc/27516/task/27519/stat : 27519 (satake) R 27514 27516 11369 0 -1 4202560 34706 0 0 0 82078 58 0 0 25 0 5 0 1128330339 429846528 102267 4294967295 134512640 135180984 3220382336 3086663532 134518218 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27516/tid=27520] ppid=27514 vsize=419772 CPUtime=820.5
/proc/27516/task/27520/stat : 27520 (satake) R 27514 27516 11369 0 -1 4202560 33493 0 0 0 81930 120 0 0 25 0 5 0 1128330339 429846528 102267 4294967295 134512640 135180984 3220382336 3086598000 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2464.87
Current children cumulated vsize (KiB) 419772

[startup+882.304 s]
/proc/loadavg: 3.00 3.00 2.93 4/120 30351
/proc/meminfo: memFree=2689832/3368532 swapFree=1941392/1959888
[pid=27516] ppid=27514 vsize=433684 CPUtime=2644.7
/proc/27516/stat : 27516 (satake) S 27514 27516 11369 0 -1 4202496 107462 0 0 0 264136 334 0 0 18 0 5 0 1128330339 444092416 105543 4294967295 134512640 135180984 3220382336 3220381772 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27516/statm: 108421 105543 68 164 0 108256 0
[pid=27516/tid=27517] ppid=27514 vsize=433684 CPUtime=1.01
/proc/27516/task/27517/stat : 27517 (satake) S 27514 27516 11369 0 -1 4202560 376 0 0 0 25 76 0 0 16 0 5 0 1128330339 444092416 105543 4294967295 134512640 135180984 3220382336 3086794768 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=27516/tid=27518] ppid=27514 vsize=433684 CPUtime=881.99
/proc/27516/task/27518/stat : 27518 (satake) R 27514 27516 11369 0 -1 4202560 36610 0 0 0 88131 68 0 0 25 0 5 0 1128330339 444092416 105543 4294967295 134512640 135180984 3220382336 3086729068 134518208 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27516/tid=27519] ppid=27514 vsize=433684 CPUtime=881.32
/proc/27516/task/27519/stat : 27519 (satake) R 27514 27516 11369 0 -1 4202560 36016 0 0 0 88072 60 0 0 25 0 5 0 1128330339 444092416 105543 4294967295 134512640 135180984 3220382336 3086663528 134518224 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27516/tid=27520] ppid=27514 vsize=433684 CPUtime=880.38
/proc/27516/task/27520/stat : 27520 (satake) R 27514 27516 11369 0 -1 4202560 34349 0 0 0 87908 130 0 0 25 0 5 0 1128330339 444092416 105543 4294967295 134512640 135180984 3220382336 3086598000 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2644.7
Current children cumulated vsize (KiB) 433684

[startup+942.311 s]
/proc/loadavg: 3.00 3.00 2.93 4/120 30539
/proc/meminfo: memFree=2675820/3368532 swapFree=1941392/1959888
[pid=27516] ppid=27514 vsize=447688 CPUtime=2824.51
/proc/27516/stat : 27516 (satake) S 27514 27516 11369 0 -1 4202496 111098 0 0 0 282094 357 0 0 18 0 5 0 1128330339 458432512 109179 4294967295 134512640 135180984 3220382336 3220381772 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27516/statm: 111922 109179 68 164 0 111757 0
[pid=27516/tid=27517] ppid=27514 vsize=447688 CPUtime=1.04
/proc/27516/task/27517/stat : 27517 (satake) S 27514 27516 11369 0 -1 4202560 385 0 0 0 26 78 0 0 16 0 5 0 1128330339 458432512 109179 4294967295 134512640 135180984 3220382336 3086794768 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=27516/tid=27518] ppid=27514 vsize=447688 CPUtime=941.93
/proc/27516/task/27518/stat : 27518 (satake) R 27514 27516 11369 0 -1 4202560 38057 0 0 0 94120 73 0 0 25 0 5 0 1128330339 458432512 109179 4294967295 134512640 135180984 3220382336 3086729072 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27516/tid=27519] ppid=27514 vsize=447688 CPUtime=941.28
/proc/27516/task/27519/stat : 27519 (satake) R 27514 27516 11369 0 -1 4202560 37333 0 0 0 94064 64 0 0 25 0 5 0 1128330339 458432512 109179 4294967295 134512640 135180984 3220382336 3086663536 134528536 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27516/tid=27520] ppid=27514 vsize=447688 CPUtime=940.26
/proc/27516/task/27520/stat : 27520 (satake) R 27514 27516 11369 0 -1 4202560 35212 0 0 0 93884 142 0 0 25 0 5 0 1128330339 458432512 109179 4294967295 134512640 135180984 3220382336 3086598000 134528680 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2824.51
Current children cumulated vsize (KiB) 447688



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 3.00 3.00 2.93 4/120 30728
/proc/meminfo: memFree=2663164/3368532 swapFree=1941392/1959888
[pid=27516] ppid=27514 vsize=460492 CPUtime=2997.44
/proc/27516/stat : 27516 (satake) S 27514 27516 11369 0 -1 4202496 114223 0 0 0 299375 369 0 0 18 0 5 0 1128330339 471543808 112304 4294967295 134512640 135180984 3220382336 3220381772 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27516/statm: 115123 112304 68 164 0 114958 0
[pid=27516/tid=27517] ppid=27514 vsize=460492 CPUtime=1.04
/proc/27516/task/27517/stat : 27517 (satake) S 27514 27516 11369 0 -1 4202560 394 0 0 0 26 78 0 0 15 0 5 0 1128330339 471543808 112304 4294967295 134512640 135180984 3220382336 3086794768 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=27516/tid=27518] ppid=27514 vsize=460492 CPUtime=999.6
/proc/27516/task/27518/stat : 27518 (satake) R 27514 27516 11369 0 -1 4202560 39341 0 0 0 99886 74 0 0 25 0 5 0 1128330339 471543808 112304 4294967295 134512640 135180984 3220382336 3086729072 134528648 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27516/tid=27519] ppid=27514 vsize=460492 CPUtime=998.95
/proc/27516/task/27519/stat : 27519 (satake) R 27514 27516 11369 0 -1 4202560 38596 0 0 0 99826 69 0 0 25 0 5 0 1128330339 471543808 112304 4294967295 134512640 135180984 3220382336 3086663536 134528644 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27516/tid=27520] ppid=27514 vsize=460492 CPUtime=997.85
/proc/27516/task/27520/stat : 27520 (satake) R 27514 27516 11369 0 -1 4202560 35781 0 0 0 99637 148 0 0 25 0 5 0 1128330339 471543808 112304 4294967295 134512640 135180984 3220382336 3086598000 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2997.44
Current children cumulated vsize (KiB) 460492

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.05
CPU time (s): 2997.52
CPU user time (s): 2993.81
CPU system time (s): 3.71
CPU usage (%): 299.736
Max. virtual memory (cumulated for all children) (KiB): 460492

deleting IPC queue 3145728
deleting IPC queue 3178497
deleting IPC queue 3211266
deleting IPC queue 3244035
deleting IPC queue 3276804
deleting IPC queue 3309573
deleting IPC queue 3342342
deleting IPC queue 3375111
deleting IPC queue 3407880
deleting IPC queue 3440649
deleting IPC queue 3473418
deleting IPC queue 3506187
deleting IPC queue 3538956
deleting IPC queue 3571725
deleting IPC queue 3604494
deleting IPC queue 3637263

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2993.81
system time used= 3.71
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114223
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= 159433
involuntary context switches= 171796

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 00:35:05
IDJOB=1776325
IDBENCH=20488
IDSOLVER=629
FILE ID=/1776325-1243636505
PBS_JOBID=
Free space on /tmp= 15728 MiB

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

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

MD5SUM BENCH= 4c4d694bb911a7a13a7cb66a99dd484c
RANDOM SEED= 127324285

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.143
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.143
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.17
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.143
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:       3111504 kB
Buffers:         39900 kB
Cached:         137280 kB
SwapCached:       4320 kB
Active:         133920 kB
Inactive:        53800 kB
HighTotal:     2489216 kB
HighFree:      2339640 kB
LowTotal:       879316 kB
LowFree:        771864 kB
SwapTotal:     1959888 kB
SwapFree:      1941392 kB
Dirty:            3196 kB
Writeback:           0 kB
AnonPages:        9576 kB
Mapped:           4296 kB
Slab:            58572 kB
SReclaimable:    50200 kB
SUnreclaim:       8372 kB
PageTables:        600 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   127080 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15728 MiB
End job on  at 2009-05-30 00:51:47