Trace number 1779400

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

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-27-s100.cnf
MD5SUMf47c33d2a9a327da4633207adfef7b77
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 variables31951
Number of clauses96161
Sum of the clauses size226837
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 261518
Number of clauses of size 334579
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-1779400-1243643638/watcher-1779400-1243643638 -o /tmp/evaluation-result-1779400-1243643638/solver-1779400-1243643638 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779400-1243643638.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: 3.09 3.06 3.00 3/99 6040
/proc/meminfo: memFree=3106976/3368532 swapFree=1959840/1959888
[pid=6039] ppid=6037 vsize=968 CPUtime=0
/proc/6039/stat : 6039 (satake) R 6037 6039 30957 0 -1 4202496 108 0 0 0 0 0 0 0 25 0 2 0 945940545 991232 65 4294967295 134512640 135180984 3219554752 3219554096 134705812 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6039/statm: 242 65 54 164 0 77 0
[pid=6039/tid=6040] ppid=6037 vsize=968 CPUtime=0
/proc/6039/task/6040/stat : 6040 (satake) R 6037 6039 30957 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 2 0 945940545 991232 65 4294967295 134512640 135180984 3219554752 3086160708 134705812 0 0 0 0 0 0 0 -1 1 0 0 0

[startup+0.034143 s]
/proc/loadavg: 3.09 3.06 3.00 3/99 6040
/proc/meminfo: memFree=3106976/3368532 swapFree=1959840/1959888
[pid=6039] ppid=6037 vsize=14388 CPUtime=0.03
/proc/6039/stat : 6039 (satake) S 6037 6039 30957 0 -1 4202496 2809 0 0 0 2 1 0 0 25 0 5 0 945940545 14733312 2759 4294967295 134512640 135180984 3219554752 3219554188 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6039/statm: 3597 2761 63 164 0 3432 0
[pid=6039/tid=6040] ppid=6037 vsize=14388 CPUtime=0
/proc/6039/task/6040/stat : 6040 (satake) S 6037 6039 30957 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 945940545 14733312 2761 4294967295 134512640 135180984 3219554752 3086159888 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14388

[startup+0.113696 s]
/proc/loadavg: 3.09 3.06 3.00 3/99 6040
/proc/meminfo: memFree=3106976/3368532 swapFree=1959840/1959888
[pid=6039] ppid=6037 vsize=25192 CPUtime=0.21
/proc/6039/stat : 6039 (satake) S 6037 6039 30957 0 -1 4202496 5899 0 0 0 18 3 0 0 25 0 5 0 945940545 25796608 5451 4294967295 134512640 135180984 3219554752 3219554188 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6039/statm: 6298 5452 66 164 0 6133 0
[pid=6039/tid=6040] ppid=6037 vsize=25192 CPUtime=0.01
/proc/6039/task/6040/stat : 6040 (satake) R 6037 6039 30957 0 -1 4202560 250 0 0 0 1 0 0 0 24 0 5 0 945940545 25796608 5452 4294967295 134512640 135180984 3219554752 3086159924 134680927 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 25192

[startup+0.31368 s]
/proc/loadavg: 3.09 3.06 3.00 3/99 6040
/proc/meminfo: memFree=3106976/3368532 swapFree=1959840/1959888
[pid=6039] ppid=6037 vsize=25356 CPUtime=0.81
/proc/6039/stat : 6039 (satake) S 6037 6039 30957 0 -1 4202496 6712 0 0 0 78 3 0 0 25 0 5 0 945940545 25964544 5498 4294967295 134512640 135180984 3219554752 3219554188 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6039/statm: 6339 5498 68 164 0 6174 0
[pid=6039/tid=6040] ppid=6037 vsize=25356 CPUtime=0.01
/proc/6039/task/6040/stat : 6040 (satake) S 6037 6039 30957 0 -1 4202560 572 0 0 0 1 0 0 0 23 0 5 0 945940545 25964544 5498 4294967295 134512640 135180984 3219554752 3086159888 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 25356

[startup+0.713647 s]
/proc/loadavg: 3.09 3.06 3.00 3/99 6040
/proc/meminfo: memFree=3106976/3368532 swapFree=1959840/1959888
[pid=6039] ppid=6037 vsize=25356 CPUtime=2.01
/proc/6039/stat : 6039 (satake) S 6037 6039 30957 0 -1 4202496 6719 0 0 0 197 4 0 0 25 0 5 0 945940545 25964544 5505 4294967295 134512640 135180984 3219554752 3219554188 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6039/statm: 6339 5505 68 164 0 6174 0
[pid=6039/tid=6040] ppid=6037 vsize=25356 CPUtime=0.01
/proc/6039/task/6040/stat : 6040 (satake) S 6037 6039 30957 0 -1 4202560 572 0 0 0 1 0 0 0 19 0 5 0 945940545 25964544 5505 4294967295 134512640 135180984 3219554752 3086159888 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 25356

