Trace number 1778830

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) 2999.99 1000.07

General information on the benchmark

NameAPPLICATIONS/bitverif/
minandmaxor/minandmaxor128.cnf
MD5SUM5b2e2178738883a628728bb1ec39f4a9
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 variables249327
Number of clauses746444
Sum of the clauses size1741700
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2497628
Number of clauses of size 3248814
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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-1778830-1243640521/watcher-1778830-1243640521 -o /tmp/evaluation-result-1778830-1243640521/solver-1778830-1243640521 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1778830-1243640521.cnf 4 10000 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.88 2.99 2.98 5/118 8149
/proc/meminfo: memFree=2991780/3368532 swapFree=1941392/1959888
[pid=8146] ppid=8144 vsize=1096 CPUtime=0
/proc/8146/stat : 8146 (satake) R 8144 8146 11369 0 -1 4202496 110 0 0 0 0 0 0 0 24 0 4 0 1128732000 1122304 67 4294967295 134512640 135180984 3219763696 3219763040 134705812 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/8146/statm: 274 67 54 164 0 109 0
[pid=8146/tid=8147] ppid=8144 vsize=1096 CPUtime=0
/proc/8146/task/8147/stat : 8147 (satake) R 8144 8146 11369 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 1128732000 1122304 67 4294967295 134512640 135180984 3219763696 3086570308 134705812 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8146/tid=8148] ppid=8144 vsize=1096 CPUtime=0
/proc/8146/task/8148/stat : 8148 (satake) R 8144 8146 11369 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 1128732000 1122304 67 4294967295 134512640 135180984 3219763696 3086504772 134705812 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8146/tid=8149] ppid=8144 vsize=1096 CPUtime=0
/proc/8146/task/8149/stat : 8149 (satake) R 8144 8146 11369 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 1128732000 1122304 67 4294967295 134512640 135180984 3219763696 3086439236 134705812 0 0 0 0 0 0 0 -1 3 0 0 0

[startup+0.056783 s]
/proc/loadavg: 2.88 2.99 2.98 5/118 8149
/proc/meminfo: memFree=2991780/3368532 swapFree=1941392/1959888
[pid=8146] ppid=8144 vsize=44744 CPUtime=0.1
/proc/8146/stat : 8146 (satake) S 8144 8146 11369 0 -1 4202496 10575 0 0 0 3 7 0 0 25 0 5 0 1128732000 45817856 10532 4294967295 134512640 135180984 3219763696 3219763132 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8146/statm: 11186 10533 63 164 0 11021 0
[pid=8146/tid=8147] ppid=8144 vsize=44744 CPUtime=0
/proc/8146/task/8147/stat : 8147 (satake) S 8144 8146 11369 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1128732000 45817856 10533 4294967295 134512640 135180984 3219763696 3086569488 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=8146/tid=8148] ppid=8144 vsize=44744 CPUtime=0.06
/proc/8146/task/8148/stat : 8148 (satake) R 8144 8146 11369 0 -1 4202560 3614 0 0 0 2 4 0 0 25 0 5 0 1128732000 45817856 10533 4294967295 134512640 135180984 3219763696 3086504132 134579745 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8146/tid=8149] ppid=8144 vsize=44744 CPUtime=0.02
/proc/8146/task/8149/stat : 8149 (satake) R 8144 8146 11369 0 -1 4202560 3410 0 0 0 1 1 0 0 25 0 5 0 1128732000 45817856 10534 4294967295 134512640 135180984 3219763696 3086438548 134579486 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 44744

[startup+0.1172 s]
/proc/loadavg: 2.88 2.99 2.98 5/118 8149
/proc/meminfo: memFree=2991780/3368532 swapFree=1941392/1959888
[pid=8146] ppid=8144 vsize=58188 CPUtime=0.26
/proc/8146/stat : 8146 (satake) S 8144 8146 11369 0 -1 4202496 13463 0 0 0 18 8 0 0 25 0 5 0 1128732000 59584512 13408 4294967295 134512640 135180984 3219763696 3219763132 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8146/statm: 14547 13409 63 164 0 14382 0
[pid=8146/tid=8147] ppid=8144 vsize=58188 CPUtime=0
/proc/8146/task/8147/stat : 8147 (satake) S 8144 8146 11369 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1128732000 59584512 13409 4294967295 134512640 135180984 3219763696 3086569488 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=8146/tid=8148] ppid=8144 vsize=58188 CPUtime=0.1
/proc/8146/task/8148/stat : 8148 (satake) R 8144 8146 11369 0 -1 4202560 4571 0 0 0 5 5 0 0 25 0 5 0 1128732000 59584512 13409 4294967295 134512640 135180984 3219763696 3086504148 134579745 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8146/tid=8149] ppid=8144 vsize=58188 CPUtime=0.08
/proc/8146/task/8149/stat : 8149 (satake) R 8144 8146 11369 0 -1 4202560 4430 0 0 0 7 1 0 0 25 0 5 0 1128732000 59584512 13409 4294967295 134512640 135180984 3219763696 3086438548 134579486 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 58188

