Trace number 1776370

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) 1960.23 1000.03

General information on the benchmark

Nameindustrial/grieu/
vmpc_28.cnf
MD5SUM2679ca6fb11bcf9f950de09652ce7147
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark59.91
Satisfiable
(Un)Satisfiability was proved
Number of variables784
Number of clauses108080
Sum of the clauses size283220
Maximum clause length28
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 242420
Number of clauses of size 365604
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 556

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-1776370-1243636672/watcher-1776370-1243636672 -o /tmp/evaluation-result-1776370-1243636672/solver-1776370-1243636672 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776370-1243636672.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: 4.65 4.72 4.86 7/120 9744
/proc/meminfo: memFree=3131400/3368532 swapFree=1959840/1959888
[pid=9741] ppid=9739 vsize=1096 CPUtime=0
/proc/9741/stat : 9741 (satake) R 9739 9741 17312 0 -1 4202496 109 0 0 0 0 0 0 0 21 0 4 0 1128329969 1122304 66 4294967295 134512640 135180984 3213118368 3213117712 134705812 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/9741/statm: 274 66 54 164 0 109 0
[pid=9741/tid=9742] ppid=9739 vsize=1096 CPUtime=0
/proc/9741/task/9742/stat : 9742 (satake) R 9739 9741 17312 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 1128329969 1122304 66 4294967295 134512640 135180984 3213118368 3086414660 134705812 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9741/tid=9743] ppid=9739 vsize=1096 CPUtime=0
/proc/9741/task/9743/stat : 9743 (satake) R 9739 9741 17312 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 1128329969 1122304 66 4294967295 134512640 135180984 3213118368 3086349124 134705812 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9741/tid=9744] ppid=9739 vsize=1096 CPUtime=0
/proc/9741/task/9744/stat : 9744 (satake) R 9739 9741 17312 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 1128329969 1122304 66 4294967295 134512640 135180984 3213118368 3086283588 134705812 0 0 0 0 0 0 0 -1 3 0 0 0

[startup+0.103159 s]
/proc/loadavg: 4.65 4.72 4.86 7/120 9744
/proc/meminfo: memFree=3131400/3368532 swapFree=1959840/1959888
[pid=9741] ppid=9739 vsize=13848 CPUtime=0.14
/proc/9741/stat : 9741 (satake) S 9739 9741 17312 0 -1 4202496 2903 0 0 0 14 0 0 0 21 0 5 0 1128329969 14180352 2860 4294967295 134512640 135180984 3213118368 3213117804 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/9741/statm: 3462 2861 63 164 0 3297 0
[pid=9741/tid=9742] ppid=9739 vsize=13848 CPUtime=0
/proc/9741/task/9742/stat : 9742 (satake) S 9739 9741 17312 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 5 0 1128329969 14180352 2861 4294967295 134512640 135180984 3213118368 3086413840 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=9741/tid=9743] ppid=9739 vsize=13848 CPUtime=0.09
/proc/9741/task/9743/stat : 9743 (satake) R 9739 9741 17312 0 -1 4202560 1296 0 0 0 9 0 0 0 22 0 5 0 1128329969 14180352 2862 4294967295 134512640 135180984 3213118368 3086348260 134675846 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9741/tid=9744] ppid=9739 vsize=13848 CPUtime=0
/proc/9741/task/9744/stat : 9744 (satake) R 9739 9741 17312 0 -1 4202560 525 0 0 0 0 0 0 0 22 0 5 0 1128329969 14180352 2863 4294967295 134512640 135180984 3213118368 3086282900 134579486 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13848

[startup+0.203045 s]
/proc/loadavg: 4.65 4.72 4.86 7/120 9744
/proc/meminfo: memFree=3131400/3368532 swapFree=1959840/1959888
[pid=9741] ppid=9739 vsize=14504 CPUtime=0.33
/proc/9741/stat : 9741 (satake) S 9739 9741 17312 0 -1 4202496 3893 0 0 0 33 0 0 0 21 0 5 0 1128329969 14852096 3104 4294967295 134512640 135180984 3213118368 3213117804 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/9741/statm: 3626 3104 68 164 0 3461 0
[pid=9741/tid=9742] ppid=9739 vsize=14504 CPUtime=0
/proc/9741/task/9742/stat : 9742 (satake) S 9739 9741 17312 0 -1 4202560 24 0 0 0 0 0 0 0 21 0 5 0 1128329969 14852096 3104 4294967295 134512640 135180984 3213118368 3086413840 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=9741/tid=9743] ppid=9739 vsize=14504 CPUtime=0.17
/proc/9741/task/9743/stat : 9743 (satake) R 9739 9741 17312 0 -1 4202560 1379 0 0 0 17 0 0 0 23 0 5 0 1128329969 14852096 3104 4294967295 134512640 135180984 3213118368 3086347936 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9741/tid=9744] ppid=9739 vsize=14504 CPUtime=0.05
/proc/9741/task/9744/stat : 9744 (satake) R 9739 9741 17312 0 -1 4202560 946 0 0 0 5 0 0 0 22 0 5 0 1128329969 14852096 3104 4294967295 134512640 135180984 3213118368 3086283056 134535064 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 14504

