Trace number 1781320

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) 1936.08 1000.07

General information on the benchmark

Namevelev-pipe-o-uns-1.1-6.cnf
MD5SUMd986f0b849e7c714ed5d3a26373567af
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark277.54
Satisfiable
(Un)Satisfiability was proved
Number of variables17710
Number of clauses304026
Sum of the clauses size890580
Maximum clause length131
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2268354
Number of clauses of size 326401
Number of clauses of size 4173
Number of clauses of size 5120
Number of clauses of size over 58977

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-1781320-1243653681/watcher-1781320-1243653681 -o /tmp/evaluation-result-1781320-1243653681/solver-1781320-1243653681 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781320-1243653681.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.05 5.12 5.15 7/107 10549
/proc/meminfo: memFree=2186992/3368532 swapFree=1954076/1959888
[pid=10546] ppid=10544 vsize=1096 CPUtime=0
/proc/10546/stat : 10546 (satake) R 10544 10546 3671 0 -1 4202496 110 0 0 0 0 0 0 0 25 0 4 0 1119469311 1122304 66 4294967295 134512640 135180984 3220515504 3220514848 134705812 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10546/statm: 274 66 54 164 0 109 0
[pid=10546/tid=10547] ppid=10544 vsize=1096 CPUtime=0
/proc/10546/task/10547/stat : 10547 (satake) R 10544 10546 3671 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 1119469311 1122304 66 4294967295 134512640 135180984 3220515504 3086996292 134705812 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10546/tid=10548] ppid=10544 vsize=1096 CPUtime=0
/proc/10546/task/10548/stat : 10548 (satake) R 10544 10546 3671 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 1119469311 1122304 66 4294967295 134512640 135180984 3220515504 3086930756 134705812 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10546/tid=10549] ppid=10544 vsize=1096 CPUtime=0
/proc/10546/task/10549/stat : 10549 (satake) R 10544 10546 3671 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 1119469311 1122304 66 4294967295 134512640 135180984 3220515504 3086865220 134705812 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.098329 s]
/proc/loadavg: 5.05 5.12 5.15 7/107 10549
/proc/meminfo: memFree=2186992/3368532 swapFree=1954076/1959888
[pid=10546] ppid=10544 vsize=26820 CPUtime=0.15
/proc/10546/stat : 10546 (satake) S 10544 10546 3671 0 -1 4202496 6080 0 0 0 11 4 0 0 25 0 5 0 1119469311 27463680 6034 4294967295 134512640 135180984 3220515504 3220514940 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10546/statm: 6705 6036 63 164 0 6540 0
[pid=10546/tid=10547] ppid=10544 vsize=26820 CPUtime=0
/proc/10546/task/10547/stat : 10547 (satake) S 10544 10546 3671 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1119469311 27463680 6036 4294967295 134512640 135180984 3220515504 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=10546/tid=10548] ppid=10544 vsize=26820 CPUtime=0.02
/proc/10546/task/10548/stat : 10548 (satake) S 10544 10546 3671 0 -1 4202560 1582 0 0 0 1 1 0 0 25 0 5 0 1119469311 27463680 6036 4294967295 134512640 135180984 3220515504 3086930068 134579486 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10546/tid=10549] ppid=10544 vsize=26820 CPUtime=0.07
/proc/10546/task/10549/stat : 10549 (satake) R 10544 10546 3671 0 -1 4202560 2255 0 0 0 6 1 0 0 25 0 5 0 1119469311 27463680 6036 4294967295 134512640 135180984 3220515504 3086864532 134579745 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 26820

[startup+0.10337 s]
/proc/loadavg: 5.05 5.12 5.15 7/107 10549
/proc/meminfo: memFree=2186992/3368532 swapFree=1954076/1959888
[pid=10546] ppid=10544 vsize=26952 CPUtime=0.16
/proc/10546/stat : 10546 (satake) S 10544 10546 3671 0 -1 4202496 6153 0 0 0 12 4 0 0 25 0 5 0 1119469311 27598848 6107 4294967295 134512640 135180984 3220515504 3220514940 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10546/statm: 6738 6107 63 164 0 6573 0
[pid=10546/tid=10547] ppid=10544 vsize=26952 CPUtime=0
/proc/10546/task/10547/stat : 10547 (satake) S 10544 10546 3671 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1119469311 27598848 6107 4294967295 134512640 135180984 3220515504 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=10546/tid=10548] ppid=10544 vsize=26952 CPUtime=0.03
/proc/10546/task/10548/stat : 10548 (satake) R 10544 10546 3671 0 -1 4202560 1600 0 0 0 2 1 0 0 25 0 5 0 1119469311 27598848 6107 4294967295 134512640 135180984 3220515504 3086930068 134579486 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10546/tid=10549] ppid=10544 vsize=26952 CPUtime=0.07
/proc/10546/task/10549/stat : 10549 (satake) R 10544 10546 3671 0 -1 4202560 2273 0 0 0 6 1 0 0 25 0 5 0 1119469311 27598848 6107 4294967295 134512640 135180984 3220515504 3086864532 134579745 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 26952

