Trace number 1775575

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) 3000.21 1000.11

General information on the benchmark

Nameindustrial/anbulagan/
hard-sat/partial-10-13-s.cnf
MD5SUMd90571b4b69632567da9d3ebfd25979e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1492.47
Satisfiable
(Un)Satisfiability was proved
Number of variables234673
Number of clauses1071339
Sum of the clauses size2453820
Maximum clause length10
Minimum clause length1
Number of clauses of size 117679
Number of clauses of size 2856659
Number of clauses of size 3153061
Number of clauses of size 44880
Number of clauses of size 519520
Number of clauses of size over 519540

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-1775575-1243630895/watcher-1775575-1243630895 -o /tmp/evaluation-result-1775575-1243630895/solver-1775575-1243630895 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775575-1243630895.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: 0.00 0.00 0.00 3/99 21965
/proc/meminfo: memFree=3176808/3368532 swapFree=1953580/1959888
[pid=21965] ppid=21963 vsize=5264 CPUtime=0.01
/proc/21965/stat : 21965 (satake) S 21963 21965 21929 0 -1 4202496 661 0 0 0 0 1 0 0 18 0 5 0 1127754025 5390336 618 4294967295 134512640 135180984 3218970928 3218970364 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21965/statm: 1316 622 63 164 0 1151 0
[pid=21965/tid=21966] ppid=21963 vsize=5264 CPUtime=0
/proc/21965/task/21966/stat : 21966 (satake) S 21963 21965 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1127754025 5390336 657 4294967295 134512640 135180984 3218970928 3086479376 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=21965/tid=21967] ppid=21963 vsize=5264 CPUtime=0
/proc/21965/task/21967/stat : 21967 (satake) R 21963 21965 21929 0 -1 4202560 588 0 0 0 0 0 0 0 19 0 5 0 1127754025 5390336 662 4294967295 134512640 135180984 3218970928 3086414116 134583077 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21965/tid=21968] ppid=21963 vsize=5264 CPUtime=0
/proc/21965/task/21968/stat : 21968 (satake) R 21963 21965 21929 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 5 0 1127754025 5390336 667 4294967295 134512640 135180984 3218970928 3086349124 134705812 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21965/tid=21969] ppid=21963 vsize=5264 CPUtime=0
/proc/21965/task/21969/stat : 21969 (satake) R 21963 21965 21929 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1127754025 5390336 672 4294967295 134512640 135180984 3218970928 3086283588 134705812 0 0 0 0 0 0 0 -1 3 0 0 0

[startup+0.059788 s]
/proc/loadavg: 0.00 0.00 0.00 3/99 21965
/proc/meminfo: memFree=3176808/3368532 swapFree=1953580/1959888
[pid=21965] ppid=21963 vsize=56916 CPUtime=0.09
/proc/21965/stat : 21965 (satake) S 21963 21965 21929 0 -1 4202496 12588 0 0 0 1 8 0 0 18 0 5 0 1127754025 58281984 12541 4294967295 134512640 135180984 3218970928 3218970364 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21965/statm: 14229 12552 63 164 0 14064 0
[pid=21965/tid=21966] ppid=21963 vsize=56916 CPUtime=0
/proc/21965/task/21966/stat : 21966 (satake) S 21963 21965 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1127754025 58281984 12557 4294967295 134512640 135180984 3218970928 3086479376 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=21965/tid=21967] ppid=21963 vsize=56916 CPUtime=0.04
/proc/21965/task/21967/stat : 21967 (satake) R 21963 21965 21929 0 -1 4202560 5569 0 0 0 1 3 0 0 20 0 5 0 1127754025 58281984 12566 4294967295 134512640 135180984 3218970928 3086414080 134522388 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21965/tid=21968] ppid=21963 vsize=56916 CPUtime=0.02
/proc/21965/task/21968/stat : 21968 (satake) R 21963 21965 21929 0 -1 4202560 3447 0 0 0 0 2 0 0 20 0 5 0 1127754025 58281984 12574 4294967295 134512640 135180984 3218970928 3086348580 134583077 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21965/tid=21969] ppid=21963 vsize=56916 CPUtime=0.02
/proc/21965/task/21969/stat : 21969 (satake) R 21963 21965 21929 0 -1 4202560 3490 0 0 0 0 2 0 0 20 0 5 0 1127754025 58281984 12581 4294967295 134512640 135180984 3218970928 3086283044 134583077 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 56916

