Trace number 1776505

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) 3001.86 1000.13

General information on the benchmark

Nameindustrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq2.cnf
MD5SUMf0f4556999ccb446384994a4148fca28
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1791.24
Satisfiable
(Un)Satisfiability was proved
Number of variables44095
Number of clauses542253
Sum of the clauses size1554259
Maximum clause length93
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2500227
Number of clauses of size 310265
Number of clauses of size 43051
Number of clauses of size 55229
Number of clauses of size over 523480

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

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


[startup+0 s]
/proc/loadavg: 2.82 2.97 2.95 3/99 9142
/proc/meminfo: memFree=3167008/3368532 swapFree=1953580/1959888
[pid=9142] ppid=9140 vsize=3212 CPUtime=0
/proc/9142/stat : 9142 (satake) S 9140 9142 21929 0 -1 4202496 651 0 0 0 0 0 0 0 18 0 5 0 1128366776 3289088 607 4294967295 134512640 135180984 3219859968 3219859404 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9142/statm: 1315 609 63 164 0 1150 0
[pid=9142/tid=9143] ppid=9140 vsize=5260 CPUtime=0
/proc/9142/task/9143/stat : 9143 (satake) S 9140 9142 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1128366776 5386240 710 4294967295 134512640 135180984 3219859968 3086639120 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=9142/tid=9144] ppid=9140 vsize=5260 CPUtime=0
/proc/9142/task/9144/stat : 9144 (satake) R 9140 9142 21929 0 -1 4202560 642 0 0 0 0 0 0 0 19 0 5 0 1128366776 5386240 715 4294967295 134512640 135180984 3219859968 3086573860 134583077 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9142/tid=9145] ppid=9140 vsize=5260 CPUtime=0
/proc/9142/task/9145/stat : 9145 (satake) R 9140 9142 21929 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 5 0 1128366776 5386240 720 4294967295 134512640 135180984 3219859968 3086508868 134705812 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9142/tid=9146] ppid=9140 vsize=5260 CPUtime=0
/proc/9142/task/9146/stat : 9146 (satake) R 9140 9142 21929 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1128366776 5386240 725 4294967295 134512640 135180984 3219859968 3086443332 134705812 0 0 0 0 0 0 0 -1 2 0 0 0

[startup+0.067803 s]
/proc/loadavg: 2.82 2.97 2.95 3/99 9142
/proc/meminfo: memFree=3167008/3368532 swapFree=1953580/1959888
[pid=9142] ppid=9140 vsize=38344 CPUtime=0.13
/proc/9142/stat : 9142 (satake) S 9140 9142 21929 0 -1 4202496 9052 0 0 0 8 5 0 0 18 0 5 0 1128366776 39264256 9006 4294967295 134512640 135180984 3219859968 3219859404 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9142/statm: 9664 9085 63 164 0 9499 0
[pid=9142/tid=9143] ppid=9140 vsize=38656 CPUtime=0
/proc/9142/task/9143/stat : 9143 (satake) S 9140 9142 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1128366776 39583744 9091 4294967295 134512640 135180984 3219859968 3086639120 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=9142/tid=9144] ppid=9140 vsize=38656 CPUtime=0.05
/proc/9142/task/9144/stat : 9144 (satake) S 9140 9142 21929 0 -1 4202560 3075 0 0 0 3 2 0 0 19 0 5 0 1128366776 39583744 9099 4294967295 134512640 135180984 3219859968 3086573716 134579486 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9142/tid=9145] ppid=9140 vsize=38656 CPUtime=0.06
/proc/9142/task/9145/stat : 9145 (satake) R 9140 9142 21929 0 -1 4202560 3164 0 0 0 4 2 0 0 19 0 5 0 1128366776 39583744 9107 4294967295 134512640 135180984 3219859968 3086508004 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9142/tid=9146] ppid=9140 vsize=38788 CPUtime=0.02
/proc/9142/task/9146/stat : 9146 (satake) R 9140 9142 21929 0 -1 4202560 2835 0 0 0 1 1 0 0 20 0 5 0 1128366776 39718912 9208 4294967295 134512640 135180984 3219859968 3086442468 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 38344

[startup+0.127776 s]
/proc/loadavg: 2.82 2.97 2.95 3/99 9142
/proc/meminfo: memFree=3167008/3368532 swapFree=1953580/1959888
[pid=9142] ppid=9140 vsize=46820 CPUtime=0.3
/proc/9142/stat : 9142 (satake) S 9140 9142 21929 0 -1 4202496 10930 0 0 0 25 5 0 0 18 0 5 0 1128366776 47943680 10877 4294967295 134512640 135180984 3219859968 3219859404 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9142/statm: 11705 10878 63 164 0 11540 0
[pid=9142/tid=9143] ppid=9140 vsize=46820 CPUtime=0
/proc/9142/task/9143/stat : 9143 (satake) S 9140 9142 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1128366776 47943680 10878 4294967295 134512640 135180984 3219859968 3086639120 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=9142/tid=9144] ppid=9140 vsize=46820 CPUtime=0.11
/proc/9142/task/9144/stat : 9144 (satake) R 9140 9142 21929 0 -1 4202560 3647 0 0 0 9 2 0 0 19 0 5 0 1128366776 47943680 10880 4294967295 134512640 135180984 3219859968 3086573796 134680984 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9142/tid=9145] ppid=9140 vsize=46820 CPUtime=0.12
/proc/9142/task/9145/stat : 9145 (satake) R 9140 9142 21929 0 -1 4202560 3795 0 0 0 10 2 0 0 19 0 5 0 1128366776 47943680 10880 4294967295 134512640 135180984 3219859968 3086508004 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9142/tid=9146] ppid=9140 vsize=46820 CPUtime=0.07
/proc/9142/task/9146/stat : 9146 (satake) R 9140 9142 21929 0 -1 4202560 3374 0 0 0 6 1 0 0 20 0 5 0 1128366776 47943680 10881 4294967295 134512640 135180984 3219859968 3086442468 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 46820

