Trace number 1779205

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) 2998.45 1000.04

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-10.cnf
MD5SUM0260f441a1d07270edb6a85b2fc90d1d
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 variables69503
Number of clauses226618
Sum of the clauses size587302
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 292294
Number of clauses of size 3134195
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-1779205-1243642634/watcher-1779205-1243642634 -o /tmp/evaluation-result-1779205-1243642634/solver-1779205-1243642634 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779205-1243642634.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: 2.76 2.96 2.98 3/99 2761
/proc/meminfo: memFree=3106228/3368532 swapFree=1959840/1959888
[pid=2760] ppid=2758 vsize=968 CPUtime=0
/proc/2760/stat : 2760 (satake) R 2758 2760 30957 0 -1 4202496 108 0 0 0 0 0 0 0 24 0 2 0 945840207 991232 65 4294967295 134512640 135180984 3213272000 3213271344 134705812 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/2760/statm: 242 65 54 164 0 77 0
[pid=2760/tid=2761] ppid=2758 vsize=968 CPUtime=0
/proc/2760/task/2761/stat : 2761 (satake) R 2758 2760 30957 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 2 0 945840207 991232 65 4294967295 134512640 135180984 3213272000 3086504772 134705812 0 0 0 0 0 0 0 -1 3 0 0 0

[startup+0.05104 s]
/proc/loadavg: 2.76 2.96 2.98 3/99 2761
/proc/meminfo: memFree=3106228/3368532 swapFree=1959840/1959888
[pid=2760] ppid=2758 vsize=50928 CPUtime=0.09
/proc/2760/stat : 2760 (satake) S 2758 2760 30957 0 -1 4202496 7416 0 0 0 5 4 0 0 24 0 5 0 945840207 52150272 7364 4294967295 134512640 135180984 3213272000 3213271436 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/2760/statm: 12732 7368 63 164 0 12567 0
[pid=2760/tid=2761] ppid=2758 vsize=50928 CPUtime=0
/proc/2760/task/2761/stat : 2761 (satake) S 2758 2760 30957 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 945840207 52150272 7370 4294967295 134512640 135180984 3213272000 3086503952 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 50928

[startup+0.111009 s]
/proc/loadavg: 2.76 2.96 2.98 3/99 2761
/proc/meminfo: memFree=3106228/3368532 swapFree=1959840/1959888
[pid=2760] ppid=2758 vsize=59172 CPUtime=0.26
/proc/2760/stat : 2760 (satake) S 2758 2760 30957 0 -1 4202496 10618 0 0 0 22 4 0 0 24 0 5 0 945840207 60592128 10566 4294967295 134512640 135180984 3213272000 3213271436 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/2760/statm: 14793 10567 63 164 0 14628 0
[pid=2760/tid=2761] ppid=2758 vsize=59172 CPUtime=0
/proc/2760/task/2761/stat : 2761 (satake) S 2758 2760 30957 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 945840207 60592128 10567 4294967295 134512640 135180984 3213272000 3086503952 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 59172

[startup+0.310992 s]
/proc/loadavg: 2.76 2.96 2.98 3/99 2761
/proc/meminfo: memFree=3106228/3368532 swapFree=1959840/1959888
[pid=2760] ppid=2758 vsize=67192 CPUtime=0.86
/proc/2760/stat : 2760 (satake) S 2758 2760 30957 0 -1 4202496 15351 0 0 0 78 8 0 0 24 0 5 0 945840207 68804608 12230 4294967295 134512640 135180984 3213272000 3213271436 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/2760/statm: 16798 12231 66 164 0 16633 0
[pid=2760/tid=2761] ppid=2758 vsize=67192 CPUtime=0.02
/proc/2760/task/2761/stat : 2761 (satake) S 2758 2760 30957 0 -1 4202560 1229 0 0 0 1 1 0 0 23 0 5 0 945840207 68804608 12231 4294967295 134512640 135180984 3213272000 3086503952 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 67192

[startup+0.710963 s]
/proc/loadavg: 2.76 2.96 2.98 3/99 2761
/proc/meminfo: memFree=3106228/3368532 swapFree=1959840/1959888
[pid=2760] ppid=2758 vsize=68988 CPUtime=2.06
/proc/2760/stat : 2760 (satake) S 2758 2760 30957 0 -1 4202496 15914 0 0 0 197 9 0 0 24 0 5 0 945840207 70643712 12793 4294967295 134512640 135180984 3213272000 3213271436 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/2760/statm: 17247 12793 68 164 0 17082 0
[pid=2760/tid=2761] ppid=2758 vsize=68988 CPUtime=0.03
/proc/2760/task/2761/stat : 2761 (satake) S 2758 2760 30957 0 -1 4202560 1232 0 0 0 1 2 0 0 21 0 5 0 945840207 70643712 12793 4294967295 134512640 135180984 3213272000 3086503952 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 68988