[startup+0.109794 s]
/proc/loadavg: 0.00 0.00 0.00 3/99 21965
/proc/meminfo: memFree=3176808/3368532 swapFree=1953580/1959888
[pid=21965] ppid=21963 vsize=74116 CPUtime=0.23
/proc/21965/stat : 21965 (satake) S 21963 21965 21929 0 -1 4202496 18046 0 0 0 11 12 0 0 18 0 5 0 1127754025 75894784 17995 4294967295 134512640 135180984 3218970928 3218970364 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21965/statm: 18529 17997 63 164 0 18364 0
[pid=21965/tid=21966] ppid=21963 vsize=74116 CPUtime=0
/proc/21965/task/21966/stat : 21966 (satake) S 21963 21965 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1127754025 75894784 17997 4294967295 134512640 135180984 3218970928 3086479376 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=21965/tid=21967] ppid=21963 vsize=74116 CPUtime=0.08
/proc/21965/task/21967/stat : 21967 (satake) R 21963 21965 21929 0 -1 4202560 5938 0 0 0 5 3 0 0 19 0 5 0 1127754025 75894784 17997 4294967295 134512640 135180984 3218970928 3086413972 134579745 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21965/tid=21968] ppid=21963 vsize=74116 CPUtime=0.08
/proc/21965/task/21968/stat : 21968 (satake) R 21963 21965 21929 0 -1 4202560 5973 0 0 0 3 5 0 0 19 0 5 0 1127754025 75894784 17998 4294967295 134512640 135180984 3218970928 3086348500 134579745 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21965/tid=21969] ppid=21963 vsize=74116 CPUtime=0.07
/proc/21965/task/21969/stat : 21969 (satake) R 21963 21965 21929 0 -1 4202560 6020 0 0 0 4 3 0 0 20 0 5 0 1127754025 75894784 17998 4294967295 134512640 135180984 3218970928 3086282900 134579745 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 74116

[startup+0.309765 s]
/proc/loadavg: 0.00 0.00 0.00 3/99 21965
/proc/meminfo: memFree=3176808/3368532 swapFree=1953580/1959888
[pid=21965] ppid=21963 vsize=165028 CPUtime=0.79
/proc/21965/stat : 21965 (satake) S 21963 21965 21929 0 -1 4202496 36370 0 0 0 59 20 0 0 18 0 5 0 1127754025 168988672 36319 4294967295 134512640 135180984 3218970928 3218970364 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21965/statm: 41257 36324 63 164 0 41092 0
[pid=21965/tid=21966] ppid=21963 vsize=165028 CPUtime=0
/proc/21965/task/21966/stat : 21966 (satake) S 21963 21965 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1127754025 168988672 36324 4294967295 134512640 135180984 3218970928 3086479376 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=21965/tid=21967] ppid=21963 vsize=165028 CPUtime=0.28
/proc/21965/task/21967/stat : 21967 (satake) R 21963 21965 21929 0 -1 4202560 12177 0 0 0 23 5 0 0 19 0 5 0 1127754025 168988672 36326 4294967295 134512640 135180984 3218970928 3086414128 134535220 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21965/tid=21968] ppid=21963 vsize=165028 CPUtime=0.27
/proc/21965/task/21968/stat : 21968 (satake) R 21963 21965 21929 0 -1 4202560 12065 0 0 0 17 10 0 0 18 0 5 0 1127754025 168988672 36329 4294967295 134512640 135180984 3218970928 3086348544 134522388 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21965/tid=21969] ppid=21963 vsize=165028 CPUtime=0.24
/proc/21965/task/21969/stat : 21969 (satake) D 21963 21965 21929 0 -1 4202560 12020 0 0 0 19 5 0 0 19 0 5 0 1127754025 168988672 36330 4294967295 134512640 135180984 3218970928 3086282832 134702260 0 0 0 0 3223098951 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 165028

[startup+0.70973 s]
/proc/loadavg: 0.00 0.00 0.00 3/99 21965
/proc/meminfo: memFree=3176808/3368532 swapFree=1953580/1959888
[pid=21965] ppid=21963 vsize=201312 CPUtime=1.95
/proc/21965/stat : 21965 (satake) S 21963 21965 21929 0 -1 4202496 45538 0 0 0 160 35 0 0 18 0 5 0 1127754025 206143488 45487 4294967295 134512640 135180984 3218970928 3218970364 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21965/statm: 50328 45488 63 164 0 50163 0
[pid=21965/tid=21966] ppid=21963 vsize=201312 CPUtime=0
/proc/21965/task/21966/stat : 21966 (satake) S 21963 21965 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1127754025 206143488 45488 4294967295 134512640 135180984 3218970928 3086479376 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=21965/tid=21967] ppid=21963 vsize=201312 CPUtime=0.66
/proc/21965/task/21967/stat : 21967 (satake) R 21963 21965 21929 0 -1 4202560 15208 0 0 0 56 10 0 0 17 0 5 0 1127754025 206143488 45489 4294967295 134512640 135180984 3218970928 3086413972 134579745 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21965/tid=21968] ppid=21963 vsize=201312 CPUtime=0.67
/proc/21965/task/21968/stat : 21968 (satake) R 21963 21965 21929 0 -1 4202560 15210 0 0 0 50 17 0 0 17 0 5 0 1127754025 206143488 45490 4294967295 134512640 135180984 3218970928 3086348376 134673472 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21965/tid=21969] ppid=21963 vsize=201312 CPUtime=0.62
/proc/21965/task/21969/stat : 21969 (satake) R 21963 21965 21929 0 -1 4202560 15005 0 0 0 55 7 0 0 17 0 5 0 1127754025 206143488 45490 4294967295 134512640 135180984 3218970928 3086282900 134579745 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 201312

