Trace number 1779235

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-14.cnf
MD5SUM5822cc7fe01f06c27406011d612b5e7d
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 variables69641
Number of clauses227010
Sum of the clauses size588274
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 292498
Number of clauses of size 3134383
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

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

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1779235-1243642915/watcher-1779235-1243642915 -o /tmp/evaluation-result-1779235-1243642915/solver-1779235-1243642915 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779235-1243642915.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.73 4.92 4.91 5/118 6345
/proc/meminfo: memFree=3105520/3368532 swapFree=1959840/1959888
[pid=6344] ppid=6342 vsize=968 CPUtime=0
/proc/6344/stat : 6344 (satake) R 6342 6344 17312 0 -1 4202496 107 0 0 0 0 0 0 0 25 0 2 0 1128954319 991232 64 4294967295 134512640 135180984 3219671520 3219670864 134705812 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6344/statm: 242 64 54 164 0 77 0
[pid=6344/tid=6345] ppid=6342 vsize=968 CPUtime=0
/proc/6344/task/6345/stat : 6345 (satake) R 6342 6344 17312 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 2 0 1128954319 991232 64 4294967295 134512640 135180984 3219671520 3086275396 134705812 0 0 0 0 0 0 0 -1 1 0 0 0

[startup+0.096073 s]
/proc/loadavg: 4.73 4.92 4.91 5/118 6345
/proc/meminfo: memFree=3105520/3368532 swapFree=1959840/1959888
[pid=6344] ppid=6342 vsize=55016 CPUtime=0.16
/proc/6344/stat : 6344 (satake) S 6342 6344 17312 0 -1 4202496 9829 0 0 0 11 5 0 0 25 0 5 0 1128954319 56336384 9778 4294967295 134512640 135180984 3219671520 3219670956 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6344/statm: 13754 9779 63 164 0 13589 0
[pid=6344/tid=6345] ppid=6342 vsize=55016 CPUtime=0
/proc/6344/task/6345/stat : 6345 (satake) S 6342 6344 17312 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1128954319 56336384 9779 4294967295 134512640 135180984 3219671520 3086274576 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 55016

[startup+0.116062 s]
/proc/loadavg: 4.73 4.92 4.91 5/118 6345
/proc/meminfo: memFree=3105520/3368532 swapFree=1959840/1959888
[pid=6344] ppid=6342 vsize=56792 CPUtime=0.2
/proc/6344/stat : 6344 (satake) S 6342 6344 17312 0 -1 4202496 10099 0 0 0 15 5 0 0 25 0 5 0 1128954319 58155008 10048 4294967295 134512640 135180984 3219671520 3219670956 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6344/statm: 14198 10049 63 164 0 14033 0
[pid=6344/tid=6345] ppid=6342 vsize=56792 CPUtime=0
/proc/6344/task/6345/stat : 6345 (satake) S 6342 6344 17312 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1128954319 58155008 10050 4294967295 134512640 135180984 3219671520 3086274576 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 56792

[startup+0.316056 s]
/proc/loadavg: 4.73 4.92 4.91 5/118 6345
/proc/meminfo: memFree=3105520/3368532 swapFree=1959840/1959888
[pid=6344] ppid=6342 vsize=64928 CPUtime=0.59
/proc/6344/stat : 6344 (satake) S 6342 6344 17312 0 -1 4202496 13104 0 0 0 52 7 0 0 25 0 5 0 1128954319 66486272 12028 4294967295 134512640 135180984 3219671520 3219670956 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6344/statm: 16232 12028 66 164 0 16067 0
[pid=6344/tid=6345] ppid=6342 vsize=64928 CPUtime=0
/proc/6344/task/6345/stat : 6345 (satake) S 6342 6344 17312 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1128954319 66486272 12028 4294967295 134512640 135180984 3219671520 3086274576 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 64928

[startup+0.716032 s]
/proc/loadavg: 4.73 4.92 4.91 5/118 6345
/proc/meminfo: memFree=3105520/3368532 swapFree=1959840/1959888
[pid=6344] ppid=6342 vsize=65064 CPUtime=1.29
/proc/6344/stat : 6344 (satake) S 6342 6344 17312 0 -1 4202496 14172 0 0 0 122 7 0 0 25 0 5 0 1128954319 66625536 12071 4294967295 134512640 135180984 3219671520 3219670956 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6344/statm: 16266 12071 66 164 0 16101 0
[pid=6344/tid=6345] ppid=6342 vsize=65064 CPUtime=0
/proc/6344/task/6345/stat : 6345 (satake) S 6342 6344 17312 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1128954319 66625536 12071 4294967295 134512640 135180984 3219671520 3086274576 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 65064