[startup+1.5109 s]
/proc/loadavg: 2.76 2.96 2.98 4/103 2765
/proc/meminfo: memFree=3055580/3368532 swapFree=1959840/1959888
[pid=2760] ppid=2758 vsize=68988 CPUtime=4.46
/proc/2760/stat : 2760 (satake) S 2758 2760 30957 0 -1 4202496 15957 0 0 0 437 9 0 0 24 0 5 0 945840207 70643712 12836 4294967295 134512640 135180984 3213272000 3213271436 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/2760/statm: 17247 12836 68 164 0 17082 0
[pid=2760/tid=2761] ppid=2758 vsize=68988 CPUtime=0.03
/proc/2760/task/2761/stat : 2761 (satake) S 2758 2760 30957 0 -1 4202560 1232 0 0 0 1 2 0 0 15 0 5 0 945840207 70643712 12836 4294967295 134512640 135180984 3213272000 3086503952 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2760/tid=2763] ppid=2758 vsize=68988 CPUtime=1.48
/proc/2760/task/2763/stat : 2763 (satake) R 2758 2760 30957 0 -1 4202560 4890 0 0 0 146 2 0 0 25 0 5 0 945840207 70643712 12836 4294967295 134512640 135180984 3213272000 3086438128 134522614 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2760/tid=2764] ppid=2758 vsize=68988 CPUtime=1.5
/proc/2760/task/2764/stat : 2764 (satake) R 2758 2760 30957 0 -1 4202560 4862 0 0 0 146 4 0 0 25 0 5 0 945840207 70643712 12836 4294967295 134512640 135180984 3213272000 3086372720 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2760/tid=2765] ppid=2758 vsize=68988 CPUtime=1.45
/proc/2760/task/2765/stat : 2765 (satake) R 2758 2760 30957 0 -1 4202560 4862 0 0 0 144 1 0 0 25 0 5 0 945840207 70643712 12836 4294967295 134512640 135180984 3213272000 3086307184 134528511 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.46
Current children cumulated vsize (KiB) 68988

[startup+3.11077 s]
/proc/loadavg: 2.76 2.96 2.98 4/103 2766
/proc/meminfo: memFree=3054676/3368532 swapFree=1959840/1959888
[pid=2760] ppid=2758 vsize=70012 CPUtime=9.26
/proc/2760/stat : 2760 (satake) S 2758 2760 30957 0 -1 4202496 16082 0 0 0 915 11 0 0 24 0 5 0 945840207 71692288 12961 4294967295 134512640 135180984 3213272000 3213271436 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/2760/statm: 17503 12961 68 164 0 17338 0
[pid=2760/tid=2761] ppid=2758 vsize=70012 CPUtime=0.04
/proc/2760/task/2761/stat : 2761 (satake) S 2758 2760 30957 0 -1 4202560 1234 0 0 0 1 3 0 0 16 0 5 0 945840207 71692288 12961 4294967295 134512640 135180984 3213272000 3086503952 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2760/tid=2763] ppid=2758 vsize=70012 CPUtime=3.07
/proc/2760/task/2763/stat : 2763 (satake) R 2758 2760 30957 0 -1 4202560 4908 0 0 0 305 2 0 0 25 0 5 0 945840207 71692288 12961 4294967295 134512640 135180984 3213272000 3086438144 134522972 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2760/tid=2764] ppid=2758 vsize=70012 CPUtime=3.1
/proc/2760/task/2764/stat : 2764 (satake) R 2758 2760 30957 0 -1 4202560 4913 0 0 0 306 4 0 0 25 0 5 0 945840207 71692288 12961 4294967295 134512640 135180984 3213272000 3086372720 134528918 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2760/tid=2765] ppid=2758 vsize=70012 CPUtime=3.05
/proc/2760/task/2765/stat : 2765 (satake) R 2758 2760 30957 0 -1 4202560 4916 0 0 0 303 2 0 0 25 0 5 0 945840207 71692288 12961 4294967295 134512640 135180984 3213272000 3086307072 134522980 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9.26
Current children cumulated vsize (KiB) 70012

[startup+6.3105 s]
/proc/loadavg: 2.78 2.96 2.98 4/103 2766
/proc/meminfo: memFree=3054180/3368532 swapFree=1959840/1959888
[pid=2760] ppid=2758 vsize=70012 CPUtime=18.86
/proc/2760/stat : 2760 (satake) S 2758 2760 30957 0 -1 4202496 16231 0 0 0 1873 13 0 0 24 0 5 0 945840207 71692288 13110 4294967295 134512640 135180984 3213272000 3213271436 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/2760/statm: 17503 13110 68 164 0 17338 0
[pid=2760/tid=2761] ppid=2758 vsize=70012 CPUtime=0.05
/proc/2760/task/2761/stat : 2761 (satake) S 2758 2760 30957 0 -1 4202560 1242 0 0 0 1 4 0 0 16 0 5 0 945840207 71692288 13110 4294967295 134512640 135180984 3213272000 3086503952 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2760/tid=2763] ppid=2758 vsize=70012 CPUtime=6.26
/proc/2760/task/2763/stat : 2763 (satake) R 2758 2760 30957 0 -1 4202560 4946 0 0 0 623 3 0 0 25 0 5 0 945840207 71692288 13110 4294967295 134512640 135180984 3213272000 3086438248 134520896 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2760/tid=2764] ppid=2758 vsize=70012 CPUtime=6.3
/proc/2760/task/2764/stat : 2764 (satake) R 2758 2760 30957 0 -1 4202560 4974 0 0 0 626 4 0 0 25 0 5 0 945840207 71692288 13110 4294967295 134512640 135180984 3213272000 3086372720 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2760/tid=2765] ppid=2758 vsize=70012 CPUtime=6.25
/proc/2760/task/2765/stat : 2765 (satake) R 2758 2760 30957 0 -1 4202560 4958 0 0 0 623 2 0 0 25 0 5 0 945840207 71692288 13110 4294967295 134512640 135180984 3213272000 3086307184 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 18.86
Current children cumulated vsize (KiB) 70012