[startup+1.50965 s]
/proc/loadavg: 0.24 0.05 0.02 4/104 21970
/proc/meminfo: memFree=2960264/3368532 swapFree=1953580/1959888
[pid=21965] ppid=21963 vsize=196648 CPUtime=4.34
/proc/21965/stat : 21965 (satake) S 21963 21965 21929 0 -1 4202496 60446 0 0 0 380 54 0 0 18 0 5 0 1127754025 201367552 46049 4294967295 134512640 135180984 3218970928 3218970364 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21965/statm: 49162 46049 66 164 0 48997 0
[pid=21965/tid=21966] ppid=21963 vsize=196648 CPUtime=0.07
/proc/21965/task/21966/stat : 21966 (satake) S 21963 21965 21929 0 -1 4202560 2452 0 0 0 6 1 0 0 18 0 5 0 1127754025 201367552 46049 4294967295 134512640 135180984 3218970928 3086479376 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=21965/tid=21967] ppid=21963 vsize=196648 CPUtime=1.42
/proc/21965/task/21967/stat : 21967 (satake) R 21963 21965 21929 0 -1 4202560 19210 0 0 0 127 15 0 0 16 0 5 0 1127754025 201367552 46049 4294967295 134512640 135180984 3218970928 3086413744 134532454 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21965/tid=21968] ppid=21963 vsize=196648 CPUtime=1.44
/proc/21965/task/21968/stat : 21968 (satake) R 21963 21965 21929 0 -1 4202560 19519 0 0 0 122 22 0 0 16 0 5 0 1127754025 201367552 46049 4294967295 134512640 135180984 3218970928 3086348136 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21965/tid=21969] ppid=21963 vsize=196648 CPUtime=1.41
/proc/21965/task/21969/stat : 21969 (satake) R 21963 21965 21929 0 -1 4202560 19155 0 0 0 126 15 0 0 15 0 5 0 1127754025 201367552 46049 4294967295 134512640 135180984 3218970928 3086282324 134675767 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 196648

[startup+3.10951 s]
/proc/loadavg: 0.24 0.05 0.02 4/104 21971
/proc/meminfo: memFree=2992872/3368532 swapFree=1953580/1959888
[pid=21965] ppid=21963 vsize=196784 CPUtime=9.16
/proc/21965/stat : 21965 (satake) S 21963 21965 21929 0 -1 4202496 60708 0 0 0 856 60 0 0 18 0 5 0 1127754025 201506816 46311 4294967295 134512640 135180984 3218970928 3218970364 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21965/statm: 49196 46311 68 164 0 49031 0
[pid=21965/tid=21966] ppid=21963 vsize=196784 CPUtime=0.09
/proc/21965/task/21966/stat : 21966 (satake) S 21963 21965 21929 0 -1 4202560 2455 0 0 0 6 3 0 0 16 0 5 0 1127754025 201506816 46311 4294967295 134512640 135180984 3218970928 3086479376 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=21965/tid=21967] ppid=21963 vsize=196784 CPUtime=3.02
/proc/21965/task/21967/stat : 21967 (satake) R 21963 21965 21929 0 -1 4202560 19287 0 0 0 286 16 0 0 17 0 5 0 1127754025 201506816 46311 4294967295 134512640 135180984 3218970928 3086413616 134523809 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21965/tid=21968] ppid=21963 vsize=196784 CPUtime=3.04
/proc/21965/task/21968/stat : 21968 (satake) R 21963 21965 21929 0 -1 4202560 19593 0 0 0 282 22 0 0 17 0 5 0 1127754025 201506816 46311 4294967295 134512640 135180984 3218970928 3086348144 134528095 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21965/tid=21969] ppid=21963 vsize=196784 CPUtime=3.01
/proc/21965/task/21969/stat : 21969 (satake) R 21963 21965 21929 0 -1 4202560 19263 0 0 0 283 18 0 0 17 0 5 0 1127754025 201506816 46311 4294967295 134512640 135180984 3218970928 3086282608 134528401 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.16
Current children cumulated vsize (KiB) 196784

[startup+6.3092 s]
/proc/loadavg: 0.24 0.05 0.02 4/104 21972
/proc/meminfo: memFree=2991804/3368532 swapFree=1953580/1959888
[pid=21965] ppid=21963 vsize=198084 CPUtime=18.83
/proc/21965/stat : 21965 (satake) S 21963 21965 21929 0 -1 4202496 60970 0 0 0 1805 78 0 0 18 0 5 0 1127754025 202838016 46573 4294967295 134512640 135180984 3218970928 3218970364 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21965/statm: 49521 46573 68 164 0 49356 0
[pid=21965/tid=21966] ppid=21963 vsize=198084 CPUtime=0.19
/proc/21965/task/21966/stat : 21966 (satake) S 21963 21965 21929 0 -1 4202560 2463 0 0 0 8 11 0 0 16 0 5 0 1127754025 202838016 46573 4294967295 134512640 135180984 3218970928 3086479376 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=21965/tid=21967] ppid=21963 vsize=198084 CPUtime=6.22
/proc/21965/task/21967/stat : 21967 (satake) R 21963 21965 21929 0 -1 4202560 19390 0 0 0 600 22 0 0 24 0 5 0 1127754025 202838016 46573 4294967295 134512640 135180984 3218970928 3086413616 134523644 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21965/tid=21968] ppid=21963 vsize=198084 CPUtime=6.22
/proc/21965/task/21968/stat : 21968 (satake) R 21963 21965 21929 0 -1 4202560 19656 0 0 0 600 22 0 0 24 0 5 0 1127754025 202838016 46573 4294967295 134512640 135180984 3218970928 3086348136 134518235 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21965/tid=21969] ppid=21963 vsize=198084 CPUtime=6.2
/proc/21965/task/21969/stat : 21969 (satake) R 21963 21965 21929 0 -1 4202560 19351 0 0 0 598 22 0 0 24 0 5 0 1127754025 202838016 46573 4294967295 134512640 135180984 3218970928 3086282512 134524655 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.83
Current children cumulated vsize (KiB) 198084

