Trace number 1776880

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) 3012.48 1000.03

General information on the benchmark

Namealoul-chnl11-13.cnf
MD5SUMc7162bc1ddb6d2592f237fef1b04b5ce
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.39
Satisfiable
(Un)Satisfiability was proved
Number of variables286
Number of clauses1742
Sum of the clauses size3718
Maximum clause length11
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21716
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 526

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-1776880-1243639468/watcher-1776880-1243639468 -o /tmp/evaluation-result-1776880-1243639468/solver-1776880-1243639468 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776880-1243639468.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: 3.06 3.04 2.95 3/115 4841
/proc/meminfo: memFree=3008288/3368532 swapFree=1941392/1959888
[pid=4841] ppid=4839 vsize=1296 CPUtime=0
/proc/4841/stat : 4841 (satake) S 4839 4841 11369 0 -1 4202496 166 0 0 0 0 0 0 0 18 0 5 0 1128626620 1327104 123 4294967295 134512640 135180984 3217707008 3217706444 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4841/statm: 324 123 66 164 0 159 0
[pid=4841/tid=4842] ppid=4839 vsize=1296 CPUtime=0
/proc/4841/task/4842/stat : 4842 (satake) S 4839 4841 11369 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 5 0 1128626620 1327104 125 4294967295 134512640 135180984 3217707008 3086348304 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=4841/tid=4843] ppid=4839 vsize=1296 CPUtime=0.01
/proc/4841/task/4843/stat : 4843 (satake) R 4839 4841 11369 0 -1 4202560 49 0 0 0 1 0 0 0 20 0 5 0 1128626620 1327104 125 4294967295 134512640 135180984 3217707008 3086282404 134580588 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4841/tid=4844] ppid=4839 vsize=1296 CPUtime=0
/proc/4841/task/4844/stat : 4844 (satake) R 4839 4841 11369 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1128626620 1327104 125 4294967295 134512640 135180984 3217707008 3086218052 134705812 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4841/tid=4845] ppid=4839 vsize=1296 CPUtime=0
/proc/4841/task/4845/stat : 4845 (satake) R 4839 4841 11369 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1128626620 1327104 125 4294967295 134512640 135180984 3217707008 3086152516 134705812 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.034158 s]
/proc/loadavg: 3.06 3.04 2.95 3/115 4841
/proc/meminfo: memFree=3008288/3368532 swapFree=1941392/1959888
[pid=4841] ppid=4839 vsize=2580 CPUtime=0.05
/proc/4841/stat : 4841 (satake) S 4839 4841 11369 0 -1 4202496 272 0 0 0 3 2 0 0 18 0 5 0 1128626620 2641920 229 4294967295 134512640 135180984 3217707008 3217706444 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4841/statm: 645 229 68 164 0 480 0
[pid=4841/tid=4842] ppid=4839 vsize=2580 CPUtime=0.01
/proc/4841/task/4842/stat : 4842 (satake) S 4839 4841 11369 0 -1 4202560 13 0 0 0 0 1 0 0 19 0 5 0 1128626620 2641920 229 4294967295 134512640 135180984 3217707008 3086348304 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=4841/tid=4843] ppid=4839 vsize=2580 CPUtime=0.02
/proc/4841/task/4843/stat : 4843 (satake) R 4839 4841 11369 0 -1 4202560 62 0 0 0 2 0 0 0 20 0 5 0 1128626620 2641920 229 4294967295 134512640 135180984 3217707008 3086282400 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4841/tid=4844] ppid=4839 vsize=2580 CPUtime=0.02
/proc/4841/task/4844/stat : 4844 (satake) R 4839 4841 11369 0 -1 4202560 45 0 0 0 1 1 0 0 20 0 5 0 1128626620 2641920 230 4294967295 134512640 135180984 3217707008 3086216788 134675767 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4841/tid=4845] ppid=4839 vsize=2580 CPUtime=0
/proc/4841/task/4845/stat : 4845 (satake) S 4839 4841 11369 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 5 0 1128626620 2641920 230 4294967295 134512640 135180984 3217707008 3086151328 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2580

[startup+0.114155 s]
/proc/loadavg: 3.06 3.04 2.95 3/115 4841
/proc/meminfo: memFree=3008288/3368532 swapFree=1941392/1959888
[pid=4841] ppid=4839 vsize=2844 CPUtime=0.22
/proc/4841/stat : 4841 (satake) S 4839 4841 11369 0 -1 4202496 393 0 0 0 17 5 0 0 18 0 5 0 1128626620 2912256 350 4294967295 134512640 135180984 3217707008 3217706444 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4841/statm: 711 350 68 164 0 546 0
[pid=4841/tid=4842] ppid=4839 vsize=2844 CPUtime=0.05
/proc/4841/task/4842/stat : 4842 (satake) S 4839 4841 11369 0 -1 4202560 18 0 0 0 1 4 0 0 18 0 5 0 1128626620 2912256 350 4294967295 134512640 135180984 3217707008 3086348304 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=4841/tid=4843] ppid=4839 vsize=2844 CPUtime=0.07
/proc/4841/task/4843/stat : 4843 (satake) R 4839 4841 11369 0 -1 4202560 102 0 0 0 7 0 0 0 20 0 5 0 1128626620 2912256 350 4294967295 134512640 135180984 3217707008 3086282608 134527106 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4841/tid=4844] ppid=4839 vsize=2844 CPUtime=0.07
/proc/4841/task/4844/stat : 4844 (satake) R 4839 4841 11369 0 -1 4202560 92 0 0 0 6 1 0 0 20 0 5 0 1128626620 2912256 350 4294967295 134512640 135180984 3217707008 3086217072 134528633 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4841/tid=4845] ppid=4839 vsize=2844 CPUtime=0.03
/proc/4841/task/4845/stat : 4845 (satake) R 4839 4841 11369 0 -1 4202560 70 0 0 0 3 0 0 0 20 0 5 0 1128626620 2912256 350 4294967295 134512640 135180984 3217707008 3086151536 134528680 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 2844