[startup+12.71 s]
/proc/loadavg: 2.80 2.96 2.98 4/103 2766
/proc/meminfo: memFree=3052880/3368532 swapFree=1959840/1959888
[pid=2760] ppid=2758 vsize=70276 CPUtime=38.03
/proc/2760/stat : 2760 (satake) S 2758 2760 30957 0 -1 4202496 16520 0 0 0 3785 18 0 0 24 0 5 0 945840207 71962624 13399 4294967295 134512640 135180984 3213272000 3213271436 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/2760/statm: 17569 13399 68 164 0 17404 0
[pid=2760/tid=2761] ppid=2758 vsize=70276 CPUtime=0.08
/proc/2760/task/2761/stat : 2761 (satake) S 2758 2760 30957 0 -1 4202560 1257 0 0 0 2 6 0 0 15 0 5 0 945840207 71962624 13399 4294967295 134512640 135180984 3213272000 3086503952 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2760/tid=2763] ppid=2758 vsize=70276 CPUtime=12.63
/proc/2760/task/2763/stat : 2763 (satake) R 2758 2760 30957 0 -1 4202560 5048 0 0 0 1258 5 0 0 25 0 5 0 945840207 71962624 13399 4294967295 134512640 135180984 3213272000 3086438320 134532431 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2760/tid=2764] ppid=2758 vsize=70276 CPUtime=12.69
/proc/2760/task/2764/stat : 2764 (satake) R 2758 2760 30957 0 -1 4202560 5067 0 0 0 1264 5 0 0 25 0 5 0 945840207 71962624 13399 4294967295 134512640 135180984 3213272000 3086372720 134528252 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2760/tid=2765] ppid=2758 vsize=70276 CPUtime=12.63
/proc/2760/task/2765/stat : 2765 (satake) R 2758 2760 30957 0 -1 4202560 5037 0 0 0 1261 2 0 0 25 0 5 0 945840207 71962624 13399 4294967295 134512640 135180984 3213272000 3086307248 134532436 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 38.03
Current children cumulated vsize (KiB) 70276

[startup+25.5089 s]
/proc/loadavg: 2.84 2.96 2.98 4/103 2951
/proc/meminfo: memFree=3050260/3368532 swapFree=1959840/1959888
[pid=2760] ppid=2758 vsize=71828 CPUtime=76.37
/proc/2760/stat : 2760 (satake) S 2758 2760 30957 0 -1 4202496 16962 0 0 0 7598 39 0 0 24 0 5 0 945840207 73551872 13841 4294967295 134512640 135180984 3213272000 3213271436 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/2760/statm: 17957 13841 68 164 0 17792 0
[pid=2760/tid=2761] ppid=2758 vsize=71828 CPUtime=0.23
/proc/2760/task/2761/stat : 2761 (satake) S 2758 2760 30957 0 -1 4202560 1314 0 0 0 6 17 0 0 15 0 5 0 945840207 73551872 13841 4294967295 134512640 135180984 3213272000 3086503952 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2760/tid=2763] ppid=2758 vsize=71828 CPUtime=25.27
/proc/2760/task/2763/stat : 2763 (satake) R 2758 2760 30957 0 -1 4202560 5183 0 0 0 2520 7 0 0 25 0 5 0 945840207 73551872 13841 4294967295 134512640 135180984 3213272000 3086438248 134520667 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2760/tid=2764] ppid=2758 vsize=71828 CPUtime=25.48
/proc/2760/task/2764/stat : 2764 (satake) R 2758 2760 30957 0 -1 4202560 5177 0 0 0 2538 10 0 0 25 0 5 0 945840207 73551872 13841 4294967295 134512640 135180984 3213272000 3086372720 134528080 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2760/tid=2765] ppid=2758 vsize=71828 CPUtime=25.39
/proc/2760/task/2765/stat : 2765 (satake) R 2758 2760 30957 0 -1 4202560 5177 0 0 0 2534 5 0 0 25 0 5 0 945840207 73551872 13841 4294967295 134512640 135180984 3213272000 3086307116 134523868 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 76.37
Current children cumulated vsize (KiB) 71828

