Trace number 1775650

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

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/total-5-15-u.cnf
MD5SUMc438ce1eb243ac0a49869eda1166f28f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables219756
Number of clauses1008653
Sum of the clauses size2316156
Maximum clause length10
Minimum clause length1
Number of clauses of size 118434
Number of clauses of size 2797195
Number of clauses of size 3151604
Number of clauses of size 44600
Number of clauses of size 518400
Number of clauses of size over 518420

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-1775650-1243632437/watcher-1775650-1243632437 -o /tmp/evaluation-result-1775650-1243632437/solver-1775650-1243632437 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775650-1243632437.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.86 2.86 1.95 3/115 14652
/proc/meminfo: memFree=3108320/3368532 swapFree=1941392/1959888
[pid=14652] ppid=14650 vsize=5264 CPUtime=0
/proc/14652/stat : 14652 (satake) S 14650 14652 11369 0 -1 4202496 764 0 0 0 0 0 0 0 18 0 5 0 1127923627 5390336 720 4294967295 134512640 135180984 3219778032 3219777468 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14652/statm: 1316 724 63 164 0 1151 0
[pid=14652/tid=14653] ppid=14650 vsize=5264 CPUtime=0
/proc/14652/task/14653/stat : 14653 (satake) S 14650 14652 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1127923627 5390336 786 4294967295 134512640 135180984 3219778032 3086716944 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=14652/tid=14654] ppid=14650 vsize=5264 CPUtime=0
/proc/14652/task/14654/stat : 14654 (satake) R 14650 14652 11369 0 -1 4202560 717 0 0 0 0 0 0 0 19 0 5 0 1127923627 5390336 791 4294967295 134512640 135180984 3219778032 3086651684 134583077 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14652/tid=14655] ppid=14650 vsize=5264 CPUtime=0
/proc/14652/task/14655/stat : 14655 (satake) R 14650 14652 11369 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 5 0 1127923627 5390336 797 4294967295 134512640 135180984 3219778032 3086586692 134705812 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14652/tid=14656] ppid=14650 vsize=5264 CPUtime=0
/proc/14652/task/14656/stat : 14656 (satake) R 14650 14652 11369 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1127923627 5390336 802 4294967295 134512640 135180984 3219778032 3086521156 134705812 0 0 0 0 0 0 0 -1 3 0 0 0

[startup+0.096595 s]
/proc/loadavg: 2.86 2.86 1.95 3/115 14652
/proc/meminfo: memFree=3108320/3368532 swapFree=1941392/1959888
[pid=14652] ppid=14650 vsize=70232 CPUtime=0.23
/proc/14652/stat : 14652 (satake) S 14650 14652 11369 0 -1 4202496 16704 0 0 0 10 13 0 0 18 0 5 0 1127923627 71917568 16649 4294967295 134512640 135180984 3219778032 3219777468 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14652/statm: 17558 16659 63 164 0 17393 0
[pid=14652/tid=14653] ppid=14650 vsize=70232 CPUtime=0
/proc/14652/task/14653/stat : 14653 (satake) S 14650 14652 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1127923627 71917568 16661 4294967295 134512640 135180984 3219778032 3086716944 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=14652/tid=14654] ppid=14650 vsize=70232 CPUtime=0.08
/proc/14652/task/14654/stat : 14654 (satake) R 14650 14652 11369 0 -1 4202560 5510 0 0 0 3 5 0 0 19 0 5 0 1127923627 71917568 16661 4294967295 134512640 135180984 3219778032 3086651540 134579745 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14652/tid=14655] ppid=14650 vsize=70232 CPUtime=0.08
/proc/14652/task/14655/stat : 14655 (satake) S 14650 14652 11369 0 -1 4202560 5566 0 0 0 5 3 0 0 19 0 5 0 1127923627 71917568 16661 4294967295 134512640 135180984 3219778032 3086586004 134579486 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14652/tid=14656] ppid=14650 vsize=70232 CPUtime=0.07
/proc/14652/task/14656/stat : 14656 (satake) S 14650 14652 11369 0 -1 4202560 5522 0 0 0 2 5 0 0 20 0 5 0 1127923627 71917568 16661 4294967295 134512640 135180984 3219778032 3086520468 134579486 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) 70232

[startup+0.116568 s]
/proc/loadavg: 2.86 2.86 1.95 3/115 14652
/proc/meminfo: memFree=3108320/3368532 swapFree=1941392/1959888
[pid=14652] ppid=14650 vsize=70824 CPUtime=0.28
/proc/14652/stat : 14652 (satake) S 14650 14652 11369 0 -1 4202496 17011 0 0 0 14 14 0 0 18 0 5 0 1127923627 72523776 16956 4294967295 134512640 135180984 3219778032 3219777468 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14652/statm: 17706 16957 63 164 0 17541 0
[pid=14652/tid=14653] ppid=14650 vsize=70824 CPUtime=0
/proc/14652/task/14653/stat : 14653 (satake) S 14650 14652 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1127923627 72523776 16957 4294967295 134512640 135180984 3219778032 3086716944 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=14652/tid=14654] ppid=14650 vsize=70824 CPUtime=0.1
/proc/14652/task/14654/stat : 14654 (satake) R 14650 14652 11369 0 -1 4202560 5599 0 0 0 5 5 0 0 19 0 5 0 1127923627 72523776 16958 4294967295 134512640 135180984 3219778032 3086651540 134579745 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14652/tid=14655] ppid=14650 vsize=70824 CPUtime=0.1
/proc/14652/task/14655/stat : 14655 (satake) R 14650 14652 11369 0 -1 4202560 5646 0 0 0 7 3 0 0 19 0 5 0 1127923627 72523776 16958 4294967295 134512640 135180984 3219778032 3086586004 134579745 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14652/tid=14656] ppid=14650 vsize=70824 CPUtime=0.09
/proc/14652/task/14656/stat : 14656 (satake) R 14650 14652 11369 0 -1 4202560 5650 0 0 0 3 6 0 0 20 0 5 0 1127923627 72523776 16958 4294967295 134512640 135180984 3219778032 3086520468 134579486 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) 70824

