Trace number 1780450

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

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UTI-15-5p0.cnf
MD5SUMb21b299f860c56270b509900cff82599
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark997.97
Satisfiable
(Un)Satisfiability was proved
Number of variables162926
Number of clauses821689
Sum of the clauses size1954581
Maximum clause length10
Minimum clause length1
Number of clauses of size 18386
Number of clauses of size 2618514
Number of clauses of size 3153189
Number of clauses of size 44620
Number of clauses of size 518480
Number of clauses of size over 518500

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

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


[startup+0 s]
/proc/loadavg: 5.18 5.28 5.27 7/120 30755
/proc/meminfo: memFree=3074676/3368532 swapFree=1959840/1959888
[pid=30752] ppid=30750 vsize=1096 CPUtime=0
/proc/30752/stat : 30752 (satake) R 30750 30752 17312 0 -1 4202496 109 0 0 0 0 0 0 0 25 0 4 0 1129476465 1122304 66 4294967295 134512640 135180984 3215183248 3215182592 134705812 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30752/statm: 274 66 54 164 0 109 0
[pid=30752/tid=30753] ppid=30750 vsize=1096 CPUtime=0
/proc/30752/task/30753/stat : 30753 (satake) R 30750 30752 17312 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 1129476465 1122304 66 4294967295 134512640 135180984 3215183248 3086324548 134705812 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30752/tid=30754] ppid=30750 vsize=1096 CPUtime=0
/proc/30752/task/30754/stat : 30754 (satake) R 30750 30752 17312 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 1129476465 1122304 66 4294967295 134512640 135180984 3215183248 3086259012 134705812 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30752/tid=30755] ppid=30750 vsize=1096 CPUtime=0
/proc/30752/task/30755/stat : 30755 (satake) R 30750 30752 17312 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 1129476465 1122304 66 4294967295 134512640 135180984 3215183248 3086193476 134705812 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.073095 s]
/proc/loadavg: 5.18 5.28 5.27 7/120 30755
/proc/meminfo: memFree=3074676/3368532 swapFree=1959840/1959888
[pid=30752] ppid=30750 vsize=64448 CPUtime=0.1
/proc/30752/stat : 30752 (satake) S 30750 30752 17312 0 -1 4202496 12892 0 0 0 1 9 0 0 25 0 5 0 1129476465 65994752 12833 4294967295 134512640 135180984 3215183248 3215182684 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30752/statm: 16112 12833 63 164 0 15947 0
[pid=30752/tid=30753] ppid=30750 vsize=64448 CPUtime=0
/proc/30752/task/30753/stat : 30753 (satake) S 30750 30752 17312 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1129476465 65994752 12833 4294967295 134512640 135180984 3215183248 3086323728 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=30752/tid=30754] ppid=30750 vsize=64448 CPUtime=0.03
/proc/30752/task/30754/stat : 30754 (satake) D 30750 30752 17312 0 -1 4202560 5766 0 0 0 0 3 0 0 25 0 5 0 1129476465 65994752 12833 4294967295 134512640 135180984 3215183248 3086258416 134522598 0 0 0 0 3223098951 0 0 -1 2 0 0 0
[pid=30752/tid=30755] ppid=30750 vsize=64448 CPUtime=0.04
/proc/30752/task/30755/stat : 30755 (satake) R 30750 30752 17312 0 -1 4202560 2352 0 0 0 0 4 0 0 25 0 5 0 1129476465 65994752 12833 4294967295 134512640 135180984 3215183248 3086192932 134583077 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 64448

[startup+0.103085 s]
/proc/loadavg: 5.18 5.28 5.27 7/120 30755
/proc/meminfo: memFree=3074676/3368532 swapFree=1959840/1959888
[pid=30752] ppid=30750 vsize=79364 CPUtime=0.16
/proc/30752/stat : 30752 (satake) S 30750 30752 17312 0 -1 4202496 17272 0 0 0 4 12 0 0 25 0 5 0 1129476465 81268736 17202 4294967295 134512640 135180984 3215183248 3215182684 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30752/statm: 19841 17202 63 164 0 19676 0
[pid=30752/tid=30753] ppid=30750 vsize=79364 CPUtime=0
/proc/30752/task/30753/stat : 30753 (satake) S 30750 30752 17312 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1129476465 81268736 17202 4294967295 134512640 135180984 3215183248 3086323728 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=30752/tid=30754] ppid=30750 vsize=79364 CPUtime=0.04
/proc/30752/task/30754/stat : 30754 (satake) D 30750 30752 17312 0 -1 4202560 6599 0 0 0 1 3 0 0 25 0 5 0 1129476465 81268736 17202 4294967295 134512640 135180984 3215183248 3086258432 134522268 0 0 0 0 3223098951 0 0 -1 2 0 0 0
[pid=30752/tid=30755] ppid=30750 vsize=79364 CPUtime=0.07
/proc/30752/task/30755/stat : 30755 (satake) R 30750 30752 17312 0 -1 4202560 4736 0 0 0 0 7 0 0 25 0 5 0 1129476465 81268736 17202 4294967295 134512640 135180984 3215183248 3086192600 134869198 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 79364

