Trace number 1780360

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) 1968.28 1000.06

General information on the benchmark

NameAPPLICATIONS/diagnosis/
ACG-15-10p0.cnf
MD5SUMd8dd0726277891eae9a2807dfd8946db
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1554.58
Satisfiable
(Un)Satisfiability was proved
Number of variables262253
Number of clauses1131732
Sum of the clauses size2644763
Maximum clause length10
Minimum clause length1
Number of clauses of size 110249
Number of clauses of size 2882815
Number of clauses of size 3187708
Number of clauses of size 45660
Number of clauses of size 522640
Number of clauses of size over 522660

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-1780360-1243647235/watcher-1780360-1243647235 -o /tmp/evaluation-result-1780360-1243647235/solver-1780360-1243647235 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780360-1243647235.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.10 6.35 6.42 6/111 8790
/proc/meminfo: memFree=3049316/3368532 swapFree=1953788/1959888
[pid=8790] ppid=8788 vsize=5264 CPUtime=0
/proc/8790/stat : 8790 (satake) S 8788 8790 23155 0 -1 4202496 783 0 0 0 0 0 0 0 18 0 5 0 1129387743 5390336 741 4294967295 134512640 135180984 3213839440 3213838876 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8790/statm: 1316 745 63 164 0 1151 0
[pid=8790/tid=8791] ppid=8788 vsize=5264 CPUtime=0
/proc/8790/task/8791/stat : 8791 (satake) S 8788 8790 23155 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129387743 5390336 775 4294967295 134512640 135180984 3213839440 3086512144 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=8790/tid=8792] ppid=8788 vsize=5264 CPUtime=0
/proc/8790/task/8792/stat : 8792 (satake) R 8788 8790 23155 0 -1 4202560 706 0 0 0 0 0 0 0 20 0 5 0 1129387743 5390336 780 4294967295 134512640 135180984 3213839440 3086446884 134583077 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8790/tid=8793] ppid=8788 vsize=5264 CPUtime=0
/proc/8790/task/8793/stat : 8793 (satake) R 8788 8790 23155 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1129387743 5390336 785 4294967295 134512640 135180984 3213839440 3086381892 134705812 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8790/tid=8794] ppid=8788 vsize=5264 CPUtime=0
/proc/8790/task/8794/stat : 8794 (satake) R 8788 8790 23155 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1129387743 5390336 790 4294967295 134512640 135180984 3213839440 3086316356 134705812 0 0 0 0 0 0 0 -1 2 0 0 0

[startup+0.016959 s]
/proc/loadavg: 6.10 6.35 6.42 6/111 8790
/proc/meminfo: memFree=3049316/3368532 swapFree=1953788/1959888
[pid=8790] ppid=8788 vsize=17552 CPUtime=0.01
/proc/8790/stat : 8790 (satake) S 8788 8790 23155 0 -1 4202496 2739 0 0 0 0 1 0 0 18 0 5 0 1129387743 17973248 2696 4294967295 134512640 135180984 3213839440 3213838876 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8790/statm: 4388 2701 63 164 0 4223 0
[pid=8790/tid=8791] ppid=8788 vsize=17552 CPUtime=0
/proc/8790/task/8791/stat : 8791 (satake) S 8788 8790 23155 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129387743 17973248 2703 4294967295 134512640 135180984 3213839440 3086512144 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=8790/tid=8792] ppid=8788 vsize=17552 CPUtime=0.01
/proc/8790/task/8792/stat : 8792 (satake) R 8788 8790 23155 0 -1 4202560 2633 0 0 0 0 1 0 0 20 0 5 0 1129387743 17973248 2707 4294967295 134512640 135180984 3213839440 3086446884 134583077 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8790/tid=8793] ppid=8788 vsize=17552 CPUtime=0
/proc/8790/task/8793/stat : 8793 (satake) R 8788 8790 23155 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1129387743 17973248 2711 4294967295 134512640 135180984 3213839440 3086381892 134705812 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8790/tid=8794] ppid=8788 vsize=17552 CPUtime=0
/proc/8790/task/8794/stat : 8794 (satake) R 8788 8790 23155 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1129387743 17973248 2715 4294967295 134512640 135180984 3213839440 3086316356 134705812 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17552

[startup+0.140445 s]
/proc/loadavg: 6.10 6.35 6.42 6/111 8790
/proc/meminfo: memFree=3049316/3368532 swapFree=1953788/1959888
[pid=8790] ppid=8788 vsize=80752 CPUtime=0.14
/proc/8790/stat : 8790 (satake) S 8788 8790 23155 0 -1 4202496 17079 0 0 0 3 11 0 0 18 0 5 0 1129387743 82690048 17026 4294967295 134512640 135180984 3213839440 3213838876 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8790/statm: 20382 17294 63 164 0 20217 0
[pid=8790/tid=8791] ppid=8788 vsize=82308 CPUtime=0
/proc/8790/task/8791/stat : 8791 (satake) S 8788 8790 23155 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129387743 84283392 17342 4294967295 134512640 135180984 3213839440 3086512144 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=8790/tid=8792] ppid=8788 vsize=84400 CPUtime=0.09
/proc/8790/task/8792/stat : 8792 (satake) R 8788 8790 23155 0 -1 4202560 10206 0 0 0 3 6 0 0 20 0 5 0 1129387743 86425600 17922 4294967295 134512640 135180984 3213839440 3086446656 134702260 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8790/tid=8793] ppid=8788 vsize=93124 CPUtime=0.06
/proc/8790/task/8793/stat : 8793 (satake) R 8788 8790 23155 0 -1 4202560 7179 0 0 0 2 4 0 0 20 0 5 0 1129387743 95358976 19222 4294967295 134512640 135180984 3213839440 3086381236 134706046 0 0 0 0 3223098951 0 0 -1 1 0 0 0
[pid=8790/tid=8794] ppid=8788 vsize=98244 CPUtime=0.01
/proc/8790/task/8794/stat : 8794 (satake) R 8788 8790 23155 0 -1 4202560 1610 0 0 0 0 1 0 0 20 0 5 0 1129387743 100601856 21372 4294967295 134512640 135180984 3213839440 3086315812 134583077 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 80752