[startup+0.314147 s]
/proc/loadavg: 3.06 3.04 2.95 3/115 4841
/proc/meminfo: memFree=3008288/3368532 swapFree=1941392/1959888
[pid=4841] ppid=4839 vsize=3108 CPUtime=0.82
/proc/4841/stat : 4841 (satake) S 4839 4841 11369 0 -1 4202496 509 0 0 0 76 6 0 0 18 0 5 0 1128626620 3182592 466 4294967295 134512640 135180984 3217707008 3217706444 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4841/statm: 777 466 68 164 0 612 0
[pid=4841/tid=4842] ppid=4839 vsize=3108 CPUtime=0.06
/proc/4841/task/4842/stat : 4842 (satake) S 4839 4841 11369 0 -1 4202560 18 0 0 0 1 5 0 0 15 0 5 0 1128626620 3182592 466 4294967295 134512640 135180984 3217707008 3086348304 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=4841/tid=4843] ppid=4839 vsize=3108 CPUtime=0.27
/proc/4841/task/4843/stat : 4843 (satake) R 4839 4841 11369 0 -1 4202560 146 0 0 0 27 0 0 0 21 0 5 0 1128626620 3182592 466 4294967295 134512640 135180984 3217707008 3086282400 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4841/tid=4844] ppid=4839 vsize=3108 CPUtime=0.27
/proc/4841/task/4844/stat : 4844 (satake) R 4839 4841 11369 0 -1 4202560 122 0 0 0 26 1 0 0 21 0 5 0 1128626620 3182592 466 4294967295 134512640 135180984 3217707008 3086217072 134528206 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4841/tid=4845] ppid=4839 vsize=3108 CPUtime=0.22
/proc/4841/task/4845/stat : 4845 (satake) R 4839 4841 11369 0 -1 4202560 112 0 0 0 22 0 0 0 20 0 5 0 1128626620 3182592 466 4294967295 134512640 135180984 3217707008 3086151488 134527255 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 3108

[startup+0.714131 s]
/proc/loadavg: 3.06 3.04 2.95 3/115 4841
/proc/meminfo: memFree=3008288/3368532 swapFree=1941392/1959888
[pid=4841] ppid=4839 vsize=3240 CPUtime=2.02
/proc/4841/stat : 4841 (satake) S 4839 4841 11369 0 -1 4202496 583 0 0 0 194 8 0 0 18 0 5 0 1128626620 3317760 540 4294967295 134512640 135180984 3217707008 3217706444 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4841/statm: 810 540 68 164 0 645 0
[pid=4841/tid=4842] ppid=4839 vsize=3240 CPUtime=0.07
/proc/4841/task/4842/stat : 4842 (satake) S 4839 4841 11369 0 -1 4202560 18 0 0 0 2 5 0 0 15 0 5 0 1128626620 3317760 540 4294967295 134512640 135180984 3217707008 3086348304 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=4841/tid=4843] ppid=4839 vsize=3240 CPUtime=0.67
/proc/4841/task/4843/stat : 4843 (satake) R 4839 4841 11369 0 -1 4202560 168 0 0 0 67 0 0 0 21 0 5 0 1128626620 3317760 540 4294967295 134512640 135180984 3217707008 3086282400 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4841/tid=4844] ppid=4839 vsize=3240 CPUtime=0.67
/proc/4841/task/4844/stat : 4844 (satake) R 4839 4841 11369 0 -1 4202560 152 0 0 0 64 3 0 0 21 0 5 0 1128626620 3317760 540 4294967295 134512640 135180984 3217707008 3086217072 134528648 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4841/tid=4845] ppid=4839 vsize=3240 CPUtime=0.61
/proc/4841/task/4845/stat : 4845 (satake) R 4839 4841 11369 0 -1 4202560 134 0 0 0 61 0 0 0 21 0 5 0 1128626620 3317760 540 4294967295 134512640 135180984 3217707008 3086151488 134527255 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 3240