[startup+12.7086 s]
/proc/loadavg: 0.66 0.15 0.05 4/104 21973
/proc/meminfo: memFree=2987656/3368532 swapFree=1953580/1959888
[pid=21965] ppid=21963 vsize=204060 CPUtime=38.18
/proc/21965/stat : 21965 (satake) S 21963 21965 21929 0 -1 4202496 62010 0 0 0 3718 100 0 0 18 0 5 0 1127754025 208957440 47613 4294967295 134512640 135180984 3218970928 3218970364 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21965/statm: 51015 47613 68 164 0 50850 0
[pid=21965/tid=21966] ppid=21963 vsize=204060 CPUtime=0.35
/proc/21965/task/21966/stat : 21966 (satake) S 21963 21965 21929 0 -1 4202560 2471 0 0 0 13 22 0 0 16 0 5 0 1127754025 208957440 47613 4294967295 134512640 135180984 3218970928 3086479376 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=21965/tid=21967] ppid=21963 vsize=204060 CPUtime=12.62
/proc/21965/task/21967/stat : 21967 (satake) R 21963 21965 21929 0 -1 4202560 19664 0 0 0 1235 27 0 0 25 0 5 0 1127754025 208957440 47613 4294967295 134512640 135180984 3218970928 3086413672 134520863 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21965/tid=21968] ppid=21963 vsize=204060 CPUtime=12.62
/proc/21965/task/21968/stat : 21968 (satake) R 21963 21965 21929 0 -1 4202560 20012 0 0 0 1237 25 0 0 25 0 5 0 1127754025 208957440 47613 4294967295 134512640 135180984 3218970928 3086348048 134525183 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21965/tid=21969] ppid=21963 vsize=204060 CPUtime=12.59
/proc/21965/task/21969/stat : 21969 (satake) R 21963 21965 21929 0 -1 4202560 19753 0 0 0 1234 25 0 0 25 0 5 0 1127754025 208957440 47613 4294967295 134512640 135180984 3218970928 3086282608 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 38.18
Current children cumulated vsize (KiB) 204060

[startup+25.5074 s]
/proc/loadavg: 1.02 0.24 0.08 4/104 21973
/proc/meminfo: memFree=2971700/3368532 swapFree=1953580/1959888
[pid=21965] ppid=21963 vsize=219348 CPUtime=76.62
/proc/21965/stat : 21965 (satake) S 21963 21965 21929 0 -1 4202496 66094 0 0 0 7548 114 0 0 18 0 5 0 1127754025 224612352 51697 4294967295 134512640 135180984 3218970928 3218970364 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21965/statm: 54837 51697 68 164 0 54672 0
[pid=21965/tid=21966] ppid=21963 vsize=219348 CPUtime=0.4
/proc/21965/task/21966/stat : 21966 (satake) S 21963 21965 21929 0 -1 4202560 2476 0 0 0 13 27 0 0 16 0 5 0 1127754025 224612352 51697 4294967295 134512640 135180984 3218970928 3086479376 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=21965/tid=21967] ppid=21963 vsize=219348 CPUtime=25.42
/proc/21965/task/21967/stat : 21967 (satake) R 21963 21965 21929 0 -1 4202560 21912 0 0 0 2510 32 0 0 25 0 5 0 1127754025 224612352 51697 4294967295 134512640 135180984 3218970928 3086413680 134519339 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21965/tid=21968] ppid=21963 vsize=219348 CPUtime=25.41
/proc/21965/task/21968/stat : 21968 (satake) R 21963 21965 21929 0 -1 4202560 21185 0 0 0 2514 27 0 0 25 0 5 0 1127754025 224612352 51697 4294967295 134512640 135180984 3218970928 3086348144 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21965/tid=21969] ppid=21963 vsize=219348 CPUtime=25.39
/proc/21965/task/21969/stat : 21969 (satake) R 21963 21965 21929 0 -1 4202560 20411 0 0 0 2512 27 0 0 25 0 5 0 1127754025 224612352 51697 4294967295 134512640 135180984 3218970928 3086282508 134519095 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 76.62
Current children cumulated vsize (KiB) 219348