[startup+1.51599 s]
/proc/loadavg: 4.73 4.92 4.91 7/124 6351
/proc/meminfo: memFree=3055120/3368532 swapFree=1959840/1959888
[pid=6344] ppid=6342 vsize=67912 CPUtime=2.79
/proc/6344/stat : 6344 (satake) S 6342 6344 17312 0 -1 4202496 15879 0 0 0 269 10 0 0 25 0 5 0 1128954319 69541888 12753 4294967295 134512640 135180984 3219671520 3219670956 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6344/statm: 16978 12753 68 164 0 16813 0
[pid=6344/tid=6345] ppid=6342 vsize=67912 CPUtime=0.01
/proc/6344/task/6345/stat : 6345 (satake) S 6342 6344 17312 0 -1 4202560 1208 0 0 0 1 0 0 0 15 0 5 0 1128954319 69541888 12753 4294967295 134512640 135180984 3219671520 3086274576 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=6344/tid=6347] ppid=6342 vsize=67912 CPUtime=0.83
/proc/6344/task/6347/stat : 6347 (satake) R 6342 6344 17312 0 -1 4202560 4783 0 0 0 79 4 0 0 25 0 5 0 1128954320 69541888 12753 4294967295 134512640 135180984 3219671520 3086208672 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6344/tid=6348] ppid=6342 vsize=67912 CPUtime=0.73
/proc/6344/task/6348/stat : 6348 (satake) R 6342 6344 17312 0 -1 4202560 4927 0 0 0 69 4 0 0 25 0 5 0 1128954320 69541888 12753 4294967295 134512640 135180984 3219671520 3086143280 134523791 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6344/tid=6349] ppid=6342 vsize=67912 CPUtime=1.22
/proc/6344/task/6349/stat : 6349 (satake) R 6342 6344 17312 0 -1 4202560 4851 0 0 0 120 2 0 0 25 0 5 0 1128954320 69541888 12753 4294967295 134512640 135180984 3219671520 3086077824 134532624 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 67912

[startup+3.11591 s]
/proc/loadavg: 4.73 4.92 4.91 7/122 6353
/proc/meminfo: memFree=3054380/3368532 swapFree=1959840/1959888
[pid=6344] ppid=6342 vsize=68208 CPUtime=5.96
/proc/6344/stat : 6344 (satake) S 6342 6344 17312 0 -1 4202496 16020 0 0 0 586 10 0 0 25 0 5 0 1128954319 69844992 12894 4294967295 134512640 135180984 3219671520 3219670956 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6344/statm: 17052 12894 68 164 0 16887 0
[pid=6344/tid=6345] ppid=6342 vsize=68208 CPUtime=0.01
/proc/6344/task/6345/stat : 6345 (satake) S 6342 6344 17312 0 -1 4202560 1210 0 0 0 1 0 0 0 15 0 5 0 1128954319 69844992 12894 4294967295 134512640 135180984 3219671520 3086274576 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=6344/tid=6347] ppid=6342 vsize=68208 CPUtime=1.71
/proc/6344/task/6347/stat : 6347 (satake) R 6342 6344 17312 0 -1 4202560 4801 0 0 0 167 4 0 0 25 0 5 0 1128954320 69844992 12894 4294967295 134512640 135180984 3219671520 3086208872 134518224 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6344/tid=6348] ppid=6342 vsize=68208 CPUtime=1.93
/proc/6344/task/6348/stat : 6348 (satake) R 6342 6344 17312 0 -1 4202560 4957 0 0 0 189 4 0 0 25 0 5 0 1128954320 69844992 12894 4294967295 134512640 135180984 3219671520 3086143280 134523791 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6344/tid=6349] ppid=6342 vsize=68208 CPUtime=2.31
/proc/6344/task/6349/stat : 6349 (satake) R 6342 6344 17312 0 -1 4202560 4942 0 0 0 229 2 0 0 25 0 5 0 1128954320 69844992 12894 4294967295 134512640 135180984 3219671520 3086077808 134528244 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 68208

[startup+6.31574 s]
/proc/loadavg: 4.75 4.92 4.91 6/122 6358
/proc/meminfo: memFree=3053308/3368532 swapFree=1959840/1959888
[pid=6344] ppid=6342 vsize=68208 CPUtime=12.33
/proc/6344/stat : 6344 (satake) S 6342 6344 17312 0 -1 4202496 16098 0 0 0 1223 10 0 0 25 0 5 0 1128954319 69844992 12972 4294967295 134512640 135180984 3219671520 3219670956 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6344/statm: 17052 12972 68 164 0 16887 0
[pid=6344/tid=6345] ppid=6342 vsize=68208 CPUtime=0.02
/proc/6344/task/6345/stat : 6345 (satake) S 6342 6344 17312 0 -1 4202560 1211 0 0 0 2 0 0 0 16 0 5 0 1128954319 69844992 12972 4294967295 134512640 135180984 3219671520 3086274580 134580588 0 0 0 0 3223036975 0 0 -1 2 0 0 0
[pid=6344/tid=6347] ppid=6342 vsize=68208 CPUtime=3.32
/proc/6344/task/6347/stat : 6347 (satake) R 6342 6344 17312 0 -1 4202560 4821 0 0 0 328 4 0 0 25 0 5 0 1128954320 69844992 12972 4294967295 134512640 135180984 3219671520 3086208684 134706407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6344/tid=6348] ppid=6342 vsize=68208 CPUtime=4.51
/proc/6344/task/6348/stat : 6348 (satake) R 6342 6344 17312 0 -1 4202560 4981 0 0 0 447 4 0 0 25 0 5 0 1128954320 69844992 12972 4294967295 134512640 135180984 3219671520 3086143280 134523859 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6344/tid=6349] ppid=6342 vsize=68208 CPUtime=4.49
/proc/6344/task/6349/stat : 6349 (satake) R 6342 6344 17312 0 -1 4202560 4975 0 0 0 447 2 0 0 25 0 5 0 1128954320 69844992 12972 4294967295 134512640 135180984 3219671520 3086077680 134522614 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 68208