[startup+0.303052 s]
/proc/loadavg: 5.18 5.28 5.27 7/120 30755
/proc/meminfo: memFree=3074676/3368532 swapFree=1959840/1959888
[pid=30752] ppid=30750 vsize=134484 CPUtime=0.49
/proc/30752/stat : 30752 (satake) S 30750 30752 17312 0 -1 4202496 25809 0 0 0 29 20 0 0 25 0 5 0 1129476465 137711616 25739 4294967295 134512640 135180984 3215183248 3215182684 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30752/statm: 33621 25739 63 164 0 33456 0
[pid=30752/tid=30753] ppid=30750 vsize=134484 CPUtime=0
/proc/30752/task/30753/stat : 30753 (satake) S 30750 30752 17312 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1129476465 137711616 25739 4294967295 134512640 135180984 3215183248 3086323728 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=30752/tid=30754] ppid=30750 vsize=134484 CPUtime=0.11
/proc/30752/task/30754/stat : 30754 (satake) R 30750 30752 17312 0 -1 4202560 8475 0 0 0 7 4 0 0 25 0 5 0 1129476465 137711616 25739 4294967295 134512640 135180984 3215183248 3086258324 134579486 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30752/tid=30755] ppid=30750 vsize=134484 CPUtime=0.18
/proc/30752/task/30755/stat : 30755 (satake) R 30750 30752 17312 0 -1 4202560 8547 0 0 0 9 9 0 0 25 0 5 0 1129476465 137711616 25740 4294967295 134512640 135180984 3215183248 3086192920 134513830 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 134484

[startup+0.703032 s]
/proc/loadavg: 5.18 5.28 5.27 7/120 30755
/proc/meminfo: memFree=3074676/3368532 swapFree=1959840/1959888
[pid=30752] ppid=30750 vsize=156532 CPUtime=1.28
/proc/30752/stat : 30752 (satake) S 30750 30752 17312 0 -1 4202496 30896 0 0 0 104 24 0 0 25 0 5 0 1129476465 160288768 30826 4294967295 134512640 135180984 3215183248 3215182684 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30752/statm: 39133 30827 63 164 0 38968 0
[pid=30752/tid=30753] ppid=30750 vsize=156532 CPUtime=0
/proc/30752/task/30753/stat : 30753 (satake) S 30750 30752 17312 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1129476465 160288768 30827 4294967295 134512640 135180984 3215183248 3086323728 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=30752/tid=30754] ppid=30750 vsize=156532 CPUtime=0.44
/proc/30752/task/30754/stat : 30754 (satake) R 30750 30752 17312 0 -1 4202560 10364 0 0 0 38 6 0 0 25 0 5 0 1129476465 160288768 30827 4294967295 134512640 135180984 3215183248 3086258480 134535220 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30752/tid=30755] ppid=30750 vsize=156532 CPUtime=0.25
/proc/30752/task/30755/stat : 30755 (satake) R 30750 30752 17312 0 -1 4202560 9301 0 0 0 16 9 0 0 25 0 5 0 1129476465 160288768 30827 4294967295 134512640 135180984 3215183248 3086192788 134579486 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 156532

[startup+1.50299 s]
/proc/loadavg: 5.17 5.27 5.26 5/122 30757
/proc/meminfo: memFree=2935344/3368532 swapFree=1959840/1959888
[pid=30752] ppid=30750 vsize=174136 CPUtime=2.72
/proc/30752/stat : 30752 (satake) S 30750 30752 17312 0 -1 4202496 39451 0 0 0 240 32 0 0 25 0 5 0 1129476465 178315264 35653 4294967295 134512640 135180984 3215183248 3215182684 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30752/statm: 43534 35653 66 164 0 43369 0
[pid=30752/tid=30753] ppid=30750 vsize=174136 CPUtime=0
/proc/30752/task/30753/stat : 30753 (satake) S 30750 30752 17312 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1129476465 178315264 35653 4294967295 134512640 135180984 3215183248 3086323728 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=30752/tid=30754] ppid=30750 vsize=174136 CPUtime=0.98
/proc/30752/task/30754/stat : 30754 (satake) R 30750 30752 17312 0 -1 4202560 13782 0 0 0 91 7 0 0 25 0 5 0 1129476465 178315264 35653 4294967295 134512640 135180984 3215183248 3086258488 134518216 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30752/tid=30755] ppid=30750 vsize=174136 CPUtime=0.51
/proc/30752/task/30755/stat : 30755 (satake) R 30750 30752 17312 0 -1 4202560 11131 0 0 0 41 10 0 0 25 0 5 0 1129476465 178315264 35653 4294967295 134512640 135180984 3215183248 3086192788 134579745 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30752/tid=30757] ppid=30750 vsize=174136 CPUtime=1.23
/proc/30752/task/30757/stat : 30757 (satake) R 30750 30752 17312 0 -1 4202560 14421 0 0 0 108 15 0 0 19 0 5 0 1129476467 178315264 35653 4294967295 134512640 135180984 3215183248 3086118768 134528946 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 174136

