Trace number 1780705

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
satake 2009-03-22 (4 threads)? (TO) 3000.43 1000.09

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UTI-20-10p1.cnf
MD5SUM9573f6b4001373bab93d1a02f96820d1
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables260342
Number of clauses1391257
Sum of the clauses size3358569
Maximum clause length10
Minimum clause length1
Number of clauses of size 113149
Number of clauses of size 2984984
Number of clauses of size 3327764
Number of clauses of size 47260
Number of clauses of size 529040
Number of clauses of size over 529060

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-1780705-1243649514/watcher-1780705-1243649514 -o /tmp/evaluation-result-1780705-1243649514/solver-1780705-1243649514 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780705-1243649514.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.91 2.99 2.99 3/99 16718
/proc/meminfo: memFree=3097960/3368532 swapFree=1953580/1959888
[pid=16718] ppid=16716 vsize=5264 CPUtime=0
/proc/16718/stat : 16718 (satake) S 16716 16718 21929 0 -1 4202496 689 0 0 0 0 0 0 0 18 0 5 0 1129616029 5390336 646 4294967295 134512640 135180984 3218911520 3218910956 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/16718/statm: 1316 651 63 164 0 1151 0
[pid=16718/tid=16719] ppid=16716 vsize=5264 CPUtime=0
/proc/16718/task/16719/stat : 16719 (satake) S 16716 16718 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129616029 5390336 702 4294967295 134512640 135180984 3218911520 3086962704 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=16718/tid=16720] ppid=16716 vsize=5264 CPUtime=0
/proc/16718/task/16720/stat : 16720 (satake) R 16716 16718 21929 0 -1 4202560 632 0 0 0 0 0 0 0 19 0 5 0 1129616029 5390336 707 4294967295 134512640 135180984 3218911520 3086897444 134583077 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=16718/tid=16721] ppid=16716 vsize=5264 CPUtime=0
/proc/16718/task/16721/stat : 16721 (satake) R 16716 16718 21929 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 5 0 1129616029 5390336 713 4294967295 134512640 135180984 3218911520 3086832452 134705812 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=16718/tid=16722] ppid=16716 vsize=5264 CPUtime=0
/proc/16718/task/16722/stat : 16722 (satake) R 16716 16718 21929 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1129616029 5390336 718 4294967295 134512640 135180984 3218911520 3086766916 134705812 0 0 0 0 0 0 0 -1 2 0 0 0

[startup+0.098577 s]
/proc/loadavg: 2.91 2.99 2.99 3/99 16718
/proc/meminfo: memFree=3097960/3368532 swapFree=1953580/1959888
[pid=16718] ppid=16716 vsize=110240 CPUtime=0.23
/proc/16718/stat : 16718 (satake) S 16716 16718 21929 0 -1 4202496 24808 0 0 0 7 16 0 0 18 0 5 0 1129616029 112885760 24752 4294967295 134512640 135180984 3218911520 3218910956 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/16718/statm: 27692 24970 63 164 0 27527 0
[pid=16718/tid=16719] ppid=16716 vsize=110768 CPUtime=0
/proc/16718/task/16719/stat : 16719 (satake) S 16716 16718 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129616029 113426432 25062 4294967295 134512640 135180984 3218911520 3086962704 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=16718/tid=16720] ppid=16716 vsize=110768 CPUtime=0.09
/proc/16718/task/16720/stat : 16720 (satake) D 16716 16718 21929 0 -1 4202560 9242 0 0 0 3 6 0 0 19 0 5 0 1129616029 113426432 25175 4294967295 134512640 135180984 3218911520 3086897216 134702260 0 0 0 0 3223098951 0 0 -1 3 0 0 0
[pid=16718/tid=16721] ppid=16716 vsize=110900 CPUtime=0.09
/proc/16718/task/16721/stat : 16721 (satake) R 16716 16718 21929 0 -1 4202560 8848 0 0 0 3 6 0 0 19 0 5 0 1129616029 113561600 25302 4294967295 134512640 135180984 3218911520 3086831688 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=16718/tid=16722] ppid=16716 vsize=110900 CPUtime=0.05
/proc/16718/task/16722/stat : 16722 (satake) R 16716 16718 21929 0 -1 4202560 7124 0 0 0 1 4 0 0 20 0 5 0 1129616029 113561600 25350 4294967295 134512640 135180984 3218911520 3086766260 134706046 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 110240

