Trace number 1776415

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) 976.03 1000.24

General information on the benchmark

Nameindustrial/narain/
clauses-8.cnf
MD5SUM74bd745b1c68e4deddfa063e58b6b54d
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 variables1461771
Number of clauses5687554
Sum of the clauses size14147618
Maximum clause length601
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 24325673
Number of clauses of size 3961281
Number of clauses of size 411051
Number of clauses of size 5354960
Number of clauses of size over 534588

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-1776415-1243636998/watcher-1776415-1243636998 -o /tmp/evaluation-result-1776415-1243636998/solver-1776415-1243636998 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776415-1243636998.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.07 6.94 6.73 7/114 6671
/proc/meminfo: memFree=1744932/3368532 swapFree=1952996/1959888
[pid=6671] ppid=6668 vsize=3216 CPUtime=0.01
/proc/6671/stat : 6671 (satake) S 6668 6671 20665 0 -1 4202496 653 0 0 0 0 1 0 0 18 0 5 0 1117838731 3293184 609 4294967295 134512640 135180984 3219161440 3219160876 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6671/statm: 1316 613 63 164 0 1151 0
[pid=6671/tid=6672] ppid=6668 vsize=5264 CPUtime=0
/proc/6671/task/6672/stat : 6672 (satake) S 6668 6671 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1117838731 5390336 764 4294967295 134512640 135180984 3219161440 3086602256 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=6671/tid=6673] ppid=6668 vsize=5264 CPUtime=0
/proc/6671/task/6673/stat : 6673 (satake) R 6668 6671 20665 0 -1 4202560 694 0 0 0 0 0 0 0 19 0 5 0 1117838731 5390336 769 4294967295 134512640 135180984 3219161440 3086536996 134583077 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6671/tid=6674] ppid=6668 vsize=5264 CPUtime=0
/proc/6671/task/6674/stat : 6674 (satake) R 6668 6671 20665 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 5 0 1117838731 5390336 773 4294967295 134512640 135180984 3219161440 3086472004 134705812 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6671/tid=6675] ppid=6668 vsize=5264 CPUtime=0
/proc/6671/task/6675/stat : 6675 (satake) R 6668 6671 20665 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1117838731 5390336 778 4294967295 134512640 135180984 3219161440 3086406468 134705812 0 0 0 0 0 0 0 -1 1 0 0 0

[startup+0.040012 s]
/proc/loadavg: 7.07 6.94 6.73 7/114 6671
/proc/meminfo: memFree=1744932/3368532 swapFree=1952996/1959888
[pid=6671] ppid=6668 vsize=34020 CPUtime=0.04
/proc/6671/stat : 6671 (satake) S 6668 6671 20665 0 -1 4202496 6111 0 0 0 0 4 0 0 18 0 5 0 1117838731 34836480 6068 4294967295 134512640 135180984 3219161440 3219160876 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6671/statm: 8505 6076 63 164 0 8340 0
[pid=6671/tid=6672] ppid=6668 vsize=34020 CPUtime=0
/proc/6671/task/6672/stat : 6672 (satake) S 6668 6671 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1117838731 34836480 6079 4294967295 134512640 135180984 3219161440 3086602256 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=6671/tid=6673] ppid=6668 vsize=34020 CPUtime=0.01
/proc/6671/task/6673/stat : 6673 (satake) R 6668 6671 20665 0 -1 4202560 1469 0 0 0 0 1 0 0 19 0 5 0 1117838731 34836480 6081 4294967295 134512640 135180984 3219161440 3086536996 134583077 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6671/tid=6674] ppid=6668 vsize=34020 CPUtime=0.01
/proc/6671/task/6674/stat : 6674 (satake) R 6668 6671 20665 0 -1 4202560 1486 0 0 0 0 1 0 0 19 0 5 0 1117838731 34836480 6086 4294967295 134512640 135180984 3219161440 3086471460 134583077 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6671/tid=6675] ppid=6668 vsize=34020 CPUtime=0.02
/proc/6671/task/6675/stat : 6675 (satake) R 6668 6671 20665 0 -1 4202560 3060 0 0 0 0 2 0 0 20 0 5 0 1117838731 34836480 6090 4294967295 134512640 135180984 3219161440 3086405924 134583077 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 34020

[startup+0.109994 s]
/proc/loadavg: 7.07 6.94 6.73 7/114 6671
/proc/meminfo: memFree=1744932/3368532 swapFree=1952996/1959888
[pid=6671] ppid=6668 vsize=83172 CPUtime=0.11
/proc/6671/stat : 6671 (satake) S 6668 6671 20665 0 -1 4202496 17443 0 0 0 0 11 0 0 18 0 5 0 1117838731 85168128 17400 4294967295 134512640 135180984 3219161440 3219160876 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6671/statm: 20793 17416 63 164 0 20628 0
[pid=6671/tid=6672] ppid=6668 vsize=83172 CPUtime=0
/proc/6671/task/6672/stat : 6672 (satake) S 6668 6671 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1117838731 85168128 17421 4294967295 134512640 135180984 3219161440 3086602256 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=6671/tid=6673] ppid=6668 vsize=83172 CPUtime=0.04
/proc/6671/task/6673/stat : 6673 (satake) R 6668 6671 20665 0 -1 4202560 5579 0 0 0 0 4 0 0 19 0 5 0 1117838731 85168128 17429 4294967295 134512640 135180984 3219161440 3086536996 134583077 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6671/tid=6674] ppid=6668 vsize=83172 CPUtime=0.02
/proc/6671/task/6674/stat : 6674 (satake) R 6668 6671 20665 0 -1 4202560 4025 0 0 0 0 2 0 0 20 0 5 0 1117838731 85168128 17437 4294967295 134512640 135180984 3219161440 3086471460 134583077 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6671/tid=6675] ppid=6668 vsize=83172 CPUtime=0.05
/proc/6671/task/6675/stat : 6675 (satake) R 6668 6671 20665 0 -1 4202560 7754 0 0 0 0 5 0 0 21 0 5 0 1117838731 85168128 17445 4294967295 134512640 135180984 3219161440 3086405924 134583077 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 83172

