Trace number 1776220

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

General information on the benchmark

Nameindustrial/jarvisalo/
eq.atree.braun.13.unsat.cnf
MD5SUM8ca1246723b65c8e0ae1eddb535ce13f
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 variables2010
Number of clauses6802
Sum of the clauses size17668
Maximum clause length25
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 22961
Number of clauses of size 33733
Number of clauses of size 443
Number of clauses of size 546
Number of clauses of size over 516

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-1776220-1243635387/watcher-1776220-1243635387 -o /tmp/evaluation-result-1776220-1243635387/solver-1776220-1243635387 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776220-1243635387.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: 6.40 6.47 6.46 8/113 4217
/proc/meminfo: memFree=3131660/3368532 swapFree=1953788/1959888
[pid=4215] ppid=4213 vsize=1028 CPUtime=0
/proc/4215/stat : 4215 (satake) R 4213 4215 23155 0 -1 4202496 108 0 0 0 0 0 0 0 20 0 3 0 1128202827 1052672 65 4294967295 134512640 135180984 3216860976 3216860320 134705812 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4215/statm: 257 65 54 164 0 92 0
[pid=4215/tid=4216] ppid=4213 vsize=1028 CPUtime=0
/proc/4215/task/4216/stat : 4216 (satake) R 4213 4215 23155 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 3 0 1128202827 1052672 65 4294967295 134512640 135180984 3216860976 3086975812 134705812 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4215/tid=4217] ppid=4213 vsize=1028 CPUtime=0
/proc/4215/task/4217/stat : 4217 (satake) R 4213 4215 23155 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 3 0 1128202827 1052672 65 4294967295 134512640 135180984 3216860976 3086910276 134705812 0 0 0 0 0 0 0 -1 1 0 0 0

[startup+0.069852 s]
/proc/loadavg: 6.40 6.47 6.46 8/113 4217
/proc/meminfo: memFree=3131660/3368532 swapFree=1953788/1959888
[pid=4215] ppid=4213 vsize=2736 CPUtime=0.07
/proc/4215/stat : 4215 (satake) S 4213 4215 23155 0 -1 4202496 661 0 0 0 7 0 0 0 20 0 5 0 1128202827 2801664 492 4294967295 134512640 135180984 3216860976 3216860412 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4215/statm: 684 492 68 164 0 519 0
[pid=4215/tid=4216] ppid=4213 vsize=2736 CPUtime=0.01
/proc/4215/task/4216/stat : 4216 (satake) S 4213 4215 23155 0 -1 4202560 45 0 0 0 1 0 0 0 21 0 5 0 1128202827 2801664 492 4294967295 134512640 135180984 3216860976 3086974996 134580588 0 0 0 0 3223036975 0 0 -1 1 0 0 0
[pid=4215/tid=4217] ppid=4213 vsize=2736 CPUtime=0.02
/proc/4215/task/4217/stat : 4217 (satake) S 4213 4215 23155 0 -1 4202560 175 0 0 0 2 0 0 0 21 0 5 0 1128202827 2801664 492 4294967295 134512640 135180984 3216860976 3086909088 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2736

[startup+0.119849 s]
/proc/loadavg: 6.40 6.47 6.46 8/113 4217
/proc/meminfo: memFree=3131660/3368532 swapFree=1953788/1959888
[pid=4215] ppid=4213 vsize=2868 CPUtime=0.12
/proc/4215/stat : 4215 (satake) S 4213 4215 23155 0 -1 4202496 687 0 0 0 9 3 0 0 20 0 5 0 1128202827 2936832 518 4294967295 134512640 135180984 3216860976 3216860412 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4215/statm: 717 518 68 164 0 552 0
[pid=4215/tid=4216] ppid=4213 vsize=2868 CPUtime=0.03
/proc/4215/task/4216/stat : 4216 (satake) S 4213 4215 23155 0 -1 4202560 49 0 0 0 1 2 0 0 21 0 5 0 1128202827 2936832 518 4294967295 134512640 135180984 3216860976 3086974992 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=4215/tid=4217] ppid=4213 vsize=2868 CPUtime=0.04
/proc/4215/task/4217/stat : 4217 (satake) R 4213 4215 23155 0 -1 4202560 183 0 0 0 3 1 0 0 21 0 5 0 1128202827 2936832 518 4294967295 134512640 135180984 3216860976 3086909088 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 2868

[startup+0.319824 s]
/proc/loadavg: 6.40 6.47 6.46 8/113 4217
/proc/meminfo: memFree=3131660/3368532 swapFree=1953788/1959888
[pid=4215] ppid=4213 vsize=4288 CPUtime=0.35
/proc/4215/stat : 4215 (satake) S 4213 4215 23155 0 -1 4202496 803 0 0 0 26 9 0 0 20 0 5 0 1128202827 4390912 634 4294967295 134512640 135180984 3216860976 3216860412 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4215/statm: 1072 634 68 164 0 907 0
[pid=4215/tid=4216] ppid=4213 vsize=4288 CPUtime=0.07
/proc/4215/task/4216/stat : 4216 (satake) S 4213 4215 23155 0 -1 4202560 72 0 0 0 3 4 0 0 19 0 5 0 1128202827 4390912 634 4294967295 134512640 135180984 3216860976 3086974992 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=4215/tid=4217] ppid=4213 vsize=4288 CPUtime=0.17
/proc/4215/task/4217/stat : 4217 (satake) R 4213 4215 23155 0 -1 4202560 235 0 0 0 12 5 0 0 21 0 5 0 1128202827 4390912 634 4294967295 134512640 135180984 3216860976 3086909288 134520907 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 4288