[startup+0.316479 s]
/proc/loadavg: 2.88 2.99 2.98 5/118 8149
/proc/meminfo: memFree=2991780/3368532 swapFree=1941392/1959888
[pid=8146] ppid=8144 vsize=105116 CPUtime=0.85
/proc/8146/stat : 8146 (satake) S 8144 8146 11369 0 -1 4202496 22855 0 0 0 76 9 0 0 25 0 5 0 1128732000 107638784 22800 4294967295 134512640 135180984 3219763696 3219763132 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8146/statm: 26279 22801 63 164 0 26114 0
[pid=8146/tid=8147] ppid=8144 vsize=105116 CPUtime=0
/proc/8146/task/8147/stat : 8147 (satake) S 8144 8146 11369 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1128732000 107638784 22801 4294967295 134512640 135180984 3219763696 3086569488 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=8146/tid=8148] ppid=8144 vsize=105116 CPUtime=0.29
/proc/8146/task/8148/stat : 8148 (satake) R 8144 8146 11369 0 -1 4202560 7765 0 0 0 24 5 0 0 25 0 5 0 1128732000 107638784 22801 4294967295 134512640 135180984 3219763696 3086504024 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8146/tid=8149] ppid=8144 vsize=105116 CPUtime=0.28
/proc/8146/task/8149/stat : 8149 (satake) R 8144 8146 11369 0 -1 4202560 7525 0 0 0 27 1 0 0 25 0 5 0 1128732000 107638784 22803 4294967295 134512640 135180984 3219763696 3086438624 134520027 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 105116

[startup+0.716463 s]
/proc/loadavg: 2.88 2.99 2.98 5/118 8149
/proc/meminfo: memFree=2991780/3368532 swapFree=1941392/1959888
[pid=8146] ppid=8144 vsize=184816 CPUtime=2.05
/proc/8146/stat : 8146 (satake) S 8144 8146 11369 0 -1 4202496 41557 0 0 0 188 17 0 0 25 0 5 0 1128732000 189251584 41502 4294967295 134512640 135180984 3219763696 3219763132 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8146/statm: 46204 41511 63 164 0 46039 0
[pid=8146/tid=8147] ppid=8144 vsize=184816 CPUtime=0
/proc/8146/task/8147/stat : 8147 (satake) S 8144 8146 11369 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1128732000 189251584 41511 4294967295 134512640 135180984 3219763696 3086569488 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=8146/tid=8148] ppid=8144 vsize=184816 CPUtime=0.69
/proc/8146/task/8148/stat : 8148 (satake) R 8144 8146 11369 0 -1 4202560 14104 0 0 0 61 8 0 0 25 0 5 0 1128732000 189251584 41511 4294967295 134512640 135180984 3219763696 3086504084 134579745 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8146/tid=8149] ppid=8144 vsize=184816 CPUtime=0.68
/proc/8146/task/8149/stat : 8149 (satake) R 8144 8146 11369 0 -1 4202560 13859 0 0 0 66 2 0 0 25 0 5 0 1128732000 189251584 41511 4294967295 134512640 135180984 3219763696 3086438736 134513479 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 184816

[startup+1.51643 s]
/proc/loadavg: 2.88 2.99 2.98 4/120 8151
/proc/meminfo: memFree=2827604/3368532 swapFree=1941392/1959888
[pid=8146] ppid=8144 vsize=179572 CPUtime=4.41
/proc/8146/stat : 8146 (satake) S 8144 8146 11369 0 -1 4202496 51351 0 0 0 421 20 0 0 25 0 5 0 1128732000 183881728 41270 4294967295 134512640 135180984 3219763696 3219763132 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8146/statm: 44893 41270 66 164 0 44728 0
[pid=8146/tid=8147] ppid=8144 vsize=179572 CPUtime=0.06
/proc/8146/task/8147/stat : 8147 (satake) S 8144 8146 11369 0 -1 4202560 4292 0 0 0 6 0 0 0 18 0 5 0 1128732000 183881728 41270 4294967295 134512640 135180984 3219763696 3086569488 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=8146/tid=8148] ppid=8144 vsize=179572 CPUtime=1.44
/proc/8146/task/8148/stat : 8148 (satake) R 8144 8146 11369 0 -1 4202560 15638 0 0 0 134 10 0 0 25 0 5 0 1128732000 183881728 41270 4294967295 134512640 135180984 3219763696 3086503852 134518208 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8146/tid=8149] ppid=8144 vsize=179572 CPUtime=1.45
/proc/8146/task/8149/stat : 8149 (satake) R 8144 8146 11369 0 -1 4202560 15624 0 0 0 143 2 0 0 25 0 5 0 1128732000 183881728 41270 4294967295 134512640 135180984 3219763696 3086438192 134523635 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8146/tid=8151] ppid=8144 vsize=179572 CPUtime=1.47
/proc/8146/task/8151/stat : 8151 (satake) R 8144 8146 11369 0 -1 4202560 15686 0 0 0 139 8 0 0 25 0 5 0 1128732002 183881728 41270 4294967295 134512640 135180984 3219763696 3086364520 134519912 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 179572