[startup+51.1068 s]
/proc/loadavg: 2.89 2.97 2.98 4/103 2953
/proc/meminfo: memFree=3047404/3368532 swapFree=1959840/1959888
[pid=2760] ppid=2758 vsize=75840 CPUtime=153.16
/proc/2760/stat : 2760 (satake) S 2758 2760 30957 0 -1 4202496 17949 0 0 0 15253 63 0 0 24 0 5 0 945840207 77660160 14828 4294967295 134512640 135180984 3213272000 3213271436 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/2760/statm: 18960 14828 68 164 0 18795 0
[pid=2760/tid=2761] ppid=2758 vsize=75840 CPUtime=0.37
/proc/2760/task/2761/stat : 2761 (satake) S 2758 2760 30957 0 -1 4202560 1372 0 0 0 10 27 0 0 16 0 5 0 945840207 77660160 14828 4294967295 134512640 135180984 3213272000 3086503952 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2760/tid=2763] ppid=2758 vsize=75840 CPUtime=50.73
/proc/2760/task/2763/stat : 2763 (satake) R 2758 2760 30957 0 -1 4202560 5458 0 0 0 5063 10 0 0 25 0 5 0 945840207 77660160 14828 4294967295 134512640 135180984 3213272000 3086438256 134528211 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2760/tid=2764] ppid=2758 vsize=75840 CPUtime=51.08
/proc/2760/task/2764/stat : 2764 (satake) R 2758 2760 30957 0 -1 4202560 5489 0 0 0 5091 17 0 0 25 0 5 0 945840207 77660160 14828 4294967295 134512640 135180984 3213272000 3086372656 134523851 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2760/tid=2765] ppid=2758 vsize=75840 CPUtime=50.98
/proc/2760/task/2765/stat : 2765 (satake) R 2758 2760 30957 0 -1 4202560 5519 0 0 0 5089 9 0 0 25 0 5 0 945840207 77660160 14828 4294967295 134512640 135180984 3213272000 3086307072 134523016 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 153.16
Current children cumulated vsize (KiB) 75840

[startup+102.323 s]
/proc/loadavg: 2.95 2.97 2.98 4/103 3145
/proc/meminfo: memFree=3038848/3368532 swapFree=1959840/1959888
[pid=2760] ppid=2758 vsize=84592 CPUtime=306.75
/proc/2760/stat : 2760 (satake) S 2758 2760 30957 0 -1 4202496 19989 0 0 0 30580 95 0 0 24 0 5 0 945840207 86622208 16868 4294967295 134512640 135180984 3213272000 3213271436 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/2760/statm: 21148 16868 68 164 0 20983 0
[pid=2760/tid=2761] ppid=2758 vsize=84592 CPUtime=0.56
/proc/2760/task/2761/stat : 2761 (satake) S 2758 2760 30957 0 -1 4202560 1440 0 0 0 13 43 0 0 16 0 5 0 945840207 86622208 16868 4294967295 134512640 135180984 3213272000 3086503952 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2760/tid=2763] ppid=2758 vsize=84592 CPUtime=101.75
/proc/2760/task/2763/stat : 2763 (satake) R 2758 2760 30957 0 -1 4202560 6081 0 0 0 10162 13 0 0 25 0 5 0 945840207 86622208 16868 4294967295 134512640 135180984 3213272000 3086438252 134520036 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2760/tid=2764] ppid=2758 vsize=84592 CPUtime=102.27
/proc/2760/task/2764/stat : 2764 (satake) R 2758 2760 30957 0 -1 4202560 6229 0 0 0 10200 27 0 0 25 0 5 0 945840207 86622208 16868 4294967295 134512640 135180984 3213272000 3086372616 134520909 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2760/tid=2765] ppid=2758 vsize=84592 CPUtime=102.17
/proc/2760/task/2765/stat : 2765 (satake) R 2758 2760 30957 0 -1 4202560 6128 0 0 0 10205 12 0 0 25 0 5 0 945840207 86622208 16868 4294967295 134512640 135180984 3213272000 3086307176 134520886 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 306.75
Current children cumulated vsize (KiB) 84592

[startup+162.318 s]
/proc/loadavg: 3.05 2.99 2.99 4/103 3336
/proc/meminfo: memFree=3029732/3368532 swapFree=1959840/1959888
[pid=2760] ppid=2758 vsize=94724 CPUtime=486.64
/proc/2760/stat : 2760 (satake) S 2758 2760 30957 0 -1 4202496 22299 0 0 0 48503 161 0 0 24 0 5 0 945840207 96997376 19178 4294967295 134512640 135180984 3213272000 3213271436 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/2760/statm: 23681 19178 68 164 0 23516 0
[pid=2760/tid=2761] ppid=2758 vsize=94724 CPUtime=0.97
/proc/2760/task/2761/stat : 2761 (satake) S 2758 2760 30957 0 -1 4202560 1612 0 0 0 21 76 0 0 15 0 5 0 945840207 96997376 19178 4294967295 134512640 135180984 3213272000 3086503952 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2760/tid=2763] ppid=2758 vsize=94724 CPUtime=161.33
/proc/2760/task/2763/stat : 2763 (satake) R 2758 2760 30957 0 -1 4202560 6765 0 0 0 16111 22 0 0 25 0 5 0 945840207 96997376 19178 4294967295 134512640 135180984 3213272000 3086438256 134528411 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2760/tid=2764] ppid=2758 vsize=94724 CPUtime=162.26
/proc/2760/task/2764/stat : 2764 (satake) R 2758 2760 30957 0 -1 4202560 7018 0 0 0 16182 44 0 0 25 0 5 0 945840207 96997376 19178 4294967295 134512640 135180984 3213272000 3086372608 134522984 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2760/tid=2765] ppid=2758 vsize=94724 CPUtime=162.08
/proc/2760/task/2765/stat : 2765 (satake) R 2758 2760 30957 0 -1 4202560 6793 0 0 0 16189 19 0 0 25 0 5 0 945840207 96997376 19178 4294967295 134512640 135180984 3213272000 3086307180 134518218 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 486.64

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