[startup+0.328782 s]
/proc/loadavg: 2.82 2.97 2.95 3/99 9142
/proc/meminfo: memFree=3167008/3368532 swapFree=1953580/1959888
[pid=9142] ppid=9140 vsize=74880 CPUtime=0.93
/proc/9142/stat : 9142 (satake) S 9140 9142 21929 0 -1 4202496 17759 0 0 0 83 10 0 0 18 0 5 0 1128366776 76677120 17696 4294967295 134512640 135180984 3219859968 3219859404 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9142/statm: 18786 17932 63 164 0 18621 0
[pid=9142/tid=9143] ppid=9140 vsize=75144 CPUtime=0
/proc/9142/task/9143/stat : 9143 (satake) S 9140 9142 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1128366776 76947456 17999 4294967295 134512640 135180984 3219859968 3086639120 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=9142/tid=9144] ppid=9140 vsize=77836 CPUtime=0.33
/proc/9142/task/9144/stat : 9144 (satake) R 9140 9142 21929 0 -1 4202560 5986 0 0 0 30 3 0 0 17 0 5 0 1128366776 79704064 18052 4294967295 134512640 135180984 3219859968 3086573716 134579486 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9142/tid=9145] ppid=9140 vsize=77968 CPUtime=0.34
/proc/9142/task/9145/stat : 9145 (satake) R 9140 9142 21929 0 -1 4202560 6299 0 0 0 29 5 0 0 17 0 5 0 1128366776 79839232 18205 4294967295 134512640 135180984 3219859968 3086508320 134513726 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9142/tid=9146] ppid=9140 vsize=78992 CPUtime=0.3
/proc/9142/task/9146/stat : 9146 (satake) R 9140 9142 21929 0 -1 4202560 5851 0 0 0 28 2 0 0 18 0 5 0 1128366776 80887808 18338 4294967295 134512640 135180984 3219859968 3086442644 134579745 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 74880

[startup+0.707349 s]
/proc/loadavg: 2.82 2.97 2.95 3/99 9142
/proc/meminfo: memFree=3167008/3368532 swapFree=1953580/1959888
[pid=9142] ppid=9140 vsize=83268 CPUtime=2
/proc/9142/stat : 9142 (satake) S 9140 9142 21929 0 -1 4202496 26179 0 0 0 185 15 0 0 18 0 5 0 1128366776 85266432 18423 4294967295 134512640 135180984 3219859968 3219859404 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9142/statm: 20817 18423 68 164 0 20652 0
[pid=9142/tid=9143] ppid=9140 vsize=83268 CPUtime=0.01
/proc/9142/task/9143/stat : 9143 (satake) R 9140 9142 21929 0 -1 4202560 780 0 0 0 0 1 0 0 16 0 5 0 1128366776 85266432 18423 4294967295 134512640 135180984 3219859968 3086639124 134580588 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9142/tid=9144] ppid=9140 vsize=83268 CPUtime=0.67
/proc/9142/task/9144/stat : 9144 (satake) R 9140 9142 21929 0 -1 4202560 8204 0 0 0 63 4 0 0 15 0 5 0 1128366776 85266432 18423 4294967295 134512640 135180984 3219859968 3086573316 134579745 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9142/tid=9145] ppid=9140 vsize=83268 CPUtime=0.68
/proc/9142/task/9145/stat : 9145 (satake) R 9140 9142 21929 0 -1 4202560 8536 0 0 0 62 6 0 0 16 0 5 0 1128366776 85266432 18423 4294967295 134512640 135180984 3219859968 3086507824 134523641 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9142/tid=9146] ppid=9140 vsize=83268 CPUtime=0.65
/proc/9142/task/9146/stat : 9146 (satake) R 9140 9142 21929 0 -1 4202560 8549 0 0 0 61 4 0 0 17 0 5 0 1128366776 85266432 18423 4294967295 134512640 135180984 3219859968 3086442352 134528633 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 83268

