Trace number 1780300

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

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_L100_coli.sat.cnf
MD5SUM370a08d01be1cc652e9a09ab1aafdced
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark268.38
Satisfiable
(Un)Satisfiability was proved
Number of variables315617
Number of clauses1522583
Sum of the clauses size4407119
Maximum clause length11
Minimum clause length1
Number of clauses of size 132077
Number of clauses of size 2403677
Number of clauses of size 3835608
Number of clauses of size 4197035
Number of clauses of size 553887
Number of clauses of size over 5299

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-1780300-1243647123/watcher-1780300-1243647123 -o /tmp/evaluation-result-1780300-1243647123/solver-1780300-1243647123 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780300-1243647123.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: 2.88 2.99 2.99 3/98 17291
/proc/meminfo: memFree=3062156/3368532 swapFree=1959840/1959888
[pid=17291] ppid=17289 vsize=5264 CPUtime=0
/proc/17291/stat : 17291 (satake) S 17289 17291 30957 0 -1 4202496 685 0 0 0 0 0 0 0 18 0 5 0 946289216 5390336 642 4294967295 134512640 135180984 3217360800 3217360236 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17291/statm: 1316 646 63 164 0 1151 0
[pid=17291/tid=17292] ppid=17289 vsize=5264 CPUtime=0
/proc/17291/task/17292/stat : 17292 (satake) S 17289 17291 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 946289216 5390336 678 4294967295 134512640 135180984 3217360800 3086356496 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=17291/tid=17293] ppid=17289 vsize=5264 CPUtime=0
/proc/17291/task/17293/stat : 17293 (satake) R 17289 17291 30957 0 -1 4202560 608 0 0 0 0 0 0 0 20 0 5 0 946289216 5390336 683 4294967295 134512640 135180984 3217360800 3086291236 134583077 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17291/tid=17294] ppid=17289 vsize=5264 CPUtime=0
/proc/17291/task/17294/stat : 17294 (satake) R 17289 17291 30957 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 946289216 5390336 689 4294967295 134512640 135180984 3217360800 3086226244 134705812 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17291/tid=17295] ppid=17289 vsize=5264 CPUtime=0
/proc/17291/task/17295/stat : 17295 (satake) R 17289 17291 30957 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 946289216 5390336 694 4294967295 134512640 135180984 3217360800 3086160708 134705812 0 0 0 0 0 0 0 -1 3 0 0 0

[startup+0.047277 s]
/proc/loadavg: 2.88 2.99 2.99 3/98 17291
/proc/meminfo: memFree=3062156/3368532 swapFree=1959840/1959888
[pid=17291] ppid=17289 vsize=50404 CPUtime=0.07
/proc/17291/stat : 17291 (satake) S 17289 17291 30957 0 -1 4202496 10788 0 0 0 0 7 0 0 18 0 5 0 946289216 51613696 10745 4294967295 134512640 135180984 3217360800 3217360236 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17291/statm: 12601 10762 63 164 0 12436 0
[pid=17291/tid=17292] ppid=17289 vsize=50404 CPUtime=0
/proc/17291/task/17292/stat : 17292 (satake) S 17289 17291 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 946289216 51613696 10769 4294967295 134512640 135180984 3217360800 3086356496 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=17291/tid=17293] ppid=17289 vsize=50404 CPUtime=0.02
/proc/17291/task/17293/stat : 17293 (satake) R 17289 17291 30957 0 -1 4202560 2787 0 0 0 0 2 0 0 20 0 5 0 946289216 51613696 10778 4294967295 134512640 135180984 3217360800 3086291236 134583077 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17291/tid=17294] ppid=17289 vsize=50404 CPUtime=0.03
/proc/17291/task/17294/stat : 17294 (satake) R 17289 17291 30957 0 -1 4202560 3986 0 0 0 0 3 0 0 20 0 5 0 946289216 51613696 10785 4294967295 134512640 135180984 3217360800 3086225700 134583077 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17291/tid=17295] ppid=17289 vsize=50404 CPUtime=0.03
/proc/17291/task/17295/stat : 17295 (satake) R 17289 17291 30957 0 -1 4202560 3933 0 0 0 0 3 0 0 21 0 5 0 946289216 51613696 10793 4294967295 134512640 135180984 3217360800 3086160164 134583077 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 50404

