Trace number 1780825

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) 1963.44 1000.06

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_17_UNKNOWN.cnf
MD5SUMd554330e1400d4f25a793413df9abc4e
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 variables3582
Number of clauses395999
Sum of the clauses size1182858
Maximum clause length18
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 25604
Number of clauses of size 3390364
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

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-1780825-1243650253/watcher-1780825-1243650253 -o /tmp/evaluation-result-1780825-1243650253/solver-1780825-1243650253 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780825-1243650253.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: 6.08 6.40 6.43 6/112 18224
/proc/meminfo: memFree=3051348/3368532 swapFree=1953788/1959888
[pid=18223] ppid=18221 vsize=968 CPUtime=0
/proc/18223/stat : 18223 (satake) R 18221 18223 23155 0 -1 4202496 108 0 0 0 0 0 0 0 25 0 2 0 1129689426 991232 64 4294967295 134512640 135180984 3219982880 3219982224 134705812 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/18223/statm: 242 64 54 164 0 77 0
[pid=18223/tid=18224] ppid=18221 vsize=968 CPUtime=0
/proc/18223/task/18224/stat : 18224 (satake) R 18221 18223 23155 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 2 0 1129689426 991232 64 4294967295 134512640 135180984 3219982880 3086422852 134705812 0 0 0 0 0 0 0 -1 3 0 0 0

[startup+0.091381 s]
/proc/loadavg: 6.08 6.40 6.43 6/112 18224
/proc/meminfo: memFree=3051348/3368532 swapFree=1953788/1959888
[pid=18223] ppid=18221 vsize=26424 CPUtime=0.09
/proc/18223/stat : 18223 (satake) S 18221 18223 23155 0 -1 4202496 5871 0 0 0 6 3 0 0 25 0 5 0 1129689426 27058176 5815 4294967295 134512640 135180984 3219982880 3219982316 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/18223/statm: 6606 5815 63 164 0 6441 0
[pid=18223/tid=18224] ppid=18221 vsize=26424 CPUtime=0
/proc/18223/task/18224/stat : 18224 (satake) S 18221 18223 23155 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1129689426 27058176 5815 4294967295 134512640 135180984 3219982880 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26424

[startup+0.111321 s]
/proc/loadavg: 6.08 6.40 6.43 6/112 18224
/proc/meminfo: memFree=3051348/3368532 swapFree=1953788/1959888
[pid=18223] ppid=18221 vsize=27348 CPUtime=0.11
/proc/18223/stat : 18223 (satake) S 18221 18223 23155 0 -1 4202496 6098 0 0 0 8 3 0 0 25 0 5 0 1129689426 28004352 6042 4294967295 134512640 135180984 3219982880 3219982316 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/18223/statm: 6837 6042 63 164 0 6672 0
[pid=18223/tid=18224] ppid=18221 vsize=27348 CPUtime=0
/proc/18223/task/18224/stat : 18224 (satake) S 18221 18223 23155 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1129689426 28004352 6042 4294967295 134512640 135180984 3219982880 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 27348

[startup+0.311309 s]
/proc/loadavg: 6.08 6.40 6.43 6/112 18224
/proc/meminfo: memFree=3051348/3368532 swapFree=1953788/1959888
[pid=18223] ppid=18221 vsize=37608 CPUtime=0.29
/proc/18223/stat : 18223 (satake) S 18221 18223 23155 0 -1 4202496 8676 0 0 0 26 3 0 0 25 0 5 0 1129689426 38510592 8620 4294967295 134512640 135180984 3219982880 3219982316 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/18223/statm: 9402 8620 63 164 0 9237 0
[pid=18223/tid=18224] ppid=18221 vsize=37608 CPUtime=0
/proc/18223/task/18224/stat : 18224 (satake) S 18221 18223 23155 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1129689426 38510592 8620 4294967295 134512640 135180984 3219982880 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37608

[startup+0.711275 s]
/proc/loadavg: 6.08 6.40 6.43 6/112 18224
/proc/meminfo: memFree=3051348/3368532 swapFree=1953788/1959888
[pid=18223] ppid=18221 vsize=49508 CPUtime=0.65
/proc/18223/stat : 18223 (satake) S 18221 18223 23155 0 -1 4202496 13206 0 0 0 61 4 0 0 25 0 5 0 1129689426 50696192 11486 4294967295 134512640 135180984 3219982880 3219982316 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/18223/statm: 12377 11486 68 164 0 12212 0
[pid=18223/tid=18224] ppid=18221 vsize=49508 CPUtime=0
/proc/18223/task/18224/stat : 18224 (satake) S 18221 18223 23155 0 -1 4202560 70 0 0 0 0 0 0 0 19 0 5 0 1129689426 50696192 11486 4294967295 134512640 135180984 3219982880 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 49508