[startup+1.51358 s]
/proc/loadavg: 3.16 3.07 3.01 4/103 6045
/proc/meminfo: memFree=3085204/3368532 swapFree=1959840/1959888
[pid=6039] ppid=6037 vsize=25356 CPUtime=4.41
/proc/6039/stat : 6039 (satake) S 6037 6039 30957 0 -1 4202496 6722 0 0 0 436 5 0 0 25 0 5 0 945940545 25964544 5508 4294967295 134512640 135180984 3219554752 3219554188 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6039/statm: 6339 5508 68 164 0 6174 0
[pid=6039/tid=6040] ppid=6037 vsize=25356 CPUtime=0.02
/proc/6039/task/6040/stat : 6040 (satake) S 6037 6039 30957 0 -1 4202560 572 0 0 0 2 0 0 0 16 0 5 0 945940545 25964544 5508 4294967295 134512640 135180984 3219554752 3086159888 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=6039/tid=6042] ppid=6037 vsize=25356 CPUtime=1.48
/proc/6039/task/6042/stat : 6042 (satake) R 6037 6039 30957 0 -1 4202560 1846 0 0 0 146 2 0 0 25 0 5 0 945940546 25964544 5508 4294967295 134512640 135180984 3219554752 3086094184 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6039/tid=6043] ppid=6037 vsize=25356 CPUtime=1.48
/proc/6039/task/6043/stat : 6043 (satake) R 6037 6039 30957 0 -1 4202560 2055 0 0 0 146 2 0 0 25 0 5 0 945940546 25964544 5508 4294967295 134512640 135180984 3219554752 3086028584 134518214 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6039/tid=6044] ppid=6037 vsize=25356 CPUtime=1.44
/proc/6039/task/6044/stat : 6044 (satake) R 6037 6039 30957 0 -1 4202560 2138 0 0 0 143 1 0 0 25 0 5 0 945940546 25964544 5508 4294967295 134512640 135180984 3219554752 3085963184 134532415 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 25356

[startup+3.11345 s]
/proc/loadavg: 3.16 3.07 3.01 4/103 6045
/proc/meminfo: memFree=3085204/3368532 swapFree=1959840/1959888
[pid=6039] ppid=6037 vsize=25356 CPUtime=9.21
/proc/6039/stat : 6039 (satake) S 6037 6039 30957 0 -1 4202496 6735 0 0 0 915 6 0 0 25 0 5 0 945940545 25964544 5521 4294967295 134512640 135180984 3219554752 3219554188 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6039/statm: 6339 5521 68 164 0 6174 0
[pid=6039/tid=6040] ppid=6037 vsize=25356 CPUtime=0.03
/proc/6039/task/6040/stat : 6040 (satake) S 6037 6039 30957 0 -1 4202560 572 0 0 0 2 1 0 0 15 0 5 0 945940545 25964544 5521 4294967295 134512640 135180984 3219554752 3086159888 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=6039/tid=6042] ppid=6037 vsize=25356 CPUtime=3.08
/proc/6039/task/6042/stat : 6042 (satake) R 6037 6039 30957 0 -1 4202560 1849 0 0 0 306 2 0 0 25 0 5 0 945940546 25964544 5521 4294967295 134512640 135180984 3219554752 3086094128 134523809 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6039/tid=6043] ppid=6037 vsize=25356 CPUtime=3.08
/proc/6039/task/6043/stat : 6043 (satake) R 6037 6039 30957 0 -1 4202560 2059 0 0 0 306 2 0 0 25 0 5 0 945940546 25964544 5521 4294967295 134512640 135180984 3219554752 3086028656 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6039/tid=6044] ppid=6037 vsize=25356 CPUtime=3.03
/proc/6039/task/6044/stat : 6044 (satake) R 6037 6039 30957 0 -1 4202560 2144 0 0 0 302 1 0 0 25 0 5 0 945940546 25964544 5521 4294967295 134512640 135180984 3219554752 3085963120 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.21
Current children cumulated vsize (KiB) 25356

[startup+6.31319 s]
/proc/loadavg: 3.16 3.07 3.01 4/103 6045
/proc/meminfo: memFree=3085080/3368532 swapFree=1959840/1959888
[pid=6039] ppid=6037 vsize=25620 CPUtime=18.81
/proc/6039/stat : 6039 (satake) S 6037 6039 30957 0 -1 4202496 6812 0 0 0 1873 8 0 0 25 0 5 0 945940545 26234880 5598 4294967295 134512640 135180984 3219554752 3219554188 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6039/statm: 6405 5598 68 164 0 6240 0
[pid=6039/tid=6040] ppid=6037 vsize=25620 CPUtime=0.04
/proc/6039/task/6040/stat : 6040 (satake) S 6037 6039 30957 0 -1 4202560 574 0 0 0 2 2 0 0 16 0 5 0 945940545 26234880 5598 4294967295 134512640 135180984 3219554752 3086159888 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=6039/tid=6042] ppid=6037 vsize=25620 CPUtime=6.28
/proc/6039/task/6042/stat : 6042 (satake) R 6037 6039 30957 0 -1 4202560 1863 0 0 0 625 3 0 0 25 0 5 0 945940546 26234880 5598 4294967295 134512640 135180984 3219554752 3086094128 134523667 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6039/tid=6043] ppid=6037 vsize=25620 CPUtime=6.28
/proc/6039/task/6043/stat : 6043 (satake) R 6037 6039 30957 0 -1 4202560 2101 0 0 0 626 2 0 0 25 0 5 0 945940546 26234880 5598 4294967295 134512640 135180984 3219554752 3086028592 134523862 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6039/tid=6044] ppid=6037 vsize=25620 CPUtime=6.22
/proc/6039/task/6044/stat : 6044 (satake) R 6037 6039 30957 0 -1 4202560 2163 0 0 0 621 1 0 0 25 0 5 0 945940546 26234880 5598 4294967295 134512640 135180984 3219554752 3085963120 134528540 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 18.81
Current children cumulated vsize (KiB) 25620

