Trace number 1780855

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
satake 2009-03-22 (4 threads)? (TO) 2998.19 1000.04

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_11_UNSAT.cnf
MD5SUM238f1788225c41f1f5779700e39b5833
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 variables2316
Number of clauses216962
Sum of the clauses size647286
Maximum clause length12
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23879
Number of clauses of size 3213052
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

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-1780855-1243650519/watcher-1780855-1243650519 -o /tmp/evaluation-result-1780855-1243650519/solver-1780855-1243650519 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780855-1243650519.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.01 3.00 3.00 3/99 19976
/proc/meminfo: memFree=3120028/3368532 swapFree=1953580/1959888
[pid=19976] ppid=19974 vsize=5268 CPUtime=0
/proc/19976/stat : 19976 (satake) S 19974 19976 21929 0 -1 4202496 672 0 0 0 0 0 0 0 18 0 5 0 1129716373 5394432 629 4294967295 134512640 135180984 3212852064 3212851500 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/19976/statm: 1317 634 63 164 0 1152 0
[pid=19976/tid=19977] ppid=19974 vsize=5268 CPUtime=0
/proc/19976/task/19977/stat : 19977 (satake) S 19974 19976 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129716373 5394432 686 4294967295 134512640 135180984 3212852064 3086888976 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=19976/tid=19978] ppid=19974 vsize=5268 CPUtime=0
/proc/19976/task/19978/stat : 19978 (satake) R 19974 19976 21929 0 -1 4202560 617 0 0 0 0 0 0 0 20 0 5 0 1129716373 5394432 691 4294967295 134512640 135180984 3212852064 3086823716 134583077 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19976/tid=19979] ppid=19974 vsize=5268 CPUtime=0
/proc/19976/task/19979/stat : 19979 (satake) R 19974 19976 21929 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1129716373 5394432 696 4294967295 134512640 135180984 3212852064 3086758724 134705812 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19976/tid=19980] ppid=19974 vsize=5268 CPUtime=0
/proc/19976/task/19980/stat : 19980 (satake) R 19974 19976 21929 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1129716373 5394432 701 4294967295 134512640 135180984 3212852064 3086693188 134705812 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.038461 s]
/proc/loadavg: 3.01 3.00 3.00 3/99 19976
/proc/meminfo: memFree=3120028/3368532 swapFree=1953580/1959888
[pid=19976] ppid=19974 vsize=16616 CPUtime=0.06
/proc/19976/stat : 19976 (satake) S 19974 19976 21929 0 -1 4202496 3449 0 0 0 5 1 0 0 18 0 5 0 1129716373 17014784 3404 4294967295 134512640 135180984 3212852064 3212851500 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/19976/statm: 4154 3405 63 164 0 3989 0
[pid=19976/tid=19977] ppid=19974 vsize=16616 CPUtime=0
/proc/19976/task/19977/stat : 19977 (satake) S 19974 19976 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129716373 17014784 3405 4294967295 134512640 135180984 3212852064 3086888976 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=19976/tid=19978] ppid=19974 vsize=16616 CPUtime=0.03
/proc/19976/task/19978/stat : 19978 (satake) R 19974 19976 21929 0 -1 4202560 1259 0 0 0 3 0 0 0 21 0 5 0 1129716373 17014784 3405 4294967295 134512640 135180984 3212852064 3086823396 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19976/tid=19979] ppid=19974 vsize=16616 CPUtime=0.02
/proc/19976/task/19979/stat : 19979 (satake) R 19974 19976 21929 0 -1 4202560 1158 0 0 0 2 0 0 0 20 0 5 0 1129716373 17014784 3406 4294967295 134512640 135180984 3212852064 3086758224 134513456 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19976/tid=19980] ppid=19974 vsize=16616 CPUtime=0.01
/proc/19976/task/19980/stat : 19980 (satake) R 19974 19976 21929 0 -1 4202560 916 0 0 0 0 1 0 0 20 0 5 0 1129716373 17014784 3406 4294967295 134512640 135180984 3212852064 3086692500 134579486 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16616

[startup+0.118451 s]
/proc/loadavg: 3.01 3.00 3.00 3/99 19976
/proc/meminfo: memFree=3120028/3368532 swapFree=1953580/1959888
[pid=19976] ppid=19974 vsize=27260 CPUtime=0.27
/proc/19976/stat : 19976 (satake) S 19974 19976 21929 0 -1 4202496 6168 0 0 0 26 1 0 0 18 0 5 0 1129716373 27914240 6123 4294967295 134512640 135180984 3212852064 3212851500 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/19976/statm: 6815 6124 63 164 0 6650 0
[pid=19976/tid=19977] ppid=19974 vsize=27260 CPUtime=0
/proc/19976/task/19977/stat : 19977 (satake) S 19974 19976 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129716373 27914240 6124 4294967295 134512640 135180984 3212852064 3086888976 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=19976/tid=19978] ppid=19974 vsize=27260 CPUtime=0.11
/proc/19976/task/19978/stat : 19978 (satake) R 19974 19976 21929 0 -1 4202560 2274 0 0 0 11 0 0 0 20 0 5 0 1129716373 27914240 6124 4294967295 134512640 135180984 3212852064 3086823512 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19976/tid=19979] ppid=19974 vsize=27260 CPUtime=0.1
/proc/19976/task/19979/stat : 19979 (satake) R 19974 19976 21929 0 -1 4202560 2121 0 0 0 10 0 0 0 20 0 5 0 1129716373 27914240 6124 4294967295 134512640 135180984 3212852064 3086757860 134675767 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19976/tid=19980] ppid=19974 vsize=27260 CPUtime=0.06
/proc/19976/task/19980/stat : 19980 (satake) R 19974 19976 21929 0 -1 4202560 1657 0 0 0 5 1 0 0 20 0 5 0 1129716373 27914240 6124 4294967295 134512640 135180984 3212852064 3086692640 134513721 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 27260