[startup+1.5141 s]
/proc/loadavg: 3.06 3.04 2.95 4/120 4846
/proc/meminfo: memFree=3006860/3368532 swapFree=1941392/1959888
[pid=4841] ppid=4839 vsize=4528 CPUtime=4.41
/proc/4841/stat : 4841 (satake) S 4839 4841 11369 0 -1 4202496 718 0 0 0 429 12 0 0 18 0 5 0 1128626620 4636672 675 4294967295 134512640 135180984 3217707008 3217706444 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4841/statm: 1132 675 68 164 0 967 0
[pid=4841/tid=4842] ppid=4839 vsize=4528 CPUtime=0.1
/proc/4841/task/4842/stat : 4842 (satake) S 4839 4841 11369 0 -1 4202560 20 0 0 0 3 7 0 0 15 0 5 0 1128626620 4636672 675 4294967295 134512640 135180984 3217707008 3086348304 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=4841/tid=4843] ppid=4839 vsize=4528 CPUtime=1.47
/proc/4841/task/4843/stat : 4843 (satake) R 4839 4841 11369 0 -1 4202560 231 0 0 0 147 0 0 0 23 0 5 0 1128626620 4636672 675 4294967295 134512640 135180984 3217707008 3086282400 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4841/tid=4844] ppid=4839 vsize=4528 CPUtime=1.46
/proc/4841/task/4844/stat : 4844 (satake) R 4839 4841 11369 0 -1 4202560 186 0 0 0 141 5 0 0 22 0 5 0 1128626620 4636672 675 4294967295 134512640 135180984 3217707008 3086217064 134518214 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4841/tid=4845] ppid=4839 vsize=4528 CPUtime=1.38
/proc/4841/task/4845/stat : 4845 (satake) R 4839 4841 11369 0 -1 4202560 170 0 0 0 138 0 0 0 22 0 5 0 1128626620 4636672 675 4294967295 134512640 135180984 3217707008 3086151504 134519935 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 4528

[startup+3.11403 s]
/proc/loadavg: 3.06 3.04 2.95 4/120 4846
/proc/meminfo: memFree=3006564/3368532 swapFree=1941392/1959888
[pid=4841] ppid=4839 vsize=4924 CPUtime=9.2
/proc/4841/stat : 4841 (satake) S 4839 4841 11369 0 -1 4202496 857 0 0 0 901 19 0 0 18 0 5 0 1128626620 5042176 814 4294967295 134512640 135180984 3217707008 3217706444 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4841/statm: 1231 814 68 164 0 1066 0
[pid=4841/tid=4842] ppid=4839 vsize=4924 CPUtime=0.18
/proc/4841/task/4842/stat : 4842 (satake) S 4839 4841 11369 0 -1 4202560 25 0 0 0 6 12 0 0 16 0 5 0 1128626620 5042176 814 4294967295 134512640 135180984 3217707008 3086348304 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=4841/tid=4843] ppid=4839 vsize=4924 CPUtime=3.06
/proc/4841/task/4843/stat : 4843 (satake) R 4839 4841 11369 0 -1 4202560 287 0 0 0 306 0 0 0 25 0 5 0 1128626620 5042176 814 4294967295 134512640 135180984 3217707008 3086282720 134530765 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4841/tid=4844] ppid=4839 vsize=4924 CPUtime=3.06
/proc/4841/task/4844/stat : 4844 (satake) R 4839 4841 11369 0 -1 4202560 223 0 0 0 299 7 0 0 25 0 5 0 1128626620 5042176 814 4294967295 134512640 135180984 3217707008 3086217064 134519901 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4841/tid=4845] ppid=4839 vsize=4924 CPUtime=2.9
/proc/4841/task/4845/stat : 4845 (satake) R 4839 4841 11369 0 -1 4202560 211 0 0 0 290 0 0 0 25 0 5 0 1128626620 5042176 814 4294967295 134512640 135180984 3217707008 3086151476 134523985 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9.2
Current children cumulated vsize (KiB) 4924

[startup+6.31391 s]
/proc/loadavg: 3.05 3.04 2.95 4/120 4847
/proc/meminfo: memFree=3005404/3368532 swapFree=1941392/1959888
[pid=4841] ppid=4839 vsize=6608 CPUtime=18.76
/proc/4841/stat : 4841 (satake) S 4839 4841 11369 0 -1 4202496 1147 0 0 0 1841 35 0 0 18 0 5 0 1128626620 6766592 1104 4294967295 134512640 135180984 3217707008 3217706444 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4841/statm: 1652 1104 68 164 0 1487 0
[pid=4841/tid=4842] ppid=4839 vsize=6608 CPUtime=0.29
/proc/4841/task/4842/stat : 4842 (satake) S 4839 4841 11369 0 -1 4202560 52 0 0 0 9 20 0 0 15 0 5 0 1128626620 6766592 1104 4294967295 134512640 135180984 3217707008 3086348304 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=4841/tid=4843] ppid=4839 vsize=6608 CPUtime=6.26
/proc/4841/task/4843/stat : 4843 (satake) R 4839 4841 11369 0 -1 4202560 374 0 0 0 625 1 0 0 25 0 5 0 1128626620 6766592 1104 4294967295 134512640 135180984 3217707008 3086282400 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4841/tid=4844] ppid=4839 vsize=6608 CPUtime=6.22
/proc/4841/task/4844/stat : 4844 (satake) R 4839 4841 11369 0 -1 4202560 303 0 0 0 611 11 0 0 25 0 5 0 1128626620 6766592 1104 4294967295 134512640 135180984 3217707008 3086217064 134520896 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4841/tid=4845] ppid=4839 vsize=6608 CPUtime=5.99
/proc/4841/task/4845/stat : 4845 (satake) R 4839 4841 11369 0 -1 4202560 307 0 0 0 596 3 0 0 25 0 5 0 1128626620 6766592 1104 4294967295 134512640 135180984 3217707008 3086151648 134530765 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) 6608