[startup+3.11637 s]
/proc/loadavg: 2.88 2.99 2.98 4/120 8152
/proc/meminfo: memFree=2825976/3368532 swapFree=1941392/1959888
[pid=8146] ppid=8144 vsize=181332 CPUtime=9.2
/proc/8146/stat : 8146 (satake) S 8144 8146 11369 0 -1 4202496 51952 0 0 0 898 22 0 0 25 0 5 0 1128732000 185683968 41871 4294967295 134512640 135180984 3219763696 3219763132 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8146/statm: 45333 41871 68 164 0 45168 0
[pid=8146/tid=8147] ppid=8144 vsize=181332 CPUtime=0.08
/proc/8146/task/8147/stat : 8147 (satake) S 8144 8146 11369 0 -1 4202560 4295 0 0 0 7 1 0 0 15 0 5 0 1128732000 185683968 41871 4294967295 134512640 135180984 3219763696 3086569488 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=8146/tid=8148] ppid=8144 vsize=181332 CPUtime=3.01
/proc/8146/task/8148/stat : 8148 (satake) R 8144 8146 11369 0 -1 4202560 15934 0 0 0 291 10 0 0 25 0 5 0 1128732000 185683968 41871 4294967295 134512640 135180984 3219763696 3086503792 134528211 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8146/tid=8149] ppid=8144 vsize=181332 CPUtime=3.05
/proc/8146/task/8149/stat : 8149 (satake) R 8144 8146 11369 0 -1 4202560 15820 0 0 0 303 2 0 0 25 0 5 0 1128732000 185683968 41871 4294967295 134512640 135180984 3219763696 3086438192 134523641 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8146/tid=8151] ppid=8144 vsize=181332 CPUtime=3.07
/proc/8146/task/8151/stat : 8151 (satake) R 8144 8146 11369 0 -1 4202560 15792 0 0 0 298 9 0 0 25 0 5 0 1128732002 185683968 41871 4294967295 134512640 135180984 3219763696 3086364432 134524757 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.2
Current children cumulated vsize (KiB) 181332

[startup+6.31624 s]
/proc/loadavg: 2.89 2.99 2.98 4/120 8152
/proc/meminfo: memFree=2824108/3368532 swapFree=1941392/1959888
[pid=8146] ppid=8144 vsize=181468 CPUtime=18.8
/proc/8146/stat : 8146 (satake) S 8144 8146 11369 0 -1 4202496 52165 0 0 0 1851 29 0 0 25 0 5 0 1128732000 185823232 42084 4294967295 134512640 135180984 3219763696 3219763132 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8146/statm: 45367 42084 68 164 0 45202 0
[pid=8146/tid=8147] ppid=8144 vsize=181468 CPUtime=0.12
/proc/8146/task/8147/stat : 8147 (satake) S 8144 8146 11369 0 -1 4202560 4307 0 0 0 7 5 0 0 16 0 5 0 1128732000 185823232 42084 4294967295 134512640 135180984 3219763696 3086569488 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=8146/tid=8148] ppid=8144 vsize=181468 CPUtime=6.17
/proc/8146/task/8148/stat : 8148 (satake) R 8144 8146 11369 0 -1 4202560 16004 0 0 0 605 12 0 0 25 0 5 0 1128732000 185823232 42084 4294967295 134512640 135180984 3219763696 3086503792 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8146/tid=8149] ppid=8144 vsize=181468 CPUtime=6.25
/proc/8146/task/8149/stat : 8149 (satake) R 8144 8146 11369 0 -1 4202560 15906 0 0 0 623 2 0 0 25 0 5 0 1128732000 185823232 42084 4294967295 134512640 135180984 3219763696 3086438256 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8146/tid=8151] ppid=8144 vsize=181468 CPUtime=6.27
/proc/8146/task/8151/stat : 8151 (satake) R 8144 8146 11369 0 -1 4202560 15837 0 0 0 617 10 0 0 25 0 5 0 1128732002 185823232 42084 4294967295 134512640 135180984 3219763696 3086364520 134519916 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.8
Current children cumulated vsize (KiB) 181468

[startup+12.716 s]
/proc/loadavg: 2.90 2.99 2.98 4/120 8335
/proc/meminfo: memFree=2820928/3368532 swapFree=1941392/1959888
[pid=8146] ppid=8144 vsize=183152 CPUtime=37.94
/proc/8146/stat : 8146 (satake) S 8144 8146 11369 0 -1 4202496 52603 0 0 0 3759 35 0 0 25 0 5 0 1128732000 187547648 42522 4294967295 134512640 135180984 3219763696 3219763132 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8146/statm: 45788 42522 68 164 0 45623 0
[pid=8146/tid=8147] ppid=8144 vsize=183152 CPUtime=0.16
/proc/8146/task/8147/stat : 8147 (satake) S 8144 8146 11369 0 -1 4202560 4320 0 0 0 7 9 0 0 16 0 5 0 1128732000 187547648 42522 4294967295 134512640 135180984 3219763696 3086569488 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=8146/tid=8148] ppid=8144 vsize=183152 CPUtime=12.53
/proc/8146/task/8148/stat : 8148 (satake) R 8144 8146 11369 0 -1 4202560 16144 0 0 0 1241 12 0 0 25 0 5 0 1128732000 187547648 42522 4294967295 134512640 135180984 3219763696 3086503784 134519914 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8146/tid=8149] ppid=8144 vsize=183152 CPUtime=12.59
/proc/8146/task/8149/stat : 8149 (satake) R 8144 8146 11369 0 -1 4202560 15978 0 0 0 1257 2 0 0 25 0 5 0 1128732000 187547648 42522 4294967295 134512640 135180984 3219763696 3086438256 134528470 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8146/tid=8151] ppid=8144 vsize=183152 CPUtime=12.67
/proc/8146/task/8151/stat : 8151 (satake) R 8144 8146 11369 0 -1 4202560 16050 0 0 0 1255 12 0 0 25 0 5 0 1128732002 187547648 42522 4294967295 134512640 135180984 3219763696 3086364432 134525499 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 37.94
Current children cumulated vsize (KiB) 183152