[startup+1.51121 s]
/proc/loadavg: 6.08 6.40 6.43 7/116 18228
/proc/meminfo: memFree=3005044/3368532 swapFree=1953788/1959888
[pid=18223] ppid=18221 vsize=53156 CPUtime=1.43
/proc/18223/stat : 18223 (satake) S 18221 18223 23155 0 -1 4202496 16953 0 0 0 138 5 0 0 25 0 5 0 1129689426 54431744 11917 4294967295 134512640 135180984 3219982880 3219982316 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/18223/statm: 13289 11917 68 164 0 13124 0
[pid=18223/tid=18224] ppid=18221 vsize=53156 CPUtime=0
/proc/18223/task/18224/stat : 18224 (satake) S 18221 18223 23155 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 5 0 1129689426 54431744 11917 4294967295 134512640 135180984 3219982880 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=18223/tid=18226] ppid=18221 vsize=53156 CPUtime=0.52
/proc/18223/task/18226/stat : 18226 (satake) R 18221 18223 23155 0 -1 4202560 5585 0 0 0 51 1 0 0 25 0 5 0 1129689427 54431744 11917 4294967295 134512640 135180984 3219982880 3086356232 134519077 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18223/tid=18227] ppid=18221 vsize=53156 CPUtime=0.42
/proc/18223/task/18227/stat : 18227 (satake) S 18221 18223 23155 0 -1 4202560 5568 0 0 0 40 2 0 0 25 0 5 0 1129689427 54431744 11917 4294967295 134512640 135180984 3219982880 3086290592 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=18223/tid=18228] ppid=18221 vsize=53156 CPUtime=0.49
/proc/18223/task/18228/stat : 18228 (satake) R 18221 18223 23155 0 -1 4202560 5619 0 0 0 47 2 0 0 25 0 5 0 1129689427 54431744 11917 4294967295 134512640 135180984 3219982880 3086225056 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 53156

[startup+3.11108 s]
/proc/loadavg: 6.08 6.40 6.43 7/116 18228
/proc/meminfo: memFree=3002912/3368532 swapFree=1953788/1959888
[pid=18223] ppid=18221 vsize=56456 CPUtime=3.05
/proc/18223/stat : 18223 (satake) S 18221 18223 23155 0 -1 4202496 17787 0 0 0 299 6 0 0 25 0 5 0 1129689426 57810944 12751 4294967295 134512640 135180984 3219982880 3219982316 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/18223/statm: 14114 12751 68 164 0 13949 0
[pid=18223/tid=18224] ppid=18221 vsize=56456 CPUtime=0
/proc/18223/task/18224/stat : 18224 (satake) S 18221 18223 23155 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 5 0 1129689426 57810944 12751 4294967295 134512640 135180984 3219982880 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=18223/tid=18226] ppid=18221 vsize=56456 CPUtime=1.05
/proc/18223/task/18226/stat : 18226 (satake) R 18221 18223 23155 0 -1 4202560 5870 0 0 0 104 1 0 0 25 0 5 0 1129689427 57810944 12751 4294967295 134512640 135180984 3219982880 3086356336 134528568 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18223/tid=18227] ppid=18221 vsize=56456 CPUtime=0.91
/proc/18223/task/18227/stat : 18227 (satake) R 18221 18223 23155 0 -1 4202560 5843 0 0 0 89 2 0 0 25 0 5 0 1129689427 57810944 12751 4294967295 134512640 135180984 3219982880 3086290800 134526206 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18223/tid=18228] ppid=18221 vsize=56456 CPUtime=1.09
/proc/18223/task/18228/stat : 18228 (satake) R 18221 18223 23155 0 -1 4202560 5893 0 0 0 106 3 0 0 25 0 5 0 1129689427 57810944 12751 4294967295 134512640 135180984 3219982880 3086225056 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 56456

[startup+6.31081 s]
/proc/loadavg: 5.91 6.36 6.42 7/116 18228
/proc/meminfo: memFree=2997084/3368532 swapFree=1953788/1959888
[pid=18223] ppid=18221 vsize=61744 CPUtime=6.27
/proc/18223/stat : 18223 (satake) S 18221 18223 23155 0 -1 4202496 19113 0 0 0 621 6 0 0 25 0 5 0 1129689426 63225856 14077 4294967295 134512640 135180984 3219982880 3219982316 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/18223/statm: 15436 14077 68 164 0 15271 0
[pid=18223/tid=18224] ppid=18221 vsize=61744 CPUtime=0
/proc/18223/task/18224/stat : 18224 (satake) S 18221 18223 23155 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 5 0 1129689426 63225856 14077 4294967295 134512640 135180984 3219982880 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=18223/tid=18226] ppid=18221 vsize=61744 CPUtime=2.25
/proc/18223/task/18226/stat : 18226 (satake) R 18221 18223 23155 0 -1 4202560 6385 0 0 0 224 1 0 0 25 0 5 0 1129689427 63225856 14077 4294967295 134512640 135180984 3219982880 3086356328 134518216 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18223/tid=18227] ppid=18221 vsize=61744 CPUtime=1.93
/proc/18223/task/18227/stat : 18227 (satake) R 18221 18223 23155 0 -1 4202560 6270 0 0 0 191 2 0 0 25 0 5 0 1129689427 63225856 14077 4294967295 134512640 135180984 3219982880 3086290704 134524648 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18223/tid=18228] ppid=18221 vsize=61744 CPUtime=2.09
/proc/18223/task/18228/stat : 18228 (satake) R 18221 18223 23155 0 -1 4202560 6277 0 0 0 206 3 0 0 25 0 5 0 1129689427 63225856 14077 4294967295 134512640 135180984 3219982880 3086225264 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 61744