[startup+0.34244 s]
/proc/loadavg: 6.10 6.35 6.42 6/111 8790
/proc/meminfo: memFree=3049316/3368532 swapFree=1953788/1959888
[pid=8790] ppid=8788 vsize=154136 CPUtime=0.42
/proc/8790/stat : 8790 (satake) S 8788 8790 23155 0 -1 4202496 32022 0 0 0 27 15 0 0 18 0 5 0 1129387743 157835264 31965 4294967295 134512640 135180984 3213839440 3213838876 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8790/statm: 38739 32429 63 164 0 38574 0
[pid=8790/tid=8791] ppid=8788 vsize=159516 CPUtime=0
/proc/8790/task/8791/stat : 8791 (satake) S 8788 8790 23155 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129387743 163344384 32913 4294967295 134512640 135180984 3213839440 3086512144 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=8790/tid=8792] ppid=8788 vsize=159516 CPUtime=0.25
/proc/8790/task/8792/stat : 8792 (satake) R 8788 8790 23155 0 -1 4202560 11312 0 0 0 18 7 0 0 20 0 5 0 1129387743 163344384 32921 4294967295 134512640 135180984 3213839440 3086446820 134680984 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8790/tid=8793] ppid=8788 vsize=159516 CPUtime=0.19
/proc/8790/task/8793/stat : 8793 (satake) R 8788 8790 23155 0 -1 4202560 11014 0 0 0 14 5 0 0 18 0 5 0 1129387743 163344384 32922 4294967295 134512640 135180984 3213839440 3086381144 134675846 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8790/tid=8794] ppid=8788 vsize=159516 CPUtime=0.11
/proc/8790/task/8794/stat : 8794 (satake) R 8788 8790 23155 0 -1 4202560 10536 0 0 0 7 4 0 0 20 0 5 0 1129387743 163344384 32922 4294967295 134512640 135180984 3213839440 3086315492 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 154136

[startup+0.927614 s]
/proc/loadavg: 6.10 6.35 6.42 6/111 8790
/proc/meminfo: memFree=3049316/3368532 swapFree=1953788/1959888
[pid=8790] ppid=8788 vsize=196440 CPUtime=1.92
/proc/8790/stat : 8790 (satake) S 8788 8790 23155 0 -1 4202496 41798 0 0 0 174 18 0 0 18 0 5 0 1129387743 201154560 41741 4294967295 134512640 135180984 3213839440 3213838876 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8790/statm: 49143 41745 63 164 0 48978 0
[pid=8790/tid=8791] ppid=8788 vsize=197860 CPUtime=0
/proc/8790/task/8791/stat : 8791 (satake) S 8788 8790 23155 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129387743 202608640 42083 4294967295 134512640 135180984 3213839440 3086512144 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=8790/tid=8792] ppid=8788 vsize=199148 CPUtime=0.81
/proc/8790/task/8792/stat : 8792 (satake) D 8788 8790 23155 0 -1 4202560 15249 0 0 0 73 8 0 0 17 0 5 0 1129387743 203927552 42298 4294967295 134512640 135180984 3213839440 3086446564 134675846 0 0 0 0 3223098951 0 0 -1 0 0 0 0
[pid=8790/tid=8793] ppid=8788 vsize=201840 CPUtime=0.77
/proc/8790/task/8793/stat : 8793 (satake) R 8788 8790 23155 0 -1 4202560 14644 0 0 0 72 5 0 0 16 0 5 0 1129387743 206684160 42351 4294967295 134512640 135180984 3213839440 3086381204 134579745 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8790/tid=8794] ppid=8788 vsize=204680 CPUtime=0.43
/proc/8790/task/8794/stat : 8794 (satake) R 8788 8790 23155 0 -1 4202560 12531 0 0 0 38 5 0 0 19 0 5 0 1129387743 209592320 43494 4294967295 134512640 135180984 3213839440 3086315824 134535076 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 196440