[startup+0.719792 s]
/proc/loadavg: 6.40 6.47 6.46 8/113 4217
/proc/meminfo: memFree=3131660/3368532 swapFree=1953788/1959888
[pid=4215] ppid=4213 vsize=5496 CPUtime=1.16
/proc/4215/stat : 4215 (satake) S 4213 4215 23155 0 -1 4202496 1078 0 0 0 91 25 0 0 20 0 5 0 1128202827 5627904 909 4294967295 134512640 135180984 3216860976 3216860412 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4215/statm: 1374 909 68 164 0 1209 0
[pid=4215/tid=4216] ppid=4213 vsize=5496 CPUtime=0.18
/proc/4215/task/4216/stat : 4216 (satake) S 4213 4215 23155 0 -1 4202560 104 0 0 0 6 12 0 0 16 0 5 0 1128202827 5627904 909 4294967295 134512640 135180984 3216860976 3086974992 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=4215/tid=4217] ppid=4213 vsize=5496 CPUtime=0.46
/proc/4215/task/4217/stat : 4217 (satake) R 4213 4215 23155 0 -1 4202560 339 0 0 0 40 6 0 0 22 0 5 0 1128202827 5627904 909 4294967295 134512640 135180984 3216860976 3086909312 134532622 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 5496

[startup+1.51973 s]
/proc/loadavg: 6.40 6.47 6.46 7/116 4220
/proc/meminfo: memFree=3128848/3368532 swapFree=1953788/1959888
[pid=4215] ppid=4213 vsize=7048 CPUtime=2.69
/proc/4215/stat : 4215 (satake) S 4213 4215 23155 0 -1 4202496 1232 0 0 0 222 47 0 0 20 0 5 0 1128202827 7217152 1063 4294967295 134512640 135180984 3216860976 3216860412 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4215/statm: 1762 1063 68 164 0 1597 0
[pid=4215/tid=4216] ppid=4213 vsize=7048 CPUtime=0.33
/proc/4215/task/4216/stat : 4216 (satake) R 4213 4215 23155 0 -1 4202560 127 0 0 0 8 25 0 0 16 0 5 0 1128202827 7217152 1063 4294967295 134512640 135180984 3216860976 3086974996 134580588 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4215/tid=4217] ppid=4213 vsize=7048 CPUtime=1.05
/proc/4215/task/4217/stat : 4217 (satake) R 4213 4215 23155 0 -1 4202560 392 0 0 0 98 7 0 0 24 0 5 0 1128202827 7217152 1063 4294967295 134512640 135180984 3216860976 3086909248 134527246 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4215/tid=4219] ppid=4213 vsize=7048 CPUtime=0.68
/proc/4215/task/4219/stat : 4219 (satake) S 4213 4215 23155 0 -1 4202560 314 0 0 0 61 7 0 0 22 0 5 0 1128202828 7217152 1063 4294967295 134512640 135180984 3216860976 3086839456 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=4215/tid=4220] ppid=4213 vsize=7048 CPUtime=0.63
/proc/4215/task/4220/stat : 4220 (satake) R 4213 4215 23155 0 -1 4202560 289 0 0 0 55 8 0 0 25 0 5 0 1128202828 7217152 1063 4294967295 134512640 135180984 3216860976 3086774128 134528648 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 7048

[startup+3.1196 s]
/proc/loadavg: 6.29 6.44 6.45 7/116 4220
/proc/meminfo: memFree=3127944/3368532 swapFree=1953788/1959888
[pid=4215] ppid=4213 vsize=8392 CPUtime=4.74
/proc/4215/stat : 4215 (satake) S 4213 4215 23155 0 -1 4202496 1564 0 0 0 405 69 0 0 20 0 5 0 1128202827 8593408 1395 4294967295 134512640 135180984 3216860976 3216860412 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4215/statm: 2098 1395 68 164 0 1933 0
[pid=4215/tid=4216] ppid=4213 vsize=8392 CPUtime=0.51
/proc/4215/task/4216/stat : 4216 (satake) R 4213 4215 23155 0 -1 4202560 166 0 0 0 14 37 0 0 16 0 5 0 1128202827 8593408 1395 4294967295 134512640 135180984 3216860976 3086975004 134706407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4215/tid=4217] ppid=4213 vsize=8392 CPUtime=1.61
/proc/4215/task/4217/stat : 4217 (satake) R 4213 4215 23155 0 -1 4202560 487 0 0 0 150 11 0 0 25 0 5 0 1128202827 8593408 1395 4294967295 134512640 135180984 3216860976 3086909128 134520909 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4215/tid=4219] ppid=4213 vsize=8392 CPUtime=1.53
/proc/4215/task/4219/stat : 4219 (satake) R 4213 4215 23155 0 -1 4202560 443 0 0 0 141 12 0 0 22 0 5 0 1128202828 8593408 1395 4294967295 134512640 135180984 3216860976 3086839460 134580588 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4215/tid=4220] ppid=4213 vsize=8392 CPUtime=1.09
/proc/4215/task/4220/stat : 4220 (satake) S 4213 4215 23155 0 -1 4202560 358 0 0 0 100 9 0 0 25 0 5 0 1128202828 8593408 1395 4294967295 134512640 135180984 3216860976 3086773920 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.74
Current children cumulated vsize (KiB) 8392

