Trace number 1779130

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) 1232.78 1000.06

General information on the benchmark

NameAPPLICATIONS/bitverif/countbitsarray/
countbitsarray32_32.cnf
MD5SUMb7a07371a2da4a8c8bef63c213dd1e15
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 variables72202
Number of clauses213533
Sum of the clauses size498241
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2142354
Number of clauses of size 371177
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-1779130-1243642012/watcher-1779130-1243642012 -o /tmp/evaluation-result-1779130-1243642012/solver-1779130-1243642012 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779130-1243642012.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.24 6.30 6.32 8/114 24752
/proc/meminfo: memFree=3090504/3368532 swapFree=1953788/1959888
[pid=24749] ppid=24747 vsize=1092 CPUtime=0
/proc/24749/stat : 24749 (satake) R 24747 24749 23155 0 -1 4202496 109 0 0 0 0 0 0 0 21 0 4 0 1128865304 1118208 66 4294967295 134512640 135180984 3217170288 3217169632 134705812 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24749/statm: 273 66 54 164 0 108 0
[pid=24749/tid=24750] ppid=24747 vsize=1092 CPUtime=0
/proc/24749/task/24750/stat : 24750 (satake) R 24747 24749 23155 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 1128865304 1118208 66 4294967295 134512640 135180984 3217170288 3086435140 134705812 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24749/tid=24751] ppid=24747 vsize=1092 CPUtime=0
/proc/24749/task/24751/stat : 24751 (satake) R 24747 24749 23155 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 1128865304 1118208 66 4294967295 134512640 135180984 3217170288 3086369604 134705812 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24749/tid=24752] ppid=24747 vsize=1092 CPUtime=0
/proc/24749/task/24752/stat : 24752 (satake) R 24747 24749 23155 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 1128865304 1118208 66 4294967295 134512640 135180984 3217170288 3086304068 134705812 0 0 0 0 0 0 0 -1 2 0 0 0

[startup+0.070179 s]
/proc/loadavg: 6.24 6.30 6.32 8/114 24752
/proc/meminfo: memFree=3090504/3368532 swapFree=1953788/1959888
[pid=24749] ppid=24747 vsize=14472 CPUtime=0.07
/proc/24749/stat : 24749 (satake) S 24747 24749 23155 0 -1 4202496 3018 0 0 0 4 3 0 0 21 0 5 0 1128865304 14819328 2971 4294967295 134512640 135180984 3217170288 3217169724 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24749/statm: 3618 2972 63 164 0 3453 0
[pid=24749/tid=24750] ppid=24747 vsize=14472 CPUtime=0
/proc/24749/task/24750/stat : 24750 (satake) S 24747 24749 23155 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 5 0 1128865304 14819328 2972 4294967295 134512640 135180984 3217170288 3086434320 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24749/tid=24751] ppid=24747 vsize=14472 CPUtime=0.01
/proc/24749/task/24751/stat : 24751 (satake) R 24747 24749 23155 0 -1 4202560 914 0 0 0 0 1 0 0 23 0 5 0 1128865304 14819328 2972 4294967295 134512640 135180984 3217170288 3086368916 134579486 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24749/tid=24752] ppid=24747 vsize=14472 CPUtime=0.06
/proc/24749/task/24752/stat : 24752 (satake) R 24747 24749 23155 0 -1 4202560 1988 0 0 0 4 2 0 0 22 0 5 0 1128865304 14819328 2973 4294967295 134512640 135180984 3217170288 3086303320 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14472

[startup+0.110175 s]
/proc/loadavg: 6.24 6.30 6.32 8/114 24752
/proc/meminfo: memFree=3090504/3368532 swapFree=1953788/1959888
[pid=24749] ppid=24747 vsize=18948 CPUtime=0.11
/proc/24749/stat : 24749 (satake) S 24747 24749 23155 0 -1 4202496 3787 0 0 0 8 3 0 0 21 0 5 0 1128865304 19402752 3740 4294967295 134512640 135180984 3217170288 3217169724 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24749/statm: 4737 3740 63 164 0 4572 0
[pid=24749/tid=24750] ppid=24747 vsize=18948 CPUtime=0
/proc/24749/task/24750/stat : 24750 (satake) S 24747 24749 23155 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 5 0 1128865304 19402752 3741 4294967295 134512640 135180984 3217170288 3086434320 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24749/tid=24751] ppid=24747 vsize=18948 CPUtime=0.01
/proc/24749/task/24751/stat : 24751 (satake) R 24747 24749 23155 0 -1 4202560 914 0 0 0 0 1 0 0 23 0 5 0 1128865304 19402752 3741 4294967295 134512640 135180984 3217170288 3086368916 134579486 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24749/tid=24752] ppid=24747 vsize=18948 CPUtime=0.1
/proc/24749/task/24752/stat : 24752 (satake) R 24747 24749 23155 0 -1 4202560 2756 0 0 0 8 2 0 0 22 0 5 0 1128865304 19402752 3741 4294967295 134512640 135180984 3217170288 3086303304 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 18948