[startup+0.303245 s]
/proc/loadavg: 5.05 5.12 5.15 7/107 10549
/proc/meminfo: memFree=2186992/3368532 swapFree=1954076/1959888
[pid=10546] ppid=10544 vsize=44948 CPUtime=0.49
/proc/10546/stat : 10546 (satake) S 10544 10546 3671 0 -1 4202496 10006 0 0 0 43 6 0 0 25 0 5 0 1119469311 46026752 9950 4294967295 134512640 135180984 3220515504 3220514940 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10546/statm: 11237 9952 63 164 0 11072 0
[pid=10546/tid=10547] ppid=10544 vsize=44948 CPUtime=0
/proc/10546/task/10547/stat : 10547 (satake) S 10544 10546 3671 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1119469311 46026752 9952 4294967295 134512640 135180984 3220515504 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=10546/tid=10548] ppid=10544 vsize=44948 CPUtime=0.16
/proc/10546/task/10548/stat : 10548 (satake) R 10544 10546 3671 0 -1 4202560 3129 0 0 0 14 2 0 0 25 0 5 0 1119469311 46026752 9952 4294967295 134512640 135180984 3220515504 3086930144 134520020 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10546/tid=10549] ppid=10544 vsize=44948 CPUtime=0.13
/proc/10546/task/10549/stat : 10549 (satake) R 10544 10546 3671 0 -1 4202560 2819 0 0 0 12 1 0 0 25 0 5 0 1119469311 46026752 9952 4294967295 134512640 135180984 3220515504 3086864356 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 44948

[startup+0.703218 s]
/proc/loadavg: 5.05 5.12 5.15 7/107 10549
/proc/meminfo: memFree=2186992/3368532 swapFree=1954076/1959888
[pid=10546] ppid=10544 vsize=45232 CPUtime=1.18
/proc/10546/stat : 10546 (satake) S 10544 10546 3671 0 -1 4202496 14197 0 0 0 110 8 0 0 25 0 5 0 1119469311 46317568 9968 4294967295 134512640 135180984 3220515504 3220514940 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10546/statm: 11308 9968 68 164 0 11143 0
[pid=10546/tid=10547] ppid=10544 vsize=45232 CPUtime=0
/proc/10546/task/10547/stat : 10547 (satake) R 10544 10546 3671 0 -1 4202560 327 0 0 0 0 0 0 0 19 0 5 0 1119469311 46317568 9968 4294967295 134512640 135180984 3220515504 3086995484 134706407 0 0 0 0 3223036975 0 0 -1 2 0 0 0
[pid=10546/tid=10548] ppid=10544 vsize=45232 CPUtime=0.42
/proc/10546/task/10548/stat : 10548 (satake) R 10544 10546 3671 0 -1 4202560 4514 0 0 0 40 2 0 0 25 0 5 0 1119469311 46317568 9968 4294967295 134512640 135180984 3220515504 3086929776 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10546/tid=10549] ppid=10544 vsize=45232 CPUtime=0.41
/proc/10546/task/10549/stat : 10549 (satake) R 10544 10546 3671 0 -1 4202560 4644 0 0 0 38 3 0 0 25 0 5 0 1119469311 46317568 9968 4294967295 134512640 135180984 3220515504 3086864044 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 45232

[startup+1.50316 s]
/proc/loadavg: 5.05 5.12 5.15 6/109 10551
/proc/meminfo: memFree=2147032/3368532 swapFree=1954076/1959888
[pid=10546] ppid=10544 vsize=47444 CPUtime=2.44
/proc/10546/stat : 10546 (satake) S 10544 10546 3671 0 -1 4202496 14679 0 0 0 231 13 0 0 25 0 5 0 1119469311 48582656 10450 4294967295 134512640 135180984 3220515504 3220514940 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10546/statm: 11861 10450 68 164 0 11696 0
[pid=10546/tid=10547] ppid=10544 vsize=47444 CPUtime=0.03
/proc/10546/task/10547/stat : 10547 (satake) S 10544 10546 3671 0 -1 4202560 354 0 0 0 1 2 0 0 16 0 5 0 1119469311 48582656 10450 4294967295 134512640 135180984 3220515504 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=10546/tid=10548] ppid=10544 vsize=47444 CPUtime=0.8
/proc/10546/task/10548/stat : 10548 (satake) R 10544 10546 3671 0 -1 4202560 4667 0 0 0 77 3 0 0 25 0 5 0 1119469311 48582656 10450 4294967295 134512640 135180984 3220515504 3086929568 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10546/tid=10549] ppid=10544 vsize=47444 CPUtime=0.91
/proc/10546/task/10549/stat : 10549 (satake) S 10544 10546 3671 0 -1 4202560 4838 0 0 0 88 3 0 0 25 0 5 0 1119469311 48582656 10450 4294967295 134512640 135180984 3220515504 3086864032 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=10546/tid=10551] ppid=10544 vsize=47444 CPUtime=0.7
/proc/10546/task/10551/stat : 10551 (satake) R 10544 10546 3671 0 -1 4202560 4709 0 0 0 65 5 0 0 25 0 5 0 1119469313 48582656 10450 4294967295 134512640 135180984 3220515504 3086790408 134519093 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 47444