[startup+0.318434 s]
/proc/loadavg: 3.01 3.00 3.00 3/99 19976
/proc/meminfo: memFree=3120028/3368532 swapFree=1953580/1959888
[pid=19976] ppid=19974 vsize=30644 CPUtime=0.86
/proc/19976/stat : 19976 (satake) S 19974 19976 21929 0 -1 4202496 9467 0 0 0 85 1 0 0 18 0 5 0 1129716373 31379456 6797 4294967295 134512640 135180984 3212852064 3212851500 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/19976/statm: 7661 6797 68 164 0 7496 0
[pid=19976/tid=19977] ppid=19974 vsize=30644 CPUtime=0
/proc/19976/task/19977/stat : 19977 (satake) S 19974 19976 21929 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 5 0 1129716373 31379456 6797 4294967295 134512640 135180984 3212852064 3086888976 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=19976/tid=19978] ppid=19974 vsize=30644 CPUtime=0.31
/proc/19976/task/19978/stat : 19978 (satake) R 19974 19976 21929 0 -1 4202560 3029 0 0 0 31 0 0 0 20 0 5 0 1129716373 31379456 6797 4294967295 134512640 135180984 3212852064 3086823112 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19976/tid=19979] ppid=19974 vsize=30644 CPUtime=0.3
/proc/19976/task/19979/stat : 19979 (satake) R 19974 19976 21929 0 -1 4202560 3084 0 0 0 30 0 0 0 20 0 5 0 1129716373 31379456 6797 4294967295 134512640 135180984 3212852064 3086757740 134518208 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19976/tid=19980] ppid=19974 vsize=30644 CPUtime=0.25
/proc/19976/task/19980/stat : 19980 (satake) R 19974 19976 21929 0 -1 4202560 3195 0 0 0 24 1 0 0 19 0 5 0 1129716373 31379456 6797 4294967295 134512640 135180984 3212852064 3086692208 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 30644

[startup+0.718395 s]
/proc/loadavg: 3.01 3.00 3.00 3/99 19976
/proc/meminfo: memFree=3120028/3368532 swapFree=1953580/1959888
[pid=19976] ppid=19974 vsize=32592 CPUtime=2.06
/proc/19976/stat : 19976 (satake) S 19974 19976 21929 0 -1 4202496 9981 0 0 0 204 2 0 0 18 0 5 0 1129716373 33374208 7311 4294967295 134512640 135180984 3212852064 3212851500 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/19976/statm: 8148 7311 68 164 0 7983 0
[pid=19976/tid=19977] ppid=19974 vsize=32592 CPUtime=0.01
/proc/19976/task/19977/stat : 19977 (satake) S 19974 19976 21929 0 -1 4202560 49 0 0 0 0 1 0 0 15 0 5 0 1129716373 33374208 7311 4294967295 134512640 135180984 3212852064 3086888976 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=19976/tid=19978] ppid=19974 vsize=32592 CPUtime=0.7
/proc/19976/task/19978/stat : 19978 (satake) R 19974 19976 21929 0 -1 4202560 3196 0 0 0 70 0 0 0 21 0 5 0 1129716373 33374208 7311 4294967295 134512640 135180984 3212852064 3086823280 134528565 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19976/tid=19979] ppid=19974 vsize=32592 CPUtime=0.7
/proc/19976/task/19979/stat : 19979 (satake) R 19974 19976 21929 0 -1 4202560 3237 0 0 0 70 0 0 0 21 0 5 0 1129716373 33374208 7311 4294967295 134512640 135180984 3212852064 3086757744 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19976/tid=19980] ppid=19974 vsize=32592 CPUtime=0.65
/proc/19976/task/19980/stat : 19980 (satake) R 19974 19976 21929 0 -1 4202560 3389 0 0 0 64 1 0 0 20 0 5 0 1129716373 33374208 7311 4294967295 134512640 135180984 3212852064 3086692224 134518780 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 32592

