Trace number 1780420

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

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UR-15-10p1.cnf
MD5SUM558e9ecf39a7773e94f4b47eef706f44
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3352.07
Satisfiable
(Un)Satisfiability was proved
Number of variables199996
Number of clauses1019200
Sum of the clauses size2430990
Maximum clause length10
Minimum clause length1
Number of clauses of size 110249
Number of clauses of size 2758992
Number of clauses of size 3198999
Number of clauses of size 45660
Number of clauses of size 522640
Number of clauses of size over 522660

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1780420-1243647505/watcher-1780420-1243647505 -o /tmp/evaluation-result-1780420-1243647505/solver-1780420-1243647505 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780420-1243647505.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.79 2.98 2.98 3/99 10210
/proc/meminfo: memFree=3117840/3368532 swapFree=1953580/1959888
[pid=10210] ppid=10208 vsize=3212 CPUtime=0
/proc/10210/stat : 10210 (satake) S 10208 10210 21929 0 -1 4202496 624 0 0 0 0 0 0 0 18 0 5 0 1129415028 3289088 580 4294967295 134512640 135180984 3217641456 3217640892 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10210/statm: 803 584 63 164 0 638 0
[pid=10210/tid=10211] ppid=10208 vsize=5260 CPUtime=0
/proc/10210/task/10211/stat : 10211 (satake) S 10208 10210 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129415028 5386240 663 4294967295 134512640 135180984 3217641456 3086712848 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=10210/tid=10212] ppid=10208 vsize=5260 CPUtime=0
/proc/10210/task/10212/stat : 10212 (satake) R 10208 10210 21929 0 -1 4202560 594 0 0 0 0 0 0 0 20 0 5 0 1129415028 5386240 668 4294967295 134512640 135180984 3217641456 3086647588 134583077 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10210/tid=10213] ppid=10208 vsize=5260 CPUtime=0
/proc/10210/task/10213/stat : 10213 (satake) R 10208 10210 21929 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1129415028 5386240 672 4294967295 134512640 135180984 3217641456 3086582596 134705812 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10210/tid=10214] ppid=10208 vsize=5260 CPUtime=0
/proc/10210/task/10214/stat : 10214 (satake) R 10208 10210 21929 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1129415028 5386240 678 4294967295 134512640 135180984 3217641456 3086517060 134705812 0 0 0 0 0 0 0 -1 1 0 0 0

[startup+0.08684 s]
/proc/loadavg: 2.79 2.98 2.98 3/99 10210
/proc/meminfo: memFree=3117840/3368532 swapFree=1953580/1959888
[pid=10210] ppid=10208 vsize=88876 CPUtime=0.19
/proc/10210/stat : 10210 (satake) S 10208 10210 21929 0 -1 4202496 20583 0 0 0 3 16 0 0 18 0 5 0 1129415028 91009024 20507 4294967295 134512640 135180984 3217641456 3217640892 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10210/statm: 22219 20507 63 164 0 22054 0
[pid=10210/tid=10211] ppid=10208 vsize=88876 CPUtime=0
/proc/10210/task/10211/stat : 10211 (satake) S 10208 10210 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129415028 91009024 20507 4294967295 134512640 135180984 3217641456 3086712848 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=10210/tid=10212] ppid=10208 vsize=88876 CPUtime=0.08
/proc/10210/task/10212/stat : 10212 (satake) D 10208 10210 21929 0 -1 4202560 8498 0 0 0 0 8 0 0 20 0 5 0 1129415028 91009024 20507 4294967295 134512640 135180984 3217641456 3086647360 134702260 0 0 0 0 3223098951 0 0 -1 1 0 0 0
[pid=10210/tid=10213] ppid=10208 vsize=88876 CPUtime=0.05
/proc/10210/task/10213/stat : 10213 (satake) R 10208 10210 21929 0 -1 4202560 5890 0 0 0 1 4 0 0 20 0 5 0 1129415028 91009024 20507 4294967295 134512640 135180984 3217641456 3086582000 134522560 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10210/tid=10214] ppid=10208 vsize=88876 CPUtime=0.06
/proc/10210/task/10214/stat : 10214 (satake) D 10208 10210 21929 0 -1 4202560 6077 0 0 0 2 4 0 0 20 0 5 0 1129415028 91009024 20507 4294967295 134512640 135180984 3217641456 3086516296 134675846 0 0 0 0 3223098951 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 88876

