Trace number 1780090

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

General information on the benchmark

NameAPPLICATIONS/c32sat/
post-c32s-gcdm16-23.cnf
MD5SUMa61ef2b7b3d16661e8162c430ffb1a51
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark308.15
Satisfiable
(Un)Satisfiability was proved
Number of variables135543
Number of clauses404326
Sum of the clauses size943426
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2269550
Number of clauses of size 3134775
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1780090-1243645887/watcher-1780090-1243645887 -o /tmp/evaluation-result-1780090-1243645887/solver-1780090-1243645887 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780090-1243645887.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: 5.30 5.28 5.21 7/107 17977
/proc/meminfo: memFree=2319824/3368532 swapFree=1954076/1959888
[pid=17974] ppid=17972 vsize=1092 CPUtime=0
/proc/17974/stat : 17974 (satake) R 17972 17974 3671 0 -1 4202496 109 0 0 0 0 0 0 0 25 0 4 0 1118689924 1118208 66 4294967295 134512640 135180984 3214617872 3214617216 134705812 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17974/statm: 273 66 54 164 0 108 0
[pid=17974/tid=17975] ppid=17972 vsize=1092 CPUtime=0
/proc/17974/task/17975/stat : 17975 (satake) R 17972 17974 3671 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 1118689924 1118208 66 4294967295 134512640 135180984 3214617872 3086009156 134705812 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17974/tid=17976] ppid=17972 vsize=1092 CPUtime=0
/proc/17974/task/17976/stat : 17976 (satake) R 17972 17974 3671 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 1118689924 1118208 66 4294967295 134512640 135180984 3214617872 3085943620 134705812 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17974/tid=17977] ppid=17972 vsize=1092 CPUtime=0
/proc/17974/task/17977/stat : 17977 (satake) R 17972 17974 3671 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 1118689924 1118208 66 4294967295 134512640 135180984 3214617872 3085878084 134705812 0 0 0 0 0 0 0 -1 1 0 0 0

[startup+0.030578 s]
/proc/loadavg: 5.30 5.28 5.21 7/107 17977
/proc/meminfo: memFree=2319824/3368532 swapFree=1954076/1959888
[pid=17974] ppid=17972 vsize=16820 CPUtime=0.03
/proc/17974/stat : 17974 (satake) S 17972 17974 3671 0 -1 4202496 3479 0 0 0 1 2 0 0 25 0 5 0 1118689924 17223680 3436 4294967295 134512640 135180984 3214617872 3214617308 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17974/statm: 4205 3438 63 164 0 4040 0
[pid=17974/tid=17975] ppid=17972 vsize=16820 CPUtime=0
/proc/17974/task/17975/stat : 17975 (satake) S 17972 17974 3671 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1118689924 17223680 3438 4294967295 134512640 135180984 3214617872 3086008336 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17974/tid=17976] ppid=17972 vsize=16820 CPUtime=0.02
/proc/17974/task/17976/stat : 17976 (satake) R 17972 17974 3671 0 -1 4202560 1873 0 0 0 1 1 0 0 25 0 5 0 1118689924 17223680 3438 4294967295 134512640 135180984 3214617872 3085942880 134691935 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17974/tid=17977] ppid=17972 vsize=16820 CPUtime=0.01
/proc/17974/task/17977/stat : 17977 (satake) R 17972 17974 3671 0 -1 4202560 1491 0 0 0 0 1 0 0 25 0 5 0 1118689924 17223680 3438 4294967295 134512640 135180984 3214617872 3085877540 134583077 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 16820

[startup+0.110557 s]
/proc/loadavg: 5.30 5.28 5.21 7/107 17977
/proc/meminfo: memFree=2319824/3368532 swapFree=1954076/1959888
[pid=17974] ppid=17972 vsize=30996 CPUtime=0.11
/proc/17974/stat : 17974 (satake) S 17972 17974 3671 0 -1 4202496 7208 0 0 0 7 4 0 0 25 0 5 0 1118689924 31739904 7154 4294967295 134512640 135180984 3214617872 3214617308 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17974/statm: 7749 7155 63 164 0 7584 0
[pid=17974/tid=17975] ppid=17972 vsize=30996 CPUtime=0
/proc/17974/task/17975/stat : 17975 (satake) S 17972 17974 3671 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1118689924 31739904 7155 4294967295 134512640 135180984 3214617872 3086008336 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17974/tid=17976] ppid=17972 vsize=30996 CPUtime=0.05
/proc/17974/task/17976/stat : 17976 (satake) R 17972 17974 3671 0 -1 4202560 2455 0 0 0 3 2 0 0 25 0 5 0 1118689924 31739904 7155 4294967295 134512640 135180984 3214617872 3085942932 134579486 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17974/tid=17977] ppid=17972 vsize=30996 CPUtime=0.03
/proc/17974/task/17977/stat : 17977 (satake) R 17972 17974 3671 0 -1 4202560 2243 0 0 0 2 1 0 0 25 0 5 0 1118689924 31739904 7156 4294967295 134512640 135180984 3214617872 3085877520 134520025 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 30996