[startup+6.31933 s]
/proc/loadavg: 6.29 6.44 6.45 5/116 4220
/proc/meminfo: memFree=3126436/3368532 swapFree=1953788/1959888
[pid=4215] ppid=4213 vsize=9788 CPUtime=8.19
/proc/4215/stat : 4215 (satake) S 4213 4215 23155 0 -1 4202496 1900 0 0 0 718 101 0 0 20 0 5 0 1128202827 10022912 1731 4294967295 134512640 135180984 3216860976 3216860412 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4215/statm: 2447 1731 68 164 0 2282 0
[pid=4215/tid=4216] ppid=4213 vsize=9788 CPUtime=0.78
/proc/4215/task/4216/stat : 4216 (satake) S 4213 4215 23155 0 -1 4202560 224 0 0 0 26 52 0 0 16 0 5 0 1128202827 10022912 1731 4294967295 134512640 135180984 3216860976 3086974992 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=4215/tid=4217] ppid=4213 vsize=9788 CPUtime=2.37
/proc/4215/task/4217/stat : 4217 (satake) R 4213 4215 23155 0 -1 4202560 556 0 0 0 221 16 0 0 25 0 5 0 1128202827 10022912 1731 4294967295 134512640 135180984 3216860976 3086909296 134528658 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4215/tid=4219] ppid=4213 vsize=9788 CPUtime=3.23
/proc/4215/task/4219/stat : 4219 (satake) R 4213 4215 23155 0 -1 4202560 568 0 0 0 303 20 0 0 16 0 5 0 1128202828 10022912 1731 4294967295 134512640 135180984 3216860976 3086839596 134518208 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4215/tid=4220] ppid=4213 vsize=9788 CPUtime=1.81
/proc/4215/task/4220/stat : 4220 (satake) R 4213 4215 23155 0 -1 4202560 442 0 0 0 168 13 0 0 25 0 5 0 1128202828 10022912 1731 4294967295 134512640 135180984 3216860976 3086773920 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.19
Current children cumulated vsize (KiB) 9788

[startup+12.7188 s]
/proc/loadavg: 6.25 6.43 6.44 7/116 4221
/proc/meminfo: memFree=3124328/3368532 swapFree=1953788/1959888
[pid=4215] ppid=4213 vsize=10844 CPUtime=15.03
/proc/4215/stat : 4215 (satake) S 4213 4215 23155 0 -1 4202496 2179 0 0 0 1359 144 0 0 20 0 5 0 1128202827 11104256 2010 4294967295 134512640 135180984 3216860976 3216860412 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4215/statm: 2711 2010 68 164 0 2546 0
[pid=4215/tid=4216] ppid=4213 vsize=10844 CPUtime=1.2
/proc/4215/task/4216/stat : 4216 (satake) S 4213 4215 23155 0 -1 4202560 257 0 0 0 43 77 0 0 16 0 5 0 1128202827 11104256 2010 4294967295 134512640 135180984 3216860976 3086974992 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=4215/tid=4217] ppid=4213 vsize=10844 CPUtime=3.79
/proc/4215/task/4217/stat : 4217 (satake) R 4213 4215 23155 0 -1 4202560 604 0 0 0 360 19 0 0 25 0 5 0 1128202827 11104256 2010 4294967295 134512640 135180984 3216860976 3086909088 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4215/tid=4219] ppid=4213 vsize=10844 CPUtime=6.62
/proc/4215/task/4219/stat : 4219 (satake) R 4213 4215 23155 0 -1 4202560 727 0 0 0 636 26 0 0 16 0 5 0 1128202828 11104256 2010 4294967295 134512640 135180984 3216860976 3086839664 134528633 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4215/tid=4220] ppid=4213 vsize=10844 CPUtime=3.42
/proc/4215/task/4220/stat : 4220 (satake) R 4213 4215 23155 0 -1 4202560 481 0 0 0 320 22 0 0 25 0 5 0 1128202828 11104256 2010 4294967295 134512640 135180984 3216860976 3086774128 134528206 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.03
Current children cumulated vsize (KiB) 10844