[startup+12.7127 s]
/proc/loadavg: 3.14 3.07 3.01 4/103 6045
/proc/meminfo: memFree=3084912/3368532 swapFree=1959840/1959888
[pid=6039] ppid=6037 vsize=25756 CPUtime=38
/proc/6039/stat : 6039 (satake) S 6037 6039 30957 0 -1 4202496 6909 0 0 0 3787 13 0 0 25 0 5 0 945940545 26374144 5695 4294967295 134512640 135180984 3219554752 3219554188 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6039/statm: 6439 5695 68 164 0 6274 0
[pid=6039/tid=6040] ppid=6037 vsize=25756 CPUtime=0.06
/proc/6039/task/6040/stat : 6040 (satake) S 6037 6039 30957 0 -1 4202560 576 0 0 0 2 4 0 0 16 0 5 0 945940545 26374144 5695 4294967295 134512640 135180984 3219554752 3086159888 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=6039/tid=6042] ppid=6037 vsize=25756 CPUtime=12.68
/proc/6039/task/6042/stat : 6042 (satake) R 6037 6039 30957 0 -1 4202560 1897 0 0 0 1264 4 0 0 25 0 5 0 945940546 26374144 5695 4294967295 134512640 135180984 3219554752 3086094184 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6039/tid=6043] ppid=6037 vsize=25756 CPUtime=12.68
/proc/6039/task/6043/stat : 6043 (satake) R 6037 6039 30957 0 -1 4202560 2127 0 0 0 1264 4 0 0 25 0 5 0 945940546 26374144 5695 4294967295 134512640 135180984 3219554752 3086028656 134528465 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6039/tid=6044] ppid=6037 vsize=25756 CPUtime=12.59
/proc/6039/task/6044/stat : 6044 (satake) R 6037 6039 30957 0 -1 4202560 2198 0 0 0 1258 1 0 0 25 0 5 0 945940546 26374144 5695 4294967295 134512640 135180984 3219554752 3085963112 134520863 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 38
Current children cumulated vsize (KiB) 25756

[startup+25.5116 s]
/proc/loadavg: 3.12 3.07 3.01 4/103 6046
/proc/meminfo: memFree=3084232/3368532 swapFree=1959840/1959888
[pid=6039] ppid=6037 vsize=26296 CPUtime=76.39
/proc/6039/stat : 6039 (satake) S 6037 6039 30957 0 -1 4202496 7129 0 0 0 7619 20 0 0 25 0 5 0 945940545 26927104 5915 4294967295 134512640 135180984 3219554752 3219554188 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6039/statm: 6574 5915 68 164 0 6409 0
[pid=6039/tid=6040] ppid=6037 vsize=26296 CPUtime=0.1
/proc/6039/task/6040/stat : 6040 (satake) S 6037 6039 30957 0 -1 4202560 595 0 0 0 2 8 0 0 15 0 5 0 945940545 26927104 5915 4294967295 134512640 135180984 3219554752 3086159888 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=6039/tid=6042] ppid=6037 vsize=26296 CPUtime=25.48
/proc/6039/task/6042/stat : 6042 (satake) R 6037 6039 30957 0 -1 4202560 1967 0 0 0 2542 6 0 0 25 0 5 0 945940546 26927104 5915 4294967295 134512640 135180984 3219554752 3086094192 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6039/tid=6043] ppid=6037 vsize=26296 CPUtime=25.48
/proc/6039/task/6043/stat : 6043 (satake) R 6037 6039 30957 0 -1 4202560 2187 0 0 0 2544 4 0 0 25 0 5 0 945940546 26927104 5915 4294967295 134512640 135180984 3219554752 3086028652 134518256 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6039/tid=6044] ppid=6037 vsize=26296 CPUtime=25.34
/proc/6039/task/6044/stat : 6044 (satake) R 6037 6039 30957 0 -1 4202560 2269 0 0 0 2532 2 0 0 25 0 5 0 945940546 26927104 5915 4294967295 134512640 135180984 3219554752 3085963120 134526529 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 76.39
Current children cumulated vsize (KiB) 26296