[startup+0.310546 s]
/proc/loadavg: 5.30 5.28 5.21 7/107 17977
/proc/meminfo: memFree=2319824/3368532 swapFree=1954076/1959888
[pid=17974] ppid=17972 vsize=56920 CPUtime=0.41
/proc/17974/stat : 17974 (satake) S 17972 17974 3671 0 -1 4202496 12660 0 0 0 37 4 0 0 25 0 5 0 1118689924 58286080 12592 4294967295 134512640 135180984 3214617872 3214617308 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17974/statm: 14230 12592 63 164 0 14065 0
[pid=17974/tid=17975] ppid=17972 vsize=56920 CPUtime=0
/proc/17974/task/17975/stat : 17975 (satake) S 17972 17974 3671 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1118689924 58286080 12592 4294967295 134512640 135180984 3214617872 3086008336 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17974/tid=17976] ppid=17972 vsize=56920 CPUtime=0.17
/proc/17974/task/17976/stat : 17976 (satake) R 17972 17974 3671 0 -1 4202560 4506 0 0 0 15 2 0 0 25 0 5 0 1118689924 58286080 12593 4294967295 134512640 135180984 3214617872 3085942872 134675846 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17974/tid=17977] ppid=17972 vsize=56920 CPUtime=0.13
/proc/17974/task/17977/stat : 17977 (satake) R 17972 17974 3671 0 -1 4202560 4381 0 0 0 12 1 0 0 25 0 5 0 1118689924 58286080 12593 4294967295 134512640 135180984 3214617872 3085877552 134535205 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 56920

[startup+0.710517 s]
/proc/loadavg: 5.30 5.28 5.21 7/107 17977
/proc/meminfo: memFree=2319824/3368532 swapFree=1954076/1959888
[pid=17974] ppid=17972 vsize=111812 CPUtime=1.09
/proc/17974/stat : 17974 (satake) S 17972 17974 3671 0 -1 4202496 23939 0 0 0 98 11 0 0 25 0 5 0 1118689924 114495488 23871 4294967295 134512640 135180984 3214617872 3214617308 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17974/statm: 27953 23871 64 164 0 27788 0
[pid=17974/tid=17975] ppid=17972 vsize=111812 CPUtime=0
/proc/17974/task/17975/stat : 17975 (satake) S 17972 17974 3671 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1118689924 114495488 23871 4294967295 134512640 135180984 3214617872 3086008336 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17974/tid=17976] ppid=17972 vsize=111812 CPUtime=0.35
/proc/17974/task/17976/stat : 17976 (satake) R 17972 17974 3671 0 -1 4202560 7742 0 0 0 31 4 0 0 25 0 5 0 1118689924 114495488 23872 4294967295 134512640 135180984 3214617872 3085942872 134675846 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17974/tid=17977] ppid=17972 vsize=111812 CPUtime=0.39
/proc/17974/task/17977/stat : 17977 (satake) R 17972 17974 3671 0 -1 4202560 8291 0 0 0 37 2 0 0 25 0 5 0 1118689924 114495488 23872 4294967295 134512640 135180984 3214617872 3085877516 134518208 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 111812

[startup+1.51047 s]
/proc/loadavg: 5.27 5.28 5.20 6/109 17979
/proc/meminfo: memFree=2231764/3368532 swapFree=1954076/1959888
[pid=17974] ppid=17972 vsize=123132 CPUtime=2.45
/proc/17974/stat : 17974 (satake) S 17972 17974 3671 0 -1 4202496 27622 0 0 0 230 15 0 0 25 0 5 0 1118689924 126087168 22325 4294967295 134512640 135180984 3214617872 3214617308 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17974/statm: 30783 22325 68 164 0 30618 0
[pid=17974/tid=17975] ppid=17972 vsize=123132 CPUtime=0.05
/proc/17974/task/17975/stat : 17975 (satake) S 17972 17974 3671 0 -1 4202560 2409 0 0 0 3 2 0 0 16 0 5 0 1118689924 126087168 22325 4294967295 134512640 135180984 3214617872 3086008340 134580588 0 0 0 0 3223036975 0 0 -1 2 0 0 0
[pid=17974/tid=17976] ppid=17972 vsize=123132 CPUtime=0.85
/proc/17974/task/17976/stat : 17976 (satake) R 17972 17974 3671 0 -1 4202560 8323 0 0 0 80 5 0 0 25 0 5 0 1118689924 126087168 22325 4294967295 134512640 135180984 3214617872 3085942544 134525064 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17974/tid=17977] ppid=17972 vsize=123132 CPUtime=0.72
/proc/17974/task/17977/stat : 17977 (satake) R 17972 17974 3671 0 -1 4202560 8366 0 0 0 70 2 0 0 25 0 5 0 1118689924 126087168 22325 4294967295 134512640 135180984 3214617872 3085876896 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17974/tid=17979] ppid=17972 vsize=123132 CPUtime=0.83
/proc/17974/task/17979/stat : 17979 (satake) R 17972 17974 3671 0 -1 4202560 8414 0 0 0 77 6 0 0 25 0 5 0 1118689926 126087168 22325 4294967295 134512640 135180984 3214617872 3085803440 134532445 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 123132