[startup+51.1049 s]
/proc/loadavg: 1.70 0.46 0.15 4/104 21975
/proc/meminfo: memFree=2943136/3368532 swapFree=1953580/1959888
[pid=21965] ppid=21963 vsize=248216 CPUtime=153.58
/proc/21965/stat : 21965 (satake) S 21963 21965 21929 0 -1 4202496 73161 0 0 0 15209 149 0 0 18 0 5 0 1127754025 254173184 58764 4294967295 134512640 135180984 3218970928 3218970364 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21965/statm: 62054 58764 68 164 0 61889 0
[pid=21965/tid=21966] ppid=21963 vsize=248216 CPUtime=0.61
/proc/21965/task/21966/stat : 21966 (satake) S 21963 21965 21929 0 -1 4202560 2511 0 0 0 20 41 0 0 16 0 5 0 1127754025 254173184 58764 4294967295 134512640 135180984 3218970928 3086479376 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=21965/tid=21967] ppid=21963 vsize=248216 CPUtime=50.99
/proc/21965/task/21967/stat : 21967 (satake) R 21963 21965 21929 0 -1 4202560 24311 0 0 0 5056 43 0 0 25 0 5 0 1127754025 254173184 58764 4294967295 134512640 135180984 3218970928 3086413584 134524757 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21965/tid=21968] ppid=21963 vsize=248216 CPUtime=50.99
/proc/21965/task/21968/stat : 21968 (satake) R 21963 21965 21929 0 -1 4202560 23329 0 0 0 5067 32 0 0 25 0 5 0 1127754025 254173184 58764 4294967295 134512640 135180984 3218970928 3086348016 134522694 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21965/tid=21969] ppid=21963 vsize=248216 CPUtime=50.99
/proc/21965/task/21969/stat : 21969 (satake) R 21963 21965 21929 0 -1 4202560 22900 0 0 0 5067 32 0 0 25 0 5 0 1127754025 254173184 58764 4294967295 134512640 135180984 3218970928 3086282512 134525228 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 153.58
Current children cumulated vsize (KiB) 248216

[startup+102.31 s]
/proc/loadavg: 2.48 0.89 0.32 4/104 22162

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

[pid=21965/tid=21967] ppid=21963 vsize=779560 CPUtime=522.02
/proc/21965/task/21967/stat : 21967 (satake) R 21963 21965 21929 0 -1 4202560 67800 0 0 0 52112 90 0 0 25 0 5 0 1127754025 798269440 191593 4294967295 134512640 135180984 3218970928 3086413672 134520863 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21965/tid=21968] ppid=21963 vsize=779560 CPUtime=521.9
/proc/21965/task/21968/stat : 21968 (satake) R 21963 21965 21929 0 -1 4202560 65021 0 0 0 52105 85 0 0 25 0 5 0 1127754025 798269440 191593 4294967295 134512640 135180984 3218970928 3086348144 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21965/tid=21969] ppid=21963 vsize=779560 CPUtime=522.1
/proc/21965/task/21969/stat : 21969 (satake) R 21963 21965 21929 0 -1 4202560 70474 0 0 0 52134 76 0 0 25 0 5 0 1127754025 798269440 191593 4294967295 134512640 135180984 3218970928 3086282508 134518246 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1567.4
Current children cumulated vsize (KiB) 779560

[startup+582.304 s]
/proc/loadavg: 2.99 2.57 1.38 4/104 23674
/proc/meminfo: memFree=2329392/3368532 swapFree=1953580/1959888
[pid=21965] ppid=21963 vsize=859824 CPUtime=1747.33
/proc/21965/stat : 21965 (satake) S 21963 21965 21929 0 -1 4202496 226177 0 0 0 174359 374 0 0 18 0 5 0 1127754025 880459776 211780 4294967295 134512640 135180984 3218970928 3218970364 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21965/statm: 214956 211780 68 164 0 214791 0
[pid=21965/tid=21966] ppid=21963 vsize=859824 CPUtime=1.44
/proc/21965/task/21966/stat : 21966 (satake) S 21963 21965 21929 0 -1 4202560 2586 0 0 0 34 110 0 0 15 0 5 0 1127754025 880459776 211780 4294967295 134512640 135180984 3218970928 3086479376 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=21965/tid=21967] ppid=21963 vsize=859824 CPUtime=582.01
/proc/21965/task/21967/stat : 21967 (satake) R 21963 21965 21929 0 -1 4202560 76078 0 0 0 58105 96 0 0 25 0 5 0 1127754025 880459776 211780 4294967295 134512640 135180984 3218970928 3086413680 134519339 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21965/tid=21968] ppid=21963 vsize=859824 CPUtime=581.84
/proc/21965/task/21968/stat : 21968 (satake) R 21963 21965 21929 0 -1 4202560 70369 0 0 0 58096 88 0 0 25 0 5 0 1127754025 880459776 211780 4294967295 134512640 135180984 3218970928 3086348048 134524606 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21965/tid=21969] ppid=21963 vsize=859824 CPUtime=582.04
/proc/21965/task/21969/stat : 21969 (satake) R 21963 21965 21929 0 -1 4202560 77034 0 0 0 58125 79 0 0 25 0 5 0 1127754025 880459776 211780 4294967295 134512640 135180984 3218970928 3086282508 134520901 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1747.33
Current children cumulated vsize (KiB) 859824

