Trace number 1781515

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) 3010.63 1000.05

General information on the benchmark

Namemanol-pipe-c7bidw_i.cnf
MD5SUM3eac71f4fca7132b74d6d27cfa83813f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark134.09
Satisfiable
(Un)Satisfiability was proved
Number of variables131004
Number of clauses387841
Sum of the clauses size904961
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2258560
Number of clauses of size 3129280
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-1781515-1243654742/watcher-1781515-1243654742 -o /tmp/evaluation-result-1781515-1243654742/solver-1781515-1243654742 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781515-1243654742.cnf 4 10000 

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


[startup+0 s]
/proc/loadavg: 3.02 3.02 3.00 3/98 9318
/proc/meminfo: memFree=3062956/3368532 swapFree=1959840/1959888
[pid=9318] ppid=9316 vsize=5264 CPUtime=0
/proc/9318/stat : 9318 (satake) S 9316 9318 30957 0 -1 4202496 653 0 0 0 0 0 0 0 18 0 5 0 947050999 5390336 609 4294967295 134512640 135180984 3215834672 3215834108 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/9318/statm: 1316 613 63 164 0 1151 0
[pid=9318/tid=9319] ppid=9316 vsize=5264 CPUtime=0
/proc/9318/task/9319/stat : 9319 (satake) S 9316 9318 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 947050999 5390336 640 4294967295 134512640 135180984 3215834672 3086815248 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=9318/tid=9320] ppid=9316 vsize=5264 CPUtime=0
/proc/9318/task/9320/stat : 9320 (satake) R 9316 9318 30957 0 -1 4202560 571 0 0 0 0 0 0 0 20 0 5 0 947050999 5390336 645 4294967295 134512640 135180984 3215834672 3086749988 134583077 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=9318/tid=9321] ppid=9316 vsize=5264 CPUtime=0
/proc/9318/task/9321/stat : 9321 (satake) R 9316 9318 30957 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 947050999 5390336 650 4294967295 134512640 135180984 3215834672 3086684996 134705812 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=9318/tid=9322] ppid=9316 vsize=5264 CPUtime=0
/proc/9318/task/9322/stat : 9322 (satake) R 9316 9318 30957 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 947050999 5390336 654 4294967295 134512640 135180984 3215834672 3086619460 134705812 0 0 0 0 0 0 0 -1 1 0 0 0

[startup+0.06712 s]
/proc/loadavg: 3.02 3.02 3.00 3/98 9318
/proc/meminfo: memFree=3062956/3368532 swapFree=1959840/1959888
[pid=9318] ppid=9316 vsize=30884 CPUtime=0.13
/proc/9318/stat : 9318 (satake) S 9316 9318 30957 0 -1 4202496 6969 0 0 0 9 4 0 0 18 0 5 0 947050999 31625216 6911 4294967295 134512640 135180984 3215834672 3215834108 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/9318/statm: 7721 6911 63 164 0 7556 0
[pid=9318/tid=9319] ppid=9316 vsize=30884 CPUtime=0
/proc/9318/task/9319/stat : 9319 (satake) S 9316 9318 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 947050999 31625216 6912 4294967295 134512640 135180984 3215834672 3086815248 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=9318/tid=9320] ppid=9316 vsize=30884 CPUtime=0.06
/proc/9318/task/9320/stat : 9320 (satake) R 9316 9318 30957 0 -1 4202560 2694 0 0 0 4 2 0 0 20 0 5 0 947050999 31625216 6912 4294967295 134512640 135180984 3215834672 3086749844 134579745 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=9318/tid=9321] ppid=9316 vsize=30884 CPUtime=0.04
/proc/9318/task/9321/stat : 9321 (satake) R 9316 9318 30957 0 -1 4202560 2207 0 0 0 3 1 0 0 20 0 5 0 947050999 31625216 6912 4294967295 134512640 135180984 3215834672 3086684356 134579745 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9318/tid=9322] ppid=9316 vsize=30884 CPUtime=0.03
/proc/9318/task/9322/stat : 9322 (satake) R 9316 9318 30957 0 -1 4202560 1951 0 0 0 2 1 0 0 20 0 5 0 947050999 31625216 6913 4294967295 134512640 135180984 3215834672 3086618820 134579745 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 30884