[startup+0.116728 s]
/proc/loadavg: 2.79 2.98 2.98 3/99 10210
/proc/meminfo: memFree=3117840/3368532 swapFree=1953580/1959888
[pid=10210] ppid=10208 vsize=117368 CPUtime=0.28
/proc/10210/stat : 10210 (satake) S 10208 10210 21929 0 -1 4202496 25617 0 0 0 10 18 0 0 18 0 5 0 1129415028 120184832 25541 4294967295 134512640 135180984 3217641456 3217640892 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10210/statm: 29342 25545 63 164 0 29177 0
[pid=10210/tid=10211] ppid=10208 vsize=117368 CPUtime=0
/proc/10210/task/10211/stat : 10211 (satake) S 10208 10210 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129415028 120184832 25547 4294967295 134512640 135180984 3217641456 3086712848 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=10210/tid=10212] ppid=10208 vsize=117368 CPUtime=0.11
/proc/10210/task/10212/stat : 10212 (satake) R 10208 10210 21929 0 -1 4202560 9851 0 0 0 3 8 0 0 20 0 5 0 1129415028 120184832 25548 4294967295 134512640 135180984 3217641456 3086647600 134535220 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10210/tid=10213] ppid=10208 vsize=117368 CPUtime=0.08
/proc/10210/task/10213/stat : 10213 (satake) R 10208 10210 21929 0 -1 4202560 7710 0 0 0 3 5 0 0 20 0 5 0 1129415028 120184832 25552 4294967295 134512640 135180984 3217641456 3086582016 134522388 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10210/tid=10214] ppid=10208 vsize=117368 CPUtime=0.09
/proc/10210/task/10214/stat : 10214 (satake) R 10208 10210 21929 0 -1 4202560 7950 0 0 0 4 5 0 0 20 0 5 0 1129415028 120184832 25553 4294967295 134512640 135180984 3217641456 3086516296 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 117368

[startup+0.3167 s]
/proc/loadavg: 2.79 2.98 2.98 3/99 10210
/proc/meminfo: memFree=3117840/3368532 swapFree=1953580/1959888
[pid=10210] ppid=10208 vsize=157640 CPUtime=0.84
/proc/10210/stat : 10210 (satake) S 10208 10210 21929 0 -1 4202496 32777 0 0 0 58 26 0 0 18 0 5 0 1129415028 161423360 32701 4294967295 134512640 135180984 3217641456 3217640892 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10210/statm: 39410 32701 63 164 0 39245 0
[pid=10210/tid=10211] ppid=10208 vsize=157640 CPUtime=0
/proc/10210/task/10211/stat : 10211 (satake) S 10208 10210 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129415028 161423360 32701 4294967295 134512640 135180984 3217641456 3086712848 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=10210/tid=10212] ppid=10208 vsize=157640 CPUtime=0.31
/proc/10210/task/10212/stat : 10212 (satake) R 10208 10210 21929 0 -1 4202560 10912 0 0 0 20 11 0 0 19 0 5 0 1129415028 161423360 32701 4294967295 134512640 135180984 3217641456 3086647524 134681037 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10210/tid=10213] ppid=10208 vsize=157640 CPUtime=0.28
/proc/10210/task/10213/stat : 10213 (satake) R 10208 10210 21929 0 -1 4202560 10808 0 0 0 20 8 0 0 18 0 5 0 1129415028 161423360 32702 4294967295 134512640 135180984 3217641456 3086581732 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10210/tid=10214] ppid=10208 vsize=157640 CPUtime=0.25
/proc/10210/task/10214/stat : 10214 (satake) R 10208 10210 21929 0 -1 4202560 10940 0 0 0 18 7 0 0 18 0 5 0 1129415028 161423360 32702 4294967295 134512640 135180984 3217641456 3086516312 134675767 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) 157640

[startup+0.716658 s]
/proc/loadavg: 2.79 2.98 2.98 3/99 10210
/proc/meminfo: memFree=3117840/3368532 swapFree=1953580/1959888
[pid=10210] ppid=10208 vsize=186404 CPUtime=1.97
/proc/10210/stat : 10210 (satake) S 10208 10210 21929 0 -1 4202496 39763 0 0 0 167 30 0 0 18 0 5 0 1129415028 190877696 39687 4294967295 134512640 135180984 3217641456 3217640892 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10210/statm: 46601 39687 63 164 0 46436 0
[pid=10210/tid=10211] ppid=10208 vsize=186404 CPUtime=0
/proc/10210/task/10211/stat : 10211 (satake) S 10208 10210 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129415028 190877696 39688 4294967295 134512640 135180984 3217641456 3086712848 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=10210/tid=10212] ppid=10208 vsize=186404 CPUtime=0.67
/proc/10210/task/10212/stat : 10212 (satake) R 10208 10210 21929 0 -1 4202560 13245 0 0 0 54 13 0 0 18 0 5 0 1129415028 190877696 39688 4294967295 134512640 135180984 3217641456 3086647384 134675767 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10210/tid=10213] ppid=10208 vsize=186404 CPUtime=0.67
/proc/10210/task/10213/stat : 10213 (satake) R 10208 10210 21929 0 -1 4202560 13138 0 0 0 58 9 0 0 16 0 5 0 1129415028 190877696 39689 4294967295 134512640 135180984 3217641456 3086582016 134519833 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10210/tid=10214] ppid=10208 vsize=186404 CPUtime=0.63
/proc/10210/task/10214/stat : 10214 (satake) R 10208 10210 21929 0 -1 4202560 13264 0 0 0 55 8 0 0 16 0 5 0 1129415028 190877696 39689 4294967295 134512640 135180984 3217641456 3086516312 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 186404