[startup+25.5155 s]
/proc/loadavg: 2.92 2.99 2.98 4/120 8336
/proc/meminfo: memFree=2819188/3368532 swapFree=1941392/1959888
[pid=8146] ppid=8144 vsize=185992 CPUtime=76.33
/proc/8146/stat : 8146 (satake) S 8144 8146 11369 0 -1 4202496 53295 0 0 0 7577 56 0 0 25 0 5 0 1128732000 190455808 43214 4294967295 134512640 135180984 3219763696 3219763132 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8146/statm: 46498 43214 68 164 0 46333 0
[pid=8146/tid=8147] ppid=8144 vsize=185992 CPUtime=0.28
/proc/8146/task/8147/stat : 8147 (satake) S 8144 8146 11369 0 -1 4202560 4377 0 0 0 8 20 0 0 16 0 5 0 1128732000 190455808 43214 4294967295 134512640 135180984 3219763696 3086569488 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=8146/tid=8148] ppid=8144 vsize=185992 CPUtime=25.21
/proc/8146/task/8148/stat : 8148 (satake) R 8144 8146 11369 0 -1 4202560 16318 0 0 0 2505 16 0 0 25 0 5 0 1128732000 190455808 43214 4294967295 134512640 135180984 3219763696 3086503792 134528286 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8146/tid=8149] ppid=8144 vsize=185992 CPUtime=25.38
/proc/8146/task/8149/stat : 8149 (satake) R 8144 8146 11369 0 -1 4202560 16149 0 0 0 2533 5 0 0 25 0 5 0 1128732000 190455808 43214 4294967295 134512640 135180984 3219763696 3086438248 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8146/tid=8151] ppid=8144 vsize=185992 CPUtime=25.47
/proc/8146/task/8151/stat : 8151 (satake) R 8144 8146 11369 0 -1 4202560 16340 0 0 0 2532 15 0 0 25 0 5 0 1128732002 190455808 43214 4294967295 134512640 135180984 3219763696 3086364528 134528241 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 76.33
Current children cumulated vsize (KiB) 185992

[startup+51.1145 s]
/proc/loadavg: 2.95 2.99 2.98 4/120 8339
/proc/meminfo: memFree=2812128/3368532 swapFree=1941392/1959888
[pid=8146] ppid=8144 vsize=192484 CPUtime=153.02
/proc/8146/stat : 8146 (satake) S 8144 8146 11369 0 -1 4202496 55156 0 0 0 15204 98 0 0 25 0 5 0 1128732000 197103616 45075 4294967295 134512640 135180984 3219763696 3219763132 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8146/statm: 48121 45075 68 164 0 47956 0
[pid=8146/tid=8147] ppid=8144 vsize=192484 CPUtime=0.52
/proc/8146/task/8147/stat : 8147 (satake) S 8144 8146 11369 0 -1 4202560 4443 0 0 0 15 37 0 0 16 0 5 0 1128732000 197103616 45075 4294967295 134512640 135180984 3219763696 3086569488 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=8146/tid=8148] ppid=8144 vsize=192484 CPUtime=50.57
/proc/8146/task/8148/stat : 8148 (satake) R 8144 8146 11369 0 -1 4202560 16770 0 0 0 5033 24 0 0 25 0 5 0 1128732000 197103616 45075 4294967295 134512640 135180984 3219763696 3086503792 134528211 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8146/tid=8149] ppid=8144 vsize=192484 CPUtime=50.9
/proc/8146/task/8149/stat : 8149 (satake) R 8144 8146 11369 0 -1 4202560 16951 0 0 0 5076 14 0 0 25 0 5 0 1128732000 197103616 45075 4294967295 134512640 135180984 3219763696 3086438248 134520881 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8146/tid=8151] ppid=8144 vsize=192484 CPUtime=51.04
/proc/8146/task/8151/stat : 8151 (satake) R 8144 8146 11369 0 -1 4202560 16881 0 0 0 5081 23 0 0 25 0 5 0 1128732002 197103616 45075 4294967295 134512640 135180984 3219763696 3086364520 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 153.02
Current children cumulated vsize (KiB) 192484