[startup+12.7103 s]
/proc/loadavg: 6.00 6.37 6.42 7/116 18228
/proc/meminfo: memFree=2987468/3368532 swapFree=1953788/1959888
[pid=18223] ppid=18221 vsize=70860 CPUtime=12.94
/proc/18223/stat : 18223 (satake) S 18221 18223 23155 0 -1 4202496 21453 0 0 0 1287 7 0 0 25 0 5 0 1129689426 72560640 16417 4294967295 134512640 135180984 3219982880 3219982316 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/18223/statm: 17715 16417 68 164 0 17550 0
[pid=18223/tid=18224] ppid=18221 vsize=70860 CPUtime=0
/proc/18223/task/18224/stat : 18224 (satake) S 18221 18223 23155 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 5 0 1129689426 72560640 16417 4294967295 134512640 135180984 3219982880 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=18223/tid=18226] ppid=18221 vsize=70860 CPUtime=4.75
/proc/18223/task/18226/stat : 18226 (satake) R 18221 18223 23155 0 -1 4202560 7116 0 0 0 474 1 0 0 25 0 5 0 1129689427 72560640 16417 4294967295 134512640 135180984 3219982880 3086356336 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18223/tid=18227] ppid=18221 vsize=70860 CPUtime=4.03
/proc/18223/task/18227/stat : 18227 (satake) R 18221 18223 23155 0 -1 4202560 7172 0 0 0 400 3 0 0 24 0 5 0 1129689427 72560640 16417 4294967295 134512640 135180984 3219982880 3086290800 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18223/tid=18228] ppid=18221 vsize=70860 CPUtime=4.16
/proc/18223/task/18228/stat : 18228 (satake) R 18221 18223 23155 0 -1 4202560 6984 0 0 0 413 3 0 0 25 0 5 0 1129689427 72560640 16417 4294967295 134512640 135180984 3219982880 3086225056 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.94
Current children cumulated vsize (KiB) 70860

[startup+25.5092 s]
/proc/loadavg: 6.08 6.37 6.42 7/116 18229
/proc/meminfo: memFree=2966952/3368532 swapFree=1953788/1959888
[pid=18223] ppid=18221 vsize=91416 CPUtime=33.08
/proc/18223/stat : 18223 (satake) S 18221 18223 23155 0 -1 4202496 26528 0 0 0 3298 10 0 0 25 0 5 0 1129689426 93609984 21492 4294967295 134512640 135180984 3219982880 3219982316 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/18223/statm: 22854 21492 68 164 0 22689 0
[pid=18223/tid=18224] ppid=18221 vsize=91416 CPUtime=0
/proc/18223/task/18224/stat : 18224 (satake) S 18221 18223 23155 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 5 0 1129689426 93609984 21492 4294967295 134512640 135180984 3219982880 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=18223/tid=18226] ppid=18221 vsize=91416 CPUtime=11.45
/proc/18223/task/18226/stat : 18226 (satake) R 18221 18223 23155 0 -1 4202560 8968 0 0 0 1141 4 0 0 25 0 5 0 1129689427 93609984 21492 4294967295 134512640 135180984 3219982880 3086356336 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18223/tid=18227] ppid=18221 vsize=91416 CPUtime=10.23
/proc/18223/task/18227/stat : 18227 (satake) R 18221 18223 23155 0 -1 4202560 8815 0 0 0 1020 3 0 0 25 0 5 0 1129689427 93609984 21492 4294967295 134512640 135180984 3219982880 3086290800 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18223/tid=18228] ppid=18221 vsize=91416 CPUtime=11.4
/proc/18223/task/18228/stat : 18228 (satake) R 18221 18223 23155 0 -1 4202560 8563 0 0 0 1137 3 0 0 25 0 5 0 1129689427 93609984 21492 4294967295 134512640 135180984 3219982880 3086225056 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 33.08
Current children cumulated vsize (KiB) 91416