[startup+0.31016 s]
/proc/loadavg: 6.24 6.30 6.32 8/114 24752
/proc/meminfo: memFree=3090504/3368532 swapFree=1953788/1959888
[pid=24749] ppid=24747 vsize=46252 CPUtime=0.41
/proc/24749/stat : 24749 (satake) S 24747 24749 23155 0 -1 4202496 10091 0 0 0 36 5 0 0 21 0 5 0 1128865304 47362048 10036 4294967295 134512640 135180984 3217170288 3217169724 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24749/statm: 11563 10037 63 164 0 11398 0
[pid=24749/tid=24750] ppid=24747 vsize=46252 CPUtime=0
/proc/24749/task/24750/stat : 24750 (satake) S 24747 24749 23155 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 5 0 1128865304 47362048 10037 4294967295 134512640 135180984 3217170288 3086434320 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24749/tid=24751] ppid=24747 vsize=46252 CPUtime=0.15
/proc/24749/task/24751/stat : 24751 (satake) R 24747 24749 23155 0 -1 4202560 3588 0 0 0 13 2 0 0 22 0 5 0 1128865304 47362048 10038 4294967295 134512640 135180984 3217170288 3086369024 134522388 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24749/tid=24752] ppid=24747 vsize=46252 CPUtime=0.11
/proc/24749/task/24752/stat : 24752 (satake) R 24747 24749 23155 0 -1 4202560 2960 0 0 0 9 2 0 0 23 0 5 0 1128865304 47362048 10038 4294967295 134512640 135180984 3217170288 3086303428 134579745 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 46252

[startup+0.710127 s]
/proc/loadavg: 6.24 6.30 6.32 8/114 24752
/proc/meminfo: memFree=3090504/3368532 swapFree=1953788/1959888
[pid=24749] ppid=24747 vsize=63964 CPUtime=0.93
/proc/24749/stat : 24749 (satake) S 24747 24749 23155 0 -1 4202496 14415 0 0 0 83 10 0 0 21 0 5 0 1128865304 65499136 11708 4294967295 134512640 135180984 3217170288 3217169724 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24749/statm: 15991 11708 68 164 0 15826 0
[pid=24749/tid=24750] ppid=24747 vsize=63964 CPUtime=0.03
/proc/24749/task/24750/stat : 24750 (satake) S 24747 24749 23155 0 -1 4202560 1282 0 0 0 1 2 0 0 16 0 5 0 1128865304 65499136 11708 4294967295 134512640 135180984 3217170288 3086434324 134580588 0 0 0 0 3223036975 0 0 -1 2 0 0 0
[pid=24749/tid=24751] ppid=24747 vsize=63964 CPUtime=0.41
/proc/24749/task/24751/stat : 24751 (satake) R 24747 24749 23155 0 -1 4202560 4491 0 0 0 38 3 0 0 22 0 5 0 1128865304 65499136 11708 4294967295 134512640 135180984 3217170288 3086368560 134523862 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24749/tid=24752] ppid=24747 vsize=63964 CPUtime=0.22
/proc/24749/task/24752/stat : 24752 (satake) R 24747 24749 23155 0 -1 4202560 4326 0 0 0 19 3 0 0 23 0 5 0 1128865304 65499136 11708 4294967295 134512640 135180984 3217170288 3086303024 134523699 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 63964

[startup+1.51006 s]
/proc/loadavg: 6.24 6.30 6.32 7/116 24754
/proc/meminfo: memFree=3042628/3368532 swapFree=1953788/1959888
[pid=24749] ppid=24747 vsize=63964 CPUtime=2.21
/proc/24749/stat : 24749 (satake) S 24747 24749 23155 0 -1 4202496 14468 0 0 0 205 16 0 0 21 0 5 0 1128865304 65499136 11761 4294967295 134512640 135180984 3217170288 3217169724 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24749/statm: 15991 11761 68 164 0 15826 0
[pid=24749/tid=24750] ppid=24747 vsize=63964 CPUtime=0.08
/proc/24749/task/24750/stat : 24750 (satake) S 24747 24749 23155 0 -1 4202560 1285 0 0 0 4 4 0 0 16 0 5 0 1128865304 65499136 11761 4294967295 134512640 135180984 3217170288 3086434320 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24749/tid=24751] ppid=24747 vsize=63964 CPUtime=0.96
/proc/24749/task/24751/stat : 24751 (satake) R 24747 24749 23155 0 -1 4202560 4521 0 0 0 91 5 0 0 25 0 5 0 1128865304 65499136 11761 4294967295 134512640 135180984 3217170288 3086368428 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24749/tid=24752] ppid=24747 vsize=63964 CPUtime=0.52
/proc/24749/task/24752/stat : 24752 (satake) R 24747 24749 23155 0 -1 4202560 4333 0 0 0 47 5 0 0 25 0 5 0 1128865304 65499136 11761 4294967295 134512640 135180984 3217170288 3086303084 134520854 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24749/tid=24754] ppid=24747 vsize=63964 CPUtime=0.65
/proc/24749/task/24754/stat : 24754 (satake) S 24747 24749 23155 0 -1 4202560 4218 0 0 0 63 2 0 0 25 0 5 0 1128865306 65499136 11761 4294967295 134512640 135180984 3217170288 3086229152 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 63964