[startup+3.10306 s]
/proc/loadavg: 4.97 5.10 5.14 6/109 10551
/proc/meminfo: memFree=2144532/3368532 swapFree=1954076/1959888
[pid=10546] ppid=10544 vsize=51472 CPUtime=4.98
/proc/10546/stat : 10546 (satake) S 10544 10546 3671 0 -1 4202496 15689 0 0 0 471 27 0 0 25 0 5 0 1119469311 52707328 11460 4294967295 134512640 135180984 3220515504 3220514940 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10546/statm: 12868 11460 68 164 0 12703 0
[pid=10546/tid=10547] ppid=10544 vsize=51472 CPUtime=0.16
/proc/10546/task/10547/stat : 10547 (satake) S 10544 10546 3671 0 -1 4202560 388 0 0 0 3 13 0 0 15 0 5 0 1119469311 52707328 11460 4294967295 134512640 135180984 3220515504 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=10546/tid=10548] ppid=10544 vsize=51472 CPUtime=1.55
/proc/10546/task/10548/stat : 10548 (satake) R 10544 10546 3671 0 -1 4202560 4947 0 0 0 152 3 0 0 25 0 5 0 1119469311 52707328 11460 4294967295 134512640 135180984 3220515504 3086929568 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10546/tid=10549] ppid=10544 vsize=51472 CPUtime=1.75
/proc/10546/task/10549/stat : 10549 (satake) R 10544 10546 3671 0 -1 4202560 5200 0 0 0 170 5 0 0 25 0 5 0 1119469311 52707328 11460 4294967295 134512640 135180984 3220515504 3086864240 134528954 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10546/tid=10551] ppid=10544 vsize=51472 CPUtime=1.52
/proc/10546/task/10551/stat : 10551 (satake) R 10544 10546 3671 0 -1 4202560 5043 0 0 0 146 6 0 0 25 0 5 0 1119469313 52707328 11460 4294967295 134512640 135180984 3220515504 3086790512 134526330 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.98
Current children cumulated vsize (KiB) 51472

[startup+6.30284 s]
/proc/loadavg: 4.97 5.10 5.14 5/109 10552
/proc/meminfo: memFree=2135248/3368532 swapFree=1954076/1959888
[pid=10546] ppid=10544 vsize=60720 CPUtime=10.15
/proc/10546/stat : 10546 (satake) S 10544 10546 3671 0 -1 4202496 17965 0 0 0 974 41 0 0 25 0 5 0 1119469311 62177280 13736 4294967295 134512640 135180984 3220515504 3220514940 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10546/statm: 15180 13736 68 164 0 15015 0
[pid=10546/tid=10547] ppid=10544 vsize=60720 CPUtime=0.27
/proc/10546/task/10547/stat : 10547 (satake) S 10544 10546 3671 0 -1 4202560 408 0 0 0 4 23 0 0 15 0 5 0 1119469311 62177280 13736 4294967295 134512640 135180984 3220515504 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=10546/tid=10548] ppid=10544 vsize=60720 CPUtime=3.43
/proc/10546/task/10548/stat : 10548 (satake) R 10544 10546 3671 0 -1 4202560 5888 0 0 0 339 4 0 0 25 0 5 0 1119469311 62177280 13736 4294967295 134512640 135180984 3220515504 3086929776 134528278 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10546/tid=10549] ppid=10544 vsize=60720 CPUtime=3.21
/proc/10546/task/10549/stat : 10549 (satake) S 10544 10546 3671 0 -1 4202560 5785 0 0 0 314 7 0 0 25 0 5 0 1119469311 62177280 13736 4294967295 134512640 135180984 3220515504 3086864032 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=10546/tid=10551] ppid=10544 vsize=60720 CPUtime=3.24
/proc/10546/task/10551/stat : 10551 (satake) R 10544 10546 3671 0 -1 4202560 5773 0 0 0 317 7 0 0 25 0 5 0 1119469313 62177280 13736 4294967295 134512640 135180984 3220515504 3086790304 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.15
Current children cumulated vsize (KiB) 60720

[startup+12.7024 s]
/proc/loadavg: 5.05 5.11 5.15 5/109 10555
/proc/meminfo: memFree=2116228/3368532 swapFree=1954076/1959888
[pid=10546] ppid=10544 vsize=80332 CPUtime=20.99
/proc/10546/stat : 10546 (satake) S 10544 10546 3671 0 -1 4202496 22680 0 0 0 2043 56 0 0 25 0 5 0 1119469311 82259968 18451 4294967295 134512640 135180984 3220515504 3220514940 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10546/statm: 20083 18451 68 164 0 19918 0
[pid=10546/tid=10547] ppid=10544 vsize=80332 CPUtime=0.43
/proc/10546/task/10547/stat : 10547 (satake) S 10544 10546 3671 0 -1 4202560 433 0 0 0 11 32 0 0 15 0 5 0 1119469311 82259968 18451 4294967295 134512640 135180984 3220515504 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=10546/tid=10548] ppid=10544 vsize=80332 CPUtime=6.98
/proc/10546/task/10548/stat : 10548 (satake) R 10544 10546 3671 0 -1 4202560 7523 0 0 0 693 5 0 0 25 0 5 0 1119469311 82259968 18451 4294967295 134512640 135180984 3220515504 3086929672 134519077 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10546/tid=10549] ppid=10544 vsize=80332 CPUtime=7.01
/proc/10546/task/10549/stat : 10549 (satake) R 10544 10546 3671 0 -1 4202560 7390 0 0 0 693 8 0 0 25 0 5 0 1119469311 82259968 18451 4294967295 134512640 135180984 3220515504 3086864072 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10546/tid=10551] ppid=10544 vsize=80332 CPUtime=6.57
/proc/10546/task/10551/stat : 10551 (satake) R 10544 10546 3671 0 -1 4202560 7223 0 0 0 646 11 0 0 25 0 5 0 1119469313 82259968 18451 4294967295 134512640 135180984 3220515504 3086790304 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 20.99
Current children cumulated vsize (KiB) 80332