[startup+12.7154 s]
/proc/loadavg: 4.85 4.94 4.91 6/124 6369
/proc/meminfo: memFree=3052440/3368532 swapFree=1959840/1959888
[pid=6344] ppid=6342 vsize=69660 CPUtime=25.02
/proc/6344/stat : 6344 (satake) S 6342 6344 17312 0 -1 4202496 16354 0 0 0 2485 17 0 0 25 0 5 0 1128954319 71331840 13228 4294967295 134512640 135180984 3219671520 3219670956 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6344/statm: 17415 13228 68 164 0 17250 0
[pid=6344/tid=6345] ppid=6342 vsize=69660 CPUtime=0.1
/proc/6344/task/6345/stat : 6345 (satake) S 6342 6344 17312 0 -1 4202560 1232 0 0 0 5 5 0 0 15 0 5 0 1128954319 71331840 13228 4294967295 134512640 135180984 3219671520 3086274580 134580588 0 0 0 0 3223036975 0 0 -1 1 0 0 0
[pid=6344/tid=6347] ppid=6342 vsize=69660 CPUtime=7.48
/proc/6344/task/6347/stat : 6347 (satake) R 6342 6344 17312 0 -1 4202560 4927 0 0 0 742 6 0 0 25 0 5 0 1128954320 71331840 13228 4294967295 134512640 135180984 3219671520 3086208768 134522980 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6344/tid=6348] ppid=6342 vsize=69660 CPUtime=8.3
/proc/6344/task/6348/stat : 6348 (satake) R 6342 6344 17312 0 -1 4202560 5058 0 0 0 826 4 0 0 25 0 5 0 1128954320 71331840 13228 4294967295 134512640 135180984 3219671520 3086143136 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6344/tid=6349] ppid=6342 vsize=69660 CPUtime=9.14
/proc/6344/task/6349/stat : 6349 (satake) R 6342 6344 17312 0 -1 4202560 5027 0 0 0 912 2 0 0 25 0 5 0 1128954320 71331840 13228 4294967295 134512640 135180984 3219671520 3086077808 134521068 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.02
Current children cumulated vsize (KiB) 69660

[startup+25.5147 s]
/proc/loadavg: 4.88 4.94 4.91 6/122 6579
/proc/meminfo: memFree=3049732/3368532 swapFree=1959840/1959888
[pid=6344] ppid=6342 vsize=71376 CPUtime=50.29
/proc/6344/stat : 6344 (satake) S 6342 6344 17312 0 -1 4202496 16792 0 0 0 5007 22 0 0 25 0 5 0 1128954319 73089024 13666 4294967295 134512640 135180984 3219671520 3219670956 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6344/statm: 17844 13666 68 164 0 17679 0
[pid=6344/tid=6345] ppid=6342 vsize=71376 CPUtime=0.14
/proc/6344/task/6345/stat : 6345 (satake) S 6342 6344 17312 0 -1 4202560 1258 0 0 0 7 7 0 0 16 0 5 0 1128954319 73089024 13666 4294967295 134512640 135180984 3219671520 3086274576 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=6344/tid=6347] ppid=6342 vsize=71376 CPUtime=15.13
/proc/6344/task/6347/stat : 6347 (satake) R 6342 6344 17312 0 -1 4202560 5033 0 0 0 1506 7 0 0 25 0 5 0 1128954320 73089024 13666 4294967295 134512640 135180984 3219671520 3086208816 134523814 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6344/tid=6348] ppid=6342 vsize=71376 CPUtime=16.89
/proc/6344/task/6348/stat : 6348 (satake) R 6342 6344 17312 0 -1 4202560 5230 0 0 0 1685 4 0 0 25 0 5 0 1128954320 73089024 13666 4294967295 134512640 135180984 3219671520 3086143340 134518208 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6344/tid=6349] ppid=6342 vsize=71376 CPUtime=18.13
/proc/6344/task/6349/stat : 6349 (satake) R 6342 6344 17312 0 -1 4202560 5161 0 0 0 1809 4 0 0 25 0 5 0 1128954320 73089024 13666 4294967295 134512640 135180984 3219671520 3086077612 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.29
Current children cumulated vsize (KiB) 71376