[startup+51.1071 s]
/proc/loadavg: 6.09 6.35 6.41 7/116 18413
/proc/meminfo: memFree=2933856/3368532 swapFree=1953788/1959888
[pid=18223] ppid=18221 vsize=123756 CPUtime=82.73
/proc/18223/stat : 18223 (satake) S 18221 18223 23155 0 -1 4202496 34732 0 0 0 8250 23 0 0 25 0 5 0 1129689426 126726144 29696 4294967295 134512640 135180984 3219982880 3219982316 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/18223/statm: 30939 29696 68 164 0 30774 0
[pid=18223/tid=18224] ppid=18221 vsize=123756 CPUtime=0.03
/proc/18223/task/18224/stat : 18224 (satake) S 18221 18223 23155 0 -1 4202560 71 0 0 0 2 1 0 0 15 0 5 0 1129689426 126726144 29696 4294967295 134512640 135180984 3219982880 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=18223/tid=18226] ppid=18221 vsize=123756 CPUtime=29.38
/proc/18223/task/18226/stat : 18226 (satake) R 18221 18223 23155 0 -1 4202560 11725 0 0 0 2932 6 0 0 25 0 5 0 1129689427 126726144 29696 4294967295 134512640 135180984 3219982880 3086356128 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18223/tid=18227] ppid=18221 vsize=123756 CPUtime=25.55
/proc/18223/task/18227/stat : 18227 (satake) R 18221 18223 23155 0 -1 4202560 11703 0 0 0 2544 11 0 0 25 0 5 0 1129689427 126726144 29696 4294967295 134512640 135180984 3219982880 3086290800 134528701 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18223/tid=18228] ppid=18221 vsize=123756 CPUtime=27.77
/proc/18223/task/18228/stat : 18228 (satake) R 18221 18223 23155 0 -1 4202560 11122 0 0 0 2772 5 0 0 25 0 5 0 1129689427 126726144 29696 4294967295 134512640 135180984 3219982880 3086225256 134518216 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 82.73
Current children cumulated vsize (KiB) 123756

[startup+102.313 s]
/proc/loadavg: 6.45 6.39 6.42 7/116 18601
/proc/meminfo: memFree=2877340/3368532 swapFree=1953788/1959888
[pid=18223] ppid=18221 vsize=180312 CPUtime=183.16
/proc/18223/stat : 18223 (satake) S 18221 18223 23155 0 -1 4202496 48534 0 0 0 18271 45 0 0 25 0 5 0 1129689426 184639488 43498 4294967295 134512640 135180984 3219982880 3219982316 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/18223/statm: 45078 43498 68 164 0 44913 0
[pid=18223/tid=18224] ppid=18221 vsize=180312 CPUtime=0.08
/proc/18223/task/18224/stat : 18224 (satake) S 18221 18223 23155 0 -1 4202560 83 0 0 0 3 5 0 0 15 0 5 0 1129689426 184639488 43498 4294967295 134512640 135180984 3219982880 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=18223/tid=18226] ppid=18221 vsize=180312 CPUtime=61.96
/proc/18223/task/18226/stat : 18226 (satake) R 18221 18223 23155 0 -1 4202560 16002 0 0 0 6186 10 0 0 25 0 5 0 1129689427 184639488 43498 4294967295 134512640 135180984 3219982880 3086356128 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18223/tid=18227] ppid=18221 vsize=180312 CPUtime=63.09
/proc/18223/task/18227/stat : 18227 (satake) R 18221 18223 23155 0 -1 4202560 16561 0 0 0 6290 19 0 0 25 0 5 0 1129689427 184639488 43498 4294967295 134512640 135180984 3219982880 3086290736 134523778 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18223/tid=18228] ppid=18221 vsize=180312 CPUtime=58.03
/proc/18223/task/18228/stat : 18228 (satake) R 18221 18223 23155 0 -1 4202560 15777 0 0 0 5792 11 0 0 25 0 5 0 1129689427 184639488 43498 4294967295 134512640 135180984 3219982880 3086225264 134528669 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 183.16
Current children cumulated vsize (KiB) 180312

[startup+162.308 s]
/proc/loadavg: 6.59 6.42 6.42 7/116 18789
/proc/meminfo: memFree=2830048/3368532 swapFree=1953788/1959888
[pid=18223] ppid=18221 vsize=227624 CPUtime=301.24
/proc/18223/stat : 18223 (satake) S 18221 18223 23155 0 -1 4202496 60375 0 0 0 30058 66 0 0 25 0 5 0 1129689426 233086976 55339 4294967295 134512640 135180984 3219982880 3219982316 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/18223/statm: 56906 55339 68 164 0 56741 0
[pid=18223/tid=18224] ppid=18221 vsize=227624 CPUtime=0.11
/proc/18223/task/18224/stat : 18224 (satake) S 18221 18223 23155 0 -1 4202560 92 0 0 0 3 8 0 0 15 0 5 0 1129689426 233086976 55339 4294967295 134512640 135180984 3219982880 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=18223/tid=18226] ppid=18221 vsize=227624 CPUtime=99.95
/proc/18223/task/18226/stat : 18226 (satake) R 18221 18223 23155 0 -1 4202560 20571 0 0 0 9976 19 0 0 25 0 5 0 1129689427 233086976 55339 4294967295 134512640 135180984 3219982880 3086356328 134518252 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18223/tid=18227] ppid=18221 vsize=227624 CPUtime=108.17
/proc/18223/task/18227/stat : 18227 (satake) R 18221 18223 23155 0 -1 4202560 20246 0 0 0 10793 24 0 0 25 0 5 0 1129689427 233086976 55339 4294967295 134512640 135180984 3219982880 3086290800 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18223/tid=18228] ppid=18221 vsize=227624 CPUtime=93.01
/proc/18223/task/18228/stat : 18228 (satake) R 18221 18223 23155 0 -1 4202560 19355 0 0 0 9286 15 0 0 25 0 5 0 1129689427 233086976 55339 4294967295 134512640 135180984 3219982880 3086225264 134528666 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 301.24

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