[startup+25.5177 s]
/proc/loadavg: 6.06 6.38 6.43 7/116 4221
/proc/meminfo: memFree=3120980/3368532 swapFree=1953788/1959888
[pid=4215] ppid=4213 vsize=14488 CPUtime=33.59
/proc/4215/stat : 4215 (satake) S 4213 4215 23155 0 -1 4202496 3138 0 0 0 3067 292 0 0 20 0 5 0 1128202827 14835712 2969 4294967295 134512640 135180984 3216860976 3216860412 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4215/statm: 3622 2969 68 164 0 3457 0
[pid=4215/tid=4216] ppid=4213 vsize=14488 CPUtime=2.29
/proc/4215/task/4216/stat : 4216 (satake) S 4213 4215 23155 0 -1 4202560 464 0 0 0 79 150 0 0 16 0 5 0 1128202827 14835712 2969 4294967295 134512640 135180984 3216860976 3086974992 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=4215/tid=4217] ppid=4213 vsize=14488 CPUtime=9.85
/proc/4215/task/4217/stat : 4217 (satake) R 4213 4215 23155 0 -1 4202560 821 0 0 0 935 50 0 0 25 0 5 0 1128202827 14835712 2969 4294967295 134512640 135180984 3216860976 3086909296 134528536 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4215/tid=4219] ppid=4213 vsize=14488 CPUtime=16.44
/proc/4215/task/4219/stat : 4219 (satake) R 4213 4215 23155 0 -1 4202560 1173 0 0 0 1591 53 0 0 18 0 5 0 1128202828 14835712 2969 4294967295 134512640 135180984 3216860976 3086839600 134523791 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4215/tid=4220] ppid=4213 vsize=14488 CPUtime=5.01
/proc/4215/task/4220/stat : 4220 (satake) R 4213 4215 23155 0 -1 4202560 570 0 0 0 462 39 0 0 25 0 5 0 1128202828 14835712 2969 4294967295 134512640 135180984 3216860976 3086773936 134520909 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 33.59
Current children cumulated vsize (KiB) 14488

[startup+51.1158 s]
/proc/loadavg: 6.16 6.38 6.43 7/116 4408
/proc/meminfo: memFree=3114796/3368532 swapFree=1953788/1959888
[pid=4215] ppid=4213 vsize=19440 CPUtime=66.1
/proc/4215/stat : 4215 (satake) S 4213 4215 23155 0 -1 4202496 4411 0 0 0 6134 476 0 0 20 0 5 0 1128202827 19906560 4242 4294967295 134512640 135180984 3216860976 3216860412 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4215/statm: 4860 4242 68 164 0 4695 0
[pid=4215/tid=4216] ppid=4213 vsize=19440 CPUtime=3.81
/proc/4215/task/4216/stat : 4216 (satake) S 4213 4215 23155 0 -1 4202560 737 0 0 0 130 251 0 0 15 0 5 0 1128202827 19906560 4242 4294967295 134512640 135180984 3216860976 3086974992 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=4215/tid=4217] ppid=4213 vsize=19440 CPUtime=16.46
/proc/4215/task/4217/stat : 4217 (satake) R 4213 4215 23155 0 -1 4202560 1052 0 0 0 1573 73 0 0 25 0 5 0 1128202827 19906560 4242 4294967295 134512640 135180984 3216860976 3086909092 134580588 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4215/tid=4219] ppid=4213 vsize=19440 CPUtime=34.9
/proc/4215/task/4219/stat : 4219 (satake) R 4213 4215 23155 0 -1 4202560 1785 0 0 0 3403 87 0 0 16 0 5 0 1128202828 19906560 4242 4294967295 134512640 135180984 3216860976 3086839664 134528441 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4215/tid=4220] ppid=4213 vsize=19440 CPUtime=10.93
/proc/4215/task/4220/stat : 4220 (satake) R 4213 4215 23155 0 -1 4202560 727 0 0 0 1028 65 0 0 25 0 5 0 1128202828 19906560 4242 4294967295 134512640 135180984 3216860976 3086774128 134528698 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 66.1
Current children cumulated vsize (KiB) 19440

[startup+102.322 s]
/proc/loadavg: 6.39 6.39 6.43 8/117 4600
/proc/meminfo: memFree=3108848/3368532 swapFree=1953788/1959888
[pid=4215] ppid=4213 vsize=25380 CPUtime=121.31
/proc/4215/stat : 4215 (satake) S 4213 4215 23155 0 -1 4202496 5803 0 0 0 11377 754 0 0 20 0 5 0 1128202827 25989120 5634 4294967295 134512640 135180984 3216860976 3216860412 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4215/statm: 6345 5634 68 164 0 6180 0
[pid=4215/tid=4216] ppid=4213 vsize=25380 CPUtime=5.87
/proc/4215/task/4216/stat : 4216 (satake) S 4213 4215 23155 0 -1 4202560 1123 0 0 0 194 393 0 0 15 0 5 0 1128202827 25989120 5634 4294967295 134512640 135180984 3216860976 3086974992 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=4215/tid=4217] ppid=4213 vsize=25380 CPUtime=23.85
/proc/4215/task/4217/stat : 4217 (satake) R 4213 4215 23155 0 -1 4202560 1226 0 0 0 2270 115 0 0 25 0 5 0 1128202827 25989120 5634 4294967295 134512640 135180984 3216860976 3086909092 134580588 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4215/tid=4219] ppid=4213 vsize=25380 CPUtime=72.56
/proc/4215/task/4219/stat : 4219 (satake) R 4213 4215 23155 0 -1 4202560 2483 0 0 0 7112 144 0 0 16 0 5 0 1128202828 25989120 5634 4294967295 134512640 135180984 3216860976 3086839592 134518214 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4215/tid=4220] ppid=4213 vsize=25380 CPUtime=19.03
/proc/4215/task/4220/stat : 4220 (satake) R 4213 4215 23155 0 -1 4202560 861 0 0 0 1801 102 0 0 25 0 5 0 1128202828 25989120 5634 4294967295 134512640 135180984 3216860976 3086774028 134522715 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 121.31
Current children cumulated vsize (KiB) 25380