[startup+1.52658 s]
/proc/loadavg: 2.79 2.98 2.98 4/104 10398
/proc/meminfo: memFree=2931588/3368532 swapFree=1953580/1959888
[pid=10210] ppid=10208 vsize=238764 CPUtime=4.35
/proc/10210/stat : 10210 (satake) S 10208 10210 21929 0 -1 4202496 54083 0 0 0 390 45 0 0 18 0 5 0 1129415028 244494336 54007 4294967295 134512640 135180984 3217641456 3217640892 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10210/statm: 59691 54007 64 164 0 59526 0
[pid=10210/tid=10211] ppid=10208 vsize=238764 CPUtime=0
/proc/10210/task/10211/stat : 10211 (satake) S 10208 10210 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129415028 244494336 54007 4294967295 134512640 135180984 3217641456 3086712848 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=10210/tid=10212] ppid=10208 vsize=238764 CPUtime=1.48
/proc/10210/task/10212/stat : 10212 (satake) R 10208 10210 21929 0 -1 4202560 17945 0 0 0 127 21 0 0 16 0 5 0 1129415028 244494336 54007 4294967295 134512640 135180984 3217641456 3086647564 134520901 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10210/tid=10213] ppid=10208 vsize=238764 CPUtime=1.47
/proc/10210/task/10213/stat : 10213 (satake) R 10208 10210 21929 0 -1 4202560 17913 0 0 0 134 13 0 0 15 0 5 0 1129415028 244494336 54007 4294967295 134512640 135180984 3217641456 3086581960 134520863 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10210/tid=10214] ppid=10208 vsize=238764 CPUtime=1.4
/proc/10210/task/10214/stat : 10214 (satake) R 10208 10210 21929 0 -1 4202560 18107 0 0 0 129 11 0 0 16 0 5 0 1129415028 244494336 54007 4294967295 134512640 135180984 3217641456 3086516440 134579745 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 238764

[startup+3.11643 s]
/proc/loadavg: 2.79 2.98 2.98 4/104 10398
/proc/meminfo: memFree=2951988/3368532 swapFree=1953580/1959888
[pid=10210] ppid=10208 vsize=188544 CPUtime=9.19
/proc/10210/stat : 10210 (satake) S 10208 10210 21929 0 -1 4202496 55903 0 0 0 866 53 0 0 18 0 5 0 1129415028 193069056 41715 4294967295 134512640 135180984 3217641456 3217640892 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10210/statm: 47136 41715 68 164 0 46971 0
[pid=10210/tid=10211] ppid=10208 vsize=188544 CPUtime=0.11
/proc/10210/task/10211/stat : 10211 (satake) S 10208 10210 21929 0 -1 4202560 1186 0 0 0 5 6 0 0 16 0 5 0 1129415028 193069056 41715 4294967295 134512640 135180984 3217641456 3086712848 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=10210/tid=10212] ppid=10208 vsize=188544 CPUtime=3.07
/proc/10210/task/10212/stat : 10212 (satake) R 10208 10210 21929 0 -1 4202560 18163 0 0 0 286 21 0 0 17 0 5 0 1129415028 193069056 41715 4294967295 134512640 135180984 3217641456 3086647152 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10210/tid=10213] ppid=10208 vsize=188544 CPUtime=3.04
/proc/10210/task/10213/stat : 10213 (satake) R 10208 10210 21929 0 -1 4202560 18124 0 0 0 290 14 0 0 17 0 5 0 1129415028 193069056 41715 4294967295 134512640 135180984 3217641456 3086581612 134523599 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10210/tid=10214] ppid=10208 vsize=188544 CPUtime=2.97
/proc/10210/task/10214/stat : 10214 (satake) R 10208 10210 21929 0 -1 4202560 18319 0 0 0 285 12 0 0 17 0 5 0 1129415028 193069056 41715 4294967295 134512640 135180984 3217641456 3086516080 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9.19
Current children cumulated vsize (KiB) 188544

[startup+6.31613 s]
/proc/loadavg: 2.81 2.98 2.98 4/104 10398
/proc/meminfo: memFree=2950232/3368532 swapFree=1953580/1959888
[pid=10210] ppid=10208 vsize=189776 CPUtime=18.84
/proc/10210/stat : 10210 (satake) S 10208 10210 21929 0 -1 4202496 56353 0 0 0 1818 66 0 0 18 0 5 0 1129415028 194330624 42165 4294967295 134512640 135180984 3217641456 3217640892 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10210/statm: 47444 42165 68 164 0 47279 0
[pid=10210/tid=10211] ppid=10208 vsize=189776 CPUtime=0.18
/proc/10210/task/10211/stat : 10211 (satake) S 10208 10210 21929 0 -1 4202560 1187 0 0 0 7 11 0 0 16 0 5 0 1129415028 194330624 42165 4294967295 134512640 135180984 3217641456 3086712848 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=10210/tid=10212] ppid=10208 vsize=189776 CPUtime=6.25
/proc/10210/task/10212/stat : 10212 (satake) R 10208 10210 21929 0 -1 4202560 18335 0 0 0 603 22 0 0 23 0 5 0 1129415028 194330624 42165 4294967295 134512640 135180984 3217641456 3086647144 134520863 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10210/tid=10213] ppid=10208 vsize=189776 CPUtime=6.24
/proc/10210/task/10213/stat : 10213 (satake) R 10208 10210 21929 0 -1 4202560 18342 0 0 0 605 19 0 0 23 0 5 0 1129415028 194330624 42165 4294967295 134512640 135180984 3217641456 3086581616 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10210/tid=10214] ppid=10208 vsize=189776 CPUtime=6.17
/proc/10210/task/10214/stat : 10214 (satake) R 10208 10210 21929 0 -1 4202560 18378 0 0 0 603 14 0 0 21 0 5 0 1129415028 194330624 42165 4294967295 134512640 135180984 3217641456 3086516080 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 18.84
Current children cumulated vsize (KiB) 189776