[startup+1.51832 s]
/proc/loadavg: 3.01 3.00 3.00 4/104 19981
/proc/meminfo: memFree=3091020/3368532 swapFree=1953580/1959888
[pid=19976] ppid=19974 vsize=35828 CPUtime=4.45
/proc/19976/stat : 19976 (satake) S 19974 19976 21929 0 -1 4202496 10575 0 0 0 441 4 0 0 18 0 5 0 1129716373 36687872 7905 4294967295 134512640 135180984 3212852064 3212851500 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/19976/statm: 8957 7905 68 164 0 8792 0
[pid=19976/tid=19977] ppid=19974 vsize=35828 CPUtime=0.03
/proc/19976/task/19977/stat : 19977 (satake) S 19974 19976 21929 0 -1 4202560 51 0 0 0 0 3 0 0 15 0 5 0 1129716373 36687872 7905 4294967295 134512640 135180984 3212852064 3086888976 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=19976/tid=19978] ppid=19974 vsize=35828 CPUtime=1.48
/proc/19976/task/19978/stat : 19978 (satake) R 19974 19976 21929 0 -1 4202560 3372 0 0 0 148 0 0 0 24 0 5 0 1129716373 36687872 7905 4294967295 134512640 135180984 3212852064 3086823272 134519916 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19976/tid=19979] ppid=19974 vsize=35828 CPUtime=1.49
/proc/19976/task/19979/stat : 19979 (satake) R 19974 19976 21929 0 -1 4202560 3424 0 0 0 149 0 0 0 23 0 5 0 1129716373 36687872 7905 4294967295 134512640 135180984 3212852064 3086757744 134528648 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19976/tid=19980] ppid=19974 vsize=35828 CPUtime=1.45
/proc/19976/task/19980/stat : 19980 (satake) R 19974 19976 21929 0 -1 4202560 3618 0 0 0 144 1 0 0 22 0 5 0 1129716373 36687872 7905 4294967295 134512640 135180984 3212852064 3086692208 134528583 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.45
Current children cumulated vsize (KiB) 35828

[startup+3.11817 s]
/proc/loadavg: 3.01 3.00 3.00 5/104 19981
/proc/meminfo: memFree=3088080/3368532 swapFree=1953580/1959888
[pid=19976] ppid=19974 vsize=38304 CPUtime=9.25
/proc/19976/stat : 19976 (satake) S 19974 19976 21929 0 -1 4202496 11253 0 0 0 919 6 0 0 18 0 5 0 1129716373 39223296 8583 4294967295 134512640 135180984 3212852064 3212851500 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/19976/statm: 9576 8583 68 164 0 9411 0
[pid=19976/tid=19977] ppid=19974 vsize=38304 CPUtime=0.05
/proc/19976/task/19977/stat : 19977 (satake) S 19974 19976 21929 0 -1 4202560 56 0 0 0 0 5 0 0 15 0 5 0 1129716373 39223296 8583 4294967295 134512640 135180984 3212852064 3086888976 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=19976/tid=19978] ppid=19974 vsize=38304 CPUtime=3.06
/proc/19976/task/19978/stat : 19978 (satake) R 19974 19976 21929 0 -1 4202560 3536 0 0 0 306 0 0 0 25 0 5 0 1129716373 39223296 8583 4294967295 134512640 135180984 3212852064 3086823280 134528562 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19976/tid=19979] ppid=19974 vsize=38304 CPUtime=3.09
/proc/19976/task/19979/stat : 19979 (satake) R 19974 19976 21929 0 -1 4202560 3641 0 0 0 309 0 0 0 25 0 5 0 1129716373 39223296 8583 4294967295 134512640 135180984 3212852064 3086757744 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19976/tid=19980] ppid=19974 vsize=38304 CPUtime=3.05
/proc/19976/task/19980/stat : 19980 (satake) R 19974 19976 21929 0 -1 4202560 3910 0 0 0 304 1 0 0 25 0 5 0 1129716373 39223296 8583 4294967295 134512640 135180984 3212852064 3086692204 134518218 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9.25
Current children cumulated vsize (KiB) 38304

[startup+6.31787 s]
/proc/loadavg: 3.01 3.00 3.00 4/104 19982
/proc/meminfo: memFree=3082900/3368532 swapFree=1953580/1959888
[pid=19976] ppid=19974 vsize=43012 CPUtime=18.85
/proc/19976/stat : 19976 (satake) S 19974 19976 21929 0 -1 4202496 12555 0 0 0 1875 10 0 0 18 0 5 0 1129716373 44044288 9885 4294967295 134512640 135180984 3212852064 3212851500 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/19976/statm: 10753 9885 68 164 0 10588 0
[pid=19976/tid=19977] ppid=19974 vsize=43012 CPUtime=0.08
/proc/19976/task/19977/stat : 19977 (satake) S 19974 19976 21929 0 -1 4202560 71 0 0 0 2 6 0 0 16 0 5 0 1129716373 44044288 9885 4294967295 134512640 135180984 3212852064 3086888976 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=19976/tid=19978] ppid=19974 vsize=43012 CPUtime=6.23
/proc/19976/task/19978/stat : 19978 (satake) R 19974 19976 21929 0 -1 4202560 3837 0 0 0 623 0 0 0 25 0 5 0 1129716373 44044288 9885 4294967295 134512640 135180984 3212852064 3086823280 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19976/tid=19979] ppid=19974 vsize=43012 CPUtime=6.29
/proc/19976/task/19979/stat : 19979 (satake) R 19974 19976 21929 0 -1 4202560 4187 0 0 0 629 0 0 0 25 0 5 0 1129716373 44044288 9885 4294967295 134512640 135180984 3212852064 3086757744 134528680 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19976/tid=19980] ppid=19974 vsize=43012 CPUtime=6.25
/proc/19976/task/19980/stat : 19980 (satake) R 19974 19976 21929 0 -1 4202560 4350 0 0 0 621 4 0 0 25 0 5 0 1129716373 44044288 9885 4294967295 134512640 135180984 3212852064 3086692176 134520027 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 18.85
Current children cumulated vsize (KiB) 43012