[pid=18223/tid=18226] ppid=18221 vsize=454960 CPUtime=332.79
/proc/18223/task/18226/stat : 18226 (satake) R 18221 18223 23155 0 -1 4202560 38947 0 0 0 33239 40 0 0 25 0 5 0 1129689427 465879040 111282 4294967295 134512640 135180984 3219982880 3086356336 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18223/tid=18227] ppid=18221 vsize=454960 CPUtime=342.23
/proc/18223/task/18227/stat : 18227 (satake) R 18221 18223 23155 0 -1 4202560 40146 0 0 0 34172 51 0 0 25 0 5 0 1129689427 465879040 111282 4294967295 134512640 135180984 3219982880 3086290800 134528549 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18223/tid=18228] ppid=18221 vsize=454960 CPUtime=342.16
/proc/18223/task/18228/stat : 18228 (satake) R 18221 18223 23155 0 -1 4202560 37013 0 0 0 34189 27 0 0 25 0 5 0 1129689427 465879040 111282 4294967295 134512640 135180984 3219982880 3086225264 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1017.41
Current children cumulated vsize (KiB) 454960

[startup+582.313 s]
/proc/loadavg: 6.72 6.48 6.42 9/117 20053
/proc/meminfo: memFree=2573284/3368532 swapFree=1953788/1959888
[pid=18223] ppid=18221 vsize=488992 CPUtime=1135.93
/proc/18223/stat : 18223 (satake) S 18221 18223 23155 0 -1 4202496 124522 0 0 0 113451 142 0 0 25 0 5 0 1129689426 500727808 119486 4294967295 134512640 135180984 3219982880 3219982316 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/18223/statm: 122248 119486 68 164 0 122083 0
[pid=18223/tid=18224] ppid=18221 vsize=488992 CPUtime=0.23
/proc/18223/task/18224/stat : 18224 (satake) S 18221 18223 23155 0 -1 4202560 101 0 0 0 10 13 0 0 15 0 5 0 1129689426 500727808 119486 4294967295 134512640 135180984 3219982880 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=18223/tid=18226] ppid=18221 vsize=488992 CPUtime=371.67
/proc/18223/task/18226/stat : 18226 (satake) R 18221 18223 23155 0 -1 4202560 41498 0 0 0 37122 45 0 0 25 0 5 0 1129689427 500727808 119486 4294967295 134512640 135180984 3219982880 3086356336 134528641 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18223/tid=18227] ppid=18221 vsize=488992 CPUtime=381.63
/proc/18223/task/18227/stat : 18227 (satake) R 18221 18223 23155 0 -1 4202560 42943 0 0 0 38108 55 0 0 25 0 5 0 1129689427 500727808 119486 4294967295 134512640 135180984 3219982880 3086290792 134518224 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18223/tid=18228] ppid=18221 vsize=488992 CPUtime=382.4
/proc/18223/task/18228/stat : 18228 (satake) R 18221 18223 23155 0 -1 4202560 39869 0 0 0 38211 29 0 0 25 0 5 0 1129689427 500727808 119486 4294967295 134512640 135180984 3219982880 3086225264 134528628 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1135.93
Current children cumulated vsize (KiB) 488992