[startup+1.75498 s]
/proc/loadavg: 6.09 6.35 6.42 6/116 8795
/proc/meminfo: memFree=2824348/3368532 swapFree=1953788/1959888
[pid=8790] ppid=8788 vsize=268816 CPUtime=4.25
/proc/8790/stat : 8790 (satake) S 8788 8790 23155 0 -1 4202496 59331 0 0 0 396 29 0 0 18 0 5 0 1129387743 275267584 52936 4294967295 134512640 135180984 3213839440 3213838876 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8790/statm: 67204 52936 66 164 0 67039 0
[pid=8790/tid=8791] ppid=8788 vsize=268816 CPUtime=0
/proc/8790/task/8791/stat : 8791 (satake) D 8788 8790 23155 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 5 0 1129387743 275267584 52936 4294967295 134512640 135180984 3213839440 3086512032 134702260 0 0 0 0 3223098951 0 0 -1 2 0 0 0
[pid=8790/tid=8792] ppid=8788 vsize=268816 CPUtime=1.58
/proc/8790/task/8792/stat : 8792 (satake) R 8788 8790 23155 0 -1 4202560 20827 0 0 0 147 11 0 0 15 0 5 0 1129387743 275267584 52936 4294967295 134512640 135180984 3213839440 3086446440 134520881 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8790/tid=8793] ppid=8788 vsize=268816 CPUtime=1.52
/proc/8790/task/8793/stat : 8793 (satake) R 8788 8790 23155 0 -1 4202560 20474 0 0 0 143 9 0 0 15 0 5 0 1129387743 275267584 52936 4294967295 134512640 135180984 3213839440 3086381460 134702225 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8790/tid=8794] ppid=8788 vsize=268816 CPUtime=1.15
/proc/8790/task/8794/stat : 8794 (satake) D 8788 8790 23155 0 -1 4202560 17912 0 0 0 106 9 0 0 17 0 5 0 1129387743 275267584 52936 4294967295 134512640 135180984 3213839440 3086315792 134520025 0 0 0 0 3223098951 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 268816

[startup+3.10712 s]
/proc/loadavg: 6.09 6.35 6.42 8/117 8840
/proc/meminfo: memFree=2852216/3368532 swapFree=1953788/1959888
[pid=8790] ppid=8788 vsize=258972 CPUtime=7.08
/proc/8790/stat : 8790 (satake) S 8788 8790 23155 0 -1 4202496 64939 0 0 0 673 35 0 0 18 0 5 0 1129387743 265187328 49432 4294967295 134512640 135180984 3213839440 3213838876 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8790/statm: 64743 49432 68 164 0 64578 0
[pid=8790/tid=8791] ppid=8788 vsize=258972 CPUtime=0.06
/proc/8790/task/8791/stat : 8791 (satake) R 8788 8790 23155 0 -1 4202560 4387 0 0 0 3 3 0 0 18 0 5 0 1129387743 265187328 49432 4294967295 134512640 135180984 3213839440 3086512148 134580588 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8790/tid=8792] ppid=8788 vsize=258972 CPUtime=2.31
/proc/8790/task/8792/stat : 8792 (satake) R 8788 8790 23155 0 -1 4202560 20889 0 0 0 220 11 0 0 16 0 5 0 1129387743 265187328 49432 4294967295 134512640 135180984 3213839440 3086446464 134532624 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8790/tid=8793] ppid=8788 vsize=258972 CPUtime=2.27
/proc/8790/task/8793/stat : 8793 (satake) R 8788 8790 23155 0 -1 4202560 20682 0 0 0 217 10 0 0 16 0 5 0 1129387743 265187328 49432 4294967295 134512640 135180984 3213839440 3086380816 134525183 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8790/tid=8794] ppid=8788 vsize=258972 CPUtime=2.44
/proc/8790/task/8794/stat : 8794 (satake) R 8788 8790 23155 0 -1 4202560 18871 0 0 0 233 11 0 0 16 0 5 0 1129387743 265187328 49432 4294967295 134512640 135180984 3213839440 3086315312 134523833 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.08
Current children cumulated vsize (KiB) 258972

[startup+6.30685 s]
/proc/loadavg: 6.09 6.35 6.42 7/116 8978
/proc/meminfo: memFree=2851852/3368532 swapFree=1953788/1959888
[pid=8790] ppid=8788 vsize=261152 CPUtime=16.08
/proc/8790/stat : 8790 (satake) S 8788 8790 23155 0 -1 4202496 64960 0 0 0 1567 41 0 0 18 0 5 0 1129387743 267419648 49453 4294967295 134512640 135180984 3213839440 3213838876 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8790/statm: 65288 49453 68 164 0 65123 0
[pid=8790/tid=8791] ppid=8788 vsize=261152 CPUtime=0.1
/proc/8790/task/8791/stat : 8791 (satake) S 8788 8790 23155 0 -1 4202560 4391 0 0 0 5 5 0 0 16 0 5 0 1129387743 267419648 49453 4294967295 134512640 135180984 3213839440 3086512144 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=8790/tid=8792] ppid=8788 vsize=261152 CPUtime=5.48
/proc/8790/task/8792/stat : 8792 (satake) R 8788 8790 23155 0 -1 4202560 20893 0 0 0 536 12 0 0 19 0 5 0 1129387743 267419648 49453 4294967295 134512640 135180984 3213839440 3086446512 134532518 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8790/tid=8793] ppid=8788 vsize=261152 CPUtime=5.29
/proc/8790/task/8793/stat : 8793 (satake) R 8788 8790 23155 0 -1 4202560 20690 0 0 0 517 12 0 0 18 0 5 0 1129387743 267419648 49453 4294967295 134512640 135180984 3213839440 3086380808 134518255 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8790/tid=8794] ppid=8788 vsize=261152 CPUtime=5.21
/proc/8790/task/8794/stat : 8794 (satake) R 8788 8790 23155 0 -1 4202560 18876 0 0 0 509 12 0 0 19 0 5 0 1129387743 267419648 49453 4294967295 134512640 135180984 3213839440 3086315376 134528211 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 16.08
Current children cumulated vsize (KiB) 261152