[startup+0.311244 s]
/proc/loadavg: 7.07 6.94 6.73 7/114 6671
/proc/meminfo: memFree=1744932/3368532 swapFree=1952996/1959888
[pid=6671] ppid=6668 vsize=312048 CPUtime=0.42
/proc/6671/stat : 6671 (satake) S 6668 6671 20665 0 -1 4202496 60741 0 0 0 0 42 0 0 18 0 5 0 1117838731 319537152 60697 4294967295 134512640 135180984 3219161440 3219160876 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6671/statm: 78012 60697 63 164 0 77847 0
[pid=6671/tid=6672] ppid=6668 vsize=312048 CPUtime=0
/proc/6671/task/6672/stat : 6672 (satake) S 6668 6671 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1117838731 319537152 60697 4294967295 134512640 135180984 3219161440 3086602256 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=6671/tid=6673] ppid=6668 vsize=312048 CPUtime=0.12
/proc/6671/task/6673/stat : 6673 (satake) R 6668 6671 20665 0 -1 4202560 16606 0 0 0 0 12 0 0 20 0 5 0 1117838731 319537152 60697 4294967295 134512640 135180984 3219161440 3086536996 134583077 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6671/tid=6674] ppid=6668 vsize=312048 CPUtime=0.19
/proc/6671/task/6674/stat : 6674 (satake) D 6668 6671 20665 0 -1 4202560 28553 0 0 0 0 19 0 0 20 0 5 0 1117838731 319537152 60697 4294967295 134512640 135180984 3219161440 3086471236 134702083 0 0 0 0 3223098951 0 0 -1 1 0 0 0
[pid=6671/tid=6675] ppid=6668 vsize=312048 CPUtime=0.1
/proc/6671/task/6675/stat : 6675 (satake) D 6668 6671 20665 0 -1 4202560 15463 0 0 0 0 10 0 0 21 0 5 0 1117838731 319537152 60697 4294967295 134512640 135180984 3219161440 3086405924 134583077 0 0 0 0 3223098951 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 312048

[startup+0.709942 s]
/proc/loadavg: 7.07 6.94 6.73 7/114 6671
/proc/meminfo: memFree=1744932/3368532 swapFree=1952996/1959888
[pid=6671] ppid=6668 vsize=375260 CPUtime=0.88
/proc/6671/stat : 6671 (satake) S 6668 6671 20665 0 -1 4202496 92035 0 0 0 28 60 0 0 18 0 5 0 1117838731 384266240 91970 4294967295 134512640 135180984 3219161440 3219160876 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6671/statm: 93815 91972 63 164 0 93650 0
[pid=6671/tid=6672] ppid=6668 vsize=375260 CPUtime=0
/proc/6671/task/6672/stat : 6672 (satake) S 6668 6671 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1117838731 384266240 91973 4294967295 134512640 135180984 3219161440 3086602256 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=6671/tid=6673] ppid=6668 vsize=375260 CPUtime=0.28
/proc/6671/task/6673/stat : 6673 (satake) R 6668 6671 20665 0 -1 4202560 30662 0 0 0 8 20 0 0 19 0 5 0 1117838731 384266240 91973 4294967295 134512640 135180984 3219161440 3086536776 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6671/tid=6674] ppid=6668 vsize=375260 CPUtime=0.32
/proc/6671/task/6674/stat : 6674 (satake) R 6668 6671 20665 0 -1 4202560 30859 0 0 0 13 19 0 0 20 0 5 0 1117838731 384266240 91973 4294967295 134512640 135180984 3219161440 3086471256 134674508 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6671/tid=6675] ppid=6668 vsize=375260 CPUtime=0.28
/proc/6671/task/6675/stat : 6675 (satake) R 6668 6671 20665 0 -1 4202560 30401 0 0 0 7 21 0 0 20 0 5 0 1117838731 384266240 91976 4294967295 134512640 135180984 3219161440 3086405872 134522598 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 375260