[startup+25.5115 s]
/proc/loadavg: 4.97 5.09 5.14 6/109 10556
/proc/meminfo: memFree=2077172/3368532 swapFree=1954076/1959888
[pid=10546] ppid=10544 vsize=118088 CPUtime=43.29
/proc/10546/stat : 10546 (satake) S 10544 10546 3671 0 -1 4202496 32132 0 0 0 4247 82 0 0 25 0 5 0 1119469311 120922112 27903 4294967295 134512640 135180984 3220515504 3220514940 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10546/statm: 29522 27903 68 164 0 29357 0
[pid=10546/tid=10547] ppid=10544 vsize=118088 CPUtime=0.67
/proc/10546/task/10547/stat : 10547 (satake) S 10544 10546 3671 0 -1 4202560 476 0 0 0 19 48 0 0 15 0 5 0 1119469311 120922112 27903 4294967295 134512640 135180984 3220515504 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=10546/tid=10548] ppid=10544 vsize=118088 CPUtime=14.24
/proc/10546/task/10548/stat : 10548 (satake) R 10544 10546 3671 0 -1 4202560 10934 0 0 0 1416 8 0 0 25 0 5 0 1119469311 120922112 27903 4294967295 134512640 135180984 3220515504 3086929888 134531534 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10546/tid=10549] ppid=10544 vsize=118088 CPUtime=14.42
/proc/10546/task/10549/stat : 10549 (satake) R 10544 10546 3671 0 -1 4202560 10479 0 0 0 1430 12 0 0 25 0 5 0 1119469311 120922112 27903 4294967295 134512640 135180984 3220515504 3086864032 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10546/tid=10551] ppid=10544 vsize=118088 CPUtime=13.96
/proc/10546/task/10551/stat : 10551 (satake) R 10544 10546 3671 0 -1 4202560 10132 0 0 0 1382 14 0 0 25 0 5 0 1119469313 120922112 27903 4294967295 134512640 135180984 3220515504 3086790512 134528669 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 43.29
Current children cumulated vsize (KiB) 118088

[startup+51.1098 s]
/proc/loadavg: 4.83 5.05 5.12 5/109 10558
/proc/meminfo: memFree=2018396/3368532 swapFree=1954076/1959888
[pid=10546] ppid=10544 vsize=177392 CPUtime=88.1
/proc/10546/stat : 10546 (satake) S 10544 10546 3671 0 -1 4202496 46904 0 0 0 8681 129 0 0 25 0 5 0 1119469311 181649408 42675 4294967295 134512640 135180984 3220515504 3220514940 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10546/statm: 44348 42675 68 164 0 44183 0
[pid=10546/tid=10547] ppid=10544 vsize=177392 CPUtime=1.02
/proc/10546/task/10547/stat : 10547 (satake) S 10544 10546 3671 0 -1 4202560 557 0 0 0 27 75 0 0 15 0 5 0 1119469311 181649408 42675 4294967295 134512640 135180984 3220515504 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=10546/tid=10548] ppid=10544 vsize=177392 CPUtime=29.42
/proc/10546/task/10548/stat : 10548 (satake) R 10544 10546 3671 0 -1 4202560 15752 0 0 0 2926 16 0 0 25 0 5 0 1119469311 181649408 42675 4294967295 134512640 135180984 3220515504 3086929568 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10546/tid=10549] ppid=10544 vsize=177392 CPUtime=29.84
/proc/10546/task/10549/stat : 10549 (satake) R 10544 10546 3671 0 -1 4202560 16220 0 0 0 2968 16 0 0 25 0 5 0 1119469311 181649408 42675 4294967295 134512640 135180984 3220515504 3086864240 134526240 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10546/tid=10551] ppid=10544 vsize=177392 CPUtime=27.82
/proc/10546/task/10551/stat : 10551 (satake) R 10544 10546 3671 0 -1 4202560 14264 0 0 0 2760 22 0 0 25 0 5 0 1119469313 181649408 42675 4294967295 134512640 135180984 3220515504 3086790344 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 88.1
Current children cumulated vsize (KiB) 177392