[pid=2760/tid=2763] ppid=2758 vsize=126444 CPUtime=518.47
/proc/2760/task/2763/stat : 2763 (satake) R 2758 2760 30957 0 -1 4202560 8814 0 0 0 51762 85 0 0 25 0 5 0 945840207 129478656 27011 4294967295 134512640 135180984 3213272000 3086438256 134526098 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2760/tid=2764] ppid=2758 vsize=126444 CPUtime=522.14
/proc/2760/task/2764/stat : 2764 (satake) R 2758 2760 30957 0 -1 4202560 9273 0 0 0 52076 138 0 0 25 0 5 0 945840207 129478656 27011 4294967295 134512640 135180984 3213272000 3086372716 134519895 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2760/tid=2765] ppid=2758 vsize=126444 CPUtime=521.75
/proc/2760/task/2765/stat : 2765 (satake) R 2758 2760 30957 0 -1 4202560 9254 0 0 0 52095 80 0 0 25 0 5 0 945840207 129478656 27011 4294967295 134512640 135180984 3213272000 3086307184 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1566.18
Current children cumulated vsize (KiB) 126444

[startup+582.313 s]
/proc/loadavg: 3.00 2.99 2.99 4/103 4681
/proc/meminfo: memFree=2993036/3368532 swapFree=1959840/1959888
[pid=2760] ppid=2758 vsize=130192 CPUtime=1746.01
/proc/2760/stat : 2760 (satake) S 2758 2760 30957 0 -1 4202496 31192 0 0 0 173919 682 0 0 24 0 5 0 945840207 133316608 28071 4294967295 134512640 135180984 3213272000 3213271436 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/2760/statm: 32548 28071 68 164 0 32383 0
[pid=2760/tid=2761] ppid=2758 vsize=130192 CPUtime=4.41
/proc/2760/task/2761/stat : 2761 (satake) S 2758 2760 30957 0 -1 4202560 2874 0 0 0 97 344 0 0 16 0 5 0 945840207 133316608 28071 4294967295 134512640 135180984 3213272000 3086503952 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2760/tid=2763] ppid=2758 vsize=130192 CPUtime=577.86
/proc/2760/task/2763/stat : 2763 (satake) R 2758 2760 30957 0 -1 4202560 9022 0 0 0 57693 93 0 0 25 0 5 0 945840207 133316608 28071 4294967295 134512640 135180984 3213272000 3086438248 134520896 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2760/tid=2764] ppid=2758 vsize=130192 CPUtime=582.03
/proc/2760/task/2764/stat : 2764 (satake) R 2758 2760 30957 0 -1 4202560 9721 0 0 0 58045 158 0 0 25 0 5 0 945840207 133316608 28071 4294967295 134512640 135180984 3213272000 3086372720 134528214 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2760/tid=2765] ppid=2758 vsize=130192 CPUtime=581.71
/proc/2760/task/2765/stat : 2765 (satake) R 2758 2760 30957 0 -1 4202560 9464 0 0 0 58084 87 0 0 25 0 5 0 945840207 133316608 28071 4294967295 134512640 135180984 3213272000 3086307184 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1746.01
Current children cumulated vsize (KiB) 130192

