Trace number 1776445

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) 1684.25 1000.07

General information on the benchmark

Nameindustrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq1.cnf
MD5SUM9158de01004aff62af67cbb9db5bcbbb
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark395.12
Satisfiable
(Un)Satisfiability was proved
Number of variables24604
Number of clauses261473
Sum of the clauses size744579
Maximum clause length73
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2238933
Number of clauses of size 36442
Number of clauses of size 41972
Number of clauses of size 52972
Number of clauses of size over 511153

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-1776445-1243636866/watcher-1776445-1243636866 -o /tmp/evaluation-result-1776445-1243636866/solver-1776445-1243636866 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776445-1243636866.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.10 6.23 6.26 6/118 1024
/proc/meminfo: memFree=3206492/3368532 swapFree=1954888/1959888
[pid=1023] ppid=1021 vsize=968 CPUtime=0
/proc/1023/stat : 1023 (satake) R 1021 1023 8716 0 -1 4202496 108 0 0 0 0 0 0 0 25 0 2 0 1128350683 991232 65 4294967295 134512640 135180984 3215812144 3215811488 134705812 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/1023/statm: 242 65 54 164 0 77 0
[pid=1023/tid=1024] ppid=1021 vsize=968 CPUtime=0
/proc/1023/task/1024/stat : 1024 (satake) R 1021 1023 8716 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 2 0 1128350683 991232 65 4294967295 134512640 135180984 3215812144 3086005060 134705812 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.094555 s]
/proc/loadavg: 6.10 6.23 6.26 6/118 1024
/proc/meminfo: memFree=3206492/3368532 swapFree=1954888/1959888
[pid=1023] ppid=1021 vsize=20984 CPUtime=0.09
/proc/1023/stat : 1023 (satake) S 1021 1023 8716 0 -1 4202496 4835 0 0 0 9 0 0 0 25 0 5 0 1128350683 21487616 4791 4294967295 134512640 135180984 3215812144 3215811580 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/1023/statm: 5246 4791 63 164 0 5081 0
[pid=1023/tid=1024] ppid=1021 vsize=20984 CPUtime=0
/proc/1023/task/1024/stat : 1024 (satake) S 1021 1023 8716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1128350683 21487616 4791 4294967295 134512640 135180984 3215812144 3086004240 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20984

[startup+0.181438 s]
/proc/loadavg: 6.10 6.23 6.26 6/118 1024
/proc/meminfo: memFree=3206492/3368532 swapFree=1954888/1959888
[pid=1023] ppid=1021 vsize=26076 CPUtime=0.17
/proc/1023/stat : 1023 (satake) S 1021 1023 8716 0 -1 4202496 6139 0 0 0 17 0 0 0 25 0 5 0 1128350683 26701824 6091 4294967295 134512640 135180984 3215812144 3215811580 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/1023/statm: 6519 6091 63 164 0 6354 0
[pid=1023/tid=1024] ppid=1021 vsize=26076 CPUtime=0
/proc/1023/task/1024/stat : 1024 (satake) S 1021 1023 8716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1128350683 26701824 6091 4294967295 134512640 135180984 3215812144 3086004240 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 26076

[startup+0.304528 s]
/proc/loadavg: 6.10 6.23 6.26 6/118 1024
/proc/meminfo: memFree=3206492/3368532 swapFree=1954888/1959888
[pid=1023] ppid=1021 vsize=34048 CPUtime=0.28
/proc/1023/stat : 1023 (satake) S 1021 1023 8716 0 -1 4202496 7628 0 0 0 27 1 0 0 25 0 5 0 1128350683 34865152 7576 4294967295 134512640 135180984 3215812144 3215811580 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/1023/statm: 8512 7576 63 164 0 8347 0
[pid=1023/tid=1024] ppid=1021 vsize=34048 CPUtime=0
/proc/1023/task/1024/stat : 1024 (satake) S 1021 1023 8716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1128350683 34865152 7576 4294967295 134512640 135180984 3215812144 3086004240 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 34048

[startup+0.704506 s]
/proc/loadavg: 6.10 6.23 6.26 6/118 1024
/proc/meminfo: memFree=3206492/3368532 swapFree=1954888/1959888
[pid=1023] ppid=1021 vsize=45352 CPUtime=0.57
/proc/1023/stat : 1023 (satake) S 1021 1023 8716 0 -1 4202496 11143 0 0 0 56 1 0 0 25 0 5 0 1128350683 46440448 9894 4294967295 134512640 135180984 3215812144 3215811580 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/1023/statm: 11338 9894 64 164 0 11173 0
[pid=1023/tid=1024] ppid=1021 vsize=45352 CPUtime=0
/proc/1023/task/1024/stat : 1024 (satake) S 1021 1023 8716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1128350683 46440448 9894 4294967295 134512640 135180984 3215812144 3086004240 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 45352