[startup+1.50988 s]
/proc/loadavg: 7.07 6.94 6.73 11/119 6683
/proc/meminfo: memFree=1342420/3368532 swapFree=1952996/1959888
[pid=6671] ppid=6668 vsize=492536 CPUtime=2.45
/proc/6671/stat : 6671 (satake) S 6668 6671 20665 0 -1 4202496 117577 0 0 0 172 73 0 0 18 0 5 0 1117838731 504356864 117512 4294967295 134512640 135180984 3219161440 3219160876 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6671/statm: 123134 117512 63 164 0 122969 0
[pid=6671/tid=6672] ppid=6668 vsize=492536 CPUtime=0
/proc/6671/task/6672/stat : 6672 (satake) S 6668 6671 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1117838731 504356864 117512 4294967295 134512640 135180984 3219161440 3086602256 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=6671/tid=6673] ppid=6668 vsize=492536 CPUtime=0.85
/proc/6671/task/6673/stat : 6673 (satake) R 6668 6671 20665 0 -1 4202560 39882 0 0 0 61 24 0 0 17 0 5 0 1117838731 504356864 117512 4294967295 134512640 135180984 3219161440 3086536776 134675846 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6671/tid=6674] ppid=6668 vsize=492536 CPUtime=0.82
/proc/6671/task/6674/stat : 6674 (satake) R 6668 6671 20665 0 -1 4202560 38924 0 0 0 62 20 0 0 17 0 5 0 1117838731 504356864 117514 4294967295 134512640 135180984 3219161440 3086471464 134518216 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6671/tid=6675] ppid=6668 vsize=492536 CPUtime=0.78
/proc/6671/task/6675/stat : 6675 (satake) R 6668 6671 20665 0 -1 4202560 38653 0 0 0 50 28 0 0 17 0 5 0 1117838731 504356864 117514 4294967295 134512640 135180984 3219161440 3086405960 134513869 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 492536

[startup+3.10976 s]
/proc/loadavg: 7.07 6.94 6.73 8/119 6745
/proc/meminfo: memFree=1187452/3368532 swapFree=1952996/1959888
[pid=6671] ppid=6668 vsize=724160 CPUtime=5.88
/proc/6671/stat : 6671 (satake) S 6668 6671 20665 0 -1 4202496 165103 0 0 0 486 102 0 0 18 0 5 0 1117838731 741539840 165038 4294967295 134512640 135180984 3219161440 3219160876 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6671/statm: 181040 165040 63 164 0 180875 0
[pid=6671/tid=6672] ppid=6668 vsize=724160 CPUtime=0
/proc/6671/task/6672/stat : 6672 (satake) S 6668 6671 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1117838731 741539840 165040 4294967295 134512640 135180984 3219161440 3086602256 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=6671/tid=6673] ppid=6668 vsize=724160 CPUtime=2.21
/proc/6671/task/6673/stat : 6673 (satake) R 6668 6671 20665 0 -1 4202560 58081 0 0 0 183 38 0 0 16 0 5 0 1117838731 741539840 165040 4294967295 134512640 135180984 3219161440 3086536776 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6671/tid=6674] ppid=6668 vsize=724160 CPUtime=1.97
/proc/6671/task/6674/stat : 6674 (satake) R 6668 6671 20665 0 -1 4202560 54997 0 0 0 174 23 0 0 16 0 5 0 1117838731 741539840 165040 4294967295 134512640 135180984 3219161440 3086471256 134675846 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6671/tid=6675] ppid=6668 vsize=724160 CPUtime=1.7
/proc/6671/task/6675/stat : 6675 (satake) D 6668 6671 20665 0 -1 4202560 51908 0 0 0 130 40 0 0 16 0 5 0 1117838731 741539840 165041 4294967295 134512640 135180984 3219161440 3086405696 134702260 0 0 0 0 3223098951 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 724160

[startup+6.3095 s]
/proc/loadavg: 7.22 6.97 6.74 8/118 6761
/proc/meminfo: memFree=891784/3368532 swapFree=1952996/1959888
[pid=6671] ppid=6668 vsize=1011292 CPUtime=10.79
/proc/6671/stat : 6671 (satake) S 6668 6671 20665 0 -1 4202496 232938 0 0 0 943 136 0 0 18 0 5 0 1117838731 1035563008 232873 4294967295 134512640 135180984 3219161440 3219160876 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6671/statm: 252823 232873 63 164 0 252658 0
[pid=6671/tid=6672] ppid=6668 vsize=1011292 CPUtime=0
/proc/6671/task/6672/stat : 6672 (satake) S 6668 6671 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1117838731 1035563008 232874 4294967295 134512640 135180984 3219161440 3086602256 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=6671/tid=6673] ppid=6668 vsize=1011292 CPUtime=3.93
/proc/6671/task/6673/stat : 6673 (satake) S 6668 6671 20665 0 -1 4202560 81805 0 0 0 341 52 0 0 15 0 5 0 1117838731 1035563008 232874 4294967295 134512640 135180984 3219161440 3086536852 134579486 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6671/tid=6674] ppid=6668 vsize=1011292 CPUtime=3.61
/proc/6671/task/6674/stat : 6674 (satake) R 6668 6671 20665 0 -1 4202560 75658 0 0 0 327 34 0 0 17 0 5 0 1117838731 1035563008 232874 4294967295 134512640 135180984 3219161440 3086471396 134680984 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6671/tid=6675] ppid=6668 vsize=1011292 CPUtime=3.25
/proc/6671/task/6675/stat : 6675 (satake) R 6668 6671 20665 0 -1 4202560 75357 0 0 0 276 49 0 0 17 0 5 0 1117838731 1035563008 232874 4294967295 134512640 135180984 3219161440 3086405936 134534754 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.79
Current children cumulated vsize (KiB) 1011292