[startup+3.11035 s]
/proc/loadavg: 5.27 5.28 5.20 5/109 17979
/proc/meminfo: memFree=2230160/3368532 swapFree=1954076/1959888
[pid=17974] ppid=17972 vsize=125112 CPUtime=5.35
/proc/17974/stat : 17974 (satake) S 17972 17974 3671 0 -1 4202496 28062 0 0 0 510 25 0 0 25 0 5 0 1118689924 128114688 22765 4294967295 134512640 135180984 3214617872 3214617308 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17974/statm: 31278 22765 68 164 0 31113 0
[pid=17974/tid=17975] ppid=17972 vsize=125112 CPUtime=0.08
/proc/17974/task/17975/stat : 17975 (satake) S 17972 17974 3671 0 -1 4202560 2448 0 0 0 3 5 0 0 15 0 5 0 1118689924 128114688 22765 4294967295 134512640 135180984 3214617872 3086008336 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17974/tid=17976] ppid=17972 vsize=125112 CPUtime=1.75
/proc/17974/task/17976/stat : 17976 (satake) R 17972 17974 3671 0 -1 4202560 8452 0 0 0 168 7 0 0 25 0 5 0 1118689924 128114688 22765 4294967295 134512640 135180984 3214617872 3085942576 134523674 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17974/tid=17977] ppid=17972 vsize=125112 CPUtime=1.63
/proc/17974/task/17977/stat : 17977 (satake) S 17972 17974 3671 0 -1 4202560 8476 0 0 0 159 4 0 0 25 0 5 0 1118689924 128114688 22765 4294967295 134512640 135180984 3214617872 3085876896 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=17974/tid=17979] ppid=17972 vsize=125112 CPUtime=1.89
/proc/17974/task/17979/stat : 17979 (satake) R 17972 17974 3671 0 -1 4202560 8576 0 0 0 180 9 0 0 25 0 5 0 1118689926 128114688 22765 4294967295 134512640 135180984 3214617872 3085803168 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.35
Current children cumulated vsize (KiB) 125112

[startup+6.31013 s]
/proc/loadavg: 5.27 5.28 5.20 6/109 17979
/proc/meminfo: memFree=2227312/3368532 swapFree=1954076/1959888
[pid=17974] ppid=17972 vsize=126660 CPUtime=11.46
/proc/17974/stat : 17974 (satake) S 17972 17974 3671 0 -1 4202496 28632 0 0 0 1105 41 0 0 25 0 5 0 1118689924 129699840 23335 4294967295 134512640 135180984 3214617872 3214617308 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17974/statm: 31665 23335 68 164 0 31500 0
[pid=17974/tid=17975] ppid=17972 vsize=126660 CPUtime=0.17
/proc/17974/task/17975/stat : 17975 (satake) S 17972 17974 3671 0 -1 4202560 2515 0 0 0 6 11 0 0 15 0 5 0 1118689924 129699840 23335 4294967295 134512640 135180984 3214617872 3086008336 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17974/tid=17976] ppid=17972 vsize=126660 CPUtime=3.44
/proc/17974/task/17976/stat : 17976 (satake) R 17972 17974 3671 0 -1 4202560 8590 0 0 0 332 12 0 0 25 0 5 0 1118689924 129699840 23335 4294967295 134512640 135180984 3214617872 3085942576 134523833 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17974/tid=17977] ppid=17972 vsize=126660 CPUtime=4.31
/proc/17974/task/17977/stat : 17977 (satake) R 17972 17974 3671 0 -1 4202560 8679 0 0 0 425 6 0 0 25 0 5 0 1118689924 129699840 23335 4294967295 134512640 135180984 3214617872 3085877100 134518218 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17974/tid=17979] ppid=17972 vsize=126660 CPUtime=3.54
/proc/17974/task/17979/stat : 17979 (satake) R 17972 17974 3671 0 -1 4202560 8738 0 0 0 342 12 0 0 25 0 5 0 1118689926 129699840 23335 4294967295 134512640 135180984 3214617872 3085803280 134525198 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.46
Current children cumulated vsize (KiB) 126660

[startup+12.7097 s]
/proc/loadavg: 5.31 5.28 5.21 7/109 17979
/proc/meminfo: memFree=2222732/3368532 swapFree=1954076/1959888
[pid=17974] ppid=17972 vsize=130828 CPUtime=23.47
/proc/17974/stat : 17974 (satake) S 17972 17974 3671 0 -1 4202496 29742 0 0 0 2286 61 0 0 25 0 5 0 1118689924 133967872 24445 4294967295 134512640 135180984 3214617872 3214617308 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17974/statm: 32707 24445 68 164 0 32542 0
[pid=17974/tid=17975] ppid=17972 vsize=130828 CPUtime=0.36
/proc/17974/task/17975/stat : 17975 (satake) S 17972 17974 3671 0 -1 4202560 2657 0 0 0 13 23 0 0 16 0 5 0 1118689924 133967872 24445 4294967295 134512640 135180984 3214617872 3086008336 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17974/tid=17976] ppid=17972 vsize=130828 CPUtime=7.32
/proc/17974/task/17976/stat : 17976 (satake) R 17972 17974 3671 0 -1 4202560 8922 0 0 0 719 13 0 0 25 0 5 0 1118689924 133967872 24445 4294967295 134512640 135180984 3214617872 3085942632 134518216 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17974/tid=17977] ppid=17972 vsize=130828 CPUtime=8.35
/proc/17974/task/17977/stat : 17977 (satake) R 17972 17974 3671 0 -1 4202560 9004 0 0 0 824 11 0 0 25 0 5 0 1118689924 133967872 24445 4294967295 134512640 135180984 3214617872 3085877040 134523638 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17974/tid=17979] ppid=17972 vsize=130828 CPUtime=7.44
/proc/17974/task/17979/stat : 17979 (satake) R 17972 17974 3671 0 -1 4202560 9049 0 0 0 730 14 0 0 25 0 5 0 1118689926 133967872 24445 4294967295 134512640 135180984 3214617872 3085803168 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 23.47
Current children cumulated vsize (KiB) 130828

