Trace number 1779190

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

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-16.cnf
MD5SUM3cb14750de2495357cf28b8ab826b9e3
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 variables70139
Number of clauses228634
Sum of the clauses size592458
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 293186
Number of clauses of size 3135319
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-1779190-1243642562/watcher-1779190-1243642562 -o /tmp/evaluation-result-1779190-1243642562/solver-1779190-1243642562 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779190-1243642562.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: 5.09 5.18 5.17 6/105 7429
/proc/meminfo: memFree=2370504/3368532 swapFree=1954076/1959888
[pid=7428] ppid=7426 vsize=964 CPUtime=0
/proc/7428/stat : 7428 (satake) R 7426 7428 3671 0 -1 4202496 107 0 0 0 0 0 0 0 19 0 2 0 1118357382 987136 64 4294967295 134512640 135180984 3217958960 3217958304 134705812 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7428/statm: 241 64 54 164 0 76 0
[pid=7428/tid=7429] ppid=7426 vsize=964 CPUtime=0
/proc/7428/task/7429/stat : 7429 (satake) R 7426 7428 3671 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 2 0 1118357382 987136 64 4294967295 134512640 135180984 3217958960 3086771012 134705812 0 0 0 0 0 0 0 -1 2 0 0 0

[startup+0.097724 s]
/proc/loadavg: 5.09 5.18 5.17 6/105 7429
/proc/meminfo: memFree=2370504/3368532 swapFree=1954076/1959888
[pid=7428] ppid=7426 vsize=55300 CPUtime=0.17
/proc/7428/stat : 7428 (satake) S 7426 7428 3671 0 -1 4202496 9472 0 0 0 10 7 0 0 19 0 5 0 1118357382 56627200 9420 4294967295 134512640 135180984 3217958960 3217958396 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7428/statm: 13825 9420 63 164 0 13660 0
[pid=7428/tid=7429] ppid=7426 vsize=55300 CPUtime=0
/proc/7428/task/7429/stat : 7429 (satake) S 7426 7428 3671 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 5 0 1118357382 56627200 9420 4294967295 134512640 135180984 3217958960 3086770192 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 55300

[startup+0.107731 s]
/proc/loadavg: 5.09 5.18 5.17 6/105 7429
/proc/meminfo: memFree=2370504/3368532 swapFree=1954076/1959888
[pid=7428] ppid=7426 vsize=55724 CPUtime=0.19
/proc/7428/stat : 7428 (satake) S 7426 7428 3671 0 -1 4202496 9614 0 0 0 11 8 0 0 19 0 5 0 1118357382 57061376 9562 4294967295 134512640 135180984 3217958960 3217958396 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7428/statm: 13931 9562 63 164 0 13766 0
[pid=7428/tid=7429] ppid=7426 vsize=55724 CPUtime=0
/proc/7428/task/7429/stat : 7429 (satake) S 7426 7428 3671 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 5 0 1118357382 57061376 9562 4294967295 134512640 135180984 3217958960 3086770192 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 55724

[startup+0.30771 s]
/proc/loadavg: 5.09 5.18 5.17 6/105 7429
/proc/meminfo: memFree=2370504/3368532 swapFree=1954076/1959888
[pid=7428] ppid=7426 vsize=58360 CPUtime=0.58
/proc/7428/stat : 7428 (satake) S 7426 7428 3671 0 -1 4202496 12758 0 0 0 49 9 0 0 19 0 5 0 1118357382 59760640 10642 4294967295 134512640 135180984 3217958960 3217958396 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7428/statm: 14590 10642 66 164 0 14425 0
[pid=7428/tid=7429] ppid=7426 vsize=58360 CPUtime=0
/proc/7428/task/7429/stat : 7429 (satake) S 7426 7428 3671 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 5 0 1118357382 59760640 10642 4294967295 134512640 135180984 3217958960 3086770192 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 58360

[startup+0.707682 s]
/proc/loadavg: 5.09 5.18 5.17 6/105 7429
/proc/meminfo: memFree=2370504/3368532 swapFree=1954076/1959888
[pid=7428] ppid=7426 vsize=66756 CPUtime=1.23
/proc/7428/stat : 7428 (satake) S 7426 7428 3671 0 -1 4202496 15769 0 0 0 113 10 0 0 19 0 5 0 1118357382 68358144 12621 4294967295 134512640 135180984 3217958960 3217958396 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7428/statm: 16689 12621 68 164 0 16524 0
[pid=7428/tid=7429] ppid=7426 vsize=66756 CPUtime=0.01
/proc/7428/task/7429/stat : 7429 (satake) S 7426 7428 3671 0 -1 4202560 1242 0 0 0 1 0 0 0 15 0 5 0 1118357382 68358144 12621 4294967295 134512640 135180984 3217958960 3086770192 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 66756