[startup+0.354349 s]
/proc/loadavg: 2.86 2.86 1.95 3/115 14652
/proc/meminfo: memFree=3108320/3368532 swapFree=1941392/1959888
[pid=14652] ppid=14650 vsize=162580 CPUtime=0.97
/proc/14652/stat : 14652 (satake) S 14650 14652 11369 0 -1 4202496 35411 0 0 0 73 24 0 0 18 0 5 0 1127923627 166481920 35356 4294967295 134512640 135180984 3219778032 3219777468 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14652/statm: 40645 35356 63 164 0 40480 0
[pid=14652/tid=14653] ppid=14650 vsize=162580 CPUtime=0
/proc/14652/task/14653/stat : 14653 (satake) S 14650 14652 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1127923627 166481920 35356 4294967295 134512640 135180984 3219778032 3086716944 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=14652/tid=14654] ppid=14650 vsize=162580 CPUtime=0.32
/proc/14652/task/14654/stat : 14654 (satake) S 14650 14652 11369 0 -1 4202560 11720 0 0 0 24 8 0 0 18 0 5 0 1127923627 166481920 35356 4294967295 134512640 135180984 3219778032 3086651540 134579486 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14652/tid=14655] ppid=14650 vsize=162580 CPUtime=0.33
/proc/14652/task/14655/stat : 14655 (satake) D 14650 14652 11369 0 -1 4202560 11672 0 0 0 26 7 0 0 18 0 5 0 1127923627 166481920 35356 4294967295 134512640 135180984 3219778032 3086586004 134579745 0 0 0 0 3223098951 0 0 -1 3 0 0 0
[pid=14652/tid=14656] ppid=14650 vsize=162580 CPUtime=0.32
/proc/14652/task/14656/stat : 14656 (satake) R 14650 14652 11369 0 -1 4202560 11901 0 0 0 23 9 0 0 19 0 5 0 1127923627 166481920 35356 4294967295 134512640 135180984 3219778032 3086520400 134702260 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 162580

[startup+0.706513 s]
/proc/loadavg: 2.86 2.86 1.95 3/115 14652
/proc/meminfo: memFree=3108320/3368532 swapFree=1941392/1959888
[pid=14652] ppid=14650 vsize=189072 CPUtime=2.03
/proc/14652/stat : 14652 (satake) S 14650 14652 11369 0 -1 4202496 42412 0 0 0 170 33 0 0 18 0 5 0 1127923627 193609728 42357 4294967295 134512640 135180984 3219778032 3219777468 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14652/statm: 47268 42358 63 164 0 47103 0
[pid=14652/tid=14653] ppid=14650 vsize=189072 CPUtime=0
/proc/14652/task/14653/stat : 14653 (satake) S 14650 14652 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1127923627 193609728 42358 4294967295 134512640 135180984 3219778032 3086716944 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=14652/tid=14654] ppid=14650 vsize=189072 CPUtime=0.67
/proc/14652/task/14654/stat : 14654 (satake) R 14650 14652 11369 0 -1 4202560 13940 0 0 0 57 10 0 0 16 0 5 0 1127923627 193609728 42358 4294967295 134512640 135180984 3219778032 3086651604 134579745 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14652/tid=14655] ppid=14650 vsize=189072 CPUtime=0.69
/proc/14652/task/14655/stat : 14655 (satake) R 14650 14652 11369 0 -1 4202560 14083 0 0 0 59 10 0 0 16 0 5 0 1127923627 193609728 42358 4294967295 134512640 135180984 3219778032 3086586004 134579745 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14652/tid=14656] ppid=14650 vsize=189072 CPUtime=0.68
/proc/14652/task/14656/stat : 14656 (satake) R 14650 14652 11369 0 -1 4202560 14272 0 0 0 55 13 0 0 17 0 5 0 1127923627 193609728 42358 4294967295 134512640 135180984 3219778032 3086520484 134682155 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 189072