[startup+12.7137 s]
/proc/loadavg: 3.05 3.04 2.95 4/120 4847
/proc/meminfo: memFree=3003460/3368532 swapFree=1941392/1959888
[pid=4841] ppid=4839 vsize=7672 CPUtime=37.86
/proc/4841/stat : 4841 (satake) S 4839 4841 11369 0 -1 4202496 1501 0 0 0 3677 109 0 0 18 0 5 0 1128626620 7856128 1458 4294967295 134512640 135180984 3217707008 3217706444 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4841/statm: 1918 1458 68 164 0 1753 0
[pid=4841/tid=4842] ppid=4839 vsize=7672 CPUtime=0.79
/proc/4841/task/4842/stat : 4842 (satake) S 4839 4841 11369 0 -1 4202560 179 0 0 0 23 56 0 0 16 0 5 0 1128626620 7856128 1458 4294967295 134512640 135180984 3217707008 3086348304 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=4841/tid=4843] ppid=4839 vsize=7672 CPUtime=12.61
/proc/4841/task/4843/stat : 4843 (satake) R 4839 4841 11369 0 -1 4202560 435 0 0 0 1248 13 0 0 25 0 5 0 1128626620 7856128 1458 4294967295 134512640 135180984 3217707008 3086282720 134530765 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4841/tid=4844] ppid=4839 vsize=7672 CPUtime=12.56
/proc/4841/task/4844/stat : 4844 (satake) R 4839 4841 11369 0 -1 4202560 417 0 0 0 1224 32 0 0 25 0 5 0 1128626620 7856128 1458 4294967295 134512640 135180984 3217707008 3086217136 134532431 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4841/tid=4845] ppid=4839 vsize=7672 CPUtime=11.9
/proc/4841/task/4845/stat : 4845 (satake) R 4839 4841 11369 0 -1 4202560 359 0 0 0 1182 8 0 0 25 0 5 0 1128626620 7856128 1458 4294967295 134512640 135180984 3217707008 3086151488 134527255 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 37.86
Current children cumulated vsize (KiB) 7672

[startup+25.5131 s]
/proc/loadavg: 3.04 3.03 2.95 4/120 4848
/proc/meminfo: memFree=3000372/3368532 swapFree=1941392/1959888
[pid=4841] ppid=4839 vsize=10260 CPUtime=76.13
/proc/4841/stat : 4841 (satake) S 4839 4841 11369 0 -1 4202496 2213 0 0 0 7335 278 0 0 18 0 5 0 1128626620 10506240 2170 4294967295 134512640 135180984 3217707008 3217706444 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4841/statm: 2565 2170 68 164 0 2400 0
[pid=4841/tid=4842] ppid=4839 vsize=10260 CPUtime=1.95
/proc/4841/task/4842/stat : 4842 (satake) S 4839 4841 11369 0 -1 4202560 529 0 0 0 54 141 0 0 15 0 5 0 1128626620 10506240 2170 4294967295 134512640 135180984 3217707008 3086348304 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=4841/tid=4843] ppid=4839 vsize=10260 CPUtime=25.35
/proc/4841/task/4843/stat : 4843 (satake) R 4839 4841 11369 0 -1 4202560 559 0 0 0 2502 33 0 0 25 0 5 0 1128626620 10506240 2170 4294967295 134512640 135180984 3217707008 3086282400 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4841/tid=4844] ppid=4839 vsize=10260 CPUtime=25.29
/proc/4841/task/4844/stat : 4844 (satake) R 4839 4841 11369 0 -1 4202560 520 0 0 0 2450 79 0 0 25 0 5 0 1128626620 10506240 2170 4294967295 134512640 135180984 3217707008 3086217072 134528540 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4841/tid=4845] ppid=4839 vsize=10260 CPUtime=23.54
/proc/4841/task/4845/stat : 4845 (satake) R 4839 4841 11369 0 -1 4202560 494 0 0 0 2329 25 0 0 25 0 5 0 1128626620 10506240 2170 4294967295 134512640 135180984 3217707008 3086151440 134524549 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 76.13
Current children cumulated vsize (KiB) 10260