[startup+51.1095 s]
/proc/loadavg: 3.08 3.06 3.00 4/103 6233
/proc/meminfo: memFree=3082432/3368532 swapFree=1959840/1959888
[pid=6039] ppid=6037 vsize=28280 CPUtime=153.13
/proc/6039/stat : 6039 (satake) S 6037 6039 30957 0 -1 4202496 7559 0 0 0 15284 29 0 0 25 0 5 0 945940545 28958720 6345 4294967295 134512640 135180984 3219554752 3219554188 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6039/statm: 7070 6345 68 164 0 6905 0
[pid=6039/tid=6040] ppid=6037 vsize=28280 CPUtime=0.14
/proc/6039/task/6040/stat : 6040 (satake) S 6037 6039 30957 0 -1 4202560 623 0 0 0 3 11 0 0 16 0 5 0 945940545 28958720 6345 4294967295 134512640 135180984 3219554752 3086159888 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=6039/tid=6042] ppid=6037 vsize=28280 CPUtime=51.08
/proc/6039/task/6042/stat : 6042 (satake) R 6037 6039 30957 0 -1 4202560 2101 0 0 0 5100 8 0 0 25 0 5 0 945940546 28958720 6345 4294967295 134512640 135180984 3219554752 3086094192 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6039/tid=6043] ppid=6037 vsize=28280 CPUtime=51.05
/proc/6039/task/6043/stat : 6043 (satake) R 6037 6039 30957 0 -1 4202560 2317 0 0 0 5100 5 0 0 25 0 5 0 945940546 28958720 6345 4294967295 134512640 135180984 3219554752 3086028672 134532624 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6039/tid=6044] ppid=6037 vsize=28280 CPUtime=50.87
/proc/6039/task/6044/stat : 6044 (satake) R 6037 6039 30957 0 -1 4202560 2407 0 0 0 5082 5 0 0 25 0 5 0 945940546 28958720 6345 4294967295 134512640 135180984 3219554752 3085963112 134520863 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 153.13
Current children cumulated vsize (KiB) 28280

[startup+102.315 s]
/proc/loadavg: 3.03 3.05 3.00 4/103 6418
/proc/meminfo: memFree=3078136/3368532 swapFree=1959840/1959888
[pid=6039] ppid=6037 vsize=32652 CPUtime=306.53
/proc/6039/stat : 6039 (satake) S 6037 6039 30957 0 -1 4202496 8497 0 0 0 30580 73 0 0 25 0 5 0 945940545 33435648 7283 4294967295 134512640 135180984 3219554752 3219554188 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6039/statm: 8163 7283 68 164 0 7998 0
[pid=6039/tid=6040] ppid=6037 vsize=32652 CPUtime=0.37
/proc/6039/task/6040/stat : 6040 (satake) S 6037 6039 30957 0 -1 4202560 747 0 0 0 6 31 0 0 16 0 5 0 945940545 33435648 7283 4294967295 134512640 135180984 3219554752 3086159888 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=6039/tid=6042] ppid=6037 vsize=32652 CPUtime=102.25
/proc/6039/task/6042/stat : 6042 (satake) R 6037 6039 30957 0 -1 4202560 2388 0 0 0 10208 17 0 0 25 0 5 0 945940546 33435648 7283 4294967295 134512640 135180984 3219554752 3086094080 134522972 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6039/tid=6043] ppid=6037 vsize=32652 CPUtime=102.22
/proc/6039/task/6043/stat : 6043 (satake) R 6037 6039 30957 0 -1 4202560 2609 0 0 0 10211 11 0 0 25 0 5 0 945940546 33435648 7283 4294967295 134512640 135180984 3219554752 3086028608 134527257 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6039/tid=6044] ppid=6037 vsize=32652 CPUtime=101.7
/proc/6039/task/6044/stat : 6044 (satake) R 6037 6039 30957 0 -1 4202560 2642 0 0 0 10156 14 0 0 25 0 5 0 945940546 33435648 7283 4294967295 134512640 135180984 3219554752 3085963116 134518208 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 306.53
Current children cumulated vsize (KiB) 32652

[startup+162.31 s]
/proc/loadavg: 3.09 3.05 3.01 4/103 6606
/proc/meminfo: memFree=3073936/3368532 swapFree=1959840/1959888
[pid=6039] ppid=6037 vsize=36072 CPUtime=486.33
/proc/6039/stat : 6039 (satake) S 6037 6039 30957 0 -1 4202496 9540 0 0 0 48501 132 0 0 25 0 5 0 945940545 36937728 8326 4294967295 134512640 135180984 3219554752 3219554188 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6039/statm: 9018 8326 68 164 0 8853 0
[pid=6039/tid=6040] ppid=6037 vsize=36072 CPUtime=0.71
/proc/6039/task/6040/stat : 6040 (satake) S 6037 6039 30957 0 -1 4202560 893 0 0 0 16 55 0 0 15 0 5 0 945940545 36937728 8326 4294967295 134512640 135180984 3219554752 3086159888 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=6039/tid=6042] ppid=6037 vsize=36072 CPUtime=162.23
/proc/6039/task/6042/stat : 6042 (satake) R 6037 6039 30957 0 -1 4202560 2730 0 0 0 16196 27 0 0 25 0 5 0 945940546 36937728 8326 4294967295 134512640 135180984 3219554752 3086094192 134528201 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6039/tid=6043] ppid=6037 vsize=36072 CPUtime=162.17
/proc/6039/task/6043/stat : 6043 (satake) R 6037 6039 30957 0 -1 4202560 2925 0 0 0 16196 21 0 0 25 0 5 0 945940546 36937728 8326 4294967295 134512640 135180984 3219554752 3086028656 134528446 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6039/tid=6044] ppid=6037 vsize=36072 CPUtime=161.23
/proc/6039/task/6044/stat : 6044 (satake) R 6037 6039 30957 0 -1 4202560 2881 0 0 0 16094 29 0 0 25 0 5 0 945940546 36937728 8326 4294967295 134512640 135180984 3219554752 3085963184 134532470 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 486.33

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

