Trace number 1780060

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) 3003.86 1000.09

General information on the benchmark

NameAPPLICATIONS/c32sat/
post-cbmc-aes-ee-r2-noholes.cnf
MD5SUM4c8b9603e0c90cfb3c82064eae956799
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark748.4
Satisfiable
(Un)Satisfiability was proved
Number of variables266199
Number of clauses1575975
Sum of the clauses size4240496
Maximum clause length33
Minimum clause length1
Number of clauses of size 139783
Number of clauses of size 21138497
Number of clauses of size 3317809
Number of clauses of size 49949
Number of clauses of size 50
Number of clauses of size over 569937

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-1780060-1243645429/watcher-1780060-1243645429 -o /tmp/evaluation-result-1780060-1243645429/solver-1780060-1243645429 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780060-1243645429.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.12 3.06 3.01 5/102 3669
/proc/meminfo: memFree=3120208/3368532 swapFree=1953580/1959888
[pid=3666] ppid=3664 vsize=1092 CPUtime=0
/proc/3666/stat : 3666 (satake) R 3664 3666 21929 0 -1 4202496 109 0 0 0 0 0 0 0 21 0 4 0 1129207462 1118208 65 4294967295 134512640 135180984 3219229040 3219228384 134705812 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3666/statm: 273 65 54 164 0 108 0
[pid=3666/tid=3667] ppid=3664 vsize=1092 CPUtime=0
/proc/3666/task/3667/stat : 3667 (satake) R 3664 3666 21929 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 1129207462 1118208 65 4294967295 134512640 135180984 3219229040 3086656324 134705812 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3666/tid=3668] ppid=3664 vsize=1092 CPUtime=0
/proc/3666/task/3668/stat : 3668 (satake) R 3664 3666 21929 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 1129207462 1118208 65 4294967295 134512640 135180984 3219229040 3086590788 134705812 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3666/tid=3669] ppid=3664 vsize=1092 CPUtime=0
/proc/3666/task/3669/stat : 3669 (satake) R 3664 3666 21929 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 1129207462 1118208 65 4294967295 134512640 135180984 3219229040 3086525252 134705812 0 0 0 0 0 0 0 -1 2 0 0 0

[startup+0.031822 s]
/proc/loadavg: 3.12 3.06 3.01 5/102 3669
/proc/meminfo: memFree=3120208/3368532 swapFree=1953580/1959888
[pid=3666] ppid=3664 vsize=38112 CPUtime=0.05
/proc/3666/stat : 3666 (satake) S 3664 3666 21929 0 -1 4202496 5841 0 0 0 0 5 0 0 21 0 5 0 1129207462 39026688 5797 4294967295 134512640 135180984 3219229040 3219228476 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3666/statm: 9528 5812 63 164 0 9363 0
[pid=3666/tid=3667] ppid=3664 vsize=38112 CPUtime=0
/proc/3666/task/3667/stat : 3667 (satake) S 3664 3666 21929 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 5 0 1129207462 39026688 5817 4294967295 134512640 135180984 3219229040 3086655504 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=3666/tid=3668] ppid=3664 vsize=38112 CPUtime=0.03
/proc/3666/task/3668/stat : 3668 (satake) R 3664 3666 21929 0 -1 4202560 2812 0 0 0 0 3 0 0 23 0 5 0 1129207462 39026688 5825 4294967295 134512640 135180984 3219229040 3086590244 134583077 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3666/tid=3669] ppid=3664 vsize=38112 CPUtime=0.02
/proc/3666/task/3669/stat : 3669 (satake) R 3664 3666 21929 0 -1 4202560 2360 0 0 0 0 2 0 0 23 0 5 0 1129207462 39026688 5833 4294967295 134512640 135180984 3219229040 3086524708 134583077 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 38112

[startup+0.111793 s]
/proc/loadavg: 3.12 3.06 3.01 5/102 3669
/proc/meminfo: memFree=3120208/3368532 swapFree=1953580/1959888
[pid=3666] ppid=3664 vsize=104824 CPUtime=0.29
/proc/3666/stat : 3666 (satake) S 3664 3666 21929 0 -1 4202496 25622 0 0 0 10 19 0 0 21 0 5 0 1129207462 107339776 25576 4294967295 134512640 135180984 3219229040 3219228476 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3666/statm: 26206 25578 63 164 0 26041 0
[pid=3666/tid=3667] ppid=3664 vsize=104824 CPUtime=0
/proc/3666/task/3667/stat : 3667 (satake) S 3664 3666 21929 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 5 0 1129207462 107339776 25578 4294967295 134512640 135180984 3219229040 3086655504 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=3666/tid=3668] ppid=3664 vsize=104824 CPUtime=0.11
/proc/3666/task/3668/stat : 3668 (satake) R 3664 3666 21929 0 -1 4202560 8616 0 0 0 4 7 0 0 23 0 5 0 1129207462 107339776 25578 4294967295 134512640 135180984 3219229040 3086590200 134518244 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3666/tid=3669] ppid=3664 vsize=104824 CPUtime=0.1
/proc/3666/task/3669/stat : 3669 (satake) R 3664 3666 21929 0 -1 4202560 8536 0 0 0 3 7 0 0 23 0 5 0 1129207462 107339776 25579 4294967295 134512640 135180984 3219229040 3086524564 134579745 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 104824