[startup+51.1121 s]
/proc/loadavg: 3.02 3.03 2.95 4/120 5037
/proc/meminfo: memFree=2995276/3368532 swapFree=1941392/1959888
[pid=4841] ppid=4839 vsize=16624 CPUtime=152.54
/proc/4841/stat : 4841 (satake) S 4839 4841 11369 0 -1 4202496 3507 0 0 0 14663 591 0 0 18 0 5 0 1128626620 17022976 3464 4294967295 134512640 135180984 3217707008 3217706444 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4841/statm: 4156 3464 68 164 0 3991 0
[pid=4841/tid=4842] ppid=4839 vsize=16624 CPUtime=4.03
/proc/4841/task/4842/stat : 4842 (satake) S 4839 4841 11369 0 -1 4202560 1101 0 0 0 108 295 0 0 15 0 5 0 1128626620 17022976 3464 4294967295 134512640 135180984 3217707008 3086348304 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=4841/tid=4843] ppid=4839 vsize=16624 CPUtime=50.44
/proc/4841/task/4843/stat : 4843 (satake) R 4839 4841 11369 0 -1 4202560 914 0 0 0 4970 74 0 0 25 0 5 0 1128626620 17022976 3464 4294967295 134512640 135180984 3217707008 3086282400 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4841/tid=4844] ppid=4839 vsize=16624 CPUtime=50.71
/proc/4841/task/4844/stat : 4844 (satake) R 4839 4841 11369 0 -1 4202560 668 0 0 0 4905 166 0 0 25 0 5 0 1128626620 17022976 3464 4294967295 134512640 135180984 3217707008 3086217072 134528706 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4841/tid=4845] ppid=4839 vsize=16624 CPUtime=47.36
/proc/4841/task/4845/stat : 4845 (satake) R 4839 4841 11369 0 -1 4202560 713 0 0 0 4680 56 0 0 25 0 5 0 1128626620 17022976 3464 4294967295 134512640 135180984 3217707008 3086151328 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 152.54
Current children cumulated vsize (KiB) 16624

[startup+102.31 s]
/proc/loadavg: 3.01 3.02 2.95 4/120 5044

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

[pid=4841/tid=4843] ppid=4839 vsize=50680 CPUtime=518.79
/proc/4841/task/4843/stat : 4843 (satake) R 4839 4841 11369 0 -1 4202560 1877 0 0 0 51265 614 0 0 25 0 5 0 1128626620 51896320 10968 4294967295 134512640 135180984 3217707008 3086282604 134518218 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4841/tid=4844] ppid=4839 vsize=50680 CPUtime=519.19
/proc/4841/task/4844/stat : 4844 (satake) R 4839 4841 11369 0 -1 4202560 1468 0 0 0 51372 547 0 0 25 0 5 0 1128626620 51896320 10968 4294967295 134512640 135180984 3217707008 3086217072 134528628 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4841/tid=4845] ppid=4839 vsize=50680 CPUtime=515.17
/proc/4841/task/4845/stat : 4845 (satake) R 4839 4841 11369 0 -1 4202560 1716 0 0 0 50923 594 0 0 25 0 5 0 1128626620 51896320 10968 4294967295 134512640 135180984 3217707008 3086151532 134519895 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1575.24
Current children cumulated vsize (KiB) 50680

[startup+582.311 s]
/proc/loadavg: 3.00 3.02 2.98 5/120 6558
/proc/meminfo: memFree=2963296/3368532 swapFree=1941392/1959888
[pid=4841] ppid=4839 vsize=52140 CPUtime=1756.29
/proc/4841/stat : 4841 (satake) S 4839 4841 11369 0 -1 4202496 11506 0 0 0 171920 3709 0 0 18 0 5 0 1128626620 53391360 11366 4294967295 134512640 135180984 3217707008 3217706444 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4841/statm: 13035 11366 68 164 0 12870 0
[pid=4841/tid=4842] ppid=4839 vsize=52140 CPUtime=23.57
/proc/4841/task/4842/stat : 4842 (satake) S 4839 4841 11369 0 -1 4202560 6155 0 0 0 513 1844 0 0 16 0 5 0 1128626620 53391360 11366 4294967295 134512640 135180984 3217707008 3086348304 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=4841/tid=4843] ppid=4839 vsize=52140 CPUtime=578.69
/proc/4841/task/4843/stat : 4843 (satake) R 4839 4841 11369 0 -1 4202560 1916 0 0 0 57214 655 0 0 25 0 5 0 1128626620 53391360 11366 4294967295 134512640 135180984 3217707008 3086282608 134528633 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4841/tid=4844] ppid=4839 vsize=52140 CPUtime=579.14
/proc/4841/task/4844/stat : 4844 (satake) R 4839 4841 11369 0 -1 4202560 1527 0 0 0 57338 576 0 0 25 0 5 0 1128626620 53391360 11366 4294967295 134512640 135180984 3217707008 3086217072 134528628 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4841/tid=4845] ppid=4839 vsize=52140 CPUtime=574.89
/proc/4841/task/4845/stat : 4845 (satake) R 4839 4841 11369 0 -1 4202560 1797 0 0 0 56855 634 0 0 25 0 5 0 1128626620 53391360 11366 4294967295 134512640 135180984 3217707008 3086151536 134528727 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1756.29
Current children cumulated vsize (KiB) 52140