[pid=6039/tid=6042] ppid=6037 vsize=67980 CPUtime=521.16
/proc/6039/task/6042/stat : 6042 (satake) R 6037 6039 30957 0 -1 4202560 4794 0 0 0 52030 86 0 0 25 0 5 0 945940546 69611520 15734 4294967295 134512640 135180984 3219554752 3086093988 134580588 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6039/tid=6043] ppid=6037 vsize=67980 CPUtime=521.92
/proc/6039/task/6043/stat : 6043 (satake) R 6037 6039 30957 0 -1 4202560 4804 0 0 0 52123 69 0 0 25 0 5 0 945940546 69611520 15734 4294967295 134512640 135180984 3219554752 3086028544 134522762 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6039/tid=6044] ppid=6037 vsize=67980 CPUtime=519.64
/proc/6039/task/6044/stat : 6044 (satake) R 6037 6039 30957 0 -1 4202560 5361 0 0 0 51844 120 0 0 25 0 5 0 945940546 69611520 15734 4294967295 134512640 135180984 3219554752 3085963072 134527257 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1565.74
Current children cumulated vsize (KiB) 67980

[startup+582.306 s]
/proc/loadavg: 3.00 3.00 3.00 4/103 7935
/proc/meminfo: memFree=3039852/3368532 swapFree=1959840/1959888
[pid=6039] ppid=6037 vsize=72548 CPUtime=1745.59
/proc/6039/stat : 6039 (satake) S 6037 6039 30957 0 -1 4202496 18030 0 0 0 174009 550 0 0 25 0 5 0 945940545 74289152 16816 4294967295 134512640 135180984 3219554752 3219554188 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6039/statm: 18137 16816 68 164 0 17972 0
[pid=6039/tid=6040] ppid=6037 vsize=72548 CPUtime=3.29
/proc/6039/task/6040/stat : 6040 (satake) S 6037 6039 30957 0 -1 4202560 1990 0 0 0 82 247 0 0 15 0 5 0 945940545 74289152 16816 4294967295 134512640 135180984 3219554752 3086159888 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=6039/tid=6042] ppid=6037 vsize=72548 CPUtime=580.84
/proc/6039/task/6042/stat : 6042 (satake) R 6037 6039 30957 0 -1 4202560 5131 0 0 0 57994 90 0 0 25 0 5 0 945940546 74289152 16816 4294967295 134512640 135180984 3219554752 3086094080 134522980 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6039/tid=6043] ppid=6037 vsize=72548 CPUtime=581.88
/proc/6039/task/6043/stat : 6043 (satake) R 6037 6039 30957 0 -1 4202560 5054 0 0 0 58110 78 0 0 25 0 5 0 945940546 74289152 16816 4294967295 134512640 135180984 3219554752 3086028624 134519935 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6039/tid=6044] ppid=6037 vsize=72548 CPUtime=579.58
/proc/6039/task/6044/stat : 6044 (satake) R 6037 6039 30957 0 -1 4202560 5744 0 0 0 57823 135 0 0 25 0 5 0 945940546 74289152 16816 4294967295 134512640 135180984 3219554752 3085963120 134526964 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1745.59
Current children cumulated vsize (KiB) 72548