[startup+51.1134 s]
/proc/loadavg: 4.98 4.96 4.92 7/122 6617
/proc/meminfo: memFree=3047192/3368532 swapFree=1959840/1959888
[pid=6344] ppid=6342 vsize=74624 CPUtime=101.16
/proc/6344/stat : 6344 (satake) S 6342 6344 17312 0 -1 4202496 17720 0 0 0 10079 37 0 0 25 0 5 0 1128954319 76414976 14594 4294967295 134512640 135180984 3219671520 3219670956 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6344/statm: 18656 14594 68 164 0 18491 0
[pid=6344/tid=6345] ppid=6342 vsize=74624 CPUtime=0.26
/proc/6344/task/6345/stat : 6345 (satake) S 6342 6344 17312 0 -1 4202560 1338 0 0 0 11 15 0 0 15 0 5 0 1128954319 76414976 14594 4294967295 134512640 135180984 3219671520 3086274576 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=6344/tid=6347] ppid=6342 vsize=74624 CPUtime=32.95
/proc/6344/task/6347/stat : 6347 (satake) R 6342 6344 17312 0 -1 4202560 5246 0 0 0 3284 11 0 0 25 0 5 0 1128954320 76414976 14594 4294967295 134512640 135180984 3219671520 3086208880 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6344/tid=6348] ppid=6342 vsize=74624 CPUtime=32.83
/proc/6344/task/6348/stat : 6348 (satake) R 6342 6344 17312 0 -1 4202560 5500 0 0 0 3277 6 0 0 25 0 5 0 1128954320 76414976 14594 4294967295 134512640 135180984 3219671520 3086143344 134528262 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6344/tid=6349] ppid=6342 vsize=74624 CPUtime=35.13
/proc/6344/task/6349/stat : 6349 (satake) R 6342 6344 17312 0 -1 4202560 5526 0 0 0 3508 5 0 0 25 0 5 0 1128954320 76414976 14594 4294967295 134512640 135180984 3219671520 3086077808 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.16
Current children cumulated vsize (KiB) 74624

[startup+102.311 s]
/proc/loadavg: 5.20 5.03 4.94 6/122 6880
/proc/meminfo: memFree=3038892/3368532 swapFree=1959840/1959888
[pid=6344] ppid=6342 vsize=82192 CPUtime=204.12
/proc/6344/stat : 6344 (satake) S 6342 6344 17312 0 -1 4202496 19585 0 0 0 20347 65 0 0 25 0 5 0 1128954319 84164608 16459 4294967295 134512640 135180984 3219671520 3219670956 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6344/statm: 20548 16459 68 164 0 20383 0
[pid=6344/tid=6345] ppid=6342 vsize=82192 CPUtime=0.45
/proc/6344/task/6345/stat : 6345 (satake) S 6342 6344 17312 0 -1 4202560 1427 0 0 0 16 29 0 0 15 0 5 0 1128954319 84164608 16459 4294967295 134512640 135180984 3219671520 3086274576 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=6344/tid=6347] ppid=6342 vsize=82192 CPUtime=66.82
/proc/6344/task/6347/stat : 6347 (satake) R 6342 6344 17312 0 -1 4202560 5862 0 0 0 6664 18 0 0 25 0 5 0 1128954320 84164608 16459 4294967295 134512640 135180984 3219671520 3086208880 134526529 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6344/tid=6348] ppid=6342 vsize=82192 CPUtime=69.03
/proc/6344/task/6348/stat : 6348 (satake) R 6342 6344 17312 0 -1 4202560 6044 0 0 0 6894 9 0 0 25 0 5 0 1128954320 84164608 16459 4294967295 134512640 135180984 3219671520 3086143232 134522972 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6344/tid=6349] ppid=6342 vsize=82192 CPUtime=67.83
/proc/6344/task/6349/stat : 6349 (satake) R 6342 6344 17312 0 -1 4202560 6142 0 0 0 6774 9 0 0 25 0 5 0 1128954320 84164608 16459 4294967295 134512640 135180984 3219671520 3086077872 134532470 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.12
Current children cumulated vsize (KiB) 82192

[startup+162.308 s]
/proc/loadavg: 5.26 5.08 4.96 6/122 7155
/proc/meminfo: memFree=3028876/3368532 swapFree=1959840/1959888
[pid=6344] ppid=6342 vsize=91404 CPUtime=323.06
/proc/6344/stat : 6344 (satake) S 6342 6344 17312 0 -1 4202496 21872 0 0 0 32218 88 0 0 25 0 5 0 1128954319 93597696 18746 4294967295 134512640 135180984 3219671520 3219670956 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6344/statm: 22851 18746 68 164 0 22686 0
[pid=6344/tid=6345] ppid=6342 vsize=91404 CPUtime=0.59
/proc/6344/task/6345/stat : 6345 (satake) S 6342 6344 17312 0 -1 4202560 1562 0 0 0 21 38 0 0 15 0 5 0 1128954319 93597696 18746 4294967295 134512640 135180984 3219671520 3086274580 134580588 0 0 0 0 3223036975 0 0 -1 2 0 0 0
[pid=6344/tid=6347] ppid=6342 vsize=91404 CPUtime=109.1
/proc/6344/task/6347/stat : 6347 (satake) R 6342 6344 17312 0 -1 4202560 6566 0 0 0 10884 26 0 0 25 0 5 0 1128954320 93597696 18746 4294967295 134512640 135180984 3219671520 3086208880 134526529 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6344/tid=6348] ppid=6342 vsize=91404 CPUtime=106.44
/proc/6344/task/6348/stat : 6348 (satake) R 6342 6344 17312 0 -1 4202560 6772 0 0 0 10634 10 0 0 25 0 5 0 1128954320 93597696 18746 4294967295 134512640 135180984 3219671520 3086143248 134525152 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6344/tid=6349] ppid=6342 vsize=91404 CPUtime=106.94
/proc/6344/task/6349/stat : 6349 (satake) R 6342 6344 17312 0 -1 4202560 6862 0 0 0 10680 14 0 0 25 0 5 0 1128954320 93597696 18746 4294967295 134512640 135180984 3219671520 3086077612 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 323.06

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