[startup+12.7173 s]
/proc/loadavg: 3.01 3.00 3.00 4/104 19982
/proc/meminfo: memFree=3072540/3368532 swapFree=1953580/1959888
[pid=19976] ppid=19974 vsize=54364 CPUtime=38.04
/proc/19976/stat : 19976 (satake) S 19974 19976 21929 0 -1 4202496 15009 0 0 0 3783 21 0 0 18 0 5 0 1129716373 55668736 12339 4294967295 134512640 135180984 3212852064 3212851500 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/19976/statm: 13591 12339 68 164 0 13426 0
[pid=19976/tid=19977] ppid=19974 vsize=54364 CPUtime=0.15
/proc/19976/task/19977/stat : 19977 (satake) S 19974 19976 21929 0 -1 4202560 84 0 0 0 4 11 0 0 15 0 5 0 1129716373 55668736 12339 4294967295 134512640 135180984 3212852064 3086888976 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=19976/tid=19978] ppid=19974 vsize=54364 CPUtime=12.56
/proc/19976/task/19978/stat : 19978 (satake) R 19974 19976 21929 0 -1 4202560 4875 0 0 0 1253 3 0 0 25 0 5 0 1129716373 55668736 12339 4294967295 134512640 135180984 3212852064 3086823280 134528219 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19976/tid=19979] ppid=19974 vsize=54364 CPUtime=12.68
/proc/19976/task/19979/stat : 19979 (satake) R 19974 19976 21929 0 -1 4202560 4874 0 0 0 1267 1 0 0 25 0 5 0 1129716373 55668736 12339 4294967295 134512640 135180984 3212852064 3086757744 134528470 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19976/tid=19980] ppid=19974 vsize=54364 CPUtime=12.65
/proc/19976/task/19980/stat : 19980 (satake) R 19974 19976 21929 0 -1 4202560 5066 0 0 0 1259 6 0 0 25 0 5 0 1129716373 55668736 12339 4294967295 134512640 135180984 3212852064 3086692208 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 38.04
Current children cumulated vsize (KiB) 54364

[startup+25.516 s]
/proc/loadavg: 3.00 3.00 3.00 4/104 19987
/proc/meminfo: memFree=3058588/3368532 swapFree=1953580/1959888
[pid=19976] ppid=19974 vsize=66788 CPUtime=76.44
/proc/19976/stat : 19976 (satake) S 19974 19976 21929 0 -1 4202496 18394 0 0 0 7621 23 0 0 18 0 5 0 1129716373 68390912 15724 4294967295 134512640 135180984 3212852064 3212851500 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/19976/statm: 16697 15724 68 164 0 16532 0
[pid=19976/tid=19977] ppid=19974 vsize=66788 CPUtime=0.16
/proc/19976/task/19977/stat : 19977 (satake) S 19974 19976 21929 0 -1 4202560 89 0 0 0 4 12 0 0 15 0 5 0 1129716373 68390912 15724 4294967295 134512640 135180984 3212852064 3086888976 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=19976/tid=19978] ppid=19974 vsize=66788 CPUtime=25.35
/proc/19976/task/19978/stat : 19978 (satake) R 19974 19976 21929 0 -1 4202560 5824 0 0 0 2531 4 0 0 25 0 5 0 1129716373 68390912 15724 4294967295 134512640 135180984 3212852064 3086823280 134528719 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19976/tid=19979] ppid=19974 vsize=66788 CPUtime=25.48
/proc/19976/task/19979/stat : 19979 (satake) R 19974 19976 21929 0 -1 4202560 6047 0 0 0 2547 1 0 0 25 0 5 0 1129716373 68390912 15724 4294967295 134512640 135180984 3212852064 3086757736 134518214 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19976/tid=19980] ppid=19974 vsize=66788 CPUtime=25.45
/proc/19976/task/19980/stat : 19980 (satake) R 19974 19976 21929 0 -1 4202560 6324 0 0 0 2539 6 0 0 25 0 5 0 1129716373 68390912 15724 4294967295 134512640 135180984 3212852064 3086692144 134523635 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 76.44
Current children cumulated vsize (KiB) 66788