[startup+0.107268 s]
/proc/loadavg: 2.88 2.99 2.99 3/98 17291
/proc/meminfo: memFree=3062156/3368532 swapFree=1959840/1959888
[pid=17291] ppid=17289 vsize=154816 CPUtime=0.25
/proc/17291/stat : 17291 (satake) S 17289 17291 30957 0 -1 4202496 25743 0 0 0 5 20 0 0 18 0 5 0 946289216 158531584 25669 4294967295 134512640 135180984 3217360800 3217360236 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17291/statm: 38704 25673 80 164 0 38539 0
[pid=17291/tid=17292] ppid=17289 vsize=154816 CPUtime=0
/proc/17291/task/17292/stat : 17292 (satake) S 17289 17291 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 946289216 158531584 25674 4294967295 134512640 135180984 3217360800 3086356496 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=17291/tid=17293] ppid=17289 vsize=154816 CPUtime=0.08
/proc/17291/task/17293/stat : 17293 (satake) R 17289 17291 30957 0 -1 4202560 8214 0 0 0 2 6 0 0 20 0 5 0 946289216 158531584 25677 4294967295 134512640 135180984 3217360800 3086291184 134522560 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17291/tid=17294] ppid=17289 vsize=154816 CPUtime=0.09
/proc/17291/task/17294/stat : 17294 (satake) R 17289 17291 30957 0 -1 4202560 8736 0 0 0 1 8 0 0 20 0 5 0 946289216 158531584 25679 4294967295 134512640 135180984 3217360800 3086225648 134522560 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17291/tid=17295] ppid=17289 vsize=154816 CPUtime=0.09
/proc/17291/task/17295/stat : 17295 (satake) R 17289 17291 30957 0 -1 4202560 8685 0 0 0 2 7 0 0 20 0 5 0 946289216 158531584 25683 4294967295 134512640 135180984 3217360800 3086160084 134680984 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 154816

[startup+0.307246 s]
/proc/loadavg: 2.88 2.99 2.99 3/98 17291
/proc/meminfo: memFree=3062156/3368532 swapFree=1959840/1959888
[pid=17291] ppid=17289 vsize=192308 CPUtime=0.84
/proc/17291/stat : 17291 (satake) S 17289 17291 30957 0 -1 4202496 41287 0 0 0 52 32 0 0 18 0 5 0 946289216 196923392 41204 4294967295 134512640 135180984 3217360800 3217360236 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17291/statm: 48077 41206 71 164 0 47912 0
[pid=17291/tid=17292] ppid=17289 vsize=192308 CPUtime=0
/proc/17291/task/17292/stat : 17292 (satake) S 17289 17291 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 946289216 196923392 41206 4294967295 134512640 135180984 3217360800 3086356496 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=17291/tid=17293] ppid=17289 vsize=192308 CPUtime=0.28
/proc/17291/task/17293/stat : 17293 (satake) R 17289 17291 30957 0 -1 4202560 13625 0 0 0 17 11 0 0 20 0 5 0 946289216 196923392 41206 4294967295 134512640 135180984 3217360800 3086291092 134579745 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17291/tid=17294] ppid=17289 vsize=192308 CPUtime=0.29
/proc/17291/task/17294/stat : 17294 (satake) R 17289 17291 30957 0 -1 4202560 13751 0 0 0 18 11 0 0 19 0 5 0 946289216 196923392 41206 4294967295 134512640 135180984 3217360800 3086225712 134513901 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17291/tid=17295] ppid=17289 vsize=192308 CPUtime=0.28
/proc/17291/task/17295/stat : 17295 (satake) R 17289 17291 30957 0 -1 4202560 13795 0 0 0 18 10 0 0 19 0 5 0 946289216 196923392 41206 4294967295 134512640 135180984 3217360800 3086160176 134535236 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 192308

[startup+0.707215 s]
/proc/loadavg: 2.88 2.99 2.99 3/98 17291
/proc/meminfo: memFree=3062156/3368532 swapFree=1959840/1959888
[pid=17291] ppid=17289 vsize=241880 CPUtime=2.04
/proc/17291/stat : 17291 (satake) S 17289 17291 30957 0 -1 4202496 58371 0 0 0 164 40 0 0 18 0 5 0 946289216 247685120 58280 4294967295 134512640 135180984 3217360800 3217360236 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17291/statm: 60470 58281 63 164 0 60305 0
[pid=17291/tid=17292] ppid=17289 vsize=241880 CPUtime=0
/proc/17291/task/17292/stat : 17292 (satake) S 17289 17291 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 946289216 247685120 58282 4294967295 134512640 135180984 3217360800 3086356496 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=17291/tid=17293] ppid=17289 vsize=241880 CPUtime=0.68
/proc/17291/task/17293/stat : 17293 (satake) R 17289 17291 30957 0 -1 4202560 19307 0 0 0 53 15 0 0 17 0 5 0 946289216 247685120 58282 4294967295 134512640 135180984 3217360800 3086291032 134675767 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17291/tid=17294] ppid=17289 vsize=241880 CPUtime=0.69
/proc/17291/task/17294/stat : 17294 (satake) R 17289 17291 30957 0 -1 4202560 19424 0 0 0 57 12 0 0 18 0 5 0 946289216 247685120 58282 4294967295 134512640 135180984 3217360800 3086225744 134513454 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17291/tid=17295] ppid=17289 vsize=241880 CPUtime=0.68
/proc/17291/task/17295/stat : 17295 (satake) R 17289 17291 30957 0 -1 4202560 19524 0 0 0 55 13 0 0 17 0 5 0 946289216 247685120 58283 4294967295 134512640 135180984 3217360800 3086160160 134513592 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 241880