[startup+3.10993 s]
/proc/loadavg: 6.30 6.31 6.32 7/116 24754
/proc/meminfo: memFree=3042340/3368532 swapFree=1953788/1959888
[pid=24749] ppid=24747 vsize=64228 CPUtime=5.11
/proc/24749/stat : 24749 (satake) S 24747 24749 23155 0 -1 4202496 14568 0 0 0 489 22 0 0 21 0 5 0 1128865304 65769472 11861 4294967295 134512640 135180984 3217170288 3217169724 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24749/statm: 16057 11861 68 164 0 15892 0
[pid=24749/tid=24750] ppid=24747 vsize=64228 CPUtime=0.14
/proc/24749/task/24750/stat : 24750 (satake) S 24747 24749 23155 0 -1 4202560 1291 0 0 0 7 7 0 0 16 0 5 0 1128865304 65769472 11861 4294967295 134512640 135180984 3217170288 3086434320 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24749/tid=24751] ppid=24747 vsize=64228 CPUtime=1.95
/proc/24749/task/24751/stat : 24751 (satake) R 24747 24749 23155 0 -1 4202560 4549 0 0 0 188 7 0 0 25 0 5 0 1128865304 65769472 11861 4294967295 134512640 135180984 3217170288 3086368624 134528963 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24749/tid=24752] ppid=24747 vsize=64228 CPUtime=1.61
/proc/24749/task/24752/stat : 24752 (satake) R 24747 24749 23155 0 -1 4202560 4365 0 0 0 155 6 0 0 25 0 5 0 1128865304 65769472 11861 4294967295 134512640 135180984 3217170288 3086303104 134518634 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24749/tid=24754] ppid=24747 vsize=64228 CPUtime=1.41
/proc/24749/task/24754/stat : 24754 (satake) R 24747 24749 23155 0 -1 4202560 4252 0 0 0 139 2 0 0 25 0 5 0 1128865306 65769472 11861 4294967295 134512640 135180984 3217170288 3086229152 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.11
Current children cumulated vsize (KiB) 64228

[startup+6.30966 s]
/proc/loadavg: 6.30 6.31 6.32 6/116 24754
/proc/meminfo: memFree=3042124/3368532 swapFree=1953788/1959888
[pid=24749] ppid=24747 vsize=64360 CPUtime=9.3
/proc/24749/stat : 24749 (satake) S 24747 24749 23155 0 -1 4202496 14640 0 0 0 900 30 0 0 21 0 5 0 1128865304 65904640 11933 4294967295 134512640 135180984 3217170288 3217169724 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24749/statm: 16090 11933 68 164 0 15925 0
[pid=24749/tid=24750] ppid=24747 vsize=64360 CPUtime=0.21
/proc/24749/task/24750/stat : 24750 (satake) S 24747 24749 23155 0 -1 4202560 1304 0 0 0 11 10 0 0 15 0 5 0 1128865304 65904640 11933 4294967295 134512640 135180984 3217170288 3086434320 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24749/tid=24751] ppid=24747 vsize=64360 CPUtime=3.18
/proc/24749/task/24751/stat : 24751 (satake) R 24747 24749 23155 0 -1 4202560 4561 0 0 0 311 7 0 0 25 0 5 0 1128865304 65904640 11933 4294967295 134512640 135180984 3217170288 3086368544 134556626 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24749/tid=24752] ppid=24747 vsize=64360 CPUtime=3.06
/proc/24749/task/24752/stat : 24752 (satake) R 24747 24749 23155 0 -1 4202560 4388 0 0 0 296 10 0 0 25 0 5 0 1128865304 65904640 11933 4294967295 134512640 135180984 3217170288 3086302880 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24749/tid=24754] ppid=24747 vsize=64360 CPUtime=2.85
/proc/24749/task/24754/stat : 24754 (satake) R 24747 24749 23155 0 -1 4202560 4276 0 0 0 282 3 0 0 25 0 5 0 1128865306 65904640 11933 4294967295 134512640 135180984 3217170288 3086229360 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9.3
Current children cumulated vsize (KiB) 64360

[startup+12.7091 s]
/proc/loadavg: 6.26 6.30 6.32 7/116 24937
/proc/meminfo: memFree=3039864/3368532 swapFree=1953788/1959888
[pid=24749] ppid=24747 vsize=65224 CPUtime=15.77
/proc/24749/stat : 24749 (satake) S 24747 24749 23155 0 -1 4202496 14905 0 0 0 1528 49 0 0 21 0 5 0 1128865304 66789376 12198 4294967295 134512640 135180984 3217170288 3217169724 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24749/statm: 16306 12198 68 164 0 16141 0
[pid=24749/tid=24750] ppid=24747 vsize=65224 CPUtime=0.4
/proc/24749/task/24750/stat : 24750 (satake) S 24747 24749 23155 0 -1 4202560 1342 0 0 0 17 23 0 0 15 0 5 0 1128865304 66789376 12198 4294967295 134512640 135180984 3217170288 3086434320 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24749/tid=24751] ppid=24747 vsize=65224 CPUtime=5.07
/proc/24749/task/24751/stat : 24751 (satake) R 24747 24749 23155 0 -1 4202560 4632 0 0 0 498 9 0 0 25 0 5 0 1128865304 66789376 12198 4294967295 134512640 135180984 3217170288 3086368416 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24749/tid=24752] ppid=24747 vsize=65224 CPUtime=5.29
/proc/24749/task/24752/stat : 24752 (satake) S 24747 24749 23155 0 -1 4202560 4492 0 0 0 516 13 0 0 25 0 5 0 1128865304 66789376 12198 4294967295 134512640 135180984 3217170288 3086302880 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24749/tid=24754] ppid=24747 vsize=65224 CPUtime=5.01
/proc/24749/task/24754/stat : 24754 (satake) R 24747 24749 23155 0 -1 4202560 4328 0 0 0 497 4 0 0 25 0 5 0 1128865306 66789376 12198 4294967295 134512640 135180984 3217170288 3086229360 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 15.77
Current children cumulated vsize (KiB) 65224