[startup+12.709 s]
/proc/loadavg: 7.29 6.99 6.75 13/118 6761
/proc/meminfo: memFree=642200/3368532 swapFree=1952996/1959888
[pid=6671] ppid=6668 vsize=1333780 CPUtime=28.97
/proc/6671/stat : 6671 (satake) S 6668 6671 20665 0 -1 4202496 361575 0 0 0 2683 214 0 0 18 0 5 0 1117838731 1365790720 275866 4294967295 134512640 135180984 3219161440 3219160876 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6671/statm: 333445 275866 66 164 0 333280 0
[pid=6671/tid=6672] ppid=6668 vsize=1333780 CPUtime=0.61
/proc/6671/task/6672/stat : 6672 (satake) S 6668 6671 20665 0 -1 4202560 17908 0 0 0 55 6 0 0 18 0 5 0 1117838731 1365790720 275866 4294967295 134512640 135180984 3219161440 3086602256 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=6671/tid=6673] ppid=6668 vsize=1333780 CPUtime=9.8
/proc/6671/task/6673/stat : 6673 (satake) R 6668 6671 20665 0 -1 4202560 115594 0 0 0 911 69 0 0 19 0 5 0 1117838731 1365790720 275866 4294967295 134512640 135180984 3219161440 3086536624 134532431 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6671/tid=6674] ppid=6668 vsize=1333780 CPUtime=9.43
/proc/6671/task/6674/stat : 6674 (satake) R 6668 6671 20665 0 -1 4202560 112800 0 0 0 878 65 0 0 18 0 5 0 1117838731 1365790720 275866 4294967295 134512640 135180984 3219161440 3086470864 134691935 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6671/tid=6675] ppid=6668 vsize=1333780 CPUtime=9.13
/proc/6671/task/6675/stat : 6675 (satake) R 6668 6671 20665 0 -1 4202560 115161 0 0 0 840 73 0 0 18 0 5 0 1117838731 1365790720 275866 4294967295 134512640 135180984 3219161440 3086405488 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 28.97
Current children cumulated vsize (KiB) 1333780

[startup+25.508 s]
/proc/loadavg: 7.36 7.02 6.76 8/118 6763
/proc/meminfo: memFree=639172/3368532 swapFree=1952996/1959888
[pid=6671] ppid=6668 vsize=1335748 CPUtime=46.84
/proc/6671/stat : 6671 (satake) S 6668 6671 20665 0 -1 4202496 362133 0 0 0 4470 214 0 0 18 0 5 0 1117838731 1367805952 276424 4294967295 134512640 135180984 3219161440 3219160876 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6671/statm: 333937 276424 68 164 0 333772 0
[pid=6671/tid=6672] ppid=6668 vsize=1335748 CPUtime=0.61
/proc/6671/task/6672/stat : 6672 (satake) S 6668 6671 20665 0 -1 4202560 17909 0 0 0 55 6 0 0 15 0 5 0 1117838731 1367805952 276424 4294967295 134512640 135180984 3219161440 3086602256 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=6671/tid=6673] ppid=6668 vsize=1335748 CPUtime=14.87
/proc/6671/task/6673/stat : 6673 (satake) R 6668 6671 20665 0 -1 4202560 115792 0 0 0 1418 69 0 0 25 0 5 0 1117838731 1367805952 276424 4294967295 134512640 135180984 3219161440 3086536364 134706407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6671/tid=6674] ppid=6668 vsize=1335748 CPUtime=16.03
/proc/6671/task/6674/stat : 6674 (satake) R 6668 6671 20665 0 -1 4202560 112997 0 0 0 1538 65 0 0 25 0 5 0 1117838731 1367805952 276424 4294967295 134512640 135180984 3219161440 3086470960 134523641 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6671/tid=6675] ppid=6668 vsize=1335748 CPUtime=15.33
/proc/6671/task/6675/stat : 6675 (satake) R 6668 6671 20665 0 -1 4202560 115323 0 0 0 1460 73 0 0 25 0 5 0 1117838731 1367805952 276424 4294967295 134512640 135180984 3219161440 3086405480 134520863 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 46.84
Current children cumulated vsize (KiB) 1335748

[startup+51.106 s]
/proc/loadavg: 7.24 7.02 6.77 10/119 6810
/proc/meminfo: memFree=636820/3368532 swapFree=1952996/1959888
[pid=6671] ppid=6668 vsize=1335912 CPUtime=78.16
/proc/6671/stat : 6671 (satake) S 6668 6671 20665 0 -1 4202496 362455 0 0 0 7602 214 0 0 18 0 5 0 1117838731 1367973888 276746 4294967295 134512640 135180984 3219161440 3219160876 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6671/statm: 333978 276746 68 164 0 333813 0
[pid=6671/tid=6672] ppid=6668 vsize=1335912 CPUtime=0.61
/proc/6671/task/6672/stat : 6672 (satake) S 6668 6671 20665 0 -1 4202560 17909 0 0 0 55 6 0 0 15 0 5 0 1117838731 1367973888 276746 4294967295 134512640 135180984 3219161440 3086602256 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=6671/tid=6673] ppid=6668 vsize=1335912 CPUtime=24.81
/proc/6671/task/6673/stat : 6673 (satake) R 6668 6671 20665 0 -1 4202560 115888 0 0 0 2412 69 0 0 25 0 5 0 1117838731 1367973888 276746 4294967295 134512640 135180984 3219161440 3086536624 134532464 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6671/tid=6674] ppid=6668 vsize=1335912 CPUtime=27.31
/proc/6671/task/6674/stat : 6674 (satake) R 6668 6671 20665 0 -1 4202560 113186 0 0 0 2666 65 0 0 21 0 5 0 1117838731 1367973888 276746 4294967295 134512640 135180984 3219161440 3086471020 134520661 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6671/tid=6675] ppid=6668 vsize=1335912 CPUtime=25.43
/proc/6671/task/6675/stat : 6675 (satake) R 6668 6671 20665 0 -1 4202560 115360 0 0 0 2470 73 0 0 25 0 5 0 1117838731 1367973888 276746 4294967295 134512640 135180984 3219161440 3086405488 134528211 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 78.16
Current children cumulated vsize (KiB) 1335912