[startup+12.7063 s]
/proc/loadavg: 6.07 6.33 6.42 8/116 8979
/proc/meminfo: memFree=2850956/3368532 swapFree=1953788/1959888
[pid=8790] ppid=8788 vsize=262080 CPUtime=26.88
/proc/8790/stat : 8790 (satake) S 8788 8790 23155 0 -1 4202496 65240 0 0 0 2634 54 0 0 18 0 5 0 1129387743 268369920 49733 4294967295 134512640 135180984 3213839440 3213838876 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8790/statm: 65520 49733 68 164 0 65355 0
[pid=8790/tid=8791] ppid=8788 vsize=262080 CPUtime=0.2
/proc/8790/task/8791/stat : 8791 (satake) S 8788 8790 23155 0 -1 4202560 4397 0 0 0 8 12 0 0 15 0 5 0 1129387743 268369920 49733 4294967295 134512640 135180984 3213839440 3086512144 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=8790/tid=8792] ppid=8788 vsize=262080 CPUtime=10.35
/proc/8790/task/8792/stat : 8792 (satake) R 8788 8790 23155 0 -1 4202560 21119 0 0 0 1022 13 0 0 25 0 5 0 1129387743 268369920 49733 4294967295 134512640 135180984 3213839440 3086446384 134523699 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8790/tid=8793] ppid=8788 vsize=262080 CPUtime=8.54
/proc/8790/task/8793/stat : 8793 (satake) R 8788 8790 23155 0 -1 4202560 20729 0 0 0 840 14 0 0 25 0 5 0 1129387743 268369920 49733 4294967295 134512640 135180984 3213839440 3086380744 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8790/tid=8794] ppid=8788 vsize=262080 CPUtime=7.79
/proc/8790/task/8794/stat : 8794 (satake) R 8788 8790 23155 0 -1 4202560 18885 0 0 0 764 15 0 0 25 0 5 0 1129387743 268369920 49733 4294967295 134512640 135180984 3213839440 3086315180 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 26.88
Current children cumulated vsize (KiB) 262080

[startup+25.5052 s]
/proc/loadavg: 6.06 6.32 6.41 7/116 8979
/proc/meminfo: memFree=2848368/3368532 swapFree=1953788/1959888
[pid=8790] ppid=8788 vsize=264424 CPUtime=42.95
/proc/8790/stat : 8790 (satake) S 8788 8790 23155 0 -1 4202496 65955 0 0 0 4234 61 0 0 18 0 5 0 1129387743 270770176 50448 4294967295 134512640 135180984 3213839440 3213838876 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8790/statm: 66106 50448 68 164 0 65941 0
[pid=8790/tid=8791] ppid=8788 vsize=264424 CPUtime=0.24
/proc/8790/task/8791/stat : 8791 (satake) S 8788 8790 23155 0 -1 4202560 4408 0 0 0 9 15 0 0 15 0 5 0 1129387743 270770176 50448 4294967295 134512640 135180984 3213839440 3086512144 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=8790/tid=8792] ppid=8788 vsize=264424 CPUtime=15.55
/proc/8790/task/8792/stat : 8792 (satake) R 8788 8790 23155 0 -1 4202560 21338 0 0 0 1542 13 0 0 25 0 5 0 1129387743 270770176 50448 4294967295 134512640 135180984 3213839440 3086446448 134528648 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8790/tid=8793] ppid=8788 vsize=264424 CPUtime=13.75
/proc/8790/task/8793/stat : 8793 (satake) R 8788 8790 23155 0 -1 4202560 20945 0 0 0 1359 16 0 0 25 0 5 0 1129387743 270770176 50448 4294967295 134512640 135180984 3213839440 3086380912 134528209 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8790/tid=8794] ppid=8788 vsize=264424 CPUtime=13.41
/proc/8790/task/8794/stat : 8794 (satake) R 8788 8790 23155 0 -1 4202560 19154 0 0 0 1324 17 0 0 25 0 5 0 1129387743 270770176 50448 4294967295 134512640 135180984 3213839440 3086315368 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 42.95
Current children cumulated vsize (KiB) 264424