[startup+0.303041 s]
/proc/loadavg: 4.65 4.72 4.86 7/120 9744
/proc/meminfo: memFree=3131400/3368532 swapFree=1959840/1959888
[pid=9741] ppid=9739 vsize=14912 CPUtime=0.48
/proc/9741/stat : 9741 (satake) S 9739 9741 17312 0 -1 4202496 4377 0 0 0 47 1 0 0 21 0 5 0 1128329969 15269888 3215 4294967295 134512640 135180984 3213118368 3213117804 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/9741/statm: 3728 3215 68 164 0 3563 0
[pid=9741/tid=9742] ppid=9739 vsize=14912 CPUtime=0
/proc/9741/task/9742/stat : 9742 (satake) S 9739 9741 17312 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 5 0 1128329969 15269888 3215 4294967295 134512640 135180984 3213118368 3086413840 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=9741/tid=9743] ppid=9739 vsize=14912 CPUtime=0.21
/proc/9741/task/9743/stat : 9743 (satake) R 9739 9741 17312 0 -1 4202560 1394 0 0 0 20 1 0 0 23 0 5 0 1128329969 15269888 3215 4294967295 134512640 135180984 3213118368 3086348144 134528462 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9741/tid=9744] ppid=9739 vsize=14912 CPUtime=0.1
/proc/9741/task/9744/stat : 9744 (satake) R 9739 9741 17312 0 -1 4202560 1390 0 0 0 10 0 0 0 22 0 5 0 1128329969 15269888 3215 4294967295 134512640 135180984 3213118368 3086282504 134518252 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 14912

[startup+0.703019 s]
/proc/loadavg: 4.65 4.72 4.86 7/120 9744
/proc/meminfo: memFree=3131400/3368532 swapFree=1959840/1959888
[pid=9741] ppid=9739 vsize=16992 CPUtime=1.21
/proc/9741/stat : 9741 (satake) S 9739 9741 17312 0 -1 4202496 4721 0 0 0 119 2 0 0 21 0 5 0 1128329969 17399808 3559 4294967295 134512640 135180984 3213118368 3213117804 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/9741/statm: 4248 3559 68 164 0 4083 0
[pid=9741/tid=9742] ppid=9739 vsize=16992 CPUtime=0.01
/proc/9741/task/9742/stat : 9742 (satake) S 9739 9741 17312 0 -1 4202560 26 0 0 0 0 1 0 0 16 0 5 0 1128329969 17399808 3559 4294967295 134512640 135180984 3213118368 3086413840 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=9741/tid=9743] ppid=9739 vsize=16992 CPUtime=0.33
/proc/9741/task/9743/stat : 9743 (satake) R 9739 9741 17312 0 -1 4202560 1457 0 0 0 32 1 0 0 23 0 5 0 1128329969 17399808 3559 4294967295 134512640 135180984 3213118368 3086348140 134520036 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9741/tid=9744] ppid=9739 vsize=16992 CPUtime=0.42
/proc/9741/task/9744/stat : 9744 (satake) R 9739 9741 17312 0 -1 4202560 1556 0 0 0 42 0 0 0 23 0 5 0 1128329969 17399808 3559 4294967295 134512640 135180984 3213118368 3086282440 134675846 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 16992

[startup+1.50298 s]
/proc/loadavg: 4.65 4.72 4.86 5/122 9750
/proc/meminfo: memFree=3115936/3368532 swapFree=1959840/1959888
[pid=9741] ppid=9739 vsize=18600 CPUtime=2.45
/proc/9741/stat : 9741 (satake) S 9739 9741 17312 0 -1 4202496 5273 0 0 0 238 7 0 0 21 0 5 0 1128329969 19046400 4111 4294967295 134512640 135180984 3213118368 3213117804 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/9741/statm: 4650 4111 68 164 0 4485 0
[pid=9741/tid=9742] ppid=9739 vsize=18600 CPUtime=0.03
/proc/9741/task/9742/stat : 9742 (satake) S 9739 9741 17312 0 -1 4202560 28 0 0 0 0 3 0 0 15 0 5 0 1128329969 19046400 4111 4294967295 134512640 135180984 3213118368 3086413840 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=9741/tid=9743] ppid=9739 vsize=18600 CPUtime=0.71
/proc/9741/task/9743/stat : 9743 (satake) R 9739 9741 17312 0 -1 4202560 1635 0 0 0 68 3 0 0 23 0 5 0 1128329969 19046400 4111 4294967295 134512640 135180984 3213118368 3086348144 134528674 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9741/tid=9744] ppid=9739 vsize=18600 CPUtime=0.79
/proc/9741/task/9744/stat : 9744 (satake) R 9739 9741 17312 0 -1 4202560 1746 0 0 0 79 0 0 0 24 0 5 0 1128329969 19046400 4111 4294967295 134512640 135180984 3213118368 3086282540 134523868 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9741/tid=9746] ppid=9739 vsize=18600 CPUtime=0.92
/proc/9741/task/9746/stat : 9746 (satake) R 9739 9741 17312 0 -1 4202560 1754 0 0 0 91 1 0 0 23 0 5 0 1128329971 19046400 4111 4294967295 134512640 135180984 3213118368 3086208712 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 18600