[startup+102.312 s]
/proc/loadavg: 7.26 7.06 6.79 9/118 6954

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

/proc/meminfo: memFree=616520/3368532 swapFree=1952996/1959888
[pid=6671] ppid=6668 vsize=1338044 CPUtime=702.43
/proc/6671/stat : 6671 (satake) S 6668 6671 20665 0 -1 4202496 363575 0 0 0 69945 298 0 0 18 0 5 0 1117838731 1370157056 277866 4294967295 134512640 135180984 3219161440 3219160876 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6671/statm: 334511 277866 68 164 0 334346 0
[pid=6671/tid=6672] ppid=6668 vsize=1338044 CPUtime=1.19
/proc/6671/task/6672/stat : 6672 (satake) S 6668 6671 20665 0 -1 4202560 17909 0 0 0 67 52 0 0 16 0 5 0 1117838731 1370157056 277866 4294967295 134512640 135180984 3219161440 3086602260 134580588 0 0 0 0 3223036975 0 0 -1 1 0 0 0
[pid=6671/tid=6673] ppid=6668 vsize=1338044 CPUtime=232.25
/proc/6671/task/6673/stat : 6673 (satake) S 6668 6671 20665 0 -1 4202560 116331 0 0 0 23149 76 0 0 19 0 5 0 1117838731 1370157056 277866 4294967295 134512640 135180984 3219161440 3086536352 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=6671/tid=6674] ppid=6668 vsize=1338044 CPUtime=233.79
/proc/6671/task/6674/stat : 6674 (satake) R 6668 6671 20665 0 -1 4202560 113511 0 0 0 23290 89 0 0 25 0 5 0 1117838731 1370157056 277866 4294967295 134512640 135180984 3219161440 3086470828 134706407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6671/tid=6675] ppid=6668 vsize=1338044 CPUtime=235.19
/proc/6671/task/6675/stat : 6675 (satake) S 6668 6671 20665 0 -1 4202560 115712 0 0 0 23439 80 0 0 20 0 5 0 1117838731 1370157056 277866 4294967295 134512640 135180984 3219161440 3086405280 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 702.43
Current children cumulated vsize (KiB) 1338044

[startup+642.31 s]
/proc/loadavg: 6.00 6.70 6.80 7/118 8647
/proc/meminfo: memFree=614660/3368532 swapFree=1952996/1959888
[pid=6671] ppid=6668 vsize=1339068 CPUtime=731.89
/proc/6671/stat : 6671 (satake) S 6668 6671 20665 0 -1 4202496 363625 0 0 0 72884 305 0 0 18 0 5 0 1117838731 1371205632 277916 4294967295 134512640 135180984 3219161440 3219160876 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6671/statm: 334767 277916 68 164 0 334602 0
[pid=6671/tid=6672] ppid=6668 vsize=1339068 CPUtime=1.29
/proc/6671/task/6672/stat : 6672 (satake) S 6668 6671 20665 0 -1 4202560 17910 0 0 0 72 57 0 0 15 0 5 0 1117838731 1371205632 277916 4294967295 134512640 135180984 3219161440 3086602256 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=6671/tid=6673] ppid=6668 vsize=1339068 CPUtime=242.47
/proc/6671/task/6673/stat : 6673 (satake) S 6668 6671 20665 0 -1 4202560 116352 0 0 0 24170 77 0 0 19 0 5 0 1117838731 1371205632 277916 4294967295 134512640 135180984 3219161440 3086536352 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=6671/tid=6674] ppid=6668 vsize=1339068 CPUtime=243.46
/proc/6671/task/6674/stat : 6674 (satake) S 6668 6671 20665 0 -1 4202560 113537 0 0 0 24257 89 0 0 20 0 5 0 1117838731 1371205632 277916 4294967295 134512640 135180984 3219161440 3086470816 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=6671/tid=6675] ppid=6668 vsize=1339068 CPUtime=244.66
/proc/6671/task/6675/stat : 6675 (satake) R 6668 6671 20665 0 -1 4202560 115714 0 0 0 24385 81 0 0 25 0 5 0 1117838731 1371205632 277916 4294967295 134512640 135180984 3219161440 3086405292 134706407 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 731.89
Current children cumulated vsize (KiB) 1339068