[startup+1.50443 s]
/proc/loadavg: 6.17 6.25 6.26 7/122 1212
/proc/meminfo: memFree=3167856/3368532 swapFree=1954888/1959888
[pid=1023] ppid=1021 vsize=43520 CPUtime=1.56
/proc/1023/stat : 1023 (satake) S 1021 1023 8716 0 -1 4202496 13230 0 0 0 146 10 0 0 25 0 5 0 1128350683 44564480 9593 4294967295 134512640 135180984 3215812144 3215811580 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/1023/statm: 10880 9593 68 164 0 10715 0
[pid=1023/tid=1024] ppid=1021 vsize=43520 CPUtime=0.09
/proc/1023/task/1024/stat : 1024 (satake) S 1021 1023 8716 0 -1 4202560 461 0 0 0 4 5 0 0 15 0 5 0 1128350683 44564480 9593 4294967295 134512640 135180984 3215812144 3086004240 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=1023/tid=1026] ppid=1021 vsize=43520 CPUtime=0.46
/proc/1023/task/1026/stat : 1026 (satake) R 1021 1023 8716 0 -1 4202560 4234 0 0 0 46 0 0 0 25 0 5 0 1128350684 44564480 9593 4294967295 134512640 135180984 3215812144 3085938336 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1023/tid=1027] ppid=1021 vsize=43520 CPUtime=0.58
/proc/1023/task/1027/stat : 1027 (satake) R 1021 1023 8716 0 -1 4202560 4251 0 0 0 54 4 0 0 24 0 5 0 1128350684 44564480 9593 4294967295 134512640 135180984 3215812144 3085873000 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1023/tid=1028] ppid=1021 vsize=43520 CPUtime=0.43
/proc/1023/task/1028/stat : 1028 (satake) R 1021 1023 8716 0 -1 4202560 4173 0 0 0 42 1 0 0 25 0 5 0 1128350684 44564480 9593 4294967295 134512640 135180984 3215812144 3085807268 134580588 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 43520

[startup+3.10429 s]
/proc/loadavg: 6.17 6.25 6.26 6/122 1216
/proc/meminfo: memFree=3165084/3368532 swapFree=1954888/1959888
[pid=1023] ppid=1021 vsize=46128 CPUtime=3.12
/proc/1023/stat : 1023 (satake) S 1021 1023 8716 0 -1 4202496 13868 0 0 0 292 20 0 0 25 0 5 0 1128350683 47235072 10231 4294967295 134512640 135180984 3215812144 3215811580 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/1023/statm: 11532 10231 68 164 0 11367 0
[pid=1023/tid=1024] ppid=1021 vsize=46128 CPUtime=0.14
/proc/1023/task/1024/stat : 1024 (satake) S 1021 1023 8716 0 -1 4202560 506 0 0 0 6 8 0 0 15 0 5 0 1128350683 47235072 10231 4294967295 134512640 135180984 3215812144 3086004240 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=1023/tid=1026] ppid=1021 vsize=46128 CPUtime=1.04
/proc/1023/task/1026/stat : 1026 (satake) R 1021 1023 8716 0 -1 4202560 4422 0 0 0 101 3 0 0 25 0 5 0 1128350684 47235072 10231 4294967295 134512640 135180984 3215812144 3085938544 134528756 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1023/tid=1027] ppid=1021 vsize=46128 CPUtime=1.03
/proc/1023/task/1027/stat : 1027 (satake) R 1021 1023 8716 0 -1 4202560 4484 0 0 0 97 6 0 0 25 0 5 0 1128350684 47235072 10231 4294967295 134512640 135180984 3215812144 3085873008 134528438 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1023/tid=1028] ppid=1021 vsize=46128 CPUtime=0.91
/proc/1023/task/1028/stat : 1028 (satake) R 1021 1023 8716 0 -1 4202560 4345 0 0 0 88 3 0 0 25 0 5 0 1128350684 47235072 10231 4294967295 134512640 135180984 3215812144 3085807484 134519082 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 46128

[startup+6.30401 s]
/proc/loadavg: 6.08 6.22 6.25 8/122 1220
/proc/meminfo: memFree=3158516/3368532 swapFree=1954888/1959888
[pid=1023] ppid=1021 vsize=52896 CPUtime=6.27
/proc/1023/stat : 1023 (satake) S 1021 1023 8716 0 -1 4202496 15621 0 0 0 592 35 0 0 25 0 5 0 1128350683 54165504 11984 4294967295 134512640 135180984 3215812144 3215811580 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/1023/statm: 13224 11984 68 164 0 13059 0
[pid=1023/tid=1024] ppid=1021 vsize=52896 CPUtime=0.21
/proc/1023/task/1024/stat : 1024 (satake) S 1021 1023 8716 0 -1 4202560 543 0 0 0 8 13 0 0 15 0 5 0 1128350683 54165504 11984 4294967295 134512640 135180984 3215812144 3086004240 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=1023/tid=1026] ppid=1021 vsize=52896 CPUtime=2.15
/proc/1023/task/1026/stat : 1026 (satake) R 1021 1023 8716 0 -1 4202560 4954 0 0 0 210 5 0 0 25 0 5 0 1128350684 54165504 11984 4294967295 134512640 135180984 3215812144 3085938560 134518634 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1023/tid=1027] ppid=1021 vsize=52896 CPUtime=2
/proc/1023/task/1027/stat : 1027 (satake) R 1021 1023 8716 0 -1 4202560 5089 0 0 0 192 8 0 0 25 0 5 0 1128350684 54165504 11984 4294967295 134512640 135180984 3215812144 3085873008 134528655 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1023/tid=1028] ppid=1021 vsize=52896 CPUtime=1.91
/proc/1023/task/1028/stat : 1028 (satake) R 1021 1023 8716 0 -1 4202560 4924 0 0 0 182 9 0 0 25 0 5 0 1128350684 54165504 11984 4294967295 134512640 135180984 3215812144 3085807472 134528652 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 52896