[startup+25.5088 s]
/proc/loadavg: 5.34 5.29 5.21 7/109 17985
/proc/meminfo: memFree=2215408/3368532 swapFree=1954076/1959888
[pid=17974] ppid=17972 vsize=138584 CPUtime=48.31
/proc/17974/stat : 17974 (satake) S 17972 17974 3671 0 -1 4202496 31464 0 0 0 4732 99 0 0 25 0 5 0 1118689924 141910016 26167 4294967295 134512640 135180984 3214617872 3214617308 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17974/statm: 34646 26167 68 164 0 34481 0
[pid=17974/tid=17975] ppid=17972 vsize=138584 CPUtime=0.61
/proc/17974/task/17975/stat : 17975 (satake) S 17972 17974 3671 0 -1 4202560 2828 0 0 0 19 42 0 0 16 0 5 0 1118689924 141910016 26167 4294967295 134512640 135180984 3214617872 3086008336 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=17974/tid=17976] ppid=17972 vsize=138584 CPUtime=14.53
/proc/17974/task/17976/stat : 17976 (satake) R 17972 17974 3671 0 -1 4202560 9403 0 0 0 1433 20 0 0 25 0 5 0 1118689924 141910016 26167 4294967295 134512640 135180984 3214617872 3085942544 134524858 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17974/tid=17977] ppid=17972 vsize=138584 CPUtime=16.59
/proc/17974/task/17977/stat : 17977 (satake) R 17972 17974 3671 0 -1 4202560 9556 0 0 0 1640 19 0 0 25 0 5 0 1118689924 141910016 26167 4294967295 134512640 135180984 3214617872 3085876908 134706407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17974/tid=17979] ppid=17972 vsize=138584 CPUtime=16.58
/proc/17974/task/17979/stat : 17979 (satake) S 17972 17974 3671 0 -1 4202560 9567 0 0 0 1640 18 0 0 25 0 5 0 1118689926 141910016 26167 4294967295 134512640 135180984 3214617872 3085803168 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 48.31
Current children cumulated vsize (KiB) 138584

[startup+51.1071 s]
/proc/loadavg: 5.36 5.30 5.21 7/109 18169
/proc/meminfo: memFree=2203000/3368532 swapFree=1954076/1959888
[pid=17974] ppid=17972 vsize=148972 CPUtime=97.91
/proc/17974/stat : 17974 (satake) S 17972 17974 3671 0 -1 4202496 34147 0 0 0 9636 155 0 0 25 0 5 0 1118689924 152547328 28850 4294967295 134512640 135180984 3214617872 3214617308 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17974/statm: 37243 28850 68 164 0 37078 0
[pid=17974/tid=17975] ppid=17972 vsize=148972 CPUtime=1.01
/proc/17974/task/17975/stat : 17975 (satake) S 17972 17974 3671 0 -1 4202560 3124 0 0 0 28 73 0 0 15 0 5 0 1118689924 152547328 28850 4294967295 134512640 135180984 3214617872 3086008336 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17974/tid=17976] ppid=17972 vsize=148972 CPUtime=32.41
/proc/17974/task/17976/stat : 17976 (satake) R 17972 17974 3671 0 -1 4202560 10169 0 0 0 3211 30 0 0 25 0 5 0 1118689924 152547328 28850 4294967295 134512640 135180984 3214617872 3085942656 134532624 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17974/tid=17977] ppid=17972 vsize=148972 CPUtime=33.23
/proc/17974/task/17977/stat : 17977 (satake) R 17972 17974 3671 0 -1 4202560 10366 0 0 0 3294 29 0 0 25 0 5 0 1118689924 152547328 28850 4294967295 134512640 135180984 3214617872 3085876992 134522980 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17974/tid=17979] ppid=17972 vsize=148972 CPUtime=31.26
/proc/17974/task/17979/stat : 17979 (satake) R 17972 17974 3671 0 -1 4202560 10378 0 0 0 3103 23 0 0 25 0 5 0 1118689926 152547328 28850 4294967295 134512640 135180984 3214617872 3085803376 134528060 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 97.91
Current children cumulated vsize (KiB) 148972