[startup+0.107117 s]
/proc/loadavg: 3.02 3.02 3.00 3/98 9318
/proc/meminfo: memFree=3062956/3368532 swapFree=1959840/1959888
[pid=9318] ppid=9316 vsize=40844 CPUtime=0.25
/proc/9318/stat : 9318 (satake) S 9316 9318 30957 0 -1 4202496 8798 0 0 0 21 4 0 0 18 0 5 0 947050999 41824256 8726 4294967295 134512640 135180984 3215834672 3215834108 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/9318/statm: 10211 8727 63 164 0 10046 0
[pid=9318/tid=9319] ppid=9316 vsize=40844 CPUtime=0
/proc/9318/task/9319/stat : 9319 (satake) S 9316 9318 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 947050999 41824256 8727 4294967295 134512640 135180984 3215834672 3086815248 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=9318/tid=9320] ppid=9316 vsize=40844 CPUtime=0.1
/proc/9318/task/9320/stat : 9320 (satake) R 9316 9318 30957 0 -1 4202560 3251 0 0 0 8 2 0 0 20 0 5 0 947050999 41824256 8729 4294967295 134512640 135180984 3215834672 3086749984 134513610 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=9318/tid=9321] ppid=9316 vsize=40844 CPUtime=0.08
/proc/9318/task/9321/stat : 9321 (satake) R 9316 9318 30957 0 -1 4202560 2799 0 0 0 7 1 0 0 20 0 5 0 947050999 41824256 8729 4294967295 134512640 135180984 3215834672 3086684416 134519336 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9318/tid=9322] ppid=9316 vsize=40844 CPUtime=0.07
/proc/9318/task/9322/stat : 9322 (satake) R 9316 9318 30957 0 -1 4202560 2633 0 0 0 6 1 0 0 20 0 5 0 947050999 41824256 8729 4294967295 134512640 135180984 3215834672 3086618956 134513873 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 40844

[startup+0.3071 s]
/proc/loadavg: 3.02 3.02 3.00 3/98 9318
/proc/meminfo: memFree=3062956/3368532 swapFree=1959840/1959888
[pid=9318] ppid=9316 vsize=86008 CPUtime=0.82
/proc/9318/stat : 9318 (satake) S 9316 9318 30957 0 -1 4202496 18329 0 0 0 73 9 0 0 18 0 5 0 947050999 88072192 18257 4294967295 134512640 135180984 3215834672 3215834108 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/9318/statm: 21502 18258 63 164 0 21337 0
[pid=9318/tid=9319] ppid=9316 vsize=86008 CPUtime=0
/proc/9318/task/9319/stat : 9319 (satake) S 9316 9318 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 947050999 88072192 18258 4294967295 134512640 135180984 3215834672 3086815248 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=9318/tid=9320] ppid=9316 vsize=86008 CPUtime=0.29
/proc/9318/task/9320/stat : 9320 (satake) R 9316 9318 30957 0 -1 4202560 6427 0 0 0 25 4 0 0 19 0 5 0 947050999 88072192 18259 4294967295 134512640 135180984 3215834672 3086749768 134675767 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=9318/tid=9321] ppid=9316 vsize=86008 CPUtime=0.27
/proc/9318/task/9321/stat : 9321 (satake) R 9316 9318 30957 0 -1 4202560 6054 0 0 0 25 2 0 0 19 0 5 0 947050999 88072192 18262 4294967295 134512640 135180984 3215834672 3086684496 134513503 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9318/tid=9322] ppid=9316 vsize=86008 CPUtime=0.26
/proc/9318/task/9322/stat : 9322 (satake) R 9316 9318 30957 0 -1 4202560 5734 0 0 0 23 3 0 0 19 0 5 0 947050999 88072192 18263 4294967295 134512640 135180984 3215834672 3086618696 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 86008

[startup+0.707074 s]
/proc/loadavg: 3.02 3.02 3.00 3/98 9318
/proc/meminfo: memFree=3062956/3368532 swapFree=1959840/1959888
[pid=9318] ppid=9316 vsize=92952 CPUtime=2.02
/proc/9318/stat : 9318 (satake) S 9316 9318 30957 0 -1 4202496 26630 0 0 0 188 14 0 0 18 0 5 0 947050999 95182848 21626 4294967295 134512640 135180984 3215834672 3215834108 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/9318/statm: 23238 21626 68 164 0 23073 0
[pid=9318/tid=9319] ppid=9316 vsize=92952 CPUtime=0.04
/proc/9318/task/9319/stat : 9319 (satake) S 9316 9318 30957 0 -1 4202560 2320 0 0 0 3 1 0 0 16 0 5 0 947050999 95182848 21626 4294967295 134512640 135180984 3215834672 3086815248 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=9318/tid=9320] ppid=9316 vsize=92952 CPUtime=0.66
/proc/9318/task/9320/stat : 9320 (satake) R 9316 9318 30957 0 -1 4202560 7894 0 0 0 61 5 0 0 18 0 5 0 947050999 95182848 21626 4294967295 134512640 135180984 3215834672 3086749488 134523702 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9318/tid=9321] ppid=9316 vsize=92952 CPUtime=0.67
/proc/9318/task/9321/stat : 9321 (satake) R 9316 9318 30957 0 -1 4202560 8156 0 0 0 62 5 0 0 18 0 5 0 947050999 95182848 21626 4294967295 134512640 135180984 3215834672 3086684008 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9318/tid=9322] ppid=9316 vsize=92952 CPUtime=0.65
/proc/9318/task/9322/stat : 9322 (satake) R 9316 9318 30957 0 -1 4202560 8149 0 0 0 62 3 0 0 18 0 5 0 947050999 95182848 21626 4294967295 134512640 135180984 3215834672 3086618480 134528195 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 92952