[startup+162.317 s]
/proc/loadavg: 6.59 6.42 6.43 8/117 4781
/proc/meminfo: memFree=3098608/3368532 swapFree=1953788/1959888
[pid=4215] ppid=4213 vsize=35692 CPUtime=199.71
/proc/4215/stat : 4215 (satake) S 4213 4215 23155 0 -1 4202496 8296 0 0 0 18680 1291 0 0 20 0 5 0 1128202827 36548608 8127 4294967295 134512640 135180984 3216860976 3216860412 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0

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

[pid=4215/tid=4217] ppid=4213 vsize=63944 CPUtime=141.37
/proc/4215/task/4217/stat : 4217 (satake) S 4213 4215 23155 0 -1 4202560 2761 0 0 0 13755 382 0 0 25 0 5 0 1128202827 65478656 14864 4294967295 134512640 135180984 3216860976 3086909088 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=4215/tid=4219] ppid=4213 vsize=63944 CPUtime=273.48
/proc/4215/task/4219/stat : 4219 (satake) R 4213 4215 23155 0 -1 4202560 4920 0 0 0 26919 429 0 0 25 0 5 0 1128202828 65478656 14864 4294967295 134512640 135180984 3216860976 3086839656 134518247 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4215/tid=4220] ppid=4213 vsize=63944 CPUtime=139.95
/proc/4215/task/4220/stat : 4220 (satake) R 4213 4215 23155 0 -1 4202560 2426 0 0 0 13608 387 0 0 25 0 5 0 1128202828 65478656 14864 4294967295 134512640 135180984 3216860976 3086773920 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 572.75
Current children cumulated vsize (KiB) 63944

[startup+582.312 s]
/proc/loadavg: 6.27 6.29 6.35 8/116 5926
/proc/meminfo: memFree=3068212/3368532 swapFree=1953788/1959888
[pid=4215] ppid=4213 vsize=68736 CPUtime=632.97
/proc/4215/stat : 4215 (satake) S 4213 4215 23155 0 -1 4202496 15871 0 0 0 60753 2544 0 0 20 0 5 0 1128202827 70385664 15702 4294967295 134512640 135180984 3216860976 3216860412 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4215/statm: 17184 15702 68 164 0 17019 0
[pid=4215/tid=4216] ppid=4213 vsize=68736 CPUtime=19.07
/proc/4215/task/4216/stat : 4216 (satake) S 4213 4215 23155 0 -1 4202560 5283 0 0 0 636 1271 0 0 15 0 5 0 1128202827 70385664 15702 4294967295 134512640 135180984 3216860976 3086974992 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=4215/tid=4217] ppid=4213 vsize=68736 CPUtime=161.91
/proc/4215/task/4217/stat : 4217 (satake) S 4213 4215 23155 0 -1 4202560 2853 0 0 0 15795 396 0 0 25 0 5 0 1128202827 70385664 15702 4294967295 134512640 135180984 3216860976 3086909088 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=4215/tid=4219] ppid=4213 vsize=68736 CPUtime=292.85
/proc/4215/task/4219/stat : 4219 (satake) S 4213 4215 23155 0 -1 4202560 5052 0 0 0 28825 460 0 0 25 0 5 0 1128202828 70385664 15702 4294967295 134512640 135180984 3216860976 3086839456 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=4215/tid=4220] ppid=4213 vsize=68736 CPUtime=159.14
/proc/4215/task/4220/stat : 4220 (satake) R 4213 4215 23155 0 -1 4202560 2573 0 0 0 15497 417 0 0 25 0 5 0 1128202828 70385664 15702 4294967295 134512640 135180984 3216860976 3086773920 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 632.97
Current children cumulated vsize (KiB) 68736