[startup+1.50727 s]
/proc/loadavg: 2.82 2.97 2.95 5/104 9147
/proc/meminfo: memFree=3093488/3368532 swapFree=1953580/1959888
[pid=9142] ppid=9140 vsize=85096 CPUtime=4.36
/proc/9142/stat : 9142 (satake) S 9140 9142 21929 0 -1 4202496 26763 0 0 0 407 29 0 0 18 0 5 0 1128366776 87138304 19007 4294967295 134512640 135180984 3219859968 3219859404 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9142/statm: 21274 19007 68 164 0 21109 0
[pid=9142/tid=9143] ppid=9140 vsize=85096 CPUtime=0.09
/proc/9142/task/9143/stat : 9143 (satake) S 9140 9142 21929 0 -1 4202560 811 0 0 0 3 6 0 0 16 0 5 0 1128366776 87138304 19007 4294967295 134512640 135180984 3219859968 3086639120 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=9142/tid=9144] ppid=9140 vsize=85096 CPUtime=1.45
/proc/9142/task/9144/stat : 9144 (satake) R 9140 9142 21929 0 -1 4202560 8412 0 0 0 136 9 0 0 16 0 5 0 1128366776 87138304 19007 4294967295 134512640 135180984 3219859968 3086573140 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9142/tid=9145] ppid=9140 vsize=85096 CPUtime=1.47
/proc/9142/task/9145/stat : 9145 (satake) R 9140 9142 21929 0 -1 4202560 8721 0 0 0 138 9 0 0 17 0 5 0 1128366776 87138304 19007 4294967295 134512640 135180984 3219859968 3086507904 134518667 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9142/tid=9146] ppid=9140 vsize=85096 CPUtime=1.36
/proc/9142/task/9146/stat : 9146 (satake) R 9140 9142 21929 0 -1 4202560 8709 0 0 0 131 5 0 0 18 0 5 0 1128366776 87138304 19007 4294967295 134512640 135180984 3219859968 3086442352 134528259 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 85096

[startup+3.10713 s]
/proc/loadavg: 2.82 2.97 2.95 4/104 9147
/proc/meminfo: memFree=3089788/3368532 swapFree=1953580/1959888
[pid=9142] ppid=9140 vsize=91328 CPUtime=9.32
/proc/9142/stat : 9142 (satake) S 9140 9142 21929 0 -1 4202496 28338 0 0 0 870 62 0 0 18 0 5 0 1128366776 93519872 20582 4294967295 134512640 135180984 3219859968 3219859404 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9142/statm: 22832 20582 68 164 0 22667 0
[pid=9142/tid=9143] ppid=9140 vsize=91328 CPUtime=0.3
/proc/9142/task/9143/stat : 9143 (satake) S 9140 9142 21929 0 -1 4202560 872 0 0 0 6 24 0 0 16 0 5 0 1128366776 93519872 20582 4294967295 134512640 135180984 3219859968 3086639120 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=9142/tid=9144] ppid=9140 vsize=91328 CPUtime=3.05
/proc/9142/task/9144/stat : 9144 (satake) R 9140 9142 21929 0 -1 4202560 8877 0 0 0 292 13 0 0 18 0 5 0 1128366776 93519872 20582 4294967295 134512640 135180984 3219859968 3086573256 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9142/tid=9145] ppid=9140 vsize=91328 CPUtime=3.07
/proc/9142/task/9145/stat : 9145 (satake) R 9140 9142 21929 0 -1 4202560 9219 0 0 0 290 17 0 0 19 0 5 0 1128366776 93519872 20582 4294967295 134512640 135180984 3219859968 3086507888 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9142/tid=9146] ppid=9140 vsize=91328 CPUtime=2.91
/proc/9142/task/9146/stat : 9146 (satake) R 9140 9142 21929 0 -1 4202560 9260 0 0 0 283 8 0 0 20 0 5 0 1128366776 93519872 20582 4294967295 134512640 135180984 3219859968 3086442352 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.32
Current children cumulated vsize (KiB) 91328

[startup+6.30682 s]
/proc/loadavg: 2.84 2.97 2.95 4/104 9147
/proc/meminfo: memFree=3075600/3368532 swapFree=1953580/1959888
[pid=9142] ppid=9140 vsize=104932 CPUtime=19.13
/proc/9142/stat : 9142 (satake) S 9140 9142 21929 0 -1 4202496 31609 0 0 0 1806 107 0 0 18 0 5 0 1128366776 107450368 23853 4294967295 134512640 135180984 3219859968 3219859404 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9142/statm: 26233 23853 68 164 0 26068 0
[pid=9142/tid=9143] ppid=9140 vsize=104932 CPUtime=0.54
/proc/9142/task/9143/stat : 9143 (satake) S 9140 9142 21929 0 -1 4202560 951 0 0 0 11 43 0 0 16 0 5 0 1128366776 107450368 23853 4294967295 134512640 135180984 3219859968 3086639120 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=9142/tid=9144] ppid=9140 vsize=104932 CPUtime=6.24
/proc/9142/task/9144/stat : 9144 (satake) R 9140 9142 21929 0 -1 4202560 9866 0 0 0 597 27 0 0 25 0 5 0 1128366776 107450368 23853 4294967295 134512640 135180984 3219859968 3086573256 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9142/tid=9145] ppid=9140 vsize=104932 CPUtime=6.26
/proc/9142/task/9145/stat : 9145 (satake) R 9140 9142 21929 0 -1 4202560 10213 0 0 0 601 25 0 0 25 0 5 0 1128366776 107450368 23853 4294967295 134512640 135180984 3219859968 3086507888 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9142/tid=9146] ppid=9140 vsize=104932 CPUtime=6.1
/proc/9142/task/9146/stat : 9146 (satake) R 9140 9142 21929 0 -1 4202560 10469 0 0 0 598 12 0 0 25 0 5 0 1128366776 107450368 23853 4294967295 134512640 135180984 3219859968 3086442352 134528267 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 19.13
Current children cumulated vsize (KiB) 104932