[startup+1.50701 s]
/proc/loadavg: 3.02 3.02 3.00 4/103 9323
/proc/meminfo: memFree=2976672/3368532 swapFree=1959840/1959888
[pid=9318] ppid=9316 vsize=93084 CPUtime=4.5
/proc/9318/stat : 9318 (satake) S 9316 9318 30957 0 -1 4202496 26772 0 0 0 424 26 0 0 18 0 5 0 947050999 95318016 21768 4294967295 134512640 135180984 3215834672 3215834108 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/9318/statm: 23271 21768 68 164 0 23106 0
[pid=9318/tid=9319] ppid=9316 vsize=93084 CPUtime=0.12
/proc/9318/task/9319/stat : 9319 (satake) S 9316 9318 30957 0 -1 4202560 2329 0 0 0 5 7 0 0 16 0 5 0 947050999 95318016 21768 4294967295 134512640 135180984 3215834672 3086815248 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=9318/tid=9320] ppid=9316 vsize=93084 CPUtime=1.46
/proc/9318/task/9320/stat : 9320 (satake) R 9316 9318 30957 0 -1 4202560 7948 0 0 0 138 8 0 0 19 0 5 0 947050999 95318016 21768 4294967295 134512640 135180984 3215834672 3086749548 134521127 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9318/tid=9321] ppid=9316 vsize=93084 CPUtime=1.47
/proc/9318/task/9321/stat : 9321 (satake) R 9316 9318 30957 0 -1 4202560 8199 0 0 0 142 5 0 0 19 0 5 0 947050999 95318016 21768 4294967295 134512640 135180984 3215834672 3086684032 134518788 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9318/tid=9322] ppid=9316 vsize=93084 CPUtime=1.45
/proc/9318/task/9322/stat : 9322 (satake) R 9316 9318 30957 0 -1 4202560 8185 0 0 0 139 6 0 0 18 0 5 0 947050999 95318016 21768 4294967295 134512640 135180984 3215834672 3086618432 134522790 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.5
Current children cumulated vsize (KiB) 93084

[startup+3.10688 s]
/proc/loadavg: 3.02 3.02 3.00 3/103 9323
/proc/meminfo: memFree=2976576/3368532 swapFree=1959840/1959888
[pid=9318] ppid=9316 vsize=94240 CPUtime=9.41
/proc/9318/stat : 9318 (satake) S 9316 9318 30957 0 -1 4202496 27060 0 0 0 893 48 0 0 18 0 5 0 947050999 96501760 22056 4294967295 134512640 135180984 3215834672 3215834108 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/9318/statm: 23560 22056 68 164 0 23395 0
[pid=9318/tid=9319] ppid=9316 vsize=94240 CPUtime=0.25
/proc/9318/task/9319/stat : 9319 (satake) S 9316 9318 30957 0 -1 4202560 2353 0 0 0 9 16 0 0 16 0 5 0 947050999 96501760 22056 4294967295 134512640 135180984 3215834672 3086815248 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=9318/tid=9320] ppid=9316 vsize=94240 CPUtime=3.06
/proc/9318/task/9320/stat : 9320 (satake) R 9316 9318 30957 0 -1 4202560 8019 0 0 0 291 15 0 0 23 0 5 0 947050999 96501760 22056 4294967295 134512640 135180984 3215834672 3086749568 134518811 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9318/tid=9321] ppid=9316 vsize=94240 CPUtime=3.05
/proc/9318/task/9321/stat : 9321 (satake) R 9316 9318 30957 0 -1 4202560 8312 0 0 0 298 7 0 0 22 0 5 0 947050999 96501760 22056 4294967295 134512640 135180984 3215834672 3086684008 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9318/tid=9322] ppid=9316 vsize=94240 CPUtime=3.05
/proc/9318/task/9322/stat : 9322 (satake) R 9316 9318 30957 0 -1 4202560 8265 0 0 0 295 10 0 0 21 0 5 0 947050999 96501760 22056 4294967295 134512640 135180984 3215834672 3086618472 134518252 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9.41
Current children cumulated vsize (KiB) 94240

[startup+6.30662 s]
/proc/loadavg: 3.10 3.04 3.01 4/103 9323
/proc/meminfo: memFree=2973684/3368532 swapFree=1959840/1959888
[pid=9318] ppid=9316 vsize=98572 CPUtime=19.41
/proc/9318/stat : 9318 (satake) S 9316 9318 30957 0 -1 4202496 28046 0 0 0 1818 123 0 0 18 0 5 0 947050999 100937728 23042 4294967295 134512640 135180984 3215834672 3215834108 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/9318/statm: 24643 23042 68 164 0 24478 0
[pid=9318/tid=9319] ppid=9316 vsize=98572 CPUtime=0.79
/proc/9318/task/9319/stat : 9319 (satake) S 9316 9318 30957 0 -1 4202560 2534 0 0 0 25 54 0 0 16 0 5 0 947050999 100937728 23042 4294967295 134512640 135180984 3215834672 3086815248 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=9318/tid=9320] ppid=9316 vsize=98572 CPUtime=6.19
/proc/9318/task/9320/stat : 9320 (satake) R 9316 9318 30957 0 -1 4202560 8302 0 0 0 596 23 0 0 25 0 5 0 947050999 100937728 23042 4294967295 134512640 135180984 3215834672 3086749552 134528982 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9318/tid=9321] ppid=9316 vsize=98572 CPUtime=6.21
/proc/9318/task/9321/stat : 9321 (satake) R 9316 9318 30957 0 -1 4202560 8583 0 0 0 605 16 0 0 25 0 5 0 947050999 100937728 23042 4294967295 134512640 135180984 3215834672 3086684016 134528101 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9318/tid=9322] ppid=9316 vsize=98572 CPUtime=6.22
/proc/9318/task/9322/stat : 9322 (satake) R 9316 9318 30957 0 -1 4202560 8516 0 0 0 592 30 0 0 25 0 5 0 947050999 100937728 23042 4294967295 134512640 135180984 3215834672 3086618496 134518615 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 19.41
Current children cumulated vsize (KiB) 98572

