Trace number 1780600

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

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UTI-20-5p1.cnf
MD5SUM10eca282b9263f77903cd90a479b46ee
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1730.76
Satisfiable
(Un)Satisfiability was proved
Number of variables225926
Number of clauses1207249
Sum of the clauses size2914329
Maximum clause length10
Minimum clause length1
Number of clauses of size 111403
Number of clauses of size 2854772
Number of clauses of size 3284354
Number of clauses of size 46300
Number of clauses of size 525200
Number of clauses of size over 525220

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-1780600-1243649021/watcher-1780600-1243649021 -o /tmp/evaluation-result-1780600-1243649021/solver-1780600-1243649021 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780600-1243649021.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: 7.08 7.22 7.00 7/114 12563
/proc/meminfo: memFree=2302272/3368532 swapFree=1953000/1959888
[pid=12563] ppid=12561 vsize=3216 CPUtime=0
/proc/12563/stat : 12563 (satake) S 12561 12563 20665 0 -1 4202496 652 0 0 0 0 0 0 0 18 0 5 0 1119039654 3293184 609 4294967295 134512640 135180984 3213349840 3213349276 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/12563/statm: 804 609 63 164 0 639 0
[pid=12563/tid=12564] ppid=12561 vsize=5264 CPUtime=0
/proc/12563/task/12564/stat : 12564 (satake) S 12561 12563 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1119039657 5390336 728 4294967295 134512640 135180984 3213349840 3086266384 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=12563/tid=12565] ppid=12561 vsize=5264 CPUtime=0
/proc/12563/task/12565/stat : 12565 (satake) R 12561 12563 20665 0 -1 4202560 658 0 0 0 0 0 0 0 20 0 5 0 1119039657 5390336 733 4294967295 134512640 135180984 3213349840 3086201124 134583077 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12563/tid=12566] ppid=12561 vsize=5264 CPUtime=0
/proc/12563/task/12566/stat : 12566 (satake) R 12561 12563 20665 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1119039657 5390336 738 4294967295 134512640 135180984 3213349840 3086136132 134705812 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12563/tid=12567] ppid=12561 vsize=5264 CPUtime=0
/proc/12563/task/12567/stat : 12567 (satake) R 12561 12563 20665 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1119039657 5390336 743 4294967295 134512640 135180984 3213349840 3086070596 134705812 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.233125 s]
/proc/loadavg: 7.08 7.22 7.00 7/114 12563
/proc/meminfo: memFree=2302272/3368532 swapFree=1953000/1959888
[pid=12563] ppid=12561 vsize=75944 CPUtime=0.15
/proc/12563/stat : 12563 (satake) S 12561 12563 20665 0 -1 4202496 17550 0 0 0 5 10 0 0 18 0 5 0 1119039654 77766656 17491 4294967295 134512640 135180984 3213349840 3213349276 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/12563/statm: 18986 17496 63 164 0 18821 0
[pid=12563/tid=12564] ppid=12561 vsize=75944 CPUtime=0
/proc/12563/task/12564/stat : 12564 (satake) S 12561 12563 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1119039657 77766656 17497 4294967295 134512640 135180984 3213349840 3086266384 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=12563/tid=12565] ppid=12561 vsize=75944 CPUtime=0.05
/proc/12563/task/12565/stat : 12565 (satake) R 12561 12563 20665 0 -1 4202560 6547 0 0 0 1 4 0 0 21 0 5 0 1119039657 77766656 17498 4294967295 134512640 135180984 3213349840 3086200904 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12563/tid=12566] ppid=12561 vsize=75944 CPUtime=0.09
/proc/12563/task/12566/stat : 12566 (satake) R 12561 12563 20665 0 -1 4202560 9597 0 0 0 4 5 0 0 21 0 5 0 1119039657 77766656 17500 4294967295 134512640 135180984 3213349840 3086135368 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12563/tid=12567] ppid=12561 vsize=75944 CPUtime=0.01
/proc/12563/task/12567/stat : 12567 (satake) R 12561 12563 20665 0 -1 4202560 1297 0 0 0 0 1 0 0 20 0 5 0 1119039657 77766656 17502 4294967295 134512640 135180984 3213349840 3086070052 134583077 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 75944

[startup+0.313117 s]
/proc/loadavg: 7.08 7.22 7.00 7/114 12563
/proc/meminfo: memFree=2302272/3368532 swapFree=1953000/1959888
[pid=12563] ppid=12561 vsize=113200 CPUtime=0.23
/proc/12563/stat : 12563 (satake) S 12561 12563 20665 0 -1 4202496 23547 0 0 0 12 11 0 0 18 0 5 0 1119039654 115916800 23488 4294967295 134512640 135180984 3213349840 3213349276 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/12563/statm: 28300 23491 63 164 0 28135 0
[pid=12563/tid=12564] ppid=12561 vsize=113200 CPUtime=0
/proc/12563/task/12564/stat : 12564 (satake) S 12561 12563 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1119039657 115916800 23492 4294967295 134512640 135180984 3213349840 3086266384 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=12563/tid=12565] ppid=12561 vsize=113200 CPUtime=0.11
/proc/12563/task/12565/stat : 12565 (satake) R 12561 12563 20665 0 -1 4202560 10735 0 0 0 7 4 0 0 21 0 5 0 1119039657 115916800 23493 4294967295 134512640 135180984 3213349840 3086200904 134675767 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12563/tid=12566] ppid=12561 vsize=113200 CPUtime=0.11
/proc/12563/task/12566/stat : 12566 (satake) R 12561 12563 20665 0 -1 4202560 11402 0 0 0 5 6 0 0 21 0 5 0 1119039657 115916800 23500 4294967295 134512640 135180984 3213349840 3086135444 134579486 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12563/tid=12567] ppid=12561 vsize=113200 CPUtime=0.01
/proc/12563/task/12567/stat : 12567 (satake) R 12561 12563 20665 0 -1 4202560 1297 0 0 0 0 1 0 0 20 0 5 0 1119039657 115916800 23502 4294967295 134512640 135180984 3213349840 3086070052 134583077 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 113200