[startup+1.50763 s]
/proc/loadavg: 5.09 5.18 5.17 6/109 7433
/proc/meminfo: memFree=2319888/3368532 swapFree=1954076/1959888
[pid=7428] ppid=7426 vsize=68636 CPUtime=2.81
/proc/7428/stat : 7428 (satake) S 7426 7428 3671 0 -1 4202496 16093 0 0 0 270 11 0 0 19 0 5 0 1118357382 70283264 12945 4294967295 134512640 135180984 3217958960 3217958396 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7428/statm: 17159 12945 68 164 0 16994 0
[pid=7428/tid=7429] ppid=7426 vsize=68636 CPUtime=0.01
/proc/7428/task/7429/stat : 7429 (satake) S 7426 7428 3671 0 -1 4202560 1242 0 0 0 1 0 0 0 15 0 5 0 1118357382 70283264 12945 4294967295 134512640 135180984 3217958960 3086770192 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=7428/tid=7431] ppid=7426 vsize=68636 CPUtime=0.57
/proc/7428/task/7431/stat : 7431 (satake) R 7426 7428 3671 0 -1 4202560 4857 0 0 0 53 4 0 0 23 0 5 0 1118357383 70283264 12945 4294967295 134512640 135180984 3217958960 3086704432 134523821 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7428/tid=7432] ppid=7426 vsize=68636 CPUtime=1.12
/proc/7428/task/7432/stat : 7432 (satake) R 7426 7428 3671 0 -1 4202560 4914 0 0 0 109 3 0 0 20 0 5 0 1118357383 70283264 12945 4294967295 134512640 135180984 3217958960 3086638912 134522937 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7428/tid=7433] ppid=7426 vsize=68636 CPUtime=1.11
/proc/7428/task/7433/stat : 7433 (satake) R 7426 7428 3671 0 -1 4202560 4970 0 0 0 107 4 0 0 19 0 5 0 1118357383 70283264 12945 4294967295 134512640 135180984 3217958960 3086573416 134519907 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 68636

[startup+3.10752 s]
/proc/loadavg: 5.08 5.18 5.17 6/109 7433
/proc/meminfo: memFree=2319048/3368532 swapFree=1954076/1959888
[pid=7428] ppid=7426 vsize=68768 CPUtime=6.01
/proc/7428/stat : 7428 (satake) S 7426 7428 3671 0 -1 4202496 16149 0 0 0 588 13 0 0 19 0 5 0 1118357382 70418432 13001 4294967295 134512640 135180984 3217958960 3217958396 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7428/statm: 17192 13001 68 164 0 17027 0
[pid=7428/tid=7429] ppid=7426 vsize=68768 CPUtime=0.03
/proc/7428/task/7429/stat : 7429 (satake) S 7426 7428 3671 0 -1 4202560 1242 0 0 0 2 1 0 0 16 0 5 0 1118357382 70418432 13001 4294967295 134512640 135180984 3217958960 3086770192 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=7428/tid=7431] ppid=7426 vsize=68768 CPUtime=1.37
/proc/7428/task/7431/stat : 7431 (satake) R 7426 7428 3671 0 -1 4202560 4871 0 0 0 133 4 0 0 25 0 5 0 1118357383 70418432 13001 4294967295 134512640 135180984 3217958960 3086704496 134528288 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7428/tid=7432] ppid=7426 vsize=68768 CPUtime=2.7
/proc/7428/task/7432/stat : 7432 (satake) R 7426 7428 3671 0 -1 4202560 4940 0 0 0 267 3 0 0 25 0 5 0 1118357383 70418432 13001 4294967295 134512640 135180984 3217958960 3086638848 134522961 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7428/tid=7433] ppid=7426 vsize=68768 CPUtime=1.91
/proc/7428/task/7433/stat : 7433 (satake) R 7426 7428 3671 0 -1 4202560 4986 0 0 0 186 5 0 0 21 0 5 0 1118357383 70418432 13001 4294967295 134512640 135180984 3217958960 3086573424 134521008 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 68768

[startup+6.3073 s]
/proc/loadavg: 5.08 5.18 5.17 6/109 7433
/proc/meminfo: memFree=2318576/3368532 swapFree=1954076/1959888
[pid=7428] ppid=7426 vsize=69164 CPUtime=12.37
/proc/7428/stat : 7428 (satake) S 7426 7428 3671 0 -1 4202496 16258 0 0 0 1221 16 0 0 19 0 5 0 1118357382 70823936 13110 4294967295 134512640 135180984 3217958960 3217958396 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7428/statm: 17291 13110 68 164 0 17126 0
[pid=7428/tid=7429] ppid=7426 vsize=69164 CPUtime=0.05
/proc/7428/task/7429/stat : 7429 (satake) S 7426 7428 3671 0 -1 4202560 1252 0 0 0 3 2 0 0 15 0 5 0 1118357382 70823936 13110 4294967295 134512640 135180984 3217958960 3086770192 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=7428/tid=7431] ppid=7426 vsize=69164 CPUtime=2.65
/proc/7428/task/7431/stat : 7431 (satake) R 7426 7428 3671 0 -1 4202560 4887 0 0 0 260 5 0 0 25 0 5 0 1118357383 70823936 13110 4294967295 134512640 135180984 3217958960 3086704488 134520896 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7428/tid=7432] ppid=7426 vsize=69164 CPUtime=5.71
/proc/7428/task/7432/stat : 7432 (satake) R 7426 7428 3671 0 -1 4202560 4985 0 0 0 568 3 0 0 25 0 5 0 1118357383 70823936 13110 4294967295 134512640 135180984 3217958960 3086638952 134518214 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7428/tid=7433] ppid=7426 vsize=69164 CPUtime=3.96
/proc/7428/task/7433/stat : 7433 (satake) R 7426 7428 3671 0 -1 4202560 5024 0 0 0 390 6 0 0 25 0 5 0 1118357383 70823936 13110 4294967295 134512640 135180984 3217958960 3086573436 134519095 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 69164