[startup+642.308 s]
/proc/loadavg: 3.00 2.99 2.99 4/103 4869
/proc/meminfo: memFree=2990108/3368532 swapFree=1959840/1959888
[pid=2760] ppid=2758 vsize=135860 CPUtime=1925.92
/proc/2760/stat : 2760 (satake) S 2758 2760 30957 0 -1 4202496 32148 0 0 0 191842 750 0 0 24 0 5 0 945840207 139120640 29027 4294967295 134512640 135180984 3213272000 3213271436 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/2760/statm: 33965 29028 68 164 0 33800 0
[pid=2760/tid=2761] ppid=2758 vsize=135860 CPUtime=4.88
/proc/2760/task/2761/stat : 2761 (satake) S 2758 2760 30957 0 -1 4202560 3061 0 0 0 109 379 0 0 15 0 5 0 945840207 139120640 29028 4294967295 134512640 135180984 3213272000 3086503952 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2760/tid=2763] ppid=2758 vsize=135860 CPUtime=637.37
/proc/2760/task/2763/stat : 2763 (satake) R 2758 2760 30957 0 -1 4202560 9211 0 0 0 63636 101 0 0 25 0 5 0 945840207 139120640 29028 4294967295 134512640 135180984 3213272000 3086438208 134527246 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2760/tid=2764] ppid=2758 vsize=135860 CPUtime=641.99
/proc/2760/task/2764/stat : 2764 (satake) R 2758 2760 30957 0 -1 4202560 9925 0 0 0 64024 175 0 0 25 0 5 0 945840207 139120640 29028 4294967295 134512640 135180984 3213272000 3086372716 134519884 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2760/tid=2765] ppid=2758 vsize=135860 CPUtime=641.68
/proc/2760/task/2765/stat : 2765 (satake) R 2758 2760 30957 0 -1 4202560 9841 0 0 0 64073 95 0 0 25 0 5 0 945840207 139120640 29028 4294967295 134512640 135180984 3213272000 3086307152 134520025 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1925.92
Current children cumulated vsize (KiB) 135860

[startup+702.314 s]
/proc/loadavg: 3.19 3.03 3.01 4/103 5057
/proc/meminfo: memFree=2985528/3368532 swapFree=1959840/1959888
[pid=2760] ppid=2758 vsize=140096 CPUtime=2105.84
/proc/2760/stat : 2760 (satake) S 2758 2760 30957 0 -1 4202496 33249 0 0 0 209752 832 0 0 24 0 5 0 945840207 143458304 30128 4294967295 134512640 135180984 3213272000 3213271436 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/2760/statm: 35024 30128 68 164 0 34859 0
[pid=2760/tid=2761] ppid=2758 vsize=140096 CPUtime=5.44
/proc/2760/task/2761/stat : 2761 (satake) S 2758 2760 30957 0 -1 4202560 3258 0 0 0 122 422 0 0 16 0 5 0 945840207 143458304 30128 4294967295 134512640 135180984 3213272000 3086503952 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2760/tid=2763] ppid=2758 vsize=140096 CPUtime=696.81
/proc/2760/task/2763/stat : 2763 (satake) R 2758 2760 30957 0 -1 4202560 9617 0 0 0 69566 115 0 0 25 0 5 0 945840207 143458304 30128 4294967295 134512640 135180984 3213272000 3086438256 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2760/tid=2764] ppid=2758 vsize=140096 CPUtime=701.96
/proc/2760/task/2764/stat : 2764 (satake) R 2758 2760 30957 0 -1 4202560 10148 0 0 0 70004 192 0 0 25 0 5 0 945840207 143458304 30128 4294967295 134512640 135180984 3213272000 3086372720 134526384 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2760/tid=2765] ppid=2758 vsize=140096 CPUtime=701.63
/proc/2760/task/2765/stat : 2765 (satake) R 2758 2760 30957 0 -1 4202560 10115 0 0 0 70060 103 0 0 25 0 5 0 945840207 143458304 30128 4294967295 134512640 135180984 3213272000 3086307184 134528916 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2105.84
Current children cumulated vsize (KiB) 140096

[startup+762.309 s]
/proc/loadavg: 3.15 3.04 3.01 4/103 5246
/proc/meminfo: memFree=2981776/3368532 swapFree=1959840/1959888
[pid=2760] ppid=2758 vsize=143696 CPUtime=2285.73
/proc/2760/stat : 2760 (satake) S 2758 2760 30957 0 -1 4202496 34055 0 0 0 227665 908 0 0 24 0 5 0 945840207 147144704 30934 4294967295 134512640 135180984 3213272000 3213271436 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/2760/statm: 35924 30934 68 164 0 35759 0
[pid=2760/tid=2761] ppid=2758 vsize=143696 CPUtime=5.99
/proc/2760/task/2761/stat : 2761 (satake) S 2758 2760 30957 0 -1 4202560 3469 0 0 0 139 460 0 0 15 0 5 0 945840207 147144704 30934 4294967295 134512640 135180984 3213272000 3086503952 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2760/tid=2763] ppid=2758 vsize=143696 CPUtime=756.25
/proc/2760/task/2763/stat : 2763 (satake) R 2758 2760 30957 0 -1 4202560 9772 0 0 0 75501 124 0 0 25 0 5 0 945840207 147144704 30934 4294967295 134512640 135180984 3213272000 3086438256 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2760/tid=2764] ppid=2758 vsize=143696 CPUtime=761.93
/proc/2760/task/2764/stat : 2764 (satake) R 2758 2760 30957 0 -1 4202560 10400 0 0 0 75983 210 0 0 25 0 5 0 945840207 147144704 30934 4294967295 134512640 135180984 3213272000 3086372720 134528398 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2760/tid=2765] ppid=2758 vsize=143696 CPUtime=761.56
/proc/2760/task/2765/stat : 2765 (satake) R 2758 2760 30957 0 -1 4202560 10303 0 0 0 76042 114 0 0 25 0 5 0 945840207 147144704 30934 4294967295 134512640 135180984 3213272000 3086307184 134528420 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2285.73
Current children cumulated vsize (KiB) 143696