[startup+12.7035 s]
/proc/loadavg: 6.07 6.22 6.25 6/122 1228
/proc/meminfo: memFree=3147472/3368532 swapFree=1954888/1959888
[pid=1023] ppid=1021 vsize=63348 CPUtime=12.6
/proc/1023/stat : 1023 (satake) S 1021 1023 8716 0 -1 4202496 18266 0 0 0 1208 52 0 0 25 0 5 0 1128350683 64868352 14629 4294967295 134512640 135180984 3215812144 3215811580 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/1023/statm: 15837 14629 68 164 0 15672 0
[pid=1023/tid=1024] ppid=1021 vsize=63348 CPUtime=0.34
/proc/1023/task/1024/stat : 1024 (satake) S 1021 1023 8716 0 -1 4202560 647 0 0 0 14 20 0 0 15 0 5 0 1128350683 64868352 14629 4294967295 134512640 135180984 3215812144 3086004240 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=1023/tid=1026] ppid=1021 vsize=63348 CPUtime=4.25
/proc/1023/task/1026/stat : 1026 (satake) R 1021 1023 8716 0 -1 4202560 5695 0 0 0 416 9 0 0 25 0 5 0 1128350684 64868352 14629 4294967295 134512640 135180984 3215812144 3085938480 134523713 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1023/tid=1027] ppid=1021 vsize=63348 CPUtime=4.1
/proc/1023/task/1027/stat : 1027 (satake) R 1021 1023 8716 0 -1 4202560 5953 0 0 0 400 10 0 0 25 0 5 0 1128350684 64868352 14629 4294967295 134512640 135180984 3215812144 3085873000 134520667 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1023/tid=1028] ppid=1021 vsize=63348 CPUtime=3.91
/proc/1023/task/1028/stat : 1028 (satake) R 1021 1023 8716 0 -1 4202560 5860 0 0 0 378 13 0 0 25 0 5 0 1128350684 64868352 14629 4294967295 134512640 135180984 3215812144 3085807464 134520909 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 63348

[startup+25.5124 s]
/proc/loadavg: 5.98 6.19 6.24 6/122 1247
/proc/meminfo: memFree=3127660/3368532 swapFree=1954888/1959888
[pid=1023] ppid=1021 vsize=83988 CPUtime=25.27
/proc/1023/stat : 1023 (satake) S 1021 1023 8716 0 -1 4202496 23157 0 0 0 2344 183 0 0 25 0 5 0 1128350683 86003712 19520 4294967295 134512640 135180984 3215812144 3215811580 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/1023/statm: 20997 19520 68 164 0 20832 0
[pid=1023/tid=1024] ppid=1021 vsize=83988 CPUtime=1.2
/proc/1023/task/1024/stat : 1024 (satake) S 1021 1023 8716 0 -1 4202560 1207 0 0 0 37 83 0 0 15 0 5 0 1128350683 86003712 19520 4294967295 134512640 135180984 3215812144 3086004240 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=1023/tid=1026] ppid=1021 vsize=83988 CPUtime=8.16
/proc/1023/task/1026/stat : 1026 (satake) R 1021 1023 8716 0 -1 4202560 7079 0 0 0 784 32 0 0 25 0 5 0 1128350684 86003712 19520 4294967295 134512640 135180984 3215812144 3085938544 134528652 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1023/tid=1027] ppid=1021 vsize=83988 CPUtime=7.99
/proc/1023/task/1027/stat : 1027 (satake) S 1021 1023 8716 0 -1 4202560 7303 0 0 0 769 30 0 0 25 0 5 0 1128350684 86003712 19520 4294967295 134512640 135180984 3215812144 3085872800 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=1023/tid=1028] ppid=1021 vsize=83988 CPUtime=7.92
/proc/1023/task/1028/stat : 1028 (satake) R 1021 1023 8716 0 -1 4202560 7457 0 0 0 754 38 0 0 25 0 5 0 1128350684 86003712 19520 4294967295 134512640 135180984 3215812144 3085807264 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 83988