[startup+25.5081 s]
/proc/loadavg: 6.29 6.31 6.32 6/116 24938
/proc/meminfo: memFree=3036264/3368532 swapFree=1953788/1959888
[pid=24749] ppid=24747 vsize=69408 CPUtime=28.98
/proc/24749/stat : 24749 (satake) S 24747 24749 23155 0 -1 4202496 15946 0 0 0 2801 97 0 0 21 0 5 0 1128865304 71073792 13239 4294967295 134512640 135180984 3217170288 3217169724 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24749/statm: 17352 13239 68 164 0 17187 0
[pid=24749/tid=24750] ppid=24747 vsize=69408 CPUtime=0.79
/proc/24749/task/24750/stat : 24750 (satake) S 24747 24749 23155 0 -1 4202560 1546 0 0 0 30 49 0 0 15 0 5 0 1128865304 71073792 13239 4294967295 134512640 135180984 3217170288 3086434320 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24749/tid=24751] ppid=24747 vsize=69408 CPUtime=9.11
/proc/24749/task/24751/stat : 24751 (satake) R 24747 24749 23155 0 -1 4202560 4922 0 0 0 894 17 0 0 25 0 5 0 1128865304 71073792 13239 4294967295 134512640 135180984 3217170288 3086368576 134522995 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24749/tid=24752] ppid=24747 vsize=69408 CPUtime=10.11
/proc/24749/task/24752/stat : 24752 (satake) R 24747 24749 23155 0 -1 4202560 4764 0 0 0 988 23 0 0 25 0 5 0 1128865304 71073792 13239 4294967295 134512640 135180984 3217170288 3086303088 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24749/tid=24754] ppid=24747 vsize=69408 CPUtime=8.97
/proc/24749/task/24754/stat : 24754 (satake) R 24747 24749 23155 0 -1 4202560 4603 0 0 0 889 8 0 0 25 0 5 0 1128865306 71073792 13239 4294967295 134512640 135180984 3217170288 3086229296 134523833 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 28.98
Current children cumulated vsize (KiB) 69408

[startup+51.1159 s]
/proc/loadavg: 6.12 6.26 6.31 7/116 24946
/proc/meminfo: memFree=3025236/3368532 swapFree=1953788/1959888
[pid=24749] ppid=24747 vsize=80880 CPUtime=55.37
/proc/24749/stat : 24749 (satake) S 24747 24749 23155 0 -1 4202496 18833 0 0 0 5324 213 0 0 21 0 5 0 1128865304 82821120 16126 4294967295 134512640 135180984 3217170288 3217169724 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24749/statm: 20220 16126 68 164 0 20055 0
[pid=24749/tid=24750] ppid=24747 vsize=80880 CPUtime=1.8
/proc/24749/task/24750/stat : 24750 (satake) S 24747 24749 23155 0 -1 4202560 2148 0 0 0 72 108 0 0 15 0 5 0 1128865304 82821120 16126 4294967295 134512640 135180984 3217170288 3086434320 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24749/tid=24751] ppid=24747 vsize=80880 CPUtime=17.31
/proc/24749/task/24751/stat : 24751 (satake) R 24747 24749 23155 0 -1 4202560 5659 0 0 0 1695 36 0 0 25 0 5 0 1128865304 82821120 16126 4294967295 134512640 135180984 3217170288 3086368736 134531534 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24749/tid=24752] ppid=24747 vsize=80880 CPUtime=18.81
/proc/24749/task/24752/stat : 24752 (satake) R 24747 24749 23155 0 -1 4202560 5558 0 0 0 1839 42 0 0 25 0 5 0 1128865304 82821120 16126 4294967295 134512640 135180984 3217170288 3086303088 134528583 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24749/tid=24754] ppid=24747 vsize=80880 CPUtime=17.45
/proc/24749/task/24754/stat : 24754 (satake) R 24747 24749 23155 0 -1 4202560 5357 0 0 0 1718 27 0 0 25 0 5 0 1128865306 82821120 16126 4294967295 134512640 135180984 3217170288 3086229472 134531534 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 55.37
Current children cumulated vsize (KiB) 80880