[startup+702.315 s]
/proc/loadavg: 6.48 6.72 6.80 6/118 8836
/proc/meminfo: memFree=611684/3368532 swapFree=1952996/1959888
[pid=6671] ppid=6668 vsize=1340356 CPUtime=772.65
/proc/6671/stat : 6671 (satake) S 6668 6671 20665 0 -1 4202496 363885 0 0 0 76932 333 0 0 18 0 5 0 1117838731 1372524544 278176 4294967295 134512640 135180984 3219161440 3219160876 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6671/statm: 335089 278176 68 164 0 334924 0
[pid=6671/tid=6672] ppid=6668 vsize=1340356 CPUtime=1.48
/proc/6671/task/6672/stat : 6672 (satake) S 6668 6671 20665 0 -1 4202560 17912 0 0 0 77 71 0 0 16 0 5 0 1117838731 1372524544 278176 4294967295 134512640 135180984 3219161440 3086602260 134580588 0 0 0 0 3223036975 0 0 -1 2 0 0 0
[pid=6671/tid=6673] ppid=6668 vsize=1340356 CPUtime=251.52
/proc/6671/task/6673/stat : 6673 (satake) R 6668 6671 20665 0 -1 4202560 116414 0 0 0 25071 81 0 0 25 0 5 0 1117838731 1372524544 278176 4294967295 134512640 135180984 3219161440 3086536364 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6671/tid=6674] ppid=6668 vsize=1340356 CPUtime=259.56
/proc/6671/task/6674/stat : 6674 (satake) S 6668 6671 20665 0 -1 4202560 113594 0 0 0 25862 94 0 0 19 0 5 0 1117838731 1372524544 278176 4294967295 134512640 135180984 3219161440 3086470816 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=6671/tid=6675] ppid=6668 vsize=1340356 CPUtime=260.08
/proc/6671/task/6675/stat : 6675 (satake) S 6668 6671 20665 0 -1 4202560 115853 0 0 0 25922 86 0 0 19 0 5 0 1117838731 1372524544 278176 4294967295 134512640 135180984 3219161440 3086405280 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 772.65
Current children cumulated vsize (KiB) 1340356

[startup+762.31 s]
/proc/loadavg: 6.15 6.56 6.74 8/118 9027
/proc/meminfo: memFree=607468/3368532 swapFree=1952996/1959888
[pid=6671] ppid=6668 vsize=1343460 CPUtime=810.69
/proc/6671/stat : 6671 (satake) S 6668 6671 20665 0 -1 4202496 364501 0 0 0 80705 364 0 0 18 0 5 0 1117838731 1375703040 278792 4294967295 134512640 135180984 3219161440 3219160876 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6671/statm: 335865 278792 68 164 0 335700 0
[pid=6671/tid=6672] ppid=6668 vsize=1343460 CPUtime=1.63
/proc/6671/task/6672/stat : 6672 (satake) S 6668 6671 20665 0 -1 4202560 17912 0 0 0 78 85 0 0 15 0 5 0 1117838731 1375703040 278792 4294967295 134512640 135180984 3219161440 3086602256 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=6671/tid=6673] ppid=6668 vsize=1343460 CPUtime=264.68
/proc/6671/task/6673/stat : 6673 (satake) R 6668 6671 20665 0 -1 4202560 116611 0 0 0 26382 86 0 0 17 0 5 0 1117838731 1375703040 278792 4294967295 134512640 135180984 3219161440 3086536560 134528267 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6671/tid=6674] ppid=6668 vsize=1343460 CPUtime=275.52
/proc/6671/task/6674/stat : 6674 (satake) R 6668 6671 20665 0 -1 4202560 113865 0 0 0 27449 103 0 0 16 0 5 0 1117838731 1375703040 278792 4294967295 134512640 135180984 3219161440 3086471024 134528568 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6671/tid=6675] ppid=6668 vsize=1343460 CPUtime=268.85
/proc/6671/task/6675/stat : 6675 (satake) R 6668 6671 20665 0 -1 4202560 116001 0 0 0 26796 89 0 0 25 0 5 0 1117838731 1375703040 278792 4294967295 134512640 135180984 3219161440 3086405480 134518255 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 810.69
Current children cumulated vsize (KiB) 1343460

[startup+822.306 s]
/proc/loadavg: 6.44 6.58 6.73 9/118 9214
/proc/meminfo: memFree=601740/3368532 swapFree=1952996/1959888
[pid=6671] ppid=6668 vsize=1346692 CPUtime=861.71
/proc/6671/stat : 6671 (satake) S 6668 6671 20665 0 -1 4202496 365492 0 0 0 85780 391 0 0 18 0 5 0 1117838731 1379012608 279783 4294967295 134512640 135180984 3219161440 3219160876 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6671/statm: 336673 279783 68 164 0 336508 0
[pid=6671/tid=6672] ppid=6668 vsize=1346692 CPUtime=1.82
/proc/6671/task/6672/stat : 6672 (satake) S 6668 6671 20665 0 -1 4202560 17913 0 0 0 81 101 0 0 15 0 5 0 1117838731 1379012608 279783 4294967295 134512640 135180984 3219161440 3086602260 134580588 0 0 0 0 3223036975 0 0 -1 3 0 0 0
[pid=6671/tid=6673] ppid=6668 vsize=1346692 CPUtime=277.33
/proc/6671/task/6673/stat : 6673 (satake) R 6668 6671 20665 0 -1 4202560 116789 0 0 0 27644 89 0 0 25 0 5 0 1117838731 1379012608 279783 4294967295 134512640 135180984 3219161440 3086536364 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6671/tid=6674] ppid=6668 vsize=1346692 CPUtime=295.57
/proc/6671/task/6674/stat : 6674 (satake) R 6668 6671 20665 0 -1 4202560 114436 0 0 0 29452 105 0 0 19 0 5 0 1117838731 1379012608 279783 4294967295 134512640 135180984 3219161440 3086471024 134528568 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6671/tid=6675] ppid=6668 vsize=1346692 CPUtime=286.98
/proc/6671/task/6675/stat : 6675 (satake) S 6668 6671 20665 0 -1 4202560 116242 0 0 0 28603 95 0 0 19 0 5 0 1117838731 1379012608 279783 4294967295 134512640 135180984 3219161440 3086405280 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 861.71
Current children cumulated vsize (KiB) 1346692