[startup+3.1129 s]
/proc/loadavg: 4.68 4.73 4.86 6/122 9751
/proc/meminfo: memFree=3113420/3368532 swapFree=1959840/1959888
[pid=9741] ppid=9739 vsize=22296 CPUtime=4.97
/proc/9741/stat : 9741 (satake) S 9739 9741 17312 0 -1 4202496 6193 0 0 0 487 10 0 0 21 0 5 0 1128329969 22831104 5031 4294967295 134512640 135180984 3213118368 3213117804 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/9741/statm: 5574 5031 68 164 0 5409 0
[pid=9741/tid=9742] ppid=9739 vsize=22296 CPUtime=0.04
/proc/9741/task/9742/stat : 9742 (satake) S 9739 9741 17312 0 -1 4202560 32 0 0 0 0 4 0 0 15 0 5 0 1128329969 22831104 5031 4294967295 134512640 135180984 3213118368 3086413840 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=9741/tid=9743] ppid=9739 vsize=22296 CPUtime=1.58
/proc/9741/task/9743/stat : 9743 (satake) R 9739 9741 17312 0 -1 4202560 1942 0 0 0 154 4 0 0 25 0 5 0 1128329969 22831104 5031 4294967295 134512640 135180984 3213118368 3086348136 134519101 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9741/tid=9744] ppid=9739 vsize=22296 CPUtime=1.76
/proc/9741/task/9744/stat : 9744 (satake) S 9739 9741 17312 0 -1 4202560 2055 0 0 0 176 0 0 0 25 0 5 0 1128329969 22831104 5031 4294967295 134512640 135180984 3213118368 3086282400 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=9741/tid=9746] ppid=9739 vsize=22296 CPUtime=1.59
/proc/9741/task/9746/stat : 9746 (satake) R 9739 9741 17312 0 -1 4202560 2054 0 0 0 157 2 0 0 25 0 5 0 1128329971 22831104 5031 4294967295 134512640 135180984 3213118368 3086208672 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.97
Current children cumulated vsize (KiB) 22296

[startup+6.31273 s]
/proc/loadavg: 4.68 4.73 4.86 6/122 9755
/proc/meminfo: memFree=3107260/3368532 swapFree=1959840/1959888
[pid=9741] ppid=9739 vsize=28480 CPUtime=10.17
/proc/9741/stat : 9741 (satake) S 9739 9741 17312 0 -1 4202496 7639 0 0 0 1004 13 0 0 21 0 5 0 1128329969 29163520 6477 4294967295 134512640 135180984 3213118368 3213117804 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/9741/statm: 7120 6477 68 164 0 6955 0
[pid=9741/tid=9742] ppid=9739 vsize=28480 CPUtime=0.06
/proc/9741/task/9742/stat : 9742 (satake) S 9739 9741 17312 0 -1 4202560 50 0 0 0 0 6 0 0 15 0 5 0 1128329969 29163520 6477 4294967295 134512640 135180984 3213118368 3086413840 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=9741/tid=9743] ppid=9739 vsize=28480 CPUtime=3.38
/proc/9741/task/9743/stat : 9743 (satake) R 9739 9741 17312 0 -1 4202560 2452 0 0 0 333 5 0 0 25 0 5 0 1128329969 29163520 6477 4294967295 134512640 135180984 3213118368 3086348144 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9741/tid=9744] ppid=9739 vsize=28480 CPUtime=3.48
/proc/9741/task/9744/stat : 9744 (satake) R 9739 9741 17312 0 -1 4202560 2461 0 0 0 348 0 0 0 25 0 5 0 1128329969 29163520 6477 4294967295 134512640 135180984 3213118368 3086282324 134675846 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9741/tid=9746] ppid=9739 vsize=28480 CPUtime=3.25
/proc/9741/task/9746/stat : 9746 (satake) R 9739 9741 17312 0 -1 4202560 2566 0 0 0 323 2 0 0 25 0 5 0 1128329971 29163520 6477 4294967295 134512640 135180984 3213118368 3086208672 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.17
Current children cumulated vsize (KiB) 28480

[startup+12.7124 s]
/proc/loadavg: 4.66 4.72 4.85 6/122 9767
/proc/meminfo: memFree=3096896/3368532 swapFree=1959840/1959888
[pid=9741] ppid=9739 vsize=38588 CPUtime=21.21
/proc/9741/stat : 9741 (satake) S 9739 9741 17312 0 -1 4202496 10055 0 0 0 2101 20 0 0 21 0 5 0 1128329969 39514112 8893 4294967295 134512640 135180984 3213118368 3213117804 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/9741/statm: 9647 8893 68 164 0 9482 0
[pid=9741/tid=9742] ppid=9739 vsize=38588 CPUtime=0.1
/proc/9741/task/9742/stat : 9742 (satake) S 9739 9741 17312 0 -1 4202560 72 0 0 0 2 8 0 0 15 0 5 0 1128329969 39514112 8893 4294967295 134512640 135180984 3213118368 3086413840 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=9741/tid=9743] ppid=9739 vsize=38588 CPUtime=6.85
/proc/9741/task/9743/stat : 9743 (satake) R 9739 9741 17312 0 -1 4202560 3205 0 0 0 677 8 0 0 25 0 5 0 1128329969 39514112 8893 4294967295 134512640 135180984 3213118368 3086348136 134519893 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9741/tid=9744] ppid=9739 vsize=38588 CPUtime=7.46
/proc/9741/task/9744/stat : 9744 (satake) R 9739 9741 17312 0 -1 4202560 3237 0 0 0 745 1 0 0 25 0 5 0 1128329969 39514112 8893 4294967295 134512640 135180984 3213118368 3086282400 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9741/tid=9746] ppid=9739 vsize=38588 CPUtime=6.8
/proc/9741/task/9746/stat : 9746 (satake) R 9739 9741 17312 0 -1 4202560 3431 0 0 0 677 3 0 0 25 0 5 0 1128329971 39514112 8893 4294967295 134512640 135180984 3213118368 3086208712 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 21.21
Current children cumulated vsize (KiB) 38588