[startup+0.311774 s]
/proc/loadavg: 3.12 3.06 3.01 5/102 3669
/proc/meminfo: memFree=3120208/3368532 swapFree=1953580/1959888
[pid=3666] ppid=3664 vsize=135732 CPUtime=0.87
/proc/3666/stat : 3666 (satake) S 3664 3666 21929 0 -1 4202496 32911 0 0 0 65 22 0 0 21 0 5 0 1129207462 138989568 32849 4294967295 134512640 135180984 3219229040 3219228476 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3666/statm: 33933 32850 63 164 0 33768 0
[pid=3666/tid=3667] ppid=3664 vsize=135732 CPUtime=0
/proc/3666/task/3667/stat : 3667 (satake) S 3664 3666 21929 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 5 0 1129207462 138989568 32850 4294967295 134512640 135180984 3219229040 3086655504 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=3666/tid=3668] ppid=3664 vsize=135732 CPUtime=0.3
/proc/3666/task/3668/stat : 3668 (satake) R 3664 3666 21929 0 -1 4202560 10830 0 0 0 22 8 0 0 22 0 5 0 1129207462 138989568 32851 4294967295 134512640 135180984 3219229040 3086590040 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3666/tid=3669] ppid=3664 vsize=135732 CPUtime=0.3
/proc/3666/task/3669/stat : 3669 (satake) R 3664 3666 21929 0 -1 4202560 11032 0 0 0 22 8 0 0 21 0 5 0 1129207462 138989568 32851 4294967295 134512640 135180984 3219229040 3086524380 134702260 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 135732

[startup+0.711735 s]
/proc/loadavg: 3.12 3.06 3.01 5/102 3669
/proc/meminfo: memFree=3120208/3368532 swapFree=1953580/1959888
[pid=3666] ppid=3664 vsize=211948 CPUtime=2.07
/proc/3666/stat : 3666 (satake) S 3664 3666 21929 0 -1 4202496 49143 0 0 0 179 28 0 0 21 0 5 0 1129207462 217034752 49081 4294967295 134512640 135180984 3219229040 3219228476 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3666/statm: 52987 49081 63 164 0 52822 0
[pid=3666/tid=3667] ppid=3664 vsize=211948 CPUtime=0
/proc/3666/task/3667/stat : 3667 (satake) S 3664 3666 21929 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 5 0 1129207462 217034752 49081 4294967295 134512640 135180984 3219229040 3086655504 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=3666/tid=3668] ppid=3664 vsize=211948 CPUtime=0.7
/proc/3666/task/3668/stat : 3668 (satake) R 3664 3666 21929 0 -1 4202560 16204 0 0 0 58 12 0 0 21 0 5 0 1129207462 217034752 49082 4294967295 134512640 135180984 3219229040 3086590232 134513828 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3666/tid=3669] ppid=3664 vsize=211948 CPUtime=0.7
/proc/3666/task/3669/stat : 3669 (satake) R 3664 3666 21929 0 -1 4202560 16439 0 0 0 61 9 0 0 19 0 5 0 1129207462 217034752 49082 4294967295 134512640 135180984 3219229040 3086524696 134513833 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 211948

[startup+1.51166 s]
/proc/loadavg: 3.11 3.06 3.01 4/104 3671
/proc/meminfo: memFree=2876824/3368532 swapFree=1953580/1959888
[pid=3666] ppid=3664 vsize=386236 CPUtime=4.43
/proc/3666/stat : 3666 (satake) S 3664 3666 21929 0 -1 4202496 77880 0 0 0 401 42 0 0 21 0 5 0 1129207462 395505664 77818 4294967295 134512640 135180984 3219229040 3219228476 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3666/statm: 96559 77818 64 164 0 96394 0
[pid=3666/tid=3667] ppid=3664 vsize=386236 CPUtime=0
/proc/3666/task/3667/stat : 3667 (satake) S 3664 3666 21929 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 5 0 1129207462 395505664 77818 4294967295 134512640 135180984 3219229040 3086655504 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=3666/tid=3668] ppid=3664 vsize=386236 CPUtime=1.5
/proc/3666/task/3668/stat : 3668 (satake) R 3664 3666 21929 0 -1 4202560 25758 0 0 0 133 17 0 0 17 0 5 0 1129207462 395505664 77818 4294967295 134512640 135180984 3219229040 3086590160 134520784 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3666/tid=3669] ppid=3664 vsize=386236 CPUtime=1.47
/proc/3666/task/3669/stat : 3669 (satake) R 3664 3666 21929 0 -1 4202560 26005 0 0 0 133 14 0 0 17 0 5 0 1129207462 395505664 77818 4294967295 134512640 135180984 3219229040 3086524620 134520865 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3666/tid=3671] ppid=3664 vsize=386236 CPUtime=1.46
/proc/3666/task/3671/stat : 3671 (satake) R 3664 3666 21929 0 -1 4202560 26000 0 0 0 135 11 0 0 25 0 5 0 1129207464 395505664 77818 4294967295 134512640 135180984 3219229040 3086450896 134520716 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.43
Current children cumulated vsize (KiB) 386236