[startup+642.309 s]
/proc/loadavg: 3.00 3.02 2.98 4/120 6745
/proc/meminfo: memFree=2960684/3368532 swapFree=1941392/1959888
[pid=4841] ppid=4839 vsize=55460 CPUtime=1936.17
/proc/4841/stat : 4841 (satake) S 4839 4841 11369 0 -1 4202496 12010 0 0 0 189736 3881 0 0 18 0 5 0 1128626620 56791040 11849 4294967295 134512640 135180984 3217707008 3217706444 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4841/statm: 13865 11849 68 164 0 13700 0
[pid=4841/tid=4842] ppid=4839 vsize=55460 CPUtime=24.65
/proc/4841/task/4842/stat : 4842 (satake) S 4839 4841 11369 0 -1 4202560 6551 0 0 0 541 1924 0 0 15 0 5 0 1128626620 56791040 11849 4294967295 134512640 135180984 3217707008 3086348304 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=4841/tid=4843] ppid=4839 vsize=55460 CPUtime=638.6
/proc/4841/task/4843/stat : 4843 (satake) R 4839 4841 11369 0 -1 4202560 1946 0 0 0 63187 673 0 0 25 0 5 0 1128626620 56791040 11849 4294967295 134512640 135180984 3217707008 3086282400 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4841/tid=4844] ppid=4839 vsize=55460 CPUtime=639.07
/proc/4841/task/4844/stat : 4844 (satake) R 4839 4841 11369 0 -1 4202560 1585 0 0 0 63282 625 0 0 25 0 5 0 1128626620 56791040 11849 4294967295 134512640 135180984 3217707008 3086217000 134579745 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4841/tid=4845] ppid=4839 vsize=55460 CPUtime=633.85
/proc/4841/task/4845/stat : 4845 (satake) R 4839 4841 11369 0 -1 4202560 1817 0 0 0 62726 659 0 0 25 0 5 0 1128626620 56791040 11849 4294967295 134512640 135180984 3217707008 3086151536 134528760 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1936.17
Current children cumulated vsize (KiB) 55460

[startup+702.316 s]
/proc/loadavg: 3.00 3.01 2.98 4/120 6933
/proc/meminfo: memFree=2958452/3368532 swapFree=1941392/1959888
[pid=4841] ppid=4839 vsize=57428 CPUtime=2116.84
/proc/4841/stat : 4841 (satake) S 4839 4841 11369 0 -1 4202496 12499 0 0 0 207530 4154 0 0 18 0 5 0 1128626620 58806272 12336 4294967295 134512640 135180984 3217707008 3217706444 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4841/statm: 14357 12336 68 164 0 14192 0
[pid=4841/tid=4842] ppid=4839 vsize=57428 CPUtime=26.33
/proc/4841/task/4842/stat : 4842 (satake) S 4839 4841 11369 0 -1 4202560 6942 0 0 0 572 2061 0 0 16 0 5 0 1128626620 58806272 12336 4294967295 134512640 135180984 3217707008 3086348304 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=4841/tid=4843] ppid=4839 vsize=57428 CPUtime=698.34
/proc/4841/task/4843/stat : 4843 (satake) R 4839 4841 11369 0 -1 4202560 1970 0 0 0 69109 725 0 0 25 0 5 0 1128626620 58806272 12336 4294967295 134512640 135180984 3217707008 3086282720 134530765 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4841/tid=4844] ppid=4839 vsize=57428 CPUtime=698.44
/proc/4841/task/4844/stat : 4844 (satake) R 4839 4841 11369 0 -1 4202560 1619 0 0 0 69188 656 0 0 25 0 5 0 1128626620 58806272 12336 4294967295 134512640 135180984 3217707008 3086217064 134518216 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4841/tid=4845] ppid=4839 vsize=57428 CPUtime=693.73
/proc/4841/task/4845/stat : 4845 (satake) R 4839 4841 11369 0 -1 4202560 1857 0 0 0 68661 712 0 0 25 0 5 0 1128626620 58806272 12336 4294967295 134512640 135180984 3217707008 3086151536 134528666 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2116.84
Current children cumulated vsize (KiB) 57428

[startup+762.314 s]
/proc/loadavg: 3.07 3.02 2.98 4/120 7121
/proc/meminfo: memFree=2956724/3368532 swapFree=1941392/1959888
[pid=4841] ppid=4839 vsize=61240 CPUtime=2297.89
/proc/4841/stat : 4841 (satake) S 4839 4841 11369 0 -1 4202496 13080 0 0 0 225363 4426 0 0 18 0 5 0 1128626620 62709760 12889 4294967295 134512640 135180984 3217707008 3217706444 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4841/statm: 15310 12889 68 164 0 15145 0
[pid=4841/tid=4842] ppid=4839 vsize=61240 CPUtime=27.96
/proc/4841/task/4842/stat : 4842 (satake) S 4839 4841 11369 0 -1 4202560 7446 0 0 0 611 2185 0 0 15 0 5 0 1128626620 62709760 12889 4294967295 134512640 135180984 3217707008 3086348304 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=4841/tid=4843] ppid=4839 vsize=61240 CPUtime=758.21
/proc/4841/task/4843/stat : 4843 (satake) R 4839 4841 11369 0 -1 4202560 2003 0 0 0 75037 784 0 0 25 0 5 0 1128626620 62709760 12889 4294967295 134512640 135180984 3217707008 3086282400 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4841/tid=4844] ppid=4839 vsize=61240 CPUtime=758.31
/proc/4841/task/4844/stat : 4844 (satake) R 4839 4841 11369 0 -1 4202560 1658 0 0 0 75139 692 0 0 25 0 5 0 1128626620 62709760 12889 4294967295 134512640 135180984 3217707008 3086217072 134528680 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4841/tid=4845] ppid=4839 vsize=61240 CPUtime=753.41
/proc/4841/task/4845/stat : 4845 (satake) R 4839 4841 11369 0 -1 4202560 1862 0 0 0 74576 765 0 0 25 0 5 0 1128626620 62709760 12889 4294967295 134512640 135180984 3217707008 3086151328 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2297.89
Current children cumulated vsize (KiB) 61240