[startup+1.50648 s]
/proc/loadavg: 2.86 2.86 1.95 4/120 14657
/proc/meminfo: memFree=2912312/3368532 swapFree=1941392/1959888
[pid=14652] ppid=14650 vsize=199192 CPUtime=4.31
/proc/14652/stat : 14652 (satake) S 14650 14652 11369 0 -1 4202496 54252 0 0 0 370 61 0 0 18 0 5 0 1127923627 203972608 45199 4294967295 134512640 135180984 3219778032 3219777468 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14652/statm: 49798 45199 66 164 0 49633 0
[pid=14652/tid=14653] ppid=14650 vsize=199192 CPUtime=0
/proc/14652/task/14653/stat : 14653 (satake) S 14650 14652 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1127923627 203972608 45199 4294967295 134512640 135180984 3219778032 3086716944 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=14652/tid=14654] ppid=14650 vsize=199192 CPUtime=1.41
/proc/14652/task/14654/stat : 14654 (satake) R 14650 14652 11369 0 -1 4202560 17876 0 0 0 122 19 0 0 15 0 5 0 1127923627 203972608 45199 4294967295 134512640 135180984 3219778032 3086651664 134521036 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14652/tid=14655] ppid=14650 vsize=199192 CPUtime=1.48
/proc/14652/task/14655/stat : 14655 (satake) R 14650 14652 11369 0 -1 4202560 18019 0 0 0 128 20 0 0 16 0 5 0 1127923627 203972608 45199 4294967295 134512640 135180984 3219778032 3086585708 134518208 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14652/tid=14656] ppid=14650 vsize=199192 CPUtime=1.43
/proc/14652/task/14656/stat : 14656 (satake) R 14650 14652 11369 0 -1 4202560 18239 0 0 0 121 22 0 0 15 0 5 0 1127923627 203972608 45199 4294967295 134512640 135180984 3219778032 3086520068 134579486 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 199192

[startup+3.10623 s]
/proc/loadavg: 2.86 2.86 1.95 5/120 14657
/proc/meminfo: memFree=2935400/3368532 swapFree=1941392/1959888
[pid=14652] ppid=14650 vsize=191604 CPUtime=9.17
/proc/14652/stat : 14652 (satake) S 14650 14652 11369 0 -1 4202496 57001 0 0 0 848 69 0 0 18 0 5 0 1127923627 196202496 43449 4294967295 134512640 135180984 3219778032 3219777468 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14652/statm: 47901 43449 68 164 0 47736 0
[pid=14652/tid=14653] ppid=14650 vsize=191604 CPUtime=0.09
/proc/14652/task/14653/stat : 14653 (satake) S 14650 14652 11369 0 -1 4202560 2432 0 0 0 5 4 0 0 16 0 5 0 1127923627 196202496 43449 4294967295 134512640 135180984 3219778032 3086716944 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=14652/tid=14654] ppid=14650 vsize=191604 CPUtime=3
/proc/14652/task/14654/stat : 14654 (satake) R 14650 14652 11369 0 -1 4202560 18040 0 0 0 281 19 0 0 16 0 5 0 1127923627 196202496 43449 4294967295 134512640 135180984 3219778032 3086651156 134682188 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14652/tid=14655] ppid=14650 vsize=191604 CPUtime=3.06
/proc/14652/task/14655/stat : 14655 (satake) R 14650 14652 11369 0 -1 4202560 18061 0 0 0 283 23 0 0 17 0 5 0 1127923627 196202496 43449 4294967295 134512640 135180984 3219778032 3086585704 134518235 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14652/tid=14656] ppid=14650 vsize=191604 CPUtime=3.03
/proc/14652/task/14656/stat : 14656 (satake) R 14650 14652 11369 0 -1 4202560 18357 0 0 0 280 23 0 0 17 0 5 0 1127923627 196202496 43449 4294967295 134512640 135180984 3219778032 3086520176 134528661 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9.17
Current children cumulated vsize (KiB) 191604

[startup+6.30611 s]
/proc/loadavg: 2.87 2.86 1.95 4/120 14658
/proc/meminfo: memFree=2935568/3368532 swapFree=1941392/1959888
[pid=14652] ppid=14650 vsize=191604 CPUtime=18.76
/proc/14652/stat : 14652 (satake) S 14650 14652 11369 0 -1 4202496 57087 0 0 0 1802 74 0 0 18 0 5 0 1127923627 196202496 43535 4294967295 134512640 135180984 3219778032 3219777468 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14652/statm: 47901 43535 68 164 0 47736 0
[pid=14652/tid=14653] ppid=14650 vsize=191604 CPUtime=0.12
/proc/14652/task/14653/stat : 14653 (satake) S 14650 14652 11369 0 -1 4202560 2432 0 0 0 5 7 0 0 16 0 5 0 1127923627 196202496 43535 4294967295 134512640 135180984 3219778032 3086716944 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=14652/tid=14654] ppid=14650 vsize=191604 CPUtime=6.19
/proc/14652/task/14654/stat : 14654 (satake) R 14650 14652 11369 0 -1 4202560 18059 0 0 0 600 19 0 0 19 0 5 0 1127923627 196202496 43535 4294967295 134512640 135180984 3219778032 3086651184 134523692 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14652/tid=14655] ppid=14650 vsize=191604 CPUtime=6.24
/proc/14652/task/14655/stat : 14655 (satake) R 14650 14652 11369 0 -1 4202560 18103 0 0 0 601 23 0 0 21 0 5 0 1127923627 196202496 43535 4294967295 134512640 135180984 3219778032 3086585616 134525312 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14652/tid=14656] ppid=14650 vsize=191604 CPUtime=6.22
/proc/14652/task/14656/stat : 14656 (satake) R 14650 14652 11369 0 -1 4202560 18382 0 0 0 597 25 0 0 21 0 5 0 1127923627 196202496 43535 4294967295 134512640 135180984 3219778032 3086520176 134528267 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 18.76
Current children cumulated vsize (KiB) 191604