[startup+12.7069 s]
/proc/loadavg: 5.07 5.17 5.17 6/109 7433
/proc/meminfo: memFree=2317316/3368532 swapFree=1954076/1959888
[pid=7428] ppid=7426 vsize=69824 CPUtime=25.11
/proc/7428/stat : 7428 (satake) S 7426 7428 3671 0 -1 4202496 16510 0 0 0 2492 19 0 0 19 0 5 0 1118357382 71499776 13362 4294967295 134512640 135180984 3217958960 3217958396 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7428/statm: 17456 13362 68 164 0 17291 0
[pid=7428/tid=7429] ppid=7426 vsize=69824 CPUtime=0.06
/proc/7428/task/7429/stat : 7429 (satake) S 7426 7428 3671 0 -1 4202560 1268 0 0 0 3 3 0 0 15 0 5 0 1118357382 71499776 13362 4294967295 134512640 135180984 3217958960 3086770192 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=7428/tid=7431] ppid=7426 vsize=69824 CPUtime=7.18
/proc/7428/task/7431/stat : 7431 (satake) R 7426 7428 3671 0 -1 4202560 4985 0 0 0 712 6 0 0 25 0 5 0 1118357383 71499776 13362 4294967295 134512640 135180984 3217958960 3086704400 134525152 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7428/tid=7432] ppid=7426 vsize=69824 CPUtime=10.16
/proc/7428/task/7432/stat : 7432 (satake) R 7426 7428 3671 0 -1 4202560 5068 0 0 0 1012 4 0 0 25 0 5 0 1118357383 71499776 13362 4294967295 134512640 135180984 3217958960 3086638832 134522699 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7428/tid=7433] ppid=7426 vsize=69824 CPUtime=7.71
/proc/7428/task/7433/stat : 7433 (satake) R 7426 7428 3671 0 -1 4202560 5079 0 0 0 765 6 0 0 25 0 5 0 1118357383 71499776 13362 4294967295 134512640 135180984 3217958960 3086573356 134523872 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 69824

[startup+25.506 s]
/proc/loadavg: 5.20 5.20 5.18 6/109 7436
/proc/meminfo: memFree=2315736/3368532 swapFree=1954076/1959888
[pid=7428] ppid=7426 vsize=72096 CPUtime=50.65
/proc/7428/stat : 7428 (satake) S 7426 7428 3671 0 -1 4202496 16935 0 0 0 5043 22 0 0 19 0 5 0 1118357382 73826304 13787 4294967295 134512640 135180984 3217958960 3217958396 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7428/statm: 18024 13787 68 164 0 17859 0
[pid=7428/tid=7429] ppid=7426 vsize=72096 CPUtime=0.09
/proc/7428/task/7429/stat : 7429 (satake) S 7426 7428 3671 0 -1 4202560 1297 0 0 0 5 4 0 0 16 0 5 0 1118357382 73826304 13787 4294967295 134512640 135180984 3217958960 3086770196 134580588 0 0 0 0 3223036975 0 0 -1 2 0 0 0
[pid=7428/tid=7431] ppid=7426 vsize=72096 CPUtime=16.06
/proc/7428/task/7431/stat : 7431 (satake) R 7426 7428 3671 0 -1 4202560 5066 0 0 0 1598 8 0 0 25 0 5 0 1118357383 73826304 13787 4294967295 134512640 135180984 3217958960 3086704432 134523816 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7428/tid=7432] ppid=7426 vsize=72096 CPUtime=19.2
/proc/7428/task/7432/stat : 7432 (satake) R 7426 7428 3671 0 -1 4202560 5246 0 0 0 1916 4 0 0 25 0 5 0 1118357383 73826304 13787 4294967295 134512640 135180984 3217958960 3086638848 134522790 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7428/tid=7433] ppid=7426 vsize=72096 CPUtime=15.3
/proc/7428/task/7433/stat : 7433 (satake) R 7426 7428 3671 0 -1 4202560 5216 0 0 0 1524 6 0 0 25 0 5 0 1118357383 73826304 13787 4294967295 134512640 135180984 3217958960 3086573228 134706407 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 72096