[startup+642.309 s]
/proc/loadavg: 2.99 2.64 1.48 4/104 23861
/proc/meminfo: memFree=2247332/3368532 swapFree=1953580/1959888
[pid=21965] ppid=21963 vsize=942468 CPUtime=1927.31
/proc/21965/stat : 21965 (satake) S 21963 21965 21929 0 -1 4202496 246540 0 0 0 192349 382 0 0 18 0 5 0 1127754025 965087232 232143 4294967295 134512640 135180984 3218970928 3218970364 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21965/statm: 235617 232143 68 164 0 235452 0
[pid=21965/tid=21966] ppid=21963 vsize=942468 CPUtime=1.45
/proc/21965/task/21966/stat : 21966 (satake) S 21963 21965 21929 0 -1 4202560 2587 0 0 0 34 111 0 0 15 0 5 0 1127754025 965087232 232143 4294967295 134512640 135180984 3218970928 3086479376 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=21965/tid=21967] ppid=21963 vsize=942468 CPUtime=642.02
/proc/21965/task/21967/stat : 21967 (satake) R 21963 21965 21929 0 -1 4202560 84763 0 0 0 64105 97 0 0 25 0 5 0 1127754025 965087232 232143 4294967295 134512640 135180984 3218970928 3086413584 134525190 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21965/tid=21968] ppid=21963 vsize=942468 CPUtime=641.81
/proc/21965/task/21968/stat : 21968 (satake) R 21963 21965 21929 0 -1 4202560 74755 0 0 0 64091 90 0 0 25 0 5 0 1127754025 965087232 232143 4294967295 134512640 135180984 3218970928 3086348048 134525296 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21965/tid=21969] ppid=21963 vsize=942468 CPUtime=642.02
/proc/21965/task/21969/stat : 21969 (satake) R 21963 21965 21929 0 -1 4202560 84325 0 0 0 64119 83 0 0 25 0 5 0 1127754025 965087232 232143 4294967295 134512640 135180984 3218970928 3086282608 134519339 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1927.31
Current children cumulated vsize (KiB) 942468

[startup+702.313 s]
/proc/loadavg: 2.99 2.71 1.58 4/104 24050
/proc/meminfo: memFree=2175060/3368532 swapFree=1953580/1959888
[pid=21965] ppid=21963 vsize=1015116 CPUtime=2107.23
/proc/21965/stat : 21965 (satake) S 21963 21965 21929 0 -1 4202496 264741 0 0 0 210330 393 0 0 18 0 5 0 1127754025 1039478784 250344 4294967295 134512640 135180984 3218970928 3218970364 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21965/statm: 253779 250344 68 164 0 253614 0
[pid=21965/tid=21966] ppid=21963 vsize=1015116 CPUtime=1.45
/proc/21965/task/21966/stat : 21966 (satake) S 21963 21965 21929 0 -1 4202560 2587 0 0 0 34 111 0 0 15 0 5 0 1127754025 1039478784 250344 4294967295 134512640 135180984 3218970928 3086479376 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=21965/tid=21967] ppid=21963 vsize=1015116 CPUtime=701.99
/proc/21965/task/21967/stat : 21967 (satake) R 21963 21965 21929 0 -1 4202560 92435 0 0 0 70101 98 0 0 25 0 5 0 1127754025 1039478784 250344 4294967295 134512640 135180984 3218970928 3086413680 134519339 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21965/tid=21968] ppid=21963 vsize=1015116 CPUtime=701.78
/proc/21965/task/21968/stat : 21968 (satake) R 21963 21965 21929 0 -1 4202560 78560 0 0 0 70085 93 0 0 25 0 5 0 1127754025 1039478784 250344 4294967295 134512640 135180984 3218970928 3086348048 134525198 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21965/tid=21969] ppid=21963 vsize=1015116 CPUtime=702.01
/proc/21965/task/21969/stat : 21969 (satake) R 21963 21965 21929 0 -1 4202560 91049 0 0 0 70111 90 0 0 25 0 5 0 1127754025 1039478784 250344 4294967295 134512640 135180984 3218970928 3086282512 134525473 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2107.23
Current children cumulated vsize (KiB) 1015116

[startup+762.317 s]
/proc/loadavg: 2.99 2.76 1.66 4/104 24239
/proc/meminfo: memFree=2105944/3368532 swapFree=1953580/1959888
[pid=21965] ppid=21963 vsize=1084576 CPUtime=2287.21
/proc/21965/stat : 21965 (satake) S 21963 21965 21929 0 -1 4202496 281868 0 0 0 228319 402 0 0 18 0 5 0 1127754025 1110605824 267471 4294967295 134512640 135180984 3218970928 3218970364 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21965/statm: 271144 267471 68 164 0 270979 0
[pid=21965/tid=21966] ppid=21963 vsize=1084576 CPUtime=1.45
/proc/21965/task/21966/stat : 21966 (satake) S 21963 21965 21929 0 -1 4202560 2588 0 0 0 34 111 0 0 15 0 5 0 1127754025 1110605824 267471 4294967295 134512640 135180984 3218970928 3086479376 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=21965/tid=21967] ppid=21963 vsize=1084576 CPUtime=761.99
/proc/21965/task/21967/stat : 21967 (satake) R 21963 21965 21929 0 -1 4202560 100280 0 0 0 76096 103 0 0 25 0 5 0 1127754025 1110605824 267471 4294967295 134512640 135180984 3218970928 3086413676 134518218 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21965/tid=21968] ppid=21963 vsize=1084576 CPUtime=761.75
/proc/21965/task/21968/stat : 21968 (satake) R 21963 21965 21929 0 -1 4202560 81386 0 0 0 76081 94 0 0 25 0 5 0 1127754025 1110605824 267471 4294967295 134512640 135180984 3218970928 3086348048 134525263 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21965/tid=21969] ppid=21963 vsize=1084576 CPUtime=762.02
/proc/21965/task/21969/stat : 21969 (satake) R 21963 21965 21929 0 -1 4202560 97504 0 0 0 76109 93 0 0 25 0 5 0 1127754025 1110605824 267471 4294967295 134512640 135180984 3218970928 3086282512 134524982 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2287.21
Current children cumulated vsize (KiB) 1084576