[startup+102.316 s]
/proc/loadavg: 4.92 5.04 5.11 6/109 10745
/proc/meminfo: memFree=1938576/3368532 swapFree=1954076/1959888
[pid=10546] ppid=10544 vsize=256308 CPUtime=181.31
/proc/10546/stat : 10546 (satake) S 10544 10546 3671 0 -1 4202496 66509 0 0 0 17913 218 0 0 25 0 5 0 1119469311 262459392 62280 4294967295 134512640 135180984 3220515504 3220514940 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10546/statm: 64077 62280 68 164 0 63912 0
[pid=10546/tid=10547] ppid=10544 vsize=256308 CPUtime=1.78
/proc/10546/task/10547/stat : 10547 (satake) S 10544 10546 3671 0 -1 4202560 679 0 0 0 50 128 0 0 15 0 5 0 1119469311 262459392 62280 4294967295 134512640 135180984 3220515504 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=10546/tid=10548] ppid=10544 vsize=256308 CPUtime=60.93
/proc/10546/task/10548/stat : 10548 (satake) R 10544 10546 3671 0 -1 4202560 22968 0 0 0 6063 30 0 0 25 0 5 0 1119469311 262459392 62280 4294967295 134512640 135180984 3220515504 3086929568 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10546/tid=10549] ppid=10544 vsize=256308 CPUtime=61.33
/proc/10546/task/10549/stat : 10549 (satake) R 10544 10546 3671 0 -1 4202560 23663 0 0 0 6106 27 0 0 25 0 5 0 1119469311 262459392 62280 4294967295 134512640 135180984 3220515504 3086864072 134675846 0 0 0 0 0 0 0 -1 2 0 0 0

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

[pid=10546/tid=10548] ppid=10544 vsize=645396 CPUtime=325.43
/proc/10546/task/10548/stat : 10548 (satake) R 10544 10546 3671 0 -1 4202560 53217 0 0 0 32473 70 0 0 25 0 5 0 1119469311 660885504 157873 4294967295 134512640 135180984 3220515504 3086929608 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10546/tid=10549] ppid=10544 vsize=645396 CPUtime=339.51
/proc/10546/task/10549/stat : 10549 (satake) R 10544 10546 3671 0 -1 4202560 60362 0 0 0 33875 76 0 0 25 0 5 0 1119469311 660885504 157873 4294967295 134512640 135180984 3220515504 3086864240 134525688 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10546/tid=10551] ppid=10544 vsize=645396 CPUtime=327.96
/proc/10546/task/10551/stat : 10551 (satake) R 10544 10546 3671 0 -1 4202560 47469 0 0 0 32723 73 0 0 25 0 5 0 1119469313 660885504 157873 4294967295 134512640 135180984 3220515504 3086790512 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 995.45
Current children cumulated vsize (KiB) 645396

[startup+582.304 s]
/proc/loadavg: 5.27 5.15 5.11 6/109 12251
/proc/meminfo: memFree=1517648/3368532 swapFree=1954076/1959888
[pid=10546] ppid=10544 vsize=676872 CPUtime=1113.1
/proc/10546/stat : 10546 (satake) S 10544 10546 3671 0 -1 4202496 170199 0 0 0 110888 422 0 0 25 0 5 0 1119469311 693116928 165970 4294967295 134512640 135180984 3220515504 3220514940 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10546/statm: 169218 165970 68 164 0 169053 0
[pid=10546/tid=10547] ppid=10544 vsize=676872 CPUtime=2.61
/proc/10546/task/10547/stat : 10547 (satake) S 10544 10546 3671 0 -1 4202560 961 0 0 0 75 186 0 0 15 0 5 0 1119469311 693116928 165970 4294967295 134512640 135180984 3220515504 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=10546/tid=10548] ppid=10544 vsize=676872 CPUtime=364.32
/proc/10546/task/10548/stat : 10548 (satake) R 10544 10546 3671 0 -1 4202560 55995 0 0 0 36355 77 0 0 25 0 5 0 1119469311 693116928 165970 4294967295 134512640 135180984 3220515504 3086929776 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10546/tid=10549] ppid=10544 vsize=676872 CPUtime=378.91
/proc/10546/task/10549/stat : 10549 (satake) R 10544 10546 3671 0 -1 4202560 63346 0 0 0 37811 80 0 0 25 0 5 0 1119469311 693116928 165970 4294967295 134512640 135180984 3220515504 3086864240 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10546/tid=10551] ppid=10544 vsize=676872 CPUtime=367.26
/proc/10546/task/10551/stat : 10551 (satake) R 10544 10546 3671 0 -1 4202560 49786 0 0 0 36647 79 0 0 25 0 5 0 1119469313 693116928 165970 4294967295 134512640 135180984 3220515504 3086790480 134519935 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1113.1
Current children cumulated vsize (KiB) 676872