[startup+12.7155 s]
/proc/loadavg: 2.83 2.98 2.98 4/104 10399
/proc/meminfo: memFree=2947660/3368532 swapFree=1953580/1959888
[pid=10210] ppid=10208 vsize=192680 CPUtime=38.15
/proc/10210/stat : 10210 (satake) S 10208 10210 21929 0 -1 4202496 57172 0 0 0 3723 92 0 0 18 0 5 0 1129415028 197304320 42984 4294967295 134512640 135180984 3217641456 3217640892 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10210/statm: 48170 42984 68 164 0 48005 0
[pid=10210/tid=10211] ppid=10208 vsize=192680 CPUtime=0.33
/proc/10210/task/10211/stat : 10211 (satake) S 10208 10210 21929 0 -1 4202560 1196 0 0 0 10 23 0 0 16 0 5 0 1129415028 197304320 42984 4294967295 134512640 135180984 3217641456 3086712848 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=10210/tid=10212] ppid=10208 vsize=192680 CPUtime=12.63
/proc/10210/task/10212/stat : 10212 (satake) R 10208 10210 21929 0 -1 4202560 18629 0 0 0 1238 25 0 0 25 0 5 0 1129415028 197304320 42984 4294967295 134512640 135180984 3217641456 3086647152 134521036 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10210/tid=10213] ppid=10208 vsize=192680 CPUtime=12.62
/proc/10210/task/10213/stat : 10213 (satake) R 10208 10210 21929 0 -1 4202560 18695 0 0 0 1238 24 0 0 25 0 5 0 1129415028 197304320 42984 4294967295 134512640 135180984 3217641456 3086581604 134524339 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10210/tid=10214] ppid=10208 vsize=192680 CPUtime=12.57
/proc/10210/task/10214/stat : 10214 (satake) R 10208 10210 21929 0 -1 4202560 18541 0 0 0 1237 20 0 0 25 0 5 0 1129415028 197304320 42984 4294967295 134512640 135180984 3217641456 3086516072 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 38.15
Current children cumulated vsize (KiB) 192680

[startup+25.5143 s]
/proc/loadavg: 2.86 2.98 2.98 4/104 10400
/proc/meminfo: memFree=2937456/3368532 swapFree=1953580/1959888
[pid=10210] ppid=10208 vsize=202228 CPUtime=76.76
/proc/10210/stat : 10210 (satake) S 10208 10210 21929 0 -1 4202496 59649 0 0 0 7550 126 0 0 18 0 5 0 1129415028 207081472 45461 4294967295 134512640 135180984 3217641456 3217640892 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10210/statm: 50557 45461 68 164 0 50392 0
[pid=10210/tid=10211] ppid=10208 vsize=202228 CPUtime=0.58
/proc/10210/task/10211/stat : 10211 (satake) S 10208 10210 21929 0 -1 4202560 1233 0 0 0 20 38 0 0 16 0 5 0 1129415028 207081472 45461 4294967295 134512640 135180984 3217641456 3086712848 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=10210/tid=10212] ppid=10208 vsize=202228 CPUtime=25.43
/proc/10210/task/10212/stat : 10212 (satake) R 10208 10210 21929 0 -1 4202560 19617 0 0 0 2511 32 0 0 25 0 5 0 1129415028 207081472 45461 4294967295 134512640 135180984 3217641456 3086647152 134521074 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10210/tid=10213] ppid=10208 vsize=202228 CPUtime=25.4
/proc/10210/task/10213/stat : 10213 (satake) R 10208 10210 21929 0 -1 4202560 19616 0 0 0 2509 31 0 0 25 0 5 0 1129415028 207081472 45461 4294967295 134512640 135180984 3217641456 3086581616 134526529 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10210/tid=10214] ppid=10208 vsize=202228 CPUtime=25.35
/proc/10210/task/10214/stat : 10214 (satake) R 10208 10210 21929 0 -1 4202560 19072 0 0 0 2510 25 0 0 25 0 5 0 1129415028 207081472 45461 4294967295 134512640 135180984 3217641456 3086515952 134522609 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 76.76
Current children cumulated vsize (KiB) 202228