[startup+51.1101 s]
/proc/loadavg: 6.06 6.19 6.24 7/122 1280
/proc/meminfo: memFree=3071580/3368532 swapFree=1954888/1959888
[pid=1023] ppid=1021 vsize=140188 CPUtime=50.91
/proc/1023/stat : 1023 (satake) S 1021 1023 8716 0 -1 4202496 37375 0 0 0 4879 212 0 0 25 0 5 0 1128350683 143552512 33738 4294967295 134512640 135180984 3215812144 3215811580 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/1023/statm: 35047 33738 68 164 0 34882 0
[pid=1023/tid=1024] ppid=1021 vsize=140188 CPUtime=1.43
/proc/1023/task/1024/stat : 1024 (satake) S 1021 1023 8716 0 -1 4202560 1314 0 0 0 50 93 0 0 15 0 5 0 1128350683 143552512 33738 4294967295 134512640 135180984 3215812144 3086004240 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=1023/tid=1026] ppid=1021 vsize=140188 CPUtime=16.85
/proc/1023/task/1026/stat : 1026 (satake) R 1021 1023 8716 0 -1 4202560 11539 0 0 0 1645 40 0 0 25 0 5 0 1128350684 143552512 33738 4294967295 134512640 135180984 3215812144 3085938544 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1023/tid=1027] ppid=1021 vsize=140188 CPUtime=16.13
/proc/1023/task/1027/stat : 1027 (satake) R 1021 1023 8716 0 -1 4202560 12162 0 0 0 1579 34 0 0 25 0 5 0 1128350684 143552512 33738 4294967295 134512640 135180984 3215812144 3085872896 134522980 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1023/tid=1028] ppid=1021 vsize=140188 CPUtime=16.5
/proc/1023/task/1028/stat : 1028 (satake) R 1021 1023 8716 0 -1 4202560 12249 0 0 0 1605 45 0 0 25 0 5 0 1128350684 143552512 33738 4294967295 134512640 135180984 3215812144 3085807464 134518216 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 140188

[startup+102.316 s]
/proc/loadavg: 5.72 6.07 6.19 7/122 1536
/proc/meminfo: memFree=2993668/3368532 swapFree=1954888/1959888
[pid=1023] ppid=1021 vsize=216564 CPUtime=103.26
/proc/1023/stat : 1023 (satake) S 1021 1023 8716 0 -1 4202496 56498 0 0 0 10085 241 0 0 25 0 5 0 1128350683 221761536 52861 4294967295 134512640 135180984 3215812144 3215811580 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/1023/statm: 54141 52861 68 164 0 53976 0
[pid=1023/tid=1024] ppid=1021 vsize=216564 CPUtime=1.58
/proc/1023/task/1024/stat : 1024 (satake) S 1021 1023 8716 0 -1 4202560 1386 0 0 0 54 104 0 0 15 0 5 0 1128350683 221761536 52861 4294967295 134512640 135180984 3215812144 3086004240 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=1023/tid=1026] ppid=1021 vsize=216564 CPUtime=34.75
/proc/1023/task/1026/stat : 1026 (satake) R 1021 1023 8716 0 -1 4202560 17326 0 0 0 3428 47 0 0 25 0 5 0 1128350684 221761536 52861 4294967295 134512640 135180984 3215812144 3085938544 134528195 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1023/tid=1027] ppid=1021 vsize=216564 CPUtime=33.02
/proc/1023/task/1027/stat : 1027 (satake) R 1021 1023 8716 0 -1 4202560 18365 0 0 0 3264 38 0 0 25 0 5 0 1128350684 221761536 52861 4294967295 134512640 135180984 3215812144 3085873008 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1023/tid=1028] ppid=1021 vsize=216564 CPUtime=33.91
/proc/1023/task/1028/stat : 1028 (satake) R 1021 1023 8716 0 -1 4202560 19310 0 0 0 3339 52 0 0 25 0 5 0 1128350684 221761536 52861 4294967295 134512640 135180984 3215812144 3085807408 134523716 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 103.26
Current children cumulated vsize (KiB) 216564

[startup+162.311 s]
/proc/loadavg: 6.04 6.10 6.19 6/122 1794
/proc/meminfo: memFree=2925440/3368532 swapFree=1954888/1959888
[pid=1023] ppid=1021 vsize=288956 CPUtime=166.1
/proc/1023/stat : 1023 (satake) S 1021 1023 8716 0 -1 4202496 73857 0 0 0 16352 258 0 0 25 0 5 0 1128350683 295890944 70220 4294967295 134512640 135180984 3215812144 3215811580 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/1023/statm: 72239 70220 68 164 0 72074 0
[pid=1023/tid=1024] ppid=1021 vsize=288956 CPUtime=1.68
/proc/1023/task/1024/stat : 1024 (satake) S 1021 1023 8716 0 -1 4202560 1436 0 0 0 58 110 0 0 15 0 5 0 1128350683 295890944 70220 4294967295 134512640 135180984 3215812144 3086004240 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=1023/tid=1026] ppid=1021 vsize=288956 CPUtime=56.27
/proc/1023/task/1026/stat : 1026 (satake) S 1021 1023 8716 0 -1 4202560 21887 0 0 0 5577 50 0 0 25 0 5 0 1128350684 295890944 70220 4294967295 134512640 135180984 3215812144 3085938336 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=1023/tid=1027] ppid=1021 vsize=288956 CPUtime=53.08
/proc/1023/task/1027/stat : 1027 (satake) R 1021 1023 8716 0 -1 4202560 25655 0 0 0 5266 42 0 0 25 0 5 0 1128350684 295890944 70220 4294967295 134512640 135180984 3215812144 3085872800 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1023/tid=1028] ppid=1021 vsize=288956 CPUtime=55.08
/proc/1023/task/1028/stat : 1028 (satake) R 1021 1023 8716 0 -1 4202560 24768 0 0 0 5452 56 0 0 25 0 5 0 1128350684 295890944 70220 4294967295 134512640 135180984 3215812144 3085807344 134522683 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 166.1

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