[startup+1.50715 s]
/proc/loadavg: 2.88 2.99 2.99 3/103 17296
/proc/meminfo: memFree=2781252/3368532 swapFree=1959840/1959888
[pid=17291] ppid=17289 vsize=403644 CPUtime=4.41
/proc/17291/stat : 17291 (satake) S 17289 17291 30957 0 -1 4202496 84513 0 0 0 385 56 0 0 18 0 5 0 946289216 413331456 84422 4294967295 134512640 135180984 3217360800 3217360236 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17291/statm: 100911 84422 63 164 0 100746 0
[pid=17291/tid=17292] ppid=17289 vsize=403644 CPUtime=0
/proc/17291/task/17292/stat : 17292 (satake) S 17289 17291 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 946289216 413331456 84423 4294967295 134512640 135180984 3217360800 3086356496 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=17291/tid=17293] ppid=17289 vsize=403644 CPUtime=1.47
/proc/17291/task/17293/stat : 17293 (satake) R 17289 17291 30957 0 -1 4202560 27938 0 0 0 123 24 0 0 17 0 5 0 946289216 413331456 84424 4294967295 134512640 135180984 3217360800 3086291032 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17291/tid=17294] ppid=17289 vsize=403644 CPUtime=1.46
/proc/17291/task/17294/stat : 17294 (satake) R 17289 17291 30957 0 -1 4202560 28301 0 0 0 131 15 0 0 17 0 5 0 946289216 413331456 84424 4294967295 134512640 135180984 3217360800 3086225696 134513776 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17291/tid=17295] ppid=17289 vsize=403644 CPUtime=1.48
/proc/17291/task/17295/stat : 17295 (satake) R 17289 17291 30957 0 -1 4202560 28158 0 0 0 131 17 0 0 16 0 5 0 946289216 413331456 84424 4294967295 134512640 135180984 3217360800 3086160152 134513825 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 403644

[startup+3.10702 s]
/proc/loadavg: 2.88 2.99 2.99 5/103 17296
/proc/meminfo: memFree=2719968/3368532 swapFree=1959840/1959888
[pid=17291] ppid=17289 vsize=408168 CPUtime=9.21
/proc/17291/stat : 17291 (satake) S 17289 17291 30957 0 -1 4202496 85827 0 0 0 863 58 0 0 18 0 5 0 946289216 417964032 85736 4294967295 134512640 135180984 3217360800 3217360236 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17291/statm: 102042 85736 64 164 0 101877 0
[pid=17291/tid=17292] ppid=17289 vsize=408168 CPUtime=0
/proc/17291/task/17292/stat : 17292 (satake) S 17289 17291 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 946289216 417964032 85736 4294967295 134512640 135180984 3217360800 3086356496 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=17291/tid=17293] ppid=17289 vsize=408168 CPUtime=3.07
/proc/17291/task/17293/stat : 17293 (satake) R 17289 17291 30957 0 -1 4202560 28498 0 0 0 281 26 0 0 19 0 5 0 946289216 417964032 85736 4294967295 134512640 135180984 3217360800 3086291152 134520810 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17291/tid=17294] ppid=17289 vsize=408168 CPUtime=3.06
/proc/17291/task/17294/stat : 17294 (satake) R 17289 17291 30957 0 -1 4202560 28675 0 0 0 291 15 0 0 19 0 5 0 946289216 417964032 85736 4294967295 134512640 135180984 3217360800 3086225616 134520716 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17291/tid=17295] ppid=17289 vsize=408168 CPUtime=3.08
/proc/17291/task/17295/stat : 17295 (satake) R 17289 17291 30957 0 -1 4202560 28536 0 0 0 291 17 0 0 18 0 5 0 946289216 417964032 85736 4294967295 134512640 135180984 3217360800 3086160080 134520798 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9.21
Current children cumulated vsize (KiB) 408168

[startup+6.30675 s]
/proc/loadavg: 2.89 2.99 2.99 4/103 17296
/proc/meminfo: memFree=2788020/3368532 swapFree=1959840/1959888
[pid=17291] ppid=17289 vsize=338100 CPUtime=18.87
/proc/17291/stat : 17291 (satake) S 17289 17291 30957 0 -1 4202496 91393 0 0 0 1802 85 0 0 18 0 5 0 946289216 346214400 68748 4294967295 134512640 135180984 3217360800 3217360236 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17291/statm: 84525 68748 68 164 0 84360 0
[pid=17291/tid=17292] ppid=17289 vsize=338100 CPUtime=0.25
/proc/17291/task/17292/stat : 17292 (satake) S 17289 17291 30957 0 -1 4202560 4476 0 0 0 12 13 0 0 16 0 5 0 946289216 346214400 68748 4294967295 134512640 135180984 3217360800 3086356496 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=17291/tid=17293] ppid=17289 vsize=338100 CPUtime=6.2
/proc/17291/task/17293/stat : 17293 (satake) R 17289 17291 30957 0 -1 4202560 28899 0 0 0 587 33 0 0 20 0 5 0 946289216 346214400 68748 4294967295 134512640 135180984 3217360800 3086290728 134520871 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17291/tid=17294] ppid=17289 vsize=338100 CPUtime=6.22
/proc/17291/task/17294/stat : 17294 (satake) R 17289 17291 30957 0 -1 4202560 29089 0 0 0 602 20 0 0 25 0 5 0 946289216 346214400 68748 4294967295 134512640 135180984 3217360800 3086225196 134520865 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17291/tid=17295] ppid=17289 vsize=338100 CPUtime=6.2
/proc/17291/task/17295/stat : 17295 (satake) R 17289 17291 30957 0 -1 4202560 28818 0 0 0 601 19 0 0 21 0 5 0 946289216 346214400 68748 4294967295 134512640 135180984 3217360800 3086159664 134520798 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 18.87
Current children cumulated vsize (KiB) 338100