[startup+3.11151 s]
/proc/loadavg: 3.11 3.06 3.01 5/104 3671
/proc/meminfo: memFree=2895368/3368532 swapFree=1953580/1959888
[pid=3666] ppid=3664 vsize=303648 CPUtime=9.23
/proc/3666/stat : 3666 (satake) S 3664 3666 21929 0 -1 4202496 81337 0 0 0 804 119 0 0 21 0 5 0 1129207462 310935552 57041 4294967295 134512640 135180984 3219229040 3219228476 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3666/statm: 75912 57041 68 164 0 75747 0
[pid=3666/tid=3667] ppid=3664 vsize=303648 CPUtime=0.56
/proc/3666/task/3667/stat : 3667 (satake) R 3664 3666 21929 0 -1 4202560 2463 0 0 0 14 42 0 0 15 0 5 0 1129207462 310935552 57042 4294967295 134512640 135180984 3219229040 3086655508 134706407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3666/tid=3668] ppid=3664 vsize=303648 CPUtime=2.84
/proc/3666/task/3668/stat : 3668 (satake) R 3664 3666 21929 0 -1 4202560 26125 0 0 0 259 25 0 0 16 0 5 0 1129207462 310935552 57042 4294967295 134512640 135180984 3219229040 3086589600 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3666/tid=3669] ppid=3664 vsize=303648 CPUtime=2.98
/proc/3666/task/3669/stat : 3669 (satake) R 3664 3666 21929 0 -1 4202560 26324 0 0 0 271 27 0 0 18 0 5 0 1129207462 310935552 57042 4294967295 134512640 135180984 3219229040 3086523988 134675767 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3666/tid=3671] ppid=3664 vsize=303648 CPUtime=2.85
/proc/3666/task/3671/stat : 3671 (satake) R 3664 3666 21929 0 -1 4202560 26316 0 0 0 260 25 0 0 25 0 5 0 1129207464 310935552 57042 4294967295 134512640 135180984 3219229040 3086450544 134528211 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.23
Current children cumulated vsize (KiB) 303648

[startup+6.3112 s]
/proc/loadavg: 3.10 3.06 3.01 4/104 3671
/proc/meminfo: memFree=2889988/3368532 swapFree=1953580/1959888
[pid=3666] ppid=3664 vsize=306928 CPUtime=19.2
/proc/3666/stat : 3666 (satake) S 3664 3666 21929 0 -1 4202496 82352 0 0 0 1718 202 0 0 21 0 5 0 1129207462 314294272 58056 4294967295 134512640 135180984 3219229040 3219228476 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3666/statm: 76732 58056 68 164 0 76567 0
[pid=3666/tid=3667] ppid=3664 vsize=306928 CPUtime=1.04
/proc/3666/task/3667/stat : 3667 (satake) S 3664 3666 21929 0 -1 4202560 2537 0 0 0 22 82 0 0 16 0 5 0 1129207462 314294272 58056 4294967295 134512640 135180984 3219229040 3086655504 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=3666/tid=3668] ppid=3664 vsize=306928 CPUtime=5.94
/proc/3666/task/3668/stat : 3668 (satake) R 3664 3666 21929 0 -1 4202560 26454 0 0 0 560 34 0 0 20 0 5 0 1129207462 314294272 58056 4294967295 134512640 135180984 3219229040 3086589792 134520368 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3666/tid=3669] ppid=3664 vsize=306928 CPUtime=6.17
/proc/3666/task/3669/stat : 3669 (satake) R 3664 3666 21929 0 -1 4202560 26626 0 0 0 575 42 0 0 19 0 5 0 1129207462 314294272 58056 4294967295 134512640 135180984 3219229040 3086524288 134518582 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3666/tid=3671] ppid=3664 vsize=306928 CPUtime=6.05
/proc/3666/task/3671/stat : 3671 (satake) R 3664 3666 21929 0 -1 4202560 26625 0 0 0 561 44 0 0 25 0 5 0 1129207464 314294272 58056 4294967295 134512640 135180984 3219229040 3086450560 134518728 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 19.2
Current children cumulated vsize (KiB) 306928

[startup+12.7106 s]
/proc/loadavg: 3.09 3.06 3.01 4/104 3672
/proc/meminfo: memFree=2885436/3368532 swapFree=1953580/1959888
[pid=3666] ppid=3664 vsize=311680 CPUtime=38.59
/proc/3666/stat : 3666 (satake) S 3664 3666 21929 0 -1 4202496 83309 0 0 0 3567 292 0 0 21 0 5 0 1129207462 319160320 59013 4294967295 134512640 135180984 3219229040 3219228476 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3666/statm: 77920 59013 68 164 0 77755 0
[pid=3666/tid=3667] ppid=3664 vsize=311680 CPUtime=1.59
/proc/3666/task/3667/stat : 3667 (satake) S 3664 3666 21929 0 -1 4202560 2554 0 0 0 33 126 0 0 16 0 5 0 1129207462 319160320 59013 4294967295 134512640 135180984 3219229040 3086655504 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=3666/tid=3668] ppid=3664 vsize=311680 CPUtime=12.05
/proc/3666/task/3668/stat : 3668 (satake) R 3664 3666 21929 0 -1 4202560 26817 0 0 0 1163 42 0 0 25 0 5 0 1129207462 319160320 59015 4294967295 134512640 135180984 3219229040 3086589680 134522706 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3666/tid=3669] ppid=3664 vsize=311680 CPUtime=12.55
/proc/3666/task/3669/stat : 3669 (satake) R 3664 3666 21929 0 -1 4202560 26944 0 0 0 1194 61 0 0 25 0 5 0 1129207462 319160320 59015 4294967295 134512640 135180984 3219229040 3086524268 134518245 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3666/tid=3671] ppid=3664 vsize=311680 CPUtime=12.4
/proc/3666/task/3671/stat : 3671 (satake) R 3664 3666 21929 0 -1 4202560 26886 0 0 0 1177 63 0 0 25 0 5 0 1129207464 319160320 59015 4294967295 134512640 135180984 3219229040 3086450384 134691935 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 38.59
Current children cumulated vsize (KiB) 311680