[startup+12.7061 s]
/proc/loadavg: 3.09 3.03 3.00 4/103 9323
/proc/meminfo: memFree=2963832/3368532 swapFree=1959840/1959888
[pid=9318] ppid=9316 vsize=108012 CPUtime=39.32
/proc/9318/stat : 9318 (satake) S 9316 9318 30957 0 -1 4202496 30337 0 0 0 3643 289 0 0 18 0 5 0 947050999 110604288 25333 4294967295 134512640 135180984 3215834672 3215834108 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/9318/statm: 27003 25333 68 164 0 26838 0
[pid=9318/tid=9319] ppid=9316 vsize=108012 CPUtime=1.79
/proc/9318/task/9319/stat : 9319 (satake) R 9316 9318 30957 0 -1 4202560 2891 0 0 0 43 136 0 0 16 0 5 0 947050999 110604288 25333 4294967295 134512640 135180984 3215834672 3086815248 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=9318/tid=9320] ppid=9316 vsize=108012 CPUtime=12.52
/proc/9318/task/9320/stat : 9320 (satake) R 9316 9318 30957 0 -1 4202560 8949 0 0 0 1197 55 0 0 25 0 5 0 947050999 110604288 25333 4294967295 134512640 135180984 3215834672 3086749552 134528267 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9318/tid=9321] ppid=9316 vsize=108012 CPUtime=12.48
/proc/9318/task/9321/stat : 9321 (satake) R 9316 9318 30957 0 -1 4202560 9233 0 0 0 1216 32 0 0 25 0 5 0 947050999 110604288 25333 4294967295 134512640 135180984 3215834672 3086683820 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9318/tid=9322] ppid=9316 vsize=108012 CPUtime=12.53
/proc/9318/task/9322/stat : 9322 (satake) R 9316 9318 30957 0 -1 4202560 9153 0 0 0 1187 66 0 0 25 0 5 0 947050999 110604288 25333 4294967295 134512640 135180984 3215834672 3086618480 134528275 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 39.32
Current children cumulated vsize (KiB) 108012

[startup+25.5151 s]
/proc/loadavg: 3.13 3.05 3.01 4/103 9324
/proc/meminfo: memFree=2946240/3368532 swapFree=1959840/1959888
[pid=9318] ppid=9316 vsize=124932 CPUtime=79.36
/proc/9318/stat : 9318 (satake) S 9316 9318 30957 0 -1 4202496 34639 0 0 0 7325 611 0 0 18 0 5 0 947050999 127930368 29635 4294967295 134512640 135180984 3215834672 3215834108 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/9318/statm: 31233 29635 68 164 0 31068 0
[pid=9318/tid=9319] ppid=9316 vsize=124932 CPUtime=3.78
/proc/9318/task/9319/stat : 9319 (satake) S 9316 9318 30957 0 -1 4202560 3630 0 0 0 78 300 0 0 16 0 5 0 947050999 127930368 29635 4294967295 134512640 135180984 3215834672 3086815248 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=9318/tid=9320] ppid=9316 vsize=124932 CPUtime=25.21
/proc/9318/task/9320/stat : 9320 (satake) R 9316 9318 30957 0 -1 4202560 10075 0 0 0 2398 123 0 0 25 0 5 0 947050999 127930368 29635 4294967295 134512640 135180984 3215834672 3086749440 134522790 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9318/tid=9321] ppid=9316 vsize=124932 CPUtime=25.13
/proc/9318/task/9321/stat : 9321 (satake) R 9316 9318 30957 0 -1 4202560 10511 0 0 0 2443 70 0 0 25 0 5 0 947050999 127930368 29635 4294967295 134512640 135180984 3215834672 3086684080 134532431 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9318/tid=9322] ppid=9316 vsize=124932 CPUtime=25.24
/proc/9318/task/9322/stat : 9322 (satake) R 9316 9318 30957 0 -1 4202560 10312 0 0 0 2406 118 0 0 25 0 5 0 947050999 127930368 29635 4294967295 134512640 135180984 3215834672 3086618480 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 79.36
Current children cumulated vsize (KiB) 124932