[startup+12.7062 s]
/proc/loadavg: 2.90 2.99 2.99 5/103 17297
/proc/meminfo: memFree=2787528/3368532 swapFree=1959840/1959888
[pid=17291] ppid=17289 vsize=338100 CPUtime=38.06
/proc/17291/stat : 17291 (satake) S 17289 17291 30957 0 -1 4202496 91393 0 0 0 3720 86 0 0 18 0 5 0 946289216 346214400 68748 4294967295 134512640 135180984 3217360800 3217360236 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17291/statm: 84525 68748 68 164 0 84360 0
[pid=17291/tid=17292] ppid=17289 vsize=338100 CPUtime=0.25
/proc/17291/task/17292/stat : 17292 (satake) S 17289 17291 30957 0 -1 4202560 4476 0 0 0 12 13 0 0 16 0 5 0 946289216 346214400 68748 4294967295 134512640 135180984 3217360800 3086356496 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=17291/tid=17293] ppid=17289 vsize=338100 CPUtime=12.6
/proc/17291/task/17293/stat : 17293 (satake) R 17289 17291 30957 0 -1 4202560 28899 0 0 0 1226 34 0 0 25 0 5 0 946289216 346214400 68748 4294967295 134512640 135180984 3217360800 3086290728 134520871 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17291/tid=17294] ppid=17289 vsize=338100 CPUtime=12.62
/proc/17291/task/17294/stat : 17294 (satake) R 17289 17291 30957 0 -1 4202560 29089 0 0 0 1242 20 0 0 25 0 5 0 946289216 346214400 68748 4294967295 134512640 135180984 3217360800 3086225200 134520800 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17291/tid=17295] ppid=17289 vsize=338100 CPUtime=12.59
/proc/17291/task/17295/stat : 17295 (satake) R 17289 17291 30957 0 -1 4202560 28818 0 0 0 1240 19 0 0 25 0 5 0 946289216 346214400 68748 4294967295 134512640 135180984 3217360800 3086159664 134520716 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 38.06
Current children cumulated vsize (KiB) 338100

[startup+25.5052 s]
/proc/loadavg: 2.92 2.99 2.99 4/103 17298
/proc/meminfo: memFree=2786724/3368532 swapFree=1959840/1959888
[pid=17291] ppid=17289 vsize=338552 CPUtime=77.04
/proc/17291/stat : 17291 (satake) S 17289 17291 30957 0 -1 4202496 91656 0 0 0 7494 210 0 0 18 0 5 0 946289216 346677248 69011 4294967295 134512640 135180984 3217360800 3217360236 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17291/statm: 84638 69011 68 164 0 84473 0
[pid=17291/tid=17292] ppid=17289 vsize=338552 CPUtime=1.03
/proc/17291/task/17292/stat : 17292 (satake) S 17289 17291 30957 0 -1 4202560 4503 0 0 0 26 77 0 0 16 0 5 0 946289216 346677248 69011 4294967295 134512640 135180984 3217360800 3086356496 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=17291/tid=17293] ppid=17289 vsize=338552 CPUtime=25.37
/proc/17291/task/17293/stat : 17293 (satake) R 17289 17291 30957 0 -1 4202560 28929 0 0 0 2479 58 0 0 25 0 5 0 946289216 346677248 69011 4294967295 134512640 135180984 3217360800 3086290800 134526529 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17291/tid=17294] ppid=17289 vsize=338552 CPUtime=25.33
/proc/17291/task/17294/stat : 17294 (satake) R 17289 17291 30957 0 -1 4202560 29201 0 0 0 2484 49 0 0 25 0 5 0 946289216 346677248 69011 4294967295 134512640 135180984 3217360800 3086225264 134528211 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17291/tid=17295] ppid=17289 vsize=338552 CPUtime=25.31
/proc/17291/task/17295/stat : 17295 (satake) R 17289 17291 30957 0 -1 4202560 28912 0 0 0 2505 26 0 0 25 0 5 0 946289216 346677248 69011 4294967295 134512640 135180984 3217360800 3086159664 134523803 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 77.04
Current children cumulated vsize (KiB) 338552