[pid=6344/tid=6347] ppid=6342 vsize=140004 CPUtime=340.28
/proc/6344/task/6347/stat : 6347 (satake) R 6342 6344 17312 0 -1 4202560 10265 0 0 0 33967 61 0 0 25 0 5 0 1128954320 143364096 30754 4294967295 134512640 135180984 3219671520 3086208876 134518218 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6344/tid=6348] ppid=6342 vsize=140004 CPUtime=340.84
/proc/6344/task/6348/stat : 6348 (satake) R 6342 6344 17312 0 -1 4202560 10295 0 0 0 34047 37 0 0 25 0 5 0 1128954320 143364096 30754 4294967295 134512640 135180984 3219671520 3086143312 134520015 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6344/tid=6349] ppid=6342 vsize=140004 CPUtime=355.51
/proc/6344/task/6349/stat : 6349 (satake) R 6342 6344 17312 0 -1 4202560 10672 0 0 0 35495 56 0 0 25 0 5 0 1128954320 143364096 30754 4294967295 134512640 135180984 3219671520 3086077804 134523867 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1038.34
Current children cumulated vsize (KiB) 140004

[startup+582.316 s]
/proc/loadavg: 5.28 5.18 5.04 6/122 9092
/proc/meminfo: memFree=2972828/3368532 swapFree=1959840/1959888
[pid=6344] ppid=6342 vsize=147556 CPUtime=1157.42
/proc/6344/stat : 6344 (satake) S 6342 6344 17312 0 -1 4202496 35880 0 0 0 115442 300 0 0 25 0 5 0 1128954319 151097344 32754 4294967295 134512640 135180984 3219671520 3219670956 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6344/statm: 36889 32754 68 164 0 36724 0
[pid=6344/tid=6345] ppid=6342 vsize=147556 CPUtime=1.92
/proc/6344/task/6345/stat : 6345 (satake) S 6342 6344 17312 0 -1 4202560 2692 0 0 0 61 131 0 0 15 0 5 0 1128954319 151097344 32754 4294967295 134512640 135180984 3219671520 3086274576 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=6344/tid=6347] ppid=6342 vsize=147556 CPUtime=377.29
/proc/6344/task/6347/stat : 6347 (satake) R 6342 6344 17312 0 -1 4202560 10993 0 0 0 37661 68 0 0 25 0 5 0 1128954320 151097344 32754 4294967295 134512640 135180984 3219671520 3086208712 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6344/tid=6348] ppid=6342 vsize=147556 CPUtime=380.73
/proc/6344/task/6348/stat : 6348 (satake) R 6342 6344 17312 0 -1 4202560 10639 0 0 0 38032 41 0 0 25 0 5 0 1128954320 151097344 32754 4294967295 134512640 135180984 3219671520 3086143344 134528206 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6344/tid=6349] ppid=6342 vsize=147556 CPUtime=397.48
/proc/6344/task/6349/stat : 6349 (satake) R 6342 6344 17312 0 -1 4202560 11446 0 0 0 39688 60 0 0 25 0 5 0 1128954320 151097344 32754 4294967295 134512640 135180984 3219671520 3086077804 134518208 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1157.42
Current children cumulated vsize (KiB) 147556

[startup+642.313 s]
/proc/loadavg: 5.29 5.21 5.06 6/122 9368
/proc/meminfo: memFree=2965568/3368532 swapFree=1959840/1959888
[pid=6344] ppid=6342 vsize=154800 CPUtime=1276.41
/proc/6344/stat : 6344 (satake) S 6342 6344 17312 0 -1 4202496 37827 0 0 0 127313 328 0 0 25 0 5 0 1128954319 158515200 34701 4294967295 134512640 135180984 3219671520 3219670956 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6344/statm: 38700 34701 68 164 0 38535 0
[pid=6344/tid=6345] ppid=6342 vsize=154800 CPUtime=2.07
/proc/6344/task/6345/stat : 6345 (satake) S 6342 6344 17312 0 -1 4202560 2814 0 0 0 65 142 0 0 15 0 5 0 1128954319 158515200 34701 4294967295 134512640 135180984 3219671520 3086274576 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=6344/tid=6347] ppid=6342 vsize=154800 CPUtime=416.77
/proc/6344/task/6347/stat : 6347 (satake) R 6342 6344 17312 0 -1 4202560 11845 0 0 0 41601 76 0 0 25 0 5 0 1128954320 158515200 34701 4294967295 134512640 135180984 3219671520 3086208880 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6344/tid=6348] ppid=6342 vsize=154800 CPUtime=420.96
/proc/6344/task/6348/stat : 6348 (satake) R 6342 6344 17312 0 -1 4202560 10906 0 0 0 42050 46 0 0 25 0 5 0 1128954320 158515200 34701 4294967295 134512640 135180984 3219671520 3086143360 134520025 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6344/tid=6349] ppid=6342 vsize=154800 CPUtime=436.61
/proc/6344/task/6349/stat : 6349 (satake) R 6342 6344 17312 0 -1 4202560 12152 0 0 0 43597 64 0 0 25 0 5 0 1128954320 158515200 34701 4294967295 134512640 135180984 3219671520 3086077808 134528587 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1276.41
Current children cumulated vsize (KiB) 154800