[startup+3.1029 s]
/proc/loadavg: 5.17 5.27 5.26 7/124 30759
/proc/meminfo: memFree=2933124/3368532 swapFree=1959840/1959888
[pid=30752] ppid=30750 vsize=178620 CPUtime=5.89
/proc/30752/stat : 30752 (satake) S 30750 30752 17312 0 -1 4202496 44745 0 0 0 555 34 0 0 25 0 5 0 1129476465 182906880 37219 4294967295 134512640 135180984 3215183248 3215182684 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30752/statm: 44655 37219 68 164 0 44490 0
[pid=30752/tid=30753] ppid=30750 vsize=178620 CPUtime=0.04
/proc/30752/task/30753/stat : 30753 (satake) S 30750 30752 17312 0 -1 4202560 2558 0 0 0 2 2 0 0 15 0 5 0 1129476465 182906880 37219 4294967295 134512640 135180984 3215183248 3086323728 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=30752/tid=30754] ppid=30750 vsize=178620 CPUtime=2.52
/proc/30752/task/30754/stat : 30754 (satake) R 30750 30752 17312 0 -1 4202560 14028 0 0 0 245 7 0 0 25 0 5 0 1129476465 182906880 37219 4294967295 134512640 135180984 3215183248 3086257936 134525171 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30752/tid=30755] ppid=30750 vsize=178620 CPUtime=0.77
/proc/30752/task/30755/stat : 30755 (satake) R 30750 30752 17312 0 -1 4202560 13521 0 0 0 67 10 0 0 25 0 5 0 1129476465 182906880 37219 4294967295 134512640 135180984 3215183248 3086192856 134579486 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30752/tid=30757] ppid=30750 vsize=178620 CPUtime=2.56
/proc/30752/task/30757/stat : 30757 (satake) R 30750 30752 17312 0 -1 4202560 14528 0 0 0 241 15 0 0 21 0 5 0 1129476467 182906880 37219 4294967295 134512640 135180984 3215183248 3086118600 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 178620

[startup+6.31274 s]
/proc/loadavg: 5.17 5.27 5.26 6/122 30766
/proc/meminfo: memFree=2939732/3368532 swapFree=1959840/1959888
[pid=30752] ppid=30750 vsize=164892 CPUtime=12.18
/proc/30752/stat : 30752 (satake) S 30750 30752 17312 0 -1 4202496 45151 0 0 0 1178 40 0 0 25 0 5 0 1129476465 168849408 33897 4294967295 134512640 135180984 3215183248 3215182684 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30752/statm: 41223 33897 68 164 0 41058 0
[pid=30752/tid=30753] ppid=30750 vsize=164892 CPUtime=0.08
/proc/30752/task/30753/stat : 30753 (satake) S 30750 30752 17312 0 -1 4202560 2560 0 0 0 3 5 0 0 15 0 5 0 1129476465 168849408 33897 4294967295 134512640 135180984 3215183248 3086323728 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=30752/tid=30754] ppid=30750 vsize=164892 CPUtime=4.95
/proc/30752/task/30754/stat : 30754 (satake) R 30750 30752 17312 0 -1 4202560 14122 0 0 0 488 7 0 0 25 0 5 0 1129476465 168849408 33897 4294967295 134512640 135180984 3215183248 3086257836 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30752/tid=30755] ppid=30750 vsize=164892 CPUtime=2.2
/proc/30752/task/30755/stat : 30755 (satake) R 30750 30752 17312 0 -1 4202560 13674 0 0 0 209 11 0 0 25 0 5 0 1129476465 168849408 33897 4294967295 134512640 135180984 3215183248 3086192488 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30752/tid=30757] ppid=30750 vsize=164892 CPUtime=4.95
/proc/30752/task/30757/stat : 30757 (satake) R 30750 30752 17312 0 -1 4202560 14685 0 0 0 478 17 0 0 25 0 5 0 1129476467 168849408 33897 4294967295 134512640 135180984 3215183248 3086118720 134522961 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.18
Current children cumulated vsize (KiB) 164892

[startup+12.7124 s]
/proc/loadavg: 5.14 5.26 5.26 6/122 30774
/proc/meminfo: memFree=2938152/3368532 swapFree=1959840/1959888
[pid=30752] ppid=30750 vsize=165948 CPUtime=24.65
/proc/30752/stat : 30752 (satake) S 30750 30752 17312 0 -1 4202496 45430 0 0 0 2415 50 0 0 25 0 5 0 1129476465 169930752 34176 4294967295 134512640 135180984 3215183248 3215182684 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30752/statm: 41487 34176 68 164 0 41322 0
[pid=30752/tid=30753] ppid=30750 vsize=165948 CPUtime=0.17
/proc/30752/task/30753/stat : 30753 (satake) S 30750 30752 17312 0 -1 4202560 2568 0 0 0 6 11 0 0 16 0 5 0 1129476465 169930752 34176 4294967295 134512640 135180984 3215183248 3086323728 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=30752/tid=30754] ppid=30750 vsize=165948 CPUtime=8.87
/proc/30752/task/30754/stat : 30754 (satake) R 30750 30752 17312 0 -1 4202560 14225 0 0 0 878 9 0 0 25 0 5 0 1129476465 169930752 34176 4294967295 134512640 135180984 3215183248 3086258144 134531534 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30752/tid=30755] ppid=30750 vsize=165948 CPUtime=6.53
/proc/30752/task/30755/stat : 30755 (satake) R 30750 30752 17312 0 -1 4202560 13737 0 0 0 642 11 0 0 25 0 5 0 1129476465 169930752 34176 4294967295 134512640 135180984 3215183248 3086192496 134528648 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30752/tid=30757] ppid=30750 vsize=165948 CPUtime=9.08
/proc/30752/task/30757/stat : 30757 (satake) R 30750 30752 17312 0 -1 4202560 14790 0 0 0 889 19 0 0 25 0 5 0 1129476467 169930752 34176 4294967295 134512640 135180984 3215183248 3086118560 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.65
Current children cumulated vsize (KiB) 165948