[startup+12.7058 s]
/proc/loadavg: 2.88 2.87 1.96 4/120 14658
/proc/meminfo: memFree=2935268/3368532 swapFree=1941392/1959888
[pid=14652] ppid=14650 vsize=191752 CPUtime=38.04
/proc/14652/stat : 14652 (satake) S 14650 14652 11369 0 -1 4202496 57109 0 0 0 3710 94 0 0 18 0 5 0 1127923627 196354048 43557 4294967295 134512640 135180984 3219778032 3219777468 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14652/statm: 47938 43557 68 164 0 47773 0
[pid=14652/tid=14653] ppid=14650 vsize=191752 CPUtime=0.23
/proc/14652/task/14653/stat : 14653 (satake) S 14650 14652 11369 0 -1 4202560 2434 0 0 0 8 15 0 0 16 0 5 0 1127923627 196354048 43557 4294967295 134512640 135180984 3219778032 3086716944 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=14652/tid=14654] ppid=14650 vsize=191752 CPUtime=12.58
/proc/14652/task/14654/stat : 14654 (satake) R 14650 14652 11369 0 -1 4202560 18065 0 0 0 1238 20 0 0 25 0 5 0 1127923627 196354048 43557 4294967295 134512640 135180984 3219778032 3086651244 134518208 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14652/tid=14655] ppid=14650 vsize=191752 CPUtime=12.64
/proc/14652/task/14655/stat : 14655 (satake) R 14650 14652 11369 0 -1 4202560 18109 0 0 0 1235 29 0 0 25 0 5 0 1127923627 196354048 43557 4294967295 134512640 135180984 3219778032 3086585712 134528918 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14652/tid=14656] ppid=14650 vsize=191752 CPUtime=12.6
/proc/14652/task/14656/stat : 14656 (satake) R 14650 14652 11369 0 -1 4202560 18390 0 0 0 1230 30 0 0 25 0 5 0 1127923627 196354048 43557 4294967295 134512640 135180984 3219778032 3086520176 134528674 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 38.04
Current children cumulated vsize (KiB) 191752

[startup+25.5053 s]
/proc/loadavg: 2.91 2.87 1.98 4/120 14661
/proc/meminfo: memFree=2934332/3368532 swapFree=1941392/1959888
[pid=14652] ppid=14650 vsize=192936 CPUtime=76.53
/proc/14652/stat : 14652 (satake) S 14650 14652 11369 0 -1 4202496 57415 0 0 0 7539 114 0 0 18 0 5 0 1127923627 197566464 43863 4294967295 134512640 135180984 3219778032 3219777468 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14652/statm: 48234 43863 68 164 0 48069 0
[pid=14652/tid=14653] ppid=14650 vsize=192936 CPUtime=0.33
/proc/14652/task/14653/stat : 14653 (satake) S 14650 14652 11369 0 -1 4202560 2439 0 0 0 9 24 0 0 16 0 5 0 1127923627 197566464 43863 4294967295 134512640 135180984 3219778032 3086716944 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=14652/tid=14654] ppid=14650 vsize=192936 CPUtime=25.38
/proc/14652/task/14654/stat : 14654 (satake) R 14650 14652 11369 0 -1 4202560 18131 0 0 0 2515 23 0 0 25 0 5 0 1127923627 197566464 43863 4294967295 134512640 135180984 3219778032 3086651152 134525129 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14652/tid=14655] ppid=14650 vsize=192936 CPUtime=25.44
/proc/14652/task/14655/stat : 14655 (satake) R 14650 14652 11369 0 -1 4202560 18307 0 0 0 2512 32 0 0 25 0 5 0 1127923627 197566464 43863 4294967295 134512640 135180984 3219778032 3086585544 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14652/tid=14656] ppid=14650 vsize=192936 CPUtime=25.39
/proc/14652/task/14656/stat : 14656 (satake) R 14650 14652 11369 0 -1 4202560 18427 0 0 0 2504 35 0 0 25 0 5 0 1127923627 197566464 43863 4294967295 134512640 135180984 3219778032 3086520176 134528881 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 76.53
Current children cumulated vsize (KiB) 192936