[startup+0.118519 s]
/proc/loadavg: 2.91 2.99 2.99 3/99 16718
/proc/meminfo: memFree=3097960/3368532 swapFree=1953580/1959888
[pid=16718] ppid=16716 vsize=119664 CPUtime=0.29
/proc/16718/stat : 16718 (satake) S 16716 16718 21929 0 -1 4202496 28251 0 0 0 11 18 0 0 18 0 5 0 1129616029 122535936 28194 4294967295 134512640 135180984 3218911520 3218910956 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/16718/statm: 29916 28203 63 164 0 29751 0
[pid=16718/tid=16719] ppid=16716 vsize=119664 CPUtime=0
/proc/16718/task/16719/stat : 16719 (satake) S 16716 16718 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129616029 122535936 28205 4294967295 134512640 135180984 3218911520 3086962704 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=16718/tid=16720] ppid=16716 vsize=119664 CPUtime=0.11
/proc/16718/task/16720/stat : 16720 (satake) R 16716 16718 21929 0 -1 4202560 10236 0 0 0 5 6 0 0 19 0 5 0 1129616029 122535936 28207 4294967295 134512640 135180984 3218911520 3086897224 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=16718/tid=16721] ppid=16716 vsize=119664 CPUtime=0.11
/proc/16718/task/16721/stat : 16721 (satake) R 16716 16718 21929 0 -1 4202560 9833 0 0 0 4 7 0 0 19 0 5 0 1129616029 122535936 28210 4294967295 134512640 135180984 3218911520 3086831856 134522598 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=16718/tid=16722] ppid=16716 vsize=119664 CPUtime=0.07
/proc/16718/task/16722/stat : 16722 (satake) R 16716 16718 21929 0 -1 4202560 8081 0 0 0 2 5 0 0 20 0 5 0 1129616029 122535936 28213 4294967295 134512640 135180984 3218911520 3086766292 134680984 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) 119664

[startup+0.318615 s]
/proc/loadavg: 2.91 2.99 2.99 3/99 16718
/proc/meminfo: memFree=3097960/3368532 swapFree=1953580/1959888
[pid=16718] ppid=16716 vsize=185476 CPUtime=0.87
/proc/16718/stat : 16718 (satake) S 16716 16718 21929 0 -1 4202496 42254 0 0 0 63 24 0 0 18 0 5 0 1129616029 189927424 42197 4294967295 134512640 135180984 3218911520 3218910956 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/16718/statm: 46369 42198 63 164 0 46204 0
[pid=16718/tid=16719] ppid=16716 vsize=185476 CPUtime=0
/proc/16718/task/16719/stat : 16719 (satake) S 16716 16718 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129616029 189927424 42198 4294967295 134512640 135180984 3218911520 3086962704 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=16718/tid=16720] ppid=16716 vsize=185476 CPUtime=0.3
/proc/16718/task/16720/stat : 16720 (satake) R 16716 16718 21929 0 -1 4202560 14196 0 0 0 23 7 0 0 18 0 5 0 1129616029 189927424 42198 4294967295 134512640 135180984 3218911520 3086897300 134579486 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=16718/tid=16721] ppid=16716 vsize=185476 CPUtime=0.3
/proc/16718/task/16721/stat : 16721 (satake) R 16716 16718 21929 0 -1 4202560 14084 0 0 0 21 9 0 0 18 0 5 0 1129616029 189927424 42199 4294967295 134512640 135180984 3218911520 3086831764 134579745 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=16718/tid=16722] ppid=16716 vsize=185476 CPUtime=0.27
/proc/16718/task/16722/stat : 16722 (satake) R 16716 16718 21929 0 -1 4202560 13858 0 0 0 19 8 0 0 19 0 5 0 1129616029 189927424 42200 4294967295 134512640 135180984 3218911520 3086766292 134579745 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) 185476

[startup+0.708462 s]
/proc/loadavg: 2.91 2.99 2.99 3/99 16718
/proc/meminfo: memFree=3097960/3368532 swapFree=1953580/1959888
[pid=16718] ppid=16716 vsize=214188 CPUtime=2.01
/proc/16718/stat : 16718 (satake) S 16716 16718 21929 0 -1 4202496 49115 0 0 0 170 31 0 0 18 0 5 0 1129616029 219328512 49058 4294967295 134512640 135180984 3218911520 3218910956 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/16718/statm: 53547 49059 63 164 0 53382 0
[pid=16718/tid=16719] ppid=16716 vsize=214188 CPUtime=0
/proc/16718/task/16719/stat : 16719 (satake) S 16716 16718 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129616029 219328512 49059 4294967295 134512640 135180984 3218911520 3086962704 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=16718/tid=16720] ppid=16716 vsize=214188 CPUtime=0.68
/proc/16718/task/16720/stat : 16720 (satake) R 16716 16718 21929 0 -1 4202560 16458 0 0 0 57 11 0 0 17 0 5 0 1129616029 219328512 49059 4294967295 134512640 135180984 3218911520 3086897436 134513807 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=16718/tid=16721] ppid=16716 vsize=214188 CPUtime=0.68
/proc/16718/task/16721/stat : 16721 (satake) R 16716 16718 21929 0 -1 4202560 16369 0 0 0 58 10 0 0 17 0 5 0 1129616029 219328512 49059 4294967295 134512640 135180984 3218911520 3086831704 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=16718/tid=16722] ppid=16716 vsize=214188 CPUtime=0.65
/proc/16718/task/16722/stat : 16722 (satake) R 16716 16718 21929 0 -1 4202560 16171 0 0 0 55 10 0 0 16 0 5 0 1129616029 219328512 49059 4294967295 134512640 135180984 3218911520 3086766384 134534836 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 214188