[startup+12.7062 s]
/proc/loadavg: 2.85 2.97 2.95 4/104 9147
/proc/meminfo: memFree=3055476/3368532 swapFree=1953580/1959888
[pid=9142] ppid=9140 vsize=124436 CPUtime=38.98
/proc/9142/stat : 9142 (satake) S 9140 9142 21929 0 -1 4202496 36474 0 0 0 3669 229 0 0 18 0 5 0 1128366776 127422464 28718 4294967295 134512640 135180984 3219859968 3219859404 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9142/statm: 31109 28718 68 164 0 30944 0
[pid=9142/tid=9143] ppid=9140 vsize=124436 CPUtime=1.31
/proc/9142/task/9143/stat : 9143 (satake) S 9140 9142 21929 0 -1 4202560 1222 0 0 0 27 104 0 0 16 0 5 0 1128366776 127422464 28718 4294967295 134512640 135180984 3219859968 3086639120 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=9142/tid=9144] ppid=9140 vsize=124436 CPUtime=12.63
/proc/9142/task/9144/stat : 9144 (satake) R 9140 9142 21929 0 -1 4202560 11276 0 0 0 1209 54 0 0 25 0 5 0 1128366776 127422464 28718 4294967295 134512640 135180984 3219859968 3086573256 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9142/tid=9145] ppid=9140 vsize=124436 CPUtime=12.57
/proc/9142/task/9145/stat : 9145 (satake) R 9140 9142 21929 0 -1 4202560 11622 0 0 0 1206 51 0 0 25 0 5 0 1128366776 127422464 28718 4294967295 134512640 135180984 3219859968 3086507840 134527257 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9142/tid=9146] ppid=9140 vsize=124436 CPUtime=12.47
/proc/9142/task/9146/stat : 9146 (satake) R 9140 9142 21929 0 -1 4202560 12244 0 0 0 1227 20 0 0 25 0 5 0 1128366776 127422464 28718 4294967295 134512640 135180984 3219859968 3086442304 134522982 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 38.98
Current children cumulated vsize (KiB) 124436

[startup+25.505 s]
/proc/loadavg: 2.88 2.97 2.95 4/104 9149
/proc/meminfo: memFree=3007248/3368532 swapFree=1953580/1959888
[pid=9142] ppid=9140 vsize=173044 CPUtime=79.21
/proc/9142/stat : 9142 (satake) S 9140 9142 21929 0 -1 4202496 48261 0 0 0 7356 565 0 0 18 0 5 0 1128366776 177197056 40505 4294967295 134512640 135180984 3219859968 3219859404 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9142/statm: 43261 40505 68 164 0 43096 0
[pid=9142/tid=9143] ppid=9140 vsize=173044 CPUtime=3.48
/proc/9142/task/9143/stat : 9143 (satake) S 9140 9142 21929 0 -1 4202560 2088 0 0 0 73 275 0 0 15 0 5 0 1128366776 177197056 40505 4294967295 134512640 135180984 3219859968 3086639120 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=9142/tid=9144] ppid=9140 vsize=173044 CPUtime=25.28
/proc/9142/task/9144/stat : 9144 (satake) R 9140 9142 21929 0 -1 4202560 14492 0 0 0 2414 114 0 0 25 0 5 0 1128366776 177197056 40505 4294967295 134512640 135180984 3219859968 3086573420 134520661 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9142/tid=9145] ppid=9140 vsize=173044 CPUtime=25.26
/proc/9142/task/9145/stat : 9145 (satake) R 9140 9142 21929 0 -1 4202560 14884 0 0 0 2403 123 0 0 25 0 5 0 1128366776 177197056 40506 4294967295 134512640 135180984 3219859968 3086507888 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9142/tid=9146] ppid=9140 vsize=173044 CPUtime=25.2
/proc/9142/task/9146/stat : 9146 (satake) R 9140 9142 21929 0 -1 4202560 16687 0 0 0 2467 53 0 0 25 0 5 0 1128366776 177197056 40506 4294967295 134512640 135180984 3219859968 3086442352 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 79.21
Current children cumulated vsize (KiB) 173044