[startup+822.304 s]
/proc/loadavg: 3.12 3.05 3.00 4/103 5438
/proc/meminfo: memFree=2978380/3368532 swapFree=1959840/1959888
[pid=2760] ppid=2758 vsize=146904 CPUtime=2465.58
/proc/2760/stat : 2760 (satake) S 2758 2760 30957 0 -1 4202496 34818 0 0 0 245564 994 0 0 24 0 5 0 945840207 150429696 31697 4294967295 134512640 135180984 3213272000 3213271436 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/2760/statm: 36726 31697 68 164 0 36561 0
[pid=2760/tid=2761] ppid=2758 vsize=146904 CPUtime=6.62
/proc/2760/task/2761/stat : 2761 (satake) S 2758 2760 30957 0 -1 4202560 3643 0 0 0 155 507 0 0 15 0 5 0 945840207 150429696 31697 4294967295 134512640 135180984 3213272000 3086503952 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2760/tid=2763] ppid=2758 vsize=146904 CPUtime=815.59
/proc/2760/task/2763/stat : 2763 (satake) R 2758 2760 30957 0 -1 4202560 9951 0 0 0 81427 132 0 0 25 0 5 0 945840207 150429696 31697 4294967295 134512640 135180984 3213272000 3086438256 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2760/tid=2764] ppid=2758 vsize=146904 CPUtime=821.87
/proc/2760/task/2764/stat : 2764 (satake) R 2758 2760 30957 0 -1 4202560 10604 0 0 0 81957 230 0 0 25 0 5 0 945840207 150429696 31697 4294967295 134512640 135180984 3213272000 3086372720 134528600 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2760/tid=2765] ppid=2758 vsize=146904 CPUtime=821.5
/proc/2760/task/2765/stat : 2765 (satake) R 2758 2760 30957 0 -1 4202560 10509 0 0 0 82025 125 0 0 25 0 5 0 945840207 150429696 31697 4294967295 134512640 135180984 3213272000 3086307184 134528766 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2465.58
Current children cumulated vsize (KiB) 146904

[startup+882.319 s]
/proc/loadavg: 3.11 3.05 3.00 4/103 5624
/proc/meminfo: memFree=2975228/3368532 swapFree=1959840/1959888
[pid=2760] ppid=2758 vsize=150288 CPUtime=2645.54
/proc/2760/stat : 2760 (satake) S 2758 2760 30957 0 -1 4202496 35615 0 0 0 263484 1070 0 0 24 0 5 0 945840207 153894912 32494 4294967295 134512640 135180984 3213272000 3213271436 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/2760/statm: 37572 32494 68 164 0 37407 0
[pid=2760/tid=2761] ppid=2758 vsize=150288 CPUtime=7.16
/proc/2760/task/2761/stat : 2761 (satake) S 2758 2760 30957 0 -1 4202560 3821 0 0 0 169 547 0 0 16 0 5 0 945840207 153894912 32494 4294967295 134512640 135180984 3213272000 3086503952 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2760/tid=2763] ppid=2758 vsize=150288 CPUtime=875.06
/proc/2760/task/2763/stat : 2763 (satake) R 2758 2760 30957 0 -1 4202560 10169 0 0 0 87365 141 0 0 25 0 5 0 945840207 153894912 32494 4294967295 134512640 135180984 3213272000 3086438256 134526284 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2760/tid=2764] ppid=2758 vsize=150288 CPUtime=881.84
/proc/2760/task/2764/stat : 2764 (satake) R 2758 2760 30957 0 -1 4202560 10796 0 0 0 87938 246 0 0 25 0 5 0 945840207 153894912 32494 4294967295 134512640 135180984 3213272000 3086372736 134518667 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2760/tid=2765] ppid=2758 vsize=150288 CPUtime=881.48
/proc/2760/task/2765/stat : 2765 (satake) R 2758 2760 30957 0 -1 4202560 10718 0 0 0 88012 136 0 0 25 0 5 0 945840207 153894912 32494 4294967295 134512640 135180984 3213272000 3086307120 134523615 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2645.54
Current children cumulated vsize (KiB) 150288