[startup+102.312 s]
/proc/loadavg: 2.98 2.99 2.98 4/120 8525
/proc/meminfo: memFree=2794912/3368532 swapFree=1941392/1959888
[pid=8146] ppid=8144 vsize=210572 CPUtime=306.45
/proc/8146/stat : 8146 (satake) S 8144 8146 11369 0 -1 4202496 59307 0 0 0 30455 190 0 0 25 0 5 0 1128732000 215625728 49226 4294967295 134512640 135180984 3219763696 3219763132 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8146/statm: 52643 49226 68 164 0 52478 0
[pid=8146/tid=8147] ppid=8144 vsize=210572 CPUtime=1.08
/proc/8146/task/8147/stat : 8147 (satake) S 8144 8146 11369 0 -1 4202560 4608 0 0 0 29 79 0 0 15 0 5 0 1128732000 215625728 49226 4294967295 134512640 135180984 3219763696 3086569488 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=8146/tid=8148] ppid=8144 vsize=210572 CPUtime=101.19
/proc/8146/task/8148/stat : 8148 (satake) R 8144 8146 11369 0 -1 4202560 18075 0 0 0 10081 38 0 0 25 0 5 0 1128732000 215625728 49226 4294967295 134512640 135180984 3219763696 3086503792 134528954 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8146/tid=8149] ppid=8144 vsize=210572 CPUtime=102
/proc/8146/task/8149/stat : 8149 (satake) R 8144 8146 11369 0 -1 4202560 17750 0 0 0 10180 20 0 0 25 0 5 0 1128732000 215625728 49226 4294967295 134512640 135180984 3219763696 3086438192 134523851 0 0 0 0 0 0 0 -1 2 0 0 0

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

[pid=8146/tid=8148] ppid=8144 vsize=451820 CPUtime=520.28
/proc/8146/task/8148/stat : 8148 (satake) R 8144 8146 11369 0 -1 4202560 34415 0 0 0 51843 185 0 0 25 0 5 0 1128732000 462663680 109318 4294967295 134512640 135180984 3219763696 3086503784 134520863 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8146/tid=8149] ppid=8144 vsize=451820 CPUtime=521.51
/proc/8146/task/8149/stat : 8149 (satake) R 8144 8146 11369 0 -1 4202560 37708 0 0 0 52000 151 0 0 25 0 5 0 1128732000 462663680 109318 4294967295 134512640 135180984 3219763696 3086438152 134520909 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8146/tid=8151] ppid=8144 vsize=451820 CPUtime=520.86
/proc/8146/task/8151/stat : 8151 (satake) R 8144 8146 11369 0 -1 4202560 41657 0 0 0 51948 138 0 0 25 0 5 0 1128732002 462663680 109318 4294967295 134512640 135180984 3219763696 3086364520 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1566.84
Current children cumulated vsize (KiB) 451820

[startup+582.313 s]
/proc/loadavg: 2.99 2.99 2.98 4/120 10038
/proc/meminfo: memFree=2507288/3368532 swapFree=1941392/1959888
[pid=8146] ppid=8144 vsize=499420 CPUtime=1746.99
/proc/8146/stat : 8146 (satake) S 8144 8146 11369 0 -1 4202496 131331 0 0 0 173846 853 0 0 25 0 5 0 1128732000 511406080 121250 4294967295 134512640 135180984 3219763696 3219763132 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8146/statm: 124855 121250 68 164 0 124690 0
[pid=8146/tid=8147] ppid=8144 vsize=499420 CPUtime=4.48
/proc/8146/task/8147/stat : 8147 (satake) S 8144 8146 11369 0 -1 4202560 5634 0 0 0 114 334 0 0 16 0 5 0 1128732000 511406080 121250 4294967295 134512640 135180984 3219763696 3086569488 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=8146/tid=8148] ppid=8144 vsize=499420 CPUtime=580.19
/proc/8146/task/8148/stat : 8148 (satake) R 8144 8146 11369 0 -1 4202560 38649 0 0 0 57818 201 0 0 25 0 5 0 1128732000 511406080 121250 4294967295 134512640 135180984 3219763696 3086503792 134526240 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8146/tid=8149] ppid=8144 vsize=499420 CPUtime=581.46
/proc/8146/task/8149/stat : 8149 (satake) R 8144 8146 11369 0 -1 4202560 42169 0 0 0 57977 169 0 0 25 0 5 0 1128732000 511406080 121250 4294967295 134512640 135180984 3219763696 3086438256 134528519 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8146/tid=8151] ppid=8144 vsize=499420 CPUtime=580.87
/proc/8146/task/8151/stat : 8151 (satake) R 8144 8146 11369 0 -1 4202560 44768 0 0 0 57938 149 0 0 25 0 5 0 1128732002 511406080 121250 4294967295 134512640 135180984 3219763696 3086364528 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1746.99
Current children cumulated vsize (KiB) 499420