[startup+51.1031 s]
/proc/loadavg: 6.12 6.31 6.40 7/116 8980
/proc/meminfo: memFree=2839852/3368532 swapFree=1953788/1959888
[pid=8790] ppid=8788 vsize=272624 CPUtime=82.1
/proc/8790/stat : 8790 (satake) S 8788 8790 23155 0 -1 4202496 68099 0 0 0 8141 69 0 0 18 0 5 0 1129387743 279166976 52592 4294967295 134512640 135180984 3213839440 3213838876 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8790/statm: 68156 52592 68 164 0 67991 0
[pid=8790/tid=8791] ppid=8788 vsize=272624 CPUtime=0.32
/proc/8790/task/8791/stat : 8791 (satake) S 8788 8790 23155 0 -1 4202560 4423 0 0 0 12 20 0 0 15 0 5 0 1129387743 279166976 52592 4294967295 134512640 135180984 3213839440 3086512144 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=8790/tid=8792] ppid=8788 vsize=272624 CPUtime=30.55
/proc/8790/task/8792/stat : 8792 (satake) R 8788 8790 23155 0 -1 4202560 22119 0 0 0 3042 13 0 0 25 0 5 0 1129387743 279166976 52592 4294967295 134512640 135180984 3213839440 3086446384 134523821 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8790/tid=8793] ppid=8788 vsize=272624 CPUtime=29.64
/proc/8790/task/8793/stat : 8793 (satake) R 8788 8790 23155 0 -1 4202560 21803 0 0 0 2946 18 0 0 25 0 5 0 1129387743 279166976 52592 4294967295 134512640 135180984 3213839440 3086380904 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8790/tid=8794] ppid=8788 vsize=272624 CPUtime=21.59
/proc/8790/task/8794/stat : 8794 (satake) R 8788 8790 23155 0 -1 4202560 19644 0 0 0 2141 18 0 0 25 0 5 0 1129387743 279166976 52592 4294967295 134512640 135180984 3213839440 3086315376 134528869 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 82.1
Current children cumulated vsize (KiB) 272624

[startup+102.319 s]
/proc/loadavg: 6.19 6.30 6.39 8/116 9168

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

[pid=8790/tid=8792] ppid=8788 vsize=459772 CPUtime=342.89
/proc/8790/task/8792/stat : 8792 (satake) R 8788 8790 23155 0 -1 4202560 38465 0 0 0 34246 43 0 0 25 0 5 0 1129387743 470806528 99191 4294967295 134512640 135180984 3213839440 3086446448 134528267 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8790/tid=8793] ppid=8788 vsize=459772 CPUtime=318.36
/proc/8790/task/8793/stat : 8793 (satake) R 8788 8790 23155 0 -1 4202560 36213 0 0 0 31783 53 0 0 25 0 5 0 1129387743 470806528 99191 4294967295 134512640 135180984 3213839440 3086380912 134521019 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8790/tid=8794] ppid=8788 vsize=459772 CPUtime=352.91
/proc/8790/task/8794/stat : 8794 (satake) R 8788 8790 23155 0 -1 4202560 35342 0 0 0 35243 48 0 0 25 0 5 0 1129387743 470806528 99191 4294967295 134512640 135180984 3213839440 3086315368 134518263 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1015.31
Current children cumulated vsize (KiB) 459772

[startup+582.309 s]
/proc/loadavg: 7.03 6.64 6.50 8/116 10675
/proc/meminfo: memFree=2628360/3368532 swapFree=1953788/1959888
[pid=8790] ppid=8788 vsize=484188 CPUtime=1134.94
/proc/8790/stat : 8790 (satake) S 8788 8790 23155 0 -1 4202496 120949 0 0 0 113258 236 0 0 18 0 5 0 1129387743 495808512 105442 4294967295 134512640 135180984 3213839440 3213838876 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8790/statm: 121047 105442 68 164 0 120882 0
[pid=8790/tid=8791] ppid=8788 vsize=484188 CPUtime=1.25
/proc/8790/task/8791/stat : 8791 (satake) S 8788 8790 23155 0 -1 4202560 4573 0 0 0 44 81 0 0 15 0 5 0 1129387743 495808512 105442 4294967295 134512640 135180984 3213839440 3086512144 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=8790/tid=8792] ppid=8788 vsize=484188 CPUtime=383.88
/proc/8790/task/8792/stat : 8792 (satake) R 8788 8790 23155 0 -1 4202560 40612 0 0 0 38343 45 0 0 25 0 5 0 1129387743 495808512 105442 4294967295 134512640 135180984 3213839440 3086446448 134528080 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8790/tid=8793] ppid=8788 vsize=484188 CPUtime=363.4
/proc/8790/task/8793/stat : 8793 (satake) R 8788 8790 23155 0 -1 4202560 38260 0 0 0 36283 57 0 0 25 0 5 0 1129387743 495808512 105442 4294967295 134512640 135180984 3213839440 3086380904 134520907 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8790/tid=8794] ppid=8788 vsize=484188 CPUtime=386.41
/proc/8790/task/8794/stat : 8794 (satake) R 8788 8790 23155 0 -1 4202560 37394 0 0 0 38588 53 0 0 25 0 5 0 1129387743 495808512 105442 4294967295 134512640 135180984 3213839440 3086315280 134525183 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1134.94
Current children cumulated vsize (KiB) 484188