[startup+882.311 s]
/proc/loadavg: 6.34 6.55 6.71 7/118 9403
/proc/meminfo: memFree=595192/3368532 swapFree=1952996/1959888
[pid=6671] ppid=6668 vsize=1349432 CPUtime=911.09
/proc/6671/stat : 6671 (satake) S 6668 6671 20665 0 -1 4202496 366586 0 0 0 90701 408 0 0 18 0 5 0 1117838731 1381818368 280877 4294967295 134512640 135180984 3219161440 3219160876 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6671/statm: 337358 280877 68 164 0 337193 0
[pid=6671/tid=6672] ppid=6668 vsize=1349432 CPUtime=1.91
/proc/6671/task/6672/stat : 6672 (satake) S 6668 6671 20665 0 -1 4202560 17915 0 0 0 83 108 0 0 16 0 5 0 1117838731 1381818368 280877 4294967295 134512640 135180984 3219161440 3086602260 134580588 0 0 0 0 3223036975 0 0 -1 0 0 0 0
[pid=6671/tid=6673] ppid=6668 vsize=1349432 CPUtime=292.68
/proc/6671/task/6673/stat : 6673 (satake) S 6668 6671 20665 0 -1 4202560 117086 0 0 0 29177 91 0 0 20 0 5 0 1117838731 1381818368 280877 4294967295 134512640 135180984 3219161440 3086536352 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=6671/tid=6674] ppid=6668 vsize=1349432 CPUtime=314.25
/proc/6671/task/6674/stat : 6674 (satake) R 6668 6671 20665 0 -1 4202560 114924 0 0 0 31315 110 0 0 25 0 5 0 1117838731 1381818368 280877 4294967295 134512640 135180984 3219161440 3086470828 134706407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6671/tid=6675] ppid=6668 vsize=1349432 CPUtime=302.24
/proc/6671/task/6675/stat : 6675 (satake) S 6668 6671 20665 0 -1 4202560 116549 0 0 0 30126 98 0 0 20 0 5 0 1117838731 1381818368 280877 4294967295 134512640 135180984 3219161440 3086405280 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 911.09
Current children cumulated vsize (KiB) 1349432