[startup+25.5117 s]
/proc/loadavg: 5.12 5.25 5.26 6/122 30795
/proc/meminfo: memFree=2933100/3368532 swapFree=1959840/1959888
[pid=30752] ppid=30750 vsize=171788 CPUtime=49.4
/proc/30752/stat : 30752 (satake) S 30750 30752 17312 0 -1 4202496 46815 0 0 0 4882 58 0 0 25 0 5 0 1129476465 175910912 35561 4294967295 134512640 135180984 3215183248 3215182684 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30752/statm: 42947 35561 68 164 0 42782 0
[pid=30752/tid=30753] ppid=30750 vsize=171788 CPUtime=0.27
/proc/30752/task/30753/stat : 30753 (satake) S 30750 30752 17312 0 -1 4202560 2587 0 0 0 11 16 0 0 15 0 5 0 1129476465 175910912 35561 4294967295 134512640 135180984 3215183248 3086323728 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=30752/tid=30754] ppid=30750 vsize=171788 CPUtime=16.43
/proc/30752/task/30754/stat : 30754 (satake) R 30750 30752 17312 0 -1 4202560 14732 0 0 0 1634 9 0 0 25 0 5 0 1129476465 175910912 35561 4294967295 134512640 135180984 3215183248 3086257824 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30752/tid=30755] ppid=30750 vsize=171788 CPUtime=14.72
/proc/30752/task/30755/stat : 30755 (satake) R 30750 30752 17312 0 -1 4202560 13985 0 0 0 1460 12 0 0 25 0 5 0 1129476465 175910912 35561 4294967295 134512640 135180984 3215183248 3086192496 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30752/tid=30757] ppid=30750 vsize=171788 CPUtime=17.98
/proc/30752/task/30757/stat : 30757 (satake) R 30750 30752 17312 0 -1 4202560 15401 0 0 0 1777 21 0 0 25 0 5 0 1129476467 175910912 35561 4294967295 134512640 135180984 3215183248 3086118768 134528636 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 49.4
Current children cumulated vsize (KiB) 171788

[startup+51.1104 s]
/proc/loadavg: 5.20 5.26 5.26 6/122 31015
/proc/meminfo: memFree=2919804/3368532 swapFree=1959840/1959888
[pid=30752] ppid=30750 vsize=183164 CPUtime=99.27
/proc/30752/stat : 30752 (satake) S 30750 30752 17312 0 -1 4202496 49784 0 0 0 9846 81 0 0 25 0 5 0 1129476465 187559936 38530 4294967295 134512640 135180984 3215183248 3215182684 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30752/statm: 45791 38530 68 164 0 45626 0
[pid=30752/tid=30753] ppid=30750 vsize=183164 CPUtime=0.5
/proc/30752/task/30753/stat : 30753 (satake) S 30750 30752 17312 0 -1 4202560 2642 0 0 0 23 27 0 0 16 0 5 0 1129476465 187559936 38530 4294967295 134512640 135180984 3215183248 3086323728 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=30752/tid=30754] ppid=30750 vsize=183164 CPUtime=32.79
/proc/30752/task/30754/stat : 30754 (satake) R 30750 30752 17312 0 -1 4202560 15498 0 0 0 3266 13 0 0 25 0 5 0 1129476465 187559936 38530 4294967295 134512640 135180984 3215183248 3086257864 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30752/tid=30755] ppid=30750 vsize=183164 CPUtime=31.27
/proc/30752/task/30755/stat : 30755 (satake) R 30750 30752 17312 0 -1 4202560 15079 0 0 0 3108 19 0 0 25 0 5 0 1129476465 187559936 38530 4294967295 134512640 135180984 3215183248 3086192288 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30752/tid=30757] ppid=30750 vsize=183164 CPUtime=34.71
/proc/30752/task/30757/stat : 30757 (satake) R 30750 30752 17312 0 -1 4202560 16455 0 0 0 3449 22 0 0 25 0 5 0 1129476467 187559936 38530 4294967295 134512640 135180984 3215183248 3086118672 134525333 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 99.27
Current children cumulated vsize (KiB) 183164