[startup+51.113 s]
/proc/loadavg: 3.22 3.07 3.02 4/103 9511
/proc/meminfo: memFree=2919000/3368532 swapFree=1959840/1959888
[pid=9318] ppid=9316 vsize=152116 CPUtime=157.63
/proc/9318/stat : 9318 (satake) S 9316 9318 30957 0 -1 4202496 41408 0 0 0 14685 1078 0 0 18 0 5 0 947050999 155766784 36404 4294967295 134512640 135180984 3215834672 3215834108 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/9318/statm: 38029 36404 68 164 0 37864 0
[pid=9318/tid=9319] ppid=9316 vsize=152116 CPUtime=6.87
/proc/9318/task/9319/stat : 9319 (satake) S 9316 9318 30957 0 -1 4202560 4757 0 0 0 152 535 0 0 16 0 5 0 947050999 155766784 36404 4294967295 134512640 135180984 3215834672 3086815248 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=9318/tid=9320] ppid=9316 vsize=152116 CPUtime=50.66
/proc/9318/task/9320/stat : 9320 (satake) R 9316 9318 30957 0 -1 4202560 11656 0 0 0 4847 219 0 0 25 0 5 0 947050999 155766784 36404 4294967295 134512640 135180984 3215834672 3086749568 134518720 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9318/tid=9321] ppid=9316 vsize=152116 CPUtime=49.4
/proc/9318/task/9321/stat : 9321 (satake) R 9316 9318 30957 0 -1 4202560 12694 0 0 0 4824 116 0 0 25 0 5 0 947050999 155766784 36404 4294967295 134512640 135180984 3215834672 3086684016 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9318/tid=9322] ppid=9316 vsize=152116 CPUtime=50.7
/proc/9318/task/9322/stat : 9322 (satake) R 9316 9318 30957 0 -1 4202560 12190 0 0 0 4862 208 0 0 25 0 5 0 947050999 155766784 36404 4294967295 134512640 135180984 3215834672 3086618196 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 157.63
Current children cumulated vsize (KiB) 152116

[startup+102.319 s]
/proc/loadavg: 3.17 3.09 3.02 4/103 9696

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

/proc/meminfo: memFree=2678444/3368532 swapFree=1959840/1959888
[pid=9318] ppid=9316 vsize=395348 CPUtime=1579.74
/proc/9318/stat : 9318 (satake) S 9316 9318 30957 0 -1 4202496 101228 0 0 0 154365 3609 0 0 18 0 5 0 947050999 404836352 96224 4294967295 134512640 135180984 3215834672 3215834108 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/9318/statm: 98837 96224 68 164 0 98672 0
[pid=9318/tid=9319] ppid=9316 vsize=395348 CPUtime=22.29
/proc/9318/task/9319/stat : 9319 (satake) S 9316 9318 30957 0 -1 4202560 10569 0 0 0 491 1738 0 0 16 0 5 0 947050999 404836352 96224 4294967295 134512640 135180984 3215834672 3086815248 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=9318/tid=9320] ppid=9316 vsize=395348 CPUtime=519.47
/proc/9318/task/9320/stat : 9320 (satake) R 9316 9318 30957 0 -1 4202560 31224 0 0 0 51304 643 0 0 25 0 5 0 947050999 404836352 96224 4294967295 134512640 135180984 3215834672 3086749424 134522706 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9318/tid=9321] ppid=9316 vsize=395348 CPUtime=519.58
/proc/9318/task/9321/stat : 9321 (satake) R 9316 9318 30957 0 -1 4202560 30416 0 0 0 51449 509 0 0 25 0 5 0 947050999 404836352 96224 4294967295 134512640 135180984 3215834672 3086684016 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9318/tid=9322] ppid=9316 vsize=395348 CPUtime=518.4
/proc/9318/task/9322/stat : 9322 (satake) R 9316 9318 30957 0 -1 4202560 28908 0 0 0 51121 719 0 0 25 0 5 0 947050999 404836352 96224 4294967295 134512640 135180984 3215834672 3086618472 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1579.74
Current children cumulated vsize (KiB) 395348

[startup+582.31 s]
/proc/loadavg: 3.04 3.03 3.00 4/103 11206
/proc/meminfo: memFree=2660976/3368532 swapFree=1959840/1959888
[pid=9318] ppid=9316 vsize=416348 CPUtime=1759.59
/proc/9318/stat : 9318 (satake) S 9316 9318 30957 0 -1 4202496 105801 0 0 0 172248 3711 0 0 18 0 5 0 947050999 426340352 100797 4294967295 134512640 135180984 3215834672 3215834108 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/9318/statm: 104087 100797 68 164 0 103922 0
[pid=9318/tid=9319] ppid=9316 vsize=416348 CPUtime=22.87
/proc/9318/task/9319/stat : 9319 (satake) S 9316 9318 30957 0 -1 4202560 10849 0 0 0 510 1777 0 0 15 0 5 0 947050999 426340352 100797 4294967295 134512640 135180984 3215834672 3086815248 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=9318/tid=9320] ppid=9316 vsize=416348 CPUtime=579.44
/proc/9318/task/9320/stat : 9320 (satake) R 9316 9318 30957 0 -1 4202560 32442 0 0 0 57286 658 0 0 25 0 5 0 947050999 426340352 100797 4294967295 134512640 135180984 3215834672 3086749448 134520909 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9318/tid=9321] ppid=9316 vsize=416348 CPUtime=579.49
/proc/9318/task/9321/stat : 9321 (satake) R 9316 9318 30957 0 -1 4202560 31834 0 0 0 57408 541 0 0 25 0 5 0 947050999 426340352 100797 4294967295 134512640 135180984 3215834672 3086684012 134520661 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9318/tid=9322] ppid=9316 vsize=416348 CPUtime=577.79
/proc/9318/task/9322/stat : 9322 (satake) R 9316 9318 30957 0 -1 4202560 30565 0 0 0 57044 735 0 0 25 0 5 0 947050999 426340352 100797 4294967295 134512640 135180984 3215834672 3086618480 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1759.59
Current children cumulated vsize (KiB) 416348