[startup+51.1031 s]
/proc/loadavg: 2.95 2.99 2.99 4/103 17482
/proc/meminfo: memFree=2773912/3368532 swapFree=1959840/1959888
[pid=17291] ppid=17289 vsize=352968 CPUtime=156.19
/proc/17291/stat : 17291 (satake) S 17289 17291 30957 0 -1 4202496 94877 0 0 0 14970 649 0 0 18 0 5 0 946289216 361439232 72232 4294967295 134512640 135180984 3217360800 3217360236 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17291/statm: 88242 72232 68 164 0 88077 0
[pid=17291/tid=17292] ppid=17289 vsize=352968 CPUtime=3.89
/proc/17291/task/17292/stat : 17292 (satake) S 17289 17291 30957 0 -1 4202560 5162 0 0 0 92 297 0 0 16 0 5 0 946289216 361439232 72232 4294967295 134512640 135180984 3217360800 3086356496 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=17291/tid=17293] ppid=17289 vsize=352968 CPUtime=50.84
/proc/17291/task/17293/stat : 17293 (satake) R 17289 17291 30957 0 -1 4202560 29877 0 0 0 4928 156 0 0 25 0 5 0 946289216 361439232 72232 4294967295 134512640 135180984 3217360800 3086290800 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17291/tid=17294] ppid=17289 vsize=352968 CPUtime=50.78
/proc/17291/task/17294/stat : 17294 (satake) R 17289 17291 30957 0 -1 4202560 29768 0 0 0 4947 131 0 0 25 0 5 0 946289216 361439232 72232 4294967295 134512640 135180984 3217360800 3086225200 134523667 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17291/tid=17295] ppid=17289 vsize=352968 CPUtime=50.69
/proc/17291/task/17295/stat : 17295 (satake) R 17289 17291 30957 0 -1 4202560 29959 0 0 0 5004 65 0 0 25 0 5 0 946289216 361439232 72232 4294967295 134512640 135180984 3217360800 3086159728 134528403 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 156.19
Current children cumulated vsize (KiB) 352968

[startup+102.309 s]
/proc/loadavg: 3.01 3.00 2.99 5/103 17674

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

[pid=17291/tid=17293] ppid=17289 vsize=490880 CPUtime=520.97
/proc/17291/task/17293/stat : 17293 (satake) R 17289 17291 30957 0 -1 4202560 39535 0 0 0 51601 496 0 0 25 0 5 0 946289216 502661120 105878 4294967295 134512640 135180984 3217360800 3086290792 134520860 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17291/tid=17294] ppid=17289 vsize=490880 CPUtime=516.24
/proc/17291/task/17294/stat : 17294 (satake) R 17289 17291 30957 0 -1 4202560 39179 0 0 0 51228 396 0 0 25 0 5 0 946289216 502661120 105878 4294967295 134512640 135180984 3217360800 3086225264 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17291/tid=17295] ppid=17289 vsize=490880 CPUtime=521.25
/proc/17291/task/17295/stat : 17295 (satake) R 17289 17291 30957 0 -1 4202560 39850 0 0 0 51755 370 0 0 25 0 5 0 946289216 502661120 105878 4294967295 134512640 135180984 3217360800 3086159728 134526482 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1573.86
Current children cumulated vsize (KiB) 490880

[startup+582.31 s]
/proc/loadavg: 3.08 3.03 3.01 4/103 19182
/proc/meminfo: memFree=2626552/3368532 swapFree=1959840/1959888
[pid=17291] ppid=17289 vsize=503544 CPUtime=1753.63
/proc/17291/stat : 17291 (satake) S 17289 17291 30957 0 -1 4202496 131461 0 0 0 172751 2612 0 0 18 0 5 0 946289216 515629056 108816 4294967295 134512640 135180984 3217360800 3217360236 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17291/statm: 125886 108816 68 164 0 125721 0
[pid=17291/tid=17292] ppid=17289 vsize=503544 CPUtime=16.58
/proc/17291/task/17292/stat : 17292 (satake) S 17289 17291 30957 0 -1 4202560 10276 0 0 0 402 1256 0 0 15 0 5 0 946289216 515629056 108816 4294967295 134512640 135180984 3217360800 3086356496 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17291/tid=17293] ppid=17289 vsize=503544 CPUtime=580.85
/proc/17291/task/17293/stat : 17293 (satake) R 17289 17291 30957 0 -1 4202560 40291 0 0 0 57562 523 0 0 25 0 5 0 946289216 515629056 108816 4294967295 134512640 135180984 3217360800 3086290800 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17291/tid=17294] ppid=17289 vsize=503544 CPUtime=575.05
/proc/17291/task/17294/stat : 17294 (satake) R 17289 17291 30957 0 -1 4202560 40136 0 0 0 57088 417 0 0 25 0 5 0 946289216 515629056 108816 4294967295 134512640 135180984 3217360800 3086225264 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17291/tid=17295] ppid=17289 vsize=503544 CPUtime=581.16
/proc/17291/task/17295/stat : 17295 (satake) R 17289 17291 30957 0 -1 4202560 40647 0 0 0 57700 416 0 0 25 0 5 0 946289216 515629056 108816 4294967295 134512640 135180984 3217360800 3086159696 134520004 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1753.63
Current children cumulated vsize (KiB) 503544