[startup+642.308 s]
/proc/loadavg: 6.53 6.46 6.41 8/117 20231
/proc/meminfo: memFree=2546236/3368532 swapFree=1953788/1959888
[pid=18223] ppid=18221 vsize=515516 CPUtime=1254.78
/proc/18223/stat : 18223 (satake) S 18221 18223 23155 0 -1 4202496 130917 0 0 0 125325 153 0 0 25 0 5 0 1129689426 527888384 125881 4294967295 134512640 135180984 3219982880 3219982316 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/18223/statm: 128879 125881 68 164 0 128714 0
[pid=18223/tid=18224] ppid=18221 vsize=515516 CPUtime=0.23
/proc/18223/task/18224/stat : 18224 (satake) S 18221 18223 23155 0 -1 4202560 101 0 0 0 10 13 0 0 15 0 5 0 1129689426 527888384 125881 4294967295 134512640 135180984 3219982880 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=18223/tid=18226] ppid=18221 vsize=515516 CPUtime=409.26
/proc/18223/task/18226/stat : 18226 (satake) R 18221 18223 23155 0 -1 4202560 43696 0 0 0 40878 48 0 0 25 0 5 0 1129689427 527888384 125881 4294967295 134512640 135180984 3219982880 3086356336 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18223/tid=18227] ppid=18221 vsize=515516 CPUtime=420.88
/proc/18223/task/18227/stat : 18227 (satake) R 18221 18223 23155 0 -1 4202560 44820 0 0 0 42029 59 0 0 25 0 5 0 1129689427 527888384 125881 4294967295 134512640 135180984 3219982880 3086290800 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18223/tid=18228] ppid=18221 vsize=515516 CPUtime=424.41
/proc/18223/task/18228/stat : 18228 (satake) R 18221 18223 23155 0 -1 4202560 42189 0 0 0 42408 33 0 0 25 0 5 0 1129689427 527888384 125881 4294967295 134512640 135180984 3219982880 3086225264 134528655 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1254.78
Current children cumulated vsize (KiB) 515516

[startup+702.313 s]
/proc/loadavg: 6.70 6.50 6.43 9/117 20435
/proc/meminfo: memFree=2526588/3368532 swapFree=1953788/1959888
[pid=18223] ppid=18221 vsize=535924 CPUtime=1373.48
/proc/18223/stat : 18223 (satake) S 18221 18223 23155 0 -1 4202496 136125 0 0 0 137180 168 0 0 25 0 5 0 1129689426 548786176 131089 4294967295 134512640 135180984 3219982880 3219982316 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/18223/statm: 133981 131089 68 164 0 133816 0
[pid=18223/tid=18224] ppid=18221 vsize=535924 CPUtime=0.27
/proc/18223/task/18224/stat : 18224 (satake) S 18221 18223 23155 0 -1 4202560 109 0 0 0 12 15 0 0 15 0 5 0 1129689426 548786176 131089 4294967295 134512640 135180984 3219982880 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=18223/tid=18226] ppid=18221 vsize=535924 CPUtime=438.93
/proc/18223/task/18226/stat : 18226 (satake) R 18221 18223 23155 0 -1 4202560 45304 0 0 0 43840 53 0 0 25 0 5 0 1129689427 548786176 131089 4294967295 134512640 135180984 3219982880 3086356336 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18223/tid=18227] ppid=18221 vsize=535924 CPUtime=458.47
/proc/18223/task/18227/stat : 18227 (satake) R 18221 18223 23155 0 -1 4202560 46784 0 0 0 45781 66 0 0 25 0 5 0 1129689427 548786176 131089 4294967295 134512640 135180984 3219982880 3086290800 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18223/tid=18228] ppid=18221 vsize=535924 CPUtime=475.81
/proc/18223/task/18228/stat : 18228 (satake) R 18221 18223 23155 0 -1 4202560 43817 0 0 0 47547 34 0 0 25 0 5 0 1129689427 548786176 131089 4294967295 134512640 135180984 3219982880 3086225260 134520661 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1373.48
Current children cumulated vsize (KiB) 535924

[startup+762.308 s]
/proc/loadavg: 6.59 6.49 6.43 9/117 20587
/proc/meminfo: memFree=2504436/3368532 swapFree=1953788/1959888
[pid=18223] ppid=18221 vsize=558748 CPUtime=1492.22
/proc/18223/stat : 18223 (satake) S 18221 18223 23155 0 -1 4202496 141573 0 0 0 149049 173 0 0 25 0 5 0 1129689426 572157952 136537 4294967295 134512640 135180984 3219982880 3219982316 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/18223/statm: 139687 136537 68 164 0 139522 0
[pid=18223/tid=18224] ppid=18221 vsize=558748 CPUtime=0.27
/proc/18223/task/18224/stat : 18224 (satake) S 18221 18223 23155 0 -1 4202560 112 0 0 0 12 15 0 0 15 0 5 0 1129689426 572157952 136537 4294967295 134512640 135180984 3219982880 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=18223/tid=18226] ppid=18221 vsize=558748 CPUtime=477.6
/proc/18223/task/18226/stat : 18226 (satake) R 18221 18223 23155 0 -1 4202560 47672 0 0 0 47706 54 0 0 25 0 5 0 1129689427 572157952 136537 4294967295 134512640 135180984 3219982880 3086356336 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18223/tid=18227] ppid=18221 vsize=558748 CPUtime=491.83
/proc/18223/task/18227/stat : 18227 (satake) R 18221 18223 23155 0 -1 4202560 48461 0 0 0 49116 67 0 0 25 0 5 0 1129689427 572157952 136537 4294967295 134512640 135180984 3219982880 3086290700 134522715 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18223/tid=18228] ppid=18221 vsize=558748 CPUtime=522.52
/proc/18223/task/18228/stat : 18228 (satake) R 18221 18223 23155 0 -1 4202560 45217 0 0 0 52215 37 0 0 25 0 5 0 1129689427 572157952 136537 4294967295 134512640 135180984 3219982880 3086225264 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1492.22
Current children cumulated vsize (KiB) 558748