[startup+1.50838 s]
/proc/loadavg: 2.91 2.99 2.99 4/104 16723
/proc/meminfo: memFree=2882100/3368532 swapFree=1953580/1959888
[pid=16718] ppid=16716 vsize=283160 CPUtime=4.39
/proc/16718/stat : 16718 (satake) S 16716 16718 21929 0 -1 4202496 68148 0 0 0 392 47 0 0 18 0 5 0 1129616029 289955840 68091 4294967295 134512640 135180984 3218911520 3218910956 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/16718/statm: 70790 68092 63 164 0 70625 0
[pid=16718/tid=16719] ppid=16716 vsize=283160 CPUtime=0
/proc/16718/task/16719/stat : 16719 (satake) S 16716 16718 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129616029 289955840 68092 4294967295 134512640 135180984 3218911520 3086962704 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=16718/tid=16720] ppid=16716 vsize=283160 CPUtime=1.48
/proc/16718/task/16720/stat : 16720 (satake) R 16716 16718 21929 0 -1 4202560 22852 0 0 0 131 17 0 0 16 0 5 0 1129616029 289955840 68093 4294967295 134512640 135180984 3218911520 3086897440 134513754 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=16718/tid=16721] ppid=16716 vsize=283160 CPUtime=1.47
/proc/16718/task/16721/stat : 16721 (satake) R 16716 16718 21929 0 -1 4202560 22727 0 0 0 131 16 0 0 15 0 5 0 1129616029 289955840 68094 4294967295 134512640 135180984 3218911520 3086831704 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=16718/tid=16722] ppid=16716 vsize=283160 CPUtime=1.44
/proc/16718/task/16722/stat : 16722 (satake) R 16716 16718 21929 0 -1 4202560 22454 0 0 0 130 14 0 0 16 0 5 0 1129616029 289955840 68094 4294967295 134512640 135180984 3218911520 3086766052 134675767 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 283160

[startup+3.10786 s]
/proc/loadavg: 2.91 2.99 2.99 4/104 16723
/proc/meminfo: memFree=2882296/3368532 swapFree=1953580/1959888
[pid=16718] ppid=16716 vsize=246420 CPUtime=9.08
/proc/16718/stat : 16718 (satake) S 16716 16718 21929 0 -1 4202496 76574 0 0 0 858 50 0 0 18 0 5 0 1129616029 252334080 56735 4294967295 134512640 135180984 3218911520 3218910956 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/16718/statm: 61605 56735 68 164 0 61440 0
[pid=16718/tid=16719] ppid=16716 vsize=246420 CPUtime=0.1
/proc/16718/task/16719/stat : 16719 (satake) S 16716 16718 21929 0 -1 4202560 2193 0 0 0 9 1 0 0 16 0 5 0 1129616029 252334080 56735 4294967295 134512640 135180984 3218911520 3086962704 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=16718/tid=16720] ppid=16716 vsize=246420 CPUtime=3
/proc/16718/task/16720/stat : 16720 (satake) R 16716 16718 21929 0 -1 4202560 24797 0 0 0 282 18 0 0 16 0 5 0 1129616029 252334080 56735 4294967295 134512640 135180984 3218911520 3086897008 134528546 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=16718/tid=16721] ppid=16716 vsize=246420 CPUtime=3.01
/proc/16718/task/16721/stat : 16721 (satake) R 16716 16718 21929 0 -1 4202560 24743 0 0 0 284 17 0 0 16 0 5 0 1129616029 252334080 56735 4294967295 134512640 135180984 3218911520 3086831464 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=16718/tid=16722] ppid=16716 vsize=246420 CPUtime=2.98
/proc/16718/task/16722/stat : 16722 (satake) R 16716 16718 21929 0 -1 4202560 24730 0 0 0 284 14 0 0 16 0 5 0 1129616029 252334080 56735 4294967295 134512640 135180984 3218911520 3086765840 134525177 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.08
Current children cumulated vsize (KiB) 246420

[startup+6.30757 s]
/proc/loadavg: 2.91 2.99 2.99 4/104 16723
/proc/meminfo: memFree=2871780/3368532 swapFree=1953580/1959888
[pid=16718] ppid=16716 vsize=246816 CPUtime=18.7
/proc/16718/stat : 16718 (satake) S 16716 16718 21929 0 -1 4202496 76786 0 0 0 1808 62 0 0 18 0 5 0 1129616029 252739584 56947 4294967295 134512640 135180984 3218911520 3218910956 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/16718/statm: 61704 56947 68 164 0 61539 0
[pid=16718/tid=16719] ppid=16716 vsize=246816 CPUtime=0.18
/proc/16718/task/16719/stat : 16719 (satake) S 16716 16718 21929 0 -1 4202560 2200 0 0 0 10 8 0 0 16 0 5 0 1129616029 252739584 56947 4294967295 134512640 135180984 3218911520 3086962704 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=16718/tid=16720] ppid=16716 vsize=246816 CPUtime=6.18
/proc/16718/task/16720/stat : 16720 (satake) R 16716 16718 21929 0 -1 4202560 24855 0 0 0 600 18 0 0 20 0 5 0 1129616029 252739584 56947 4294967295 134512640 135180984 3218911520 3086897000 134520863 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=16718/tid=16721] ppid=16716 vsize=246816 CPUtime=6.2
/proc/16718/task/16721/stat : 16721 (satake) R 16716 16718 21929 0 -1 4202560 24807 0 0 0 600 20 0 0 20 0 5 0 1129616029 252739584 56947 4294967295 134512640 135180984 3218911520 3086831472 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=16718/tid=16722] ppid=16716 vsize=246816 CPUtime=6.15
/proc/16718/task/16722/stat : 16722 (satake) R 16716 16718 21929 0 -1 4202560 24813 0 0 0 599 16 0 0 20 0 5 0 1129616029 252739584 56947 4294967295 134512640 135180984 3218911520 3086765936 134528568 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.7
Current children cumulated vsize (KiB) 246816