[startup+642.315 s]
/proc/loadavg: 3.10 3.04 3.01 4/103 19370
/proc/meminfo: memFree=2615788/3368532 swapFree=1959840/1959888
[pid=17291] ppid=17289 vsize=515624 CPUtime=1933.51
/proc/17291/stat : 17291 (satake) S 17289 17291 30957 0 -1 4202496 134130 0 0 0 190628 2723 0 0 18 0 5 0 946289216 527998976 111485 4294967295 134512640 135180984 3217360800 3217360236 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17291/statm: 128906 111485 68 164 0 128741 0
[pid=17291/tid=17292] ppid=17289 vsize=515624 CPUtime=17.32
/proc/17291/task/17292/stat : 17292 (satake) S 17289 17291 30957 0 -1 4202560 10626 0 0 0 419 1313 0 0 15 0 5 0 946289216 527998976 111485 4294967295 134512640 135180984 3217360800 3086356496 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17291/tid=17293] ppid=17289 vsize=515624 CPUtime=640.8
/proc/17291/task/17293/stat : 17293 (satake) R 17289 17291 30957 0 -1 4202560 40890 0 0 0 63547 533 0 0 25 0 5 0 946289216 527998976 111485 4294967295 134512640 135180984 3217360800 3086290800 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17291/tid=17294] ppid=17289 vsize=515624 CPUtime=634.28
/proc/17291/task/17294/stat : 17294 (satake) R 17289 17291 30957 0 -1 4202560 41138 0 0 0 62997 431 0 0 25 0 5 0 946289216 527998976 111485 4294967295 134512640 135180984 3217360800 3086225264 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17291/tid=17295] ppid=17289 vsize=515624 CPUtime=641.11
/proc/17291/task/17295/stat : 17295 (satake) R 17289 17291 30957 0 -1 4202560 41365 0 0 0 63665 446 0 0 25 0 5 0 946289216 527998976 111485 4294967295 134512640 135180984 3217360800 3086159728 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1933.51
Current children cumulated vsize (KiB) 515624

[startup+702.31 s]
/proc/loadavg: 3.03 3.03 3.00 4/103 19558
/proc/meminfo: memFree=2605768/3368532 swapFree=1959840/1959888
[pid=17291] ppid=17289 vsize=526160 CPUtime=2113.35
/proc/17291/stat : 17291 (satake) S 17289 17291 30957 0 -1 4202496 136678 0 0 0 208537 2798 0 0 18 0 5 0 946289216 538787840 114033 4294967295 134512640 135180984 3217360800 3217360236 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17291/statm: 131540 114033 68 164 0 131375 0
[pid=17291/tid=17292] ppid=17289 vsize=526160 CPUtime=17.86
/proc/17291/task/17292/stat : 17292 (satake) S 17289 17291 30957 0 -1 4202560 10889 0 0 0 436 1350 0 0 16 0 5 0 946289216 538787840 114033 4294967295 134512640 135180984 3217360800 3086356496 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17291/tid=17293] ppid=17289 vsize=526160 CPUtime=700.7
/proc/17291/task/17293/stat : 17293 (satake) R 17289 17291 30957 0 -1 4202560 41827 0 0 0 69524 546 0 0 25 0 5 0 946289216 538787840 114033 4294967295 134512640 135180984 3217360800 3086290796 134519895 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17291/tid=17294] ppid=17289 vsize=526160 CPUtime=693.72
/proc/17291/task/17294/stat : 17294 (satake) R 17289 17291 30957 0 -1 4202560 41980 0 0 0 68937 435 0 0 25 0 5 0 946289216 538787840 114033 4294967295 134512640 135180984 3217360800 3086225264 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17291/tid=17295] ppid=17289 vsize=526160 CPUtime=701.08
/proc/17291/task/17295/stat : 17295 (satake) R 17289 17291 30957 0 -1 4202560 41871 0 0 0 69641 467 0 0 25 0 5 0 946289216 538787840 114033 4294967295 134512640 135180984 3217360800 3086159728 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2113.35
Current children cumulated vsize (KiB) 526160

[startup+762.315 s]
/proc/loadavg: 3.01 3.02 3.00 4/103 19746
/proc/meminfo: memFree=2596188/3368532 swapFree=1959840/1959888
[pid=17291] ppid=17289 vsize=536224 CPUtime=2293.19
/proc/17291/stat : 17291 (satake) S 17289 17291 30957 0 -1 4202496 139121 0 0 0 226436 2883 0 0 18 0 5 0 946289216 549093376 116476 4294967295 134512640 135180984 3217360800 3217360236 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17291/statm: 134056 116476 68 164 0 133891 0
[pid=17291/tid=17292] ppid=17289 vsize=536224 CPUtime=18.53
/proc/17291/task/17292/stat : 17292 (satake) S 17289 17291 30957 0 -1 4202560 11197 0 0 0 456 1397 0 0 16 0 5 0 946289216 549093376 116476 4294967295 134512640 135180984 3217360800 3086356496 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17291/tid=17293] ppid=17289 vsize=536224 CPUtime=760.59
/proc/17291/task/17293/stat : 17293 (satake) R 17289 17291 30957 0 -1 4202560 42487 0 0 0 75500 559 0 0 25 0 5 0 946289216 549093376 116476 4294967295 134512640 135180984 3217360800 3086290800 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17291/tid=17294] ppid=17289 vsize=536224 CPUtime=753.03
/proc/17291/task/17294/stat : 17294 (satake) R 17289 17291 30957 0 -1 4202560 42669 0 0 0 74863 440 0 0 25 0 5 0 946289216 549093376 116476 4294967295 134512640 135180984 3217360800 3086225264 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17291/tid=17295] ppid=17289 vsize=536224 CPUtime=761.05
/proc/17291/task/17295/stat : 17295 (satake) R 17289 17291 30957 0 -1 4202560 42657 0 0 0 75618 487 0 0 25 0 5 0 946289216 549093376 116476 4294967295 134512640 135180984 3217360800 3086159728 134528465 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2293.19
Current children cumulated vsize (KiB) 536224