[startup+25.5117 s]
/proc/loadavg: 4.71 4.73 4.86 6/122 9788
/proc/meminfo: memFree=3079836/3368532 swapFree=1959840/1959888
[pid=9741] ppid=9739 vsize=54392 CPUtime=44.2
/proc/9741/stat : 9741 (satake) S 9739 9741 17312 0 -1 4202496 14048 0 0 0 4397 23 0 0 21 0 5 0 1128329969 55697408 12886 4294967295 134512640 135180984 3213118368 3213117804 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/9741/statm: 13598 12886 68 164 0 13433 0
[pid=9741/tid=9742] ppid=9739 vsize=54392 CPUtime=0.14
/proc/9741/task/9742/stat : 9742 (satake) S 9739 9741 17312 0 -1 4202560 96 0 0 0 4 10 0 0 15 0 5 0 1128329969 55697408 12886 4294967295 134512640 135180984 3213118368 3086413840 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=9741/tid=9743] ppid=9739 vsize=54392 CPUtime=13.95
/proc/9741/task/9743/stat : 9743 (satake) R 9739 9741 17312 0 -1 4202560 4535 0 0 0 1387 8 0 0 25 0 5 0 1128329969 55697408 12886 4294967295 134512640 135180984 3213118368 3086348140 134518208 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9741/tid=9744] ppid=9739 vsize=54392 CPUtime=15.58
/proc/9741/task/9744/stat : 9744 (satake) R 9739 9741 17312 0 -1 4202560 4511 0 0 0 1556 2 0 0 25 0 5 0 1128329969 55697408 12886 4294967295 134512640 135180984 3213118368 3086282400 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9741/tid=9746] ppid=9739 vsize=54392 CPUtime=14.53
/proc/9741/task/9746/stat : 9746 (satake) R 9739 9741 17312 0 -1 4202560 4796 0 0 0 1450 3 0 0 25 0 5 0 1128329971 55697408 12886 4294967295 134512640 135180984 3213118368 3086208820 134523985 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 44.2
Current children cumulated vsize (KiB) 54392

[startup+51.1104 s]
/proc/loadavg: 4.75 4.74 4.85 6/122 9826
/proc/meminfo: memFree=3060120/3368532 swapFree=1959840/1959888
[pid=9741] ppid=9739 vsize=74728 CPUtime=92.79
/proc/9741/stat : 9741 (satake) S 9739 9741 17312 0 -1 4202496 19036 0 0 0 9240 39 0 0 21 0 5 0 1128329969 76521472 17874 4294967295 134512640 135180984 3213118368 3213117804 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/9741/statm: 18682 17874 68 164 0 18517 0
[pid=9741/tid=9742] ppid=9739 vsize=74728 CPUtime=0.22
/proc/9741/task/9742/stat : 9742 (satake) S 9739 9741 17312 0 -1 4202560 134 0 0 0 6 16 0 0 15 0 5 0 1128329969 76521472 17874 4294967295 134512640 135180984 3213118368 3086413840 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=9741/tid=9743] ppid=9739 vsize=74728 CPUtime=30.07
/proc/9741/task/9743/stat : 9743 (satake) R 9739 9741 17312 0 -1 4202560 6364 0 0 0 2995 12 0 0 25 0 5 0 1128329969 76521472 17874 4294967295 134512640 135180984 3213118368 3086348140 134518218 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9741/tid=9744] ppid=9739 vsize=74728 CPUtime=33.11
/proc/9741/task/9744/stat : 9744 (satake) R 9739 9741 17312 0 -1 4202560 6016 0 0 0 3304 7 0 0 25 0 5 0 1128329969 76521472 17874 4294967295 134512640 135180984 3213118368 3086282608 134528756 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9741/tid=9746] ppid=9739 vsize=74728 CPUtime=29.39
/proc/9741/task/9746/stat : 9746 (satake) R 9739 9741 17312 0 -1 4202560 6412 0 0 0 2935 4 0 0 25 0 5 0 1128329971 76521472 17874 4294967295 134512640 135180984 3213118368 3086208876 134518218 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 92.79
Current children cumulated vsize (KiB) 74728