[pid=1023/tid=1026] ppid=1021 vsize=662800 CPUtime=278.81
/proc/1023/task/1026/stat : 1026 (satake) R 1021 1023 8716 0 -1 4202560 48158 0 0 0 27807 74 0 0 25 0 5 0 1128350684 678707200 162477 4294967295 134512640 135180984 3215812144 3085938540 134518218 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1023/tid=1027] ppid=1021 vsize=662800 CPUtime=264.02
/proc/1023/task/1027/stat : 1027 (satake) R 1021 1023 8716 0 -1 4202560 62212 0 0 0 26321 81 0 0 25 0 5 0 1128350684 678707200 162477 4294967295 134512640 135180984 3215812144 3085872800 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1023/tid=1028] ppid=1021 vsize=662800 CPUtime=278.04
/proc/1023/task/1028/stat : 1028 (satake) R 1021 1023 8716 0 -1 4202560 54028 0 0 0 27726 78 0 0 25 0 5 0 1128350684 678707200 162477 4294967295 134512640 135180984 3215812144 3085807472 134526240 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 823.21
Current children cumulated vsize (KiB) 662800

[startup+582.304 s]
/proc/loadavg: 6.54 6.30 6.23 7/122 3676
/proc/meminfo: memFree=2509468/3368532 swapFree=1954888/1959888
[pid=1023] ppid=1021 vsize=707684 CPUtime=925.78
/proc/1023/stat : 1023 (satake) S 1021 1023 8716 0 -1 4202496 177487 0 0 0 92186 392 0 0 25 0 5 0 1128350683 724668416 173850 4294967295 134512640 135180984 3215812144 3215811580 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/1023/statm: 176921 173850 68 164 0 176756 0
[pid=1023/tid=1024] ppid=1021 vsize=707684 CPUtime=2.35
/proc/1023/task/1024/stat : 1024 (satake) S 1021 1023 8716 0 -1 4202560 1619 0 0 0 85 150 0 0 15 0 5 0 1128350683 724668416 173850 4294967295 134512640 135180984 3215812144 3086004240 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=1023/tid=1026] ppid=1021 vsize=707684 CPUtime=316.65
/proc/1023/task/1026/stat : 1026 (satake) R 1021 1023 8716 0 -1 4202560 50531 0 0 0 31586 79 0 0 25 0 5 0 1128350684 724668416 173850 4294967295 134512640 135180984 3215812144 3085938544 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1023/tid=1027] ppid=1021 vsize=707684 CPUtime=295.97
/proc/1023/task/1027/stat : 1027 (satake) R 1021 1023 8716 0 -1 4202560 66565 0 0 0 29515 82 0 0 25 0 5 0 1128350684 724668416 173850 4294967295 134512640 135180984 3215812144 3085873008 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1023/tid=1028] ppid=1021 vsize=707684 CPUtime=310.81
/proc/1023/task/1028/stat : 1028 (satake) R 1021 1023 8716 0 -1 4202560 58661 0 0 0 31000 81 0 0 25 0 5 0 1128350684 724668416 173850 4294967295 134512640 135180984 3215812144 3085807472 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 925.78
Current children cumulated vsize (KiB) 707684

[startup+642.309 s]
/proc/loadavg: 6.88 6.43 6.28 7/122 3941
/proc/meminfo: memFree=2467628/3368532 swapFree=1954888/1959888
[pid=1023] ppid=1021 vsize=749936 CPUtime=1030.59
/proc/1023/stat : 1023 (satake) S 1021 1023 8716 0 -1 4202496 187933 0 0 0 102659 400 0 0 25 0 5 0 1128350683 767934464 184296 4294967295 134512640 135180984 3215812144 3215811580 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/1023/statm: 187484 184296 68 164 0 187319 0
[pid=1023/tid=1024] ppid=1021 vsize=749936 CPUtime=2.41
/proc/1023/task/1024/stat : 1024 (satake) S 1021 1023 8716 0 -1 4202560 1637 0 0 0 89 152 0 0 15 0 5 0 1128350683 767934464 184297 4294967295 134512640 135180984 3215812144 3086004240 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=1023/tid=1026] ppid=1021 vsize=749936 CPUtime=355.55
/proc/1023/task/1026/stat : 1026 (satake) R 1021 1023 8716 0 -1 4202560 52463 0 0 0 35474 81 0 0 25 0 5 0 1128350684 767934464 184297 4294967295 134512640 135180984 3215812144 3085938544 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1023/tid=1027] ppid=1021 vsize=749936 CPUtime=326.67
/proc/1023/task/1027/stat : 1027 (satake) R 1021 1023 8716 0 -1 4202560 70947 0 0 0 32584 83 0 0 25 0 5 0 1128350684 767934464 184297 4294967295 134512640 135180984 3215812144 3085872840 134675767 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1023/tid=1028] ppid=1021 vsize=749936 CPUtime=345.96
/proc/1023/task/1028/stat : 1028 (satake) R 1021 1023 8716 0 -1 4202560 62776 0 0 0 34512 84 0 0 25 0 5 0 1128350684 767934464 184297 4294967295 134512640 135180984 3215812144 3085807264 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1030.59
Current children cumulated vsize (KiB) 749936