[startup+642.314 s]
/proc/loadavg: 7.13 6.72 6.54 7/116 10864
/proc/meminfo: memFree=2604536/3368532 swapFree=1953788/1959888
[pid=8790] ppid=8788 vsize=509248 CPUtime=1254.57
/proc/8790/stat : 8790 (satake) S 8788 8790 23155 0 -1 4202496 127049 0 0 0 125206 251 0 0 18 0 5 0 1129387743 521469952 111542 4294967295 134512640 135180984 3213839440 3213838876 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8790/statm: 127312 111542 68 164 0 127147 0
[pid=8790/tid=8791] ppid=8788 vsize=509248 CPUtime=1.28
/proc/8790/task/8791/stat : 8791 (satake) S 8788 8790 23155 0 -1 4202560 4576 0 0 0 45 83 0 0 16 0 5 0 1129387743 521469952 111542 4294967295 134512640 135180984 3213839440 3086512144 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=8790/tid=8792] ppid=8788 vsize=509248 CPUtime=418.25
/proc/8790/task/8792/stat : 8792 (satake) R 8788 8790 23155 0 -1 4202560 42629 0 0 0 41778 47 0 0 25 0 5 0 1129387743 521469952 111542 4294967295 134512640 135180984 3213839440 3086446464 134532624 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8790/tid=8793] ppid=8788 vsize=509248 CPUtime=407.9
/proc/8790/task/8793/stat : 8793 (satake) R 8788 8790 23155 0 -1 4202560 40066 0 0 0 40729 61 0 0 25 0 5 0 1129387743 521469952 111542 4294967295 134512640 135180984 3213839440 3086380808 134520909 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8790/tid=8794] ppid=8788 vsize=509248 CPUtime=427.14
/proc/8790/task/8794/stat : 8794 (satake) R 8788 8790 23155 0 -1 4202560 39668 0 0 0 42654 60 0 0 25 0 5 0 1129387743 521469952 111542 4294967295 134512640 135180984 3213839440 3086315376 134528680 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1254.57
Current children cumulated vsize (KiB) 509248

[startup+702.309 s]
/proc/loadavg: 7.10 6.77 6.56 9/117 11047
/proc/meminfo: memFree=2582068/3368532 swapFree=1953788/1959888
[pid=8790] ppid=8788 vsize=529780 CPUtime=1374.33
/proc/8790/stat : 8790 (satake) S 8788 8790 23155 0 -1 4202496 132358 0 0 0 137171 262 0 0 18 0 5 0 1129387743 542494720 116851 4294967295 134512640 135180984 3213839440 3213838876 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8790/statm: 132445 116851 68 164 0 132280 0
[pid=8790/tid=8791] ppid=8788 vsize=529780 CPUtime=1.3
/proc/8790/task/8791/stat : 8791 (satake) S 8788 8790 23155 0 -1 4202560 4579 0 0 0 47 83 0 0 16 0 5 0 1129387743 542494720 116851 4294967295 134512640 135180984 3213839440 3086512144 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=8790/tid=8792] ppid=8788 vsize=529780 CPUtime=448.45
/proc/8790/task/8792/stat : 8792 (satake) R 8788 8790 23155 0 -1 4202560 44370 0 0 0 44796 49 0 0 25 0 5 0 1129387743 542494720 116851 4294967295 134512640 135180984 3213839440 3086446280 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8790/tid=8793] ppid=8788 vsize=529780 CPUtime=453.97
/proc/8790/task/8793/stat : 8793 (satake) R 8788 8790 23155 0 -1 4202560 41823 0 0 0 45335 62 0 0 25 0 5 0 1129387743 542494720 116851 4294967295 134512640 135180984 3213839440 3086380628 134675767 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8790/tid=8794] ppid=8788 vsize=529780 CPUtime=470.61
/proc/8790/task/8794/stat : 8794 (satake) R 8788 8790 23155 0 -1 4202560 41476 0 0 0 46993 68 0 0 25 0 5 0 1129387743 542494720 116851 4294967295 134512640 135180984 3213839440 3086315376 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1374.33
Current children cumulated vsize (KiB) 529780

[startup+762.314 s]
/proc/loadavg: 6.78 6.74 6.56 8/117 11226
/proc/meminfo: memFree=2559872/3368532 swapFree=1953788/1959888
[pid=8790] ppid=8788 vsize=552692 CPUtime=1493.97
/proc/8790/stat : 8790 (satake) S 8788 8790 23155 0 -1 4202496 137953 0 0 0 149120 277 0 0 18 0 5 0 1129387743 565956608 122446 4294967295 134512640 135180984 3213839440 3213838876 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8790/statm: 138173 122446 68 164 0 138008 0
[pid=8790/tid=8791] ppid=8788 vsize=552692 CPUtime=1.37
/proc/8790/task/8791/stat : 8791 (satake) S 8788 8790 23155 0 -1 4202560 4582 0 0 0 50 87 0 0 16 0 5 0 1129387743 565956608 122446 4294967295 134512640 135180984 3213839440 3086512144 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=8790/tid=8792] ppid=8788 vsize=552692 CPUtime=486.15
/proc/8790/task/8792/stat : 8792 (satake) R 8788 8790 23155 0 -1 4202560 46063 0 0 0 48564 51 0 0 25 0 5 0 1129387743 565956608 122446 4294967295 134512640 135180984 3213839440 3086446448 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8790/tid=8793] ppid=8788 vsize=552692 CPUtime=498.75
/proc/8790/task/8793/stat : 8793 (satake) R 8788 8790 23155 0 -1 4202560 43486 0 0 0 49811 64 0 0 25 0 5 0 1129387743 565956608 122446 4294967295 134512640 135180984 3213839440 3086380816 134525399 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8790/tid=8794] ppid=8788 vsize=552692 CPUtime=507.7
/proc/8790/task/8794/stat : 8794 (satake) R 8788 8790 23155 0 -1 4202560 43712 0 0 0 50695 75 0 0 25 0 5 0 1129387743 565956608 122446 4294967295 134512640 135180984 3213839440 3086315376 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1493.97
Current children cumulated vsize (KiB) 552692