[startup+102.318 s]
/proc/loadavg: 5.35 5.29 5.27 7/125 31283
/proc/meminfo: memFree=2886520/3368532 swapFree=1959840/1959888
[pid=30752] ppid=30750 vsize=215792 CPUtime=199.56
/proc/30752/stat : 30752 (satake) S 30750 30752 17312 0 -1 4202496 57751 0 0 0 19833 123 0 0 25 0 5 0 1129476465 220971008 46497 4294967295 134512640 135180984 3215183248 3215182684 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30752/statm: 53948 46497 68 164 0 53783 0
[pid=30752/tid=30753] ppid=30750 vsize=215792 CPUtime=0.8
/proc/30752/task/30753/stat : 30753 (satake) S 30750 30752 17312 0 -1 4202560 2746 0 0 0 32 48 0 0 15 0 5 0 1129476465 220971008 46497 4294967295 134512640 135180984 3215183248 3086323728 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=30752/tid=30754] ppid=30750 vsize=215792 CPUtime=65.53
/proc/30752/task/30754/stat : 30754 (satake) R 30750 30752 17312 0 -1 4202560 18027 0 0 0 6531 22 0 0 25 0 5 0 1129476465 220971008 46497 4294967295 134512640 135180984 3215183248 3086257824 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30752/tid=30755] ppid=30750 vsize=215792 CPUtime=65.28
/proc/30752/task/30755/stat : 30755 (satake) R 30750 30752 17312 0 -1 4202560 17629 0 0 0 6504 24 0 0 25 0 5 0 1129476465 220971008 46497 4294967295 134512640 135180984 3215183248 3086192496 134528433 0 0 0 0 0 0 0 -1 0 0 0 0

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

[pid=30752/tid=30754] ppid=30750 vsize=476572 CPUtime=346.61
/proc/30752/task/30754/stat : 30754 (satake) R 30750 30752 17312 0 -1 4202560 40501 0 0 0 34609 52 0 0 25 0 5 0 1129476465 488009728 111753 4294967295 134512640 135180984 3215183248 3086258032 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30752/tid=30755] ppid=30750 vsize=476572 CPUtime=333.96
/proc/30752/task/30755/stat : 30755 (satake) R 30750 30752 17312 0 -1 4202560 38852 0 0 0 33344 52 0 0 25 0 5 0 1129476465 488009728 111753 4294967295 134512640 135180984 3215183248 3086192496 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30752/tid=30757] ppid=30750 vsize=476572 CPUtime=348.47
/proc/30752/task/30757/stat : 30757 (satake) R 30750 30752 17312 0 -1 4202560 40503 0 0 0 34791 56 0 0 25 0 5 0 1129476467 488009728 111753 4294967295 134512640 135180984 3215183248 3086118600 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1031.31
Current children cumulated vsize (KiB) 476572

[startup+582.313 s]
/proc/loadavg: 5.47 5.36 5.29 6/124 1037
/proc/meminfo: memFree=2589468/3368532 swapFree=1959840/1959888
[pid=30752] ppid=30750 vsize=514124 CPUtime=1150.13
/proc/30752/stat : 30752 (satake) S 30750 30752 17312 0 -1 4202496 132337 0 0 0 114699 314 0 0 25 0 5 0 1129476465 526462976 121083 4294967295 134512640 135180984 3215183248 3215182684 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30752/statm: 128531 121083 68 164 0 128366 0
[pid=30752/tid=30753] ppid=30750 vsize=514124 CPUtime=2.38
/proc/30752/task/30753/stat : 30753 (satake) S 30750 30752 17312 0 -1 4202560 3067 0 0 0 92 146 0 0 15 0 5 0 1129476465 526462976 121083 4294967295 134512640 135180984 3215183248 3086323728 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=30752/tid=30754] ppid=30750 vsize=514124 CPUtime=385.09
/proc/30752/task/30754/stat : 30754 (satake) R 30750 30752 17312 0 -1 4202560 43516 0 0 0 38456 53 0 0 25 0 5 0 1129476465 526462976 121083 4294967295 134512640 135180984 3215183248 3086257864 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30752/tid=30755] ppid=30750 vsize=514124 CPUtime=374.41
/proc/30752/task/30755/stat : 30755 (satake) R 30750 30752 17312 0 -1 4202560 41815 0 0 0 37387 54 0 0 25 0 5 0 1129476465 526462976 121083 4294967295 134512640 135180984 3215183248 3086192496 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30752/tid=30757] ppid=30750 vsize=514124 CPUtime=388.25
/proc/30752/task/30757/stat : 30757 (satake) R 30750 30752 17312 0 -1 4202560 43829 0 0 0 38764 61 0 0 25 0 5 0 1129476467 526462976 121083 4294967295 134512640 135180984 3215183248 3086118768 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1150.13
Current children cumulated vsize (KiB) 514124