[startup+702.314 s]
/proc/loadavg: 7.08 6.55 6.32 8/123 4174
/proc/meminfo: memFree=2436156/3368532 swapFree=1954888/1959888
[pid=1023] ppid=1021 vsize=781516 CPUtime=1125.43
/proc/1023/stat : 1023 (satake) S 1021 1023 8716 0 -1 4202496 195783 0 0 0 112134 409 0 0 25 0 5 0 1128350683 800272384 192146 4294967295 134512640 135180984 3215812144 3215811580 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/1023/statm: 195379 192146 68 164 0 195214 0
[pid=1023/tid=1024] ppid=1021 vsize=781516 CPUtime=2.47
/proc/1023/task/1024/stat : 1024 (satake) S 1021 1023 8716 0 -1 4202560 1658 0 0 0 92 155 0 0 15 0 5 0 1128350683 800272384 192146 4294967295 134512640 135180984 3215812144 3086004240 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=1023/tid=1026] ppid=1021 vsize=781516 CPUtime=386.82
/proc/1023/task/1026/stat : 1026 (satake) R 1021 1023 8716 0 -1 4202560 54491 0 0 0 38598 84 0 0 25 0 5 0 1128350684 800272384 192146 4294967295 134512640 135180984 3215812144 3085938544 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1023/tid=1027] ppid=1021 vsize=781516 CPUtime=354.13
/proc/1023/task/1027/stat : 1027 (satake) R 1021 1023 8716 0 -1 4202560 74404 0 0 0 35328 85 0 0 25 0 5 0 1128350684 800272384 192146 4294967295 134512640 135180984 3215812144 3085873008 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1023/tid=1028] ppid=1021 vsize=781516 CPUtime=382.01
/proc/1023/task/1028/stat : 1028 (satake) R 1021 1023 8716 0 -1 4202560 65119 0 0 0 38116 85 0 0 25 0 5 0 1128350684 800272384 192146 4294967295 134512640 135180984 3215812144 3085807472 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1125.43
Current children cumulated vsize (KiB) 781516

[startup+762.319 s]
/proc/loadavg: 6.69 6.54 6.33 9/123 4445
/proc/meminfo: memFree=2407744/3368532 swapFree=1954888/1959888
[pid=1023] ppid=1021 vsize=810892 CPUtime=1218.32
/proc/1023/stat : 1023 (satake) S 1021 1023 8716 0 -1 4202496 202842 0 0 0 121414 418 0 0 25 0 5 0 1128350683 830353408 199205 4294967295 134512640 135180984 3215812144 3215811580 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/1023/statm: 202723 199205 68 164 0 202558 0
[pid=1023/tid=1024] ppid=1021 vsize=810892 CPUtime=2.52
/proc/1023/task/1024/stat : 1024 (satake) S 1021 1023 8716 0 -1 4202560 1689 0 0 0 94 158 0 0 15 0 5 0 1128350683 830353408 199205 4294967295 134512640 135180984 3215812144 3086004240 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=1023/tid=1026] ppid=1021 vsize=810892 CPUtime=421.26
/proc/1023/task/1026/stat : 1026 (satake) R 1021 1023 8716 0 -1 4202560 56519 0 0 0 42041 85 0 0 25 0 5 0 1128350684 830353408 199205 4294967295 134512640 135180984 3215812144 3085938544 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1023/tid=1027] ppid=1021 vsize=810892 CPUtime=383.33
/proc/1023/task/1027/stat : 1027 (satake) R 1021 1023 8716 0 -1 4202560 77908 0 0 0 38245 88 0 0 25 0 5 0 1128350684 830353408 199205 4294967295 134512640 135180984 3215812144 3085873008 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1023/tid=1028] ppid=1021 vsize=810892 CPUtime=411.21
/proc/1023/task/1028/stat : 1028 (satake) R 1021 1023 8716 0 -1 4202560 66615 0 0 0 41034 87 0 0 25 0 5 0 1128350684 830353408 199205 4294967295 134512640 135180984 3215812144 3085807408 134523821 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1218.32
Current children cumulated vsize (KiB) 810892