[startup+25.5094 s]
/proc/loadavg: 3.07 3.05 3.01 4/104 3674
/proc/meminfo: memFree=2869128/3368532 swapFree=1953580/1959888
[pid=3666] ppid=3664 vsize=327580 CPUtime=77.98
/proc/3666/stat : 3666 (satake) S 3664 3666 21929 0 -1 4202496 87478 0 0 0 7296 502 0 0 21 0 5 0 1129207462 335441920 63182 4294967295 134512640 135180984 3219229040 3219228476 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3666/statm: 81895 63182 68 164 0 81730 0
[pid=3666/tid=3667] ppid=3664 vsize=327580 CPUtime=2.95
/proc/3666/task/3667/stat : 3667 (satake) S 3664 3666 21929 0 -1 4202560 2867 0 0 0 65 230 0 0 16 0 5 0 1129207462 335441920 63182 4294967295 134512640 135180984 3219229040 3086655504 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=3666/tid=3668] ppid=3664 vsize=327580 CPUtime=24.66
/proc/3666/task/3668/stat : 3668 (satake) R 3664 3666 21929 0 -1 4202560 28272 0 0 0 2406 60 0 0 25 0 5 0 1129207462 335441920 63182 4294967295 134512640 135180984 3219229040 3086589808 134528573 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3666/tid=3669] ppid=3664 vsize=327580 CPUtime=25.2
/proc/3666/task/3669/stat : 3669 (satake) R 3664 3666 21929 0 -1 4202560 28116 0 0 0 2417 103 0 0 25 0 5 0 1129207462 335441920 63182 4294967295 134512640 135180984 3219229040 3086524208 134523800 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3666/tid=3671] ppid=3664 vsize=327580 CPUtime=25.17
/proc/3666/task/3671/stat : 3671 (satake) R 3664 3666 21929 0 -1 4202560 28113 0 0 0 2408 109 0 0 25 0 5 0 1129207464 335441920 63182 4294967295 134512640 135180984 3219229040 3086450480 134523635 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 77.98
Current children cumulated vsize (KiB) 327580

[startup+51.1169 s]
/proc/loadavg: 3.05 3.05 3.01 4/104 3858
/proc/meminfo: memFree=2823148/3368532 swapFree=1953580/1959888
[pid=3666] ppid=3664 vsize=373184 CPUtime=155.58
/proc/3666/stat : 3666 (satake) S 3664 3666 21929 0 -1 4202496 98919 0 0 0 14863 695 0 0 21 0 5 0 1129207462 382140416 74623 4294967295 134512640 135180984 3219229040 3219228476 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3666/statm: 93296 74623 68 164 0 93131 0
[pid=3666/tid=3667] ppid=3664 vsize=373184 CPUtime=4.08
/proc/3666/task/3667/stat : 3667 (satake) S 3664 3666 21929 0 -1 4202560 3211 0 0 0 86 322 0 0 15 0 5 0 1129207462 382140416 74623 4294967295 134512640 135180984 3219229040 3086655504 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=3666/tid=3668] ppid=3664 vsize=373184 CPUtime=50.08
/proc/3666/task/3668/stat : 3668 (satake) R 3664 3666 21929 0 -1 4202560 33029 0 0 0 4927 81 0 0 25 0 5 0 1129207462 382140416 74623 4294967295 134512640 135180984 3219229040 3086589808 134528763 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3666/tid=3669] ppid=3664 vsize=373184 CPUtime=50.71
/proc/3666/task/3669/stat : 3669 (satake) R 3664 3666 21929 0 -1 4202560 31525 0 0 0 4932 139 0 0 25 0 5 0 1129207462 382140416 74623 4294967295 134512640 135180984 3219229040 3086524268 134519924 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3666/tid=3671] ppid=3664 vsize=373184 CPUtime=50.71
/proc/3666/task/3671/stat : 3671 (satake) R 3664 3666 21929 0 -1 4202560 31044 0 0 0 4918 153 0 0 25 0 5 0 1129207464 382140416 74623 4294967295 134512640 135180984 3219229040 3086450544 134528576 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 155.58
Current children cumulated vsize (KiB) 373184