[startup+51.1136 s]
/proc/loadavg: 3.00 3.00 3.00 4/104 20173
/proc/meminfo: memFree=3044748/3368532 swapFree=1953580/1959888
[pid=19976] ppid=19974 vsize=80836 CPUtime=153.12
/proc/19976/stat : 19976 (satake) S 19974 19976 21929 0 -1 4202496 21863 0 0 0 15272 40 0 0 18 0 5 0 1129716373 82776064 19193 4294967295 134512640 135180984 3212852064 3212851500 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/19976/statm: 20209 19193 68 164 0 20044 0
[pid=19976/tid=19977] ppid=19974 vsize=80836 CPUtime=0.25
/proc/19976/task/19977/stat : 19977 (satake) S 19974 19976 21929 0 -1 4202560 127 0 0 0 6 19 0 0 15 0 5 0 1129716373 82776064 19193 4294967295 134512640 135180984 3212852064 3086888976 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=19976/tid=19978] ppid=19974 vsize=80836 CPUtime=50.81
/proc/19976/task/19978/stat : 19978 (satake) R 19974 19976 21929 0 -1 4202560 6886 0 0 0 5076 5 0 0 25 0 5 0 1129716373 82776064 19193 4294967295 134512640 135180984 3212852064 3086823280 134528587 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19976/tid=19979] ppid=19974 vsize=80836 CPUtime=51.06
/proc/19976/task/19979/stat : 19979 (satake) R 19974 19976 21929 0 -1 4202560 7321 0 0 0 5102 4 0 0 25 0 5 0 1129716373 82776064 19193 4294967295 134512640 135180984 3212852064 3086757744 134528648 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19976/tid=19980] ppid=19974 vsize=80836 CPUtime=51.01
/proc/19976/task/19980/stat : 19980 (satake) R 19974 19976 21929 0 -1 4202560 7419 0 0 0 5089 12 0 0 25 0 5 0 1129716373 82776064 19193 4294967295 134512640 135180984 3212852064 3086692208 134528641 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 153.12
Current children cumulated vsize (KiB) 80836

[startup+102.319 s]
/proc/loadavg: 3.00 3.00 3.00 4/104 20176

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

[pid=19976/tid=19978] ppid=19974 vsize=244220 CPUtime=521.28
/proc/19976/task/19978/stat : 19978 (satake) R 19974 19976 21929 0 -1 4202560 19735 0 0 0 52098 30 0 0 25 0 5 0 1129716373 250081280 58533 4294967295 134512640 135180984 3212852064 3086823280 134528532 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19976/tid=19979] ppid=19974 vsize=244220 CPUtime=522.13
/proc/19976/task/19979/stat : 19979 (satake) R 19974 19976 21929 0 -1 4202560 17934 0 0 0 52186 27 0 0 25 0 5 0 1129716373 250081280 58533 4294967295 134512640 135180984 3212852064 3086757744 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19976/tid=19980] ppid=19974 vsize=244220 CPUtime=521.68
/proc/19976/task/19980/stat : 19980 (satake) R 19974 19976 21929 0 -1 4202560 23101 0 0 0 52088 80 0 0 25 0 5 0 1129716373 250081280 58533 4294967295 134512640 135180984 3212852064 3086692208 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1565.86
Current children cumulated vsize (KiB) 244220

[startup+582.313 s]
/proc/loadavg: 3.00 3.00 3.00 4/104 21685
/proc/meminfo: memFree=2872704/3368532 swapFree=1953580/1959888
[pid=19976] ppid=19974 vsize=260836 CPUtime=1745.82
/proc/19976/stat : 19976 (satake) S 19974 19976 21929 0 -1 4202496 64943 0 0 0 174369 213 0 0 18 0 5 0 1129716373 267096064 62273 4294967295 134512640 135180984 3212852064 3212851500 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/19976/statm: 65209 62273 68 164 0 65044 0
[pid=19976/tid=19977] ppid=19974 vsize=260836 CPUtime=0.86
/proc/19976/task/19977/stat : 19977 (satake) S 19974 19976 21929 0 -1 4202560 362 0 0 0 20 66 0 0 16 0 5 0 1129716373 267096064 62273 4294967295 134512640 135180984 3212852064 3086888976 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=19976/tid=19978] ppid=19974 vsize=260836 CPUtime=581.2
/proc/19976/task/19978/stat : 19978 (satake) R 19974 19976 21929 0 -1 4202560 21366 0 0 0 58087 33 0 0 25 0 5 0 1129716373 267096064 62273 4294967295 134512640 135180984 3212852064 3086823280 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19976/tid=19979] ppid=19974 vsize=260836 CPUtime=582.12
/proc/19976/task/19979/stat : 19979 (satake) R 19974 19976 21929 0 -1 4202560 18853 0 0 0 58184 28 0 0 25 0 5 0 1129716373 267096064 62273 4294967295 134512640 135180984 3212852064 3086757744 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19976/tid=19980] ppid=19974 vsize=260836 CPUtime=581.65
/proc/19976/task/19980/stat : 19980 (satake) R 19974 19976 21929 0 -1 4202560 24252 0 0 0 58079 86 0 0 25 0 5 0 1129716373 267096064 62273 4294967295 134512640 135180984 3212852064 3086692208 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1745.82
Current children cumulated vsize (KiB) 260836