[startup+102.314 s]
/proc/loadavg: 5.20 5.26 5.20 6/109 18357
/proc/meminfo: memFree=2186800/3368532 swapFree=1954076/1959888
[pid=17974] ppid=17972 vsize=164952 CPUtime=198.41
/proc/17974/stat : 17974 (satake) S 17972 17974 3671 0 -1 4202496 38009 0 0 0 19636 205 0 0 25 0 5 0 1118689924 168910848 32712 4294967295 134512640 135180984 3214617872 3214617308 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17974/statm: 41238 32712 68 164 0 41073 0
[pid=17974/tid=17975] ppid=17972 vsize=164952 CPUtime=1.5
/proc/17974/task/17975/stat : 17975 (satake) S 17972 17974 3671 0 -1 4202560 3427 0 0 0 48 102 0 0 16 0 5 0 1118689924 168910848 32712 4294967295 134512640 135180984 3214617872 3086008336 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17974/tid=17976] ppid=17972 vsize=164952 CPUtime=65.23
/proc/17974/task/17976/stat : 17976 (satake) R 17972 17974 3671 0 -1 4202560 11357 0 0 0 6488 35 0 0 25 0 5 0 1118689924 168910848 32712 4294967295 134512640 135180984 3214617872 3085942640 134528532 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17974/tid=17977] ppid=17972 vsize=164952 CPUtime=67.18
/proc/17974/task/17977/stat : 17977 (satake) R 17972 17974 3671 0 -1 4202560 11630 0 0 0 6681 37 0 0 25 0 5 0 1118689924 168910848 32712 4294967295 134512640 135180984 3214617872 3085876908 134706407 0 0 0 0 0 0 0 -1 2 0 0 0

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

[pid=17974/tid=17976] ppid=17972 vsize=254500 CPUtime=327.9
/proc/17974/task/17976/stat : 17976 (satake) R 17972 17974 3671 0 -1 4202560 18093 0 0 0 32708 82 0 0 25 0 5 0 1118689924 260608000 55535 4294967295 134512640 135180984 3214617872 3085942640 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17974/tid=17977] ppid=17972 vsize=254500 CPUtime=360.41
/proc/17974/task/17977/stat : 17977 (satake) R 17972 17974 3671 0 -1 4202560 19304 0 0 0 35969 72 0 0 25 0 5 0 1118689924 260608000 55535 4294967295 134512640 135180984 3214617872 3085877104 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17974/tid=17979] ppid=17972 vsize=254500 CPUtime=338.51
/proc/17974/task/17979/stat : 17979 (satake) R 17972 17974 3671 0 -1 4202560 18690 0 0 0 33781 70 0 0 25 0 5 0 1118689926 260608000 55535 4294967295 134512640 135180984 3214617872 3085803368 134518214 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1030.42
Current children cumulated vsize (KiB) 254500

[startup+582.311 s]
/proc/loadavg: 5.22 5.21 5.18 7/109 19867
/proc/meminfo: memFree=2076580/3368532 swapFree=1954076/1959888
[pid=17974] ppid=17972 vsize=268008 CPUtime=1149.68
/proc/17974/stat : 17974 (satake) S 17972 17974 3671 0 -1 4202496 63711 0 0 0 114482 486 0 0 25 0 5 0 1118689924 274440192 58414 4294967295 134512640 135180984 3214617872 3214617308 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17974/statm: 67002 58414 68 164 0 66837 0
[pid=17974/tid=17975] ppid=17972 vsize=268008 CPUtime=3.7
/proc/17974/task/17975/stat : 17975 (satake) S 17972 17974 3671 0 -1 4202560 4740 0 0 0 116 254 0 0 15 0 5 0 1118689924 274440192 58414 4294967295 134512640 135180984 3214617872 3086008336 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=17974/tid=17976] ppid=17972 vsize=268008 CPUtime=366.61
/proc/17974/task/17976/stat : 17976 (satake) R 17972 17974 3671 0 -1 4202560 18959 0 0 0 36577 84 0 0 25 0 5 0 1118689924 274440192 58414 4294967295 134512640 135180984 3214617872 3085942640 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17974/tid=17977] ppid=17972 vsize=268008 CPUtime=401.57
/proc/17974/task/17977/stat : 17977 (satake) R 17972 17974 3671 0 -1 4202560 20468 0 0 0 40084 73 0 0 25 0 5 0 1118689924 274440192 58414 4294967295 134512640 135180984 3214617872 3085877008 134524879 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17974/tid=17979] ppid=17972 vsize=268008 CPUtime=377.8
/proc/17974/task/17979/stat : 17979 (satake) R 17972 17974 3671 0 -1 4202560 19434 0 0 0 37705 75 0 0 25 0 5 0 1118689926 274440192 58414 4294967295 134512640 135180984 3214617872 3085803432 134518214 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1149.68
Current children cumulated vsize (KiB) 268008