[startup+642.31 s]
/proc/loadavg: 5.22 5.15 5.11 6/109 12443
/proc/meminfo: memFree=1484044/3368532 swapFree=1954076/1959888
[pid=10546] ppid=10544 vsize=709264 CPUtime=1231.38
/proc/10546/stat : 10546 (satake) S 10544 10546 3671 0 -1 4202496 178303 0 0 0 122700 438 0 0 25 0 5 0 1119469311 726286336 174074 4294967295 134512640 135180984 3220515504 3220514940 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10546/statm: 177316 174074 68 164 0 177151 0
[pid=10546/tid=10547] ppid=10544 vsize=709264 CPUtime=2.68
/proc/10546/task/10547/stat : 10547 (satake) S 10544 10546 3671 0 -1 4202560 986 0 0 0 77 191 0 0 15 0 5 0 1119469311 726286336 174075 4294967295 134512640 135180984 3220515504 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=10546/tid=10548] ppid=10544 vsize=709264 CPUtime=401.64
/proc/10546/task/10548/stat : 10548 (satake) R 10544 10546 3671 0 -1 4202560 58853 0 0 0 40084 80 0 0 25 0 5 0 1119469311 726286336 174075 4294967295 134512640 135180984 3220515504 3086929776 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10546/tid=10549] ppid=10544 vsize=709264 CPUtime=421.91
/proc/10546/task/10549/stat : 10549 (satake) R 10544 10546 3671 0 -1 4202560 66762 0 0 0 42106 85 0 0 25 0 5 0 1119469311 726286336 174075 4294967295 134512640 135180984 3220515504 3086864072 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10546/tid=10551] ppid=10544 vsize=709264 CPUtime=405.15
/proc/10546/task/10551/stat : 10551 (satake) R 10544 10546 3671 0 -1 4202560 51592 0 0 0 40433 82 0 0 25 0 5 0 1119469313 726286336 174075 4294967295 134512640 135180984 3220515504 3086790512 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1231.38
Current children cumulated vsize (KiB) 709264

[startup+702.315 s]
/proc/loadavg: 5.12 5.14 5.11 6/109 12631
/proc/meminfo: memFree=1452540/3368532 swapFree=1954076/1959888
[pid=10546] ppid=10544 vsize=740216 CPUtime=1349.23
/proc/10546/stat : 10546 (satake) S 10544 10546 3671 0 -1 4202496 186057 0 0 0 134471 452 0 0 25 0 5 0 1119469311 757981184 181828 4294967295 134512640 135180984 3220515504 3220514940 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10546/statm: 185054 181828 68 164 0 184889 0
[pid=10546/tid=10547] ppid=10544 vsize=740216 CPUtime=2.75
/proc/10546/task/10547/stat : 10547 (satake) S 10544 10546 3671 0 -1 4202560 1013 0 0 0 80 195 0 0 15 0 5 0 1119469311 757981184 181828 4294967295 134512640 135180984 3220515504 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=10546/tid=10548] ppid=10544 vsize=740216 CPUtime=438.45
/proc/10546/task/10548/stat : 10548 (satake) R 10544 10546 3671 0 -1 4202560 61811 0 0 0 43764 81 0 0 25 0 5 0 1119469311 757981184 181828 4294967295 134512640 135180984 3220515504 3086929776 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10546/tid=10549] ppid=10544 vsize=740216 CPUtime=462.34
/proc/10546/task/10549/stat : 10549 (satake) R 10544 10546 3671 0 -1 4202560 69756 0 0 0 46147 87 0 0 25 0 5 0 1119469311 757981184 181828 4294967295 134512640 135180984 3220515504 3086864072 134675846 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10546/tid=10551] ppid=10544 vsize=740216 CPUtime=445.69
/proc/10546/task/10551/stat : 10551 (satake) R 10544 10546 3671 0 -1 4202560 53366 0 0 0 44480 89 0 0 25 0 5 0 1119469313 757981184 181828 4294967295 134512640 135180984 3220515504 3086790304 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1349.23
Current children cumulated vsize (KiB) 740216

[startup+762.311 s]
/proc/loadavg: 5.08 5.12 5.10 7/109 12819
/proc/meminfo: memFree=1423460/3368532 swapFree=1954076/1959888
[pid=10546] ppid=10544 vsize=769300 CPUtime=1467.26
/proc/10546/stat : 10546 (satake) S 10544 10546 3671 0 -1 4202496 193026 0 0 0 146255 471 0 0 25 0 5 0 1119469311 787763200 188797 4294967295 134512640 135180984 3220515504 3220514940 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10546/statm: 192325 188797 68 164 0 192160 0
[pid=10546/tid=10547] ppid=10544 vsize=769300 CPUtime=2.83
/proc/10546/task/10547/stat : 10547 (satake) S 10544 10546 3671 0 -1 4202560 1041 0 0 0 82 201 0 0 15 0 5 0 1119469311 787763200 188797 4294967295 134512640 135180984 3220515504 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=10546/tid=10548] ppid=10544 vsize=769300 CPUtime=476.47
/proc/10546/task/10548/stat : 10548 (satake) R 10544 10546 3671 0 -1 4202560 64475 0 0 0 47565 82 0 0 25 0 5 0 1119469311 787763200 188797 4294967295 134512640 135180984 3220515504 3086929608 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10546/tid=10549] ppid=10544 vsize=769300 CPUtime=502.81
/proc/10546/task/10549/stat : 10549 (satake) R 10544 10546 3671 0 -1 4202560 72396 0 0 0 50185 96 0 0 25 0 5 0 1119469311 787763200 188797 4294967295 134512640 135180984 3220515504 3086864240 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10546/tid=10551] ppid=10544 vsize=769300 CPUtime=485.15
/proc/10546/task/10551/stat : 10551 (satake) R 10544 10546 3671 0 -1 4202560 55003 0 0 0 48423 92 0 0 25 0 5 0 1119469313 787763200 188797 4294967295 134512640 135180984 3220515504 3086790304 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1467.26
Current children cumulated vsize (KiB) 769300