[startup+0.4331 s]
/proc/loadavg: 7.08 7.22 7.00 7/114 12563
/proc/meminfo: memFree=2302272/3368532 swapFree=1953000/1959888
[pid=12563] ppid=12561 vsize=159424 CPUtime=0.39
/proc/12563/stat : 12563 (satake) S 12561 12563 20665 0 -1 4202496 34638 0 0 0 24 15 0 0 18 0 5 0 1119039654 163250176 34573 4294967295 134512640 135180984 3213349840 3213349276 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/12563/statm: 39856 34573 63 164 0 39691 0
[pid=12563/tid=12564] ppid=12561 vsize=159424 CPUtime=0
/proc/12563/task/12564/stat : 12564 (satake) S 12561 12563 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1119039657 163250176 34573 4294967295 134512640 135180984 3213349840 3086266384 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=12563/tid=12565] ppid=12561 vsize=159424 CPUtime=0.15
/proc/12563/task/12565/stat : 12565 (satake) R 12561 12563 20665 0 -1 4202560 11693 0 0 0 11 4 0 0 21 0 5 0 1119039657 163250176 34573 4294967295 134512640 135180984 3213349840 3086201088 134519350 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12563/tid=12566] ppid=12561 vsize=159424 CPUtime=0.13
/proc/12563/task/12566/stat : 12566 (satake) R 12561 12563 20665 0 -1 4202560 11544 0 0 0 7 6 0 0 20 0 5 0 1119039657 163250176 34573 4294967295 134512640 135180984 3213349840 3086135600 134535254 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12563/tid=12567] ppid=12561 vsize=159424 CPUtime=0.11
/proc/12563/task/12567/stat : 12567 (satake) R 12561 12563 20665 0 -1 4202560 11283 0 0 0 6 5 0 0 20 0 5 0 1119039657 163250176 34573 4294967295 134512640 135180984 3213349840 3086069952 134522790 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 159424

[startup+0.713079 s]
/proc/loadavg: 7.08 7.22 7.00 7/114 12563
/proc/meminfo: memFree=2302272/3368532 swapFree=1953000/1959888
[pid=12563] ppid=12561 vsize=167832 CPUtime=0.65
/proc/12563/stat : 12563 (satake) S 12561 12563 20665 0 -1 4202496 36451 0 0 0 44 21 0 0 18 0 5 0 1119039654 171859968 36386 4294967295 134512640 135180984 3213349840 3213349276 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/12563/statm: 41958 36386 63 164 0 41793 0
[pid=12563/tid=12564] ppid=12561 vsize=167832 CPUtime=0
/proc/12563/task/12564/stat : 12564 (satake) S 12561 12563 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1119039657 171859968 36386 4294967295 134512640 135180984 3213349840 3086266384 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=12563/tid=12565] ppid=12561 vsize=167832 CPUtime=0.21
/proc/12563/task/12565/stat : 12565 (satake) S 12561 12563 20665 0 -1 4202560 12042 0 0 0 15 6 0 0 20 0 5 0 1119039657 171859968 36386 4294967295 134512640 135180984 3213349840 3086200980 134579486 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12563/tid=12566] ppid=12561 vsize=167832 CPUtime=0.23
/proc/12563/task/12566/stat : 12566 (satake) R 12561 12563 20665 0 -1 4202560 12268 0 0 0 17 6 0 0 20 0 5 0 1119039657 171859968 36386 4294967295 134512640 135180984 3213349840 3086135492 134665115 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12563/tid=12567] ppid=12561 vsize=167832 CPUtime=0.21
/proc/12563/task/12567/stat : 12567 (satake) R 12561 12563 20665 0 -1 4202560 12023 0 0 0 12 9 0 0 19 0 5 0 1119039657 171859968 36386 4294967295 134512640 135180984 3213349840 3086069732 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 167832