[startup+12.7069 s]
/proc/loadavg: 2.92 2.99 2.99 4/104 16723
/proc/meminfo: memFree=2870200/3368532 swapFree=1953580/1959888
[pid=16718] ppid=16716 vsize=248152 CPUtime=38.03
/proc/16718/stat : 16718 (satake) S 16716 16718 21929 0 -1 4202496 77195 0 0 0 3717 86 0 0 18 0 5 0 1129616029 254107648 57356 4294967295 134512640 135180984 3218911520 3218910956 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/16718/statm: 62038 57356 68 164 0 61873 0
[pid=16718/tid=16719] ppid=16716 vsize=248152 CPUtime=0.34
/proc/16718/task/16719/stat : 16719 (satake) S 16716 16718 21929 0 -1 4202560 2205 0 0 0 14 20 0 0 16 0 5 0 1129616029 254107648 57356 4294967295 134512640 135180984 3218911520 3086962704 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=16718/tid=16720] ppid=16716 vsize=248152 CPUtime=12.58
/proc/16718/task/16720/stat : 16720 (satake) R 16716 16718 21929 0 -1 4202560 25096 0 0 0 1237 21 0 0 25 0 5 0 1129616029 254107648 57357 4294967295 134512640 135180984 3218911520 3086896912 134525209 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=16718/tid=16721] ppid=16716 vsize=248152 CPUtime=12.6
/proc/16718/task/16721/stat : 16721 (satake) R 16716 16718 21929 0 -1 4202560 24869 0 0 0 1236 24 0 0 25 0 5 0 1129616029 254107648 57357 4294967295 134512640 135180984 3218911520 3086831472 134528552 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=16718/tid=16722] ppid=16716 vsize=248152 CPUtime=12.52
/proc/16718/task/16722/stat : 16722 (satake) R 16716 16718 21929 0 -1 4202560 24915 0 0 0 1231 21 0 0 25 0 5 0 1129616029 254107648 57357 4294967295 134512640 135180984 3218911520 3086765840 134525274 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 38.03
Current children cumulated vsize (KiB) 248152

[startup+25.5057 s]
/proc/loadavg: 2.94 2.99 2.99 4/104 16723
/proc/meminfo: memFree=2865932/3368532 swapFree=1953580/1959888
[pid=16718] ppid=16716 vsize=252160 CPUtime=76.67
/proc/16718/stat : 16718 (satake) S 16716 16718 21929 0 -1 4202496 78212 0 0 0 7538 129 0 0 18 0 5 0 1129616029 258211840 58373 4294967295 134512640 135180984 3218911520 3218910956 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/16718/statm: 63040 58373 68 164 0 62875 0
[pid=16718/tid=16719] ppid=16716 vsize=252160 CPUtime=0.62
/proc/16718/task/16719/stat : 16719 (satake) S 16716 16718 21929 0 -1 4202560 2216 0 0 0 20 42 0 0 16 0 5 0 1129616029 258211840 58373 4294967295 134512640 135180984 3218911520 3086962704 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=16718/tid=16720] ppid=16716 vsize=252160 CPUtime=25.35
/proc/16718/task/16720/stat : 16720 (satake) R 16716 16718 21929 0 -1 4202560 25537 0 0 0 2504 31 0 0 25 0 5 0 1129616029 258211840 58373 4294967295 134512640 135180984 3218911520 3086897008 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=16718/tid=16721] ppid=16716 vsize=252160 CPUtime=25.39
/proc/16718/task/16721/stat : 16721 (satake) R 16716 16718 21929 0 -1 4202560 25130 0 0 0 2508 31 0 0 25 0 5 0 1129616029 258211840 58373 4294967295 134512640 135180984 3218911520 3086831408 134523641 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=16718/tid=16722] ppid=16716 vsize=252160 CPUtime=25.32
/proc/16718/task/16722/stat : 16722 (satake) R 16716 16718 21929 0 -1 4202560 25218 0 0 0 2507 25 0 0 25 0 5 0 1129616029 258211840 58373 4294967295 134512640 135180984 3218911520 3086765928 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 76.67
Current children cumulated vsize (KiB) 252160