[startup+102.322 s]
/proc/loadavg: 3.07 3.05 3.01 4/104 4046
/proc/meminfo: memFree=2741404/3368532 swapFree=1953580/1959888
[pid=3666] ppid=3664 vsize=453500 CPUtime=309.86
/proc/3666/stat : 3666 (satake) S 3664 3666 21929 0 -1 4202496 118996 0 0 0 30029 957 0 0 21 0 5 0 1129207462 464384000 94700 4294967295 134512640 135180984 3219229040 3219228476 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3666/statm: 113375 94700 68 164 0 113210 0
[pid=3666/tid=3667] ppid=3664 vsize=453500 CPUtime=5.67
/proc/3666/task/3667/stat : 3667 (satake) S 3664 3666 21929 0 -1 4202560 3714 0 0 0 122 445 0 0 15 0 5 0 1129207462 464384000 94700 4294967295 134512640 135180984 3219229040 3086655504 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=3666/tid=3668] ppid=3664 vsize=453500 CPUtime=100.7
/proc/3666/task/3668/stat : 3668 (satake) R 3664 3666 21929 0 -1 4202560 40522 0 0 0 9962 108 0 0 25 0 5 0 1129207462 464384000 94700 4294967295 134512640 135180984 3219229040 3086589640 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3666/tid=3669] ppid=3664 vsize=453500 CPUtime=101.68
/proc/3666/task/3669/stat : 3669 (satake) R 3664 3666 21929 0 -1 4202560 38961 0 0 0 9980 188 0 0 25 0 5 0 1129207462 464384000 94700 4294967295 134512640 135180984 3219229040 3086524268 134518208 0 0 0 0 0 0 0 -1 0 0 0 0

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

[pid=3666/tid=3668] ppid=3664 vsize=863400 CPUtime=519.48
/proc/3666/task/3668/stat : 3668 (satake) R 3664 3666 21929 0 -1 4202560 78107 0 0 0 51758 190 0 0 25 0 5 0 1129207462 884121600 196994 4294967295 134512640 135180984 3219229040 3086589640 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3666/tid=3669] ppid=3664 vsize=863400 CPUtime=520.93
/proc/3666/task/3669/stat : 3669 (satake) R 3664 3666 21929 0 -1 4202560 73165 0 0 0 51734 359 0 0 25 0 5 0 1129207462 884121600 196994 4294967295 134512640 135180984 3219229040 3086524272 134519336 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3666/tid=3671] ppid=3664 vsize=863400 CPUtime=521.23
/proc/3666/task/3671/stat : 3671 (satake) R 3664 3666 21929 0 -1 4202560 65047 0 0 0 51745 378 0 0 25 0 5 0 1129207464 884121600 196994 4294967295 134512640 135180984 3219229040 3086450544 134528648 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1571.3
Current children cumulated vsize (KiB) 863400

[startup+582.306 s]
/proc/loadavg: 3.00 3.00 3.00 4/104 5553
/proc/meminfo: memFree=2288152/3368532 swapFree=1953580/1959888
[pid=3666] ppid=3664 vsize=911380 CPUtime=1751.94
/proc/3666/stat : 3666 (satake) S 3664 3666 21929 0 -1 4202496 232411 0 0 0 173316 1878 0 0 21 0 5 0 1129207462 933253120 208115 4294967295 134512640 135180984 3219229040 3219228476 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3666/statm: 227845 208115 68 164 0 227680 0
[pid=3666/tid=3667] ppid=3664 vsize=911380 CPUtime=10.78
/proc/3666/task/3667/stat : 3667 (satake) S 3664 3666 21929 0 -1 4202560 5259 0 0 0 234 844 0 0 16 0 5 0 1129207462 933253120 208115 4294967295 134512640 135180984 3219229040 3086655504 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=3666/tid=3668] ppid=3664 vsize=911380 CPUtime=579.4
/proc/3666/task/3668/stat : 3668 (satake) R 3664 3666 21929 0 -1 4202560 81914 0 0 0 57732 208 0 0 25 0 5 0 1129207462 933253120 208115 4294967295 134512640 135180984 3219229040 3086589632 134702260 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3666/tid=3669] ppid=3664 vsize=911380 CPUtime=580.81
/proc/3666/task/3669/stat : 3669 (satake) R 3664 3666 21929 0 -1 4202560 76657 0 0 0 57679 402 0 0 25 0 5 0 1129207462 933253120 208115 4294967295 134512640 135180984 3219229040 3086524208 134523680 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3666/tid=3671] ppid=3664 vsize=911380 CPUtime=580.95
/proc/3666/task/3671/stat : 3671 (satake) R 3664 3666 21929 0 -1 4202560 68471 0 0 0 57671 424 0 0 25 0 5 0 1129207464 933253120 208115 4294967295 134512640 135180984 3219229040 3086450540 134518218 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1751.94
Current children cumulated vsize (KiB) 911380