[startup+1.51302 s]
/proc/loadavg: 7.08 7.22 7.00 9/119 12599
/proc/meminfo: memFree=2141256/3368532 swapFree=1953000/1959888
[pid=12563] ppid=12561 vsize=200528 CPUtime=1.91
/proc/12563/stat : 12563 (satake) S 12561 12563 20665 0 -1 4202496 44142 0 0 0 162 29 0 0 18 0 5 0 1119039654 205340672 44077 4294967295 134512640 135180984 3213349840 3213349276 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/12563/statm: 50132 44078 63 164 0 49967 0
[pid=12563/tid=12564] ppid=12561 vsize=200528 CPUtime=0
/proc/12563/task/12564/stat : 12564 (satake) S 12561 12563 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1119039657 205340672 44078 4294967295 134512640 135180984 3213349840 3086266384 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=12563/tid=12565] ppid=12561 vsize=200528 CPUtime=0.35
/proc/12563/task/12565/stat : 12565 (satake) R 12561 12563 20665 0 -1 4202560 12797 0 0 0 28 7 0 0 19 0 5 0 1119039657 205340672 44079 4294967295 134512640 135180984 3213349840 3086201136 134534954 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=12563/tid=12566] ppid=12561 vsize=200528 CPUtime=0.77
/proc/12563/task/12566/stat : 12566 (satake) R 12561 12563 20665 0 -1 4202560 15761 0 0 0 69 8 0 0 18 0 5 0 1119039657 205340672 44079 4294967295 134512640 135180984 3213349840 3086135268 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12563/tid=12567] ppid=12561 vsize=200528 CPUtime=0.79
/proc/12563/task/12567/stat : 12567 (satake) R 12561 12563 20665 0 -1 4202560 15468 0 0 0 65 14 0 0 17 0 5 0 1119039657 205340672 44080 4294967295 134512640 135180984 3213349840 3086070016 134519350 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 200528

[startup+3.11289 s]
/proc/loadavg: 7.31 7.26 7.02 11/119 12652
/proc/meminfo: memFree=2063356/3368532 swapFree=1953000/1959888
[pid=12563] ppid=12561 vsize=210436 CPUtime=5.75
/proc/12563/stat : 12563 (satake) S 12561 12563 20665 0 -1 4202496 66306 0 0 0 529 46 0 0 18 0 5 0 1119039654 215486464 49186 4294967295 134512640 135180984 3213349840 3213349276 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/12563/statm: 52609 49186 66 164 0 52444 0
[pid=12563/tid=12564] ppid=12561 vsize=210436 CPUtime=0.06
/proc/12563/task/12564/stat : 12564 (satake) S 12561 12563 20665 0 -1 4202560 3162 0 0 0 5 1 0 0 18 0 5 0 1119039657 215486464 49186 4294967295 134512640 135180984 3213349840 3086266384 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=12563/tid=12565] ppid=12561 vsize=210436 CPUtime=1.77
/proc/12563/task/12565/stat : 12565 (satake) R 12561 12563 20665 0 -1 4202560 20002 0 0 0 169 8 0 0 16 0 5 0 1119039657 215486464 49186 4294967295 134512640 135180984 3213349840 3086200684 134518218 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=12563/tid=12566] ppid=12561 vsize=210436 CPUtime=2.11
/proc/12563/task/12566/stat : 12566 (satake) S 12561 12563 20665 0 -1 4202560 21633 0 0 0 195 16 0 0 16 0 5 0 1119039657 215486464 49186 4294967295 134512640 135180984 3213349840 3086134944 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=12563/tid=12567] ppid=12561 vsize=210436 CPUtime=1.82
/proc/12563/task/12567/stat : 12567 (satake) R 12561 12563 20665 0 -1 4202560 21398 0 0 0 161 21 0 0 16 0 5 0 1119039657 215486464 49186 4294967295 134512640 135180984 3213349840 3086069420 134706407 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.75
Current children cumulated vsize (KiB) 210436

[startup+6.31264 s]
/proc/loadavg: 7.31 7.26 7.02 9/118 12721
/proc/meminfo: memFree=2103340/3368532 swapFree=1953000/1959888
[pid=12563] ppid=12561 vsize=213044 CPUtime=10.55
/proc/12563/stat : 12563 (satake) S 12561 12563 20665 0 -1 4202496 66864 0 0 0 1005 50 0 0 18 0 5 0 1119039654 218157056 49744 4294967295 134512640 135180984 3213349840 3213349276 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/12563/statm: 53261 49744 68 164 0 53096 0
[pid=12563/tid=12564] ppid=12561 vsize=213044 CPUtime=0.08
/proc/12563/task/12564/stat : 12564 (satake) R 12561 12563 20665 0 -1 4202560 3165 0 0 0 5 3 0 0 16 0 5 0 1119039657 218157056 49744 4294967295 134512640 135180984 3213349840 3086266388 134580588 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12563/tid=12565] ppid=12561 vsize=213044 CPUtime=3.62
/proc/12563/task/12565/stat : 12565 (satake) R 12561 12563 20665 0 -1 4202560 20217 0 0 0 353 9 0 0 16 0 5 0 1119039657 218157056 49744 4294967295 134512640 135180984 3213349840 3086200752 134532417 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=12563/tid=12566] ppid=12561 vsize=213044 CPUtime=3.52
/proc/12563/task/12566/stat : 12566 (satake) R 12561 12563 20665 0 -1 4202560 21801 0 0 0 335 17 0 0 15 0 5 0 1119039657 218157056 49744 4294967295 134512640 135180984 3213349840 3086135200 134535641 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12563/tid=12567] ppid=12561 vsize=213044 CPUtime=3.33
/proc/12563/task/12567/stat : 12567 (satake) S 12561 12563 20665 0 -1 4202560 21570 0 0 0 312 21 0 0 16 0 5 0 1119039657 218157056 49744 4294967295 134512640 135180984 3213349840 3086069408 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.55
Current children cumulated vsize (KiB) 213044