[startup+102.312 s]
/proc/loadavg: 6.49 6.34 6.33 8/116 25131
/proc/meminfo: memFree=3000648/3368532 swapFree=1953788/1959888
[pid=24749] ppid=24747 vsize=106752 CPUtime=108.77
/proc/24749/stat : 24749 (satake) S 24747 24749 23155 0 -1 4202496 25152 0 0 0 10413 464 0 0 21 0 5 0 1128865304 109314048 22445 4294967295 134512640 135180984 3217170288 3217169724 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24749/statm: 26688 22445 68 164 0 26523 0
[pid=24749/tid=24750] ppid=24747 vsize=106752 CPUtime=3.87
/proc/24749/task/24750/stat : 24750 (satake) S 24747 24749 23155 0 -1 4202560 3518 0 0 0 137 250 0 0 15 0 5 0 1128865304 109314048 22445 4294967295 134512640 135180984 3217170288 3086434320 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24749/tid=24751] ppid=24747 vsize=106752 CPUtime=34.73
/proc/24749/task/24751/stat : 24751 (satake) R 24747 24749 23155 0 -1 4202560 7322 0 0 0 3398 75 0 0 25 0 5 0 1128865304 109314048 22445 4294967295 134512640 135180984 3217170288 3086368732 134528001 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24749/tid=24752] ppid=24747 vsize=106752 CPUtime=35.52
/proc/24749/task/24752/stat : 24752 (satake) R 24747 24749 23155 0 -1 4202560 7209 0 0 0 3472 80 0 0 25 0 5 0 1128865304 109314048 22445 4294967295 134512640 135180984 3217170288 3086303104 134518634 0 0 0 0 0 0 0 -1 3 0 0 0

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

[pid=24749/tid=24751] ppid=24747 vsize=250976 CPUtime=214.85
/proc/24749/task/24751/stat : 24751 (satake) R 24747 24749 23155 0 -1 4202560 16888 0 0 0 21135 350 0 0 25 0 5 0 1128865304 256999424 57653 4294967295 134512640 135180984 3217170288 3086368624 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24749/tid=24752] ppid=24747 vsize=250976 CPUtime=192.51
/proc/24749/task/24752/stat : 24752 (satake) R 24747 24749 23155 0 -1 4202560 16031 0 0 0 18837 414 0 0 25 0 5 0 1128865304 256999424 57653 4294967295 134512640 135180984 3217170288 3086303088 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24749/tid=24754] ppid=24747 vsize=250976 CPUtime=214.65
/proc/24749/task/24754/stat : 24754 (satake) R 24747 24749 23155 0 -1 4202560 18129 0 0 0 21102 363 0 0 21 0 5 0 1128865306 256999424 57653 4294967295 134512640 135180984 3217170288 3086229416 134518216 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 641.02
Current children cumulated vsize (KiB) 250976

[startup+582.311 s]
/proc/loadavg: 6.65 6.47 6.36 6/116 26641
/proc/meminfo: memFree=2844016/3368532 swapFree=1953788/1959888
[pid=24749] ppid=24747 vsize=265456 CPUtime=708.26
/proc/24749/stat : 24749 (satake) S 24747 24749 23155 0 -1 4202496 64053 0 0 0 68414 2412 0 0 21 0 5 0 1128865304 271826944 61346 4294967295 134512640 135180984 3217170288 3217169724 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24749/statm: 66364 61346 68 164 0 66199 0
[pid=24749/tid=24750] ppid=24747 vsize=265456 CPUtime=19.51
/proc/24749/task/24750/stat : 24750 (satake) S 24747 24749 23155 0 -1 4202560 9767 0 0 0 700 1251 0 0 15 0 5 0 1128865304 271826944 61346 4294967295 134512640 135180984 3217170288 3086434320 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24749/tid=24751] ppid=24747 vsize=265456 CPUtime=237.49
/proc/24749/task/24751/stat : 24751 (satake) R 24747 24749 23155 0 -1 4202560 18620 0 0 0 23393 356 0 0 25 0 5 0 1128865304 271826944 61346 4294967295 134512640 135180984 3217170288 3086368624 134528546 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24749/tid=24752] ppid=24747 vsize=265456 CPUtime=214.21
/proc/24749/task/24752/stat : 24752 (satake) R 24747 24749 23155 0 -1 4202560 17373 0 0 0 20999 422 0 0 25 0 5 0 1128865304 271826944 61346 4294967295 134512640 135180984 3217170288 3086303088 134528462 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24749/tid=24754] ppid=24747 vsize=265456 CPUtime=237.05
/proc/24749/task/24754/stat : 24754 (satake) R 24747 24749 23155 0 -1 4202560 18182 0 0 0 23322 383 0 0 25 0 5 0 1128865306 271826944 61346 4294967295 134512640 135180984 3217170288 3086229328 134520027 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 708.26
Current children cumulated vsize (KiB) 265456