[startup+102.308 s]
/proc/loadavg: 4.87 4.78 4.86 7/122 10093
/proc/meminfo: memFree=3028092/3368532 swapFree=1959840/1959888
[pid=9741] ppid=9739 vsize=106748 CPUtime=190.9
/proc/9741/stat : 9741 (satake) S 9739 9741 17312 0 -1 4202496 26949 0 0 0 19030 60 0 0 21 0 5 0 1128329969 109309952 25787 4294967295 134512640 135180984 3213118368 3213117804 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/9741/statm: 26687 25787 68 164 0 26522 0
[pid=9741/tid=9742] ppid=9739 vsize=106748 CPUtime=0.31
/proc/9741/task/9742/stat : 9742 (satake) S 9739 9741 17312 0 -1 4202560 205 0 0 0 9 22 0 0 15 0 5 0 1128329969 109309952 25788 4294967295 134512640 135180984 3213118368 3086413840 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=9741/tid=9743] ppid=9739 vsize=106748 CPUtime=62.47
/proc/9741/task/9743/stat : 9743 (satake) R 9739 9741 17312 0 -1 4202560 9326 0 0 0 6231 16 0 0 25 0 5 0 1128329969 109309952 25788 4294967295 134512640 135180984 3213118368 3086347976 134675846 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=9741/tid=9744] ppid=9739 vsize=106748 CPUtime=65.47
/proc/9741/task/9744/stat : 9744 (satake) R 9739 9741 17312 0 -1 4202560 8400 0 0 0 6536 11 0 0 25 0 5 0 1128329969 109309952 25788 4294967295 134512640 135180984 3213118368 3086282600 134518255 0 0 0 0 0 0 0 -1 0 0 0 0

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

[pid=9741/tid=9743] ppid=9739 vsize=212020 CPUtime=370.16
/proc/9741/task/9743/stat : 9743 (satake) R 9739 9741 17312 0 -1 4202560 17859 0 0 0 36981 35 0 0 25 0 5 0 1128329969 217108480 50848 4294967295 134512640 135180984 3213118368 3086348144 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9741/tid=9744] ppid=9739 vsize=212020 CPUtime=394.91
/proc/9741/task/9744/stat : 9744 (satake) R 9739 9741 17312 0 -1 4202560 15702 0 0 0 39459 32 0 0 25 0 5 0 1128329969 217108480 50848 4294967295 134512640 135180984 3213118368 3086282400 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9741/tid=9746] ppid=9739 vsize=212020 CPUtime=367.12
/proc/9741/task/9746/stat : 9746 (satake) R 9739 9741 17312 0 -1 4202560 17793 0 0 0 36679 33 0 0 25 0 5 0 1128329971 217108480 50848 4294967295 134512640 135180984 3213118368 3086208880 134528633 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1133.96
Current children cumulated vsize (KiB) 212020

[startup+642.31 s]
/proc/loadavg: 5.15 5.12 5.01 6/122 12585
/proc/meminfo: memFree=2924300/3368532 swapFree=1959840/1959888
[pid=9741] ppid=9739 vsize=215512 CPUtime=1251.9
/proc/9741/stat : 9741 (satake) S 9739 9741 17312 0 -1 4202496 52623 0 0 0 124957 233 0 0 21 0 5 0 1128329969 220684288 51461 4294967295 134512640 135180984 3213118368 3213117804 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/9741/statm: 53878 51461 68 164 0 53713 0
[pid=9741/tid=9742] ppid=9739 vsize=215512 CPUtime=1.82
/proc/9741/task/9742/stat : 9742 (satake) S 9739 9741 17312 0 -1 4202560 583 0 0 0 58 124 0 0 16 0 5 0 1128329969 220684288 51461 4294967295 134512640 135180984 3213118368 3086413840 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=9741/tid=9743] ppid=9739 vsize=215512 CPUtime=416.3
/proc/9741/task/9743/stat : 9743 (satake) R 9739 9741 17312 0 -1 4202560 18009 0 0 0 41593 37 0 0 25 0 5 0 1128329969 220684288 51461 4294967295 134512640 135180984 3213118368 3086348144 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9741/tid=9744] ppid=9739 vsize=215512 CPUtime=433.31
/proc/9741/task/9744/stat : 9744 (satake) R 9739 9741 17312 0 -1 4202560 15907 0 0 0 43296 35 0 0 25 0 5 0 1128329969 220684288 51461 4294967295 134512640 135180984 3213118368 3086282608 134528680 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9741/tid=9746] ppid=9739 vsize=215512 CPUtime=400.47
/proc/9741/task/9746/stat : 9746 (satake) R 9739 9741 17312 0 -1 4202560 18014 0 0 0 40010 37 0 0 25 0 5 0 1128329971 220684288 51461 4294967295 134512640 135180984 3213118368 3086208672 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1251.9
Current children cumulated vsize (KiB) 215512