[startup+12.7121 s]
/proc/loadavg: 7.50 7.30 7.04 8/118 12723
/proc/meminfo: memFree=2101340/3368532 swapFree=1953000/1959888
[pid=12563] ppid=12561 vsize=215300 CPUtime=26.58
/proc/12563/stat : 12563 (satake) S 12561 12563 20665 0 -1 4202496 67444 0 0 0 2592 66 0 0 18 0 5 0 1119039654 220467200 50324 4294967295 134512640 135180984 3213349840 3213349276 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/12563/statm: 53825 50324 68 164 0 53660 0
[pid=12563/tid=12564] ppid=12561 vsize=215300 CPUtime=0.15
/proc/12563/task/12564/stat : 12564 (satake) S 12561 12563 20665 0 -1 4202560 3171 0 0 0 6 9 0 0 16 0 5 0 1119039657 220467200 50324 4294967295 134512640 135180984 3213349840 3086266384 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=12563/tid=12565] ppid=12561 vsize=215300 CPUtime=8.57
/proc/12563/task/12565/stat : 12565 (satake) R 12561 12563 20665 0 -1 4202560 20390 0 0 0 842 15 0 0 19 0 5 0 1119039657 220467200 50324 4294967295 134512640 135180984 3213349840 3086200688 134528267 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=12563/tid=12566] ppid=12561 vsize=215300 CPUtime=8.99
/proc/12563/task/12566/stat : 12566 (satake) R 12561 12563 20665 0 -1 4202560 22080 0 0 0 880 19 0 0 21 0 5 0 1119039657 220467200 50324 4294967295 134512640 135180984 3213349840 3086135152 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=12563/tid=12567] ppid=12561 vsize=215300 CPUtime=8.88
/proc/12563/task/12567/stat : 12567 (satake) R 12561 12563 20665 0 -1 4202560 21692 0 0 0 865 23 0 0 18 0 5 0 1119039657 220467200 50324 4294967295 134512640 135180984 3213349840 3086069616 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 26.58
Current children cumulated vsize (KiB) 215300

[startup+25.5112 s]
/proc/loadavg: 7.11 7.23 7.01 6/118 12723
/proc/meminfo: memFree=2098292/3368532 swapFree=1953000/1959888
[pid=12563] ppid=12561 vsize=217576 CPUtime=35.96
/proc/12563/stat : 12563 (satake) S 12561 12563 20665 0 -1 4202496 68018 0 0 0 3524 72 0 0 18 0 5 0 1119039654 222797824 50898 4294967295 134512640 135180984 3213349840 3213349276 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/12563/statm: 54394 50898 68 164 0 54229 0
[pid=12563/tid=12564] ppid=12561 vsize=217576 CPUtime=0.18
/proc/12563/task/12564/stat : 12564 (satake) S 12561 12563 20665 0 -1 4202560 3172 0 0 0 7 11 0 0 16 0 5 0 1119039657 222797824 50898 4294967295 134512640 135180984 3213349840 3086266388 134580588 0 0 0 0 3223036975 0 0 -1 1 0 0 0
[pid=12563/tid=12565] ppid=12561 vsize=217576 CPUtime=10.7
/proc/12563/task/12565/stat : 12565 (satake) R 12561 12563 20665 0 -1 4202560 20492 0 0 0 1055 15 0 0 25 0 5 0 1119039657 222797824 50898 4294967295 134512640 135180984 3213349840 3086200492 134706407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=12563/tid=12566] ppid=12561 vsize=217576 CPUtime=13.56
/proc/12563/task/12566/stat : 12566 (satake) S 12561 12563 20665 0 -1 4202560 22421 0 0 0 1336 20 0 0 18 0 5 0 1119039657 222797824 50898 4294967295 134512640 135180984 3213349840 3086134944 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=12563/tid=12567] ppid=12561 vsize=217576 CPUtime=11.52
/proc/12563/task/12567/stat : 12567 (satake) S 12561 12563 20665 0 -1 4202560 21822 0 0 0 1126 26 0 0 18 0 5 0 1119039657 222797824 50898 4294967295 134512640 135180984 3213349840 3086069408 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 35.96
Current children cumulated vsize (KiB) 217576