[startup+822.311 s]
/proc/loadavg: 3.02 3.01 2.98 4/120 7315
/proc/meminfo: memFree=2954616/3368532 swapFree=1941392/1959888
[pid=4841] ppid=4839 vsize=62388 CPUtime=2477.69
/proc/4841/stat : 4841 (satake) S 4839 4841 11369 0 -1 4202496 13618 0 0 0 243084 4685 0 0 18 0 5 0 1128626620 63885312 13423 4294967295 134512640 135180984 3217707008 3217706444 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4841/statm: 15597 13423 68 164 0 15432 0
[pid=4841/tid=4842] ppid=4839 vsize=62388 CPUtime=29.71
/proc/4841/task/4842/stat : 4842 (satake) S 4839 4841 11369 0 -1 4202560 7756 0 0 0 657 2314 0 0 15 0 5 0 1128626620 63885312 13423 4294967295 134512640 135180984 3217707008 3086348304 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=4841/tid=4843] ppid=4839 vsize=62388 CPUtime=816.53
/proc/4841/task/4843/stat : 4843 (satake) R 4839 4841 11369 0 -1 4202560 2055 0 0 0 80842 811 0 0 25 0 5 0 1128626620 63885312 13423 4294967295 134512640 135180984 3217707008 3086282548 134523985 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4841/tid=4844] ppid=4839 vsize=62388 CPUtime=818.22
/proc/4841/task/4844/stat : 4844 (satake) R 4839 4841 11369 0 -1 4202560 1692 0 0 0 81074 748 0 0 25 0 5 0 1128626620 63885312 13423 4294967295 134512640 135180984 3217707008 3086217072 134528680 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4841/tid=4845] ppid=4839 vsize=62388 CPUtime=813.24
/proc/4841/task/4845/stat : 4845 (satake) R 4839 4841 11369 0 -1 4202560 2004 0 0 0 80512 812 0 0 25 0 5 0 1128626620 63885312 13423 4294967295 134512640 135180984 3217707008 3086151472 134523751 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2477.69
Current children cumulated vsize (KiB) 62388

[startup+882.309 s]
/proc/loadavg: 3.04 3.02 2.99 4/120 7503
/proc/meminfo: memFree=2952384/3368532 swapFree=1941392/1959888
[pid=4841] ppid=4839 vsize=63700 CPUtime=2657.36
/proc/4841/stat : 4841 (satake) S 4839 4841 11369 0 -1 4202496 14156 0 0 0 260845 4891 0 0 18 0 5 0 1128626620 65228800 13898 4294967295 134512640 135180984 3217707008 3217706444 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4841/statm: 15925 13898 68 164 0 15760 0
[pid=4841/tid=4842] ppid=4839 vsize=63700 CPUtime=31.1
/proc/4841/task/4842/stat : 4842 (satake) S 4839 4841 11369 0 -1 4202560 8085 0 0 0 694 2416 0 0 16 0 5 0 1128626620 65228800 13898 4294967295 134512640 135180984 3217707008 3086348304 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=4841/tid=4843] ppid=4839 vsize=63700 CPUtime=875.12
/proc/4841/task/4843/stat : 4843 (satake) R 4839 4841 11369 0 -1 4202560 2152 0 0 0 86676 836 0 0 25 0 5 0 1128626620 65228800 13898 4294967295 134512640 135180984 3217707008 3086282536 134579745 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4841/tid=4844] ppid=4839 vsize=63700 CPUtime=878.12
/proc/4841/task/4844/stat : 4844 (satake) R 4839 4841 11369 0 -1 4202560 1730 0 0 0 87014 798 0 0 25 0 5 0 1128626620 65228800 13898 4294967295 134512640 135180984 3217707008 3086217028 134579745 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4841/tid=4845] ppid=4839 vsize=63700 CPUtime=873.02
/proc/4841/task/4845/stat : 4845 (satake) R 4839 4841 11369 0 -1 4202560 2078 0 0 0 86461 841 0 0 25 0 5 0 1128626620 65228800 13898 4294967295 134512640 135180984 3217707008 3086151536 134528462 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2657.36
Current children cumulated vsize (KiB) 63700