[startup+642.307 s]
/proc/loadavg: 5.14 5.19 5.18 7/109 20055
/proc/meminfo: memFree=2065288/3368532 swapFree=1954076/1959888
[pid=17974] ppid=17972 vsize=279244 CPUtime=1268.89
/proc/17974/stat : 17974 (satake) S 17972 17974 3671 0 -1 4202496 66337 0 0 0 126385 504 0 0 25 0 5 0 1118689924 285945856 61040 4294967295 134512640 135180984 3214617872 3214617308 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17974/statm: 69811 61040 68 164 0 69646 0
[pid=17974/tid=17975] ppid=17972 vsize=279244 CPUtime=3.89
/proc/17974/task/17975/stat : 17975 (satake) S 17972 17974 3671 0 -1 4202560 4866 0 0 0 121 268 0 0 15 0 5 0 1118689924 285945856 61040 4294967295 134512640 135180984 3214617872 3086008336 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=17974/tid=17976] ppid=17972 vsize=279244 CPUtime=404.3
/proc/17974/task/17976/stat : 17976 (satake) R 17972 17974 3671 0 -1 4202560 19831 0 0 0 40345 85 0 0 25 0 5 0 1118689924 285945856 61040 4294967295 134512640 135180984 3214617872 3085942640 134528524 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17974/tid=17977] ppid=17972 vsize=279244 CPUtime=442.81
/proc/17974/task/17977/stat : 17977 (satake) R 17972 17974 3671 0 -1 4202560 21436 0 0 0 44206 75 0 0 25 0 5 0 1118689924 285945856 61040 4294967295 134512640 135180984 3214617872 3085877008 134524718 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17974/tid=17979] ppid=17972 vsize=279244 CPUtime=417.89
/proc/17974/task/17979/stat : 17979 (satake) R 17972 17974 3671 0 -1 4202560 20094 0 0 0 41713 76 0 0 25 0 5 0 1118689926 285945856 61040 4294967295 134512640 135180984 3214617872 3085803248 134522706 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1268.89
Current children cumulated vsize (KiB) 279244

[startup+702.302 s]
/proc/loadavg: 5.32 5.23 5.19 6/109 20244
/proc/meminfo: memFree=2053412/3368532 swapFree=1954076/1959888
[pid=17974] ppid=17972 vsize=290316 CPUtime=1388.16
/proc/17974/stat : 17974 (satake) S 17972 17974 3671 0 -1 4202496 69028 0 0 0 138296 520 0 0 25 0 5 0 1118689924 297283584 63731 4294967295 134512640 135180984 3214617872 3214617308 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17974/statm: 72579 63731 68 164 0 72414 0
[pid=17974/tid=17975] ppid=17972 vsize=290316 CPUtime=3.98
/proc/17974/task/17975/stat : 17975 (satake) S 17972 17974 3671 0 -1 4202560 4956 0 0 0 124 274 0 0 15 0 5 0 1118689924 297283584 63731 4294967295 134512640 135180984 3214617872 3086008336 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=17974/tid=17976] ppid=17972 vsize=290316 CPUtime=439.76
/proc/17974/task/17976/stat : 17976 (satake) R 17972 17974 3671 0 -1 4202560 20698 0 0 0 43890 86 0 0 25 0 5 0 1118689924 297283584 63731 4294967295 134512640 135180984 3214617872 3085942544 134525152 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17974/tid=17977] ppid=17972 vsize=290316 CPUtime=481.61
/proc/17974/task/17977/stat : 17977 (satake) R 17972 17974 3671 0 -1 4202560 22295 0 0 0 48085 76 0 0 25 0 5 0 1118689924 297283584 63731 4294967295 134512640 135180984 3214617872 3085876992 134522980 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17974/tid=17979] ppid=17972 vsize=290316 CPUtime=462.81
/proc/17974/task/17979/stat : 17979 (satake) R 17972 17974 3671 0 -1 4202560 20969 0 0 0 46197 84 0 0 25 0 5 0 1118689926 297283584 63731 4294967295 134512640 135180984 3214617872 3085803376 134528595 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1388.16
Current children cumulated vsize (KiB) 290316

[startup+762.318 s]
/proc/loadavg: 5.22 5.21 5.18 6/109 20431
/proc/meminfo: memFree=2042356/3368532 swapFree=1954076/1959888
[pid=17974] ppid=17972 vsize=300728 CPUtime=1511.16
/proc/17974/stat : 17974 (satake) S 17972 17974 3671 0 -1 4202496 71691 0 0 0 150578 538 0 0 25 0 5 0 1118689924 307945472 66394 4294967295 134512640 135180984 3214617872 3214617308 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17974/statm: 75182 66394 68 164 0 75017 0
[pid=17974/tid=17975] ppid=17972 vsize=300728 CPUtime=4.12
/proc/17974/task/17975/stat : 17975 (satake) S 17972 17974 3671 0 -1 4202560 5037 0 0 0 127 285 0 0 15 0 5 0 1118689924 307945472 66394 4294967295 134512640 135180984 3214617872 3086008336 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=17974/tid=17976] ppid=17972 vsize=300728 CPUtime=486.01
/proc/17974/task/17976/stat : 17976 (satake) R 17972 17974 3671 0 -1 4202560 21548 0 0 0 48514 87 0 0 25 0 5 0 1118689924 307945472 66394 4294967295 134512640 135180984 3214617872 3085942640 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17974/tid=17977] ppid=17972 vsize=300728 CPUtime=517.59
/proc/17974/task/17977/stat : 17977 (satake) R 17972 17974 3671 0 -1 4202560 23126 0 0 0 51681 78 0 0 25 0 5 0 1118689924 307945472 66394 4294967295 134512640 135180984 3214617872 3085877008 134524811 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17974/tid=17979] ppid=17972 vsize=300728 CPUtime=503.44
/proc/17974/task/17979/stat : 17979 (satake) R 17972 17974 3671 0 -1 4202560 21870 0 0 0 50256 88 0 0 25 0 5 0 1118689926 307945472 66394 4294967295 134512640 135180984 3214617872 3085803376 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1511.16
Current children cumulated vsize (KiB) 300728