[startup+942.316 s]
/proc/loadavg: 6.13 6.46 6.67 7/118 9590
/proc/meminfo: memFree=590604/3368532 swapFree=1952996/1959888
[pid=6671] ppid=6668 vsize=1352536 CPUtime=940.14
/proc/6671/stat : 6671 (satake) S 6668 6671 20665 0 -1 4202496 367233 0 0 0 93590 424 0 0 18 0 5 0 1117838731 1384996864 281524 4294967295 134512640 135180984 3219161440 3219160876 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6671/statm: 338134 281524 68 164 0 337969 0
[pid=6671/tid=6672] ppid=6668 vsize=1352536 CPUtime=2.05
/proc/6671/task/6672/stat : 6672 (satake) S 6668 6671 20665 0 -1 4202560 17917 0 0 0 87 118 0 0 15 0 5 0 1117838731 1384996864 281524 4294967295 134512640 135180984 3219161440 3086602256 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=6671/tid=6673] ppid=6668 vsize=1352536 CPUtime=304.89
/proc/6671/task/6673/stat : 6673 (satake) S 6668 6671 20665 0 -1 4202560 117354 0 0 0 30393 96 0 0 19 0 5 0 1117838731 1384996864 281524 4294967295 134512640 135180984 3219161440 3086536352 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=6671/tid=6674] ppid=6668 vsize=1352536 CPUtime=324.3
/proc/6671/task/6674/stat : 6674 (satake) S 6668 6671 20665 0 -1 4202560 115148 0 0 0 32319 111 0 0 18 0 5 0 1117838731 1384996864 281524 4294967295 134512640 135180984 3219161440 3086470816 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=6671/tid=6675] ppid=6668 vsize=1352536 CPUtime=308.89
/proc/6671/task/6675/stat : 6675 (satake) R 6668 6671 20665 0 -1 4202560 116702 0 0 0 30791 98 0 0 25 0 5 0 1117838731 1384996864 281524 4294967295 134512640 135180984 3219161440 3086405292 134706407 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 940.14
Current children cumulated vsize (KiB) 1352536



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 6.29 6.41 6.63 10/118 9779
/proc/meminfo: memFree=586232/3368532 swapFree=1952996/1959888
[pid=6671] ppid=6668 vsize=1354780 CPUtime=975.94
/proc/6671/stat : 6671 (satake) S 6668 6671 20665 0 -1 4202496 367894 0 0 0 97158 436 0 0 18 0 5 0 1117838731 1387294720 282185 4294967295 134512640 135180984 3219161440 3219160876 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6671/statm: 338695 282185 68 164 0 338530 0
[pid=6671/tid=6672] ppid=6668 vsize=1354780 CPUtime=2.12
/proc/6671/task/6672/stat : 6672 (satake) S 6668 6671 20665 0 -1 4202560 17940 0 0 0 88 124 0 0 15 0 5 0 1117838731 1387294720 282185 4294967295 134512640 135180984 3219161440 3086602260 134580588 0 0 0 0 3223036975 0 0 -1 1 0 0 0
[pid=6671/tid=6673] ppid=6668 vsize=1354780 CPUtime=313.45
/proc/6671/task/6673/stat : 6673 (satake) R 6668 6671 20665 0 -1 4202560 117571 0 0 0 31247 98 0 0 25 0 5 0 1117838731 1387294720 282185 4294967295 134512640 135180984 3219161440 3086536352 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6671/tid=6674] ppid=6668 vsize=1354780 CPUtime=337.91
/proc/6671/task/6674/stat : 6674 (satake) R 6668 6671 20665 0 -1 4202560 115316 0 0 0 33678 113 0 0 19 0 5 0 1117838731 1387294720 282185 4294967295 134512640 135180984 3219161440 3086470920 134518252 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6671/tid=6675] ppid=6668 vsize=1354780 CPUtime=322.45
/proc/6671/task/6675/stat : 6675 (satake) R 6668 6671 20665 0 -1 4202560 116955 0 0 0 32145 100 0 0 19 0 5 0 1117838731 1387294720 282185 4294967295 134512640 135180984 3219161440 3086405504 134532624 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 975.94
Current children cumulated vsize (KiB) 1354780

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1000.21 s]
/proc/loadavg: 6.29 6.41 6.63 10/118 9779
/proc/meminfo: memFree=586232/3368532 swapFree=1952996/1959888
[pid=6671] ppid=6668 vsize=0 CPUtime=976
/proc/6671/stat : 6671 (satake) Z 6668 6671 20665 0 -1 4203524 367894 0 0 0 97158 442 0 0 18 0 2 0 1117838731 0 0 4294967295 0 0 0 0 0 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6671/statm: 0 0 0 0 0 0 0
[pid=6671/tid=6673] ppid=6668 vsize=0 CPUtime=313.51
/proc/6671/task/6673/stat : 6673 (satake) R 6668 6671 20665 0 -1 4203588 117571 0 0 0 31247 104 0 0 25 0 2 0 1117838731 0 0 4294967295 0 0 0 0 0 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 976
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.24
CPU time (s): 976.03
CPU user time (s): 971.58
CPU system time (s): 4.45
CPU usage (%): 97.5798
Max. virtual memory (cumulated for all children) (KiB): 1592396

deleting IPC queue 4194304
deleting IPC queue 4227073
deleting IPC queue 4259842
deleting IPC queue 4292611
deleting IPC queue 4325380
deleting IPC queue 4358149
deleting IPC queue 4390918
deleting IPC queue 4423687
deleting IPC queue 4456456
deleting IPC queue 4489225
deleting IPC queue 4521994
deleting IPC queue 4554763
deleting IPC queue 4587532
deleting IPC queue 4620301
deleting IPC queue 4653070
deleting IPC queue 4685839

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 971.58
system time used= 4.45
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 367894
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= 261132
involuntary context switches= 160211

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi45 at 2009-05-30 00:43:18
IDJOB=1776415
IDBENCH=20506
IDSOLVER=629
FILE ID=tipi45/1776415-1243636998
PBS_JOBID=
Free space on /tmp= 15390 MiB

SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT07/industrial/narain/clauses-8.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776415-1243636998/watcher-1776415-1243636998 -o /tmp/evaluation-result-1776415-1243636998/solver-1776415-1243636998 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776415-1243636998.cnf 4 10000

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

MD5SUM BENCH= 74bd745b1c68e4deddfa063e58b6b54d
RANDOM SEED= 1776764270

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:       1744932 kB
Buffers:        148208 kB
Cached:        1077332 kB
SwapCached:       2100 kB
Active:        1366180 kB
Inactive:       158916 kB
HighTotal:     2489216 kB
HighFree:      1109024 kB
LowTotal:       879316 kB
LowFree:        635908 kB
SwapTotal:     1959888 kB
SwapFree:      1952996 kB
Dirty:          117660 kB
Writeback:           0 kB
AnonPages:      298368 kB
Mapped:           6296 kB
Slab:            85652 kB
SReclaimable:    73824 kB
SUnreclaim:      11828 kB
PageTables:        996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   386384 kB
VmallocTotal:   114680 kB
VmallocUsed:     17900 kB
VmallocChunk:    96244 kB

Free space on /tmp at the end= 15390 MiB
End job on tipi45 at 2009-05-30 01:00:17