[startup+942.307 s]
/proc/loadavg: 3.01 3.02 2.99 4/120 7690
/proc/meminfo: memFree=2951508/3368532 swapFree=1941392/1959888
[pid=4841] ppid=4839 vsize=66404 CPUtime=2838.4
/proc/4841/stat : 4841 (satake) S 4839 4841 11369 0 -1 4202496 14540 0 0 0 278685 5155 0 0 18 0 5 0 1128626620 67997696 14259 4294967295 134512640 135180984 3217707008 3217706444 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4841/statm: 16601 14259 68 164 0 16436 0
[pid=4841/tid=4842] ppid=4839 vsize=66404 CPUtime=32.71
/proc/4841/task/4842/stat : 4842 (satake) S 4839 4841 11369 0 -1 4202560 8333 0 0 0 727 2544 0 0 16 0 5 0 1128626620 67997696 14259 4294967295 134512640 135180984 3217707008 3086348304 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=4841/tid=4843] ppid=4839 vsize=66404 CPUtime=934.98
/proc/4841/task/4843/stat : 4843 (satake) R 4839 4841 11369 0 -1 4202560 2181 0 0 0 92612 886 0 0 25 0 5 0 1128626620 67997696 14259 4294967295 134512640 135180984 3217707008 3086282400 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4841/tid=4844] ppid=4839 vsize=66404 CPUtime=937.93
/proc/4841/task/4844/stat : 4844 (satake) R 4839 4841 11369 0 -1 4202560 1755 0 0 0 92969 824 0 0 25 0 5 0 1128626620 67997696 14259 4294967295 134512640 135180984 3217707008 3086217072 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4841/tid=4845] ppid=4839 vsize=66404 CPUtime=932.78
/proc/4841/task/4845/stat : 4845 (satake) R 4839 4841 11369 0 -1 4202560 2160 0 0 0 92377 901 0 0 25 0 5 0 1128626620 67997696 14259 4294967295 134512640 135180984 3217707008 3086151648 134530765 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2838.4
Current children cumulated vsize (KiB) 66404



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000 s]
/proc/loadavg: 3.00 3.01 2.99 4/120 7878
/proc/meminfo: memFree=2950524/3368532 swapFree=1941392/1959888
[pid=4841] ppid=4839 vsize=66696 CPUtime=3012.44
/proc/4841/stat : 4841 (satake) S 4839 4841 11369 0 -1 4202496 14830 0 0 0 295864 5380 0 0 18 0 5 0 1128626620 68296704 14549 4294967295 134512640 135180984 3217707008 3217706444 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4841/statm: 16674 14549 68 164 0 16509 0
[pid=4841/tid=4842] ppid=4839 vsize=66696 CPUtime=34.14
/proc/4841/task/4842/stat : 4842 (satake) R 4839 4841 11369 0 -1 4202560 8479 0 0 0 762 2652 0 0 15 0 5 0 1128626620 68296704 14549 4294967295 134512640 135180984 3217707008 3086348304 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4841/tid=4843] ppid=4839 vsize=66696 CPUtime=992.55
/proc/4841/task/4843/stat : 4843 (satake) R 4839 4841 11369 0 -1 4202560 2275 0 0 0 98329 926 0 0 25 0 5 0 1128626620 68296704 14549 4294967295 134512640 135180984 3217707008 3086282608 134528680 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4841/tid=4844] ppid=4839 vsize=66696 CPUtime=995.48
/proc/4841/task/4844/stat : 4844 (satake) R 4839 4841 11369 0 -1 4202560 1762 0 0 0 98696 852 0 0 25 0 5 0 1128626620 68296704 14549 4294967295 134512640 135180984 3217707008 3086217068 134518218 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4841/tid=4845] ppid=4839 vsize=66696 CPUtime=990.27
/proc/4841/task/4845/stat : 4845 (satake) S 4839 4841 11369 0 -1 4202560 2203 0 0 0 98077 950 0 0 25 0 5 0 1128626620 68296704 14549 4294967295 134512640 135180984 3217707008 3086151328 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3012.44
Current children cumulated vsize (KiB) 66696

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.03
CPU time (s): 3012.48
CPU user time (s): 2958.68
CPU system time (s): 53.8
CPU usage (%): 301.24
Max. virtual memory (cumulated for all children) (KiB): 66696

deleting IPC queue 6815744
deleting IPC queue 6848513
deleting IPC queue 6881282
deleting IPC queue 6914051
deleting IPC queue 6946820
deleting IPC queue 6979589
deleting IPC queue 7012358
deleting IPC queue 7045127
deleting IPC queue 7077896
deleting IPC queue 7110665
deleting IPC queue 7143434
deleting IPC queue 7176203
deleting IPC queue 7208972
deleting IPC queue 7241741
deleting IPC queue 7274510
deleting IPC queue 7307279

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2958.68
system time used= 53.8
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14830
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= 3144107
involuntary context switches= 1349173

runsolver used 0.01 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 01:24:28
IDJOB=1776880
IDBENCH=69602
IDSOLVER=629
FILE ID=/1776880-1243639468
PBS_JOBID=
Free space on /tmp= 15730 MiB

SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT_RACE08/cnf/aloul-chnl11-13.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776880-1243639468/watcher-1776880-1243639468 -o /tmp/evaluation-result-1776880-1243639468/solver-1776880-1243639468 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776880-1243639468.cnf 4 10000

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

MD5SUM BENCH= c7162bc1ddb6d2592f237fef1b04b5ce
RANDOM SEED= 481436854

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:       3008288 kB
Buffers:         48436 kB
Cached:         225524 kB
SwapCached:       4320 kB
Active:         140128 kB
Inactive:       144552 kB
HighTotal:     2489216 kB
HighFree:      2251316 kB
LowTotal:       879316 kB
LowFree:        756972 kB
SwapTotal:     1959888 kB
SwapFree:      1941392 kB
Dirty:             672 kB
Writeback:           0 kB
AnonPages:        9528 kB
Mapped:           4156 kB
Slab:            64556 kB
SReclaimable:    55876 kB
SUnreclaim:       8680 kB
PageTables:        824 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= 15730 MiB
End job on  at 2009-05-30 01:41:10