[startup+51.1142 s]
/proc/loadavg: 5.33 5.23 5.19 5/109 7438
/proc/meminfo: memFree=2312056/3368532 swapFree=1954076/1959888
[pid=7428] ppid=7426 vsize=75652 CPUtime=101.68
/proc/7428/stat : 7428 (satake) S 7426 7428 3671 0 -1 4202496 17844 0 0 0 10125 43 0 0 19 0 5 0 1118357382 77467648 14696 4294967295 134512640 135180984 3217958960 3217958396 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7428/statm: 18913 14696 68 164 0 18748 0
[pid=7428/tid=7429] ppid=7426 vsize=75652 CPUtime=0.24
/proc/7428/task/7429/stat : 7429 (satake) S 7426 7428 3671 0 -1 4202560 1350 0 0 0 10 14 0 0 15 0 5 0 1118357382 77467648 14696 4294967295 134512640 135180984 3217958960 3086770192 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=7428/tid=7431] ppid=7426 vsize=75652 CPUtime=33.05
/proc/7428/task/7431/stat : 7431 (satake) R 7426 7428 3671 0 -1 4202560 5354 0 0 0 3291 14 0 0 25 0 5 0 1118357383 77467648 14696 4294967295 134512640 135180984 3217958960 3086704384 134522959 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7428/tid=7432] ppid=7426 vsize=75652 CPUtime=35.83
/proc/7428/task/7432/stat : 7432 (satake) R 7426 7428 3671 0 -1 4202560 5522 0 0 0 3577 6 0 0 25 0 5 0 1118357383 77467648 14696 4294967295 134512640 135180984 3217958960 3086638976 134532624 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7428/tid=7433] ppid=7426 vsize=75652 CPUtime=32.56
/proc/7428/task/7433/stat : 7433 (satake) R 7426 7428 3671 0 -1 4202560 5508 0 0 0 3247 9 0 0 25 0 5 0 1118357383 77467648 14696 4294967295 134512640 135180984 3217958960 3086573312 134522980 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 75652

[startup+102.311 s]
/proc/loadavg: 5.30 5.25 5.19 6/109 7628
/proc/meminfo: memFree=2303500/3368532 swapFree=1954076/1959888
[pid=7428] ppid=7426 vsize=82188 CPUtime=203.44
/proc/7428/stat : 7428 (satake) S 7426 7428 3671 0 -1 4202496 19556 0 0 0 20272 72 0 0 19 0 5 0 1118357382 84160512 16408 4294967295 134512640 135180984 3217958960 3217958396 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7428/statm: 20547 16408 68 164 0 20382 0
[pid=7428/tid=7429] ppid=7426 vsize=82188 CPUtime=0.5
/proc/7428/task/7429/stat : 7429 (satake) S 7426 7428 3671 0 -1 4202560 1468 0 0 0 21 29 0 0 15 0 5 0 1118357382 84160512 16408 4294967295 134512640 135180984 3217958960 3086770192 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=7428/tid=7431] ppid=7426 vsize=82188 CPUtime=65.61
/proc/7428/task/7431/stat : 7431 (satake) R 7426 7428 3671 0 -1 4202560 5988 0 0 0 6540 21 0 0 25 0 5 0 1118357383 84160512 16408 4294967295 134512640 135180984 3217958960 3086704496 134528211 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7428/tid=7432] ppid=7426 vsize=82188 CPUtime=68.32
/proc/7428/task/7432/stat : 7432 (satake) R 7426 7428 3671 0 -1 4202560 5869 0 0 0 6823 9 0 0 25 0 5 0 1118357383 84160512 16408 4294967295 134512640 135180984 3217958960 3086638960 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7428/tid=7433] ppid=7426 vsize=82188 CPUtime=69.01
/proc/7428/task/7433/stat : 7433 (satake) R 7426 7428 3671 0 -1 4202560 6121 0 0 0 6888 13 0 0 25 0 5 0 1118357383 84160512 16408 4294967295 134512640 135180984 3217958960 3086573424 134528454 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.44
Current children cumulated vsize (KiB) 82188

[startup+162.317 s]
/proc/loadavg: 5.21 5.23 5.19 7/109 7814
/proc/meminfo: memFree=2294572/3368532 swapFree=1954076/1959888
[pid=7428] ppid=7426 vsize=90504 CPUtime=324.22
/proc/7428/stat : 7428 (satake) S 7426 7428 3671 0 -1 4202496 21529 0 0 0 32323 99 0 0 19 0 5 0 1118357382 92676096 18381 4294967295 134512640 135180984 3217958960 3217958396 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7428/statm: 22626 18381 68 164 0 22461 0
[pid=7428/tid=7429] ppid=7426 vsize=90504 CPUtime=0.67
/proc/7428/task/7429/stat : 7429 (satake) S 7426 7428 3671 0 -1 4202560 1570 0 0 0 27 40 0 0 16 0 5 0 1118357382 92676096 18381 4294967295 134512640 135180984 3217958960 3086770196 134580588 0 0 0 0 3223036975 0 0 -1 1 0 0 0
[pid=7428/tid=7431] ppid=7426 vsize=90504 CPUtime=103.81
/proc/7428/task/7431/stat : 7431 (satake) R 7426 7428 3671 0 -1 4202560 6575 0 0 0 10354 27 0 0 25 0 5 0 1118357383 92676096 18381 4294967295 134512640 135180984 3217958960 3086704400 134525209 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7428/tid=7432] ppid=7426 vsize=90504 CPUtime=107.37
/proc/7428/task/7432/stat : 7432 (satake) R 7426 7428 3671 0 -1 4202560 6516 0 0 0 10723 14 0 0 25 0 5 0 1118357383 92676096 18381 4294967295 134512640 135180984 3217958960 3086638764 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7428/tid=7433] ppid=7426 vsize=90504 CPUtime=112.37
/proc/7428/task/7433/stat : 7433 (satake) R 7426 7428 3671 0 -1 4202560 6758 0 0 0 11219 18 0 0 25 0 5 0 1118357383 92676096 18381 4294967295 134512640 135180984 3217958960 3086573424 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 324.22

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