[startup+642.307 s]
/proc/loadavg: 3.00 3.00 3.00 4/104 21874
/proc/meminfo: memFree=2858932/3368532 swapFree=1953580/1959888
[pid=19976] ppid=19974 vsize=274208 CPUtime=1925.74
/proc/19976/stat : 19976 (satake) S 19974 19976 21929 0 -1 4202496 68315 0 0 0 192348 226 0 0 18 0 5 0 1129716373 280788992 65645 4294967295 134512640 135180984 3212852064 3212851500 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/19976/statm: 68552 65645 68 164 0 68387 0
[pid=19976/tid=19977] ppid=19974 vsize=274208 CPUtime=0.9
/proc/19976/task/19977/stat : 19977 (satake) S 19974 19976 21929 0 -1 4202560 391 0 0 0 24 66 0 0 15 0 5 0 1129716373 280788992 65645 4294967295 134512640 135180984 3212852064 3086888976 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=19976/tid=19978] ppid=19974 vsize=274208 CPUtime=641.14
/proc/19976/task/19978/stat : 19978 (satake) R 19974 19976 21929 0 -1 4202560 22491 0 0 0 64079 35 0 0 25 0 5 0 1129716373 280788992 65645 4294967295 134512640 135180984 3212852064 3086823280 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19976/tid=19979] ppid=19974 vsize=274208 CPUtime=642.11
/proc/19976/task/19979/stat : 19979 (satake) R 19974 19976 21929 0 -1 4202560 19770 0 0 0 64180 31 0 0 25 0 5 0 1129716373 280788992 65645 4294967295 134512640 135180984 3212852064 3086757744 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19976/tid=19980] ppid=19974 vsize=274208 CPUtime=641.59
/proc/19976/task/19980/stat : 19980 (satake) R 19974 19976 21929 0 -1 4202560 25553 0 0 0 64065 94 0 0 25 0 5 0 1129716373 280788992 65645 4294967295 134512640 135180984 3212852064 3086692208 134528641 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1925.74
Current children cumulated vsize (KiB) 274208

[startup+702.312 s]
/proc/loadavg: 3.00 3.00 3.00 4/104 22063
/proc/meminfo: memFree=2846408/3368532 swapFree=1953580/1959888
[pid=19976] ppid=19974 vsize=287152 CPUtime=2105.65
/proc/19976/stat : 19976 (satake) S 19974 19976 21929 0 -1 4202496 71444 0 0 0 210327 238 0 0 18 0 5 0 1129716373 294043648 68774 4294967295 134512640 135180984 3212852064 3212851500 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/19976/statm: 71788 68774 68 164 0 71623 0
[pid=19976/tid=19977] ppid=19974 vsize=287152 CPUtime=0.95
/proc/19976/task/19977/stat : 19977 (satake) S 19974 19976 21929 0 -1 4202560 425 0 0 0 26 69 0 0 15 0 5 0 1129716373 294043648 68774 4294967295 134512640 135180984 3212852064 3086888976 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=19976/tid=19978] ppid=19974 vsize=287152 CPUtime=701.06
/proc/19976/task/19978/stat : 19978 (satake) R 19974 19976 21929 0 -1 4202560 23738 0 0 0 70070 36 0 0 25 0 5 0 1129716373 294043648 68774 4294967295 134512640 135180984 3212852064 3086823280 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19976/tid=19979] ppid=19974 vsize=287152 CPUtime=702.1
/proc/19976/task/19979/stat : 19979 (satake) R 19974 19976 21929 0 -1 4202560 20569 0 0 0 70176 34 0 0 25 0 5 0 1129716373 294043648 68774 4294967295 134512640 135180984 3212852064 3086757744 134528658 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19976/tid=19980] ppid=19974 vsize=287152 CPUtime=701.55
/proc/19976/task/19980/stat : 19980 (satake) R 19974 19976 21929 0 -1 4202560 26602 0 0 0 70056 99 0 0 25 0 5 0 1129716373 294043648 68774 4294967295 134512640 135180984 3212852064 3086692208 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2105.65
Current children cumulated vsize (KiB) 287152

[startup+762.306 s]
/proc/loadavg: 3.00 3.00 3.00 4/104 22251
/proc/meminfo: memFree=2833520/3368532 swapFree=1953580/1959888
[pid=19976] ppid=19974 vsize=300136 CPUtime=2285.46
/proc/19976/stat : 19976 (satake) S 19974 19976 21929 0 -1 4202496 74647 0 0 0 228297 249 0 0 18 0 5 0 1129716373 307339264 71949 4294967295 134512640 135180984 3212852064 3212851500 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/19976/statm: 75034 71949 68 164 0 74869 0
[pid=19976/tid=19977] ppid=19974 vsize=300136 CPUtime=1
/proc/19976/task/19977/stat : 19977 (satake) S 19974 19976 21929 0 -1 4202560 450 0 0 0 27 73 0 0 15 0 5 0 1129716373 307339264 71949 4294967295 134512640 135180984 3212852064 3086888976 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=19976/tid=19978] ppid=19974 vsize=300136 CPUtime=760.99
/proc/19976/task/19978/stat : 19978 (satake) R 19974 19976 21929 0 -1 4202560 24747 0 0 0 76062 37 0 0 25 0 5 0 1129716373 307339264 71949 4294967295 134512640 135180984 3212852064 3086823280 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19976/tid=19979] ppid=19974 vsize=300136 CPUtime=762.09
/proc/19976/task/19979/stat : 19979 (satake) R 19974 19976 21929 0 -1 4202560 21677 0 0 0 76173 36 0 0 25 0 5 0 1129716373 307339264 71949 4294967295 134512640 135180984 3212852064 3086757744 134528652 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19976/tid=19980] ppid=19974 vsize=300136 CPUtime=761.39
/proc/19976/task/19980/stat : 19980 (satake) R 19974 19976 21929 0 -1 4202560 27663 0 0 0 76036 103 0 0 25 0 5 0 1129716373 307339264 71949 4294967295 134512640 135180984 3212852064 3086692208 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2285.46
Current children cumulated vsize (KiB) 300136