[startup+51.1119 s]
/proc/loadavg: 2.91 2.98 2.98 4/104 10407
/proc/meminfo: memFree=2917016/3368532 swapFree=1953580/1959888
[pid=10210] ppid=10208 vsize=223060 CPUtime=153.97
/proc/10210/stat : 10210 (satake) S 10208 10210 21929 0 -1 4202496 64816 0 0 0 15198 199 0 0 18 0 5 0 1129415028 228413440 50628 4294967295 134512640 135180984 3217641456 3217640892 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10210/statm: 55765 50628 68 164 0 55600 0
[pid=10210/tid=10211] ppid=10208 vsize=223060 CPUtime=1.03
/proc/10210/task/10211/stat : 10211 (satake) S 10208 10210 21929 0 -1 4202560 1295 0 0 0 34 69 0 0 16 0 5 0 1129415028 228413440 50628 4294967295 134512640 135180984 3217641456 3086712848 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=10210/tid=10212] ppid=10208 vsize=223060 CPUtime=51.02
/proc/10210/task/10212/stat : 10212 (satake) R 10208 10210 21929 0 -1 4202560 21657 0 0 0 5063 39 0 0 25 0 5 0 1129415028 228413440 50628 4294967295 134512640 135180984 3217641456 3086647152 134528470 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10210/tid=10213] ppid=10208 vsize=223060 CPUtime=51
/proc/10210/task/10213/stat : 10213 (satake) R 10208 10210 21929 0 -1 4202560 21498 0 0 0 5047 53 0 0 25 0 5 0 1129415028 228413440 50629 4294967295 134512640 135180984 3217641456 3086581512 134518216 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10210/tid=10214] ppid=10208 vsize=223060 CPUtime=50.92
/proc/10210/task/10214/stat : 10214 (satake) R 10208 10210 21929 0 -1 4202560 20256 0 0 0 5054 38 0 0 25 0 5 0 1129415028 228413440 50629 4294967295 134512640 135180984 3217641456 3086515912 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 153.97
Current children cumulated vsize (KiB) 223060

[startup+102.317 s]
/proc/loadavg: 3.02 2.99 2.98 4/104 10593

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

[pid=10210/tid=10212] ppid=10208 vsize=587140 CPUtime=520.36
/proc/10210/task/10212/stat : 10212 (satake) R 10208 10210 21929 0 -1 4202560 55270 0 0 0 51911 125 0 0 25 0 5 0 1129415028 601231360 141309 4294967295 134512640 135180984 3217641456 3086647152 134528680 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10210/tid=10213] ppid=10208 vsize=587140 CPUtime=521.81
/proc/10210/task/10213/stat : 10213 (satake) R 10208 10210 21929 0 -1 4202560 51974 0 0 0 52041 140 0 0 25 0 5 0 1129415028 601231360 141309 4294967295 134512640 135180984 3217641456 3086581512 134518214 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10210/tid=10214] ppid=10208 vsize=587140 CPUtime=521.82
/proc/10210/task/10214/stat : 10214 (satake) R 10208 10210 21929 0 -1 4202560 46637 0 0 0 52079 103 0 0 25 0 5 0 1129415028 601231360 141309 4294967295 134512640 135180984 3217641456 3086516076 134518208 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1566.8
Current children cumulated vsize (KiB) 587140

[startup+582.311 s]
/proc/loadavg: 3.04 3.03 3.00 4/104 12103
/proc/meminfo: memFree=2510092/3368532 swapFree=1953580/1959888
[pid=10210] ppid=10208 vsize=630376 CPUtime=1746.75
/proc/10210/stat : 10210 (satake) S 10208 10210 21929 0 -1 4202496 166293 0 0 0 174082 593 0 0 18 0 5 0 1129415028 645505024 152105 4294967295 134512640 135180984 3217641456 3217640892 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10210/statm: 157594 152105 68 164 0 157429 0
[pid=10210/tid=10211] ppid=10208 vsize=630376 CPUtime=2.98
/proc/10210/task/10211/stat : 10211 (satake) S 10208 10210 21929 0 -1 4202560 1514 0 0 0 91 207 0 0 16 0 5 0 1129415028 645505024 152105 4294967295 134512640 135180984 3217641456 3086712848 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=10210/tid=10212] ppid=10208 vsize=630376 CPUtime=580.24
/proc/10210/task/10212/stat : 10212 (satake) R 10208 10210 21929 0 -1 4202560 59155 0 0 0 57897 127 0 0 25 0 5 0 1129415028 645505024 152105 4294967295 134512640 135180984 3217641456 3086647144 134518224 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10210/tid=10213] ppid=10208 vsize=630376 CPUtime=581.76
/proc/10210/task/10213/stat : 10213 (satake) R 10208 10210 21929 0 -1 4202560 55882 0 0 0 58029 147 0 0 25 0 5 0 1129415028 645505024 152105 4294967295 134512640 135180984 3217641456 3086581552 134523635 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10210/tid=10214] ppid=10208 vsize=630376 CPUtime=581.77
/proc/10210/task/10214/stat : 10214 (satake) R 10208 10210 21929 0 -1 4202560 49631 0 0 0 58065 112 0 0 25 0 5 0 1129415028 645505024 152105 4294967295 134512640 135180984 3217641456 3086516072 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1746.75
Current children cumulated vsize (KiB) 630376