[startup+822.31 s]
/proc/loadavg: 3.00 3.02 3.00 4/103 19937
/proc/meminfo: memFree=2587128/3368532 swapFree=1959840/1959888
[pid=17291] ppid=17289 vsize=544400 CPUtime=2473.09
/proc/17291/stat : 17291 (satake) S 17289 17291 30957 0 -1 4202496 141212 0 0 0 244318 2991 0 0 18 0 5 0 946289216 557465600 118567 4294967295 134512640 135180984 3217360800 3217360236 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17291/statm: 136100 118567 68 164 0 135935 0
[pid=17291/tid=17292] ppid=17289 vsize=544400 CPUtime=19.2
/proc/17291/task/17292/stat : 17292 (satake) S 17289 17291 30957 0 -1 4202560 11491 0 0 0 474 1446 0 0 16 0 5 0 946289216 557465600 118567 4294967295 134512640 135180984 3217360800 3086356496 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17291/tid=17293] ppid=17289 vsize=544400 CPUtime=820.54
/proc/17291/task/17293/stat : 17293 (satake) R 17289 17291 30957 0 -1 4202560 43098 0 0 0 81480 574 0 0 25 0 5 0 946289216 557465600 118567 4294967295 134512640 135180984 3217360800 3086290792 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17291/tid=17294] ppid=17289 vsize=544400 CPUtime=812.33
/proc/17291/task/17294/stat : 17294 (satake) R 17289 17291 30957 0 -1 4202560 43307 0 0 0 80778 455 0 0 25 0 5 0 946289216 557465600 118567 4294967295 134512640 135180984 3217360800 3086225264 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17291/tid=17295] ppid=17289 vsize=544400 CPUtime=821.03
/proc/17291/task/17295/stat : 17295 (satake) R 17289 17291 30957 0 -1 4202560 43205 0 0 0 81587 516 0 0 25 0 5 0 946289216 557465600 118567 4294967295 134512640 135180984 3217360800 3086159728 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2473.09
Current children cumulated vsize (KiB) 544400

[startup+882.315 s]
/proc/loadavg: 3.00 3.01 3.00 4/103 20125
/proc/meminfo: memFree=2578936/3368532 swapFree=1959840/1959888
[pid=17291] ppid=17289 vsize=552772 CPUtime=2652.99
/proc/17291/stat : 17291 (satake) S 17289 17291 30957 0 -1 4202496 143292 0 0 0 262207 3092 0 0 18 0 5 0 946289216 566038528 120647 4294967295 134512640 135180984 3217360800 3217360236 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17291/statm: 138193 120647 68 164 0 138028 0
[pid=17291/tid=17292] ppid=17289 vsize=552772 CPUtime=19.82
/proc/17291/task/17292/stat : 17292 (satake) S 17289 17291 30957 0 -1 4202560 11788 0 0 0 487 1495 0 0 15 0 5 0 946289216 566038528 120647 4294967295 134512640 135180984 3217360800 3086356496 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17291/tid=17293] ppid=17289 vsize=552772 CPUtime=880.48
/proc/17291/task/17293/stat : 17293 (satake) R 17289 17291 30957 0 -1 4202560 43627 0 0 0 87462 586 0 0 25 0 5 0 946289216 566038528 120647 4294967295 134512640 135180984 3217360800 3086290800 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17291/tid=17294] ppid=17289 vsize=552772 CPUtime=871.7
/proc/17291/task/17294/stat : 17294 (satake) R 17289 17291 30957 0 -1 4202560 43928 0 0 0 86705 465 0 0 25 0 5 0 946289216 566038528 120647 4294967295 134512640 135180984 3217360800 3086225264 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17291/tid=17295] ppid=17289 vsize=552772 CPUtime=881
/proc/17291/task/17295/stat : 17295 (satake) R 17289 17291 30957 0 -1 4202560 43838 0 0 0 87554 546 0 0 25 0 5 0 946289216 566038528 120647 4294967295 134512640 135180984 3217360800 3086159720 134520863 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2652.99
Current children cumulated vsize (KiB) 552772