[startup+822.317 s]
/proc/loadavg: 5.12 5.12 5.09 7/109 13005
/proc/meminfo: memFree=1392656/3368532 swapFree=1954076/1959888
[pid=10546] ppid=10544 vsize=799252 CPUtime=1585.67
/proc/10546/stat : 10546 (satake) S 10544 10546 3671 0 -1 4202496 200648 0 0 0 158081 486 0 0 25 0 5 0 1119469311 818434048 196419 4294967295 134512640 135180984 3220515504 3220514940 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10546/statm: 199813 196419 68 164 0 199648 0
[pid=10546/tid=10547] ppid=10544 vsize=799252 CPUtime=2.91
/proc/10546/task/10547/stat : 10547 (satake) S 10544 10546 3671 0 -1 4202560 1055 0 0 0 85 206 0 0 15 0 5 0 1119469311 818434048 196419 4294967295 134512640 135180984 3220515504 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=10546/tid=10548] ppid=10544 vsize=799252 CPUtime=515.13
/proc/10546/task/10548/stat : 10548 (satake) R 10544 10546 3671 0 -1 4202560 66681 0 0 0 51428 85 0 0 25 0 5 0 1119469311 818434048 196419 4294967295 134512640 135180984 3220515504 3086929776 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10546/tid=10549] ppid=10544 vsize=799252 CPUtime=542.43
/proc/10546/task/10549/stat : 10549 (satake) R 10544 10546 3671 0 -1 4202560 75349 0 0 0 54145 98 0 0 25 0 5 0 1119469311 818434048 196419 4294967295 134512640 135180984 3220515504 3086864240 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10546/tid=10551] ppid=10544 vsize=799252 CPUtime=525.2
/proc/10546/task/10551/stat : 10551 (satake) R 10544 10546 3671 0 -1 4202560 57452 0 0 0 52423 97 0 0 25 0 5 0 1119469313 818434048 196419 4294967295 134512640 135180984 3220515504 3086790304 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1585.67
Current children cumulated vsize (KiB) 799252

[startup+882.313 s]
/proc/loadavg: 5.20 5.14 5.10 7/109 13194
/proc/meminfo: memFree=1352952/3368532 swapFree=1954076/1959888
[pid=10546] ppid=10544 vsize=837960 CPUtime=1703.83
/proc/10546/stat : 10546 (satake) S 10544 10546 3671 0 -1 4202496 210319 0 0 0 169867 516 0 0 25 0 5 0 1119469311 858071040 206090 4294967295 134512640 135180984 3220515504 3220514940 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10546/statm: 209490 206090 68 164 0 209325 0
[pid=10546/tid=10547] ppid=10544 vsize=837960 CPUtime=2.99
/proc/10546/task/10547/stat : 10547 (satake) S 10544 10546 3671 0 -1 4202560 1067 0 0 0 88 211 0 0 15 0 5 0 1119469311 858071040 206090 4294967295 134512640 135180984 3220515504 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=10546/tid=10548] ppid=10544 vsize=837960 CPUtime=555.08
/proc/10546/task/10548/stat : 10548 (satake) R 10544 10546 3671 0 -1 4202560 69475 0 0 0 55419 89 0 0 25 0 5 0 1119469311 858071040 206090 4294967295 134512640 135180984 3220515504 3086929776 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10546/tid=10549] ppid=10544 vsize=837960 CPUtime=584.81
/proc/10546/task/10549/stat : 10549 (satake) R 10544 10546 3671 0 -1 4202560 77906 0 0 0 58374 107 0 0 25 0 5 0 1119469311 858071040 206090 4294967295 134512640 135180984 3220515504 3086864240 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10546/tid=10551] ppid=10544 vsize=837960 CPUtime=560.95
/proc/10546/task/10551/stat : 10551 (satake) R 10544 10546 3671 0 -1 4202560 61760 0 0 0 55986 109 0 0 25 0 5 0 1119469313 858071040 206090 4294967295 134512640 135180984 3220515504 3086790512 134528655 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1703.83
Current children cumulated vsize (KiB) 837960