[startup+642.31 s]
/proc/loadavg: 5.39 5.35 5.29 6/122 1315
/proc/meminfo: memFree=2551436/3368532 swapFree=1959840/1959888
[pid=30752] ppid=30750 vsize=551224 CPUtime=1268.71
/proc/30752/stat : 30752 (satake) S 30750 30752 17312 0 -1 4202496 141849 0 0 0 126537 334 0 0 25 0 5 0 1129476465 564453376 130595 4294967295 134512640 135180984 3215183248 3215182684 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30752/statm: 137806 130595 68 164 0 137641 0
[pid=30752/tid=30753] ppid=30750 vsize=551224 CPUtime=2.51
/proc/30752/task/30753/stat : 30753 (satake) S 30750 30752 17312 0 -1 4202560 3096 0 0 0 96 155 0 0 15 0 5 0 1129476465 564453376 130595 4294967295 134512640 135180984 3215183248 3086323728 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=30752/tid=30754] ppid=30750 vsize=551224 CPUtime=424.49
/proc/30752/task/30754/stat : 30754 (satake) R 30750 30752 17312 0 -1 4202560 46398 0 0 0 42391 58 0 0 25 0 5 0 1129476465 564453376 130595 4294967295 134512640 135180984 3215183248 3086258032 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30752/tid=30755] ppid=30750 vsize=551224 CPUtime=411.51
/proc/30752/task/30755/stat : 30755 (satake) R 30750 30752 17312 0 -1 4202560 44870 0 0 0 41094 57 0 0 25 0 5 0 1129476465 564453376 130595 4294967295 134512640 135180984 3215183248 3086192400 134524603 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30752/tid=30757] ppid=30750 vsize=551224 CPUtime=430.2
/proc/30752/task/30757/stat : 30757 (satake) R 30750 30752 17312 0 -1 4202560 47375 0 0 0 42956 64 0 0 25 0 5 0 1129476467 564453376 130595 4294967295 134512640 135180984 3215183248 3086118640 134522980 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1268.71
Current children cumulated vsize (KiB) 551224

[startup+702.306 s]
/proc/loadavg: 5.47 5.38 5.30 8/124 1589
/proc/meminfo: memFree=2512624/3368532 swapFree=1959840/1959888
[pid=30752] ppid=30750 vsize=591236 CPUtime=1387.63
/proc/30752/stat : 30752 (satake) S 30750 30752 17312 0 -1 4202496 151445 0 0 0 138413 350 0 0 25 0 5 0 1129476465 605425664 140191 4294967295 134512640 135180984 3215183248 3215182684 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30752/statm: 147809 140191 68 164 0 147644 0
[pid=30752/tid=30753] ppid=30750 vsize=591236 CPUtime=2.59
/proc/30752/task/30753/stat : 30753 (satake) S 30750 30752 17312 0 -1 4202560 3120 0 0 0 100 159 0 0 15 0 5 0 1129476465 605425664 140191 4294967295 134512640 135180984 3215183248 3086323728 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=30752/tid=30754] ppid=30750 vsize=591236 CPUtime=463.84
/proc/30752/task/30754/stat : 30754 (satake) R 30750 30752 17312 0 -1 4202560 49582 0 0 0 46323 61 0 0 25 0 5 0 1129476465 605425664 140191 4294967295 134512640 135180984 3215183248 3086258032 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30752/tid=30755] ppid=30750 vsize=591236 CPUtime=452.31
/proc/30752/task/30755/stat : 30755 (satake) R 30750 30752 17312 0 -1 4202560 48162 0 0 0 45170 61 0 0 25 0 5 0 1129476465 605425664 140191 4294967295 134512640 135180984 3215183248 3086192496 134528267 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30752/tid=30757] ppid=30750 vsize=591236 CPUtime=468.89
/proc/30752/task/30757/stat : 30757 (satake) R 30750 30752 17312 0 -1 4202560 50471 0 0 0 46820 69 0 0 25 0 5 0 1129476467 605425664 140191 4294967295 134512640 135180984 3215183248 3086118600 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1387.63
Current children cumulated vsize (KiB) 591236

[startup+762.313 s]
/proc/loadavg: 5.51 5.40 5.31 6/122 1871
/proc/meminfo: memFree=2472516/3368532 swapFree=1959840/1959888
[pid=30752] ppid=30750 vsize=633008 CPUtime=1506.33
/proc/30752/stat : 30752 (satake) S 30750 30752 17312 0 -1 4202496 161624 0 0 0 150266 367 0 0 25 0 5 0 1129476465 648200192 150370 4294967295 134512640 135180984 3215183248 3215182684 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30752/statm: 158252 150370 68 164 0 158087 0
[pid=30752/tid=30753] ppid=30750 vsize=633008 CPUtime=2.75
/proc/30752/task/30753/stat : 30753 (satake) S 30750 30752 17312 0 -1 4202560 3158 0 0 0 104 171 0 0 15 0 5 0 1129476465 648200192 150370 4294967295 134512640 135180984 3215183248 3086323728 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=30752/tid=30754] ppid=30750 vsize=633008 CPUtime=503.57
/proc/30752/task/30754/stat : 30754 (satake) R 30750 30752 17312 0 -1 4202560 52736 0 0 0 50294 63 0 0 25 0 5 0 1129476465 648200192 150370 4294967295 134512640 135180984 3215183248 3086258032 134528727 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30752/tid=30755] ppid=30750 vsize=633008 CPUtime=491.96
/proc/30752/task/30755/stat : 30755 (satake) R 30750 30752 17312 0 -1 4202560 51908 0 0 0 49133 63 0 0 25 0 5 0 1129476465 648200192 150370 4294967295 134512640 135180984 3215183248 3086192496 134528628 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30752/tid=30757] ppid=30750 vsize=633008 CPUtime=508.05
/proc/30752/task/30757/stat : 30757 (satake) R 30750 30752 17312 0 -1 4202560 53712 0 0 0 50735 70 0 0 25 0 5 0 1129476467 648200192 150370 4294967295 134512640 135180984 3215183248 3086118672 134525374 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1506.33
Current children cumulated vsize (KiB) 633008