[startup+822.319 s]
/proc/loadavg: 6.94 6.77 6.58 9/117 11402
/proc/meminfo: memFree=2538812/3368532 swapFree=1953788/1959888
[pid=8790] ppid=8788 vsize=573476 CPUtime=1613.71
/proc/8790/stat : 8790 (satake) S 8788 8790 23155 0 -1 4202496 143046 0 0 0 161071 300 0 0 18 0 5 0 1129387743 587239424 127539 4294967295 134512640 135180984 3213839440 3213838876 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8790/statm: 143369 127539 68 164 0 143204 0
[pid=8790/tid=8791] ppid=8788 vsize=573476 CPUtime=1.49
/proc/8790/task/8791/stat : 8791 (satake) S 8788 8790 23155 0 -1 4202560 4592 0 0 0 53 96 0 0 15 0 5 0 1129387743 587239424 127539 4294967295 134512640 135180984 3213839440 3086512144 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=8790/tid=8792] ppid=8788 vsize=573476 CPUtime=524.94
/proc/8790/task/8792/stat : 8792 (satake) R 8788 8790 23155 0 -1 4202560 47850 0 0 0 52441 53 0 0 25 0 5 0 1129387743 587239424 127539 4294967295 134512640 135180984 3213839440 3086446448 134528680 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8790/tid=8793] ppid=8788 vsize=573476 CPUtime=538.37
/proc/8790/task/8793/stat : 8793 (satake) R 8788 8790 23155 0 -1 4202560 45144 0 0 0 53761 76 0 0 25 0 5 0 1129387743 587239424 127539 4294967295 134512640 135180984 3213839440 3086380904 134518252 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8790/tid=8794] ppid=8788 vsize=573476 CPUtime=548.91
/proc/8790/task/8794/stat : 8794 (satake) R 8788 8790 23155 0 -1 4202560 45350 0 0 0 54816 75 0 0 25 0 5 0 1129387743 587239424 127539 4294967295 134512640 135180984 3213839440 3086315280 134524629 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1613.71
Current children cumulated vsize (KiB) 573476

[startup+882.314 s]
/proc/loadavg: 6.87 6.76 6.58 9/117 11558
/proc/meminfo: memFree=2518116/3368532 swapFree=1953788/1959888
[pid=8790] ppid=8788 vsize=594100 CPUtime=1733.49
/proc/8790/stat : 8790 (satake) S 8788 8790 23155 0 -1 4202496 148271 0 0 0 173036 313 0 0 18 0 5 0 1129387743 608358400 132764 4294967295 134512640 135180984 3213839440 3213838876 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8790/statm: 148525 132764 68 164 0 148360 0
[pid=8790/tid=8791] ppid=8788 vsize=594100 CPUtime=1.51
/proc/8790/task/8791/stat : 8791 (satake) S 8788 8790 23155 0 -1 4202560 4597 0 0 0 54 97 0 0 16 0 5 0 1129387743 608358400 132764 4294967295 134512640 135180984 3213839440 3086512144 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=8790/tid=8792] ppid=8788 vsize=594100 CPUtime=572.34
/proc/8790/task/8792/stat : 8792 (satake) R 8788 8790 23155 0 -1 4202560 49915 0 0 0 57176 58 0 0 25 0 5 0 1129387743 608358400 132764 4294967295 134512640 135180984 3213839440 3086446344 134518214 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8790/tid=8793] ppid=8788 vsize=594100 CPUtime=578.63
/proc/8790/task/8793/stat : 8793 (satake) R 8788 8790 23155 0 -1 4202560 47064 0 0 0 57786 77 0 0 25 0 5 0 1129387743 608358400 132764 4294967295 134512640 135180984 3213839440 3086380816 134525468 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8790/tid=8794] ppid=8788 vsize=594100 CPUtime=581.01
/proc/8790/task/8794/stat : 8794 (satake) R 8788 8790 23155 0 -1 4202560 46585 0 0 0 58020 81 0 0 25 0 5 0 1129387743 608358400 132764 4294967295 134512640 135180984 3213839440 3086315248 134522706 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1733.49
Current children cumulated vsize (KiB) 594100