[startup+642.311 s]
/proc/loadavg: 2.99 2.99 2.98 4/120 10227
/proc/meminfo: memFree=2463832/3368532 swapFree=1941392/1959888
[pid=8146] ppid=8144 vsize=542664 CPUtime=1927.09
/proc/8146/stat : 8146 (satake) S 8144 8146 11369 0 -1 4202496 141995 0 0 0 191800 909 0 0 25 0 5 0 1128732000 555687936 131914 4294967295 134512640 135180984 3219763696 3219763132 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8146/statm: 135666 131914 68 164 0 135501 0
[pid=8146/tid=8147] ppid=8144 vsize=542664 CPUtime=4.81
/proc/8146/task/8147/stat : 8147 (satake) S 8144 8146 11369 0 -1 4202560 5707 0 0 0 122 359 0 0 15 0 5 0 1128732000 555687936 131914 4294967295 134512640 135180984 3219763696 3086569488 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=8146/tid=8148] ppid=8144 vsize=542664 CPUtime=640.16
/proc/8146/task/8148/stat : 8148 (satake) R 8144 8146 11369 0 -1 4202560 41942 0 0 0 63800 216 0 0 25 0 5 0 1128732000 555687936 131914 4294967295 134512640 135180984 3219763696 3086503624 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8146/tid=8149] ppid=8144 vsize=542664 CPUtime=641.39
/proc/8146/task/8149/stat : 8149 (satake) R 8144 8146 11369 0 -1 4202560 45465 0 0 0 63959 180 0 0 25 0 5 0 1128732000 555687936 131914 4294967295 134512640 135180984 3219763696 3086438256 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8146/tid=8151] ppid=8144 vsize=542664 CPUtime=640.73
/proc/8146/task/8151/stat : 8151 (satake) R 8144 8146 11369 0 -1 4202560 48770 0 0 0 63919 154 0 0 25 0 5 0 1128732002 555687936 131914 4294967295 134512640 135180984 3219763696 3086364528 134528652 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1927.09
Current children cumulated vsize (KiB) 542664

[startup+702.308 s]
/proc/loadavg: 3.11 3.02 3.00 4/120 10413
/proc/meminfo: memFree=2428712/3368532 swapFree=1941392/1959888
[pid=8146] ppid=8144 vsize=578424 CPUtime=2106.94
/proc/8146/stat : 8146 (satake) S 8144 8146 11369 0 -1 4202496 150857 0 0 0 209730 964 0 0 25 0 5 0 1128732000 592306176 140776 4294967295 134512640 135180984 3219763696 3219763132 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8146/statm: 144606 140776 68 164 0 144441 0
[pid=8146/tid=8147] ppid=8144 vsize=578424 CPUtime=5.13
/proc/8146/task/8147/stat : 8147 (satake) S 8144 8146 11369 0 -1 4202560 5789 0 0 0 133 380 0 0 15 0 5 0 1128732000 592306176 140776 4294967295 134512640 135180984 3219763696 3086569488 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=8146/tid=8148] ppid=8144 vsize=578424 CPUtime=700.07
/proc/8146/task/8148/stat : 8148 (satake) R 8144 8146 11369 0 -1 4202560 44973 0 0 0 69774 233 0 0 25 0 5 0 1128732000 592306176 140776 4294967295 134512640 135180984 3219763696 3086503792 134528084 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8146/tid=8149] ppid=8144 vsize=578424 CPUtime=701.31
/proc/8146/task/8149/stat : 8149 (satake) R 8144 8146 11369 0 -1 4202560 48703 0 0 0 69936 195 0 0 25 0 5 0 1128732000 592306176 140776 4294967295 134512640 135180984 3219763696 3086438160 134525039 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8146/tid=8151] ppid=8144 vsize=578424 CPUtime=700.44
/proc/8146/task/8151/stat : 8151 (satake) R 8144 8146 11369 0 -1 4202560 51281 0 0 0 69888 156 0 0 25 0 5 0 1128732002 592306176 140776 4294967295 134512640 135180984 3219763696 3086364520 134520863 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2106.94
Current children cumulated vsize (KiB) 578424

[startup+762.316 s]
/proc/loadavg: 3.04 3.01 3.00 4/120 10601
/proc/meminfo: memFree=2384952/3368532 swapFree=1941392/1959888
[pid=8146] ppid=8144 vsize=622072 CPUtime=2286.93
/proc/8146/stat : 8146 (satake) S 8144 8146 11369 0 -1 4202496 161568 0 0 0 227677 1016 0 0 25 0 5 0 1128732000 637001728 151487 4294967295 134512640 135180984 3219763696 3219763132 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8146/statm: 155518 151487 68 164 0 155353 0
[pid=8146/tid=8147] ppid=8144 vsize=622072 CPUtime=5.3
/proc/8146/task/8147/stat : 8147 (satake) S 8144 8146 11369 0 -1 4202560 5843 0 0 0 135 395 0 0 15 0 5 0 1128732000 637001728 151487 4294967295 134512640 135180984 3219763696 3086569488 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=8146/tid=8148] ppid=8144 vsize=622072 CPUtime=760.03
/proc/8146/task/8148/stat : 8148 (satake) R 8144 8146 11369 0 -1 4202560 48618 0 0 0 75754 249 0 0 25 0 5 0 1128732000 637001728 151487 4294967295 134512640 135180984 3219763696 3086503792 134528211 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8146/tid=8149] ppid=8144 vsize=622072 CPUtime=761.27
/proc/8146/task/8149/stat : 8149 (satake) R 8144 8146 11369 0 -1 4202560 51929 0 0 0 75919 208 0 0 25 0 5 0 1128732000 637001728 151487 4294967295 134512640 135180984 3219763696 3086438256 134528636 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8146/tid=8151] ppid=8144 vsize=622072 CPUtime=760.34
/proc/8146/task/8151/stat : 8151 (satake) R 8144 8146 11369 0 -1 4202560 55067 0 0 0 75870 164 0 0 25 0 5 0 1128732002 637001728 151487 4294967295 134512640 135180984 3219763696 3086364432 134525183 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2286.93
Current children cumulated vsize (KiB) 622072