[startup+702.316 s]
/proc/loadavg: 5.16 5.14 5.02 7/122 12861
/proc/meminfo: memFree=2923068/3368532 swapFree=1959840/1959888
[pid=9741] ppid=9739 vsize=217184 CPUtime=1370.37
/proc/9741/stat : 9741 (satake) S 9739 9741 17312 0 -1 4202496 53031 0 0 0 136793 244 0 0 21 0 5 0 1128329969 222396416 51869 4294967295 134512640 135180984 3213118368 3213117804 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/9741/statm: 54296 51869 68 164 0 54131 0
[pid=9741/tid=9742] ppid=9739 vsize=217184 CPUtime=1.88
/proc/9741/task/9742/stat : 9742 (satake) S 9739 9741 17312 0 -1 4202560 612 0 0 0 60 128 0 0 15 0 5 0 1128329969 222396416 51869 4294967295 134512640 135180984 3213118368 3086413840 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=9741/tid=9743] ppid=9739 vsize=217184 CPUtime=458.61
/proc/9741/task/9743/stat : 9743 (satake) R 9739 9741 17312 0 -1 4202560 18133 0 0 0 45824 37 0 0 25 0 5 0 1128329969 222396416 51869 4294967295 134512640 135180984 3213118368 3086348144 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9741/tid=9744] ppid=9739 vsize=217184 CPUtime=472.71
/proc/9741/task/9744/stat : 9744 (satake) R 9739 9741 17312 0 -1 4202560 16055 0 0 0 47233 38 0 0 25 0 5 0 1128329969 222396416 51869 4294967295 134512640 135180984 3213118368 3086282604 134520901 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9741/tid=9746] ppid=9739 vsize=217184 CPUtime=437.17
/proc/9741/task/9746/stat : 9746 (satake) R 9739 9741 17312 0 -1 4202560 18121 0 0 0 43676 41 0 0 25 0 5 0 1128329971 222396416 51869 4294967295 134512640 135180984 3213118368 3086208880 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1370.37
Current children cumulated vsize (KiB) 217184

[startup+762.313 s]
/proc/loadavg: 5.05 5.11 5.01 6/122 13137
/proc/meminfo: memFree=2921652/3368532 swapFree=1959840/1959888
[pid=9741] ppid=9739 vsize=218732 CPUtime=1489.18
/proc/9741/stat : 9741 (satake) S 9739 9741 17312 0 -1 4202496 53296 0 0 0 148669 249 0 0 21 0 5 0 1128329969 223981568 52134 4294967295 134512640 135180984 3213118368 3213117804 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/9741/statm: 54683 52134 68 164 0 54518 0
[pid=9741/tid=9742] ppid=9739 vsize=218732 CPUtime=1.92
/proc/9741/task/9742/stat : 9742 (satake) S 9739 9741 17312 0 -1 4202560 642 0 0 0 61 131 0 0 15 0 5 0 1128329969 223981568 52134 4294967295 134512640 135180984 3213118368 3086413840 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=9741/tid=9743] ppid=9739 vsize=218732 CPUtime=496.94
/proc/9741/task/9743/stat : 9743 (satake) R 9739 9741 17312 0 -1 4202560 18220 0 0 0 49657 37 0 0 25 0 5 0 1128329969 223981568 52134 4294967295 134512640 135180984 3213118368 3086348136 134518214 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9741/tid=9744] ppid=9739 vsize=218732 CPUtime=505.51
/proc/9741/task/9744/stat : 9744 (satake) R 9739 9741 17312 0 -1 4202560 16182 0 0 0 50513 38 0 0 25 0 5 0 1128329969 223981568 52134 4294967295 134512640 135180984 3213118368 3086282400 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9741/tid=9746] ppid=9739 vsize=218732 CPUtime=484.81
/proc/9741/task/9746/stat : 9746 (satake) R 9739 9741 17312 0 -1 4202560 18142 0 0 0 48438 43 0 0 25 0 5 0 1128329971 223981568 52134 4294967295 134512640 135180984 3213118368 3086208880 134528633 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1489.18
Current children cumulated vsize (KiB) 218732

[startup+822.31 s]
/proc/loadavg: 5.13 5.13 5.02 6/122 13413
/proc/meminfo: memFree=2920224/3368532 swapFree=1959840/1959888
[pid=9741] ppid=9739 vsize=221368 CPUtime=1608.2
/proc/9741/stat : 9741 (satake) S 9739 9741 17312 0 -1 4202496 53749 0 0 0 160566 254 0 0 21 0 5 0 1128329969 226680832 52587 4294967295 134512640 135180984 3213118368 3213117804 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/9741/statm: 55342 52587 68 164 0 55177 0
[pid=9741/tid=9742] ppid=9739 vsize=221368 CPUtime=1.95
/proc/9741/task/9742/stat : 9742 (satake) S 9739 9741 17312 0 -1 4202560 667 0 0 0 61 134 0 0 15 0 5 0 1128329969 226680832 52587 4294967295 134512640 135180984 3213118368 3086413840 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=9741/tid=9743] ppid=9739 vsize=221368 CPUtime=535.56
/proc/9741/task/9743/stat : 9743 (satake) R 9739 9741 17312 0 -1 4202560 18277 0 0 0 53519 37 0 0 25 0 5 0 1128329969 226680832 52587 4294967295 134512640 135180984 3213118368 3086347936 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9741/tid=9744] ppid=9739 vsize=221368 CPUtime=537.92
/proc/9741/task/9744/stat : 9744 (satake) R 9739 9741 17312 0 -1 4202560 16506 0 0 0 53753 39 0 0 25 0 5 0 1128329969 226680832 52587 4294967295 134512640 135180984 3213118368 3086282608 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9741/tid=9746] ppid=9739 vsize=221368 CPUtime=532.77
/proc/9741/task/9746/stat : 9746 (satake) R 9739 9741 17312 0 -1 4202560 18189 0 0 0 53233 44 0 0 25 0 5 0 1128329971 226680832 52587 4294967295 134512640 135180984 3213118368 3086208880 134528869 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1608.2
Current children cumulated vsize (KiB) 221368