[startup+51.1033 s]
/proc/loadavg: 3.02 3.01 3.00 4/104 16908
/proc/meminfo: memFree=2851868/3368532 swapFree=1953580/1959888
[pid=16718] ppid=16716 vsize=265536 CPUtime=153.99
/proc/16718/stat : 16718 (satake) S 16716 16718 21929 0 -1 4202496 81682 0 0 0 15150 249 0 0 18 0 5 0 1129616029 271908864 61843 4294967295 134512640 135180984 3218911520 3218910956 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/16718/statm: 66384 61843 68 164 0 66219 0
[pid=16718/tid=16719] ppid=16716 vsize=265536 CPUtime=1.3
/proc/16718/task/16719/stat : 16719 (satake) S 16716 16718 21929 0 -1 4202560 2255 0 0 0 36 94 0 0 16 0 5 0 1129616029 271908864 61843 4294967295 134512640 135180984 3218911520 3086962704 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=16718/tid=16720] ppid=16716 vsize=265536 CPUtime=50.92
/proc/16718/task/16720/stat : 16720 (satake) R 16716 16718 21929 0 -1 4202560 26811 0 0 0 5030 62 0 0 25 0 5 0 1129616029 271908864 61843 4294967295 134512640 135180984 3218911520 3086896944 134523641 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=16718/tid=16721] ppid=16716 vsize=265536 CPUtime=50.93
/proc/16718/task/16721/stat : 16721 (satake) R 16716 16718 21929 0 -1 4202560 26112 0 0 0 5041 52 0 0 25 0 5 0 1129616029 271908864 61843 4294967295 134512640 135180984 3218911520 3086831464 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=16718/tid=16722] ppid=16716 vsize=265536 CPUtime=50.85
/proc/16718/task/16722/stat : 16722 (satake) R 16716 16718 21929 0 -1 4202560 26393 0 0 0 5044 41 0 0 25 0 5 0 1129616029 271908864 61843 4294967295 134512640 135180984 3218911520 3086765868 134523868 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 153.99
Current children cumulated vsize (KiB) 265536

[startup+102.308 s]
/proc/loadavg: 3.00 3.00 3.00 4/104 17096

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

[pid=16718/tid=16720] ppid=16716 vsize=613892 CPUtime=521.61
/proc/16718/task/16720/stat : 16720 (satake) R 16716 16718 21929 0 -1 4202560 57324 0 0 0 51951 210 0 0 25 0 5 0 1129616029 628625408 148859 4294967295 134512640 135180984 3218911520 3086897008 134528674 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=16718/tid=16721] ppid=16716 vsize=613892 CPUtime=520.05
/proc/16718/task/16721/stat : 16721 (satake) R 16716 16718 21929 0 -1 4202560 52382 0 0 0 51857 148 0 0 25 0 5 0 1129616029 628625408 148859 4294967295 134512640 135180984 3218911520 3086831344 134522961 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=16718/tid=16722] ppid=16716 vsize=613892 CPUtime=521.17
/proc/16718/task/16722/stat : 16722 (satake) R 16716 16718 21929 0 -1 4202560 56246 0 0 0 51963 154 0 0 25 0 5 0 1129616029 628625408 148859 4294967295 134512640 135180984 3218911520 3086765808 134522980 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1567.95
Current children cumulated vsize (KiB) 613892

[startup+582.313 s]
/proc/loadavg: 3.01 3.02 3.00 4/104 18607
/proc/meminfo: memFree=2456796/3368532 swapFree=1953580/1959888
[pid=16718] ppid=16716 vsize=661908 CPUtime=1747.83
/proc/16718/stat : 16718 (satake) S 16716 16718 21929 0 -1 4202496 180479 0 0 0 173862 921 0 0 18 0 5 0 1129616029 677793792 160640 4294967295 134512640 135180984 3218911520 3218910956 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/16718/statm: 165477 160640 68 164 0 165312 0
[pid=16718/tid=16719] ppid=16716 vsize=661908 CPUtime=5.31
/proc/16718/task/16719/stat : 16719 (satake) S 16716 16718 21929 0 -1 4202560 2649 0 0 0 143 388 0 0 15 0 5 0 1129616029 677793792 160640 4294967295 134512640 135180984 3218911520 3086962704 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=16718/tid=16720] ppid=16716 vsize=661908 CPUtime=581.6
/proc/16718/task/16720/stat : 16720 (satake) R 16716 16718 21929 0 -1 4202560 61218 0 0 0 57942 218 0 0 25 0 5 0 1129616029 677793792 160640 4294967295 134512640 135180984 3218911520 3086897008 134519339 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=16718/tid=16721] ppid=16716 vsize=661908 CPUtime=579.81
/proc/16718/task/16721/stat : 16721 (satake) R 16716 16718 21929 0 -1 4202560 56113 0 0 0 57827 154 0 0 25 0 5 0 1129616029 677793792 160640 4294967295 134512640 135180984 3218911520 3086831472 134528680 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=16718/tid=16722] ppid=16716 vsize=661908 CPUtime=581.12
/proc/16718/task/16722/stat : 16722 (satake) R 16716 16718 21929 0 -1 4202560 60388 0 0 0 57951 161 0 0 25 0 5 0 1129616029 677793792 160640 4294967295 134512640 135180984 3218911520 3086765928 134518263 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1747.83
Current children cumulated vsize (KiB) 661908