[startup+642.306 s]
/proc/loadavg: 3.01 3.03 3.00 4/104 12289
/proc/meminfo: memFree=2465728/3368532 swapFree=1953580/1959888
[pid=10210] ppid=10208 vsize=675252 CPUtime=1926.75
/proc/10210/stat : 10210 (satake) S 10208 10210 21929 0 -1 4202496 177375 0 0 0 192037 638 0 0 18 0 5 0 1129415028 691458048 163187 4294967295 134512640 135180984 3217641456 3217640892 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10210/statm: 168813 163187 68 164 0 168648 0
[pid=10210/tid=10211] ppid=10208 vsize=675252 CPUtime=3.11
/proc/10210/task/10211/stat : 10211 (satake) S 10208 10210 21929 0 -1 4202560 1529 0 0 0 92 219 0 0 16 0 5 0 1129415028 691458048 163188 4294967295 134512640 135180984 3217641456 3086712848 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=10210/tid=10212] ppid=10208 vsize=675252 CPUtime=640.17
/proc/10210/task/10212/stat : 10212 (satake) R 10208 10210 21929 0 -1 4202560 63287 0 0 0 63881 136 0 0 25 0 5 0 1129415028 691458048 163188 4294967295 134512640 135180984 3217641456 3086647152 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10210/tid=10213] ppid=10208 vsize=675252 CPUtime=641.74
/proc/10210/task/10213/stat : 10213 (satake) R 10208 10210 21929 0 -1 4202560 59796 0 0 0 64014 160 0 0 25 0 5 0 1129415028 691458048 163188 4294967295 134512640 135180984 3217641456 3086581520 134524606 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10210/tid=10214] ppid=10208 vsize=675252 CPUtime=641.73
/proc/10210/task/10214/stat : 10214 (satake) R 10208 10210 21929 0 -1 4202560 52653 0 0 0 64050 123 0 0 25 0 5 0 1129415028 691458048 163188 4294967295 134512640 135180984 3217641456 3086515912 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1926.75
Current children cumulated vsize (KiB) 675252

[startup+702.31 s]
/proc/loadavg: 3.00 3.02 3.00 4/104 12477
/proc/meminfo: memFree=2419928/3368532 swapFree=1953580/1959888
[pid=10210] ppid=10208 vsize=721972 CPUtime=2106.7
/proc/10210/stat : 10210 (satake) S 10208 10210 21929 0 -1 4202496 188901 0 0 0 210010 660 0 0 18 0 5 0 1129415028 739299328 174713 4294967295 134512640 135180984 3217641456 3217640892 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10210/statm: 180493 174713 68 164 0 180328 0
[pid=10210/tid=10211] ppid=10208 vsize=721972 CPUtime=3.2
/proc/10210/task/10211/stat : 10211 (satake) S 10208 10210 21929 0 -1 4202560 1538 0 0 0 96 224 0 0 16 0 5 0 1129415028 739299328 174713 4294967295 134512640 135180984 3217641456 3086712848 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=10210/tid=10212] ppid=10208 vsize=721972 CPUtime=700.07
/proc/10210/task/10212/stat : 10212 (satake) R 10208 10210 21929 0 -1 4202560 66974 0 0 0 69860 147 0 0 25 0 5 0 1129415028 739299328 174713 4294967295 134512640 135180984 3217641456 3086647144 134520863 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10210/tid=10213] ppid=10208 vsize=721972 CPUtime=701.73
/proc/10210/task/10213/stat : 10213 (satake) R 10208 10210 21929 0 -1 4202560 63653 0 0 0 70009 164 0 0 25 0 5 0 1129415028 739299328 174713 4294967295 134512640 135180984 3217641456 3086581616 134528866 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10210/tid=10214] ppid=10208 vsize=721972 CPUtime=701.7
/proc/10210/task/10214/stat : 10214 (satake) R 10208 10210 21929 0 -1 4202560 56625 0 0 0 70045 125 0 0 25 0 5 0 1129415028 739299328 174713 4294967295 134512640 135180984 3217641456 3086516016 134523699 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2106.7
Current children cumulated vsize (KiB) 721972

[startup+762.314 s]
/proc/loadavg: 3.07 3.03 3.00 4/104 12665
/proc/meminfo: memFree=2380516/3368532 swapFree=1953580/1959888
[pid=10210] ppid=10208 vsize=759408 CPUtime=2286.75
/proc/10210/stat : 10210 (satake) S 10208 10210 21929 0 -1 4202496 198644 0 0 0 227994 681 0 0 18 0 5 0 1129415028 777633792 184456 4294967295 134512640 135180984 3217641456 3217640892 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10210/statm: 189852 184456 68 164 0 189687 0
[pid=10210/tid=10211] ppid=10208 vsize=759408 CPUtime=3.31
/proc/10210/task/10211/stat : 10211 (satake) S 10208 10210 21929 0 -1 4202560 1548 0 0 0 98 233 0 0 15 0 5 0 1129415028 777633792 184456 4294967295 134512640 135180984 3217641456 3086712848 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=10210/tid=10212] ppid=10208 vsize=759408 CPUtime=760.05
/proc/10210/task/10212/stat : 10212 (satake) R 10208 10210 21929 0 -1 4202560 70481 0 0 0 75852 153 0 0 25 0 5 0 1129415028 777633792 184456 4294967295 134512640 135180984 3217641456 3086647152 134528211 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10210/tid=10213] ppid=10208 vsize=759408 CPUtime=761.73
/proc/10210/task/10213/stat : 10213 (satake) R 10208 10210 21929 0 -1 4202560 67349 0 0 0 76006 167 0 0 25 0 5 0 1129415028 777633792 184456 4294967295 134512640 135180984 3217641456 3086581616 134528680 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10210/tid=10214] ppid=10208 vsize=759408 CPUtime=761.66
/proc/10210/task/10214/stat : 10214 (satake) R 10208 10210 21929 0 -1 4202560 59155 0 0 0 76038 128 0 0 25 0 5 0 1129415028 777633792 184456 4294967295 134512640 135180984 3217641456 3086516096 134532624 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2286.75
Current children cumulated vsize (KiB) 759408