[startup+642.312 s]
/proc/loadavg: 3.00 3.00 3.00 4/103 8122
/proc/meminfo: memFree=3035728/3368532 swapFree=1959840/1959888
[pid=6039] ppid=6037 vsize=78464 CPUtime=1925.44
/proc/6039/stat : 6039 (satake) S 6037 6039 30957 0 -1 4202496 19216 0 0 0 191916 628 0 0 25 0 5 0 945940545 80347136 18002 4294967295 134512640 135180984 3219554752 3219554188 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6039/statm: 19616 18002 68 164 0 19451 0
[pid=6039/tid=6040] ppid=6037 vsize=78464 CPUtime=3.76
/proc/6039/task/6040/stat : 6040 (satake) S 6037 6039 30957 0 -1 4202560 2157 0 0 0 93 283 0 0 16 0 5 0 945940545 80347136 18002 4294967295 134512640 135180984 3219554752 3086159888 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=6039/tid=6042] ppid=6037 vsize=78464 CPUtime=640.32
/proc/6039/task/6042/stat : 6042 (satake) R 6037 6039 30957 0 -1 4202560 5398 0 0 0 63935 97 0 0 25 0 5 0 945940546 80347136 18002 4294967295 134512640 135180984 3219554752 3086094192 134528583 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6039/tid=6043] ppid=6037 vsize=78464 CPUtime=641.83
/proc/6039/task/6043/stat : 6043 (satake) R 6037 6039 30957 0 -1 4202560 5543 0 0 0 64092 91 0 0 25 0 5 0 945940546 80347136 18002 4294967295 134512640 135180984 3219554752 3086028712 134518216 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6039/tid=6044] ppid=6037 vsize=78464 CPUtime=639.53
/proc/6039/task/6044/stat : 6044 (satake) R 6037 6039 30957 0 -1 4202560 6007 0 0 0 63796 157 0 0 25 0 5 0 945940546 80347136 18002 4294967295 134512640 135180984 3219554752 3085963056 134523751 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1925.44
Current children cumulated vsize (KiB) 78464

[startup+702.317 s]
/proc/loadavg: 3.00 3.00 3.00 4/103 8309
/proc/meminfo: memFree=3031024/3368532 swapFree=1959840/1959888
[pid=6039] ppid=6037 vsize=83756 CPUtime=2105.31
/proc/6039/stat : 6039 (satake) S 6037 6039 30957 0 -1 4202496 20325 0 0 0 209803 728 0 0 25 0 5 0 945940545 85766144 19111 4294967295 134512640 135180984 3219554752 3219554188 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6039/statm: 20939 19111 68 164 0 20774 0
[pid=6039/tid=6040] ppid=6037 vsize=83756 CPUtime=4.34
/proc/6039/task/6040/stat : 6040 (satake) S 6037 6039 30957 0 -1 4202560 2423 0 0 0 102 332 0 0 16 0 5 0 945940545 85766144 19111 4294967295 134512640 135180984 3219554752 3086159888 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=6039/tid=6042] ppid=6037 vsize=83756 CPUtime=699.72
/proc/6039/task/6042/stat : 6042 (satake) R 6037 6039 30957 0 -1 4202560 5699 0 0 0 69864 108 0 0 25 0 5 0 945940546 85766144 19111 4294967295 134512640 135180984 3219554752 3086094192 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6039/tid=6043] ppid=6037 vsize=83756 CPUtime=701.8
/proc/6039/task/6043/stat : 6043 (satake) R 6037 6039 30957 0 -1 4202560 5798 0 0 0 70066 114 0 0 25 0 5 0 945940546 85766144 19111 4294967295 134512640 135180984 3219554752 3086028592 134523809 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6039/tid=6044] ppid=6037 vsize=83756 CPUtime=699.45
/proc/6039/task/6044/stat : 6044 (satake) R 6037 6039 30957 0 -1 4202560 6294 0 0 0 69771 174 0 0 25 0 5 0 945940546 85766144 19111 4294967295 134512640 135180984 3219554752 3085963120 134528470 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2105.31
Current children cumulated vsize (KiB) 83756

[startup+762.312 s]
/proc/loadavg: 3.00 3.00 3.00 4/103 8497
/proc/meminfo: memFree=3026544/3368532 swapFree=1959840/1959888
[pid=6039] ppid=6037 vsize=87448 CPUtime=2285.15
/proc/6039/stat : 6039 (satake) S 6037 6039 30957 0 -1 4202496 21471 0 0 0 227662 853 0 0 25 0 5 0 945940545 89546752 20257 4294967295 134512640 135180984 3219554752 3219554188 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6039/statm: 21862 20257 68 164 0 21697 0
[pid=6039/tid=6040] ppid=6037 vsize=87448 CPUtime=5.09
/proc/6039/task/6040/stat : 6040 (satake) S 6037 6039 30957 0 -1 4202560 2716 0 0 0 119 390 0 0 15 0 5 0 945940545 89546752 20257 4294967295 134512640 135180984 3219554752 3086159888 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=6039/tid=6042] ppid=6037 vsize=87448 CPUtime=758.95
/proc/6039/task/6042/stat : 6042 (satake) R 6037 6039 30957 0 -1 4202560 5994 0 0 0 75772 123 0 0 25 0 5 0 945940546 89546752 20257 4294967295 134512640 135180984 3219554752 3086094188 134520854 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6039/tid=6043] ppid=6037 vsize=87448 CPUtime=761.73
/proc/6039/task/6043/stat : 6043 (satake) R 6037 6039 30957 0 -1 4202560 6061 0 0 0 76034 139 0 0 25 0 5 0 945940546 89546752 20257 4294967295 134512640 135180984 3219554752 3086028624 134519935 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6039/tid=6044] ppid=6037 vsize=87448 CPUtime=759.38
/proc/6039/task/6044/stat : 6044 (satake) R 6037 6039 30957 0 -1 4202560 6589 0 0 0 75737 201 0 0 25 0 5 0 945940546 89546752 20257 4294967295 134512640 135180984 3219554752 3085963120 134526138 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2285.15
Current children cumulated vsize (KiB) 87448