[startup+51.1043 s]
/proc/loadavg: 2.94 2.88 2.00 4/120 14666
/proc/meminfo: memFree=2920384/3368532 swapFree=1941392/1959888
[pid=14652] ppid=14650 vsize=206304 CPUtime=153.45
/proc/14652/stat : 14652 (satake) S 14650 14652 11369 0 -1 4202496 60926 0 0 0 15204 141 0 0 18 0 5 0 1127923627 211255296 47374 4294967295 134512640 135180984 3219778032 3219777468 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14652/statm: 51576 47374 68 164 0 51411 0
[pid=14652/tid=14653] ppid=14650 vsize=206304 CPUtime=0.46
/proc/14652/task/14653/stat : 14653 (satake) S 14650 14652 11369 0 -1 4202560 2473 0 0 0 11 35 0 0 16 0 5 0 1127923627 211255296 47374 4294967295 134512640 135180984 3219778032 3086716944 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=14652/tid=14654] ppid=14650 vsize=206304 CPUtime=50.98
/proc/14652/task/14654/stat : 14654 (satake) R 14650 14652 11369 0 -1 4202560 19482 0 0 0 5069 29 0 0 25 0 5 0 1127923627 211255296 47374 4294967295 134512640 135180984 3219778032 3086651184 134523791 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14652/tid=14655] ppid=14650 vsize=206304 CPUtime=51.04
/proc/14652/task/14655/stat : 14655 (satake) R 14650 14652 11369 0 -1 4202560 19343 0 0 0 5068 36 0 0 25 0 5 0 1127923627 211255296 47374 4294967295 134512640 135180984 3219778032 3086585616 134525183 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14652/tid=14656] ppid=14650 vsize=206304 CPUtime=50.98
/proc/14652/task/14656/stat : 14656 (satake) R 14650 14652 11369 0 -1 4202560 19517 0 0 0 5057 41 0 0 25 0 5 0 1127923627 211255296 47374 4294967295 134512640 135180984 3219778032 3086520080 134524723 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 153.45
Current children cumulated vsize (KiB) 206304

[startup+102.322 s]
/proc/loadavg: 2.97 2.90 2.05 4/120 14854

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

[pid=14652/tid=14654] ppid=14650 vsize=387368 CPUtime=521.12
/proc/14652/task/14654/stat : 14654 (satake) R 14650 14652 11369 0 -1 4202560 34656 0 0 0 52051 61 0 0 25 0 5 0 1127923627 396664832 92437 4294967295 134512640 135180984 3219778032 3086651248 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14652/tid=14655] ppid=14650 vsize=387368 CPUtime=522.15
/proc/14652/task/14655/stat : 14655 (satake) R 14650 14652 11369 0 -1 4202560 34668 0 0 0 52130 85 0 0 25 0 5 0 1127923627 396664832 92437 4294967295 134512640 135180984 3219778032 3086585544 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14652/tid=14656] ppid=14650 vsize=387368 CPUtime=521.04
/proc/14652/task/14656/stat : 14656 (satake) R 14650 14652 11369 0 -1 4202560 33830 0 0 0 51966 138 0 0 25 0 5 0 1127923627 396664832 92437 4294967295 134512640 135180984 3219778032 3086520176 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1565.74
Current children cumulated vsize (KiB) 387368

[startup+582.303 s]
/proc/loadavg: 2.99 2.97 2.42 4/120 16364
/proc/meminfo: memFree=2727168/3368532 swapFree=1941392/1959888
[pid=14652] ppid=14650 vsize=402336 CPUtime=1745.59
/proc/14652/stat : 14652 (satake) S 14650 14652 11369 0 -1 4202496 109165 0 0 0 174135 424 0 0 18 0 5 0 1127923627 411992064 95613 4294967295 134512640 135180984 3219778032 3219777468 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14652/statm: 100584 95613 68 164 0 100419 0
[pid=14652/tid=14653] ppid=14650 vsize=402336 CPUtime=1.51
/proc/14652/task/14653/stat : 14653 (satake) S 14650 14652 11369 0 -1 4202560 2746 0 0 0 31 120 0 0 15 0 5 0 1127923627 411992064 95613 4294967295 134512640 135180984 3219778032 3086716944 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=14652/tid=14654] ppid=14650 vsize=402336 CPUtime=581.03
/proc/14652/task/14654/stat : 14654 (satake) R 14650 14652 11369 0 -1 4202560 35347 0 0 0 58039 64 0 0 25 0 5 0 1127923627 411992064 95613 4294967295 134512640 135180984 3219778032 3086651244 134520875 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14652/tid=14655] ppid=14650 vsize=402336 CPUtime=582.13
/proc/14652/task/14655/stat : 14655 (satake) R 14650 14652 11369 0 -1 4202560 35827 0 0 0 58123 90 0 0 25 0 5 0 1127923627 411992064 95613 4294967295 134512640 135180984 3219778032 3086585616 134525374 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14652/tid=14656] ppid=14650 vsize=402336 CPUtime=580.93
/proc/14652/task/14656/stat : 14656 (satake) R 14650 14652 11369 0 -1 4202560 35134 0 0 0 57943 150 0 0 25 0 5 0 1127923627 411992064 95613 4294967295 134512640 135180984 3219778032 3086520176 134528688 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1745.59
Current children cumulated vsize (KiB) 402336