[startup+51.1125 s]
/proc/loadavg: 2.92 2.97 2.95 4/104 9334
/proc/meminfo: memFree=2891108/3368532 swapFree=1953580/1959888
[pid=9142] ppid=9140 vsize=289740 CPUtime=156.08
/proc/9142/stat : 9142 (satake) S 9140 9142 21929 0 -1 4202496 77420 0 0 0 14994 614 0 0 18 0 5 0 1128366776 296693760 69664 4294967295 134512640 135180984 3219859968 3219859404 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9142/statm: 72435 69664 68 164 0 72270 0
[pid=9142/tid=9143] ppid=9140 vsize=289740 CPUtime=3.69
/proc/9142/task/9143/stat : 9143 (satake) S 9140 9142 21929 0 -1 4202560 2142 0 0 0 76 293 0 0 15 0 5 0 1128366776 296693760 69664 4294967295 134512640 135180984 3219859968 3086639120 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=9142/tid=9144] ppid=9140 vsize=289740 CPUtime=50.84
/proc/9142/task/9144/stat : 9144 (satake) R 9140 9142 21929 0 -1 4202560 27206 0 0 0 4955 129 0 0 25 0 5 0 1128366776 296693760 69664 4294967295 134512640 135180984 3219859968 3086573256 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9142/tid=9145] ppid=9140 vsize=289740 CPUtime=50.83
/proc/9142/task/9145/stat : 9145 (satake) R 9140 9142 21929 0 -1 4202560 24290 0 0 0 4950 133 0 0 25 0 5 0 1128366776 296693760 69664 4294967295 134512640 135180984 3219859968 3086507856 134519935 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9142/tid=9146] ppid=9140 vsize=289740 CPUtime=50.73
/proc/9142/task/9146/stat : 9146 (satake) R 9140 9142 21929 0 -1 4202560 23672 0 0 0 5014 59 0 0 25 0 5 0 1128366776 296693760 69664 4294967295 134512640 135180984 3219859968 3086442348 134518208 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 156.08
Current children cumulated vsize (KiB) 289740

[startup+102.308 s]
/proc/loadavg: 2.96 2.97 2.95 4/104 9338

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

[pid=9142/tid=9144] ppid=9140 vsize=1282644 CPUtime=521.26
/proc/9142/task/9144/stat : 9144 (satake) R 9140 9142 21929 0 -1 4202560 121250 0 0 0 51898 228 0 0 25 0 5 0 1128366776 1313427456 316180 4294967295 134512640 135180984 3219859968 3086573424 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9142/tid=9145] ppid=9140 vsize=1282644 CPUtime=521.7
/proc/9142/task/9145/stat : 9145 (satake) R 9140 9142 21929 0 -1 4202560 109088 0 0 0 51966 204 0 0 25 0 5 0 1128366776 1313427456 316180 4294967295 134512640 135180984 3219859968 3086507884 134519884 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9142/tid=9146] ppid=9140 vsize=1282644 CPUtime=521.57
/proc/9142/task/9146/stat : 9146 (satake) R 9140 9142 21929 0 -1 4202560 91180 0 0 0 52002 155 0 0 25 0 5 0 1128366776 1313427456 316180 4294967295 134512640 135180984 3219859968 3086442252 134520901 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1569.09
Current children cumulated vsize (KiB) 1282644

[startup+582.312 s]
/proc/loadavg: 2.99 2.97 2.95 4/104 10850
/proc/meminfo: memFree=1835164/3368532 swapFree=1953580/1959888
[pid=9142] ppid=9140 vsize=1349876 CPUtime=1749
/proc/9142/stat : 9142 (satake) S 9140 9142 21929 0 -1 4202496 340660 0 0 0 173931 969 0 0 18 0 5 0 1128366776 1382273024 332904 4294967295 134512640 135180984 3219859968 3219859404 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9142/statm: 337469 332904 68 164 0 337304 0
[pid=9142/tid=9143] ppid=9140 vsize=1349876 CPUtime=4.63
/proc/9142/task/9143/stat : 9143 (satake) S 9140 9142 21929 0 -1 4202560 2318 0 0 0 103 360 0 0 15 0 5 0 1128366776 1382273024 332904 4294967295 134512640 135180984 3219859968 3086639120 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=9142/tid=9144] ppid=9140 vsize=1349876 CPUtime=581.25
/proc/9142/task/9144/stat : 9144 (satake) R 9140 9142 21929 0 -1 4202560 128546 0 0 0 57887 238 0 0 25 0 5 0 1128366776 1382273024 332904 4294967295 134512640 135180984 3219859968 3086573256 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9142/tid=9145] ppid=9140 vsize=1349876 CPUtime=581.66
/proc/9142/task/9145/stat : 9145 (satake) R 9140 9142 21929 0 -1 4202560 113782 0 0 0 57955 211 0 0 25 0 5 0 1128366776 1382273024 332904 4294967295 134512640 135180984 3219859968 3086507888 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9142/tid=9146] ppid=9140 vsize=1349876 CPUtime=581.47
/proc/9142/task/9146/stat : 9146 (satake) R 9140 9142 21929 0 -1 4202560 95904 0 0 0 57987 160 0 0 25 0 5 0 1128366776 1382273024 332904 4294967295 134512640 135180984 3219859968 3086442352 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1749
Current children cumulated vsize (KiB) 1349876