[startup+642.311 s]
/proc/loadavg: 3.00 3.00 3.00 4/104 5742
/proc/meminfo: memFree=2235736/3368532 swapFree=1953580/1959888
[pid=3666] ppid=3664 vsize=963448 CPUtime=1931.82
/proc/3666/stat : 3666 (satake) S 3664 3666 21929 0 -1 4202496 245368 0 0 0 191184 1998 0 0 21 0 5 0 1129207462 986570752 221072 4294967295 134512640 135180984 3219229040 3219228476 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3666/statm: 240862 221072 68 164 0 240697 0
[pid=3666/tid=3667] ppid=3664 vsize=963448 CPUtime=11.49
/proc/3666/task/3667/stat : 3667 (satake) S 3664 3666 21929 0 -1 4202560 5462 0 0 0 254 895 0 0 15 0 5 0 1129207462 986570752 221072 4294967295 134512640 135180984 3219229040 3086655504 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=3666/tid=3668] ppid=3664 vsize=963448 CPUtime=639.38
/proc/3666/task/3668/stat : 3668 (satake) R 3664 3666 21929 0 -1 4202560 86314 0 0 0 63705 233 0 0 25 0 5 0 1129207462 986570752 221072 4294967295 134512640 135180984 3219229040 3086589808 134528636 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3666/tid=3669] ppid=3664 vsize=963448 CPUtime=640.78
/proc/3666/task/3669/stat : 3669 (satake) R 3664 3666 21929 0 -1 4202560 81701 0 0 0 63658 420 0 0 25 0 5 0 1129207462 986570752 221072 4294967295 134512640 135180984 3219229040 3086524272 134528641 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3666/tid=3671] ppid=3664 vsize=963448 CPUtime=640.17
/proc/3666/task/3671/stat : 3671 (satake) R 3664 3666 21929 0 -1 4202560 71781 0 0 0 63567 450 0 0 25 0 5 0 1129207464 986570752 221072 4294967295 134512640 135180984 3219229040 3086450536 134520667 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1931.82
Current children cumulated vsize (KiB) 963448

[startup+702.315 s]
/proc/loadavg: 3.00 3.00 3.00 4/104 5934
/proc/meminfo: memFree=2187232/3368532 swapFree=1953580/1959888
[pid=3666] ppid=3664 vsize=1013280 CPUtime=2111.57
/proc/3666/stat : 3666 (satake) S 3664 3666 21929 0 -1 4202496 257679 0 0 0 209021 2136 0 0 21 0 5 0 1129207462 1037598720 233383 4294967295 134512640 135180984 3219229040 3219228476 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3666/statm: 253320 233383 68 164 0 253155 0
[pid=3666/tid=3667] ppid=3664 vsize=1013280 CPUtime=12.3
/proc/3666/task/3667/stat : 3667 (satake) S 3664 3666 21929 0 -1 4202560 5798 0 0 0 274 956 0 0 15 0 5 0 1129207462 1037598720 233383 4294967295 134512640 135180984 3219229040 3086655504 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=3666/tid=3668] ppid=3664 vsize=1013280 CPUtime=699.34
/proc/3666/task/3668/stat : 3668 (satake) R 3664 3666 21929 0 -1 4202560 89248 0 0 0 69669 265 0 0 25 0 5 0 1129207462 1037598720 233383 4294967295 134512640 135180984 3219229040 3086589640 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3666/tid=3669] ppid=3664 vsize=1013280 CPUtime=700.32
/proc/3666/task/3669/stat : 3669 (satake) R 3664 3666 21929 0 -1 4202560 86825 0 0 0 69583 449 0 0 25 0 5 0 1129207462 1037598720 233383 4294967295 134512640 135180984 3219229040 3086524272 134528592 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3666/tid=3671] ppid=3664 vsize=1013280 CPUtime=699.61
/proc/3666/task/3671/stat : 3671 (satake) R 3664 3666 21929 0 -1 4202560 75698 0 0 0 69495 466 0 0 25 0 5 0 1129207464 1037598720 233383 4294967295 134512640 135180984 3219229040 3086450540 134518217 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2111.57
Current children cumulated vsize (KiB) 1013280

[startup+762.309 s]
/proc/loadavg: 3.00 3.00 3.00 4/104 6121
/proc/meminfo: memFree=2137360/3368532 swapFree=1953580/1959888
[pid=3666] ppid=3664 vsize=1063124 CPUtime=2291.35
/proc/3666/stat : 3666 (satake) S 3664 3666 21929 0 -1 4202496 270073 0 0 0 226925 2210 0 0 21 0 5 0 1129207462 1088638976 245777 4294967295 134512640 135180984 3219229040 3219228476 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3666/statm: 265781 245777 68 164 0 265616 0
[pid=3666/tid=3667] ppid=3664 vsize=1063124 CPUtime=12.7
/proc/3666/task/3667/stat : 3667 (satake) S 3664 3666 21929 0 -1 4202560 5891 0 0 0 285 985 0 0 15 0 5 0 1129207462 1088638976 245777 4294967295 134512640 135180984 3219229040 3086655504 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=3666/tid=3668] ppid=3664 vsize=1063124 CPUtime=759.33
/proc/3666/task/3668/stat : 3668 (satake) R 3664 3666 21929 0 -1 4202560 92750 0 0 0 75654 279 0 0 25 0 5 0 1129207462 1088638976 245777 4294967295 134512640 135180984 3219229040 3086589808 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3666/tid=3669] ppid=3664 vsize=1063124 CPUtime=759.79
/proc/3666/task/3669/stat : 3669 (satake) R 3664 3666 21929 0 -1 4202560 92277 0 0 0 75512 467 0 0 25 0 5 0 1129207462 1088638976 245777 4294967295 134512640 135180984 3219229040 3086524240 134520027 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3666/tid=3671] ppid=3664 vsize=1063124 CPUtime=759.53
/proc/3666/task/3671/stat : 3671 (satake) R 3664 3666 21929 0 -1 4202560 79045 0 0 0 75474 479 0 0 25 0 5 0 1129207464 1088638976 245777 4294967295 134512640 135180984 3219229040 3086450544 134528680 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2291.35
Current children cumulated vsize (KiB) 1063124