[startup+822.31 s]
/proc/loadavg: 3.00 3.00 3.00 4/104 22442
/proc/meminfo: memFree=2824592/3368532 swapFree=1953580/1959888
[pid=19976] ppid=19974 vsize=308672 CPUtime=2465.36
/proc/19976/stat : 19976 (satake) S 19974 19976 21929 0 -1 4202496 76884 0 0 0 246276 260 0 0 18 0 5 0 1129716373 316080128 74186 4294967295 134512640 135180984 3212852064 3212851500 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/19976/statm: 77168 74186 68 164 0 77003 0
[pid=19976/tid=19977] ppid=19974 vsize=308672 CPUtime=1.03
/proc/19976/task/19977/stat : 19977 (satake) S 19974 19976 21929 0 -1 4202560 472 0 0 0 28 75 0 0 15 0 5 0 1129716373 316080128 74186 4294967295 134512640 135180984 3212852064 3086888976 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=19976/tid=19978] ppid=19974 vsize=308672 CPUtime=820.94
/proc/19976/task/19978/stat : 19978 (satake) R 19974 19976 21929 0 -1 4202560 25795 0 0 0 82057 37 0 0 25 0 5 0 1129716373 316080128 74186 4294967295 134512640 135180984 3212852064 3086823280 134528633 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19976/tid=19979] ppid=19974 vsize=308672 CPUtime=822.07
/proc/19976/task/19979/stat : 19979 (satake) R 19974 19976 21929 0 -1 4202560 21979 0 0 0 82170 37 0 0 25 0 5 0 1129716373 316080128 74186 4294967295 134512640 135180984 3212852064 3086757744 134528648 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19976/tid=19980] ppid=19974 vsize=308672 CPUtime=821.33
/proc/19976/task/19980/stat : 19980 (satake) R 19974 19976 21929 0 -1 4202560 28528 0 0 0 82022 111 0 0 25 0 5 0 1129716373 316080128 74186 4294967295 134512640 135180984 3212852064 3086692208 134528628 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2465.36
Current children cumulated vsize (KiB) 308672

[startup+882.314 s]
/proc/loadavg: 3.00 3.00 3.00 4/104 22631
/proc/meminfo: memFree=2816036/3368532 swapFree=1953580/1959888
[pid=19976] ppid=19974 vsize=318780 CPUtime=2645.23
/proc/19976/stat : 19976 (satake) S 19974 19976 21929 0 -1 4202496 79065 0 0 0 264256 267 0 0 18 0 5 0 1129716373 326430720 76367 4294967295 134512640 135180984 3212852064 3212851500 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/19976/statm: 79695 76367 68 164 0 79530 0
[pid=19976/tid=19977] ppid=19974 vsize=318780 CPUtime=1.04
/proc/19976/task/19977/stat : 19977 (satake) S 19974 19976 21929 0 -1 4202560 474 0 0 0 28 76 0 0 15 0 5 0 1129716373 326430720 76367 4294967295 134512640 135180984 3212852064 3086888976 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=19976/tid=19978] ppid=19974 vsize=318780 CPUtime=880.89
/proc/19976/task/19978/stat : 19978 (satake) R 19974 19976 21929 0 -1 4202560 26861 0 0 0 88052 37 0 0 25 0 5 0 1129716373 326430720 76367 4294967295 134512640 135180984 3212852064 3086823280 134528669 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19976/tid=19979] ppid=19974 vsize=318780 CPUtime=882.03
/proc/19976/task/19979/stat : 19979 (satake) R 19974 19976 21929 0 -1 4202560 22226 0 0 0 88166 37 0 0 25 0 5 0 1129716373 326430720 76367 4294967295 134512640 135180984 3212852064 3086757744 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19976/tid=19980] ppid=19974 vsize=318780 CPUtime=881.28
/proc/19976/task/19980/stat : 19980 (satake) R 19974 19976 21929 0 -1 4202560 29394 0 0 0 88011 117 0 0 25 0 5 0 1129716373 326430720 76367 4294967295 134512640 135180984 3212852064 3086692208 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2645.23
Current children cumulated vsize (KiB) 318780