[startup+642.311 s]
/proc/loadavg: 2.99 2.97 2.45 4/120 16553
/proc/meminfo: memFree=2711612/3368532 swapFree=1941392/1959888
[pid=14652] ppid=14650 vsize=416444 CPUtime=1925.51
/proc/14652/stat : 14652 (satake) S 14650 14652 11369 0 -1 4202496 112769 0 0 0 192117 434 0 0 18 0 5 0 1127923627 426438656 99217 4294967295 134512640 135180984 3219778032 3219777468 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14652/statm: 104111 99217 68 164 0 103946 0
[pid=14652/tid=14653] ppid=14650 vsize=416444 CPUtime=1.55
/proc/14652/task/14653/stat : 14653 (satake) S 14650 14652 11369 0 -1 4202560 2768 0 0 0 34 121 0 0 15 0 5 0 1127923627 426438656 99217 4294967295 134512640 135180984 3219778032 3086716944 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=14652/tid=14654] ppid=14650 vsize=416444 CPUtime=640.97
/proc/14652/task/14654/stat : 14654 (satake) R 14650 14652 11369 0 -1 4202560 36149 0 0 0 64032 65 0 0 25 0 5 0 1127923627 426438656 99217 4294967295 134512640 135180984 3219778032 3086651248 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14652/tid=14655] ppid=14650 vsize=416444 CPUtime=642.12
/proc/14652/task/14655/stat : 14655 (satake) R 14650 14652 11369 0 -1 4202560 36832 0 0 0 64122 90 0 0 25 0 5 0 1127923627 426438656 99217 4294967295 134512640 135180984 3219778032 3086585712 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14652/tid=14656] ppid=14650 vsize=416444 CPUtime=640.87
/proc/14652/task/14656/stat : 14656 (satake) R 14650 14652 11369 0 -1 4202560 36909 0 0 0 63929 158 0 0 25 0 5 0 1127923627 426438656 99217 4294967295 134512640 135180984 3219778032 3086520176 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1925.51
Current children cumulated vsize (KiB) 416444

[startup+702.308 s]
/proc/loadavg: 2.99 2.97 2.48 4/120 16741
/proc/meminfo: memFree=2697392/3368532 swapFree=1941392/1959888
[pid=14652] ppid=14650 vsize=431148 CPUtime=2105.37
/proc/14652/stat : 14652 (satake) S 14650 14652 11369 0 -1 4202496 116534 0 0 0 210083 454 0 0 18 0 5 0 1127923627 441495552 102982 4294967295 134512640 135180984 3219778032 3219777468 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14652/statm: 107787 102982 68 164 0 107622 0
[pid=14652/tid=14653] ppid=14650 vsize=431148 CPUtime=1.59
/proc/14652/task/14653/stat : 14653 (satake) S 14650 14652 11369 0 -1 4202560 2779 0 0 0 35 124 0 0 15 0 5 0 1127923627 441495552 102982 4294967295 134512640 135180984 3219778032 3086716944 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=14652/tid=14654] ppid=14650 vsize=431148 CPUtime=700.93
/proc/14652/task/14654/stat : 14654 (satake) R 14650 14652 11369 0 -1 4202560 37177 0 0 0 70024 69 0 0 25 0 5 0 1127923627 441495552 102982 4294967295 134512640 135180984 3219778032 3086651312 134532433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14652/tid=14655] ppid=14650 vsize=431148 CPUtime=702.09
/proc/14652/task/14655/stat : 14655 (satake) R 14650 14652 11369 0 -1 4202560 37845 0 0 0 70116 93 0 0 25 0 5 0 1127923627 441495552 102982 4294967295 134512640 135180984 3219778032 3086585712 134528470 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14652/tid=14656] ppid=14650 vsize=431148 CPUtime=700.77
/proc/14652/task/14656/stat : 14656 (satake) R 14650 14652 11369 0 -1 4202560 38622 0 0 0 69909 168 0 0 25 0 5 0 1127923627 441495552 102982 4294967295 134512640 135180984 3219778032 3086520176 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2105.37
Current children cumulated vsize (KiB) 431148

[startup+762.316 s]
/proc/loadavg: 2.99 2.97 2.51 4/120 16930
/proc/meminfo: memFree=2680916/3368532 swapFree=1941392/1959888
[pid=14652] ppid=14650 vsize=449268 CPUtime=2285.29
/proc/14652/stat : 14652 (satake) S 14650 14652 11369 0 -1 4202496 120575 0 0 0 228057 472 0 0 18 0 5 0 1127923627 460050432 107023 4294967295 134512640 135180984 3219778032 3219777468 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14652/statm: 112317 107023 68 164 0 112152 0
[pid=14652/tid=14653] ppid=14650 vsize=449268 CPUtime=1.64
/proc/14652/task/14653/stat : 14653 (satake) S 14650 14652 11369 0 -1 4202560 2798 0 0 0 37 127 0 0 16 0 5 0 1127923627 460050432 107023 4294967295 134512640 135180984 3219778032 3086716944 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=14652/tid=14654] ppid=14650 vsize=449268 CPUtime=760.89
/proc/14652/task/14654/stat : 14654 (satake) R 14650 14652 11369 0 -1 4202560 38489 0 0 0 76018 71 0 0 25 0 5 0 1127923627 460050432 107023 4294967295 134512640 135180984 3219778032 3086651248 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14652/tid=14655] ppid=14650 vsize=449268 CPUtime=762.09
/proc/14652/task/14655/stat : 14655 (satake) R 14650 14652 11369 0 -1 4202560 39016 0 0 0 76112 97 0 0 25 0 5 0 1127923627 460050432 107023 4294967295 134512640 135180984 3219778032 3086585712 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14652/tid=14656] ppid=14650 vsize=449268 CPUtime=760.68
/proc/14652/task/14656/stat : 14656 (satake) R 14650 14652 11369 0 -1 4202560 40161 0 0 0 75891 177 0 0 25 0 5 0 1127923627 460050432 107023 4294967295 134512640 135180984 3219778032 3086520176 134528562 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2285.29
Current children cumulated vsize (KiB) 449268