[startup+822.314 s]
/proc/loadavg: 6.52 6.50 6.33 8/123 4705
/proc/meminfo: memFree=2380932/3368532 swapFree=1954888/1959888
[pid=1023] ppid=1021 vsize=836644 CPUtime=1337.07
/proc/1023/stat : 1023 (satake) S 1021 1023 8716 0 -1 4202496 209608 0 0 0 133278 429 0 0 25 0 5 0 1128350683 856723456 205971 4294967295 134512640 135180984 3215812144 3215811580 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/1023/statm: 209161 205971 68 164 0 208996 0
[pid=1023/tid=1024] ppid=1021 vsize=836644 CPUtime=2.56
/proc/1023/task/1024/stat : 1024 (satake) S 1021 1023 8716 0 -1 4202560 1718 0 0 0 97 159 0 0 15 0 5 0 1128350683 856723456 205971 4294967295 134512640 135180984 3215812144 3086004240 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=1023/tid=1026] ppid=1021 vsize=836644 CPUtime=460.65
/proc/1023/task/1026/stat : 1026 (satake) R 1021 1023 8716 0 -1 4202560 58069 0 0 0 45978 87 0 0 25 0 5 0 1128350684 856723456 205971 4294967295 134512640 135180984 3215812144 3085938544 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1023/tid=1027] ppid=1021 vsize=836644 CPUtime=419.01
/proc/1023/task/1027/stat : 1027 (satake) R 1021 1023 8716 0 -1 4202560 81169 0 0 0 41806 95 0 0 25 0 5 0 1128350684 856723456 205971 4294967295 134512640 135180984 3215812144 3085872928 134520815 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1023/tid=1028] ppid=1021 vsize=836644 CPUtime=454.85
/proc/1023/task/1028/stat : 1028 (satake) R 1021 1023 8716 0 -1 4202560 68541 0 0 0 45397 88 0 0 25 0 5 0 1128350684 856723456 205971 4294967295 134512640 135180984 3215812144 3085807472 134528406 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1337.07
Current children cumulated vsize (KiB) 836644

[startup+882.308 s]
/proc/loadavg: 6.79 6.57 6.37 9/123 4982
/proc/meminfo: memFree=2371392/3368532 swapFree=1954888/1959888
[pid=1023] ppid=1021 vsize=845176 CPUtime=1456.39
/proc/1023/stat : 1023 (satake) S 1021 1023 8716 0 -1 4202496 211836 0 0 0 145200 439 0 0 25 0 5 0 1128350683 865460224 208199 4294967295 134512640 135180984 3215812144 3215811580 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/1023/statm: 211294 208199 68 164 0 211129 0
[pid=1023/tid=1024] ppid=1021 vsize=845176 CPUtime=2.67
/proc/1023/task/1024/stat : 1024 (satake) S 1021 1023 8716 0 -1 4202560 1763 0 0 0 101 166 0 0 15 0 5 0 1128350683 865460224 208199 4294967295 134512640 135180984 3215812144 3086004240 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=1023/tid=1026] ppid=1021 vsize=845176 CPUtime=493.37
/proc/1023/task/1026/stat : 1026 (satake) R 1021 1023 8716 0 -1 4202560 59120 0 0 0 49248 89 0 0 25 0 5 0 1128350684 865460224 208199 4294967295 134512640 135180984 3215812144 3085938544 134528756 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1023/tid=1027] ppid=1021 vsize=845176 CPUtime=463.13
/proc/1023/task/1027/stat : 1027 (satake) R 1021 1023 8716 0 -1 4202560 81169 0 0 0 46218 95 0 0 25 0 5 0 1128350684 865460224 208199 4294967295 134512640 135180984 3215812144 3085873008 134528543 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1023/tid=1028] ppid=1021 vsize=845176 CPUtime=497.22
/proc/1023/task/1028/stat : 1028 (satake) R 1021 1023 8716 0 -1 4202560 69673 0 0 0 49633 89 0 0 25 0 5 0 1128350684 865460224 208199 4294967295 134512640 135180984 3215812144 3085807392 134520798 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1456.39
Current children cumulated vsize (KiB) 845176