[startup+51.1092 s]
/proc/loadavg: 6.75 7.13 6.98 8/118 12724
/proc/meminfo: memFree=2091300/3368532 swapFree=1953000/1959888
[pid=12563] ppid=12561 vsize=224124 CPUtime=63.72
/proc/12563/stat : 12563 (satake) S 12561 12563 20665 0 -1 4202496 69643 0 0 0 6257 115 0 0 18 0 5 0 1119039654 229502976 52523 4294967295 134512640 135180984 3213349840 3213349276 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/12563/statm: 56031 52523 68 164 0 55866 0
[pid=12563/tid=12564] ppid=12561 vsize=224124 CPUtime=0.49
/proc/12563/task/12564/stat : 12564 (satake) S 12561 12563 20665 0 -1 4202560 3181 0 0 0 19 30 0 0 15 0 5 0 1119039657 229502976 52523 4294967295 134512640 135180984 3213349840 3086266384 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=12563/tid=12565] ppid=12561 vsize=224124 CPUtime=21.23
/proc/12563/task/12565/stat : 12565 (satake) R 12561 12563 20665 0 -1 4202560 21095 0 0 0 2102 21 0 0 17 0 5 0 1119039657 229502976 52523 4294967295 134512640 135180984 3213349840 3086200584 134520909 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=12563/tid=12566] ppid=12561 vsize=224124 CPUtime=19.56
/proc/12563/task/12566/stat : 12566 (satake) R 12561 12563 20665 0 -1 4202560 22892 0 0 0 1929 27 0 0 25 0 5 0 1119039657 229502976 52523 4294967295 134512640 135180984 3213349840 3086134956 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12563/tid=12567] ppid=12561 vsize=224124 CPUtime=22.44
/proc/12563/task/12567/stat : 12567 (satake) R 12561 12563 20665 0 -1 4202560 22364 0 0 0 2207 37 0 0 25 0 5 0 1119039657 229502976 52523 4294967295 134512640 135180984 3213349840 3086069332 134674910 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 63.72
Current children cumulated vsize (KiB) 224124

[startup+102.305 s]
/proc/loadavg: 6.62 7.05 6.97 6/118 12916

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

[pid=12563/tid=12565] ppid=12561 vsize=309776 CPUtime=142.75
/proc/12563/task/12565/stat : 12565 (satake) R 12561 12563 20665 0 -1 4202560 28143 0 0 0 14207 68 0 0 21 0 5 0 1119039657 317210624 74082 4294967295 134512640 135180984 3213349840 3086200560 134522696 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=12563/tid=12566] ppid=12561 vsize=309776 CPUtime=138.57
/proc/12563/task/12566/stat : 12566 (satake) R 12561 12563 20665 0 -1 4202560 30796 0 0 0 13790 67 0 0 16 0 5 0 1119039657 317210624 74082 4294967295 134512640 135180984 3213349840 3086135168 134532624 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=12563/tid=12567] ppid=12561 vsize=309776 CPUtime=135.15
/proc/12563/task/12567/stat : 12567 (satake) R 12561 12563 20665 0 -1 4202560 28806 0 0 0 13443 72 0 0 25 0 5 0 1119039657 317210624 74082 4294967295 134512640 135180984 3213349840 3086069420 134706407 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 418.86
Current children cumulated vsize (KiB) 309776

[startup+582.318 s]
/proc/loadavg: 6.73 6.52 6.70 6/118 14436
/proc/meminfo: memFree=1970604/3368532 swapFree=1953000/1959888
[pid=12563] ppid=12561 vsize=328116 CPUtime=483.06
/proc/12563/stat : 12563 (satake) S 12561 12563 20665 0 -1 4202496 95647 0 0 0 47898 408 0 0 18 0 5 0 1119039654 335990784 78527 4294967295 134512640 135180984 3213349840 3213349276 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/12563/statm: 82029 78527 68 164 0 81864 0
[pid=12563/tid=12564] ppid=12561 vsize=328116 CPUtime=2.74
/proc/12563/task/12564/stat : 12564 (satake) S 12561 12563 20665 0 -1 4202560 3405 0 0 0 98 176 0 0 16 0 5 0 1119039657 335990784 78527 4294967295 134512640 135180984 3213349840 3086266384 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=12563/tid=12565] ppid=12561 vsize=328116 CPUtime=166.73
/proc/12563/task/12565/stat : 12565 (satake) R 12561 12563 20665 0 -1 4202560 29647 0 0 0 16593 80 0 0 16 0 5 0 1119039657 335990784 78527 4294967295 134512640 135180984 3213349840 3086200520 134675846 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=12563/tid=12566] ppid=12561 vsize=328116 CPUtime=156.13
/proc/12563/task/12566/stat : 12566 (satake) R 12561 12563 20665 0 -1 4202560 32011 0 0 0 15539 74 0 0 25 0 5 0 1119039657 335990784 78527 4294967295 134512640 135180984 3213349840 3086135056 134525140 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12563/tid=12567] ppid=12561 vsize=328116 CPUtime=157.46
/proc/12563/task/12567/stat : 12567 (satake) R 12561 12563 20665 0 -1 4202560 30473 0 0 0 15668 78 0 0 16 0 5 0 1119039657 335990784 78527 4294967295 134512640 135180984 3213349840 3086069520 134524814 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 483.06
Current children cumulated vsize (KiB) 328116