[startup+702.309 s]
/proc/loadavg: 5.47 5.26 5.08 6/124 9642
/proc/meminfo: memFree=2957052/3368532 swapFree=1959840/1959888
[pid=6344] ppid=6342 vsize=165576 CPUtime=1395.48
/proc/6344/stat : 6344 (satake) S 6342 6344 17312 0 -1 4202496 39969 0 0 0 139195 353 0 0 25 0 5 0 1128954319 169549824 36843 4294967295 134512640 135180984 3219671520 3219670956 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6344/statm: 41394 36843 68 164 0 41229 0
[pid=6344/tid=6345] ppid=6342 vsize=165576 CPUtime=2.24
/proc/6344/task/6345/stat : 6345 (satake) S 6342 6344 17312 0 -1 4202560 2943 0 0 0 71 153 0 0 16 0 5 0 1128954319 169549824 36843 4294967295 134512640 135180984 3219671520 3086274576 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=6344/tid=6347] ppid=6342 vsize=165576 CPUtime=452.24
/proc/6344/task/6347/stat : 6347 (satake) R 6342 6344 17312 0 -1 4202560 12592 0 0 0 45143 81 0 0 25 0 5 0 1128954320 169549824 36843 4294967295 134512640 135180984 3219671520 3086208684 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6344/tid=6348] ppid=6342 vsize=165576 CPUtime=461.07
/proc/6344/task/6348/stat : 6348 (satake) R 6342 6344 17312 0 -1 4202560 11375 0 0 0 46056 51 0 0 25 0 5 0 1128954320 169549824 36843 4294967295 134512640 135180984 3219671520 3086143248 134525333 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6344/tid=6349] ppid=6342 vsize=165576 CPUtime=479.94
/proc/6344/task/6349/stat : 6349 (satake) R 6342 6344 17312 0 -1 4202560 12949 0 0 0 47926 68 0 0 25 0 5 0 1128954320 169549824 36843 4294967295 134512640 135180984 3219671520 3086077808 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1395.48
Current children cumulated vsize (KiB) 165576

[startup+762.316 s]
/proc/loadavg: 5.39 5.27 5.10 6/122 9919
/proc/meminfo: memFree=2947052/3368532 swapFree=1959840/1959888
[pid=6344] ppid=6342 vsize=174096 CPUtime=1514.72
/proc/6344/stat : 6344 (satake) S 6342 6344 17312 0 -1 4202496 42220 0 0 0 151109 363 0 0 25 0 5 0 1128954319 178274304 39094 4294967295 134512640 135180984 3219671520 3219670956 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6344/statm: 43524 39094 68 164 0 43359 0
[pid=6344/tid=6345] ppid=6342 vsize=174096 CPUtime=2.29
/proc/6344/task/6345/stat : 6345 (satake) S 6342 6344 17312 0 -1 4202560 3015 0 0 0 73 156 0 0 16 0 5 0 1128954319 178274304 39094 4294967295 134512640 135180984 3219671520 3086274580 134580588 0 0 0 0 3223036975 0 0 -1 2 0 0 0
[pid=6344/tid=6347] ppid=6342 vsize=174096 CPUtime=490.43
/proc/6344/task/6347/stat : 6347 (satake) R 6342 6344 17312 0 -1 4202560 13319 0 0 0 48959 84 0 0 25 0 5 0 1128954320 178274304 39094 4294967295 134512640 135180984 3219671520 3086208872 134520896 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6344/tid=6348] ppid=6342 vsize=174096 CPUtime=502.77
/proc/6344/task/6348/stat : 6348 (satake) S 6342 6344 17312 0 -1 4202560 12146 0 0 0 50224 53 0 0 25 0 5 0 1128954320 178274304 39094 4294967295 134512640 135180984 3219671520 3086143136 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=6344/tid=6349] ppid=6342 vsize=174096 CPUtime=519.23
/proc/6344/task/6349/stat : 6349 (satake) R 6342 6344 17312 0 -1 4202560 13630 0 0 0 51853 70 0 0 25 0 5 0 1128954320 178274304 39094 4294967295 134512640 135180984 3219671520 3086077600 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1514.72
Current children cumulated vsize (KiB) 174096