[startup+822.303 s]
/proc/loadavg: 6.68 6.52 6.44 8/117 20756
/proc/meminfo: memFree=2481588/3368532 swapFree=1953788/1959888
[pid=18223] ppid=18221 vsize=581964 CPUtime=1611.03
/proc/18223/stat : 18223 (satake) S 18221 18223 23155 0 -1 4202496 147342 0 0 0 160917 186 0 0 25 0 5 0 1129689426 595931136 142306 4294967295 134512640 135180984 3219982880 3219982316 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/18223/statm: 145491 142306 68 164 0 145326 0
[pid=18223/tid=18224] ppid=18221 vsize=581964 CPUtime=0.27
/proc/18223/task/18224/stat : 18224 (satake) S 18221 18223 23155 0 -1 4202560 113 0 0 0 12 15 0 0 15 0 5 0 1129689426 595931136 142306 4294967295 134512640 135180984 3219982880 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=18223/tid=18226] ppid=18221 vsize=581964 CPUtime=512.55
/proc/18223/task/18226/stat : 18226 (satake) R 18221 18223 23155 0 -1 4202560 50034 0 0 0 51195 60 0 0 25 0 5 0 1129689427 595931136 142306 4294967295 134512640 135180984 3219982880 3086356336 134528669 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18223/tid=18227] ppid=18221 vsize=581964 CPUtime=529.46
/proc/18223/task/18227/stat : 18227 (satake) R 18221 18223 23155 0 -1 4202560 50495 0 0 0 52875 71 0 0 25 0 5 0 1129689427 595931136 142306 4294967295 134512640 135180984 3219982880 3086290800 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18223/tid=18228] ppid=18221 vsize=581964 CPUtime=568.75
/proc/18223/task/18228/stat : 18228 (satake) R 18221 18223 23155 0 -1 4202560 46589 0 0 0 56835 40 0 0 25 0 5 0 1129689427 595931136 142306 4294967295 134512640 135180984 3219982880 3086225264 134528756 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1611.03
Current children cumulated vsize (KiB) 581964

[startup+882.318 s]
/proc/loadavg: 6.59 6.52 6.45 8/117 20948
/proc/meminfo: memFree=2462028/3368532 swapFree=1953788/1959888
[pid=18223] ppid=18221 vsize=601176 CPUtime=1729.94
/proc/18223/stat : 18223 (satake) S 18221 18223 23155 0 -1 4202496 152273 0 0 0 172792 202 0 0 25 0 5 0 1129689426 615604224 147237 4294967295 134512640 135180984 3219982880 3219982316 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/18223/statm: 150294 147237 68 164 0 150129 0
[pid=18223/tid=18224] ppid=18221 vsize=601176 CPUtime=0.32
/proc/18223/task/18224/stat : 18224 (satake) S 18221 18223 23155 0 -1 4202560 114 0 0 0 13 19 0 0 15 0 5 0 1129689426 615604224 147237 4294967295 134512640 135180984 3219982880 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=18223/tid=18226] ppid=18221 vsize=601176 CPUtime=550.95
/proc/18223/task/18226/stat : 18226 (satake) R 18221 18223 23155 0 -1 4202560 51894 0 0 0 55029 66 0 0 25 0 5 0 1129689427 615604224 147237 4294967295 134512640 135180984 3219982880 3086356336 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18223/tid=18227] ppid=18221 vsize=601176 CPUtime=565.99
/proc/18223/task/18227/stat : 18227 (satake) R 18221 18223 23155 0 -1 4202560 52234 0 0 0 56525 74 0 0 25 0 5 0 1129689427 615604224 147237 4294967295 134512640 135180984 3219982880 3086290800 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18223/tid=18228] ppid=18221 vsize=601176 CPUtime=612.68
/proc/18223/task/18228/stat : 18228 (satake) R 18221 18223 23155 0 -1 4202560 47920 0 0 0 61225 43 0 0 25 0 5 0 1129689427 615604224 147237 4294967295 134512640 135180984 3219982880 3086225264 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1729.94
Current children cumulated vsize (KiB) 601176