[startup+642.307 s]
/proc/loadavg: 3.00 3.02 3.00 4/104 18795
/proc/meminfo: memFree=2408480/3368532 swapFree=1953580/1959888
[pid=16718] ppid=16716 vsize=710708 CPUtime=1927.78
/proc/16718/stat : 16718 (satake) S 16716 16718 21929 0 -1 4202496 192407 0 0 0 191822 956 0 0 18 0 5 0 1129616029 727764992 172568 4294967295 134512640 135180984 3218911520 3218910956 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/16718/statm: 177677 172568 68 164 0 177512 0
[pid=16718/tid=16719] ppid=16716 vsize=710708 CPUtime=5.49
/proc/16718/task/16719/stat : 16719 (satake) S 16716 16718 21929 0 -1 4202560 2668 0 0 0 148 401 0 0 16 0 5 0 1129616029 727764992 172568 4294967295 134512640 135180984 3218911520 3086962704 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=16718/tid=16720] ppid=16716 vsize=710708 CPUtime=641.61
/proc/16718/task/16720/stat : 16720 (satake) R 16716 16718 21929 0 -1 4202560 64860 0 0 0 63938 223 0 0 25 0 5 0 1129616029 727764992 172568 4294967295 134512640 135180984 3218911520 3086896840 134675846 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=16718/tid=16721] ppid=16716 vsize=710708 CPUtime=639.58
/proc/16718/task/16721/stat : 16721 (satake) R 16716 16718 21929 0 -1 4202560 59841 0 0 0 63800 158 0 0 25 0 5 0 1129616029 727764992 172568 4294967295 134512640 135180984 3218911520 3086831468 134518208 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=16718/tid=16722] ppid=16716 vsize=710708 CPUtime=641.1
/proc/16718/task/16722/stat : 16722 (satake) R 16716 16718 21929 0 -1 4202560 64927 0 0 0 63936 174 0 0 25 0 5 0 1129616029 727764992 172568 4294967295 134512640 135180984 3218911520 3086765768 134675767 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1927.78
Current children cumulated vsize (KiB) 710708

[startup+702.311 s]
/proc/loadavg: 3.00 3.01 3.00 4/104 18998
/proc/meminfo: memFree=2362540/3368532 swapFree=1953580/1959888
[pid=16718] ppid=16716 vsize=756900 CPUtime=2107.64
/proc/16718/stat : 16718 (satake) S 16716 16718 21929 0 -1 4202496 203890 0 0 0 209759 1005 0 0 18 0 5 0 1129616029 775065600 184051 4294967295 134512640 135180984 3218911520 3218910956 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/16718/statm: 189225 184051 68 164 0 189060 0
[pid=16718/tid=16719] ppid=16716 vsize=756900 CPUtime=5.67
/proc/16718/task/16719/stat : 16719 (satake) S 16716 16718 21929 0 -1 4202560 2696 0 0 0 149 418 0 0 16 0 5 0 1129616029 775065600 184051 4294967295 134512640 135180984 3218911520 3086962704 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=16718/tid=16720] ppid=16716 vsize=756900 CPUtime=701.59
/proc/16718/task/16720/stat : 16720 (satake) R 16716 16718 21929 0 -1 4202560 68665 0 0 0 69922 237 0 0 25 0 5 0 1129616029 775065600 184051 4294967295 134512640 135180984 3218911520 3086896880 134522706 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=16718/tid=16721] ppid=16716 vsize=756900 CPUtime=699.36
/proc/16718/task/16721/stat : 16721 (satake) R 16716 16718 21929 0 -1 4202560 63673 0 0 0 69770 166 0 0 25 0 5 0 1129616029 775065600 184051 4294967295 134512640 135180984 3218911520 3086831472 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=16718/tid=16722] ppid=16716 vsize=756900 CPUtime=701.03
/proc/16718/task/16722/stat : 16722 (satake) R 16716 16718 21929 0 -1 4202560 68745 0 0 0 69919 184 0 0 25 0 5 0 1129616029 775065600 184051 4294967295 134512640 135180984 3218911520 3086765936 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2107.64
Current children cumulated vsize (KiB) 756900

[startup+762.316 s]
/proc/loadavg: 3.00 3.01 3.00 4/104 19186
/proc/meminfo: memFree=2308980/3368532 swapFree=1953580/1959888
[pid=16718] ppid=16716 vsize=810700 CPUtime=2287.59
/proc/16718/stat : 16718 (satake) S 16716 16718 21929 0 -1 4202496 217319 0 0 0 227713 1046 0 0 18 0 5 0 1129616029 830156800 197480 4294967295 134512640 135180984 3218911520 3218910956 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/16718/statm: 202675 197480 68 164 0 202510 0
[pid=16718/tid=16719] ppid=16716 vsize=810700 CPUtime=5.84
/proc/16718/task/16719/stat : 16719 (satake) S 16716 16718 21929 0 -1 4202560 2712 0 0 0 154 430 0 0 16 0 5 0 1129616029 830156800 197480 4294967295 134512640 135180984 3218911520 3086962704 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=16718/tid=16720] ppid=16716 vsize=810700 CPUtime=761.57
/proc/16718/task/16720/stat : 16720 (satake) R 16716 16718 21929 0 -1 4202560 72795 0 0 0 75913 244 0 0 25 0 5 0 1129616029 830156800 197480 4294967295 134512640 135180984 3218911520 3086897000 134520863 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=16718/tid=16721] ppid=16716 vsize=810700 CPUtime=759.16
/proc/16718/task/16721/stat : 16721 (satake) R 16716 16718 21929 0 -1 4202560 67846 0 0 0 75742 174 0 0 25 0 5 0 1129616029 830156800 197480 4294967295 134512640 135180984 3218911520 3086831376 134525241 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=16718/tid=16722] ppid=16716 vsize=810700 CPUtime=761.03
/proc/16718/task/16722/stat : 16722 (satake) R 16716 16718 21929 0 -1 4202560 73855 0 0 0 75905 198 0 0 25 0 5 0 1129616029 830156800 197480 4294967295 134512640 135180984 3218911520 3086765876 134523982 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2287.59
Current children cumulated vsize (KiB) 810700