[startup+942.31 s]
/proc/loadavg: 3.00 3.00 3.00 4/103 20313
/proc/meminfo: memFree=2569512/3368532 swapFree=1959840/1959888
[pid=17291] ppid=17289 vsize=562796 CPUtime=2832.86
/proc/17291/stat : 17291 (satake) S 17289 17291 30957 0 -1 4202496 145702 0 0 0 279999 3287 0 0 18 0 5 0 946289216 576303104 123057 4294967295 134512640 135180984 3217360800 3217360236 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17291/statm: 140699 123057 68 164 0 140534 0
[pid=17291/tid=17292] ppid=17289 vsize=562796 CPUtime=21.06
/proc/17291/task/17292/stat : 17292 (satake) S 17289 17291 30957 0 -1 4202560 12273 0 0 0 516 1590 0 0 16 0 5 0 946289216 576303104 123057 4294967295 134512640 135180984 3217360800 3086356496 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17291/tid=17293] ppid=17289 vsize=562796 CPUtime=940.45
/proc/17291/task/17293/stat : 17293 (satake) R 17289 17291 30957 0 -1 4202560 44312 0 0 0 93428 617 0 0 25 0 5 0 946289216 576303104 123057 4294967295 134512640 135180984 3217360800 3086290800 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17291/tid=17294] ppid=17289 vsize=562796 CPUtime=930.44
/proc/17291/task/17294/stat : 17294 (satake) R 17289 17291 30957 0 -1 4202560 44510 0 0 0 92562 482 0 0 25 0 5 0 946289216 576303104 123057 4294967295 134512640 135180984 3217360800 3086225264 134528211 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17291/tid=17295] ppid=17289 vsize=562796 CPUtime=940.92
/proc/17291/task/17295/stat : 17295 (satake) R 17289 17291 30957 0 -1 4202560 44496 0 0 0 93494 598 0 0 25 0 5 0 946289216 576303104 123057 4294967295 134512640 135180984 3217360800 3086159728 134528211 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2832.86
Current children cumulated vsize (KiB) 562796



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.02 s]
/proc/loadavg: 3.07 3.02 3.00 4/103 20501
/proc/meminfo: memFree=2563732/3368532 swapFree=1959840/1959888
[pid=17291] ppid=17289 vsize=566344 CPUtime=3006.02
/proc/17291/stat : 17291 (satake) S 17289 17291 30957 0 -1 4202496 146907 0 0 0 297161 3441 0 0 18 0 5 0 946289216 579936256 124262 4294967295 134512640 135180984 3217360800 3217360236 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17291/statm: 141586 124262 68 164 0 141421 0
[pid=17291/tid=17292] ppid=17289 vsize=566344 CPUtime=22.05
/proc/17291/task/17292/stat : 17292 (satake) S 17289 17291 30957 0 -1 4202560 12585 0 0 0 541 1664 0 0 16 0 5 0 946289216 579936256 124262 4294967295 134512640 135180984 3217360800 3086356496 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17291/tid=17293] ppid=17289 vsize=566344 CPUtime=998.08
/proc/17291/task/17293/stat : 17293 (satake) R 17289 17291 30957 0 -1 4202560 44661 0 0 0 99170 638 0 0 25 0 5 0 946289216 579936256 124262 4294967295 134512640 135180984 3217360800 3086290800 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17291/tid=17294] ppid=17289 vsize=566344 CPUtime=987.32
/proc/17291/task/17294/stat : 17294 (satake) R 17289 17291 30957 0 -1 4202560 44821 0 0 0 98226 506 0 0 25 0 5 0 946289216 579936256 124262 4294967295 134512640 135180984 3217360800 3086225264 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17291/tid=17295] ppid=17289 vsize=566344 CPUtime=998.57
/proc/17291/task/17295/stat : 17295 (satake) R 17289 17291 30957 0 -1 4202560 44729 0 0 0 99224 633 0 0 25 0 5 0 946289216 579936256 124262 4294967295 134512640 135180984 3217360800 3086159656 134518224 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3006.02
Current children cumulated vsize (KiB) 566344

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): 3006.09
CPU user time (s): 2971.66
CPU system time (s): 34.43
CPU usage (%): 300.59
Max. virtual memory (cumulated for all children) (KiB): 566344

deleting IPC queue 12582912
deleting IPC queue 12615681
deleting IPC queue 12648450
deleting IPC queue 12681219
deleting IPC queue 12713988
deleting IPC queue 12746757
deleting IPC queue 12779526
deleting IPC queue 12812295
deleting IPC queue 12845064
deleting IPC queue 12877833
deleting IPC queue 12910602
deleting IPC queue 12943371
deleting IPC queue 12976140
deleting IPC queue 13008909
deleting IPC queue 13041678
deleting IPC queue 13074447

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2971.66
system time used= 34.43
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146907
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= 1861498
involuntary context switches= 1178007

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-30 03:32:03
IDJOB=1780300
IDBENCH=70967
IDSOLVER=629
FILE ID=tipi39/1780300-1243647123
PBS_JOBID=
Free space on /tmp= 5714 MiB

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

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

MD5SUM BENCH= 370a08d01be1cc652e9a09ab1aafdced
RANDOM SEED= 2027342707

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

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


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3062452 kB
Buffers:         57320 kB
Cached:         145768 kB
SwapCached:          0 kB
Active:         120532 kB
Inactive:        98424 kB
HighTotal:     2489216 kB
HighFree:      2330540 kB
LowTotal:       879316 kB
LowFree:        731912 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:           31276 kB
Writeback:           0 kB
AnonPages:       15936 kB
Mapped:           6056 kB
Slab:            77600 kB
SReclaimable:    67228 kB
SUnreclaim:      10372 kB
PageTables:        528 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    94792 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 5714 MiB
End job on tipi39 at 2009-05-30 03:48:47