[pid=7428/tid=7431] ppid=7426 vsize=138352 CPUtime=335.35
/proc/7428/task/7431/stat : 7431 (satake) R 7426 7428 3671 0 -1 4202560 10195 0 0 0 33480 55 0 0 25 0 5 0 1118357383 141672448 30470 4294967295 134512640 135180984 3217958960 3086704432 134523641 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7428/tid=7432] ppid=7426 vsize=138352 CPUtime=352.08
/proc/7428/task/7432/stat : 7432 (satake) R 7426 7428 3671 0 -1 4202560 10763 0 0 0 35165 43 0 0 25 0 5 0 1118357383 141672448 30470 4294967295 134512640 135180984 3217958960 3086638960 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7428/tid=7433] ppid=7426 vsize=138352 CPUtime=358.51
/proc/7428/task/7433/stat : 7433 (satake) R 7426 7428 3671 0 -1 4202560 10291 0 0 0 35799 52 0 0 25 0 5 0 1118357383 141672448 30470 4294967295 134512640 135180984 3217958960 3086573416 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1047.63
Current children cumulated vsize (KiB) 138352

[startup+582.308 s]
/proc/loadavg: 5.33 5.27 5.20 6/109 9136
/proc/meminfo: memFree=2231952/3368532 swapFree=1954076/1959888
[pid=7428] ppid=7426 vsize=148124 CPUtime=1167.09
/proc/7428/stat : 7428 (satake) S 7426 7428 3671 0 -1 4202496 35842 0 0 0 116422 287 0 0 19 0 5 0 1118357382 151678976 32694 4294967295 134512640 135180984 3217958960 3217958396 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7428/statm: 37031 32694 68 164 0 36866 0
[pid=7428/tid=7429] ppid=7426 vsize=148124 CPUtime=1.79
/proc/7428/task/7429/stat : 7429 (satake) S 7426 7428 3671 0 -1 4202560 2347 0 0 0 54 125 0 0 15 0 5 0 1118357382 151678976 32694 4294967295 134512640 135180984 3217958960 3086770192 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=7428/tid=7431] ppid=7426 vsize=148124 CPUtime=373.68
/proc/7428/task/7431/stat : 7431 (satake) R 7426 7428 3671 0 -1 4202560 10889 0 0 0 37308 60 0 0 25 0 5 0 1118357383 151678976 32694 4294967295 134512640 135180984 3217958960 3086704496 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7428/tid=7432] ppid=7426 vsize=148124 CPUtime=394.91
/proc/7428/task/7432/stat : 7432 (satake) R 7426 7428 3671 0 -1 4202560 11548 0 0 0 39444 47 0 0 25 0 5 0 1118357383 151678976 32694 4294967295 134512640 135180984 3217958960 3086638960 134526964 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7428/tid=7433] ppid=7426 vsize=148124 CPUtime=396.71
/proc/7428/task/7433/stat : 7433 (satake) R 7426 7428 3671 0 -1 4202560 10948 0 0 0 39616 55 0 0 25 0 5 0 1118357383 151678976 32694 4294967295 134512640 135180984 3217958960 3086573328 134524861 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1167.09
Current children cumulated vsize (KiB) 148124

[startup+642.314 s]
/proc/loadavg: 5.31 5.26 5.20 6/109 9324
/proc/meminfo: memFree=2223016/3368532 swapFree=1954076/1959888
[pid=7428] ppid=7426 vsize=155688 CPUtime=1286.99
/proc/7428/stat : 7428 (satake) S 7426 7428 3671 0 -1 4202496 37856 0 0 0 128386 313 0 0 19 0 5 0 1118357382 159424512 34708 4294967295 134512640 135180984 3217958960 3217958396 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7428/statm: 38922 34708 68 164 0 38757 0
[pid=7428/tid=7429] ppid=7426 vsize=155688 CPUtime=1.9
/proc/7428/task/7429/stat : 7429 (satake) S 7426 7428 3671 0 -1 4202560 2466 0 0 0 55 135 0 0 15 0 5 0 1118357382 159424512 34708 4294967295 134512640 135180984 3217958960 3086770192 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=7428/tid=7431] ppid=7426 vsize=155688 CPUtime=409
/proc/7428/task/7431/stat : 7431 (satake) R 7426 7428 3671 0 -1 4202560 11246 0 0 0 40836 64 0 0 25 0 5 0 1118357383 159424512 34708 4294967295 134512640 135180984 3217958960 3086704384 134522920 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7428/tid=7432] ppid=7426 vsize=155688 CPUtime=438.53
/proc/7428/task/7432/stat : 7432 (satake) R 7426 7428 3671 0 -1 4202560 12327 0 0 0 43801 52 0 0 25 0 5 0 1118357383 159424512 34708 4294967295 134512640 135180984 3217958960 3086638864 134525282 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7428/tid=7433] ppid=7426 vsize=155688 CPUtime=437.56
/proc/7428/task/7433/stat : 7433 (satake) R 7426 7428 3671 0 -1 4202560 11707 0 0 0 43694 62 0 0 25 0 5 0 1118357383 159424512 34708 4294967295 134512640 135180984 3217958960 3086573416 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1286.99
Current children cumulated vsize (KiB) 155688