[startup+642.305 s]
/proc/loadavg: 3.05 3.04 3.00 4/103 11398
/proc/meminfo: memFree=2643528/3368532 swapFree=1959840/1959888
[pid=9318] ppid=9316 vsize=432396 CPUtime=1939.44
/proc/9318/stat : 9318 (satake) S 9316 9318 30957 0 -1 4202496 110025 0 0 0 190132 3812 0 0 18 0 5 0 947050999 442773504 105021 4294967295 134512640 135180984 3215834672 3215834108 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/9318/statm: 108099 105021 68 164 0 107934 0
[pid=9318/tid=9319] ppid=9316 vsize=432396 CPUtime=23.45
/proc/9318/task/9319/stat : 9319 (satake) S 9316 9318 30957 0 -1 4202560 11175 0 0 0 522 1823 0 0 15 0 5 0 947050999 442773504 105021 4294967295 134512640 135180984 3215834672 3086815248 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=9318/tid=9320] ppid=9316 vsize=432396 CPUtime=639.4
/proc/9318/task/9320/stat : 9320 (satake) R 9316 9318 30957 0 -1 4202560 33873 0 0 0 63267 673 0 0 25 0 5 0 947050999 442773504 105021 4294967295 134512640 135180984 3215834672 3086749552 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9318/tid=9321] ppid=9316 vsize=432396 CPUtime=639.41
/proc/9318/task/9321/stat : 9321 (satake) R 9316 9318 30957 0 -1 4202560 33034 0 0 0 63372 569 0 0 25 0 5 0 947050999 442773504 105021 4294967295 134512640 135180984 3215834672 3086684016 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=9318/tid=9322] ppid=9316 vsize=432396 CPUtime=637.18
/proc/9318/task/9322/stat : 9322 (satake) R 9316 9318 30957 0 -1 4202560 31832 0 0 0 62971 747 0 0 25 0 5 0 947050999 442773504 105021 4294967295 134512640 135180984 3215834672 3086618352 134522612 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1939.44
Current children cumulated vsize (KiB) 432396

[startup+702.31 s]
/proc/loadavg: 3.02 3.03 3.00 4/103 11584
/proc/meminfo: memFree=2627116/3368532 swapFree=1959840/1959888
[pid=9318] ppid=9316 vsize=449244 CPUtime=2119.35
/proc/9318/stat : 9318 (satake) S 9316 9318 30957 0 -1 4202496 114155 0 0 0 207982 3953 0 0 18 0 5 0 947050999 460025856 109151 4294967295 134512640 135180984 3215834672 3215834108 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/9318/statm: 112311 109151 68 164 0 112146 0
[pid=9318/tid=9319] ppid=9316 vsize=449244 CPUtime=24.36
/proc/9318/task/9319/stat : 9319 (satake) S 9316 9318 30957 0 -1 4202560 11525 0 0 0 541 1895 0 0 16 0 5 0 947050999 460025856 109151 4294967295 134512640 135180984 3215834672 3086815248 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=9318/tid=9320] ppid=9316 vsize=449244 CPUtime=699.37
/proc/9318/task/9320/stat : 9320 (satake) R 9316 9318 30957 0 -1 4202560 35185 0 0 0 69248 689 0 0 25 0 5 0 947050999 460025856 109151 4294967295 134512640 135180984 3215834672 3086749552 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9318/tid=9321] ppid=9316 vsize=449244 CPUtime=699.38
/proc/9318/task/9321/stat : 9321 (satake) R 9316 9318 30957 0 -1 4202560 34017 0 0 0 69334 604 0 0 25 0 5 0 947050999 460025856 109151 4294967295 134512640 135180984 3215834672 3086684016 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=9318/tid=9322] ppid=9316 vsize=449244 CPUtime=696.24
/proc/9318/task/9322/stat : 9322 (satake) R 9316 9318 30957 0 -1 4202560 33317 0 0 0 68859 765 0 0 25 0 5 0 947050999 460025856 109151 4294967295 134512640 135180984 3215834672 3086618480 134528719 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2119.35
Current children cumulated vsize (KiB) 449244