[startup+642.313 s]
/proc/loadavg: 6.90 6.63 6.72 7/118 14624
/proc/meminfo: memFree=1948036/3368532 swapFree=1953000/1959888
[pid=12563] ppid=12561 vsize=348764 CPUtime=562.61
/proc/12563/stat : 12563 (satake) S 12561 12563 20665 0 -1 4202496 100787 0 0 0 55810 451 0 0 18 0 5 0 1119039654 357134336 83667 4294967295 134512640 135180984 3213349840 3213349276 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/12563/statm: 87191 83667 68 164 0 87026 0
[pid=12563/tid=12564] ppid=12561 vsize=348764 CPUtime=3.03
/proc/12563/task/12564/stat : 12564 (satake) S 12561 12563 20665 0 -1 4202560 3447 0 0 0 104 199 0 0 15 0 5 0 1119039657 357134336 83667 4294967295 134512640 135180984 3213349840 3086266388 134580588 0 0 0 0 3223036975 0 0 -1 2 0 0 0
[pid=12563/tid=12565] ppid=12561 vsize=348764 CPUtime=189.73
/proc/12563/task/12565/stat : 12565 (satake) R 12561 12563 20665 0 -1 4202560 31107 0 0 0 18885 88 0 0 25 0 5 0 1119039657 357134336 83667 4294967295 134512640 135180984 3213349840 3086200492 134706407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=12563/tid=12566] ppid=12561 vsize=348764 CPUtime=180.97
/proc/12563/task/12566/stat : 12566 (satake) S 12561 12563 20665 0 -1 4202560 33657 0 0 0 18021 76 0 0 18 0 5 0 1119039657 357134336 83667 4294967295 134512640 135180984 3213349840 3086134944 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=12563/tid=12567] ppid=12561 vsize=348764 CPUtime=188.88
/proc/12563/task/12567/stat : 12567 (satake) S 12561 12563 20665 0 -1 4202560 32465 0 0 0 18800 88 0 0 20 0 5 0 1119039657 357134336 83667 4294967295 134512640 135180984 3213349840 3086069408 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 562.61
Current children cumulated vsize (KiB) 348764

[startup+702.308 s]
/proc/loadavg: 6.80 6.66 6.73 8/118 14812
/proc/meminfo: memFree=1930164/3368532 swapFree=1953000/1959888
[pid=12563] ppid=12561 vsize=364680 CPUtime=637.1
/proc/12563/stat : 12563 (satake) S 12561 12563 20665 0 -1 4202496 104958 0 0 0 63235 475 0 0 18 0 5 0 1119039654 373432320 87838 4294967295 134512640 135180984 3213349840 3213349276 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/12563/statm: 91170 87838 68 164 0 91005 0
[pid=12563/tid=12564] ppid=12561 vsize=364680 CPUtime=3.2
/proc/12563/task/12564/stat : 12564 (satake) S 12561 12563 20665 0 -1 4202560 3476 0 0 0 106 214 0 0 15 0 5 0 1119039657 373432320 87838 4294967295 134512640 135180984 3213349840 3086266384 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=12563/tid=12565] ppid=12561 vsize=364680 CPUtime=207
/proc/12563/task/12565/stat : 12565 (satake) S 12561 12563 20665 0 -1 4202560 32343 0 0 0 20609 91 0 0 22 0 5 0 1119039657 373432320 87838 4294967295 134512640 135180984 3213349840 3086200480 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=12563/tid=12566] ppid=12561 vsize=364680 CPUtime=213.53
/proc/12563/task/12566/stat : 12566 (satake) R 12561 12563 20665 0 -1 4202560 35492 0 0 0 21274 79 0 0 22 0 5 0 1119039657 373432320 87838 4294967295 134512640 135180984 3213349840 3086135056 134524814 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=12563/tid=12567] ppid=12561 vsize=364680 CPUtime=213.37
/proc/12563/task/12567/stat : 12567 (satake) R 12561 12563 20665 0 -1 4202560 33536 0 0 0 21246 91 0 0 25 0 5 0 1119039657 373432320 87838 4294967295 134512640 135180984 3213349840 3086069420 134706407 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 637.1
Current children cumulated vsize (KiB) 364680

[startup+762.314 s]
/proc/loadavg: 6.98 6.73 6.74 10/118 15000
/proc/meminfo: memFree=1911456/3368532 swapFree=1953000/1959888
[pid=12563] ppid=12561 vsize=383676 CPUtime=714.18
/proc/12563/stat : 12563 (satake) S 12561 12563 20665 0 -1 4202496 109418 0 0 0 70936 482 0 0 18 0 5 0 1119039654 392884224 92298 4294967295 134512640 135180984 3213349840 3213349276 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/12563/statm: 95919 92298 68 164 0 95754 0
[pid=12563/tid=12564] ppid=12561 vsize=383676 CPUtime=3.27
/proc/12563/task/12564/stat : 12564 (satake) S 12561 12563 20665 0 -1 4202560 3515 0 0 0 109 218 0 0 16 0 5 0 1119039657 392884224 92298 4294967295 134512640 135180984 3213349840 3086266384 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=12563/tid=12565] ppid=12561 vsize=383676 CPUtime=239
/proc/12563/task/12565/stat : 12565 (satake) R 12561 12563 20665 0 -1 4202560 34756 0 0 0 23808 92 0 0 18 0 5 0 1119039657 392884224 92298 4294967295 134512640 135180984 3213349840 3086200588 134519095 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12563/tid=12566] ppid=12561 vsize=383676 CPUtime=244.81
/proc/12563/task/12566/stat : 12566 (satake) R 12561 12563 20665 0 -1 4202560 36744 0 0 0 24400 81 0 0 15 0 5 0 1119039657 392884224 92298 4294967295 134512640 135180984 3213349840 3086135056 134525183 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=12563/tid=12567] ppid=12561 vsize=383676 CPUtime=227.1
/proc/12563/task/12567/stat : 12567 (satake) R 12561 12563 20665 0 -1 4202560 34292 0 0 0 22619 91 0 0 25 0 5 0 1119039657 392884224 92298 4294967295 134512640 135180984 3213349840 3086069408 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 714.18
Current children cumulated vsize (KiB) 383676