[startup+822.314 s]
/proc/loadavg: 3.01 3.01 3.00 4/120 10789
/proc/meminfo: memFree=2345988/3368532 swapFree=1941392/1959888
[pid=8146] ppid=8144 vsize=663460 CPUtime=2466.95
/proc/8146/stat : 8146 (satake) S 8144 8146 11369 0 -1 4202496 171632 0 0 0 245618 1077 0 0 25 0 5 0 1128732000 679383040 161551 4294967295 134512640 135180984 3219763696 3219763132 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8146/statm: 165865 161551 68 164 0 165700 0
[pid=8146/tid=8147] ppid=8144 vsize=663460 CPUtime=5.66
/proc/8146/task/8147/stat : 8147 (satake) S 8144 8146 11369 0 -1 4202560 5914 0 0 0 141 425 0 0 16 0 5 0 1128732000 679383040 161551 4294967295 134512640 135180984 3219763696 3086569488 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=8146/tid=8148] ppid=8144 vsize=663460 CPUtime=819.96
/proc/8146/task/8148/stat : 8148 (satake) R 8144 8146 11369 0 -1 4202560 52312 0 0 0 81734 262 0 0 25 0 5 0 1128732000 679383040 161551 4294967295 134512640 135180984 3219763696 3086503784 134518214 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8146/tid=8149] ppid=8144 vsize=663460 CPUtime=821.16
/proc/8146/task/8149/stat : 8149 (satake) R 8144 8146 11369 0 -1 4202560 55019 0 0 0 81896 220 0 0 25 0 5 0 1128732000 679383040 161551 4294967295 134512640 135180984 3219763696 3086438256 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8146/tid=8151] ppid=8144 vsize=663460 CPUtime=820.18
/proc/8146/task/8151/stat : 8151 (satake) R 8144 8146 11369 0 -1 4202560 58276 0 0 0 81848 170 0 0 25 0 5 0 1128732002 679383040 161551 4294967295 134512640 135180984 3219763696 3086364528 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2466.95
Current children cumulated vsize (KiB) 663460

[startup+882.301 s]
/proc/loadavg: 3.07 3.02 3.00 4/120 10977
/proc/meminfo: memFree=2306432/3368532 swapFree=1941392/1959888
[pid=8146] ppid=8144 vsize=701580 CPUtime=2647.04
/proc/8146/stat : 8146 (satake) S 8144 8146 11369 0 -1 4202496 181359 0 0 0 263569 1135 0 0 25 0 5 0 1128732000 718417920 171278 4294967295 134512640 135180984 3219763696 3219763132 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8146/statm: 175395 171278 68 164 0 175230 0
[pid=8146/tid=8147] ppid=8144 vsize=701580 CPUtime=5.92
/proc/8146/task/8147/stat : 8147 (satake) S 8144 8146 11369 0 -1 4202560 5978 0 0 0 143 449 0 0 16 0 5 0 1128732000 718417920 171278 4294967295 134512640 135180984 3219763696 3086569488 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=8146/tid=8148] ppid=8144 vsize=701580 CPUtime=879.9
/proc/8146/task/8148/stat : 8148 (satake) R 8144 8146 11369 0 -1 4202560 55660 0 0 0 87718 272 0 0 25 0 5 0 1128732000 718417920 171278 4294967295 134512640 135180984 3219763696 3086503792 134528211 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8146/tid=8149] ppid=8144 vsize=701580 CPUtime=881.07
/proc/8146/task/8149/stat : 8149 (satake) R 8144 8146 11369 0 -1 4202560 58984 0 0 0 87872 235 0 0 25 0 5 0 1128732000 718417920 171278 4294967295 134512640 135180984 3219763696 3086438256 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8146/tid=8151] ppid=8144 vsize=701580 CPUtime=880.16
/proc/8146/task/8151/stat : 8151 (satake) R 8144 8146 11369 0 -1 4202560 60626 0 0 0 87837 179 0 0 25 0 5 0 1128732002 718417920 171278 4294967295 134512640 135180984 3219763696 3086364528 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2647.04
Current children cumulated vsize (KiB) 701580