[startup+822.31 s]
/proc/loadavg: 5.47 5.40 5.31 7/123 2144
/proc/meminfo: memFree=2437344/3368532 swapFree=1959840/1959888
[pid=30752] ppid=30750 vsize=667956 CPUtime=1625.17
/proc/30752/stat : 30752 (satake) S 30750 30752 17312 0 -1 4202496 170481 0 0 0 162124 393 0 0 25 0 5 0 1129476465 683986944 159227 4294967295 134512640 135180984 3215183248 3215182684 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30752/statm: 166989 159227 68 164 0 166824 0
[pid=30752/tid=30753] ppid=30750 vsize=667956 CPUtime=2.89
/proc/30752/task/30753/stat : 30753 (satake) S 30750 30752 17312 0 -1 4202560 3178 0 0 0 108 181 0 0 15 0 5 0 1129476465 683986944 159227 4294967295 134512640 135180984 3215183248 3086323728 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=30752/tid=30754] ppid=30750 vsize=667956 CPUtime=544.11
/proc/30752/task/30754/stat : 30754 (satake) R 30750 30752 17312 0 -1 4202560 55541 0 0 0 54343 68 0 0 25 0 5 0 1129476465 683986944 159227 4294967295 134512640 135180984 3215183248 3086258032 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30752/tid=30755] ppid=30750 vsize=667956 CPUtime=531.97
/proc/30752/task/30755/stat : 30755 (satake) R 30750 30752 17312 0 -1 4202560 55139 0 0 0 53128 69 0 0 25 0 5 0 1129476465 683986944 159227 4294967295 134512640 135180984 3215183248 3086192432 134523696 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30752/tid=30757] ppid=30750 vsize=667956 CPUtime=546.2
/proc/30752/task/30757/stat : 30757 (satake) R 30750 30752 17312 0 -1 4202560 56513 0 0 0 54545 75 0 0 25 0 5 0 1129476467 683986944 159227 4294967295 134512640 135180984 3215183248 3086118672 134524811 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1625.17
Current children cumulated vsize (KiB) 667956

[startup+882.307 s]
/proc/loadavg: 5.36 5.37 5.30 6/122 2423
/proc/meminfo: memFree=2400784/3368532 swapFree=1959840/1959888
[pid=30752] ppid=30750 vsize=704720 CPUtime=1744.35
/proc/30752/stat : 30752 (satake) S 30750 30752 17312 0 -1 4202496 179567 0 0 0 174029 406 0 0 25 0 5 0 1129476465 721633280 168313 4294967295 134512640 135180984 3215183248 3215182684 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30752/statm: 176180 168313 68 164 0 176015 0
[pid=30752/tid=30753] ppid=30750 vsize=704720 CPUtime=2.96
/proc/30752/task/30753/stat : 30753 (satake) S 30750 30752 17312 0 -1 4202560 3212 0 0 0 109 187 0 0 15 0 5 0 1129476465 721633280 168313 4294967295 134512640 135180984 3215183248 3086323728 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=30752/tid=30754] ppid=30750 vsize=704720 CPUtime=584.51
/proc/30752/task/30754/stat : 30754 (satake) R 30750 30752 17312 0 -1 4202560 58470 0 0 0 58380 71 0 0 25 0 5 0 1129476465 721633280 168313 4294967295 134512640 135180984 3215183248 3086258032 134528658 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30752/tid=30755] ppid=30750 vsize=704720 CPUtime=569.93
/proc/30752/task/30755/stat : 30755 (satake) R 30750 30752 17312 0 -1 4202560 57849 0 0 0 56922 71 0 0 25 0 5 0 1129476465 721633280 168313 4294967295 134512640 135180984 3215183248 3086192496 134526206 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30752/tid=30757] ppid=30750 vsize=704720 CPUtime=586.95
/proc/30752/task/30757/stat : 30757 (satake) R 30750 30752 17312 0 -1 4202560 59926 0 0 0 58618 77 0 0 25 0 5 0 1129476467 721633280 168313 4294967295 134512640 135180984 3215183248 3086118600 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1744.35
Current children cumulated vsize (KiB) 704720