[startup+642.306 s]
/proc/loadavg: 2.99 2.97 2.95 4/104 11039
/proc/meminfo: memFree=1766072/3368532 swapFree=1953580/1959888
[pid=9142] ppid=9140 vsize=1419140 CPUtime=1928.89
/proc/9142/stat : 9142 (satake) S 9140 9142 21929 0 -1 4202496 357826 0 0 0 191904 985 0 0 18 0 5 0 1128366776 1453199360 350070 4294967295 134512640 135180984 3219859968 3219859404 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9142/statm: 354785 350070 68 164 0 354620 0
[pid=9142/tid=9143] ppid=9140 vsize=1419140 CPUtime=4.66
/proc/9142/task/9143/stat : 9143 (satake) S 9140 9142 21929 0 -1 4202560 2325 0 0 0 103 363 0 0 15 0 5 0 1128366776 1453199360 350070 4294967295 134512640 135180984 3219859968 3086639120 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=9142/tid=9144] ppid=9140 vsize=1419140 CPUtime=641.23
/proc/9142/task/9144/stat : 9144 (satake) R 9140 9142 21929 0 -1 4202560 135910 0 0 0 63878 245 0 0 25 0 5 0 1128366776 1453199360 350070 4294967295 134512640 135180984 3219859968 3086573256 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9142/tid=9145] ppid=9140 vsize=1419140 CPUtime=641.6
/proc/9142/task/9145/stat : 9145 (satake) R 9140 9142 21929 0 -1 4202560 118439 0 0 0 63946 214 0 0 25 0 5 0 1128366776 1453199360 350070 4294967295 134512640 135180984 3219859968 3086507888 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9142/tid=9146] ppid=9140 vsize=1419140 CPUtime=641.4
/proc/9142/task/9146/stat : 9146 (satake) R 9140 9142 21929 0 -1 4202560 101042 0 0 0 63977 163 0 0 25 0 5 0 1128366776 1453199360 350070 4294967295 134512640 135180984 3219859968 3086442348 134518208 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1928.89
Current children cumulated vsize (KiB) 1419140

[startup+702.311 s]
/proc/loadavg: 2.99 2.97 2.95 4/104 11226
/proc/meminfo: memFree=1704852/3368532 swapFree=1953580/1959888
[pid=9142] ppid=9140 vsize=1484156 CPUtime=2108.85
/proc/9142/stat : 9142 (satake) S 9140 9142 21929 0 -1 4202496 373371 0 0 0 209877 1008 0 0 18 0 5 0 1128366776 1519775744 365615 4294967295 134512640 135180984 3219859968 3219859404 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9142/statm: 371039 365615 68 164 0 370874 0
[pid=9142/tid=9143] ppid=9140 vsize=1484156 CPUtime=4.71
/proc/9142/task/9143/stat : 9143 (satake) S 9140 9142 21929 0 -1 4202560 2328 0 0 0 103 368 0 0 15 0 5 0 1128366776 1519775744 365615 4294967295 134512640 135180984 3219859968 3086639120 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=9142/tid=9144] ppid=9140 vsize=1484156 CPUtime=701.23
/proc/9142/task/9144/stat : 9144 (satake) R 9140 9142 21929 0 -1 4202560 143298 0 0 0 69871 252 0 0 25 0 5 0 1128366776 1519775744 365615 4294967295 134512640 135180984 3219859968 3086573256 134675846 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9142/tid=9145] ppid=9140 vsize=1484156 CPUtime=701.58
/proc/9142/task/9145/stat : 9145 (satake) R 9140 9142 21929 0 -1 4202560 122182 0 0 0 69940 218 0 0 25 0 5 0 1128366776 1519775744 365615 4294967295 134512640 135180984 3219859968 3086507888 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9142/tid=9146] ppid=9140 vsize=1484156 CPUtime=701.34
/proc/9142/task/9146/stat : 9146 (satake) R 9140 9142 21929 0 -1 4202560 105453 0 0 0 69964 170 0 0 25 0 5 0 1128366776 1519775744 365615 4294967295 134512640 135180984 3219859968 3086442352 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2108.85
Current children cumulated vsize (KiB) 1484156

[startup+762.315 s]
/proc/loadavg: 2.99 2.97 2.95 4/104 11413
/proc/meminfo: memFree=1651668/3368532 swapFree=1953580/1959888
[pid=9142] ppid=9140 vsize=1537552 CPUtime=2288.81
/proc/9142/stat : 9142 (satake) S 9140 9142 21929 0 -1 4202496 386531 0 0 0 227845 1036 0 0 18 0 5 0 1128366776 1574453248 378775 4294967295 134512640 135180984 3219859968 3219859404 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9142/statm: 384388 378775 68 164 0 384223 0
[pid=9142/tid=9143] ppid=9140 vsize=1537552 CPUtime=4.77
/proc/9142/task/9143/stat : 9143 (satake) S 9140 9142 21929 0 -1 4202560 2336 0 0 0 106 371 0 0 15 0 5 0 1128366776 1574453248 378775 4294967295 134512640 135180984 3219859968 3086639120 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=9142/tid=9144] ppid=9140 vsize=1537552 CPUtime=761.22
/proc/9142/task/9144/stat : 9144 (satake) R 9140 9142 21929 0 -1 4202560 149268 0 0 0 75860 262 0 0 25 0 5 0 1128366776 1574453248 378775 4294967295 134512640 135180984 3219859968 3086573256 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9142/tid=9145] ppid=9140 vsize=1537552 CPUtime=761.56
/proc/9142/task/9145/stat : 9145 (satake) R 9140 9142 21929 0 -1 4202560 125680 0 0 0 75930 226 0 0 25 0 5 0 1128366776 1574453248 378775 4294967295 134512640 135180984 3219859968 3086507888 134528206 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9142/tid=9146] ppid=9140 vsize=1537552 CPUtime=761.27
/proc/9142/task/9146/stat : 9146 (satake) R 9140 9142 21929 0 -1 4202560 109137 0 0 0 75950 177 0 0 25 0 5 0 1128366776 1574453248 378775 4294967295 134512640 135180984 3219859968 3086442352 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2288.81
Current children cumulated vsize (KiB) 1537552