[startup+822.309 s]
/proc/loadavg: 7.08 6.80 6.76 6/118 15191
/proc/meminfo: memFree=1892492/3368532 swapFree=1953000/1959888
[pid=12563] ppid=12561 vsize=400356 CPUtime=780.27
/proc/12563/stat : 12563 (satake) S 12561 12563 20665 0 -1 4202496 113670 0 0 0 77531 496 0 0 18 0 5 0 1119039654 409964544 96550 4294967295 134512640 135180984 3213349840 3213349276 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/12563/statm: 100089 96550 68 164 0 99924 0
[pid=12563/tid=12564] ppid=12561 vsize=400356 CPUtime=3.34
/proc/12563/task/12564/stat : 12564 (satake) S 12561 12563 20665 0 -1 4202560 3564 0 0 0 111 223 0 0 16 0 5 0 1119039657 409964544 96550 4294967295 134512640 135180984 3213349840 3086266384 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=12563/tid=12565] ppid=12561 vsize=400356 CPUtime=267.3
/proc/12563/task/12565/stat : 12565 (satake) R 12561 12563 20665 0 -1 4202560 36333 0 0 0 26634 96 0 0 16 0 5 0 1119039657 409964544 96550 4294967295 134512640 135180984 3213349840 3086200704 134532624 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12563/tid=12566] ppid=12561 vsize=400356 CPUtime=272.73
/proc/12563/task/12566/stat : 12566 (satake) R 12561 12563 20665 0 -1 4202560 38564 0 0 0 27188 85 0 0 19 0 5 0 1119039657 409964544 96550 4294967295 134512640 135180984 3213349840 3086135148 134518208 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=12563/tid=12567] ppid=12561 vsize=400356 CPUtime=236.9
/proc/12563/task/12567/stat : 12567 (satake) R 12561 12563 20665 0 -1 4202560 35098 0 0 0 23598 92 0 0 25 0 5 0 1119039657 409964544 96550 4294967295 134512640 135180984 3213349840 3086069612 134518208 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 780.27
Current children cumulated vsize (KiB) 400356

[startup+882.305 s]
/proc/loadavg: 6.67 6.74 6.74 6/118 15378
/proc/meminfo: memFree=1870512/3368532 swapFree=1953000/1959888
[pid=12563] ppid=12561 vsize=420924 CPUtime=852.02
/proc/12563/stat : 12563 (satake) S 12561 12563 20665 0 -1 4202496 118681 0 0 0 84683 519 0 0 18 0 5 0 1119039654 431026176 101561 4294967295 134512640 135180984 3213349840 3213349276 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/12563/statm: 105231 101561 68 164 0 105066 0
[pid=12563/tid=12564] ppid=12561 vsize=420924 CPUtime=3.46
/proc/12563/task/12564/stat : 12564 (satake) S 12561 12563 20665 0 -1 4202560 3609 0 0 0 111 235 0 0 15 0 5 0 1119039657 431026176 101561 4294967295 134512640 135180984 3213349840 3086266384 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=12563/tid=12565] ppid=12561 vsize=420924 CPUtime=293.39
/proc/12563/task/12565/stat : 12565 (satake) S 12561 12563 20665 0 -1 4202560 37972 0 0 0 29240 99 0 0 19 0 5 0 1119039657 431026176 101561 4294967295 134512640 135180984 3213349840 3086200480 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=12563/tid=12566] ppid=12561 vsize=420924 CPUtime=299.64
/proc/12563/task/12566/stat : 12566 (satake) S 12561 12563 20665 0 -1 4202560 40726 0 0 0 29876 88 0 0 19 0 5 0 1119039657 431026176 101561 4294967295 134512640 135180984 3213349840 3086134944 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=12563/tid=12567] ppid=12561 vsize=420924 CPUtime=255.53
/proc/12563/task/12567/stat : 12567 (satake) R 12561 12563 20665 0 -1 4202560 36263 0 0 0 25456 97 0 0 25 0 5 0 1119039657 431026176 101561 4294967295 134512640 135180984 3213349840 3086069420 134706407 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 852.02
Current children cumulated vsize (KiB) 420924