[startup+942.314 s]
/proc/loadavg: 3.10 3.06 3.00 4/103 5812
/proc/meminfo: memFree=2972344/3368532 swapFree=1959840/1959888
[pid=2760] ppid=2758 vsize=155344 CPUtime=2825.47
/proc/2760/stat : 2760 (satake) S 2758 2760 30957 0 -1 4202496 36477 0 0 0 281379 1168 0 0 24 0 5 0 945840207 159072256 33356 4294967295 134512640 135180984 3213272000 3213271436 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/2760/statm: 38836 33356 68 164 0 38671 0
[pid=2760/tid=2761] ppid=2758 vsize=155344 CPUtime=7.74
/proc/2760/task/2761/stat : 2761 (satake) S 2758 2760 30957 0 -1 4202560 4047 0 0 0 181 593 0 0 16 0 5 0 945840207 159072256 33356 4294967295 134512640 135180984 3213272000 3086503952 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2760/tid=2763] ppid=2758 vsize=155344 CPUtime=934.48
/proc/2760/task/2763/stat : 2763 (satake) R 2758 2760 30957 0 -1 4202560 10390 0 0 0 93293 155 0 0 25 0 5 0 945840207 159072256 33356 4294967295 134512640 135180984 3213272000 3086438320 134532443 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2760/tid=2764] ppid=2758 vsize=155344 CPUtime=941.83
/proc/2760/task/2764/stat : 2764 (satake) R 2758 2760 30957 0 -1 4202560 11049 0 0 0 93915 268 0 0 25 0 5 0 945840207 159072256 33356 4294967295 134512640 135180984 3213272000 3086372712 134520667 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2760/tid=2765] ppid=2758 vsize=155344 CPUtime=941.42
/proc/2760/task/2765/stat : 2765 (satake) R 2758 2760 30957 0 -1 4202560 10880 0 0 0 93990 152 0 0 25 0 5 0 945840207 159072256 33356 4294967295 134512640 135180984 3213272000 3086307184 134528869 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2825.47
Current children cumulated vsize (KiB) 155344



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 3.09 3.06 3.00 4/103 6000
/proc/meminfo: memFree=2967912/3368532 swapFree=1959840/1959888
[pid=2760] ppid=2758 vsize=157844 CPUtime=2998.39
/proc/2760/stat : 2760 (satake) S 2758 2760 30957 0 -1 4202496 37405 0 0 0 298576 1263 0 0 24 0 5 0 945840207 161632256 34284 4294967295 134512640 135180984 3213272000 3213271436 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/2760/statm: 39461 34284 68 164 0 39296 0
[pid=2760/tid=2761] ppid=2758 vsize=157844 CPUtime=8.36
/proc/2760/task/2761/stat : 2761 (satake) S 2758 2760 30957 0 -1 4202560 4222 0 0 0 193 643 0 0 16 0 5 0 945840207 161632256 34284 4294967295 134512640 135180984 3213272000 3086503952 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=2760/tid=2763] ppid=2758 vsize=157844 CPUtime=991.54
/proc/2760/task/2763/stat : 2763 (satake) R 2758 2760 30957 0 -1 4202560 10601 0 0 0 98992 162 0 0 25 0 5 0 945840207 161632256 34284 4294967295 134512640 135180984 3213272000 3086438248 134520896 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2760/tid=2764] ppid=2758 vsize=157844 CPUtime=999.43
/proc/2760/task/2764/stat : 2764 (satake) R 2758 2760 30957 0 -1 4202560 11355 0 0 0 99647 296 0 0 25 0 5 0 945840207 161632256 34284 4294967295 134512640 135180984 3213272000 3086372720 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2760/tid=2765] ppid=2758 vsize=157844 CPUtime=999.06
/proc/2760/task/2765/stat : 2765 (satake) R 2758 2760 30957 0 -1 4202560 11116 0 0 0 99744 162 0 0 25 0 5 0 945840207 161632256 34284 4294967295 134512640 135180984 3213272000 3086307152 134520025 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2998.39
Current children cumulated vsize (KiB) 157844

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.04
CPU time (s): 2998.45
CPU user time (s): 2985.82
CPU system time (s): 12.63
CPU usage (%): 299.834
Max. virtual memory (cumulated for all children) (KiB): 157844

deleting IPC queue 8388608
deleting IPC queue 8421377
deleting IPC queue 8454146
deleting IPC queue 8486915
deleting IPC queue 8519684
deleting IPC queue 8552453
deleting IPC queue 8585222
deleting IPC queue 8617991
deleting IPC queue 8650760
deleting IPC queue 8683529
deleting IPC queue 8716298
deleting IPC queue 8749067
deleting IPC queue 8781836
deleting IPC queue 8814605
deleting IPC queue 8847374
deleting IPC queue 8880143

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2985.82
system time used= 12.63
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37405
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= 1351991
involuntary context switches= 1178025

runsolver used 0.01 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-30 02:17:14
IDJOB=1779205
IDBENCH=70821
IDSOLVER=629
FILE ID=tipi39/1779205-1243642634
PBS_JOBID=
Free space on /tmp= 5740 MiB

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

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

MD5SUM BENCH= 0260f441a1d07270edb6a85b2fc90d1d
RANDOM SEED= 99280418

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.067
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.10
clflush size	: 64

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.067
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.067
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:       3106228 kB
Buffers:         57156 kB
Cached:         102108 kB
SwapCached:          0 kB
Active:          94312 kB
Inactive:        80960 kB
HighTotal:     2489216 kB
HighFree:      2373820 kB
LowTotal:       879316 kB
LowFree:        732408 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            4924 kB
Writeback:           0 kB
AnonPages:       16040 kB
Mapped:           6232 kB
Slab:            77556 kB
SReclaimable:    67164 kB
SUnreclaim:      10392 kB
PageTables:        584 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    94800 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 5740 MiB
End job on tipi39 at 2009-05-30 02:33:57