[startup+822.309 s]
/proc/loadavg: 2.99 2.97 2.95 4/104 11602
/proc/meminfo: memFree=1597940/3368532 swapFree=1953580/1959888
[pid=9142] ppid=9140 vsize=1590236 CPUtime=2468.75
/proc/9142/stat : 9142 (satake) S 9140 9142 21929 0 -1 4202496 399960 0 0 0 245828 1047 0 0 18 0 5 0 1128366776 1628401664 392204 4294967295 134512640 135180984 3219859968 3219859404 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9142/statm: 397559 392204 68 164 0 397394 0
[pid=9142/tid=9143] ppid=9140 vsize=1590236 CPUtime=4.79
/proc/9142/task/9143/stat : 9143 (satake) S 9140 9142 21929 0 -1 4202560 2337 0 0 0 108 371 0 0 15 0 5 0 1128366776 1628401664 392204 4294967295 134512640 135180984 3219859968 3086639120 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=9142/tid=9144] ppid=9140 vsize=1590236 CPUtime=821.22
/proc/9142/task/9144/stat : 9144 (satake) R 9140 9142 21929 0 -1 4202560 155598 0 0 0 81857 265 0 0 25 0 5 0 1128366776 1628401664 392204 4294967295 134512640 135180984 3219859968 3086573256 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9142/tid=9145] ppid=9140 vsize=1590236 CPUtime=821.51
/proc/9142/task/9145/stat : 9145 (satake) R 9140 9142 21929 0 -1 4202560 129038 0 0 0 81922 229 0 0 25 0 5 0 1128366776 1628401664 392204 4294967295 134512640 135180984 3219859968 3086507824 134523641 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9142/tid=9146] ppid=9140 vsize=1590236 CPUtime=821.24
/proc/9142/task/9146/stat : 9146 (satake) R 9140 9142 21929 0 -1 4202560 112877 0 0 0 81942 182 0 0 25 0 5 0 1128366776 1628401664 392204 4294967295 134512640 135180984 3219859968 3086442352 134528536 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2468.75
Current children cumulated vsize (KiB) 1590236

[startup+882.303 s]
/proc/loadavg: 2.99 2.97 2.95 4/104 11789
/proc/meminfo: memFree=1546168/3368532 swapFree=1953580/1959888
[pid=9142] ppid=9140 vsize=1645220 CPUtime=2648.7
/proc/9142/stat : 9142 (satake) S 9140 9142 21929 0 -1 4202496 412820 0 0 0 263808 1062 0 0 18 0 5 0 1128366776 1684705280 405064 4294967295 134512640 135180984 3219859968 3219859404 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9142/statm: 411305 405064 68 164 0 411140 0
[pid=9142/tid=9143] ppid=9140 vsize=1645220 CPUtime=4.82
/proc/9142/task/9143/stat : 9143 (satake) S 9140 9142 21929 0 -1 4202560 2342 0 0 0 109 373 0 0 15 0 5 0 1128366776 1684705280 405064 4294967295 134512640 135180984 3219859968 3086639120 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=9142/tid=9144] ppid=9140 vsize=1645220 CPUtime=881.19
/proc/9142/task/9144/stat : 9144 (satake) R 9140 9142 21929 0 -1 4202560 162052 0 0 0 87846 273 0 0 25 0 5 0 1128366776 1684705280 405064 4294967295 134512640 135180984 3219859968 3086573424 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9142/tid=9145] ppid=9140 vsize=1645220 CPUtime=881.49
/proc/9142/task/9145/stat : 9145 (satake) R 9140 9142 21929 0 -1 4202560 131829 0 0 0 87917 232 0 0 25 0 5 0 1128366776 1684705280 405064 4294967295 134512640 135180984 3219859968 3086507888 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9142/tid=9146] ppid=9140 vsize=1645220 CPUtime=881.21
/proc/9142/task/9146/stat : 9146 (satake) R 9140 9142 21929 0 -1 4202560 116487 0 0 0 87937 184 0 0 25 0 5 0 1128366776 1684705280 405065 4294967295 134512640 135180984 3219859968 3086442368 134518656 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2648.7
Current children cumulated vsize (KiB) 1645220