[startup+882.317 s]
/proc/loadavg: 5.25 5.16 5.04 6/122 13689
/proc/meminfo: memFree=2916552/3368532 swapFree=1959840/1959888
[pid=9741] ppid=9739 vsize=224280 CPUtime=1726.78
/proc/9741/stat : 9741 (satake) S 9739 9741 17312 0 -1 4202496 54498 0 0 0 172417 261 0 0 21 0 5 0 1128329969 229662720 53336 4294967295 134512640 135180984 3213118368 3213117804 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/9741/statm: 56070 53336 68 164 0 55905 0
[pid=9741/tid=9742] ppid=9739 vsize=224280 CPUtime=2.04
/proc/9741/task/9742/stat : 9742 (satake) S 9739 9741 17312 0 -1 4202560 702 0 0 0 64 140 0 0 15 0 5 0 1128329969 229662720 53336 4294967295 134512640 135180984 3213118368 3086413840 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=9741/tid=9743] ppid=9739 vsize=224280 CPUtime=578.14
/proc/9741/task/9743/stat : 9743 (satake) R 9739 9741 17312 0 -1 4202560 18497 0 0 0 57777 37 0 0 25 0 5 0 1128329969 229662720 53336 4294967295 134512640 135180984 3213118368 3086348144 134528425 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9741/tid=9744] ppid=9739 vsize=224280 CPUtime=572.44
/proc/9741/task/9744/stat : 9744 (satake) R 9739 9741 17312 0 -1 4202560 16832 0 0 0 57204 40 0 0 25 0 5 0 1128329969 229662720 53336 4294967295 134512640 135180984 3213118368 3086282412 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9741/tid=9746] ppid=9739 vsize=224280 CPUtime=574.16
/proc/9741/task/9746/stat : 9746 (satake) S 9739 9741 17312 0 -1 4202560 18357 0 0 0 57372 44 0 0 25 0 5 0 1128329971 229662720 53336 4294967295 134512640 135180984 3213118368 3086208672 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1726.78
Current children cumulated vsize (KiB) 224280

[startup+942.304 s]
/proc/loadavg: 5.27 5.19 5.05 6/122 13964
/proc/meminfo: memFree=2914932/3368532 swapFree=1959840/1959888
[pid=9741] ppid=9739 vsize=227408 CPUtime=1845.53
/proc/9741/stat : 9741 (satake) S 9739 9741 17312 0 -1 4202496 55002 0 0 0 184285 268 0 0 21 0 5 0 1128329969 232865792 53840 4294967295 134512640 135180984 3213118368 3213117804 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/9741/statm: 56852 53840 68 164 0 56687 0
[pid=9741/tid=9742] ppid=9739 vsize=227408 CPUtime=2.13
/proc/9741/task/9742/stat : 9742 (satake) S 9739 9741 17312 0 -1 4202560 732 0 0 0 69 144 0 0 15 0 5 0 1128329969 232865792 53840 4294967295 134512640 135180984 3213118368 3086413840 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=9741/tid=9743] ppid=9739 vsize=227408 CPUtime=620.51
/proc/9741/task/9743/stat : 9743 (satake) R 9739 9741 17312 0 -1 4202560 18745 0 0 0 62012 39 0 0 25 0 5 0 1128329969 232865792 53840 4294967295 134512640 135180984 3213118368 3086348144 134528562 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9741/tid=9744] ppid=9739 vsize=227408 CPUtime=604.11
/proc/9741/task/9744/stat : 9744 (satake) R 9739 9741 17312 0 -1 4202560 16933 0 0 0 60370 41 0 0 25 0 5 0 1128329969 232865792 53840 4294967295 134512640 135180984 3213118368 3086282600 134518224 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=9741/tid=9746] ppid=9739 vsize=227408 CPUtime=618.78
/proc/9741/task/9746/stat : 9746 (satake) R 9739 9741 17312 0 -1 4202560 18482 0 0 0 61834 44 0 0 25 0 5 0 1128329971 232865792 53840 4294967295 134512640 135180984 3213118368 3086208880 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1845.53
Current children cumulated vsize (KiB) 227408



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 5.25 5.21 5.07 6/122 14240
/proc/meminfo: memFree=2906372/3368532 swapFree=1959840/1959888
[pid=9741] ppid=9739 vsize=235524 CPUtime=1960.21
/proc/9741/stat : 9741 (satake) S 9739 9741 17312 0 -1 4202496 57009 0 0 0 195744 277 0 0 21 0 5 0 1128329969 241176576 55847 4294967295 134512640 135180984 3213118368 3213117804 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/9741/statm: 58881 55847 68 164 0 58716 0
[pid=9741/tid=9742] ppid=9739 vsize=235524 CPUtime=2.2
/proc/9741/task/9742/stat : 9742 (satake) S 9739 9741 17312 0 -1 4202560 762 0 0 0 72 148 0 0 16 0 5 0 1128329969 241176576 55847 4294967295 134512640 135180984 3213118368 3086413840 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=9741/tid=9743] ppid=9739 vsize=235524 CPUtime=664.03
/proc/9741/task/9743/stat : 9743 (satake) R 9739 9741 17312 0 -1 4202560 19361 0 0 0 66361 42 0 0 25 0 5 0 1128329969 241176576 55847 4294967295 134512640 135180984 3213118368 3086348144 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9741/tid=9744] ppid=9739 vsize=235524 CPUtime=630.87
/proc/9741/task/9744/stat : 9744 (satake) R 9739 9741 17312 0 -1 4202560 17392 0 0 0 63044 43 0 0 25 0 5 0 1128329969 241176576 55847 4294967295 134512640 135180984 3213118368 3086282412 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9741/tid=9746] ppid=9739 vsize=235524 CPUtime=663.11
/proc/9741/task/9746/stat : 9746 (satake) R 9739 9741 17312 0 -1 4202560 19384 0 0 0 66267 44 0 0 25 0 5 0 1128329971 241176576 55847 4294967295 134512640 135180984 3213118368 3086208876 134518208 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1960.21
Current children cumulated vsize (KiB) 235524

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

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