[startup+822.303 s]
/proc/loadavg: 3.05 3.01 3.00 4/104 6312
/proc/meminfo: memFree=2089636/3368532 swapFree=1953580/1959888
[pid=3666] ppid=3664 vsize=1111500 CPUtime=2470.98
/proc/3666/stat : 3666 (satake) S 3664 3666 21929 0 -1 4202496 282048 0 0 0 244735 2363 0 0 21 0 5 0 1129207462 1138176000 257752 4294967295 134512640 135180984 3219229040 3219228476 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3666/statm: 277875 257752 68 164 0 277710 0
[pid=3666/tid=3667] ppid=3664 vsize=1111500 CPUtime=13.57
/proc/3666/task/3667/stat : 3667 (satake) S 3664 3666 21929 0 -1 4202560 6286 0 0 0 308 1049 0 0 16 0 5 0 1129207462 1138176000 257752 4294967295 134512640 135180984 3219229040 3086655504 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=3666/tid=3668] ppid=3664 vsize=1111500 CPUtime=819.18
/proc/3666/task/3668/stat : 3668 (satake) R 3664 3666 21929 0 -1 4202560 97256 0 0 0 81606 312 0 0 25 0 5 0 1129207462 1138176000 257752 4294967295 134512640 135180984 3219229040 3086589808 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3666/tid=3669] ppid=3664 vsize=1111500 CPUtime=818.79
/proc/3666/task/3669/stat : 3669 (satake) R 3664 3666 21929 0 -1 4202560 96513 0 0 0 81374 505 0 0 25 0 5 0 1129207462 1138176000 257752 4294967295 134512640 135180984 3219229040 3086524272 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3666/tid=3671] ppid=3664 vsize=1111500 CPUtime=819.44
/proc/3666/task/3671/stat : 3671 (satake) R 3664 3666 21929 0 -1 4202560 81883 0 0 0 81447 497 0 0 25 0 5 0 1129207464 1138176000 257752 4294967295 134512640 135180984 3219229040 3086450536 134520667 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2470.98
Current children cumulated vsize (KiB) 1111500

[startup+882.318 s]
/proc/loadavg: 3.02 3.01 3.00 4/104 6499
/proc/meminfo: memFree=2051760/3368532 swapFree=1953580/1959888
[pid=3666] ppid=3664 vsize=1148008 CPUtime=2651.01
/proc/3666/stat : 3666 (satake) S 3664 3666 21929 0 -1 4202496 291376 0 0 0 262605 2496 0 0 21 0 5 0 1129207462 1175560192 267080 4294967295 134512640 135180984 3219229040 3219228476 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3666/statm: 287002 267080 68 164 0 286837 0
[pid=3666/tid=3667] ppid=3664 vsize=1148008 CPUtime=14.3
/proc/3666/task/3667/stat : 3667 (satake) S 3664 3666 21929 0 -1 4202560 6578 0 0 0 326 1104 0 0 15 0 5 0 1129207462 1175560192 267080 4294967295 134512640 135180984 3219229040 3086655504 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=3666/tid=3668] ppid=3664 vsize=1148008 CPUtime=879.1
/proc/3666/task/3668/stat : 3668 (satake) R 3664 3666 21929 0 -1 4202560 100624 0 0 0 87573 337 0 0 25 0 5 0 1129207462 1175560192 267080 4294967295 134512640 135180984 3219229040 3086589808 134525938 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3666/tid=3669] ppid=3664 vsize=1148008 CPUtime=878.21
/proc/3666/task/3669/stat : 3669 (satake) R 3664 3666 21929 0 -1 4202560 100266 0 0 0 87283 538 0 0 25 0 5 0 1129207462 1175560192 267080 4294967295 134512640 135180984 3219229040 3086524272 134528680 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3666/tid=3671] ppid=3664 vsize=1148008 CPUtime=879.4
/proc/3666/task/3671/stat : 3671 (satake) R 3664 3666 21929 0 -1 4202560 83798 0 0 0 87423 517 0 0 25 0 5 0 1129207464 1175560192 267080 4294967295 134512640 135180984 3219229040 3086450544 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2651.01
Current children cumulated vsize (KiB) 1148008