[startup+822.314 s]
/proc/loadavg: 5.17 5.20 5.18 6/109 20623
/proc/meminfo: memFree=2031536/3368532 swapFree=1954076/1959888
[pid=17974] ppid=17972 vsize=310368 CPUtime=1633.91
/proc/17974/stat : 17974 (satake) S 17972 17974 3671 0 -1 4202496 74160 0 0 0 162836 555 0 0 25 0 5 0 1118689924 317816832 68863 4294967295 134512640 135180984 3214617872 3214617308 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17974/statm: 77592 68863 68 164 0 77427 0
[pid=17974/tid=17975] ppid=17972 vsize=310368 CPUtime=4.21
/proc/17974/task/17975/stat : 17975 (satake) S 17972 17974 3671 0 -1 4202560 5114 0 0 0 128 293 0 0 15 0 5 0 1118689924 317816832 68863 4294967295 134512640 135180984 3214617872 3086008336 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=17974/tid=17976] ppid=17972 vsize=310368 CPUtime=525.27
/proc/17974/task/17976/stat : 17976 (satake) R 17972 17974 3671 0 -1 4202560 22299 0 0 0 52437 90 0 0 25 0 5 0 1118689924 317816832 68863 4294967295 134512640 135180984 3214617872 3085942656 134532624 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17974/tid=17977] ppid=17972 vsize=310368 CPUtime=556.41
/proc/17974/task/17977/stat : 17977 (satake) R 17972 17974 3671 0 -1 4202560 23829 0 0 0 55562 79 0 0 25 0 5 0 1118689924 317816832 68863 4294967295 134512640 135180984 3214617872 3085877104 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17974/tid=17979] ppid=17972 vsize=310368 CPUtime=548.02
/proc/17974/task/17979/stat : 17979 (satake) R 17972 17974 3671 0 -1 4202560 22808 0 0 0 54709 93 0 0 25 0 5 0 1118689926 317816832 68863 4294967295 134512640 135180984 3214617872 3085803376 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1633.91
Current children cumulated vsize (KiB) 310368

[startup+882.31 s]
/proc/loadavg: 5.17 5.19 5.18 6/109 20810
/proc/meminfo: memFree=2021600/3368532 swapFree=1954076/1959888
[pid=17974] ppid=17972 vsize=320144 CPUtime=1753.08
/proc/17974/stat : 17974 (satake) S 17972 17974 3671 0 -1 4202496 76646 0 0 0 174737 571 0 0 25 0 5 0 1118689924 327827456 71349 4294967295 134512640 135180984 3214617872 3214617308 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17974/statm: 80036 71349 68 164 0 79871 0
[pid=17974/tid=17975] ppid=17972 vsize=320144 CPUtime=4.33
/proc/17974/task/17975/stat : 17975 (satake) S 17972 17974 3671 0 -1 4202560 5197 0 0 0 132 301 0 0 15 0 5 0 1118689924 327827456 71349 4294967295 134512640 135180984 3214617872 3086008336 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=17974/tid=17976] ppid=17972 vsize=320144 CPUtime=569.41
/proc/17974/task/17976/stat : 17976 (satake) R 17972 17974 3671 0 -1 4202560 23063 0 0 0 56848 93 0 0 25 0 5 0 1118689924 327827456 71349 4294967295 134512640 135180984 3214617872 3085942640 134528786 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17974/tid=17977] ppid=17972 vsize=320144 CPUtime=594.14
/proc/17974/task/17977/stat : 17977 (satake) R 17972 17974 3671 0 -1 4202560 24588 0 0 0 59333 81 0 0 25 0 5 0 1118689924 327827456 71349 4294967295 134512640 135180984 3214617872 3085877008 134525171 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17974/tid=17979] ppid=17972 vsize=320144 CPUtime=585.2
/proc/17974/task/17979/stat : 17979 (satake) R 17972 17974 3671 0 -1 4202560 23688 0 0 0 58424 96 0 0 25 0 5 0 1118689926 327827456 71349 4294967295 134512640 135180984 3214617872 3085803376 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1753.08
Current children cumulated vsize (KiB) 320144