[startup+822.303 s]
/proc/loadavg: 5.19 5.23 5.09 6/124 10201
/proc/meminfo: memFree=2939228/3368532 swapFree=1959840/1959888
[pid=6344] ppid=6342 vsize=182892 CPUtime=1633.55
/proc/6344/stat : 6344 (satake) S 6342 6344 17312 0 -1 4202496 44548 0 0 0 162975 380 0 0 25 0 5 0 1128954319 187281408 41422 4294967295 134512640 135180984 3219671520 3219670956 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6344/statm: 45723 41422 68 164 0 45558 0
[pid=6344/tid=6345] ppid=6342 vsize=182892 CPUtime=2.39
/proc/6344/task/6345/stat : 6345 (satake) S 6342 6344 17312 0 -1 4202560 3109 0 0 0 77 162 0 0 15 0 5 0 1128954319 187281408 41422 4294967295 134512640 135180984 3219671520 3086274580 134580588 0 0 0 0 3223036975 0 0 -1 0 0 0 0
[pid=6344/tid=6347] ppid=6342 vsize=182892 CPUtime=530.36
/proc/6344/task/6347/stat : 6347 (satake) R 6342 6344 17312 0 -1 4202560 14091 0 0 0 52950 86 0 0 25 0 5 0 1128954320 187281408 41422 4294967295 134512640 135180984 3219671520 3086208684 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6344/tid=6348] ppid=6342 vsize=182892 CPUtime=544.06
/proc/6344/task/6348/stat : 6348 (satake) R 6342 6344 17312 0 -1 4202560 12915 0 0 0 54349 57 0 0 25 0 5 0 1128954320 187281408 41422 4294967295 134512640 135180984 3219671520 3086143344 134526529 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6344/tid=6349] ppid=6342 vsize=182892 CPUtime=556.75
/proc/6344/task/6349/stat : 6349 (satake) R 6342 6344 17312 0 -1 4202560 14323 0 0 0 55600 75 0 0 25 0 5 0 1128954320 187281408 41422 4294967295 134512640 135180984 3219671520 3086077712 134525232 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1633.55
Current children cumulated vsize (KiB) 182892

[startup+882.31 s]
/proc/loadavg: 5.36 5.28 5.11 6/122 10479
/proc/meminfo: memFree=2929552/3368532 swapFree=1959840/1959888
[pid=6344] ppid=6342 vsize=191828 CPUtime=1752.41
/proc/6344/stat : 6344 (satake) S 6342 6344 17312 0 -1 4202496 46604 0 0 0 174829 412 0 0 25 0 5 0 1128954319 196431872 43478 4294967295 134512640 135180984 3219671520 3219670956 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6344/statm: 47957 43478 68 164 0 47792 0
[pid=6344/tid=6345] ppid=6342 vsize=191828 CPUtime=2.5
/proc/6344/task/6345/stat : 6345 (satake) S 6342 6344 17312 0 -1 4202560 3191 0 0 0 79 171 0 0 15 0 5 0 1128954319 196431872 43478 4294967295 134512640 135180984 3219671520 3086274576 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=6344/tid=6347] ppid=6342 vsize=191828 CPUtime=568.71
/proc/6344/task/6347/stat : 6347 (satake) R 6342 6344 17312 0 -1 4202560 14773 0 0 0 56777 94 0 0 25 0 5 0 1128954320 196431872 43478 4294967295 134512640 135180984 3219671520 3086208880 134528470 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6344/tid=6348] ppid=6342 vsize=191828 CPUtime=583.87
/proc/6344/task/6348/stat : 6348 (satake) R 6342 6344 17312 0 -1 4202560 13668 0 0 0 58325 62 0 0 25 0 5 0 1128954320 196431872 43478 4294967295 134512640 135180984 3219671520 3086143136 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6344/tid=6349] ppid=6342 vsize=191828 CPUtime=597.34
/proc/6344/task/6349/stat : 6349 (satake) R 6342 6344 17312 0 -1 4202560 14862 0 0 0 59649 85 0 0 25 0 5 0 1128954320 196431872 43478 4294967295 134512640 135180984 3219671520 3086077744 134523725 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1752.41
Current children cumulated vsize (KiB) 191828