[startup+942.31 s]
/proc/loadavg: 6.68 6.75 6.74 7/118 15566
/proc/meminfo: memFree=1850572/3368532 swapFree=1953000/1959888
[pid=12563] ppid=12561 vsize=438172 CPUtime=929.95
/proc/12563/stat : 12563 (satake) S 12561 12563 20665 0 -1 4202496 123368 0 0 0 92454 541 0 0 18 0 5 0 1119039654 448688128 106248 4294967295 134512640 135180984 3213349840 3213349276 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/12563/statm: 109543 106248 68 164 0 109378 0
[pid=12563/tid=12564] ppid=12561 vsize=438172 CPUtime=3.6
/proc/12563/task/12564/stat : 12564 (satake) S 12561 12563 20665 0 -1 4202560 3656 0 0 0 118 242 0 0 16 0 5 0 1119039657 448688128 106248 4294967295 134512640 135180984 3213349840 3086266384 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=12563/tid=12565] ppid=12561 vsize=438172 CPUtime=325
/proc/12563/task/12565/stat : 12565 (satake) R 12561 12563 20665 0 -1 4202560 39530 0 0 0 32393 107 0 0 16 0 5 0 1119039657 448688128 106248 4294967295 134512640 135180984 3213349840 3086200588 134518246 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=12563/tid=12566] ppid=12561 vsize=438172 CPUtime=319.24
/proc/12563/task/12566/stat : 12566 (satake) R 12561 12563 20665 0 -1 4202560 42211 0 0 0 31836 88 0 0 25 0 5 0 1119039657 448688128 106248 4294967295 134512640 135180984 3213349840 3086134984 134675846 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=12563/tid=12567] ppid=12561 vsize=438172 CPUtime=282.11
/proc/12563/task/12567/stat : 12567 (satake) R 12561 12563 20665 0 -1 4202560 37860 0 0 0 28107 104 0 0 25 0 5 0 1119039657 448688128 106248 4294967295 134512640 135180984 3213349840 3086069552 134523716 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 929.95
Current children cumulated vsize (KiB) 438172



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.02 s]
/proc/loadavg: 6.57 6.71 6.73 8/118 15758
/proc/meminfo: memFree=1839048/3368532 swapFree=1953000/1959888
[pid=12563] ppid=12561 vsize=447504 CPUtime=971.59
/proc/12563/stat : 12563 (satake) S 12561 12563 20665 0 -1 4202496 125759 0 0 0 96604 555 0 0 18 0 5 0 1119039654 458244096 108639 4294967295 134512640 135180984 3213349840 3213349276 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/12563/statm: 111876 108639 68 164 0 111711 0
[pid=12563/tid=12564] ppid=12561 vsize=447504 CPUtime=3.66
/proc/12563/task/12564/stat : 12564 (satake) S 12561 12563 20665 0 -1 4202560 3687 0 0 0 119 247 0 0 15 0 5 0 1119039657 458244096 108639 4294967295 134512640 135180984 3213349840 3086266384 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=12563/tid=12565] ppid=12561 vsize=447504 CPUtime=343.73
/proc/12563/task/12565/stat : 12565 (satake) R 12561 12563 20665 0 -1 4202560 40609 0 0 0 34261 112 0 0 18 0 5 0 1119039657 458244096 108639 4294967295 134512640 135180984 3213349840 3086200688 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12563/tid=12566] ppid=12561 vsize=447504 CPUtime=334.69
/proc/12563/task/12566/stat : 12566 (satake) R 12561 12563 20665 0 -1 4202560 43147 0 0 0 33380 89 0 0 18 0 5 0 1119039657 458244096 108639 4294967295 134512640 135180984 3213349840 3086135056 134525462 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=12563/tid=12567] ppid=12561 vsize=447504 CPUtime=289.51
/proc/12563/task/12567/stat : 12567 (satake) R 12561 12563 20665 0 -1 4202560 38205 0 0 0 28844 107 0 0 25 0 5 0 1119039657 458244096 108639 4294967295 134512640 135180984 3213349840 3086069612 134518218 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 971.59
Current children cumulated vsize (KiB) 447504

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): 971.67
CPU user time (s): 966.1
CPU system time (s): 5.57
CPU usage (%): 97.1598
Max. virtual memory (cumulated for all children) (KiB): 447504

deleting IPC queue 11534336
deleting IPC queue 11567105
deleting IPC queue 11599874
deleting IPC queue 11632643
deleting IPC queue 11665412
deleting IPC queue 11698181
deleting IPC queue 11730950
deleting IPC queue 11763719
deleting IPC queue 11796488
deleting IPC queue 11829257
deleting IPC queue 11862026
deleting IPC queue 11894795
deleting IPC queue 11927564
deleting IPC queue 11960333
deleting IPC queue 11993102
deleting IPC queue 12025871

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 966.1
system time used= 5.57
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125762
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= 359302
involuntary context switches= 257073

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi45 at 2009-05-30 04:03:41
IDJOB=1780600
IDBENCH=71034
IDSOLVER=629
FILE ID=tipi45/1780600-1243649021
PBS_JOBID=
Free space on /tmp= 15480 MiB

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

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

MD5SUM BENCH= 10eca282b9263f77903cd90a479b46ee
RANDOM SEED= 1075397150

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


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       2302716 kB
Buffers:         35068 kB
Cached:         599028 kB
SwapCached:       1800 kB
Active:         453988 kB
Inactive:       524460 kB
HighTotal:     2489216 kB
HighFree:      1543844 kB
LowTotal:       879316 kB
LowFree:        758872 kB
SwapTotal:     1959888 kB
SwapFree:      1953000 kB
Dirty:           26484 kB
Writeback:           0 kB
AnonPages:      343768 kB
Mapped:           6384 kB
Slab:            75204 kB
SReclaimable:    63240 kB
SUnreclaim:      11964 kB
PageTables:       1164 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   431912 kB
VmallocTotal:   114680 kB
VmallocUsed:     17900 kB
VmallocChunk:    96244 kB

Free space on /tmp at the end= 15480 MiB
End job on tipi45 at 2009-05-30 04:20:26