[startup+702.31 s]
/proc/loadavg: 5.24 5.24 5.19 6/109 9512
/proc/meminfo: memFree=2213220/3368532 swapFree=1954076/1959888
[pid=7428] ppid=7426 vsize=164340 CPUtime=1407.08
/proc/7428/stat : 7428 (satake) S 7426 7428 3671 0 -1 4202496 40049 0 0 0 140385 323 0 0 19 0 5 0 1118357382 168284160 36901 4294967295 134512640 135180984 3217958960 3217958396 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7428/statm: 41085 36901 68 164 0 40920 0
[pid=7428/tid=7429] ppid=7426 vsize=164340 CPUtime=1.98
/proc/7428/task/7429/stat : 7429 (satake) S 7426 7428 3671 0 -1 4202560 2539 0 0 0 60 138 0 0 15 0 5 0 1118357382 168284160 36901 4294967295 134512640 135180984 3217958960 3086770192 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=7428/tid=7431] ppid=7426 vsize=164340 CPUtime=447.53
/proc/7428/task/7431/stat : 7431 (satake) R 7426 7428 3671 0 -1 4202560 11895 0 0 0 44685 68 0 0 25 0 5 0 1118357383 168284160 36901 4294967295 134512640 135180984 3217958960 3086704496 134528428 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7428/tid=7432] ppid=7426 vsize=164340 CPUtime=479.73
/proc/7428/task/7432/stat : 7432 (satake) R 7426 7428 3671 0 -1 4202560 13044 0 0 0 47919 54 0 0 25 0 5 0 1118357383 168284160 36901 4294967295 134512640 135180984 3217958960 3086639024 134532454 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7428/tid=7433] ppid=7426 vsize=164340 CPUtime=477.84
/proc/7428/task/7433/stat : 7433 (satake) R 7426 7428 3671 0 -1 4202560 12461 0 0 0 47721 63 0 0 25 0 5 0 1118357383 168284160 36901 4294967295 134512640 135180984 3217958960 3086573312 134522961 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1407.08
Current children cumulated vsize (KiB) 164340

[startup+762.316 s]
/proc/loadavg: 5.29 5.24 5.19 6/109 9702
/proc/meminfo: memFree=2204176/3368532 swapFree=1954076/1959888
[pid=7428] ppid=7426 vsize=172880 CPUtime=1526.59
/proc/7428/stat : 7428 (satake) S 7426 7428 3671 0 -1 4202496 42158 0 0 0 152320 339 0 0 19 0 5 0 1118357382 177029120 39010 4294967295 134512640 135180984 3217958960 3217958396 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7428/statm: 43220 39010 68 164 0 43055 0
[pid=7428/tid=7429] ppid=7426 vsize=172880 CPUtime=2.08
/proc/7428/task/7429/stat : 7429 (satake) S 7426 7428 3671 0 -1 4202560 2592 0 0 0 64 144 0 0 15 0 5 0 1118357382 177029120 39010 4294967295 134512640 135180984 3217958960 3086770192 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=7428/tid=7431] ppid=7426 vsize=172880 CPUtime=485.03
/proc/7428/task/7431/stat : 7431 (satake) R 7426 7428 3671 0 -1 4202560 12479 0 0 0 48434 69 0 0 25 0 5 0 1118357383 177029120 39010 4294967295 134512640 135180984 3217958960 3086704496 134525702 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7428/tid=7432] ppid=7426 vsize=172880 CPUtime=521.27
/proc/7428/task/7432/stat : 7432 (satake) R 7426 7428 3671 0 -1 4202560 13854 0 0 0 52070 57 0 0 25 0 5 0 1118357383 177029120 39010 4294967295 134512640 135180984 3217958960 3086638960 134528554 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7428/tid=7433] ppid=7426 vsize=172880 CPUtime=518.21
/proc/7428/task/7433/stat : 7433 (satake) R 7426 7428 3671 0 -1 4202560 13123 0 0 0 51752 69 0 0 25 0 5 0 1118357383 177029120 39010 4294967295 134512640 135180984 3217958960 3086573424 134526962 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1526.59
Current children cumulated vsize (KiB) 172880