[startup+762.315 s]
/proc/loadavg: 3.12 3.05 3.01 4/103 11772
/proc/meminfo: memFree=2612500/3368532 swapFree=1959840/1959888
[pid=9318] ppid=9316 vsize=465336 CPUtime=2299.28
/proc/9318/stat : 9318 (satake) S 9316 9318 30957 0 -1 4202496 117837 0 0 0 225894 4034 0 0 18 0 5 0 947050999 476504064 112833 4294967295 134512640 135180984 3215834672 3215834108 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/9318/statm: 116334 112833 68 164 0 116169 0
[pid=9318/tid=9319] ppid=9316 vsize=465336 CPUtime=24.84
/proc/9318/task/9319/stat : 9319 (satake) S 9316 9318 30957 0 -1 4202560 11747 0 0 0 554 1930 0 0 15 0 5 0 947050999 476504064 112833 4294967295 134512640 135180984 3215834672 3086815248 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=9318/tid=9320] ppid=9316 vsize=465336 CPUtime=759.35
/proc/9318/task/9320/stat : 9320 (satake) R 9316 9318 30957 0 -1 4202560 36219 0 0 0 75231 704 0 0 25 0 5 0 947050999 476504064 112833 4294967295 134512640 135180984 3215834672 3086749552 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9318/tid=9321] ppid=9316 vsize=465336 CPUtime=759.37
/proc/9318/task/9321/stat : 9321 (satake) R 9316 9318 30957 0 -1 4202560 35183 0 0 0 75312 625 0 0 25 0 5 0 947050999 476504064 112833 4294967295 134512640 135180984 3215834672 3086684016 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=9318/tid=9322] ppid=9316 vsize=465336 CPUtime=755.72
/proc/9318/task/9322/stat : 9322 (satake) R 9316 9318 30957 0 -1 4202560 34577 0 0 0 74797 775 0 0 25 0 5 0 947050999 476504064 112833 4294967295 134512640 135180984 3215834672 3086618480 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2299.28
Current children cumulated vsize (KiB) 465336

[startup+822.31 s]
/proc/loadavg: 3.11 3.06 3.00 4/103 11960
/proc/meminfo: memFree=2598976/3368532 swapFree=1959840/1959888
[pid=9318] ppid=9316 vsize=478032 CPUtime=2479.2
/proc/9318/stat : 9318 (satake) S 9316 9318 30957 0 -1 4202496 121169 0 0 0 243831 4089 0 0 18 0 5 0 947050999 489504768 116165 4294967295 134512640 135180984 3215834672 3215834108 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/9318/statm: 119508 116165 68 164 0 119343 0
[pid=9318/tid=9319] ppid=9316 vsize=478032 CPUtime=25.22
/proc/9318/task/9319/stat : 9319 (satake) S 9316 9318 30957 0 -1 4202560 11966 0 0 0 566 1956 0 0 15 0 5 0 947050999 489504768 116165 4294967295 134512640 135180984 3215834672 3086815248 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=9318/tid=9320] ppid=9316 vsize=478032 CPUtime=819.34
/proc/9318/task/9320/stat : 9320 (satake) R 9316 9318 30957 0 -1 4202560 37202 0 0 0 81220 714 0 0 25 0 5 0 947050999 489504768 116165 4294967295 134512640 135180984 3215834672 3086749552 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9318/tid=9321] ppid=9316 vsize=478032 CPUtime=819.33
/proc/9318/task/9321/stat : 9321 (satake) R 9316 9318 30957 0 -1 4202560 36116 0 0 0 81295 638 0 0 25 0 5 0 947050999 489504768 116165 4294967295 134512640 135180984 3215834672 3086684016 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=9318/tid=9322] ppid=9316 vsize=478032 CPUtime=815.31
/proc/9318/task/9322/stat : 9322 (satake) R 9316 9318 30957 0 -1 4202560 35774 0 0 0 80750 781 0 0 25 0 5 0 947050999 489504768 116165 4294967295 134512640 135180984 3215834672 3086618384 134525399 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2479.2
Current children cumulated vsize (KiB) 478032

[startup+882.315 s]
/proc/loadavg: 3.04 3.04 3.00 4/103 12149
/proc/meminfo: memFree=2586196/3368532 swapFree=1959840/1959888
[pid=9318] ppid=9316 vsize=490784 CPUtime=2659.13
/proc/9318/stat : 9318 (satake) S 9316 9318 30957 0 -1 4202496 124290 0 0 0 261753 4160 0 0 18 0 5 0 947050999 502562816 119286 4294967295 134512640 135180984 3215834672 3215834108 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/9318/statm: 122696 119286 68 164 0 122531 0
[pid=9318/tid=9319] ppid=9316 vsize=490784 CPUtime=25.63
/proc/9318/task/9319/stat : 9319 (satake) S 9316 9318 30957 0 -1 4202560 12204 0 0 0 573 1990 0 0 15 0 5 0 947050999 502562816 119286 4294967295 134512640 135180984 3215834672 3086815248 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=9318/tid=9320] ppid=9316 vsize=490784 CPUtime=879.29
/proc/9318/task/9320/stat : 9320 (satake) R 9316 9318 30957 0 -1 4202560 38137 0 0 0 87206 723 0 0 25 0 5 0 947050999 502562816 119286 4294967295 134512640 135180984 3215834672 3086749552 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9318/tid=9321] ppid=9316 vsize=490784 CPUtime=879.3
/proc/9318/task/9321/stat : 9321 (satake) R 9316 9318 30957 0 -1 4202560 37018 0 0 0 87270 660 0 0 25 0 5 0 947050999 502562816 119286 4294967295 134512640 135180984 3215834672 3086684016 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9318/tid=9322] ppid=9316 vsize=490784 CPUtime=874.91
/proc/9318/task/9322/stat : 9322 (satake) R 9316 9318 30957 0 -1 4202560 36820 0 0 0 86704 787 0 0 25 0 5 0 947050999 502562816 119286 4294967295 134512640 135180984 3215834672 3086618480 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2659.13
Current children cumulated vsize (KiB) 490784