[startup+942.314 s]
/proc/loadavg: 5.45 5.38 5.30 7/122 2703
/proc/meminfo: memFree=2364400/3368532 swapFree=1959840/1959888
[pid=30752] ppid=30750 vsize=740388 CPUtime=1863.35
/proc/30752/stat : 30752 (satake) S 30750 30752 17312 0 -1 4202496 188550 0 0 0 185907 428 0 0 25 0 5 0 1129476465 758157312 177296 4294967295 134512640 135180984 3215183248 3215182684 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30752/statm: 185097 177296 68 164 0 184932 0
[pid=30752/tid=30753] ppid=30750 vsize=740388 CPUtime=3.06
/proc/30752/task/30753/stat : 30753 (satake) S 30750 30752 17312 0 -1 4202560 3240 0 0 0 112 194 0 0 15 0 5 0 1129476465 758157312 177296 4294967295 134512640 135180984 3215183248 3086323728 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=30752/tid=30754] ppid=30750 vsize=740388 CPUtime=623.11
/proc/30752/task/30754/stat : 30754 (satake) R 30750 30752 17312 0 -1 4202560 61385 0 0 0 62234 77 0 0 25 0 5 0 1129476465 758157312 177296 4294967295 134512640 135180984 3215183248 3086258032 134528943 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30752/tid=30755] ppid=30750 vsize=740388 CPUtime=614.43
/proc/30752/task/30755/stat : 30755 (satake) R 30750 30752 17312 0 -1 4202560 61295 0 0 0 61370 73 0 0 25 0 5 0 1129476465 758157312 177296 4294967295 134512640 135180984 3215183248 3086192496 134528669 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30752/tid=30757] ppid=30750 vsize=740388 CPUtime=622.75
/proc/30752/task/30757/stat : 30757 (satake) R 30750 30752 17312 0 -1 4202560 62520 0 0 0 62191 84 0 0 25 0 5 0 1129476467 758157312 177296 4294967295 134512640 135180984 3215183248 3086118760 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1863.35
Current children cumulated vsize (KiB) 740388



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 5.45 5.38 5.30 8/123 2929
/proc/meminfo: memFree=2330688/3368532 swapFree=1959840/1959888
[pid=30752] ppid=30750 vsize=772692 CPUtime=1977.86
/proc/30752/stat : 30752 (satake) S 30750 30752 17312 0 -1 4202496 196712 0 0 0 197347 439 0 0 25 0 5 0 1129476465 791236608 185458 4294967295 134512640 135180984 3215183248 3215182684 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30752/statm: 193173 185458 68 164 0 193008 0
[pid=30752/tid=30753] ppid=30750 vsize=772692 CPUtime=3.13
/proc/30752/task/30753/stat : 30753 (satake) S 30750 30752 17312 0 -1 4202560 3269 0 0 0 115 198 0 0 15 0 5 0 1129476465 791236608 185458 4294967295 134512640 135180984 3215183248 3086323728 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=30752/tid=30754] ppid=30750 vsize=772692 CPUtime=665.22
/proc/30752/task/30754/stat : 30754 (satake) R 30750 30752 17312 0 -1 4202560 64124 0 0 0 66442 80 0 0 25 0 5 0 1129476465 791236608 185458 4294967295 134512640 135180984 3215183248 3086258032 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30752/tid=30755] ppid=30750 vsize=772692 CPUtime=649.76
/proc/30752/task/30755/stat : 30755 (satake) R 30750 30752 17312 0 -1 4202560 63853 0 0 0 64902 74 0 0 25 0 5 0 1129476465 791236608 185458 4294967295 134512640 135180984 3215183248 3086192400 134524738 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30752/tid=30757] ppid=30750 vsize=772692 CPUtime=659.75
/proc/30752/task/30757/stat : 30757 (satake) R 30750 30752 17312 0 -1 4202560 65356 0 0 0 65888 87 0 0 25 0 5 0 1129476467 791236608 185458 4294967295 134512640 135180984 3215183248 3086118760 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1977.86
Current children cumulated vsize (KiB) 772692

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): 1977.93
CPU user time (s): 1973.5
CPU system time (s): 4.43
CPU usage (%): 197.777
Max. virtual memory (cumulated for all children) (KiB): 772692

deleting IPC queue 13107200
deleting IPC queue 13139969
deleting IPC queue 13172738
deleting IPC queue 13205507
deleting IPC queue 13238276
deleting IPC queue 13271045
deleting IPC queue 13303814
deleting IPC queue 13336583
deleting IPC queue 13369352
deleting IPC queue 13402121
deleting IPC queue 13434890
deleting IPC queue 13467659
deleting IPC queue 13500428
deleting IPC queue 13533197
deleting IPC queue 13565966
deleting IPC queue 13598735

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1973.5
system time used= 4.43
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 196715
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= 594987
involuntary context switches= 594099

runsolver used 0.01 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 03:48:56
IDJOB=1780450
IDBENCH=71008
IDSOLVER=629
FILE ID=/1780450-1243648136
PBS_JOBID=
Free space on /tmp= 7970 MiB

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

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

MD5SUM BENCH= b21b299f860c56270b509900cff82599
RANDOM SEED= 1570063543

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.073
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.073
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.073
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.073
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:       3074676 kB
Buffers:         57872 kB
Cached:         129732 kB
SwapCached:          0 kB
Active:          95296 kB
Inactive:       114708 kB
HighTotal:     2489216 kB
HighFree:      2337384 kB
LowTotal:       879316 kB
LowFree:        737292 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:           15964 kB
Writeback:           0 kB
AnonPages:       22240 kB
Mapped:           8212 kB
Slab:            74100 kB
SReclaimable:    61772 kB
SUnreclaim:      12328 kB
PageTables:        788 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   123564 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 7970 MiB
End job on  at 2009-05-30 04:05:39