[startup+822.312 s]
/proc/loadavg: 5.41 5.29 5.20 6/109 9891
/proc/meminfo: memFree=2193752/3368532 swapFree=1954076/1959888
[pid=7428] ppid=7426 vsize=182664 CPUtime=1646.25
/proc/7428/stat : 7428 (satake) S 7426 7428 3671 0 -1 4202496 44357 0 0 0 164272 353 0 0 19 0 5 0 1118357382 187047936 41209 4294967295 134512640 135180984 3217958960 3217958396 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7428/statm: 45666 41209 68 164 0 45501 0
[pid=7428/tid=7429] ppid=7426 vsize=182664 CPUtime=2.16
/proc/7428/task/7429/stat : 7429 (satake) S 7426 7428 3671 0 -1 4202560 2657 0 0 0 68 148 0 0 15 0 5 0 1118357382 187047936 41209 4294967295 134512640 135180984 3217958960 3086770192 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=7428/tid=7431] ppid=7426 vsize=182664 CPUtime=522.88
/proc/7428/task/7431/stat : 7431 (satake) R 7426 7428 3671 0 -1 4202560 13151 0 0 0 52214 74 0 0 25 0 5 0 1118357383 187047936 41209 4294967295 134512640 135180984 3217958960 3086704300 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7428/tid=7432] ppid=7426 vsize=182664 CPUtime=559.41
/proc/7428/task/7432/stat : 7432 (satake) R 7426 7428 3671 0 -1 4202560 14487 0 0 0 55881 60 0 0 25 0 5 0 1118357383 187047936 41209 4294967295 134512640 135180984 3217958960 3086638960 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7428/tid=7433] ppid=7426 vsize=182664 CPUtime=561.8
/proc/7428/task/7433/stat : 7433 (satake) R 7426 7428 3671 0 -1 4202560 13952 0 0 0 56109 71 0 0 25 0 5 0 1118357383 187047936 41209 4294967295 134512640 135180984 3217958960 3086573312 134522980 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1646.25
Current children cumulated vsize (KiB) 182664

[startup+882.307 s]
/proc/loadavg: 5.15 5.23 5.19 6/109 10079
/proc/meminfo: memFree=2186568/3368532 swapFree=1954076/1959888
[pid=7428] ppid=7426 vsize=189520 CPUtime=1765.74
/proc/7428/stat : 7428 (satake) S 7426 7428 3671 0 -1 4202496 46014 0 0 0 176173 401 0 0 19 0 5 0 1118357382 194068480 42866 4294967295 134512640 135180984 3217958960 3217958396 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7428/statm: 47380 42866 68 164 0 47215 0
[pid=7428/tid=7429] ppid=7426 vsize=189520 CPUtime=2.47
/proc/7428/task/7429/stat : 7429 (satake) S 7426 7428 3671 0 -1 4202560 2865 0 0 0 75 172 0 0 15 0 5 0 1118357382 194068480 42866 4294967295 134512640 135180984 3217958960 3086770192 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=7428/tid=7431] ppid=7426 vsize=189520 CPUtime=556.76
/proc/7428/task/7431/stat : 7431 (satake) R 7426 7428 3671 0 -1 4202560 13775 0 0 0 55596 80 0 0 25 0 5 0 1118357383 194068480 42866 4294967295 134512640 135180984 3217958960 3086704368 134522701 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7428/tid=7432] ppid=7426 vsize=189520 CPUtime=603.33
/proc/7428/task/7432/stat : 7432 (satake) R 7426 7428 3671 0 -1 4202560 14956 0 0 0 60264 69 0 0 25 0 5 0 1118357383 194068480 42866 4294967295 134512640 135180984 3217958960 3086638960 134528878 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7428/tid=7433] ppid=7426 vsize=189520 CPUtime=603.18
/proc/7428/task/7433/stat : 7433 (satake) R 7426 7428 3671 0 -1 4202560 14308 0 0 0 60238 80 0 0 25 0 5 0 1118357383 194068480 42866 4294967295 134512640 135180984 3217958960 3086573424 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1765.74
Current children cumulated vsize (KiB) 189520