[startup+642.317 s]
/proc/loadavg: 6.25 6.28 6.34 8/116 6114
/proc/meminfo: memFree=3061808/3368532 swapFree=1953788/1959888
[pid=4215] ppid=4213 vsize=75504 CPUtime=705.26
/proc/4215/stat : 4215 (satake) S 4213 4215 23155 0 -1 4202496 17669 0 0 0 67720 2806 0 0 20 0 5 0 1128202827 77316096 17500 4294967295 134512640 135180984 3216860976 3216860412 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4215/statm: 18876 17500 68 164 0 18711 0
[pid=4215/tid=4216] ppid=4213 vsize=75504 CPUtime=21.42
/proc/4215/task/4216/stat : 4216 (satake) S 4213 4215 23155 0 -1 4202560 6007 0 0 0 732 1410 0 0 15 0 5 0 1128202827 77316096 17500 4294967295 134512640 135180984 3216860976 3086974992 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=4215/tid=4217] ppid=4213 vsize=75504 CPUtime=182.25
/proc/4215/task/4217/stat : 4217 (satake) R 4213 4215 23155 0 -1 4202560 3100 0 0 0 17791 434 0 0 25 0 5 0 1128202827 77316096 17500 4294967295 134512640 135180984 3216860976 3086909236 134523985 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4215/tid=4219] ppid=4213 vsize=75504 CPUtime=313.85
/proc/4215/task/4219/stat : 4219 (satake) R 4213 4215 23155 0 -1 4202560 5395 0 0 0 30884 501 0 0 25 0 5 0 1128202828 77316096 17500 4294967295 134512640 135180984 3216860976 3086839664 134528680 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4215/tid=4220] ppid=4213 vsize=75504 CPUtime=187.74
/proc/4215/task/4220/stat : 4220 (satake) R 4213 4215 23155 0 -1 4202560 3057 0 0 0 18313 461 0 0 25 0 5 0 1128202828 77316096 17500 4294967295 134512640 135180984 3216860976 3086773920 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 705.26
Current children cumulated vsize (KiB) 75504

[startup+702.312 s]
/proc/loadavg: 6.31 6.29 6.34 7/116 6302
/proc/meminfo: memFree=3056944/3368532 swapFree=1953788/1959888
[pid=4215] ppid=4213 vsize=80064 CPUtime=771.69
/proc/4215/stat : 4215 (satake) S 4213 4215 23155 0 -1 4202496 18799 0 0 0 74163 3006 0 0 20 0 5 0 1128202827 81985536 18630 4294967295 134512640 135180984 3216860976 3216860412 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4215/statm: 20016 18630 68 164 0 19851 0
[pid=4215/tid=4216] ppid=4213 vsize=80064 CPUtime=22.96
/proc/4215/task/4216/stat : 4216 (satake) S 4213 4215 23155 0 -1 4202560 6536 0 0 0 790 1506 0 0 15 0 5 0 1128202827 81985536 18630 4294967295 134512640 135180984 3216860976 3086974992 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=4215/tid=4217] ppid=4213 vsize=80064 CPUtime=200.61
/proc/4215/task/4217/stat : 4217 (satake) R 4213 4215 23155 0 -1 4202560 3283 0 0 0 19589 472 0 0 25 0 5 0 1128202827 81985536 18630 4294967295 134512640 135180984 3216860976 3086909200 134525274 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4215/tid=4219] ppid=4213 vsize=80064 CPUtime=335.46
/proc/4215/task/4219/stat : 4219 (satake) R 4213 4215 23155 0 -1 4202560 5569 0 0 0 33010 536 0 0 25 0 5 0 1128202828 81985536 18630 4294967295 134512640 135180984 3216860976 3086839456 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4215/tid=4220] ppid=4213 vsize=80064 CPUtime=212.66
/proc/4215/task/4220/stat : 4220 (satake) S 4213 4215 23155 0 -1 4202560 3301 0 0 0 20774 492 0 0 25 0 5 0 1128202828 81985536 18630 4294967295 134512640 135180984 3216860976 3086773920 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 771.69
Current children cumulated vsize (KiB) 80064

[startup+762.317 s]
/proc/loadavg: 6.28 6.28 6.33 5/116 6491
/proc/meminfo: memFree=3053764/3368532 swapFree=1953788/1959888
[pid=4215] ppid=4213 vsize=83500 CPUtime=832.53
/proc/4215/stat : 4215 (satake) S 4213 4215 23155 0 -1 4202496 19578 0 0 0 80135 3118 0 0 20 0 5 0 1128202827 85504000 19409 4294967295 134512640 135180984 3216860976 3216860412 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4215/statm: 20875 19409 68 164 0 20710 0
[pid=4215/tid=4216] ppid=4213 vsize=83500 CPUtime=23.78
/proc/4215/task/4216/stat : 4216 (satake) S 4213 4215 23155 0 -1 4202560 6969 0 0 0 818 1560 0 0 15 0 5 0 1128202827 85504000 19409 4294967295 134512640 135180984 3216860976 3086974992 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=4215/tid=4217] ppid=4213 vsize=83500 CPUtime=221.26
/proc/4215/task/4217/stat : 4217 (satake) R 4213 4215 23155 0 -1 4202560 3388 0 0 0 21631 495 0 0 25 0 5 0 1128202827 85504000 19409 4294967295 134512640 135180984 3216860976 3086909088 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4215/tid=4219] ppid=4213 vsize=83500 CPUtime=356.42
/proc/4215/task/4219/stat : 4219 (satake) R 4213 4215 23155 0 -1 4202560 5675 0 0 0 35087 555 0 0 25 0 5 0 1128202828 85504000 19409 4294967295 134512640 135180984 3216860976 3086839664 134528219 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4215/tid=4220] ppid=4213 vsize=83500 CPUtime=231.07
/proc/4215/task/4220/stat : 4220 (satake) S 4213 4215 23155 0 -1 4202560 3436 0 0 0 22599 508 0 0 25 0 5 0 1128202828 85504000 19409 4294967295 134512640 135180984 3216860976 3086773920 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 832.53
Current children cumulated vsize (KiB) 83500