[startup+822.308 s]
/proc/loadavg: 3.08 3.04 3.00 4/104 12857
/proc/meminfo: memFree=2340716/3368532 swapFree=1953580/1959888
[pid=10210] ppid=10208 vsize=800516 CPUtime=2466.78
/proc/10210/stat : 10210 (satake) S 10208 10210 21929 0 -1 4202496 208648 0 0 0 245978 700 0 0 18 0 5 0 1129415028 819728384 194460 4294967295 134512640 135180984 3217641456 3217640892 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10210/statm: 200129 194460 68 164 0 199964 0
[pid=10210/tid=10211] ppid=10208 vsize=800516 CPUtime=3.43
/proc/10210/task/10211/stat : 10211 (satake) S 10208 10210 21929 0 -1 4202560 1555 0 0 0 100 243 0 0 15 0 5 0 1129415028 819728384 194460 4294967295 134512640 135180984 3217641456 3086712848 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=10210/tid=10212] ppid=10208 vsize=800516 CPUtime=820.03
/proc/10210/task/10212/stat : 10212 (satake) R 10208 10210 21929 0 -1 4202560 74111 0 0 0 81847 156 0 0 25 0 5 0 1129415028 819728384 194460 4294967295 134512640 135180984 3217641456 3086647152 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10210/tid=10213] ppid=10208 vsize=800516 CPUtime=821.71
/proc/10210/task/10213/stat : 10213 (satake) R 10208 10210 21929 0 -1 4202560 70996 0 0 0 82001 170 0 0 25 0 5 0 1129415028 819728384 194460 4294967295 134512640 135180984 3217641456 3086581616 134528211 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10210/tid=10214] ppid=10208 vsize=800516 CPUtime=821.61
/proc/10210/task/10214/stat : 10214 (satake) R 10208 10210 21929 0 -1 4202560 61875 0 0 0 82030 131 0 0 25 0 5 0 1129415028 819728384 194460 4294967295 134512640 135180984 3217641456 3086516080 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2466.78
Current children cumulated vsize (KiB) 800516

[startup+882.313 s]
/proc/loadavg: 3.09 3.04 3.00 4/104 13047
/proc/meminfo: memFree=2309956/3368532 swapFree=1953580/1959888
[pid=10210] ppid=10208 vsize=830740 CPUtime=2646.83
/proc/10210/stat : 10210 (satake) S 10208 10210 21929 0 -1 4202496 216209 0 0 0 263961 722 0 0 18 0 5 0 1129415028 850677760 202021 4294967295 134512640 135180984 3217641456 3217640892 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10210/statm: 207685 202021 68 164 0 207520 0
[pid=10210/tid=10211] ppid=10208 vsize=830740 CPUtime=3.5
/proc/10210/task/10211/stat : 10211 (satake) S 10208 10210 21929 0 -1 4202560 1558 0 0 0 102 248 0 0 16 0 5 0 1129415028 850677760 202021 4294967295 134512640 135180984 3217641456 3086712848 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=10210/tid=10212] ppid=10208 vsize=830740 CPUtime=880.03
/proc/10210/task/10212/stat : 10212 (satake) R 10208 10210 21929 0 -1 4202560 76430 0 0 0 87842 161 0 0 25 0 5 0 1129415028 850677760 202021 4294967295 134512640 135180984 3217641456 3086647040 134522980 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10210/tid=10213] ppid=10208 vsize=830740 CPUtime=881.72
/proc/10210/task/10213/stat : 10213 (satake) R 10208 10210 21929 0 -1 4202560 74042 0 0 0 87996 176 0 0 25 0 5 0 1129415028 850677760 202021 4294967295 134512640 135180984 3217641456 3086581616 134528211 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10210/tid=10214] ppid=10208 vsize=830740 CPUtime=881.58
/proc/10210/task/10214/stat : 10214 (satake) R 10208 10210 21929 0 -1 4202560 64068 0 0 0 88021 137 0 0 25 0 5 0 1129415028 850677760 202021 4294967295 134512640 135180984 3217641456 3086516080 134528101 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2646.83
Current children cumulated vsize (KiB) 830740