[startup+822.307 s]
/proc/loadavg: 3.00 3.00 3.00 4/103 8685
/proc/meminfo: memFree=3022212/3368532 swapFree=1959840/1959888
[pid=6039] ppid=6037 vsize=92036 CPUtime=2465.07
/proc/6039/stat : 6039 (satake) S 6037 6039 30957 0 -1 4202496 22634 0 0 0 245534 973 0 0 25 0 5 0 945940545 94244864 21420 4294967295 134512640 135180984 3219554752 3219554188 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6039/statm: 23009 21420 68 164 0 22844 0
[pid=6039/tid=6040] ppid=6037 vsize=92036 CPUtime=5.83
/proc/6039/task/6040/stat : 6040 (satake) S 6037 6039 30957 0 -1 4202560 2952 0 0 0 135 448 0 0 15 0 5 0 945940545 94244864 21420 4294967295 134512640 135180984 3219554752 3086159888 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=6039/tid=6042] ppid=6037 vsize=92036 CPUtime=818.23
/proc/6039/task/6042/stat : 6042 (satake) R 6037 6039 30957 0 -1 4202560 6360 0 0 0 81692 131 0 0 25 0 5 0 945940546 94244864 21420 4294967295 134512640 135180984 3219554752 3086094184 134520667 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6039/tid=6043] ppid=6037 vsize=92036 CPUtime=821.7
/proc/6039/task/6043/stat : 6043 (satake) R 6037 6039 30957 0 -1 4202560 6272 0 0 0 82007 163 0 0 25 0 5 0 945940546 94244864 21420 4294967295 134512640 135180984 3219554752 3086028656 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6039/tid=6044] ppid=6037 vsize=92036 CPUtime=819.31
/proc/6039/task/6044/stat : 6044 (satake) R 6037 6039 30957 0 -1 4202560 6939 0 0 0 81700 231 0 0 25 0 5 0 945940546 94244864 21420 4294967295 134512640 135180984 3219554752 3085963120 134528954 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2465.07
Current children cumulated vsize (KiB) 92036

[startup+882.312 s]
/proc/loadavg: 3.00 3.00 3.00 4/103 8874
/proc/meminfo: memFree=3017376/3368532 swapFree=1959840/1959888
[pid=6039] ppid=6037 vsize=97208 CPUtime=2644.93
/proc/6039/stat : 6039 (satake) S 6037 6039 30957 0 -1 4202496 23902 0 0 0 263404 1089 0 0 25 0 5 0 945940545 99540992 22680 4294967295 134512640 135180984 3219554752 3219554188 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6039/statm: 24302 22680 68 164 0 24137 0
[pid=6039/tid=6040] ppid=6037 vsize=97208 CPUtime=6.51
/proc/6039/task/6040/stat : 6040 (satake) S 6037 6039 30957 0 -1 4202560 3168 0 0 0 147 504 0 0 16 0 5 0 945940545 99540992 22680 4294967295 134512640 135180984 3219554752 3086159888 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=6039/tid=6042] ppid=6037 vsize=97208 CPUtime=877.62
/proc/6039/task/6042/stat : 6042 (satake) R 6037 6039 30957 0 -1 4202560 6858 0 0 0 87617 145 0 0 25 0 5 0 945940546 99540992 22680 4294967295 134512640 135180984 3219554752 3086094192 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6039/tid=6043] ppid=6037 vsize=97208 CPUtime=881.66
/proc/6039/task/6043/stat : 6043 (satake) R 6037 6039 30957 0 -1 4202560 6568 0 0 0 87981 185 0 0 25 0 5 0 945940546 99540992 22680 4294967295 134512640 135180984 3219554752 3086028656 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6039/tid=6044] ppid=6037 vsize=97208 CPUtime=879.14
/proc/6039/task/6044/stat : 6044 (satake) R 6037 6039 30957 0 -1 4202560 7197 0 0 0 87659 255 0 0 25 0 5 0 945940546 99540992 22680 4294967295 134512640 135180984 3219554752 3085963120 134528286 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2644.93
Current children cumulated vsize (KiB) 97208