[startup+822.314 s]
/proc/loadavg: 2.99 2.97 2.54 4/120 17122
/proc/meminfo: memFree=2668516/3368532 swapFree=1941392/1959888
[pid=14652] ppid=14650 vsize=463204 CPUtime=2465.23
/proc/14652/stat : 14652 (satake) S 14650 14652 11369 0 -1 4202496 123813 0 0 0 246037 486 0 0 18 0 5 0 1127923627 474320896 110261 4294967295 134512640 135180984 3219778032 3219777468 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14652/statm: 115801 110261 68 164 0 115636 0
[pid=14652/tid=14653] ppid=14650 vsize=463204 CPUtime=1.7
/proc/14652/task/14653/stat : 14653 (satake) S 14650 14652 11369 0 -1 4202560 2806 0 0 0 40 130 0 0 15 0 5 0 1127923627 474320896 110261 4294967295 134512640 135180984 3219778032 3086716944 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=14652/tid=14654] ppid=14650 vsize=463204 CPUtime=820.88
/proc/14652/task/14654/stat : 14654 (satake) R 14650 14652 11369 0 -1 4202560 39402 0 0 0 82015 73 0 0 25 0 5 0 1127923627 474320896 110261 4294967295 134512640 135180984 3219778032 3086651244 134518257 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14652/tid=14655] ppid=14650 vsize=463204 CPUtime=822.09
/proc/14652/task/14655/stat : 14655 (satake) R 14650 14652 11369 0 -1 4202560 40190 0 0 0 82111 98 0 0 25 0 5 0 1127923627 474320896 110261 4294967295 134512640 135180984 3219778032 3086585544 134675846 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14652/tid=14656] ppid=14650 vsize=463204 CPUtime=820.57
/proc/14652/task/14656/stat : 14656 (satake) R 14650 14652 11369 0 -1 4202560 41304 0 0 0 81872 185 0 0 25 0 5 0 1127923627 474320896 110261 4294967295 134512640 135180984 3219778032 3086520176 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2465.23
Current children cumulated vsize (KiB) 463204

[startup+882.311 s]
/proc/loadavg: 2.99 2.97 2.56 5/120 17310
/proc/meminfo: memFree=2653388/3368532 swapFree=1941392/1959888
[pid=14652] ppid=14650 vsize=476800 CPUtime=2645.11
/proc/14652/stat : 14652 (satake) S 14650 14652 11369 0 -1 4202496 127376 0 0 0 264011 500 0 0 18 0 5 0 1127923627 488243200 113824 4294967295 134512640 135180984 3219778032 3219777468 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14652/statm: 119200 113824 68 164 0 119035 0
[pid=14652/tid=14653] ppid=14650 vsize=476800 CPUtime=1.75
/proc/14652/task/14653/stat : 14653 (satake) S 14650 14652 11369 0 -1 4202560 2817 0 0 0 41 134 0 0 15 0 5 0 1127923627 488243200 113824 4294967295 134512640 135180984 3219778032 3086716944 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=14652/tid=14654] ppid=14650 vsize=476800 CPUtime=880.8
/proc/14652/task/14654/stat : 14654 (satake) R 14650 14652 11369 0 -1 4202560 40462 0 0 0 88005 75 0 0 25 0 5 0 1127923627 488243200 113824 4294967295 134512640 135180984 3219778032 3086651248 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14652/tid=14655] ppid=14650 vsize=476800 CPUtime=882.08
/proc/14652/task/14655/stat : 14655 (satake) R 14650 14652 11369 0 -1 4202560 41345 0 0 0 88107 101 0 0 25 0 5 0 1127923627 488243200 113824 4294967295 134512640 135180984 3219778032 3086585708 134523867 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14652/tid=14656] ppid=14650 vsize=476800 CPUtime=880.49
/proc/14652/task/14656/stat : 14656 (satake) R 14650 14652 11369 0 -1 4202560 42641 0 0 0 87859 190 0 0 25 0 5 0 1127923627 488243200 113824 4294967295 134512640 135180984 3219778032 3086520064 134522934 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2645.11
Current children cumulated vsize (KiB) 476800