[startup+942.313 s]
/proc/loadavg: 6.44 6.49 6.44 9/117 21104
/proc/meminfo: memFree=2444732/3368532 swapFree=1953788/1959888
[pid=18223] ppid=18221 vsize=620044 CPUtime=1848.74
/proc/18223/stat : 18223 (satake) S 18221 18223 23155 0 -1 4202496 156635 0 0 0 184666 208 0 0 25 0 5 0 1129689426 634925056 151599 4294967295 134512640 135180984 3219982880 3219982316 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/18223/statm: 155011 151599 68 164 0 154846 0
[pid=18223/tid=18224] ppid=18221 vsize=620044 CPUtime=0.32
/proc/18223/task/18224/stat : 18224 (satake) S 18221 18223 23155 0 -1 4202560 117 0 0 0 13 19 0 0 15 0 5 0 1129689426 634925056 151599 4294967295 134512640 135180984 3219982880 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=18223/tid=18226] ppid=18221 vsize=620044 CPUtime=594.25
/proc/18223/task/18226/stat : 18226 (satake) R 18221 18223 23155 0 -1 4202560 53416 0 0 0 59358 67 0 0 25 0 5 0 1129689427 634925056 151599 4294967295 134512640 135180984 3219982880 3086356336 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18223/tid=18227] ppid=18221 vsize=620044 CPUtime=598.23
/proc/18223/task/18227/stat : 18227 (satake) R 18221 18223 23155 0 -1 4202560 53962 0 0 0 59745 78 0 0 25 0 5 0 1129689427 634925056 151599 4294967295 134512640 135180984 3219982880 3086290800 134528648 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18223/tid=18228] ppid=18221 vsize=620044 CPUtime=655.94
/proc/18223/task/18228/stat : 18228 (satake) R 18221 18223 23155 0 -1 4202560 49029 0 0 0 65550 44 0 0 25 0 5 0 1129689427 634925056 151599 4294967295 134512640 135180984 3219982880 3086225264 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1848.74
Current children cumulated vsize (KiB) 620044



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 6.51 6.52 6.45 7/116 21245
/proc/meminfo: memFree=2429032/3368532 swapFree=1953788/1959888
[pid=18223] ppid=18221 vsize=635644 CPUtime=1963.37
/proc/18223/stat : 18223 (satake) S 18221 18223 23155 0 -1 4202496 160677 0 0 0 196119 218 0 0 25 0 5 0 1129689426 650899456 155641 4294967295 134512640 135180984 3219982880 3219982316 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/18223/statm: 158911 155641 68 164 0 158746 0
[pid=18223/tid=18224] ppid=18221 vsize=635644 CPUtime=0.33
/proc/18223/task/18224/stat : 18224 (satake) S 18221 18223 23155 0 -1 4202560 118 0 0 0 13 20 0 0 15 0 5 0 1129689426 650899456 155641 4294967295 134512640 135180984 3219982880 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=18223/tid=18226] ppid=18221 vsize=635644 CPUtime=634.74
/proc/18223/task/18226/stat : 18226 (satake) R 18221 18223 23155 0 -1 4202560 54718 0 0 0 63402 72 0 0 25 0 5 0 1129689427 650899456 155641 4294967295 134512640 135180984 3219982880 3086356328 134518252 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18223/tid=18227] ppid=18221 vsize=635644 CPUtime=633.69
/proc/18223/task/18227/stat : 18227 (satake) R 18221 18223 23155 0 -1 4202560 55667 0 0 0 63288 81 0 0 25 0 5 0 1129689427 650899456 155641 4294967295 134512640 135180984 3219982880 3086290800 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18223/tid=18228] ppid=18221 vsize=635644 CPUtime=694.61
/proc/18223/task/18228/stat : 18228 (satake) R 18221 18223 23155 0 -1 4202560 50063 0 0 0 69416 45 0 0 25 0 5 0 1129689427 650899456 155641 4294967295 134512640 135180984 3219982880 3086225264 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1963.37
Current children cumulated vsize (KiB) 635644

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.06
CPU time (s): 1963.44
CPU user time (s): 1961.23
CPU system time (s): 2.21
CPU usage (%): 196.332
Max. virtual memory (cumulated for all children) (KiB): 635644

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= 1961.23
system time used= 2.21
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160679
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= 53845
involuntary context switches= 119392

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 04:24:13
IDJOB=1780825
IDBENCH=71069
IDSOLVER=629
FILE ID=/1780825-1243650253
PBS_JOBID=
Free space on /tmp= 6470 MiB

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

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

MD5SUM BENCH= d554330e1400d4f25a793413df9abc4e
RANDOM SEED= 923251633

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

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


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3051348 kB
Buffers:         72144 kB
Cached:         137240 kB
SwapCached:       2256 kB
Active:         113216 kB
Inactive:       112916 kB
HighTotal:     2489216 kB
HighFree:      2333120 kB
LowTotal:       879316 kB
LowFree:        718228 kB
SwapTotal:     1959888 kB
SwapFree:      1953788 kB
Dirty:            7732 kB
Writeback:           0 kB
AnonPages:       16044 kB
Mapped:           5116 kB
Slab:            80656 kB
SReclaimable:    66936 kB
SUnreclaim:      13720 kB
PageTables:        644 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   112672 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 6470 MiB
End job on  at 2009-05-30 04:40:56