[startup+642.306 s]
/proc/loadavg: 6.48 6.45 6.36 8/116 26831
/proc/meminfo: memFree=2822376/3368532 swapFree=1953788/1959888
[pid=24749] ppid=24747 vsize=288236 CPUtime=773.59
/proc/24749/stat : 24749 (satake) S 24747 24749 23155 0 -1 4202496 69456 0 0 0 74861 2498 0 0 21 0 5 0 1128865304 295153664 66749 4294967295 134512640 135180984 3217170288 3217169724 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24749/statm: 72059 66749 68 164 0 71894 0
[pid=24749/tid=24750] ppid=24747 vsize=288236 CPUtime=20.15
/proc/24749/task/24750/stat : 24750 (satake) S 24747 24749 23155 0 -1 4202560 10408 0 0 0 718 1297 0 0 15 0 5 0 1128865304 295153664 66749 4294967295 134512640 135180984 3217170288 3086434320 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24749/tid=24751] ppid=24747 vsize=288236 CPUtime=259.38
/proc/24749/task/24751/stat : 24751 (satake) R 24747 24749 23155 0 -1 4202560 20394 0 0 0 25575 363 0 0 25 0 5 0 1128865304 295153664 66749 4294967295 134512640 135180984 3217170288 3086368556 134523868 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24749/tid=24752] ppid=24747 vsize=288236 CPUtime=235.31
/proc/24749/task/24752/stat : 24752 (satake) R 24747 24749 23155 0 -1 4202560 19658 0 0 0 23092 439 0 0 25 0 5 0 1128865304 295153664 66749 4294967295 134512640 135180984 3217170288 3086303088 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24749/tid=24754] ppid=24747 vsize=288236 CPUtime=258.75
/proc/24749/task/24754/stat : 24754 (satake) R 24747 24749 23155 0 -1 4202560 18885 0 0 0 25476 399 0 0 25 0 5 0 1128865306 295153664 66749 4294967295 134512640 135180984 3217170288 3086229356 134518246 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 773.59
Current children cumulated vsize (KiB) 288236

[startup+702.311 s]
/proc/loadavg: 6.65 6.51 6.38 7/116 27018
/proc/meminfo: memFree=2785688/3368532 swapFree=1953788/1959888
[pid=24749] ppid=24747 vsize=324120 CPUtime=880.46
/proc/24749/stat : 24749 (satake) S 24747 24749 23155 0 -1 4202496 78674 0 0 0 85471 2575 0 0 21 0 5 0 1128865304 331898880 75967 4294967295 134512640 135180984 3217170288 3217169724 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24749/statm: 81030 75967 68 164 0 80865 0
[pid=24749/tid=24750] ppid=24747 vsize=324120 CPUtime=20.83
/proc/24749/task/24750/stat : 24750 (satake) S 24747 24749 23155 0 -1 4202560 10948 0 0 0 741 1342 0 0 15 0 5 0 1128865304 331898880 75967 4294967295 134512640 135180984 3217170288 3086434320 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24749/tid=24751] ppid=24747 vsize=324120 CPUtime=296.81
/proc/24749/task/24751/stat : 24751 (satake) R 24747 24749 23155 0 -1 4202560 22658 0 0 0 29309 372 0 0 25 0 5 0 1128865304 331898880 75967 4294967295 134512640 135180984 3217170288 3086368624 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24749/tid=24752] ppid=24747 vsize=324120 CPUtime=268.47
/proc/24749/task/24752/stat : 24752 (satake) R 24747 24749 23155 0 -1 4202560 22027 0 0 0 26397 450 0 0 24 0 5 0 1128865304 331898880 75967 4294967295 134512640 135180984 3217170288 3086302920 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24749/tid=24754] ppid=24747 vsize=324120 CPUtime=294.35
/proc/24749/task/24754/stat : 24754 (satake) R 24747 24749 23155 0 -1 4202560 22930 0 0 0 29024 411 0 0 25 0 5 0 1128865306 331898880 75967 4294967295 134512640 135180984 3217170288 3086229360 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 880.46
Current children cumulated vsize (KiB) 324120

[startup+762.316 s]
/proc/loadavg: 6.91 6.60 6.42 7/116 27206
/proc/meminfo: memFree=2756872/3368532 swapFree=1953788/1959888
[pid=24749] ppid=24747 vsize=353236 CPUtime=952.4
/proc/24749/stat : 24749 (satake) S 24747 24749 23155 0 -1 4202496 85837 0 0 0 92579 2661 0 0 21 0 5 0 1128865304 361713664 83130 4294967295 134512640 135180984 3217170288 3217169724 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24749/statm: 88309 83130 68 164 0 88144 0
[pid=24749/tid=24750] ppid=24747 vsize=353236 CPUtime=21.49
/proc/24749/task/24750/stat : 24750 (satake) S 24747 24749 23155 0 -1 4202560 11637 0 0 0 767 1382 0 0 15 0 5 0 1128865304 361713664 83130 4294967295 134512640 135180984 3217170288 3086434320 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24749/tid=24751] ppid=24747 vsize=353236 CPUtime=321.15
/proc/24749/task/24751/stat : 24751 (satake) R 24747 24749 23155 0 -1 4202560 24728 0 0 0 31725 390 0 0 25 0 5 0 1128865304 361713664 83130 4294967295 134512640 135180984 3217170288 3086368592 134519933 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24749/tid=24752] ppid=24747 vsize=353236 CPUtime=291.91
/proc/24749/task/24752/stat : 24752 (satake) R 24747 24749 23155 0 -1 4202560 24583 0 0 0 28728 463 0 0 25 0 5 0 1128865304 361713664 83130 4294967295 134512640 135180984 3217170288 3086303088 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24749/tid=24754] ppid=24747 vsize=353236 CPUtime=317.85
/proc/24749/task/24754/stat : 24754 (satake) R 24747 24749 23155 0 -1 4202560 24778 0 0 0 31359 426 0 0 25 0 5 0 1128865306 361713664 83130 4294967295 134512640 135180984 3217170288 3086229360 134526032 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 952.4
Current children cumulated vsize (KiB) 353236