[startup+822.312 s]
/proc/loadavg: 6.11 6.22 6.31 7/116 6682
/proc/meminfo: memFree=3049724/3368532 swapFree=1953788/1959888
[pid=4215] ppid=4213 vsize=87464 CPUtime=892.86
/proc/4215/stat : 4215 (satake) S 4213 4215 23155 0 -1 4202496 20529 0 0 0 86008 3278 0 0 20 0 5 0 1128202827 89563136 20360 4294967295 134512640 135180984 3216860976 3216860412 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4215/statm: 21866 20360 68 164 0 21701 0
[pid=4215/tid=4216] ppid=4213 vsize=87464 CPUtime=25.11
/proc/4215/task/4216/stat : 4216 (satake) S 4213 4215 23155 0 -1 4202560 7462 0 0 0 872 1639 0 0 15 0 5 0 1128202827 89563136 20360 4294967295 134512640 135180984 3216860976 3086974992 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=4215/tid=4217] ppid=4213 vsize=87464 CPUtime=239.79
/proc/4215/task/4217/stat : 4217 (satake) R 4213 4215 23155 0 -1 4202560 3575 0 0 0 23454 525 0 0 25 0 5 0 1128202827 89563136 20360 4294967295 134512640 135180984 3216860976 3086909088 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4215/tid=4219] ppid=4213 vsize=87464 CPUtime=377.03
/proc/4215/task/4219/stat : 4219 (satake) R 4213 4215 23155 0 -1 4202560 5791 0 0 0 37118 585 0 0 25 0 5 0 1128202828 89563136 20360 4294967295 134512640 135180984 3216860976 3086839656 134519890 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4215/tid=4220] ppid=4213 vsize=87464 CPUtime=250.93
/proc/4215/task/4220/stat : 4220 (satake) R 4213 4215 23155 0 -1 4202560 3591 0 0 0 24564 529 0 0 25 0 5 0 1128202828 89563136 20360 4294967295 134512640 135180984 3216860976 3086774032 134525183 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 892.86
Current children cumulated vsize (KiB) 87464

[startup+882.307 s]
/proc/loadavg: 5.70 6.09 6.26 7/116 6869
/proc/meminfo: memFree=3046068/3368532 swapFree=1953788/1959888
[pid=4215] ppid=4213 vsize=91752 CPUtime=953.35
/proc/4215/stat : 4215 (satake) S 4213 4215 23155 0 -1 4202496 21458 0 0 0 91894 3441 0 0 20 0 5 0 1128202827 93954048 21289 4294967295 134512640 135180984 3216860976 3216860412 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4215/statm: 22938 21289 68 164 0 22773 0
[pid=4215/tid=4216] ppid=4213 vsize=91752 CPUtime=26.28
/proc/4215/task/4216/stat : 4216 (satake) S 4213 4215 23155 0 -1 4202560 8109 0 0 0 916 1712 0 0 15 0 5 0 1128202827 93954048 21289 4294967295 134512640 135180984 3216860976 3086974992 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=4215/tid=4217] ppid=4213 vsize=91752 CPUtime=258.41
/proc/4215/task/4217/stat : 4217 (satake) R 4213 4215 23155 0 -1 4202560 3696 0 0 0 25280 561 0 0 25 0 5 0 1128202827 93954048 21289 4294967295 134512640 135180984 3216860976 3086909296 134528605 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4215/tid=4219] ppid=4213 vsize=91752 CPUtime=397.27
/proc/4215/task/4219/stat : 4219 (satake) R 4213 4215 23155 0 -1 4202560 5862 0 0 0 39108 619 0 0 25 0 5 0 1128202828 93954048 21289 4294967295 134512640 135180984 3216860976 3086839564 134519095 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4215/tid=4220] ppid=4213 vsize=91752 CPUtime=271.39
/proc/4215/task/4220/stat : 4220 (satake) R 4213 4215 23155 0 -1 4202560 3681 0 0 0 26590 549 0 0 25 0 5 0 1128202828 93954048 21289 4294967295 134512640 135180984 3216860976 3086774128 134528420 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 953.35
Current children cumulated vsize (KiB) 91752