[startup+942.309 s]
/proc/loadavg: 2.99 2.97 2.59 4/120 17499
/proc/meminfo: memFree=2640484/3368532 swapFree=1941392/1959888
[pid=14652] ppid=14650 vsize=489380 CPUtime=2824.93
/proc/14652/stat : 14652 (satake) S 14650 14652 11369 0 -1 4202496 130564 0 0 0 281979 514 0 0 18 0 5 0 1127923627 501125120 117012 4294967295 134512640 135180984 3219778032 3219777468 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14652/statm: 122345 117012 68 164 0 122180 0
[pid=14652/tid=14653] ppid=14650 vsize=489380 CPUtime=1.79
/proc/14652/task/14653/stat : 14653 (satake) S 14650 14652 11369 0 -1 4202560 2829 0 0 0 42 137 0 0 15 0 5 0 1127923627 501125120 117012 4294967295 134512640 135180984 3219778032 3086716944 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=14652/tid=14654] ppid=14650 vsize=489380 CPUtime=940.72
/proc/14652/task/14654/stat : 14654 (satake) R 14650 14652 11369 0 -1 4202560 41469 0 0 0 93995 77 0 0 25 0 5 0 1127923627 501125120 117012 4294967295 134512640 135180984 3219778032 3086651248 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14652/tid=14655] ppid=14650 vsize=489380 CPUtime=942.06
/proc/14652/task/14655/stat : 14655 (satake) R 14650 14652 11369 0 -1 4202560 42348 0 0 0 94103 103 0 0 25 0 5 0 1127923627 501125120 117012 4294967295 134512640 135180984 3219778032 3086585712 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14652/tid=14656] ppid=14650 vsize=489380 CPUtime=940.37
/proc/14652/task/14656/stat : 14656 (satake) R 14650 14652 11369 0 -1 4202560 43807 0 0 0 93840 197 0 0 25 0 5 0 1127923627 501125120 117012 4294967295 134512640 135180984 3219778032 3086520176 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2824.93
Current children cumulated vsize (KiB) 489380



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.02 s]
/proc/loadavg: 2.99 2.97 2.61 4/120 17687
/proc/meminfo: memFree=2630184/3368532 swapFree=1941392/1959888
[pid=14652] ppid=14650 vsize=499684 CPUtime=2997.99
/proc/14652/stat : 14652 (satake) S 14650 14652 11369 0 -1 4202496 133214 0 0 0 299274 525 0 0 18 0 5 0 1127923627 511676416 119662 4294967295 134512640 135180984 3219778032 3219777468 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14652/statm: 124921 119662 68 164 0 124756 0
[pid=14652/tid=14653] ppid=14650 vsize=499684 CPUtime=1.81
/proc/14652/task/14653/stat : 14653 (satake) S 14650 14652 11369 0 -1 4202560 2839 0 0 0 42 139 0 0 15 0 5 0 1127923627 511676416 119662 4294967295 134512640 135180984 3219778032 3086716944 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=14652/tid=14654] ppid=14650 vsize=499684 CPUtime=998.4
/proc/14652/task/14654/stat : 14654 (satake) R 14650 14652 11369 0 -1 4202560 42258 0 0 0 99763 77 0 0 25 0 5 0 1127923627 511676416 119662 4294967295 134512640 135180984 3219778032 3086651248 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14652/tid=14655] ppid=14650 vsize=499684 CPUtime=999.77
/proc/14652/task/14655/stat : 14655 (satake) R 14650 14652 11369 0 -1 4202560 43448 0 0 0 99871 106 0 0 25 0 5 0 1127923627 511676416 119662 4294967295 134512640 135180984 3219778032 3086585616 134525183 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14652/tid=14656] ppid=14650 vsize=499684 CPUtime=998.01
/proc/14652/task/14656/stat : 14656 (satake) R 14650 14652 11369 0 -1 4202560 44558 0 0 0 99598 203 0 0 25 0 5 0 1127923627 511676416 119662 4294967295 134512640 135180984 3219778032 3086520176 134528470 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2997.99
Current children cumulated vsize (KiB) 499684

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): 2998.05
CPU user time (s): 2992.78
CPU system time (s): 5.27
CPU usage (%): 299.786
Max. virtual memory (cumulated for all children) (KiB): 499684

deleting IPC queue 524288
deleting IPC queue 557057
deleting IPC queue 589826
deleting IPC queue 622595
deleting IPC queue 655364
deleting IPC queue 688133
deleting IPC queue 720902
deleting IPC queue 753671
deleting IPC queue 786440
deleting IPC queue 819209
deleting IPC queue 851978
deleting IPC queue 884747
deleting IPC queue 917516
deleting IPC queue 950285
deleting IPC queue 983054
deleting IPC queue 1015823

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2992.78
system time used= 5.27
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133215
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= 174363
involuntary context switches= 153978

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-29 23:27:17
IDJOB=1775650
IDBENCH=20368
IDSOLVER=629
FILE ID=/1775650-1243632437
PBS_JOBID=
Free space on /tmp= 15713 MiB

SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/total-5-15-u.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1775650-1243632437/watcher-1775650-1243632437 -o /tmp/evaluation-result-1775650-1243632437/solver-1775650-1243632437 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775650-1243632437.cnf 4 10000

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

MD5SUM BENCH= c438ce1eb243ac0a49869eda1166f28f
RANDOM SEED= 806552512

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.143
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.143
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.143
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.17
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.143
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:       3108320 kB
Buffers:         39688 kB
Cached:         139996 kB
SwapCached:       4320 kB
Active:         148700 kB
Inactive:        41492 kB
HighTotal:     2489216 kB
HighFree:      2336468 kB
LowTotal:       879316 kB
LowFree:        771852 kB
SwapTotal:     1959888 kB
SwapFree:      1941392 kB
Dirty:           19180 kB
Writeback:           0 kB
AnonPages:        9552 kB
Mapped:           4228 kB
Slab:            58972 kB
SReclaimable:    50168 kB
SUnreclaim:       8804 kB
PageTables:        760 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   127076 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15713 MiB
End job on  at 2009-05-29 23:44:00