[startup+942.316 s]
/proc/loadavg: 5.23 5.20 5.18 7/110 20980
/proc/meminfo: memFree=2009136/3368532 swapFree=1954076/1959888
[pid=17974] ppid=17972 vsize=331876 CPUtime=1872.46
/proc/17974/stat : 17974 (satake) S 17972 17974 3671 0 -1 4202496 79365 0 0 0 186659 587 0 0 25 0 5 0 1118689924 339841024 74068 4294967295 134512640 135180984 3214617872 3214617308 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17974/statm: 82969 74068 68 164 0 82804 0
[pid=17974/tid=17975] ppid=17972 vsize=331876 CPUtime=4.5
/proc/17974/task/17975/stat : 17975 (satake) S 17972 17974 3671 0 -1 4202560 5290 0 0 0 141 309 0 0 15 0 5 0 1118689924 339841024 74068 4294967295 134512640 135180984 3214617872 3086008336 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=17974/tid=17976] ppid=17972 vsize=331876 CPUtime=604.51
/proc/17974/task/17976/stat : 17976 (satake) R 17972 17974 3671 0 -1 4202560 23766 0 0 0 60356 95 0 0 25 0 5 0 1118689924 339841024 74068 4294967295 134512640 135180984 3214617872 3085942544 134524929 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17974/tid=17977] ppid=17972 vsize=331876 CPUtime=639.65
/proc/17974/task/17977/stat : 17977 (satake) R 17972 17974 3671 0 -1 4202560 25656 0 0 0 63883 82 0 0 25 0 5 0 1118689924 339841024 74068 4294967295 134512640 135180984 3214617872 3085877008 134524836 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17974/tid=17979] ppid=17972 vsize=331876 CPUtime=623.8
/proc/17974/task/17979/stat : 17979 (satake) R 17972 17974 3671 0 -1 4202560 24543 0 0 0 62279 101 0 0 25 0 5 0 1118689926 339841024 74068 4294967295 134512640 135180984 3214617872 3085803280 134524648 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1872.46
Current children cumulated vsize (KiB) 331876



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 5.27 5.21 5.18 8/109 21187
/proc/meminfo: memFree=1998448/3368532 swapFree=1954076/1959888
[pid=17974] ppid=17972 vsize=341780 CPUtime=1987.44
/proc/17974/stat : 17974 (satake) S 17972 17974 3671 0 -1 4202496 81839 0 0 0 198153 591 0 0 25 0 5 0 1118689924 349982720 76542 4294967295 134512640 135180984 3214617872 3214617308 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17974/statm: 85445 76542 68 164 0 85280 0
[pid=17974/tid=17975] ppid=17972 vsize=341780 CPUtime=4.55
/proc/17974/task/17975/stat : 17975 (satake) S 17972 17974 3671 0 -1 4202560 5340 0 0 0 143 312 0 0 15 0 5 0 1118689924 349982720 76542 4294967295 134512640 135180984 3214617872 3086008336 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=17974/tid=17976] ppid=17972 vsize=341780 CPUtime=644.91
/proc/17974/task/17976/stat : 17976 (satake) R 17972 17974 3671 0 -1 4202560 24636 0 0 0 64396 95 0 0 25 0 5 0 1118689924 349982720 76542 4294967295 134512640 135180984 3214617872 3085942640 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17974/tid=17977] ppid=17972 vsize=341780 CPUtime=679.4
/proc/17974/task/17977/stat : 17977 (satake) R 17972 17974 3671 0 -1 4202560 26452 0 0 0 67857 83 0 0 25 0 5 0 1118689924 349982720 76542 4294967295 134512640 135180984 3214617872 3085877104 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17974/tid=17979] ppid=17972 vsize=341780 CPUtime=658.58
/proc/17974/task/17979/stat : 17979 (satake) R 17972 17974 3671 0 -1 4202560 25301 0 0 0 65757 101 0 0 25 0 5 0 1118689926 349982720 76542 4294967295 134512640 135180984 3214617872 3085803272 134519103 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1987.44
Current children cumulated vsize (KiB) 341780

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.05
CPU time (s): 1987.5
CPU user time (s): 1981.57
CPU system time (s): 5.93
CPU usage (%): 198.74
Max. virtual memory (cumulated for all children) (KiB): 341780

deleting IPC queue 9961472
deleting IPC queue 9994241
deleting IPC queue 10027010
deleting IPC queue 10059779
deleting IPC queue 10092548
deleting IPC queue 10125317
deleting IPC queue 10158086
deleting IPC queue 10190855
deleting IPC queue 10223624
deleting IPC queue 10256393
deleting IPC queue 10289162
deleting IPC queue 10321931
deleting IPC queue 10354700
deleting IPC queue 10387469
deleting IPC queue 10420238
deleting IPC queue 10453007

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1981.57
system time used= 5.93
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81839
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= 1257230
involuntary context switches= 1258235

runsolver used 0.01 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi44 at 2009-05-30 03:11:27
IDJOB=1780090
IDBENCH=70952
IDSOLVER=629
FILE ID=tipi44/1780090-1243645887
PBS_JOBID=
Free space on /tmp= 15887 MiB

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

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

MD5SUM BENCH= a61ef2b7b3d16661e8162c430ffb1a51
RANDOM SEED= 1502056191

Linux tipi44 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.116
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.116
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.10
clflush size	: 64

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.116
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.14
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.116
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.16
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       2319824 kB
Buffers:        151568 kB
Cached:         638608 kB
SwapCached:       2180 kB
Active:         746024 kB
Inactive:       205460 kB
HighTotal:     2489216 kB
HighFree:      1691184 kB
LowTotal:       879316 kB
LowFree:        628640 kB
SwapTotal:     1959888 kB
SwapFree:      1954076 kB
Dirty:           13168 kB
Writeback:           0 kB
AnonPages:      160808 kB
Mapped:           5612 kB
Slab:            87232 kB
SReclaimable:    76924 kB
SUnreclaim:      10308 kB
PageTables:        732 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   243588 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15887 MiB
End job on tipi44 at 2009-05-30 03:28:10