[startup+942.317 s]
/proc/loadavg: 5.24 5.26 5.11 7/122 10751
/proc/meminfo: memFree=2923348/3368532 swapFree=1959840/1959888
[pid=6344] ppid=6342 vsize=198812 CPUtime=1871.45
/proc/6344/stat : 6344 (satake) S 6342 6344 17312 0 -1 4202496 48305 0 0 0 186718 427 0 0 25 0 5 0 1128954319 203583488 45179 4294967295 134512640 135180984 3219671520 3219670956 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6344/statm: 49703 45179 68 164 0 49538 0
[pid=6344/tid=6345] ppid=6342 vsize=198812 CPUtime=2.62
/proc/6344/task/6345/stat : 6345 (satake) S 6342 6344 17312 0 -1 4202560 3327 0 0 0 85 177 0 0 15 0 5 0 1128954319 203583488 45179 4294967295 134512640 135180984 3219671520 3086274576 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=6344/tid=6347] ppid=6342 vsize=198812 CPUtime=608.85
/proc/6344/task/6347/stat : 6347 (satake) R 6342 6344 17312 0 -1 4202560 15406 0 0 0 60790 95 0 0 25 0 5 0 1128954320 203583488 45179 4294967295 134512640 135180984 3219671520 3086208880 134528666 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6344/tid=6348] ppid=6342 vsize=198812 CPUtime=622.47
/proc/6344/task/6348/stat : 6348 (satake) R 6342 6344 17312 0 -1 4202560 14411 0 0 0 62183 64 0 0 25 0 5 0 1128954320 203583488 45179 4294967295 134512640 135180984 3219671520 3086143240 134520909 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6344/tid=6349] ppid=6342 vsize=198812 CPUtime=637.51
/proc/6344/task/6349/stat : 6349 (satake) R 6342 6344 17312 0 -1 4202560 15051 0 0 0 63660 91 0 0 25 0 5 0 1128954320 203583488 45179 4294967295 134512640 135180984 3219671520 3086077776 134519935 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1871.45
Current children cumulated vsize (KiB) 198812



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 5.48 5.32 5.14 6/122 11026
/proc/meminfo: memFree=2915824/3368532 swapFree=1959840/1959888
[pid=6344] ppid=6342 vsize=206308 CPUtime=1987.33
/proc/6344/stat : 6344 (satake) S 6342 6344 17312 0 -1 4202496 50306 0 0 0 198291 442 0 0 25 0 5 0 1128954319 211259392 47180 4294967295 134512640 135180984 3219671520 3219670956 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6344/statm: 51577 47180 68 164 0 51412 0
[pid=6344/tid=6345] ppid=6342 vsize=206308 CPUtime=2.72
/proc/6344/task/6345/stat : 6345 (satake) S 6342 6344 17312 0 -1 4202560 3392 0 0 0 88 184 0 0 15 0 5 0 1128954319 211259392 47180 4294967295 134512640 135180984 3219671520 3086274580 134580588 0 0 0 0 3223036975 0 0 -1 2 0 0 0
[pid=6344/tid=6347] ppid=6342 vsize=206308 CPUtime=649.31
/proc/6344/task/6347/stat : 6347 (satake) R 6342 6344 17312 0 -1 4202560 16081 0 0 0 64833 98 0 0 25 0 5 0 1128954320 211259392 47180 4294967295 134512640 135180984 3219671520 3086208684 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6344/tid=6348] ppid=6342 vsize=206308 CPUtime=658.73
/proc/6344/task/6348/stat : 6348 (satake) R 6342 6344 17312 0 -1 4202560 15026 0 0 0 65807 66 0 0 25 0 5 0 1128954320 211259392 47180 4294967295 134512640 135180984 3219671520 3086143344 134528557 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6344/tid=6349] ppid=6342 vsize=206308 CPUtime=676.57
/proc/6344/task/6349/stat : 6349 (satake) R 6342 6344 17312 0 -1 4202560 15697 0 0 0 67563 94 0 0 25 0 5 0 1128954320 211259392 47180 4294967295 134512640 135180984 3219671520 3086077804 134518217 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1987.33
Current children cumulated vsize (KiB) 206308

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): 1987.37
CPU user time (s): 1982.94
CPU system time (s): 4.43
CPU usage (%): 198.726
Max. virtual memory (cumulated for all children) (KiB): 206308

deleting IPC queue 9437184
deleting IPC queue 9469953
deleting IPC queue 9502722
deleting IPC queue 9535491
deleting IPC queue 9568260
deleting IPC queue 9601029
deleting IPC queue 9633798
deleting IPC queue 9666567
deleting IPC queue 9699336
deleting IPC queue 9732105
deleting IPC queue 9764874
deleting IPC queue 9797643
deleting IPC queue 9830412
deleting IPC queue 9863181
deleting IPC queue 9895950
deleting IPC queue 9928719

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1982.94
system time used= 4.43
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50306
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= 960016
involuntary context switches= 1013780

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 02:21:55
IDJOB=1779235
IDBENCH=70824
IDSOLVER=629
FILE ID=/1779235-1243642915
PBS_JOBID=
Free space on /tmp= 7981 MiB

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

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

MD5SUM BENCH= 5822cc7fe01f06c27406011d612b5e7d
RANDOM SEED= 133860940

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:       3105520 kB
Buffers:         56756 kB
Cached:          99492 kB
SwapCached:          0 kB
Active:          82636 kB
Inactive:        95804 kB
HighTotal:     2489216 kB
HighFree:      2367172 kB
LowTotal:       879316 kB
LowFree:        738348 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            5136 kB
Writeback:           0 kB
AnonPages:       22208 kB
Mapped:           8060 kB
Slab:            73844 kB
SReclaimable:    61680 kB
SUnreclaim:      12164 kB
PageTables:        768 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   123560 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 7981 MiB
End job on  at 2009-05-30 02:38:37