[startup+942.313 s]
/proc/loadavg: 6.02 6.38 6.31 7/119 5159
/proc/meminfo: memFree=2371316/3368532 swapFree=1954888/1959888
[pid=1023] ppid=1021 vsize=845176 CPUtime=1574.59
/proc/1023/stat : 1023 (satake) S 1021 1023 8716 0 -1 4202496 211885 0 0 0 156993 466 0 0 25 0 5 0 1128350683 865460224 208248 4294967295 134512640 135180984 3215812144 3215811580 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/1023/statm: 211294 208248 68 164 0 211129 0
[pid=1023/tid=1024] ppid=1021 vsize=845176 CPUtime=2.91
/proc/1023/task/1024/stat : 1024 (satake) S 1021 1023 8716 0 -1 4202560 1774 0 0 0 111 180 0 0 15 0 5 0 1128350683 865460224 208248 4294967295 134512640 135180984 3215812144 3086004240 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=1023/tid=1026] ppid=1021 vsize=845176 CPUtime=540.26
/proc/1023/task/1026/stat : 1026 (satake) R 1021 1023 8716 0 -1 4202560 59139 0 0 0 53934 92 0 0 16 0 5 0 1128350684 865460224 208248 4294967295 134512640 135180984 3215812144 3085938472 134579745 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1023/tid=1027] ppid=1021 vsize=845176 CPUtime=496.33
/proc/1023/task/1027/stat : 1027 (satake) R 1021 1023 8716 0 -1 4202560 81188 0 0 0 49533 100 0 0 25 0 5 0 1128350684 865460224 208248 4294967295 134512640 135180984 3215812144 3085873008 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1023/tid=1028] ppid=1021 vsize=845176 CPUtime=535.09
/proc/1023/task/1028/stat : 1028 (satake) R 1021 1023 8716 0 -1 4202560 69673 0 0 0 53415 94 0 0 25 0 5 0 1128350684 865460224 208248 4294967295 134512640 135180984 3215812144 3085807468 134518208 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1574.59
Current children cumulated vsize (KiB) 845176



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 5.48 6.17 6.24 6/118 5356
/proc/meminfo: memFree=2371148/3368532 swapFree=1954888/1959888
[pid=1023] ppid=1021 vsize=845336 CPUtime=1684.18
/proc/1023/stat : 1023 (satake) S 1021 1023 8716 0 -1 4202496 211959 0 0 0 167895 523 0 0 25 0 5 0 1128350683 865624064 208322 4294967295 134512640 135180984 3215812144 3215811580 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/1023/statm: 211334 208322 68 164 0 211169 0
[pid=1023/tid=1024] ppid=1021 vsize=845336 CPUtime=3.49
/proc/1023/task/1024/stat : 1024 (satake) S 1021 1023 8716 0 -1 4202560 1784 0 0 0 133 216 0 0 15 0 5 0 1128350683 865624064 208322 4294967295 134512640 135180984 3215812144 3086004240 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=1023/tid=1026] ppid=1021 vsize=845336 CPUtime=572.57
/proc/1023/task/1026/stat : 1026 (satake) R 1021 1023 8716 0 -1 4202560 59139 0 0 0 57158 99 0 0 25 0 5 0 1128350684 865624064 208322 4294967295 134512640 135180984 3215812144 3085938536 134518214 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1023/tid=1027] ppid=1021 vsize=845336 CPUtime=531.01
/proc/1023/task/1027/stat : 1027 (satake) R 1021 1023 8716 0 -1 4202560 81231 0 0 0 52995 106 0 0 25 0 5 0 1128350684 865624064 208322 4294967295 134512640 135180984 3215812144 3085873000 134520667 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1023/tid=1028] ppid=1021 vsize=845336 CPUtime=577.11
/proc/1023/task/1028/stat : 1028 (satake) R 1021 1023 8716 0 -1 4202560 69694 0 0 0 57609 102 0 0 25 0 5 0 1128350684 865624064 208322 4294967295 134512640 135180984 3215812144 3085807472 134528641 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1684.18
Current children cumulated vsize (KiB) 845336

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.07
CPU time (s): 1684.25
CPU user time (s): 1678.98
CPU system time (s): 5.27
CPU usage (%): 168.412
Max. virtual memory (cumulated for all children) (KiB): 845336

deleting IPC queue 3670016
deleting IPC queue 3702785
deleting IPC queue 3735554
deleting IPC queue 3768323
deleting IPC queue 3801092
deleting IPC queue 3833861
deleting IPC queue 3866630
deleting IPC queue 3899399
deleting IPC queue 3932168
deleting IPC queue 3964937
deleting IPC queue 3997706
deleting IPC queue 4030475
deleting IPC queue 4063244
deleting IPC queue 4096013
deleting IPC queue 4128782
deleting IPC queue 4161551

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1678.98
system time used= 5.27
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211959
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= 915675
involuntary context switches= 913426

runsolver used 0.01 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 00:41:06
IDJOB=1776445
IDBENCH=20573
IDSOLVER=629
FILE ID=/1776445-1243636866
PBS_JOBID=
Free space on /tmp= 15879 MiB

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

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

MD5SUM BENCH= 9158de01004aff62af67cbb9db5bcbbb
RANDOM SEED= 1128198674

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.43
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:       3206492 kB
Buffers:         12388 kB
Cached:          75628 kB
SwapCached:        720 kB
Active:          55444 kB
Inactive:        49612 kB
HighTotal:     2489216 kB
HighFree:      2393584 kB
LowTotal:       879316 kB
LowFree:        812908 kB
SwapTotal:     1959888 kB
SwapFree:      1954888 kB
Dirty:            5768 kB
Writeback:           0 kB
AnonPages:       16112 kB
Mapped:           6256 kB
Slab:            47896 kB
SReclaimable:    40012 kB
SUnreclaim:       7884 kB
PageTables:        768 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   123320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15879 MiB
End job on  at 2009-05-30 00:57:49