[startup+942.307 s]
/proc/loadavg: 3.08 3.05 3.00 4/104 13234
/proc/meminfo: memFree=2277096/3368532 swapFree=1953580/1959888
[pid=10210] ppid=10208 vsize=865424 CPUtime=2826.78
/proc/10210/stat : 10210 (satake) S 10208 10210 21929 0 -1 4202496 224624 0 0 0 281935 743 0 0 18 0 5 0 1129415028 886194176 210436 4294967295 134512640 135180984 3217641456 3217640892 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10210/statm: 216356 210436 68 164 0 216191 0
[pid=10210/tid=10211] ppid=10208 vsize=865424 CPUtime=3.56
/proc/10210/task/10211/stat : 10211 (satake) S 10208 10210 21929 0 -1 4202560 1561 0 0 0 104 252 0 0 16 0 5 0 1129415028 886194176 210436 4294967295 134512640 135180984 3217641456 3086712848 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=10210/tid=10212] ppid=10208 vsize=865424 CPUtime=939.99
/proc/10210/task/10212/stat : 10212 (satake) R 10208 10210 21929 0 -1 4202560 79039 0 0 0 93833 166 0 0 25 0 5 0 1129415028 886194176 210436 4294967295 134512640 135180984 3217641456 3086647152 134528267 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10210/tid=10213] ppid=10208 vsize=865424 CPUtime=941.72
/proc/10210/task/10213/stat : 10213 (satake) R 10208 10210 21929 0 -1 4202560 77294 0 0 0 93988 184 0 0 25 0 5 0 1129415028 886194176 210436 4294967295 134512640 135180984 3217641456 3086581616 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10210/tid=10214] ppid=10208 vsize=865424 CPUtime=941.51
/proc/10210/task/10214/stat : 10214 (satake) R 10208 10210 21929 0 -1 4202560 66619 0 0 0 94010 141 0 0 25 0 5 0 1129415028 886194176 210436 4294967295 134512640 135180984 3217641456 3086516080 134528230 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2826.78
Current children cumulated vsize (KiB) 865424



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 3.08 3.05 3.00 4/104 13422
/proc/meminfo: memFree=2238244/3368532 swapFree=1953580/1959888
[pid=10210] ppid=10208 vsize=903572 CPUtime=2999.78
/proc/10210/stat : 10210 (satake) S 10208 10210 21929 0 -1 4202496 234213 0 0 0 299216 762 0 0 18 0 5 0 1129415028 925257728 220025 4294967295 134512640 135180984 3217641456 3217640892 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10210/statm: 225893 220025 68 164 0 225728 0
[pid=10210/tid=10211] ppid=10208 vsize=903572 CPUtime=3.64
/proc/10210/task/10211/stat : 10211 (satake) S 10208 10210 21929 0 -1 4202560 1571 0 0 0 105 259 0 0 16 0 5 0 1129415028 925257728 220025 4294967295 134512640 135180984 3217641456 3086712848 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=10210/tid=10212] ppid=10208 vsize=903572 CPUtime=997.57
/proc/10210/task/10212/stat : 10212 (satake) R 10208 10210 21929 0 -1 4202560 81765 0 0 0 99585 172 0 0 25 0 5 0 1129415028 925257728 220025 4294967295 134512640 135180984 3217641456 3086647152 134528286 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10210/tid=10213] ppid=10208 vsize=903572 CPUtime=999.39
/proc/10210/task/10213/stat : 10213 (satake) R 10208 10210 21929 0 -1 4202560 80887 0 0 0 99751 188 0 0 25 0 5 0 1129415028 925257728 220025 4294967295 134512640 135180984 3217641456 3086581552 134523680 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10210/tid=10214] ppid=10208 vsize=903572 CPUtime=999.18
/proc/10210/task/10214/stat : 10214 (satake) R 10208 10210 21929 0 -1 4202560 69879 0 0 0 99775 143 0 0 25 0 5 0 1129415028 925257728 220025 4294967295 134512640 135180984 3217641456 3086515980 134519095 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2999.78
Current children cumulated vsize (KiB) 903572

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): 2999.86
CPU user time (s): 2992.19
CPU system time (s): 7.67
CPU usage (%): 299.964
Max. virtual memory (cumulated for all children) (KiB): 903572

deleting IPC queue 12058624
deleting IPC queue 12091393
deleting IPC queue 12124162
deleting IPC queue 12156931
deleting IPC queue 12189700
deleting IPC queue 12222469
deleting IPC queue 12255238
deleting IPC queue 12288007
deleting IPC queue 12320776
deleting IPC queue 12353545
deleting IPC queue 12386314
deleting IPC queue 12419083
deleting IPC queue 12451852
deleting IPC queue 12484621
deleting IPC queue 12517390
deleting IPC queue 12550159

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2992.19
system time used= 7.67
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234216
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= 250772
involuntary context switches= 174171

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 03:38:25
IDJOB=1780420
IDBENCH=71005
IDSOLVER=629
FILE ID=/1780420-1243647505
PBS_JOBID=
Free space on /tmp= 15867 MiB

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

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

MD5SUM BENCH= 558e9ecf39a7773e94f4b47eef706f44
RANDOM SEED= 376775891

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
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.105
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:       3117840 kB
Buffers:         38260 kB
Cached:         134520 kB
SwapCached:       2424 kB
Active:         111484 kB
Inactive:        71480 kB
HighTotal:     2489216 kB
HighFree:      2341752 kB
LowTotal:       879316 kB
LowFree:        776088 kB
SwapTotal:     1959888 kB
SwapFree:      1953580 kB
Dirty:           19736 kB
Writeback:           0 kB
AnonPages:        9732 kB
Mapped:           4940 kB
Slab:            57664 kB
SReclaimable:    49452 kB
SUnreclaim:       8212 kB
PageTables:        536 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    93568 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15867 MiB
End job on  at 2009-05-30 03:55:08