[startup+942.31 s]
/proc/loadavg: 3.01 3.03 3.00 4/103 12337
/proc/meminfo: memFree=2573244/3368532 swapFree=1959840/1959888
[pid=9318] ppid=9316 vsize=504008 CPUtime=2839.05
/proc/9318/stat : 9318 (satake) S 9316 9318 30957 0 -1 4202496 127592 0 0 0 279611 4294 0 0 18 0 5 0 947050999 516104192 122588 4294967295 134512640 135180984 3215834672 3215834108 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/9318/statm: 126002 122588 68 164 0 125837 0
[pid=9318/tid=9319] ppid=9316 vsize=504008 CPUtime=26.48
/proc/9318/task/9319/stat : 9319 (satake) S 9316 9318 30957 0 -1 4202560 12496 0 0 0 593 2055 0 0 16 0 5 0 947050999 516104192 122588 4294967295 134512640 135180984 3215834672 3086815248 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=9318/tid=9320] ppid=9316 vsize=504008 CPUtime=938.48
/proc/9318/task/9320/stat : 9320 (satake) R 9316 9318 30957 0 -1 4202560 38960 0 0 0 93113 735 0 0 25 0 5 0 947050999 516104192 122588 4294967295 134512640 135180984 3215834672 3086749488 134520815 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9318/tid=9321] ppid=9316 vsize=504008 CPUtime=939.22
/proc/9318/task/9321/stat : 9321 (satake) R 9316 9318 30957 0 -1 4202560 38045 0 0 0 93235 687 0 0 25 0 5 0 947050999 516104192 122588 4294967295 134512640 135180984 3215834672 3086684016 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9318/tid=9322] ppid=9316 vsize=504008 CPUtime=934.87
/proc/9318/task/9322/stat : 9322 (satake) R 9316 9318 30957 0 -1 4202560 37980 0 0 0 92670 817 0 0 25 0 5 0 947050999 516104192 122588 4294967295 134512640 135180984 3215834672 3086618480 134528511 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2839.05
Current children cumulated vsize (KiB) 504008



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 3.00 3.02 3.00 2/100 12523
/proc/meminfo: memFree=2608044/3368532 swapFree=1959840/1959888
[pid=9318] ppid=9316 vsize=461300 CPUtime=3010.59
/proc/9318/stat : 9318 (satake) S 9316 9318 30957 0 -1 4202496 127965 0 0 0 296545 4514 0 0 15 0 2 0 947050999 472371200 113411 4294967295 134512640 135180984 3215834672 3215834108 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/9318/statm: 115325 113411 77 164 0 115160 0
[pid=9318/tid=9322] ppid=9316 vsize=461300 CPUtime=992.34
/proc/9318/task/9322/stat : 9322 (satake) R 9316 9318 30957 0 -1 4202560 38101 0 0 0 98378 856 0 0 25 0 2 0 947050999 472371200 113411 4294967295 134512640 135180984 3215834672 3086618412 134520865 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3010.59
Current children cumulated vsize (KiB) 461300

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.05
CPU time (s): 3010.63
CPU user time (s): 2965.47
CPU system time (s): 45.16
CPU usage (%): 301.047
Max. virtual memory (cumulated for all children) (KiB): 505848

deleting IPC queue 18350080
deleting IPC queue 18382849
deleting IPC queue 18415618
deleting IPC queue 18448387
deleting IPC queue 18481156
deleting IPC queue 18513925
deleting IPC queue 18546694
deleting IPC queue 18579463
deleting IPC queue 18612232
deleting IPC queue 18645001
deleting IPC queue 18677770
deleting IPC queue 18710539
deleting IPC queue 18743308
deleting IPC queue 18776077
deleting IPC queue 18808846
deleting IPC queue 18841615

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2965.47
system time used= 45.16
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127965
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= 1885960
involuntary context switches= 949730

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-30 05:39:02
IDJOB=1781515
IDBENCH=71766
IDSOLVER=629
FILE ID=tipi39/1781515-1243654742
PBS_JOBID=
Free space on /tmp= 5737 MiB

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

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

MD5SUM BENCH= 3eac71f4fca7132b74d6d27cfa83813f
RANDOM SEED= 1511804281

Linux tipi39 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.067
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.067
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.10
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.067
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.067
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:       3062956 kB
Buffers:         57368 kB
Cached:         143664 kB
SwapCached:          0 kB
Active:          96988 kB
Inactive:       120104 kB
HighTotal:     2489216 kB
HighFree:      2331548 kB
LowTotal:       879316 kB
LowFree:        731408 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            7552 kB
Writeback:           0 kB
AnonPages:       15856 kB
Mapped:           6188 kB
Slab:            77688 kB
SReclaimable:    67308 kB
SUnreclaim:      10380 kB
PageTables:        500 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    94796 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 5737 MiB
End job on tipi39 at 2009-05-30 05:55:45