[startup+822.311 s]
/proc/loadavg: 6.58 6.55 6.41 8/117 27369
/proc/meminfo: memFree=2730908/3368532 swapFree=1953788/1959888
[pid=24749] ppid=24747 vsize=380076 CPUtime=1019.28
/proc/24749/stat : 24749 (satake) S 24747 24749 23155 0 -1 4202496 92437 0 0 0 99230 2698 0 0 21 0 5 0 1128865304 389197824 89730 4294967295 134512640 135180984 3217170288 3217169724 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24749/statm: 95019 89730 68 164 0 94854 0
[pid=24749/tid=24750] ppid=24747 vsize=380076 CPUtime=21.81
/proc/24749/task/24750/stat : 24750 (satake) S 24747 24749 23155 0 -1 4202560 12013 0 0 0 780 1401 0 0 15 0 5 0 1128865304 389197824 89730 4294967295 134512640 135180984 3217170288 3086434320 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24749/tid=24751] ppid=24747 vsize=380076 CPUtime=344.94
/proc/24749/task/24751/stat : 24751 (satake) R 24747 24749 23155 0 -1 4202560 26144 0 0 0 34100 394 0 0 25 0 5 0 1128865304 389197824 89730 4294967295 134512640 135180984 3217170288 3086368456 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24749/tid=24752] ppid=24747 vsize=380076 CPUtime=314.21
/proc/24749/task/24752/stat : 24752 (satake) R 24747 24749 23155 0 -1 4202560 27555 0 0 0 30951 470 0 0 25 0 5 0 1128865304 389197824 89730 4294967295 134512640 135180984 3217170288 3086303084 134520864 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24749/tid=24754] ppid=24747 vsize=380076 CPUtime=338.32
/proc/24749/task/24754/stat : 24754 (satake) R 24747 24749 23155 0 -1 4202560 26614 0 0 0 33399 433 0 0 25 0 5 0 1128865306 389197824 89730 4294967295 134512640 135180984 3217170288 3086229152 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1019.28
Current children cumulated vsize (KiB) 380076

[startup+882.306 s]
/proc/loadavg: 6.30 6.46 6.39 7/116 27587
/proc/meminfo: memFree=2705632/3368532 swapFree=1953788/1959888
[pid=24749] ppid=24747 vsize=403492 CPUtime=1085.68
/proc/24749/stat : 24749 (satake) S 24747 24749 23155 0 -1 4202496 98553 0 0 0 105801 2767 0 0 21 0 5 0 1128865304 413175808 95846 4294967295 134512640 135180984 3217170288 3217169724 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24749/statm: 100873 95846 68 164 0 100708 0
[pid=24749/tid=24750] ppid=24747 vsize=403492 CPUtime=22.29
/proc/24749/task/24750/stat : 24750 (satake) S 24747 24749 23155 0 -1 4202560 12477 0 0 0 795 1434 0 0 15 0 5 0 1128865304 413175808 95846 4294967295 134512640 135180984 3217170288 3086434324 134580588 0 0 0 0 3223036975 0 0 -1 2 0 0 0
[pid=24749/tid=24751] ppid=24747 vsize=403492 CPUtime=381.28
/proc/24749/task/24751/stat : 24751 (satake) R 24747 24749 23155 0 -1 4202560 28945 0 0 0 37713 415 0 0 15 0 5 0 1128865304 413175808 95846 4294967295 134512640 135180984 3217170288 3086368624 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24749/tid=24752] ppid=24747 vsize=403492 CPUtime=330.82
/proc/24749/task/24752/stat : 24752 (satake) R 24747 24749 23155 0 -1 4202560 29353 0 0 0 32605 477 0 0 25 0 5 0 1128865304 413175808 95846 4294967295 134512640 135180984 3217170288 3086302880 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24749/tid=24754] ppid=24747 vsize=403492 CPUtime=351.29
/proc/24749/task/24754/stat : 24754 (satake) R 24747 24749 23155 0 -1 4202560 27667 0 0 0 34688 441 0 0 25 0 5 0 1128865306 413175808 95846 4294967295 134512640 135180984 3217170288 3086229156 134580588 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1085.68
Current children cumulated vsize (KiB) 403492