[startup+942.309 s]
/proc/loadavg: 3.08 3.03 3.00 4/120 11170
/proc/meminfo: memFree=2269636/3368532 swapFree=1941392/1959888
[pid=8146] ppid=8144 vsize=738432 CPUtime=2826.96
/proc/8146/stat : 8146 (satake) S 8144 8146 11369 0 -1 4202496 190444 0 0 0 281524 1172 0 0 25 0 5 0 1128732000 756154368 180363 4294967295 134512640 135180984 3219763696 3219763132 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8146/statm: 184608 180363 68 164 0 184443 0
[pid=8146/tid=8147] ppid=8144 vsize=738432 CPUtime=6.09
/proc/8146/task/8147/stat : 8147 (satake) S 8144 8146 11369 0 -1 4202560 6016 0 0 0 148 461 0 0 15 0 5 0 1128732000 756154368 180363 4294967295 134512640 135180984 3219763696 3086569488 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=8146/tid=8148] ppid=8144 vsize=738432 CPUtime=939.85
/proc/8146/task/8148/stat : 8148 (satake) R 8144 8146 11369 0 -1 4202560 58882 0 0 0 93702 283 0 0 25 0 5 0 1128732000 756154368 180363 4294967295 134512640 135180984 3219763696 3086503696 134524833 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8146/tid=8149] ppid=8144 vsize=738432 CPUtime=941.03
/proc/8146/task/8149/stat : 8149 (satake) R 8144 8146 11369 0 -1 4202560 61990 0 0 0 93859 244 0 0 25 0 5 0 1128732000 756154368 180363 4294967295 134512640 135180984 3219763696 3086438256 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8146/tid=8151] ppid=8144 vsize=738432 CPUtime=940
/proc/8146/task/8151/stat : 8151 (satake) R 8144 8146 11369 0 -1 4202560 63445 0 0 0 93816 184 0 0 25 0 5 0 1128732002 756154368 180363 4294967295 134512640 135180984 3219763696 3086364528 134528680 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2826.96
Current children cumulated vsize (KiB) 738432



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 3.03 3.02 3.00 5/120 11356
/proc/meminfo: memFree=2242836/3368532 swapFree=1941392/1959888
[pid=8146] ppid=8144 vsize=765204 CPUtime=2999.9
/proc/8146/stat : 8146 (satake) S 8144 8146 11369 0 -1 4202496 197231 0 0 0 298792 1198 0 0 25 0 5 0 1128732000 783568896 187150 4294967295 134512640 135180984 3219763696 3219763132 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8146/statm: 191301 187150 68 164 0 191136 0
[pid=8146/tid=8147] ppid=8144 vsize=765204 CPUtime=6.16
/proc/8146/task/8147/stat : 8147 (satake) S 8144 8146 11369 0 -1 4202560 6061 0 0 0 152 464 0 0 15 0 5 0 1128732000 783568896 187150 4294967295 134512640 135180984 3219763696 3086569488 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=8146/tid=8148] ppid=8144 vsize=765204 CPUtime=997.48
/proc/8146/task/8148/stat : 8148 (satake) R 8144 8146 11369 0 -1 4202560 61489 0 0 0 99456 292 0 0 25 0 5 0 1128732000 783568896 187150 4294967295 134512640 135180984 3219763696 3086503792 134528719 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8146/tid=8149] ppid=8144 vsize=765204 CPUtime=998.65
/proc/8146/task/8149/stat : 8149 (satake) R 8144 8146 11369 0 -1 4202560 64064 0 0 0 99611 254 0 0 25 0 5 0 1128732000 783568896 187150 4294967295 134512640 135180984 3219763696 3086438256 134528680 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8146/tid=8151] ppid=8144 vsize=765204 CPUtime=997.61
/proc/8146/task/8151/stat : 8151 (satake) R 8144 8146 11369 0 -1 4202560 65506 0 0 0 99573 188 0 0 25 0 5 0 1128732002 783568896 187150 4294967295 134512640 135180984 3219763696 3086364400 134522714 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2999.9
Current children cumulated vsize (KiB) 765204

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.07
CPU time (s): 2999.99
CPU user time (s): 2987.97
CPU system time (s): 12.02
CPU usage (%): 299.978
Max. virtual memory (cumulated for all children) (KiB): 765204

deleting IPC queue 7864320
deleting IPC queue 7897089
deleting IPC queue 7929858
deleting IPC queue 7962627
deleting IPC queue 7995396
deleting IPC queue 8028165
deleting IPC queue 8060934
deleting IPC queue 8093703
deleting IPC queue 8126472
deleting IPC queue 8159241
deleting IPC queue 8192010
deleting IPC queue 8224779
deleting IPC queue 8257548
deleting IPC queue 8290317
deleting IPC queue 8323086
deleting IPC queue 8355855

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2987.97
system time used= 12.02
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197232
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= 502033
involuntary context switches= 383945

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 01:42:01
IDJOB=1778830
IDBENCH=70769
IDSOLVER=629
FILE ID=/1778830-1243640521
PBS_JOBID=
Free space on /tmp= 15717 MiB

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

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

MD5SUM BENCH= 5b2e2178738883a628728bb1ec39f4a9
RANDOM SEED= 459456302

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:       2991780 kB
Buffers:         48520 kB
Cached:         242360 kB
SwapCached:       4320 kB
Active:         153500 kB
Inactive:       148144 kB
HighTotal:     2489216 kB
HighFree:      2234308 kB
LowTotal:       879316 kB
LowFree:        757472 kB
SwapTotal:     1959888 kB
SwapFree:      1941392 kB
Dirty:           14256 kB
Writeback:           0 kB
AnonPages:        9356 kB
Mapped:           4296 kB
Slab:            64472 kB
SReclaimable:    55888 kB
SUnreclaim:       8584 kB
PageTables:        748 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   127072 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15717 MiB
End job on  at 2009-05-30 01:58:44