[startup+942.309 s]
/proc/loadavg: 6.92 6.76 6.59 9/117 11716
/proc/meminfo: memFree=2495116/3368532 swapFree=1953788/1959888
[pid=8790] ppid=8788 vsize=618740 CPUtime=1852.94
/proc/8790/stat : 8790 (satake) S 8788 8790 23155 0 -1 4202496 154058 0 0 0 184970 324 0 0 18 0 5 0 1129387743 633589760 138551 4294967295 134512640 135180984 3213839440 3213838876 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8790/statm: 154685 138551 68 164 0 154520 0
[pid=8790/tid=8791] ppid=8788 vsize=618740 CPUtime=1.54
/proc/8790/task/8791/stat : 8791 (satake) S 8788 8790 23155 0 -1 4202560 4599 0 0 0 55 99 0 0 15 0 5 0 1129387743 633589760 138551 4294967295 134512640 135180984 3213839440 3086512144 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=8790/tid=8792] ppid=8788 vsize=618740 CPUtime=612.85
/proc/8790/task/8792/stat : 8792 (satake) R 8788 8790 23155 0 -1 4202560 52334 0 0 0 61225 60 0 0 25 0 5 0 1129387743 633589760 138551 4294967295 134512640 135180984 3213839440 3086446344 134522604 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8790/tid=8793] ppid=8788 vsize=618740 CPUtime=616.77
/proc/8790/task/8793/stat : 8793 (satake) R 8788 8790 23155 0 -1 4202560 48583 0 0 0 61595 82 0 0 25 0 5 0 1129387743 633589760 138551 4294967295 134512640 135180984 3213839440 3086380912 134528267 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8790/tid=8794] ppid=8788 vsize=618740 CPUtime=621.78
/proc/8790/task/8794/stat : 8794 (satake) R 8788 8790 23155 0 -1 4202560 48432 0 0 0 62095 83 0 0 25 0 5 0 1129387743 633589760 138551 4294967295 134512640 135180984 3213839440 3086315312 134523773 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1852.94
Current children cumulated vsize (KiB) 618740



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000 s]
/proc/loadavg: 6.73 6.73 6.59 9/117 11826
/proc/meminfo: memFree=2474844/3368532 swapFree=1953788/1959888
[pid=8790] ppid=8788 vsize=639088 CPUtime=1968.21
/proc/8790/stat : 8790 (satake) S 8788 8790 23155 0 -1 4202496 159225 0 0 0 196488 333 0 0 18 0 5 0 1129387743 654426112 143718 4294967295 134512640 135180984 3213839440 3213838876 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8790/statm: 159772 143718 68 164 0 159607 0
[pid=8790/tid=8791] ppid=8788 vsize=639088 CPUtime=1.61
/proc/8790/task/8791/stat : 8791 (satake) S 8788 8790 23155 0 -1 4202560 4605 0 0 0 58 103 0 0 15 0 5 0 1129387743 654426112 143718 4294967295 134512640 135180984 3213839440 3086512144 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=8790/tid=8792] ppid=8788 vsize=639088 CPUtime=649.32
/proc/8790/task/8792/stat : 8792 (satake) R 8788 8790 23155 0 -1 4202560 53920 0 0 0 64870 62 0 0 25 0 5 0 1129387743 654426112 143718 4294967295 134512640 135180984 3213839440 3086446448 134528241 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8790/tid=8793] ppid=8788 vsize=639088 CPUtime=653.47
/proc/8790/task/8793/stat : 8793 (satake) R 8788 8790 23155 0 -1 4202560 50099 0 0 0 65263 84 0 0 25 0 5 0 1129387743 654426112 143718 4294967295 134512640 135180984 3213839440 3086380744 134675767 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8790/tid=8794] ppid=8788 vsize=639088 CPUtime=663.81
/proc/8790/task/8794/stat : 8794 (satake) R 8788 8790 23155 0 -1 4202560 50491 0 0 0 66297 84 0 0 25 0 5 0 1129387743 654426112 143718 4294967295 134512640 135180984 3213839440 3086315376 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1968.21
Current children cumulated vsize (KiB) 639088

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.06
CPU time (s): 1968.28
CPU user time (s): 1964.92
CPU system time (s): 3.36
CPU usage (%): 196.816
Max. virtual memory (cumulated for all children) (KiB): 639088

deleting IPC queue 11010048
deleting IPC queue 11042817
deleting IPC queue 11075586
deleting IPC queue 11108355
deleting IPC queue 11141124
deleting IPC queue 11173893
deleting IPC queue 11206662
deleting IPC queue 11239431
deleting IPC queue 11272200
deleting IPC queue 11304969
deleting IPC queue 11337738
deleting IPC queue 11370507
deleting IPC queue 11403276
deleting IPC queue 11436045
deleting IPC queue 11468814
deleting IPC queue 11501583

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1964.92
system time used= 3.36
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159225
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= 249438
involuntary context switches= 289859

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 03:33:55
IDJOB=1780360
IDBENCH=70988
IDSOLVER=629
FILE ID=/1780360-1243647235
PBS_JOBID=
Free space on /tmp= 6457 MiB

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

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

MD5SUM BENCH= d8dd0726277891eae9a2807dfd8946db
RANDOM SEED= 797702483

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.061
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.14
clflush size	: 64

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.061
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:       3049516 kB
Buffers:         71876 kB
Cached:         139608 kB
SwapCached:       2256 kB
Active:         127016 kB
Inactive:       101504 kB
HighTotal:     2489216 kB
HighFree:      2331284 kB
LowTotal:       879316 kB
LowFree:        718232 kB
SwapTotal:     1959888 kB
SwapFree:      1953788 kB
Dirty:           21804 kB
Writeback:           0 kB
AnonPages:       15872 kB
Mapped:           5228 kB
Slab:            80656 kB
SReclaimable:    66920 kB
SUnreclaim:      13736 kB
PageTables:        696 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   112672 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 6456 MiB
End job on  at 2009-05-30 03:50:39