[startup+942.312 s]
/proc/loadavg: 3.00 3.00 3.00 5/104 6688
/proc/meminfo: memFree=2011796/3368532 swapFree=1953580/1959888
[pid=3666] ppid=3664 vsize=1187896 CPUtime=2830.82
/proc/3666/stat : 3666 (satake) S 3664 3666 21929 0 -1 4202496 301490 0 0 0 280518 2564 0 0 21 0 5 0 1129207462 1216405504 277194 4294967295 134512640 135180984 3219229040 3219228476 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3666/statm: 296974 277194 68 164 0 296809 0
[pid=3666/tid=3667] ppid=3664 vsize=1187896 CPUtime=14.57
/proc/3666/task/3667/stat : 3667 (satake) S 3664 3666 21929 0 -1 4202560 6642 0 0 0 331 1126 0 0 16 0 5 0 1129207462 1216405504 277194 4294967295 134512640 135180984 3219229040 3086655504 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=3666/tid=3668] ppid=3664 vsize=1187896 CPUtime=939.03
/proc/3666/task/3668/stat : 3668 (satake) R 3664 3666 21929 0 -1 4202560 104542 0 0 0 93560 343 0 0 25 0 5 0 1129207462 1216405504 277194 4294967295 134512640 135180984 3219229040 3086589640 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3666/tid=3669] ppid=3664 vsize=1187896 CPUtime=937.87
/proc/3666/task/3669/stat : 3669 (satake) R 3664 3666 21929 0 -1 4202560 104646 0 0 0 93220 567 0 0 25 0 5 0 1129207462 1216405504 277194 4294967295 134512640 135180984 3219229040 3086524272 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3666/tid=3671] ppid=3664 vsize=1187896 CPUtime=939.35
/proc/3666/task/3671/stat : 3671 (satake) R 3664 3666 21929 0 -1 4202560 85550 0 0 0 93407 528 0 0 25 0 5 0 1129207464 1216405504 277194 4294967295 134512640 135180984 3219229040 3086450544 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2830.82
Current children cumulated vsize (KiB) 1187896



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 3.07 3.02 3.00 5/104 6876
/proc/meminfo: memFree=1978392/3368532 swapFree=1953580/1959888
[pid=3666] ppid=3664 vsize=1220208 CPUtime=3003.74
/proc/3666/stat : 3666 (satake) S 3664 3666 21929 0 -1 4202496 309423 0 0 0 297763 2611 0 0 21 0 5 0 1129207462 1249492992 285127 4294967295 134512640 135180984 3219229040 3219228476 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3666/statm: 305052 285127 68 164 0 304887 0
[pid=3666/tid=3667] ppid=3664 vsize=1220208 CPUtime=14.82
/proc/3666/task/3667/stat : 3667 (satake) S 3664 3666 21929 0 -1 4202560 6708 0 0 0 339 1143 0 0 16 0 5 0 1129207462 1249492992 285127 4294967295 134512640 135180984 3219229040 3086655504 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=3666/tid=3668] ppid=3664 vsize=1220208 CPUtime=996.56
/proc/3666/task/3668/stat : 3668 (satake) R 3664 3666 21929 0 -1 4202560 107722 0 0 0 99307 349 0 0 25 0 5 0 1129207462 1249492992 285127 4294967295 134512640 135180984 3219229040 3086589808 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3666/tid=3669] ppid=3664 vsize=1220208 CPUtime=995.35
/proc/3666/task/3669/stat : 3669 (satake) R 3664 3666 21929 0 -1 4202560 107700 0 0 0 98953 582 0 0 25 0 5 0 1129207462 1249492992 285127 4294967295 134512640 135180984 3219229040 3086524272 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3666/tid=3671] ppid=3664 vsize=1220208 CPUtime=997.01
/proc/3666/task/3671/stat : 3671 (satake) R 3664 3666 21929 0 -1 4202560 87183 0 0 0 99164 537 0 0 25 0 5 0 1129207464 1249492992 285127 4294967295 134512640 135180984 3219229040 3086450540 134518208 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3003.74
Current children cumulated vsize (KiB) 1220208

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.09
CPU time (s): 3003.86
CPU user time (s): 2977.69
CPU system time (s): 26.17
CPU usage (%): 300.358
Max. virtual memory (cumulated for all children) (KiB): 1220208

deleting IPC queue 10485760
deleting IPC queue 10518529
deleting IPC queue 10551298
deleting IPC queue 10584067
deleting IPC queue 10616836
deleting IPC queue 10649605
deleting IPC queue 10682374
deleting IPC queue 10715143
deleting IPC queue 10747912
deleting IPC queue 10780681
deleting IPC queue 10813450
deleting IPC queue 10846219
deleting IPC queue 10878988
deleting IPC queue 10911757
deleting IPC queue 10944526
deleting IPC queue 10977295

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2977.69
system time used= 26.17
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 309424
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= 1164252
involuntary context switches= 678345

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 03:03:49
IDJOB=1780060
IDBENCH=70950
IDSOLVER=629
FILE ID=/1780060-1243645429
PBS_JOBID=
Free space on /tmp= 15854 MiB

SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/c32sat/post-cbmc-aes-ee-r2-noholes.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1780060-1243645429/watcher-1780060-1243645429 -o /tmp/evaluation-result-1780060-1243645429/solver-1780060-1243645429 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780060-1243645429.cnf 4 10000

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

MD5SUM BENCH= 4c8b9603e0c90cfb3c82064eae956799
RANDOM SEED= 750671725

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:       3120060 kB
Buffers:         38260 kB
Cached:         132388 kB
SwapCached:       2424 kB
Active:         125004 kB
Inactive:        56036 kB
HighTotal:     2489216 kB
HighFree:      2343872 kB
LowTotal:       879316 kB
LowFree:        776188 kB
SwapTotal:     1959888 kB
SwapFree:      1953580 kB
Dirty:           33684 kB
Writeback:           0 kB
AnonPages:        9496 kB
Mapped:           4940 kB
Slab:            57628 kB
SReclaimable:    49428 kB
SUnreclaim:       8200 kB
PageTables:        536 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    93568 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15854 MiB
End job on  at 2009-05-30 03:20:33