[startup+822.311 s]
/proc/loadavg: 2.99 2.80 1.74 4/104 24425
/proc/meminfo: memFree=2037956/3368532 swapFree=1953580/1959888
[pid=21965] ppid=21963 vsize=1153484 CPUtime=2467.16
/proc/21965/stat : 21965 (satake) S 21963 21965 21929 0 -1 4202496 299049 0 0 0 246304 412 0 0 18 0 5 0 1127754025 1181167616 284652 4294967295 134512640 135180984 3218970928 3218970364 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21965/statm: 288371 284652 68 164 0 288206 0
[pid=21965/tid=21966] ppid=21963 vsize=1153484 CPUtime=1.46
/proc/21965/task/21966/stat : 21966 (satake) S 21963 21965 21929 0 -1 4202560 2588 0 0 0 34 112 0 0 15 0 5 0 1127754025 1181167616 284652 4294967295 134512640 135180984 3218970928 3086479376 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=21965/tid=21967] ppid=21963 vsize=1153484 CPUtime=821.99
/proc/21965/task/21967/stat : 21967 (satake) R 21963 21965 21929 0 -1 4202560 108100 0 0 0 82094 105 0 0 25 0 5 0 1127754025 1181167616 284652 4294967295 134512640 135180984 3218970928 3086413576 134520909 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21965/tid=21968] ppid=21963 vsize=1153484 CPUtime=821.7
/proc/21965/task/21968/stat : 21968 (satake) R 21963 21965 21929 0 -1 4202560 84304 0 0 0 82074 96 0 0 25 0 5 0 1127754025 1181167616 284652 4294967295 134512640 135180984 3218970928 3086348144 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21965/tid=21969] ppid=21963 vsize=1153484 CPUtime=822.01
/proc/21965/task/21969/stat : 21969 (satake) R 21963 21965 21929 0 -1 4202560 103947 0 0 0 82103 98 0 0 25 0 5 0 1127754025 1181167616 284652 4294967295 134512640 135180984 3218970928 3086282512 134524655 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2467.16
Current children cumulated vsize (KiB) 1153484

[startup+882.306 s]
/proc/loadavg: 2.99 2.83 1.82 4/104 24613
/proc/meminfo: memFree=1972544/3368532 swapFree=1953580/1959888
[pid=21965] ppid=21963 vsize=1216840 CPUtime=2647.07
/proc/21965/stat : 21965 (satake) S 21963 21965 21929 0 -1 4202496 315107 0 0 0 264279 428 0 0 18 0 5 0 1127754025 1246044160 300710 4294967295 134512640 135180984 3218970928 3218970364 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21965/statm: 304210 300710 68 164 0 304045 0
[pid=21965/tid=21966] ppid=21963 vsize=1216840 CPUtime=1.53
/proc/21965/task/21966/stat : 21966 (satake) S 21963 21965 21929 0 -1 4202560 2592 0 0 0 38 115 0 0 15 0 5 0 1127754025 1246044160 300710 4294967295 134512640 135180984 3218970928 3086479376 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=21965/tid=21967] ppid=21963 vsize=1216840 CPUtime=881.96
/proc/21965/task/21967/stat : 21967 (satake) R 21963 21965 21929 0 -1 4202560 114449 0 0 0 88088 108 0 0 25 0 5 0 1127754025 1246044160 300710 4294967295 134512640 135180984 3218970928 3086413512 134675846 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21965/tid=21968] ppid=21963 vsize=1216840 CPUtime=881.67
/proc/21965/task/21968/stat : 21968 (satake) R 21963 21965 21929 0 -1 4202560 89204 0 0 0 88066 101 0 0 25 0 5 0 1127754025 1246044160 300710 4294967295 134512640 135180984 3218970928 3086348044 134522603 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21965/tid=21969] ppid=21963 vsize=1216840 CPUtime=881.91
/proc/21965/task/21969/stat : 21969 (satake) R 21963 21965 21929 0 -1 4202560 108752 0 0 0 88088 103 0 0 25 0 5 0 1127754025 1246044160 300710 4294967295 134512640 135180984 3218970928 3086282504 134520907 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2647.07
Current children cumulated vsize (KiB) 1216840