[startup+942.311 s]
/proc/loadavg: 6.49 6.46 6.38 7/117 27680
/proc/meminfo: memFree=2700000/3368532 swapFree=1953788/1959888
[pid=24749] ppid=24747 vsize=409020 CPUtime=1157.37
/proc/24749/stat : 24749 (satake) S 24747 24749 23155 0 -1 4202496 100143 0 0 0 112695 3042 0 0 21 0 5 0 1128865304 418836480 97436 4294967295 134512640 135180984 3217170288 3217169724 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24749/statm: 102255 97436 68 164 0 102090 0
[pid=24749/tid=24750] ppid=24747 vsize=409020 CPUtime=24.32
/proc/24749/task/24750/stat : 24750 (satake) S 24747 24749 23155 0 -1 4202560 12728 0 0 0 860 1572 0 0 15 0 5 0 1128865304 418836480 97436 4294967295 134512640 135180984 3217170288 3086434320 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24749/tid=24751] ppid=24747 vsize=409020 CPUtime=406.39
/proc/24749/task/24751/stat : 24751 (satake) R 24747 24749 23155 0 -1 4202560 29431 0 0 0 40177 462 0 0 25 0 5 0 1128865304 418836480 97436 4294967295 134512640 135180984 3217170288 3086368624 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24749/tid=24752] ppid=24747 vsize=409020 CPUtime=359.81
/proc/24749/task/24752/stat : 24752 (satake) R 24747 24749 23155 0 -1 4202560 29638 0 0 0 35462 519 0 0 25 0 5 0 1128865304 418836480 97436 4294967295 134512640 135180984 3217170288 3086303080 134518214 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24749/tid=24754] ppid=24747 vsize=409020 CPUtime=366.85
/proc/24749/task/24754/stat : 24754 (satake) R 24747 24749 23155 0 -1 4202560 28235 0 0 0 36196 489 0 0 25 0 5 0 1128865306 418836480 97436 4294967295 134512640 135180984 3217170288 3086229376 134518786 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1157.37
Current children cumulated vsize (KiB) 409020



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.02 s]
/proc/loadavg: 6.18 6.39 6.36 8/117 27819
/proc/meminfo: memFree=2699000/3368532 swapFree=1953788/1959888
[pid=24749] ppid=24747 vsize=409184 CPUtime=1232.74
/proc/24749/stat : 24749 (satake) S 24747 24749 23155 0 -1 4202496 100253 0 0 0 119690 3584 0 0 21 0 5 0 1128865304 419004416 97546 4294967295 134512640 135180984 3217170288 3217169724 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24749/statm: 102296 97546 68 164 0 102131 0
[pid=24749/tid=24750] ppid=24747 vsize=409184 CPUtime=28.28
/proc/24749/task/24750/stat : 24750 (satake) S 24747 24749 23155 0 -1 4202560 12833 0 0 0 982 1846 0 0 15 0 5 0 1128865304 419004416 97546 4294967295 134512640 135180984 3217170288 3086434320 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24749/tid=24751] ppid=24747 vsize=409184 CPUtime=432.45
/proc/24749/task/24751/stat : 24751 (satake) R 24747 24749 23155 0 -1 4202560 29431 0 0 0 42668 577 0 0 17 0 5 0 1128865304 419004416 97546 4294967295 134512640 135180984 3217170288 3086368624 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24749/tid=24752] ppid=24747 vsize=409184 CPUtime=377.06
/proc/24749/task/24752/stat : 24752 (satake) R 24747 24749 23155 0 -1 4202560 29642 0 0 0 37106 600 0 0 25 0 5 0 1128865304 419004416 97546 4294967295 134512640 135180984 3217170288 3086303088 134528401 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24749/tid=24754] ppid=24747 vsize=409184 CPUtime=394.95
/proc/24749/task/24754/stat : 24754 (satake) R 24747 24749 23155 0 -1 4202560 28236 0 0 0 38934 561 0 0 25 0 5 0 1128865306 419004416 97546 4294967295 134512640 135180984 3217170288 3086229360 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1232.74
Current children cumulated vsize (KiB) 409184

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.06
CPU time (s): 1232.78
CPU user time (s): 1196.92
CPU system time (s): 35.86
CPU usage (%): 123.271
Max. virtual memory (cumulated for all children) (KiB): 409184

deleting IPC queue 6291456
deleting IPC queue 6324225
deleting IPC queue 6356994
deleting IPC queue 6389763
deleting IPC queue 6422532
deleting IPC queue 6455301
deleting IPC queue 6488070
deleting IPC queue 6520839
deleting IPC queue 6553608
deleting IPC queue 6586377
deleting IPC queue 6619146
deleting IPC queue 6651915
deleting IPC queue 6684684
deleting IPC queue 6717453
deleting IPC queue 6750222
deleting IPC queue 6782991

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1196.92
system time used= 35.86
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100253
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= 9652312
involuntary context switches= 9300685

runsolver used 0.01 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 02:06:52
IDJOB=1779130
IDBENCH=70813
IDSOLVER=629
FILE ID=/1779130-1243642012
PBS_JOBID=
Free space on /tmp= 6473 MiB

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

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

MD5SUM BENCH= b7a07371a2da4a8c8bef63c213dd1e15
RANDOM SEED= 1316215709

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:       3090652 kB
Buffers:         70784 kB
Cached:         100576 kB
SwapCached:       2256 kB
Active:         108708 kB
Inactive:        79248 kB
HighTotal:     2489216 kB
HighFree:      2370800 kB
LowTotal:       879316 kB
LowFree:        719852 kB
SwapTotal:     1959888 kB
SwapFree:      1953788 kB
Dirty:            4244 kB
Writeback:           0 kB
AnonPages:       15832 kB
Mapped:           5284 kB
Slab:            80320 kB
SReclaimable:    66816 kB
SUnreclaim:      13504 kB
PageTables:        700 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   112620 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 6473 MiB
End job on  at 2009-05-30 02:23:34