[startup+822.31 s]
/proc/loadavg: 3.00 3.00 3.00 4/104 19375
/proc/meminfo: memFree=2258660/3368532 swapFree=1953580/1959888
[pid=16718] ppid=16716 vsize=860636 CPUtime=2467.49
/proc/16718/stat : 16718 (satake) S 16716 16718 21929 0 -1 4202496 229818 0 0 0 245649 1100 0 0 18 0 5 0 1129616029 881291264 209979 4294967295 134512640 135180984 3218911520 3218910956 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/16718/statm: 215159 209979 68 164 0 214994 0
[pid=16718/tid=16719] ppid=16716 vsize=860636 CPUtime=6.16
/proc/16718/task/16719/stat : 16719 (satake) S 16716 16718 21929 0 -1 4202560 2745 0 0 0 166 450 0 0 15 0 5 0 1129616029 881291264 209979 4294967295 134512640 135180984 3218911520 3086962704 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=16718/tid=16720] ppid=16716 vsize=860636 CPUtime=821.52
/proc/16718/task/16720/stat : 16720 (satake) R 16716 16718 21929 0 -1 4202560 76488 0 0 0 81897 255 0 0 25 0 5 0 1129616029 881291264 209979 4294967295 134512640 135180984 3218911520 3086897000 134520863 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=16718/tid=16721] ppid=16716 vsize=860636 CPUtime=818.81
/proc/16718/task/16721/stat : 16721 (satake) R 16716 16718 21929 0 -1 4202560 71996 0 0 0 81705 176 0 0 25 0 5 0 1129616029 881291264 209979 4294967295 134512640 135180984 3218911520 3086831472 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=16718/tid=16722] ppid=16716 vsize=860636 CPUtime=821.01
/proc/16718/task/16722/stat : 16722 (satake) R 16716 16718 21929 0 -1 4202560 78478 0 0 0 81882 219 0 0 25 0 5 0 1129616029 881291264 209979 4294967295 134512640 135180984 3218911520 3086765936 134528636 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2467.49
Current children cumulated vsize (KiB) 860636

[startup+882.304 s]
/proc/loadavg: 3.08 3.02 3.01 4/104 19561
/proc/meminfo: memFree=2214600/3368532 swapFree=1953580/1959888
[pid=16718] ppid=16716 vsize=904528 CPUtime=2647.35
/proc/16718/stat : 16718 (satake) S 16716 16718 21929 0 -1 4202496 240828 0 0 0 263598 1137 0 0 18 0 5 0 1129616029 926236672 220989 4294967295 134512640 135180984 3218911520 3218910956 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/16718/statm: 226132 220989 68 164 0 225967 0
[pid=16718/tid=16719] ppid=16716 vsize=904528 CPUtime=6.34
/proc/16718/task/16719/stat : 16719 (satake) S 16716 16718 21929 0 -1 4202560 2775 0 0 0 170 464 0 0 15 0 5 0 1129616029 926236672 220989 4294967295 134512640 135180984 3218911520 3086962704 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=16718/tid=16720] ppid=16716 vsize=904528 CPUtime=881.49
/proc/16718/task/16720/stat : 16720 (satake) R 16716 16718 21929 0 -1 4202560 79908 0 0 0 87882 267 0 0 25 0 5 0 1129616029 926236672 220989 4294967295 134512640 135180984 3218911520 3086896840 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=16718/tid=16721] ppid=16716 vsize=904528 CPUtime=878.59
/proc/16718/task/16721/stat : 16721 (satake) R 16716 16718 21929 0 -1 4202560 75474 0 0 0 87678 181 0 0 25 0 5 0 1129616029 926236672 220989 4294967295 134512640 135180984 3218911520 3086831472 134528278 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=16718/tid=16722] ppid=16716 vsize=904528 CPUtime=880.94
/proc/16718/task/16722/stat : 16722 (satake) R 16716 16718 21929 0 -1 4202560 82560 0 0 0 87869 225 0 0 25 0 5 0 1129616029 926236672 220989 4294967295 134512640 135180984 3218911520 3086765808 134522614 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2647.35
Current children cumulated vsize (KiB) 904528