[startup+942.308 s]
/proc/loadavg: 2.99 2.97 2.95 4/104 11982
/proc/meminfo: memFree=1498076/3368532 swapFree=1953580/1959888
[pid=9142] ppid=9140 vsize=1696540 CPUtime=2828.63
/proc/9142/stat : 9142 (satake) S 9140 9142 21929 0 -1 4202496 424966 0 0 0 281778 1085 0 0 18 0 5 0 1128366776 1737256960 417210 4294967295 134512640 135180984 3219859968 3219859404 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9142/statm: 424135 417210 68 164 0 423970 0
[pid=9142/tid=9143] ppid=9140 vsize=1696540 CPUtime=4.83
/proc/9142/task/9143/stat : 9143 (satake) S 9140 9142 21929 0 -1 4202560 2343 0 0 0 109 374 0 0 15 0 5 0 1128366776 1737256960 417210 4294967295 134512640 135180984 3219859968 3086639120 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=9142/tid=9144] ppid=9140 vsize=1696540 CPUtime=941.16
/proc/9142/task/9144/stat : 9144 (satake) R 9140 9142 21929 0 -1 4202560 167599 0 0 0 93833 283 0 0 25 0 5 0 1128366776 1737256960 417210 4294967295 134512640 135180984 3219859968 3086573424 134528881 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9142/tid=9145] ppid=9140 vsize=1696540 CPUtime=941.46
/proc/9142/task/9145/stat : 9145 (satake) R 9140 9142 21929 0 -1 4202560 134892 0 0 0 93909 237 0 0 25 0 5 0 1128366776 1737256960 417210 4294967295 134512640 135180984 3219859968 3086507888 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9142/tid=9146] ppid=9140 vsize=1696540 CPUtime=941.19
/proc/9142/task/9146/stat : 9146 (satake) R 9140 9142 21929 0 -1 4202560 120022 0 0 0 93928 191 0 0 25 0 5 0 1128366776 1737256960 417210 4294967295 134512640 135180984 3219859968 3086442352 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2828.63
Current children cumulated vsize (KiB) 1696540



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 2.99 2.97 2.95 4/104 12169
/proc/meminfo: memFree=1452076/3368532 swapFree=1953580/1959888
[pid=9142] ppid=9140 vsize=1742956 CPUtime=3001.73
/proc/9142/stat : 9142 (satake) S 9140 9142 21929 0 -1 4202496 436293 0 0 0 299071 1102 0 0 18 0 5 0 1128366776 1784786944 428537 4294967295 134512640 135180984 3219859968 3219859404 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/9142/statm: 435739 428537 68 164 0 435574 0
[pid=9142/tid=9143] ppid=9140 vsize=1742956 CPUtime=4.9
/proc/9142/task/9143/stat : 9143 (satake) S 9140 9142 21929 0 -1 4202560 2344 0 0 0 111 379 0 0 15 0 5 0 1128366776 1784786944 428537 4294967295 134512640 135180984 3219859968 3086639120 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=9142/tid=9144] ppid=9140 vsize=1742956 CPUtime=998.86
/proc/9142/task/9144/stat : 9144 (satake) R 9140 9142 21929 0 -1 4202560 172449 0 0 0 99595 291 0 0 25 0 5 0 1128366776 1784786944 428537 4294967295 134512640 135180984 3219859968 3086573424 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9142/tid=9145] ppid=9140 vsize=1742956 CPUtime=999.15
/proc/9142/task/9145/stat : 9145 (satake) R 9140 9142 21929 0 -1 4202560 137808 0 0 0 99677 238 0 0 25 0 5 0 1128366776 1784786944 428537 4294967295 134512640 135180984 3219859968 3086507888 134528680 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9142/tid=9146] ppid=9140 vsize=1742956 CPUtime=998.82
/proc/9142/task/9146/stat : 9146 (satake) R 9140 9142 21929 0 -1 4202560 123582 0 0 0 99688 194 0 0 25 0 5 0 1128366776 1784786944 428537 4294967295 134512640 135180984 3219859968 3086442352 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3001.73
Current children cumulated vsize (KiB) 1742956

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.13
CPU time (s): 3001.86
CPU user time (s): 2990.75
CPU system time (s): 11.11
CPU usage (%): 300.148
Max. virtual memory (cumulated for all children) (KiB): 1742956

deleting IPC queue 4194304
deleting IPC queue 4227073
deleting IPC queue 4259842
deleting IPC queue 4292611
deleting IPC queue 4325380
deleting IPC queue 4358149
deleting IPC queue 4390918
deleting IPC queue 4423687
deleting IPC queue 4456456
deleting IPC queue 4489225
deleting IPC queue 4521994
deleting IPC queue 4554763
deleting IPC queue 4587532
deleting IPC queue 4620301
deleting IPC queue 4653070
deleting IPC queue 4685839

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2990.75
system time used= 11.11
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 436297
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= 341297
involuntary context switches= 125203

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 00:43:43
IDJOB=1776505
IDBENCH=20577
IDSOLVER=629
FILE ID=/1776505-1243637023
PBS_JOBID=
Free space on /tmp= 15875 MiB

SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq2.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776505-1243637023/watcher-1776505-1243637023 -o /tmp/evaluation-result-1776505-1243637023/solver-1776505-1243637023 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776505-1243637023.cnf 4 10000

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

MD5SUM BENCH= f0f4556999ccb446384994a4148fca28
RANDOM SEED= 1112695831

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:       3167304 kB
Buffers:         37948 kB
Cached:          85980 kB
SwapCached:       2424 kB
Active:         102664 kB
Inactive:        31824 kB
HighTotal:     2489216 kB
HighFree:      2390776 kB
LowTotal:       879316 kB
LowFree:        776528 kB
SwapTotal:     1959888 kB
SwapFree:      1953580 kB
Dirty:           11252 kB
Writeback:           0 kB
AnonPages:        9424 kB
Mapped:           4764 kB
Slab:            57588 kB
SReclaimable:    49308 kB
SUnreclaim:       8280 kB
PageTables:        508 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    93564 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15875 MiB
End job on  at 2009-05-30 01:00:26