[startup+1000.01 s]
/proc/loadavg: 5.25 5.21 5.07 6/122 14240
/proc/meminfo: memFree=2906372/3368532 swapFree=1959840/1959888
[pid=9741] ppid=9739 vsize=235524 CPUtime=1960.21
/proc/9741/stat : 9741 (satake) S 9739 9741 17312 0 -1 4202496 57009 0 0 0 195744 277 0 0 21 0 5 0 1128329969 241176576 55847 4294967295 134512640 135180984 3213118368 3213117804 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/9741/statm: 58881 55847 68 164 0 58716 0
[pid=9741/tid=9742] ppid=9739 vsize=235524 CPUtime=2.2
/proc/9741/task/9742/stat : 9742 (satake) S 9739 9741 17312 0 -1 4202560 762 0 0 0 72 148 0 0 16 0 5 0 1128329969 241176576 55847 4294967295 134512640 135180984 3213118368 3086413840 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=9741/tid=9743] ppid=9739 vsize=235524 CPUtime=664.03
/proc/9741/task/9743/stat : 9743 (satake) R 9739 9741 17312 0 -1 4202560 19361 0 0 0 66361 42 0 0 25 0 5 0 1128329969 241176576 55847 4294967295 134512640 135180984 3213118368 3086348144 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9741/tid=9744] ppid=9739 vsize=235524 CPUtime=630.87
/proc/9741/task/9744/stat : 9744 (satake) R 9739 9741 17312 0 -1 4202560 17392 0 0 0 63044 43 0 0 25 0 5 0 1128329969 241176576 55847 4294967295 134512640 135180984 3213118368 3086282412 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=9741/tid=9746] ppid=9739 vsize=235524 CPUtime=663.11
/proc/9741/task/9746/stat : 9746 (satake) R 9739 9741 17312 0 -1 4202560 19384 0 0 0 66267 44 0 0 25 0 5 0 1128329971 241176576 55847 4294967295 134512640 135180984 3213118368 3086208876 134518208 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1960.21
Current children cumulated vsize (KiB) 235524

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.03
CPU time (s): 1960.23
CPU user time (s): 1957.45
CPU system time (s): 2.78
CPU usage (%): 196.016
Max. virtual memory (cumulated for all children) (KiB): 235524

deleting IPC queue 4718592
deleting IPC queue 4751361
deleting IPC queue 4784130
deleting IPC queue 4816899
deleting IPC queue 4849668
deleting IPC queue 4882437
deleting IPC queue 4915206
deleting IPC queue 4947975
deleting IPC queue 4980744
deleting IPC queue 5013513
deleting IPC queue 5046282
deleting IPC queue 5079051
deleting IPC queue 5111820
deleting IPC queue 5144589
deleting IPC queue 5177358
deleting IPC queue 5210127

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1957.45
system time used= 2.78
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57009
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= 267947
involuntary context switches= 287317

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 00:37:52
IDJOB=1776370
IDBENCH=20492
IDSOLVER=629
FILE ID=/1776370-1243636672
PBS_JOBID=
Free space on /tmp= 7985 MiB

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

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

MD5SUM BENCH= 2679ca6fb11bcf9f950de09652ce7147
RANDOM SEED= 819432593

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.073
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.073
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.073
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.073
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:       3131400 kB
Buffers:         55836 kB
Cached:          74768 kB
SwapCached:          0 kB
Active:          78476 kB
Inactive:        74352 kB
HighTotal:     2489216 kB
HighFree:      2392148 kB
LowTotal:       879316 kB
LowFree:        739252 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            2364 kB
Writeback:           0 kB
AnonPages:       22008 kB
Mapped:           8256 kB
Slab:            73948 kB
SReclaimable:    61588 kB
SUnreclaim:      12360 kB
PageTables:        800 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   123564 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 7984 MiB
End job on  at 2009-05-30 00:54:34