[startup+942.307 s]
/proc/loadavg: 3.00 3.00 3.00 4/103 9065
/proc/meminfo: memFree=3013276/3368532 swapFree=1959840/1959888
[pid=6039] ppid=6037 vsize=102104 CPUtime=2824.73
/proc/6039/stat : 6039 (satake) S 6037 6039 30957 0 -1 4202496 24913 0 0 0 281303 1170 0 0 25 0 5 0 945940545 104554496 23691 4294967295 134512640 135180984 3219554752 3219554188 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6039/statm: 25526 23691 68 164 0 25361 0
[pid=6039/tid=6040] ppid=6037 vsize=102104 CPUtime=7.01
/proc/6039/task/6040/stat : 6040 (satake) S 6037 6039 30957 0 -1 4202560 3407 0 0 0 160 541 0 0 15 0 5 0 945940545 104554496 23691 4294967295 134512640 135180984 3219554752 3086159888 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=6039/tid=6042] ppid=6037 vsize=102104 CPUtime=937.6
/proc/6039/task/6042/stat : 6042 (satake) R 6037 6039 30957 0 -1 4202560 7165 0 0 0 93600 160 0 0 25 0 5 0 945940546 104554496 23691 4294967295 134512640 135180984 3219554752 3086094192 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6039/tid=6043] ppid=6037 vsize=102104 CPUtime=941.61
/proc/6039/task/6043/stat : 6043 (satake) R 6037 6039 30957 0 -1 4202560 6842 0 0 0 93966 195 0 0 25 0 5 0 945940546 104554496 23691 4294967295 134512640 135180984 3219554752 3086028652 134518208 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6039/tid=6044] ppid=6037 vsize=102104 CPUtime=938.51
/proc/6039/task/6044/stat : 6044 (satake) R 6037 6039 30957 0 -1 4202560 7388 0 0 0 93577 274 0 0 25 0 5 0 945940546 104554496 23691 4294967295 134512640 135180984 3219554752 3085963120 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2824.73
Current children cumulated vsize (KiB) 102104



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 3.00 3.00 3.00 4/103 9252
/proc/meminfo: memFree=3008728/3368532 swapFree=1959840/1959888
[pid=6039] ppid=6037 vsize=104336 CPUtime=2997.75
/proc/6039/stat : 6039 (satake) S 6037 6039 30957 0 -1 4202496 25648 0 0 0 298520 1255 0 0 25 0 5 0 945940545 106840064 24426 4294967295 134512640 135180984 3219554752 3219554188 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/6039/statm: 26084 24426 68 164 0 25919 0
[pid=6039/tid=6040] ppid=6037 vsize=104336 CPUtime=7.44
/proc/6039/task/6040/stat : 6040 (satake) S 6037 6039 30957 0 -1 4202560 3651 0 0 0 169 575 0 0 16 0 5 0 945940545 106840064 24426 4294967295 134512640 135180984 3219554752 3086159888 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=6039/tid=6042] ppid=6037 vsize=104336 CPUtime=995.29
/proc/6039/task/6042/stat : 6042 (satake) R 6037 6039 30957 0 -1 4202560 7341 0 0 0 99352 177 0 0 25 0 5 0 945940546 106840064 24426 4294967295 134512640 135180984 3219554752 3086094104 134520871 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6039/tid=6043] ppid=6037 vsize=104336 CPUtime=999.27
/proc/6039/task/6043/stat : 6043 (satake) R 6037 6039 30957 0 -1 4202560 6980 0 0 0 99720 207 0 0 25 0 5 0 945940546 106840064 24426 4294967295 134512640 135180984 3219554752 3086028656 134528195 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6039/tid=6044] ppid=6037 vsize=104336 CPUtime=995.75
/proc/6039/task/6044/stat : 6044 (satake) R 6037 6039 30957 0 -1 4202560 7565 0 0 0 99279 296 0 0 25 0 5 0 945940546 106840064 24426 4294967295 134512640 135180984 3219554752 3085963120 134528916 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2997.75
Current children cumulated vsize (KiB) 104336

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): 2997.81
CPU user time (s): 2985.26
CPU system time (s): 12.55
CPU usage (%): 299.77
Max. virtual memory (cumulated for all children) (KiB): 104336

deleting IPC queue 8912896
deleting IPC queue 8945665
deleting IPC queue 8978434
deleting IPC queue 9011203
deleting IPC queue 9043972
deleting IPC queue 9076741
deleting IPC queue 9109510
deleting IPC queue 9142279
deleting IPC queue 9175048
deleting IPC queue 9207817
deleting IPC queue 9240586
deleting IPC queue 9273355
deleting IPC queue 9306124
deleting IPC queue 9338893
deleting IPC queue 9371662
deleting IPC queue 9404431

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2985.26
system time used= 12.55
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25648
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= 720642
involuntary context switches= 664078

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-30 02:33:58
IDJOB=1779400
IDBENCH=70849
IDSOLVER=629
FILE ID=tipi39/1779400-1243643638
PBS_JOBID=
Free space on /tmp= 5742 MiB

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

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

MD5SUM BENCH= f47c33d2a9a327da4633207adfef7b77
RANDOM SEED= 558736720

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:       3106976 kB
Buffers:         57156 kB
Cached:          99972 kB
SwapCached:          0 kB
Active:          91904 kB
Inactive:        81404 kB
HighTotal:     2489216 kB
HighFree:      2375148 kB
LowTotal:       879316 kB
LowFree:        731828 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            2232 kB
Writeback:           0 kB
AnonPages:       16404 kB
Mapped:           6132 kB
Slab:            77288 kB
SReclaimable:    67160 kB
SUnreclaim:      10128 kB
PageTables:        532 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= 5742 MiB
End job on tipi39 at 2009-05-30 02:50:40