[startup+942.308 s]
/proc/loadavg: 3.03 3.01 3.00 4/104 19749
/proc/meminfo: memFree=2170692/3368532 swapFree=1953580/1959888
[pid=16718] ppid=16716 vsize=949008 CPUtime=2827.27
/proc/16718/stat : 16718 (satake) S 16716 16718 21929 0 -1 4202496 251882 0 0 0 281551 1176 0 0 18 0 5 0 1129616029 971784192 232043 4294967295 134512640 135180984 3218911520 3218910956 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/16718/statm: 237252 232043 68 164 0 237087 0
[pid=16718/tid=16719] ppid=16716 vsize=949008 CPUtime=6.54
/proc/16718/task/16719/stat : 16719 (satake) S 16716 16718 21929 0 -1 4202560 2798 0 0 0 177 477 0 0 16 0 5 0 1129616029 971784192 232043 4294967295 134512640 135180984 3218911520 3086962704 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=16718/tid=16720] ppid=16716 vsize=949008 CPUtime=941.47
/proc/16718/task/16720/stat : 16720 (satake) R 16716 16718 21929 0 -1 4202560 83296 0 0 0 93868 279 0 0 25 0 5 0 1129616029 971784192 232043 4294967295 134512640 135180984 3218911520 3086897008 134528680 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=16718/tid=16721] ppid=16716 vsize=949008 CPUtime=938.36
/proc/16718/task/16721/stat : 16721 (satake) R 16716 16718 21929 0 -1 4202560 79185 0 0 0 93649 187 0 0 25 0 5 0 1129616029 971784192 232043 4294967295 134512640 135180984 3218911520 3086831472 134528669 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=16718/tid=16722] ppid=16716 vsize=949008 CPUtime=940.91
/proc/16718/task/16722/stat : 16722 (satake) R 16716 16718 21929 0 -1 4202560 86492 0 0 0 93858 233 0 0 25 0 5 0 1129616029 971784192 232043 4294967295 134512640 135180984 3218911520 3086765936 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2827.27
Current children cumulated vsize (KiB) 949008



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 3.01 3.00 3.00 4/104 19936
/proc/meminfo: memFree=2128544/3368532 swapFree=1953580/1959888
[pid=16718] ppid=16716 vsize=989320 CPUtime=3000.34
/proc/16718/stat : 16718 (satake) S 16716 16718 21929 0 -1 4202496 262292 0 0 0 298825 1209 0 0 18 0 5 0 1129616029 1013063680 242453 4294967295 134512640 135180984 3218911520 3218910956 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/16718/statm: 247330 242453 68 164 0 247165 0
[pid=16718/tid=16719] ppid=16716 vsize=989320 CPUtime=6.72
/proc/16718/task/16719/stat : 16719 (satake) S 16716 16718 21929 0 -1 4202560 2814 0 0 0 184 488 0 0 15 0 5 0 1129616029 1013063680 242453 4294967295 134512640 135180984 3218911520 3086962704 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=16718/tid=16720] ppid=16716 vsize=989320 CPUtime=999.16
/proc/16718/task/16720/stat : 16720 (satake) R 16716 16718 21929 0 -1 4202560 86746 0 0 0 99628 288 0 0 25 0 5 0 1129616029 1013063680 242453 4294967295 134512640 135180984 3218911520 3086897008 134528211 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=16718/tid=16721] ppid=16716 vsize=989320 CPUtime=995.86
/proc/16718/task/16721/stat : 16721 (satake) R 16716 16718 21929 0 -1 4202560 82216 0 0 0 99394 192 0 0 25 0 5 0 1129616029 1013063680 242453 4294967295 134512640 135180984 3218911520 3086831488 134518656 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=16718/tid=16722] ppid=16716 vsize=989320 CPUtime=998.6
/proc/16718/task/16722/stat : 16722 (satake) R 16716 16718 21929 0 -1 4202560 90405 0 0 0 99619 241 0 0 25 0 5 0 1129616029 1013063680 242453 4294967295 134512640 135180984 3218911520 3086765928 134520909 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3000.34
Current children cumulated vsize (KiB) 989320

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): 3000.43
CPU user time (s): 2988.29
CPU system time (s): 12.14
CPU usage (%): 300.016
Max. virtual memory (cumulated for all children) (KiB): 989320

deleting IPC queue 13107200
deleting IPC queue 13139969
deleting IPC queue 13172738
deleting IPC queue 13205507
deleting IPC queue 13238276
deleting IPC queue 13271045
deleting IPC queue 13303814
deleting IPC queue 13336583
deleting IPC queue 13369352
deleting IPC queue 13402121
deleting IPC queue 13434890
deleting IPC queue 13467659
deleting IPC queue 13500428
deleting IPC queue 13533197
deleting IPC queue 13565966
deleting IPC queue 13598735

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2988.29
system time used= 12.14
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262293
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= 539046
involuntary context switches= 319928

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 04:11:54
IDJOB=1780705
IDBENCH=71050
IDSOLVER=629
FILE ID=/1780705-1243649514
PBS_JOBID=
Free space on /tmp= 15859 MiB

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

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

MD5SUM BENCH= 9573f6b4001373bab93d1a02f96820d1
RANDOM SEED= 528361667

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:       3098256 kB
Buffers:         38480 kB
Cached:         153576 kB
SwapCached:       2424 kB
Active:         119408 kB
Inactive:        83020 kB
HighTotal:     2489216 kB
HighFree:      2322588 kB
LowTotal:       879316 kB
LowFree:        775668 kB
SwapTotal:     1959888 kB
SwapFree:      1953580 kB
Dirty:           27680 kB
Writeback:           0 kB
AnonPages:        9728 kB
Mapped:           4940 kB
Slab:            57640 kB
SReclaimable:    49468 kB
SUnreclaim:       8172 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= 15859 MiB
End job on  at 2009-05-30 04:28:38