[startup+942.312 s]
/proc/loadavg: 5.93 6.07 6.24 8/117 7011
/proc/meminfo: memFree=3041296/3368532 swapFree=1953788/1959888
[pid=4215] ppid=4213 vsize=96308 CPUtime=1014.08
/proc/4215/stat : 4215 (satake) S 4213 4215 23155 0 -1 4202496 22634 0 0 0 97774 3634 0 0 20 0 5 0 1128202827 98619392 22465 4294967295 134512640 135180984 3216860976 3216860412 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4215/statm: 24077 22465 68 164 0 23912 0
[pid=4215/tid=4216] ppid=4213 vsize=96308 CPUtime=27.88
/proc/4215/task/4216/stat : 4216 (satake) S 4213 4215 23155 0 -1 4202560 8681 0 0 0 966 1822 0 0 15 0 5 0 1128202827 98619392 22465 4294967295 134512640 135180984 3216860976 3086974992 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=4215/tid=4217] ppid=4213 vsize=96308 CPUtime=277.82
/proc/4215/task/4217/stat : 4217 (satake) R 4213 4215 23155 0 -1 4202560 3896 0 0 0 27193 589 0 0 25 0 5 0 1128202827 98619392 22465 4294967295 134512640 135180984 3216860976 3086909296 134528595 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4215/tid=4219] ppid=4213 vsize=96308 CPUtime=417.75
/proc/4215/task/4219/stat : 4219 (satake) R 4213 4215 23155 0 -1 4202560 6011 0 0 0 41118 657 0 0 25 0 5 0 1128202828 98619392 22465 4294967295 134512640 135180984 3216860976 3086839660 134527217 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4215/tid=4220] ppid=4213 vsize=96308 CPUtime=290.63
/proc/4215/task/4220/stat : 4220 (satake) R 4213 4215 23155 0 -1 4202560 3936 0 0 0 28497 566 0 0 25 0 5 0 1128202828 98619392 22465 4294967295 134512640 135180984 3216860976 3086774120 134518214 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1014.08
Current children cumulated vsize (KiB) 96308



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 5.93 6.04 6.22 9/116 7126
/proc/meminfo: memFree=3037916/3368532 swapFree=1953788/1959888
[pid=4215] ppid=4213 vsize=100092 CPUtime=1072.24
/proc/4215/stat : 4215 (satake) S 4213 4215 23155 0 -1 4202496 23499 0 0 0 103462 3762 0 0 20 0 5 0 1128202827 102494208 23330 4294967295 134512640 135180984 3216860976 3216860412 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4215/statm: 25023 23330 68 164 0 24858 0
[pid=4215/tid=4216] ppid=4213 vsize=100092 CPUtime=28.88
/proc/4215/task/4216/stat : 4216 (satake) S 4213 4215 23155 0 -1 4202560 9156 0 0 0 1000 1888 0 0 15 0 5 0 1128202827 102494208 23330 4294967295 134512640 135180984 3216860976 3086974992 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=4215/tid=4217] ppid=4213 vsize=100092 CPUtime=296.51
/proc/4215/task/4217/stat : 4217 (satake) R 4213 4215 23155 0 -1 4202560 4036 0 0 0 29046 605 0 0 25 0 5 0 1128202827 102494208 23330 4294967295 134512640 135180984 3216860976 3086909288 134519912 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4215/tid=4219] ppid=4213 vsize=100092 CPUtime=437.15
/proc/4215/task/4219/stat : 4219 (satake) R 4213 4215 23155 0 -1 4202560 6094 0 0 0 43039 676 0 0 25 0 5 0 1128202828 102494208 23330 4294967295 134512640 135180984 3216860976 3086839664 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4215/tid=4220] ppid=4213 vsize=100092 CPUtime=309.7
/proc/4215/task/4220/stat : 4220 (satake) R 4213 4215 23155 0 -1 4202560 4103 0 0 0 30377 593 0 0 25 0 5 0 1128202828 102494208 23330 4294967295 134512640 135180984 3216860976 3086774120 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1072.24
Current children cumulated vsize (KiB) 100092

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): 1072.26
CPU user time (s): 1034.64
CPU system time (s): 37.62
CPU usage (%): 107.222
Max. virtual memory (cumulated for all children) (KiB): 100092

deleting IPC queue 2621440
deleting IPC queue 2654209
deleting IPC queue 2686978
deleting IPC queue 2719747
deleting IPC queue 2752516
deleting IPC queue 2785285
deleting IPC queue 2818054
deleting IPC queue 2850823
deleting IPC queue 2883592
deleting IPC queue 2916361
deleting IPC queue 2949130
deleting IPC queue 2981899
deleting IPC queue 3014668
deleting IPC queue 3047437
deleting IPC queue 3080206
deleting IPC queue 3112975

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1034.64
system time used= 37.62
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23499
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= 9231330
involuntary context switches= 8979402

runsolver used 0.01 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 00:16:27
IDJOB=1776220
IDBENCH=20470
IDSOLVER=629
FILE ID=/1776220-1243635387
PBS_JOBID=
Free space on /tmp= 6477 MiB

SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.13.unsat.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776220-1243635387/watcher-1776220-1243635387 -o /tmp/evaluation-result-1776220-1243635387/solver-1776220-1243635387 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776220-1243635387.cnf 4 10000

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

MD5SUM BENCH= 8ca1246723b65c8e0ae1eddb535ce13f
RANDOM SEED= 382860237

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.061
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.061
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.12
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.061
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.14
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.061
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:       3131660 kB
Buffers:         67972 kB
Cached:          61796 kB
SwapCached:       2256 kB
Active:         102608 kB
Inactive:        43932 kB
HighTotal:     2489216 kB
HighFree:      2408392 kB
LowTotal:       879316 kB
LowFree:        723268 kB
SwapTotal:     1959888 kB
SwapFree:      1953788 kB
Dirty:             952 kB
Writeback:           0 kB
AnonPages:       15788 kB
Mapped:           5272 kB
Slab:            80124 kB
SReclaimable:    66748 kB
SUnreclaim:      13376 kB
PageTables:        668 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   112672 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 6477 MiB
End job on  at 2009-05-30 00:33:10