[startup+942.309 s]
/proc/loadavg: 5.25 5.17 5.11 6/109 13382
/proc/meminfo: memFree=1319868/3368532 swapFree=1954076/1959888
[pid=10546] ppid=10544 vsize=870096 CPUtime=1822.09
/proc/10546/stat : 10546 (satake) S 10544 10546 3671 0 -1 4202496 218439 0 0 0 181678 531 0 0 25 0 5 0 1119469311 890978304 214210 4294967295 134512640 135180984 3220515504 3220514940 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10546/statm: 217524 214210 68 164 0 217359 0
[pid=10546/tid=10547] ppid=10544 vsize=870096 CPUtime=3.09
/proc/10546/task/10547/stat : 10547 (satake) S 10544 10546 3671 0 -1 4202560 1106 0 0 0 94 215 0 0 15 0 5 0 1119469311 890978304 214210 4294967295 134512640 135180984 3220515504 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=10546/tid=10548] ppid=10544 vsize=870096 CPUtime=594.69
/proc/10546/task/10548/stat : 10548 (satake) R 10544 10546 3671 0 -1 4202560 71692 0 0 0 59378 91 0 0 25 0 5 0 1119469311 890978304 214210 4294967295 134512640 135180984 3220515504 3086929776 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10546/tid=10549] ppid=10544 vsize=870096 CPUtime=625.54
/proc/10546/task/10549/stat : 10549 (satake) R 10544 10546 3671 0 -1 4202560 80206 0 0 0 62443 111 0 0 25 0 5 0 1119469311 890978304 214210 4294967295 134512640 135180984 3220515504 3086864032 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10546/tid=10551] ppid=10544 vsize=870096 CPUtime=598.77
/proc/10546/task/10551/stat : 10551 (satake) R 10544 10546 3671 0 -1 4202560 65324 0 0 0 59763 114 0 0 25 0 5 0 1119469313 890978304 214210 4294967295 134512640 135180984 3220515504 3086790512 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1822.09
Current children cumulated vsize (KiB) 870096



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 5.25 5.18 5.11 6/109 13574
/proc/meminfo: memFree=1287604/3368532 swapFree=1954076/1959888
[pid=10546] ppid=10544 vsize=901616 CPUtime=1936.02
/proc/10546/stat : 10546 (satake) S 10544 10546 3671 0 -1 4202496 226260 0 0 0 193063 539 0 0 25 0 5 0 1119469311 923254784 222031 4294967295 134512640 135180984 3220515504 3220514940 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10546/statm: 225404 222031 68 164 0 225239 0
[pid=10546/tid=10547] ppid=10544 vsize=901616 CPUtime=3.09
/proc/10546/task/10547/stat : 10547 (satake) S 10544 10546 3671 0 -1 4202560 1116 0 0 0 94 215 0 0 15 0 5 0 1119469311 923254784 222031 4294967295 134512640 135180984 3220515504 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=10546/tid=10548] ppid=10544 vsize=901616 CPUtime=634.55
/proc/10546/task/10548/stat : 10548 (satake) R 10544 10546 3671 0 -1 4202560 74031 0 0 0 63363 92 0 0 25 0 5 0 1119469311 923254784 222031 4294967295 134512640 135180984 3220515504 3086929776 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10546/tid=10549] ppid=10544 vsize=901616 CPUtime=664.73
/proc/10546/task/10549/stat : 10549 (satake) R 10544 10546 3671 0 -1 4202560 82308 0 0 0 66356 117 0 0 25 0 5 0 1119469311 923254784 222031 4294967295 134512640 135180984 3220515504 3086864240 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10546/tid=10551] ppid=10544 vsize=901616 CPUtime=633.65
/proc/10546/task/10551/stat : 10551 (satake) R 10544 10546 3671 0 -1 4202560 68694 0 0 0 63250 115 0 0 25 0 5 0 1119469313 923254784 222031 4294967295 134512640 135180984 3220515504 3086790512 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1936.02
Current children cumulated vsize (KiB) 901616

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.07
CPU time (s): 1936.08
CPU user time (s): 1930.64
CPU system time (s): 5.44
CPU usage (%): 193.595
Max. virtual memory (cumulated for all children) (KiB): 901616

deleting IPC queue 15204352
deleting IPC queue 15237121
deleting IPC queue 15269890
deleting IPC queue 15302659
deleting IPC queue 15335428
deleting IPC queue 15368197
deleting IPC queue 15400966
deleting IPC queue 15433735
deleting IPC queue 15466504
deleting IPC queue 15499273
deleting IPC queue 15532042
deleting IPC queue 15564811
deleting IPC queue 15597580
deleting IPC queue 15630349
deleting IPC queue 15663118
deleting IPC queue 15695887

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1930.64
system time used= 5.44
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 226260
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= 283937
involuntary context switches= 315285

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi44 at 2009-05-30 05:21:21
IDJOB=1781320
IDBENCH=71718
IDSOLVER=629
FILE ID=tipi44/1781320-1243653681
PBS_JOBID=
Free space on /tmp= 15888 MiB

SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT_RACE06/velev-pipe-o-uns-1.1-6.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1781320-1243653681/watcher-1781320-1243653681 -o /tmp/evaluation-result-1781320-1243653681/solver-1781320-1243653681 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781320-1243653681.cnf 4 10000

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

MD5SUM BENCH= d986f0b849e7c714ed5d3a26373567af
RANDOM SEED= 608115087

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.116
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.116
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.16
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       2186992 kB
Buffers:        151664 kB
Cached:         750848 kB
SwapCached:       2180 kB
Active:         845512 kB
Inactive:       236288 kB
HighTotal:     2489216 kB
HighFree:      1559548 kB
LowTotal:       879316 kB
LowFree:        627444 kB
SwapTotal:     1959888 kB
SwapFree:      1954076 kB
Dirty:            6488 kB
Writeback:           0 kB
AnonPages:      178312 kB
Mapped:           5668 kB
Slab:            87556 kB
SReclaimable:    76996 kB
SUnreclaim:      10560 kB
PageTables:        724 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   261344 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15888 MiB
End job on tipi44 at 2009-05-30 05:38:04