[startup+942.313 s]
/proc/loadavg: 5.23 5.23 5.19 7/109 10267
/proc/meminfo: memFree=2177880/3368532 swapFree=1954076/1959888
[pid=7428] ppid=7426 vsize=196796 CPUtime=1885.18
/proc/7428/stat : 7428 (satake) S 7426 7428 3671 0 -1 4202496 48070 0 0 0 188100 418 0 0 19 0 5 0 1118357382 201519104 44922 4294967295 134512640 135180984 3217958960 3217958396 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7428/statm: 49199 44922 68 164 0 49034 0
[pid=7428/tid=7429] ppid=7426 vsize=196796 CPUtime=2.61
/proc/7428/task/7429/stat : 7429 (satake) S 7426 7428 3671 0 -1 4202560 2951 0 0 0 78 183 0 0 15 0 5 0 1118357382 201519104 44922 4294967295 134512640 135180984 3217958960 3086770192 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=7428/tid=7431] ppid=7426 vsize=196796 CPUtime=596.84
/proc/7428/task/7431/stat : 7431 (satake) R 7426 7428 3671 0 -1 4202560 14517 0 0 0 59600 84 0 0 25 0 5 0 1118357383 201519104 44922 4294967295 134512640 135180984 3217958960 3086704496 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7428/tid=7432] ppid=7426 vsize=196796 CPUtime=644.72
/proc/7428/task/7432/stat : 7432 (satake) R 7426 7428 3671 0 -1 4202560 15581 0 0 0 64403 69 0 0 25 0 5 0 1118357383 201519104 44922 4294967295 134512640 135180984 3217958960 3086638960 134528680 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7428/tid=7433] ppid=7426 vsize=196796 CPUtime=641.01
/proc/7428/task/7433/stat : 7433 (satake) R 7426 7428 3671 0 -1 4202560 14911 0 0 0 64019 82 0 0 25 0 5 0 1118357383 201519104 44922 4294967295 134512640 135180984 3217958960 3086573360 134523641 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1885.18
Current children cumulated vsize (KiB) 196796



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 5.17 5.22 5.18 6/109 10455
/proc/meminfo: memFree=2169944/3368532 swapFree=1954076/1959888
[pid=7428] ppid=7426 vsize=204104 CPUtime=2000.22
/proc/7428/stat : 7428 (satake) S 7426 7428 3671 0 -1 4202496 49880 0 0 0 199592 430 0 0 19 0 5 0 1118357382 209002496 46732 4294967295 134512640 135180984 3217958960 3217958396 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7428/statm: 51026 46732 68 164 0 50861 0
[pid=7428/tid=7429] ppid=7426 vsize=204104 CPUtime=2.71
/proc/7428/task/7429/stat : 7429 (satake) S 7426 7428 3671 0 -1 4202560 2993 0 0 0 83 188 0 0 15 0 5 0 1118357382 209002496 46732 4294967295 134512640 135180984 3217958960 3086770192 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=7428/tid=7431] ppid=7426 vsize=204104 CPUtime=629.22
/proc/7428/task/7431/stat : 7431 (satake) R 7426 7428 3671 0 -1 4202560 15031 0 0 0 62838 84 0 0 25 0 5 0 1118357383 209002496 46732 4294967295 134512640 135180984 3217958960 3086704496 134526529 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7428/tid=7432] ppid=7426 vsize=204104 CPUtime=687.38
/proc/7428/task/7432/stat : 7432 (satake) R 7426 7428 3671 0 -1 4202560 16180 0 0 0 68665 73 0 0 25 0 5 0 1118357383 209002496 46732 4294967295 134512640 135180984 3217958960 3086638896 134523680 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7428/tid=7433] ppid=7426 vsize=204104 CPUtime=680.91
/proc/7428/task/7433/stat : 7433 (satake) R 7426 7428 3671 0 -1 4202560 15566 0 0 0 68006 85 0 0 25 0 5 0 1118357383 209002496 46732 4294967295 134512640 135180984 3217958960 3086573416 134520911 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2000.22
Current children cumulated vsize (KiB) 204104

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): 2000.27
CPU user time (s): 1995.96
CPU system time (s): 4.31
CPU usage (%): 200.019
Max. virtual memory (cumulated for all children) (KiB): 204104

deleting IPC queue 7864320
deleting IPC queue 7897089
deleting IPC queue 7929858
deleting IPC queue 7962627
deleting IPC queue 7995396
deleting IPC queue 8028165
deleting IPC queue 8060934
deleting IPC queue 8093703
deleting IPC queue 8126472
deleting IPC queue 8159241
deleting IPC queue 8192010
deleting IPC queue 8224779
deleting IPC queue 8257548
deleting IPC queue 8290317
deleting IPC queue 8323086
deleting IPC queue 8355855

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1995.96
system time used= 4.31
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49881
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= 824048
involuntary context switches= 880411

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi44 at 2009-05-30 02:16:02
IDJOB=1779190
IDBENCH=70820
IDSOLVER=629
FILE ID=tipi44/1779190-1243642562
PBS_JOBID=
Free space on /tmp= 15890 MiB

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

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

MD5SUM BENCH= 3cb14750de2495357cf28b8ab826b9e3
RANDOM SEED= 1730810141

Linux tipi44 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.116
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.116
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.116
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.116
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.16
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       2370504 kB
Buffers:        151568 kB
Cached:         595400 kB
SwapCached:       2180 kB
Active:         698632 kB
Inactive:       202276 kB
HighTotal:     2489216 kB
HighFree:      1741852 kB
LowTotal:       879316 kB
LowFree:        628652 kB
SwapTotal:     1959888 kB
SwapFree:      1954076 kB
Dirty:            9688 kB
Writeback:           0 kB
AnonPages:      152952 kB
Mapped:           5668 kB
Slab:            87488 kB
SReclaimable:    76872 kB
SUnreclaim:      10616 kB
PageTables:        696 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   235504 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15890 MiB
End job on tipi44 at 2009-05-30 02:32:44