[startup+942.309 s]
/proc/loadavg: 3.00 3.00 3.00 4/104 22820
/proc/meminfo: memFree=2809084/3368532 swapFree=1953580/1959888
[pid=19976] ppid=19974 vsize=325024 CPUtime=2825.15
/proc/19976/stat : 19976 (satake) S 19974 19976 21929 0 -1 4202496 80863 0 0 0 282239 276 0 0 18 0 5 0 1129716373 332824576 78165 4294967295 134512640 135180984 3212852064 3212851500 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/19976/statm: 81256 78165 68 164 0 81091 0
[pid=19976/tid=19977] ppid=19974 vsize=325024 CPUtime=1.05
/proc/19976/task/19977/stat : 19977 (satake) S 19974 19976 21929 0 -1 4202560 481 0 0 0 28 77 0 0 15 0 5 0 1129716373 332824576 78165 4294967295 134512640 135180984 3212852064 3086888976 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=19976/tid=19978] ppid=19974 vsize=325024 CPUtime=940.85
/proc/19976/task/19978/stat : 19978 (satake) R 19974 19976 21929 0 -1 4202560 27656 0 0 0 94048 37 0 0 25 0 5 0 1129716373 332824576 78165 4294967295 134512640 135180984 3212852064 3086823272 134518214 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19976/tid=19979] ppid=19974 vsize=325024 CPUtime=942.02
/proc/19976/task/19979/stat : 19979 (satake) R 19974 19976 21929 0 -1 4202560 22491 0 0 0 94165 37 0 0 25 0 5 0 1129716373 332824576 78165 4294967295 134512640 135180984 3212852064 3086757744 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19976/tid=19980] ppid=19974 vsize=325024 CPUtime=941.24
/proc/19976/task/19980/stat : 19980 (satake) R 19974 19976 21929 0 -1 4202560 30125 0 0 0 93999 125 0 0 25 0 5 0 1129716373 332824576 78165 4294967295 134512640 135180984 3212852064 3086692208 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2825.15
Current children cumulated vsize (KiB) 325024



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000 s]
/proc/loadavg: 3.00 3.00 3.00 4/104 23006
/proc/meminfo: memFree=2802016/3368532 swapFree=1953580/1959888
[pid=19976] ppid=19974 vsize=334220 CPUtime=2998.13
/proc/19976/stat : 19976 (satake) S 19974 19976 21929 0 -1 4202496 82541 0 0 0 299524 289 0 0 18 0 5 0 1129716373 342241280 79843 4294967295 134512640 135180984 3212852064 3212851500 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/19976/statm: 83555 79843 68 164 0 83390 0
[pid=19976/tid=19977] ppid=19974 vsize=334220 CPUtime=1.06
/proc/19976/task/19977/stat : 19977 (satake) S 19974 19976 21929 0 -1 4202560 483 0 0 0 28 78 0 0 15 0 5 0 1129716373 342241280 79843 4294967295 134512640 135180984 3212852064 3086888976 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=19976/tid=19978] ppid=19974 vsize=334220 CPUtime=998.53
/proc/19976/task/19978/stat : 19978 (satake) R 19974 19976 21929 0 -1 4202560 28541 0 0 0 99815 38 0 0 25 0 5 0 1129716373 342241280 79843 4294967295 134512640 135180984 3212852064 3086823112 134675767 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19976/tid=19979] ppid=19974 vsize=334220 CPUtime=999.71
/proc/19976/task/19979/stat : 19979 (satake) R 19974 19976 21929 0 -1 4202560 22836 0 0 0 99934 37 0 0 25 0 5 0 1129716373 342241280 79843 4294967295 134512640 135180984 3212852064 3086757744 134528655 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19976/tid=19980] ppid=19974 vsize=334220 CPUtime=998.83
/proc/19976/task/19980/stat : 19980 (satake) R 19974 19976 21929 0 -1 4202560 30571 0 0 0 99747 136 0 0 25 0 5 0 1129716373 342241280 79843 4294967295 134512640 135180984 3212852064 3086692208 134528701 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2998.13
Current children cumulated vsize (KiB) 334220

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.04
CPU time (s): 2998.19
CPU user time (s): 2995.29
CPU system time (s): 2.9
CPU usage (%): 299.807
Max. virtual memory (cumulated for all children) (KiB): 334220

deleting IPC queue 13631488
deleting IPC queue 13664257
deleting IPC queue 13697026
deleting IPC queue 13729795
deleting IPC queue 13762564
deleting IPC queue 13795333
deleting IPC queue 13828102
deleting IPC queue 13860871
deleting IPC queue 13893640
deleting IPC queue 13926409
deleting IPC queue 13959178
deleting IPC queue 13991947
deleting IPC queue 14024716
deleting IPC queue 14057485
deleting IPC queue 14090254
deleting IPC queue 14123023

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2995.29
system time used= 2.9
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82541
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= 194713
involuntary context switches= 222716

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 04:28:39
IDJOB=1780855
IDBENCH=71074
IDSOLVER=629
FILE ID=/1780855-1243650519
PBS_JOBID=
Free space on /tmp= 15882 MiB

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

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

MD5SUM BENCH= 238f1788225c41f1f5779700e39b5833
RANDOM SEED= 264566183

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.105
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.105
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.105
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.105
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:       3120472 kB
Buffers:         38480 kB
Cached:         131296 kB
SwapCached:       2424 kB
Active:          96704 kB
Inactive:        83624 kB
HighTotal:     2489216 kB
HighFree:      2345300 kB
LowTotal:       879316 kB
LowFree:        775172 kB
SwapTotal:     1959888 kB
SwapFree:      1953580 kB
Dirty:            4256 kB
Writeback:           0 kB
AnonPages:        9640 kB
Mapped:           4984 kB
Slab:            57596 kB
SReclaimable:    49472 kB
SUnreclaim:       8124 kB
PageTables:        508 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    93564 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15882 MiB
End job on  at 2009-05-30 04:45:22