[startup+942.31 s]
/proc/loadavg: 2.99 2.86 1.89 4/104 24807
/proc/meminfo: memFree=1906720/3368532 swapFree=1953580/1959888
[pid=21965] ppid=21963 vsize=1284736 CPUtime=2827.01
/proc/21965/stat : 21965 (satake) S 21963 21965 21929 0 -1 4202496 331910 0 0 0 282267 434 0 0 18 0 5 0 1127754025 1315569664 317513 4294967295 134512640 135180984 3218970928 3218970364 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21965/statm: 321184 317513 68 164 0 321019 0
[pid=21965/tid=21966] ppid=21963 vsize=1284736 CPUtime=1.54
/proc/21965/task/21966/stat : 21966 (satake) S 21963 21965 21929 0 -1 4202560 2595 0 0 0 38 116 0 0 15 0 5 0 1127754025 1315569664 317513 4294967295 134512640 135180984 3218970928 3086479376 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=21965/tid=21967] ppid=21963 vsize=1284736 CPUtime=941.95
/proc/21965/task/21967/stat : 21967 (satake) R 21963 21965 21929 0 -1 4202560 120974 0 0 0 94084 111 0 0 25 0 5 0 1127754025 1315569664 317513 4294967295 134512640 135180984 3218970928 3086413680 134519339 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21965/tid=21968] ppid=21963 vsize=1284736 CPUtime=941.65
/proc/21965/task/21968/stat : 21968 (satake) R 21963 21965 21929 0 -1 4202560 94764 0 0 0 94063 102 0 0 25 0 5 0 1127754025 1315569664 317513 4294967295 134512640 135180984 3218970928 3086348136 134518227 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21965/tid=21969] ppid=21963 vsize=1284736 CPUtime=941.87
/proc/21965/task/21969/stat : 21969 (satake) R 21963 21965 21929 0 -1 4202560 113467 0 0 0 94083 104 0 0 25 0 5 0 1127754025 1315569664 317513 4294967295 134512640 135180984 3218970928 3086282508 134518246 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2827.01
Current children cumulated vsize (KiB) 1284736



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 2.99 2.88 1.95 4/104 24996
/proc/meminfo: memFree=1842616/3368532 swapFree=1953580/1959888
[pid=21965] ppid=21963 vsize=1349600 CPUtime=3000.1
/proc/21965/stat : 21965 (satake) S 21963 21965 21929 0 -1 4202496 347763 0 0 0 299565 445 0 0 18 0 5 0 1127754025 1381990400 333366 4294967295 134512640 135180984 3218970928 3218970364 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21965/statm: 337400 333366 68 164 0 337235 0
[pid=21965/tid=21966] ppid=21963 vsize=1349600 CPUtime=1.54
/proc/21965/task/21966/stat : 21966 (satake) S 21963 21965 21929 0 -1 4202560 2597 0 0 0 38 116 0 0 16 0 5 0 1127754025 1381990400 333366 4294967295 134512640 135180984 3218970928 3086479376 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=21965/tid=21967] ppid=21963 vsize=1349600 CPUtime=999.65
/proc/21965/task/21967/stat : 21967 (satake) R 21963 21965 21929 0 -1 4202560 126276 0 0 0 99852 113 0 0 25 0 5 0 1127754025 1381990400 333366 4294967295 134512640 135180984 3218970928 3086413612 134518218 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21965/tid=21968] ppid=21963 vsize=1349600 CPUtime=999.32
/proc/21965/task/21968/stat : 21968 (satake) R 21963 21965 21929 0 -1 4202560 100248 0 0 0 99825 107 0 0 25 0 5 0 1127754025 1381990400 333366 4294967295 134512640 135180984 3218970928 3086348144 134528666 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21965/tid=21969] ppid=21963 vsize=1349600 CPUtime=999.58
/proc/21965/task/21969/stat : 21969 (satake) R 21963 21965 21929 0 -1 4202560 118532 0 0 0 99850 108 0 0 25 0 5 0 1127754025 1381990400 333366 4294967295 134512640 135180984 3218970928 3086282608 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3000.1
Current children cumulated vsize (KiB) 1349600

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.11
CPU time (s): 3000.21
CPU user time (s): 2995.69
CPU system time (s): 4.52
CPU usage (%): 299.988
Max. virtual memory (cumulated for all children) (KiB): 1349600

deleting IPC queue 0
deleting IPC queue 32769
deleting IPC queue 65538
deleting IPC queue 98307
deleting IPC queue 131076
deleting IPC queue 163845
deleting IPC queue 196614
deleting IPC queue 229383
deleting IPC queue 262152
deleting IPC queue 294921
deleting IPC queue 327690
deleting IPC queue 360459
deleting IPC queue 393228
deleting IPC queue 425997
deleting IPC queue 458766
deleting IPC queue 491535

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2995.69
system time used= 4.52
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 347763
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= 103983
involuntary context switches= 15514

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on  at 2009-05-29 23:01:35
IDJOB=1775575
IDBENCH=20353
IDSOLVER=629
FILE ID=/1775575-1243630895
PBS_JOBID=
Free space on /tmp= 15867 MiB

SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT07/industrial/anbulagan/hard-sat/partial-10-13-s.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1775575-1243630895/watcher-1775575-1243630895 -o /tmp/evaluation-result-1775575-1243630895/solver-1775575-1243630895 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775575-1243630895.cnf 4 10000

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

MD5SUM BENCH= d90571b4b69632567da9d3ebfd25979e
RANDOM SEED= 134152140

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:       3178288 kB
Buffers:         37844 kB
Cached:          75424 kB
SwapCached:       2424 kB
Active:         109988 kB
Inactive:        13456 kB
HighTotal:     2489216 kB
HighFree:      2400860 kB
LowTotal:       879316 kB
LowFree:        777428 kB
SwapTotal:     1959888 kB
SwapFree:      1953580 kB
Dirty:           20208 kB
Writeback:           0 kB
AnonPages:        9516 kB
Mapped:           4940 kB
Slab:            57484 kB
SReclaimable:    49252 kB
SUnreclaim:       8232 kB
PageTables:        536 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    93572 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15867 MiB
End job on  at 2009-05-29 23:18:18