Trace number 1779220

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)UNSAT 1641.25 826.383

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-09.cnf
MD5SUM5c56557463274332c6704b6432dfc42b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1539.67
Satisfiable
(Un)Satisfiability was proved
Number of variables69487
Number of clauses226581
Sum of the clauses size587221
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 292264
Number of clauses of size 3134188
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

1641.18/826.38	c Benchmark name    : HOME/instance-1779220-1243642499.cnf
1641.18/826.38	c Thread Num        :            4
1641.18/826.38	c restarts          :           13
1641.18/826.38	c conflicts         :        38689
1641.18/826.38	c decisions         :        66604           (       81 / sec      )
1641.18/826.38	c propagations      :    697077212           (   844087 / sec      )
1641.18/826.38	c inspects          :   1994290485           (  2414874 / sec      )
1641.18/826.38	c conflict literals :      2222247           (    67.70 % deleted  )
1641.18/826.38	c cpu time          :       825.84           
1641.18/826.38	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1779220-1243642499/watcher-1779220-1243642499 -o /tmp/evaluation-result-1779220-1243642499/solver-1779220-1243642499 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779220-1243642499.cnf 4 10000 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 4.58 4.71 4.95 5/114 27209
/proc/meminfo: memFree=3196192/3368532 swapFree=1954888/1959888
[pid=27208] ppid=27206 vsize=964 CPUtime=0
/proc/27208/stat : 27208 (satake) R 27206 27208 8716 0 -1 4202496 108 0 0 0 0 0 0 0 20 0 2 0 1128913940 987136 64 4294967295 134512640 135180984 3215619584 3215618928 134705812 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27208/statm: 241 64 54 164 0 76 0
[pid=27208/tid=27209] ppid=27206 vsize=964 CPUtime=0
/proc/27208/task/27209/stat : 27209 (satake) R 27206 27208 8716 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 2 0 1128913940 987136 64 4294967295 134512640 135180984 3215619584 3086410564 134705812 0 0 0 0 0 0 0 -1 2 0 0 0

[startup+0.063865 s]
/proc/loadavg: 4.58 4.71 4.95 5/114 27209
/proc/meminfo: memFree=3196192/3368532 swapFree=1954888/1959888
[pid=27208] ppid=27206 vsize=51760 CPUtime=0.09
/proc/27208/stat : 27208 (satake) S 27206 27208 8716 0 -1 4202496 8267 0 0 0 4 5 0 0 20 0 5 0 1128913940 53002240 8198 4294967295 134512640 135180984 3215619584 3215619020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27208/statm: 12940 8201 63 164 0 12775 0
[pid=27208/tid=27209] ppid=27206 vsize=51760 CPUtime=0
/proc/27208/task/27209/stat : 27209 (satake) S 27206 27208 8716 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1128913940 53002240 8203 4294967295 134512640 135180984 3215619584 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 51760

[startup+0.103852 s]
/proc/loadavg: 4.58 4.71 4.95 5/114 27209
/proc/meminfo: memFree=3196192/3368532 swapFree=1954888/1959888
[pid=27208] ppid=27206 vsize=54848 CPUtime=0.16
/proc/27208/stat : 27208 (satake) S 27206 27208 8716 0 -1 4202496 9956 0 0 0 11 5 0 0 20 0 5 0 1128913940 56164352 9879 4294967295 134512640 135180984 3215619584 3215619020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27208/statm: 13712 9880 63 164 0 13547 0
[pid=27208/tid=27209] ppid=27206 vsize=54848 CPUtime=0
/proc/27208/task/27209/stat : 27209 (satake) S 27206 27208 8716 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1128913940 56164352 9880 4294967295 134512640 135180984 3215619584 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 54848

[startup+0.303826 s]
/proc/loadavg: 4.58 4.71 4.95 5/114 27209
/proc/meminfo: memFree=3196192/3368532 swapFree=1954888/1959888
[pid=27208] ppid=27206 vsize=59364 CPUtime=0.56
/proc/27208/stat : 27208 (satake) S 27206 27208 8716 0 -1 4202496 12779 0 0 0 50 6 0 0 20 0 5 0 1128913940 60788736 10656 4294967295 134512640 135180984 3215619584 3215619020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27208/statm: 14841 10656 66 164 0 14676 0
[pid=27208/tid=27209] ppid=27206 vsize=59364 CPUtime=0
/proc/27208/task/27209/stat : 27209 (satake) S 27206 27208 8716 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1128913940 60788736 10656 4294967295 134512640 135180984 3215619584 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 59364

[startup+0.703788 s]
/proc/loadavg: 4.58 4.71 4.95 5/114 27209
/proc/meminfo: memFree=3196192/3368532 swapFree=1954888/1959888
[pid=27208] ppid=27206 vsize=66352 CPUtime=1.36
/proc/27208/stat : 27208 (satake) S 27206 27208 8716 0 -1 4202496 15755 0 0 0 130 6 0 0 20 0 5 0 1128913940 67944448 12609 4294967295 134512640 135180984 3215619584 3215619020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27208/statm: 16588 12609 68 164 0 16423 0
[pid=27208/tid=27209] ppid=27206 vsize=66352 CPUtime=0.01
/proc/27208/task/27209/stat : 27209 (satake) S 27206 27208 8716 0 -1 4202560 1231 0 0 0 1 0 0 0 16 0 5 0 1128913940 67944448 12609 4294967295 134512640 135180984 3215619584 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 66352

[startup+1.50372 s]
/proc/loadavg: 4.58 4.71 4.95 6/118 27213
/proc/meminfo: memFree=3146008/3368532 swapFree=1954888/1959888
[pid=27208] ppid=27206 vsize=68856 CPUtime=2.96
/proc/27208/stat : 27208 (satake) S 27206 27208 8716 0 -1 4202496 15958 0 0 0 290 6 0 0 20 0 5 0 1128913940 70508544 12812 4294967295 134512640 135180984 3215619584 3215619020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27208/statm: 17214 12812 68 164 0 17049 0
[pid=27208/tid=27209] ppid=27206 vsize=68856 CPUtime=0.01
/proc/27208/task/27209/stat : 27209 (satake) S 27206 27208 8716 0 -1 4202560 1232 0 0 0 1 0 0 0 16 0 5 0 1128913940 70508544 12812 4294967295 134512640 135180984 3215619584 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=27208/tid=27211] ppid=27206 vsize=68856 CPUtime=0.39
/proc/27208/task/27211/stat : 27211 (satake) R 27206 27208 8716 0 -1 4202560 4759 0 0 0 38 1 0 0 24 0 5 0 1128913940 70508544 12812 4294967295 134512640 135180984 3215619584 3086344112 134532454 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27208/tid=27212] ppid=27206 vsize=68856 CPUtime=1.1
/proc/27208/task/27212/stat : 27212 (satake) R 27206 27208 8716 0 -1 4202560 4839 0 0 0 108 2 0 0 23 0 5 0 1128913940 70508544 12812 4294967295 134512640 135180984 3215619584 3086278512 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27208/tid=27213] ppid=27206 vsize=68856 CPUtime=1.46
/proc/27208/task/27213/stat : 27213 (satake) R 27206 27208 8716 0 -1 4202560 5017 0 0 0 143 3 0 0 25 0 5 0 1128913940 70508544 12812 4294967295 134512640 135180984 3215619584 3086212976 134528532 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 68856

[startup+3.10358 s]
/proc/loadavg: 4.61 4.72 4.95 7/120 27217
/proc/meminfo: memFree=3143996/3368532 swapFree=1954888/1959888
[pid=27208] ppid=27206 vsize=69252 CPUtime=6.13
/proc/27208/stat : 27208 (satake) S 27206 27208 8716 0 -1 4202496 16100 0 0 0 606 7 0 0 20 0 5 0 1128913940 70914048 12954 4294967295 134512640 135180984 3215619584 3215619020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27208/statm: 17313 12954 68 164 0 17148 0
[pid=27208/tid=27209] ppid=27206 vsize=69252 CPUtime=0.01
/proc/27208/task/27209/stat : 27209 (satake) S 27206 27208 8716 0 -1 4202560 1235 0 0 0 1 0 0 0 15 0 5 0 1128913940 70914048 12954 4294967295 134512640 135180984 3215619584 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=27208/tid=27211] ppid=27206 vsize=69252 CPUtime=1.08
/proc/27208/task/27211/stat : 27211 (satake) R 27206 27208 8716 0 -1 4202560 4847 0 0 0 107 1 0 0 25 0 5 0 1128913940 70914048 12954 4294967295 134512640 135180984 3215619584 3086343980 134518208 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27208/tid=27212] ppid=27206 vsize=69252 CPUtime=2.53
/proc/27208/task/27212/stat : 27212 (satake) R 27206 27208 8716 0 -1 4202560 4872 0 0 0 250 3 0 0 25 0 5 0 1128913940 70914048 12954 4294967295 134512640 135180984 3215619584 3086278576 134532417 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27208/tid=27213] ppid=27206 vsize=69252 CPUtime=2.51
/proc/27208/task/27213/stat : 27213 (satake) R 27206 27208 8716 0 -1 4202560 5035 0 0 0 248 3 0 0 25 0 5 0 1128913940 70914048 12954 4294967295 134512640 135180984 3215619584 3086212976 134528278 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 69252

[startup+6.30331 s]
/proc/loadavg: 4.61 4.72 4.95 6/118 27221
/proc/meminfo: memFree=3143772/3368532 swapFree=1954888/1959888
[pid=27208] ppid=27206 vsize=69392 CPUtime=12.45
/proc/27208/stat : 27208 (satake) S 27206 27208 8716 0 -1 4202496 16209 0 0 0 1233 12 0 0 20 0 5 0 1128913940 71057408 13063 4294967295 134512640 135180984 3215619584 3215619020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27208/statm: 17348 13063 68 164 0 17183 0
[pid=27208/tid=27209] ppid=27206 vsize=69392 CPUtime=0.06
/proc/27208/task/27209/stat : 27209 (satake) S 27206 27208 8716 0 -1 4202560 1239 0 0 0 1 5 0 0 15 0 5 0 1128913940 71057408 13063 4294967295 134512640 135180984 3215619584 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=27208/tid=27211] ppid=27206 vsize=69392 CPUtime=1.95
/proc/27208/task/27211/stat : 27211 (satake) R 27206 27208 8716 0 -1 4202560 4879 0 0 0 194 1 0 0 25 0 5 0 1128913940 71057408 13063 4294967295 134512640 135180984 3215619584 3086344048 134528536 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27208/tid=27212] ppid=27206 vsize=69392 CPUtime=5.35
/proc/27208/task/27212/stat : 27212 (satake) R 27206 27208 8716 0 -1 4202560 4900 0 0 0 532 3 0 0 25 0 5 0 1128913940 71057408 13063 4294967295 134512640 135180984 3215619584 3086278512 134528887 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27208/tid=27213] ppid=27206 vsize=69392 CPUtime=5.09
/proc/27208/task/27213/stat : 27213 (satake) R 27206 27208 8716 0 -1 4202560 5080 0 0 0 506 3 0 0 25 0 5 0 1128913940 71057408 13063 4294967295 134512640 135180984 3215619584 3086212908 134523868 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 69392

[startup+12.7028 s]
/proc/loadavg: 4.64 4.72 4.95 6/118 27230
/proc/meminfo: memFree=3142952/3368532 swapFree=1954888/1959888
[pid=27208] ppid=27206 vsize=69788 CPUtime=25.17
/proc/27208/stat : 27208 (satake) S 27206 27208 8716 0 -1 4202496 16392 0 0 0 2504 13 0 0 20 0 5 0 1128913940 71462912 13246 4294967295 134512640 135180984 3215619584 3215619020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27208/statm: 17447 13246 68 164 0 17282 0
[pid=27208/tid=27209] ppid=27206 vsize=69788 CPUtime=0.06
/proc/27208/task/27209/stat : 27209 (satake) S 27206 27208 8716 0 -1 4202560 1242 0 0 0 1 5 0 0 15 0 5 0 1128913940 71462912 13246 4294967295 134512640 135180984 3215619584 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=27208/tid=27211] ppid=27206 vsize=69788 CPUtime=6.35
/proc/27208/task/27211/stat : 27211 (satake) R 27206 27208 8716 0 -1 4202560 4930 0 0 0 634 1 0 0 25 0 5 0 1128913940 71462912 13246 4294967295 134512640 135180984 3215619584 3086344048 134526115 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27208/tid=27212] ppid=27206 vsize=69788 CPUtime=8.45
/proc/27208/task/27212/stat : 27212 (satake) R 27206 27208 8716 0 -1 4202560 4957 0 0 0 842 3 0 0 25 0 5 0 1128913940 71462912 13246 4294967295 134512640 135180984 3215619584 3086278512 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27208/tid=27213] ppid=27206 vsize=69788 CPUtime=10.31
/proc/27208/task/27213/stat : 27213 (satake) R 27206 27208 8716 0 -1 4202560 5152 0 0 0 1027 4 0 0 25 0 5 0 1128913940 71462912 13246 4294967295 134512640 135180984 3215619584 3086212912 134523783 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 69788

[startup+25.5116 s]
/proc/loadavg: 4.80 4.75 4.95 6/118 27435
/proc/meminfo: memFree=3140584/3368532 swapFree=1954888/1959888
[pid=27208] ppid=27206 vsize=70448 CPUtime=50.49
/proc/27208/stat : 27208 (satake) S 27206 27208 8716 0 -1 4202496 16765 0 0 0 5030 19 0 0 20 0 5 0 1128913940 72138752 13619 4294967295 134512640 135180984 3215619584 3215619020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27208/statm: 17612 13619 68 164 0 17447 0
[pid=27208/tid=27209] ppid=27206 vsize=70448 CPUtime=0.08
/proc/27208/task/27209/stat : 27209 (satake) S 27206 27208 8716 0 -1 4202560 1265 0 0 0 1 7 0 0 15 0 5 0 1128913940 72138752 13619 4294967295 134512640 135180984 3215619584 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=27208/tid=27211] ppid=27206 vsize=70448 CPUtime=17.07
/proc/27208/task/27211/stat : 27211 (satake) R 27206 27208 8716 0 -1 4202560 5055 0 0 0 1705 2 0 0 25 0 5 0 1128913940 72138752 13619 4294967295 134512640 135180984 3215619584 3086344040 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27208/tid=27212] ppid=27206 vsize=70448 CPUtime=13.93
/proc/27208/task/27212/stat : 27212 (satake) R 27206 27208 8716 0 -1 4202560 5058 0 0 0 1389 4 0 0 25 0 5 0 1128913940 72138752 13619 4294967295 134512640 135180984 3215619584 3086278416 134525228 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27208/tid=27213] ppid=27206 vsize=70448 CPUtime=19.41
/proc/27208/task/27213/stat : 27213 (satake) R 27206 27208 8716 0 -1 4202560 5276 0 0 0 1935 6 0 0 25 0 5 0 1128913940 72138752 13619 4294967295 134512640 135180984 3215619584 3086212976 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.49
Current children cumulated vsize (KiB) 70448

[startup+51.1194 s]
/proc/loadavg: 4.87 4.77 4.95 7/118 27472
/proc/meminfo: memFree=3137680/3368532 swapFree=1954888/1959888
[pid=27208] ppid=27206 vsize=74132 CPUtime=101.33
/proc/27208/stat : 27208 (satake) S 27206 27208 8716 0 -1 4202496 17577 0 0 0 10110 23 0 0 20 0 5 0 1128913940 75911168 14431 4294967295 134512640 135180984 3215619584 3215619020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27208/statm: 18533 14431 68 164 0 18368 0
[pid=27208/tid=27209] ppid=27206 vsize=74132 CPUtime=0.12
/proc/27208/task/27209/stat : 27209 (satake) S 27206 27208 8716 0 -1 4202560 1305 0 0 0 3 9 0 0 15 0 5 0 1128913940 75911168 14431 4294967295 134512640 135180984 3215619584 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=27208/tid=27211] ppid=27206 vsize=74132 CPUtime=34.49
/proc/27208/task/27211/stat : 27211 (satake) R 27206 27208 8716 0 -1 4202560 5304 0 0 0 3446 3 0 0 25 0 5 0 1128913940 75911168 14431 4294967295 134512640 135180984 3215619584 3086344048 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27208/tid=27212] ppid=27206 vsize=74132 CPUtime=31.41
/proc/27208/task/27212/stat : 27212 (satake) R 27206 27208 8716 0 -1 4202560 5327 0 0 0 3136 5 0 0 25 0 5 0 1128913940 75911168 14431 4294967295 134512640 135180984 3215619584 3086278448 134523674 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27208/tid=27213] ppid=27206 vsize=74132 CPUtime=35.31
/proc/27208/task/27213/stat : 27213 (satake) R 27206 27208 8716 0 -1 4202560 5530 0 0 0 3525 6 0 0 25 0 5 0 1128913940 75911168 14431 4294967295 134512640 135180984 3215619584 3086212976 134526527 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 74132

[startup+102.315 s]
/proc/loadavg: 5.12 4.85 4.97 6/118 27737
/proc/meminfo: memFree=3132472/3368532 swapFree=1954888/1959888
[pid=27208] ppid=27206 vsize=79392 CPUtime=203.02
/proc/27208/stat : 27208 (satake) S 27206 27208 8716 0 -1 4202496 18796 0 0 0 20265 37 0 0 20 0 5 0 1128913940 81297408 15650 4294967295 134512640 135180984 3215619584 3215619020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27208/statm: 19848 15650 68 164 0 19683 0
[pid=27208/tid=27209] ppid=27206 vsize=79392 CPUtime=0.19
/proc/27208/task/27209/stat : 27209 (satake) S 27206 27208 8716 0 -1 4202560 1371 0 0 0 5 14 0 0 15 0 5 0 1128913940 81297408 15650 4294967295 134512640 135180984 3215619584 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=27208/tid=27211] ppid=27206 vsize=79392 CPUtime=73.94
/proc/27208/task/27211/stat : 27211 (satake) R 27206 27208 8716 0 -1 4202560 5673 0 0 0 7388 6 0 0 25 0 5 0 1128913940 81297408 15650 4294967295 134512640 135180984 3215619584 3086344064 134532624 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27208/tid=27212] ppid=27206 vsize=79392 CPUtime=62.67
/proc/27208/task/27212/stat : 27212 (satake) R 27206 27208 8716 0 -1 4202560 5665 0 0 0 6259 8 0 0 25 0 5 0 1128913940 81297408 15650 4294967295 134512640 135180984 3215619584 3086278316 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27208/tid=27213] ppid=27206 vsize=79392 CPUtime=66.22
/proc/27208/task/27213/stat : 27213 (satake) R 27206 27208 8716 0 -1 4202560 5976 0 0 0 6613 9 0 0 25 0 5 0 1128913940 81297408 15650 4294967295 134512640 135180984 3215619584 3086212864 134522907 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.02
Current children cumulated vsize (KiB) 79392

[startup+162.31 s]
/proc/loadavg: 5.21 4.92 4.99 7/118 28014
/proc/meminfo: memFree=3127024/3368532 swapFree=1954888/1959888
[pid=27208] ppid=27206 vsize=84872 CPUtime=322.17
/proc/27208/stat : 27208 (satake) S 27206 27208 8716 0 -1 4202496 20108 0 0 0 32151 66 0 0 20 0 5 0 1128913940 86908928 16962 4294967295 134512640 135180984 3215619584 3215619020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27208/statm: 21218 16962 68 164 0 21053 0
[pid=27208/tid=27209] ppid=27206 vsize=84872 CPUtime=0.41
/proc/27208/task/27209/stat : 27209 (satake) S 27206 27208 8716 0 -1 4202560 1484 0 0 0 12 29 0 0 15 0 5 0 1128913940 86908928 16962 4294967295 134512640 135180984 3215619584 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=27208/tid=27211] ppid=27206 vsize=84872 CPUtime=114.67
/proc/27208/task/27211/stat : 27211 (satake) R 27206 27208 8716 0 -1 4202560 6048 0 0 0 11460 7 0 0 25 0 5 0 1128913940 86908928 16962 4294967295 134512640 135180984 3215619584 3086343984 134523671 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27208/tid=27212] ppid=27206 vsize=84872 CPUtime=106.08
/proc/27208/task/27212/stat : 27212 (satake) R 27206 27208 8716 0 -1 4202560 5964 0 0 0 10594 14 0 0 25 0 5 0 1128913940 86908928 16962 4294967295 134512640 135180984 3215619584 3086278448 134523641 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27208/tid=27213] ppid=27206 vsize=84872 CPUtime=101.01
/proc/27208/task/27213/stat : 27213 (satake) R 27206 27208 8716 0 -1 4202560 6501 0 0 0 10085 16 0 0 25 0 5 0 1128913940 86908928 16962 4294967295 134512640 135180984 3215619584 3086212880 134525319 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 322.17

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

/proc/27208/task/27211/stat : 27211 (satake) R 27206 27208 8716 0 -1 4202560 7190 0 0 0 32629 42 0 0 25 0 5 0 1128913940 106217472 21729 4294967295 134512640 135180984 3215619584 3086344000 134527232 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27208/tid=27212] ppid=27206 vsize=103728 CPUtime=290.21
/proc/27208/task/27212/stat : 27212 (satake) R 27206 27208 8716 0 -1 4202560 7409 0 0 0 28976 45 0 0 25 0 5 0 1128913940 106217472 21729 4294967295 134512640 135180984 3215619584 3086278508 134518208 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27208/tid=27213] ppid=27206 vsize=103728 CPUtime=299.58
/proc/27208/task/27213/stat : 27213 (satake) R 27206 27208 8716 0 -1 4202560 7885 0 0 0 29910 48 0 0 25 0 5 0 1128913940 106217472 21729 4294967295 134512640 135180984 3215619584 3086212780 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 918.12
Current children cumulated vsize (KiB) 103728

[startup+522.309 s]
/proc/loadavg: 5.71 5.37 5.16 6/118 29675
/proc/meminfo: memFree=3105332/3368532 swapFree=1954888/1959888
[pid=27208] ppid=27206 vsize=107588 CPUtime=1037.31
/proc/27208/stat : 27208 (satake) S 27206 27208 8716 0 -1 4202496 25606 0 0 0 103438 293 0 0 20 0 5 0 1128913940 110170112 22460 4294967295 134512640 135180984 3215619584 3215619020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27208/statm: 26897 22460 68 164 0 26732 0
[pid=27208/tid=27209] ppid=27206 vsize=107588 CPUtime=1.91
/proc/27208/task/27209/stat : 27209 (satake) S 27206 27208 8716 0 -1 4202560 2478 0 0 0 57 134 0 0 15 0 5 0 1128913940 110170112 22460 4294967295 134512640 135180984 3215619584 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=27208/tid=27211] ppid=27206 vsize=107588 CPUtime=365.2
/proc/27208/task/27211/stat : 27211 (satake) R 27206 27208 8716 0 -1 4202560 7362 0 0 0 36472 48 0 0 25 0 5 0 1128913940 110170112 22460 4294967295 134512640 135180984 3215619584 3086344044 134518208 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27208/tid=27212] ppid=27206 vsize=107588 CPUtime=330.63
/proc/27208/task/27212/stat : 27212 (satake) R 27206 27208 8716 0 -1 4202560 7611 0 0 0 33009 54 0 0 25 0 5 0 1128913940 110170112 22460 4294967295 134512640 135180984 3215619584 3086278528 134518667 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27208/tid=27213] ppid=27206 vsize=107588 CPUtime=339.57
/proc/27208/task/27213/stat : 27213 (satake) R 27206 27208 8716 0 -1 4202560 8044 0 0 0 33900 57 0 0 25 0 5 0 1128913940 110170112 22460 4294967295 134512640 135180984 3215619584 3086212976 134528614 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1037.31
Current children cumulated vsize (KiB) 107588

[startup+582.314 s]
/proc/loadavg: 5.43 5.35 5.16 6/118 29950
/proc/meminfo: memFree=3102100/3368532 swapFree=1954888/1959888
[pid=27208] ppid=27206 vsize=111484 CPUtime=1156.43
/proc/27208/stat : 27208 (satake) S 27206 27208 8716 0 -1 4202496 26490 0 0 0 115307 336 0 0 20 0 5 0 1128913940 114159616 23344 4294967295 134512640 135180984 3215619584 3215619020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27208/statm: 27871 23344 68 164 0 27706 0
[pid=27208/tid=27209] ppid=27206 vsize=111484 CPUtime=2.21
/proc/27208/task/27209/stat : 27209 (satake) S 27206 27208 8716 0 -1 4202560 2667 0 0 0 65 156 0 0 15 0 5 0 1128913940 114159616 23344 4294967295 134512640 135180984 3215619584 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=27208/tid=27211] ppid=27206 vsize=111484 CPUtime=398.95
/proc/27208/task/27211/stat : 27211 (satake) R 27206 27208 8716 0 -1 4202560 7499 0 0 0 39846 49 0 0 25 0 5 0 1128913940 114159616 23344 4294967295 134512640 135180984 3215619584 3086344040 134519912 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27208/tid=27212] ppid=27206 vsize=111484 CPUtime=372.32
/proc/27208/task/27212/stat : 27212 (satake) R 27206 27208 8716 0 -1 4202560 7856 0 0 0 37167 65 0 0 25 0 5 0 1128913940 114159616 23344 4294967295 134512640 135180984 3215619584 3086278508 134519884 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27208/tid=27213] ppid=27206 vsize=111484 CPUtime=382.95
/proc/27208/task/27213/stat : 27213 (satake) R 27206 27208 8716 0 -1 4202560 8357 0 0 0 38229 66 0 0 25 0 5 0 1128913940 114159616 23344 4294967295 134512640 135180984 3215619584 3086212976 134526224 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1156.43
Current children cumulated vsize (KiB) 111484

[startup+642.308 s]
/proc/loadavg: 5.39 5.35 5.18 6/118 30231
/proc/meminfo: memFree=3099248/3368532 swapFree=1954888/1959888
[pid=27208] ppid=27206 vsize=113836 CPUtime=1275.78
/proc/27208/stat : 27208 (satake) S 27206 27208 8716 0 -1 4202496 27135 0 0 0 127214 364 0 0 20 0 5 0 1128913940 116568064 23989 4294967295 134512640 135180984 3215619584 3215619020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27208/statm: 28459 23989 68 164 0 28294 0
[pid=27208/tid=27209] ppid=27206 vsize=113836 CPUtime=2.39
/proc/27208/task/27209/stat : 27209 (satake) S 27206 27208 8716 0 -1 4202560 2833 0 0 0 69 170 0 0 15 0 5 0 1128913940 116568064 23989 4294967295 134512640 135180984 3215619584 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=27208/tid=27211] ppid=27206 vsize=113836 CPUtime=443.41
/proc/27208/task/27211/stat : 27211 (satake) R 27206 27208 8716 0 -1 4202560 7636 0 0 0 44287 54 0 0 25 0 5 0 1128913940 116568064 23989 4294967295 134512640 135180984 3215619584 3086344064 134518740 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27208/tid=27212] ppid=27206 vsize=113836 CPUtime=410.77
/proc/27208/task/27212/stat : 27212 (satake) R 27206 27208 8716 0 -1 4202560 8035 0 0 0 41007 70 0 0 25 0 5 0 1128913940 116568064 23989 4294967295 134512640 135180984 3215619584 3086278512 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27208/tid=27213] ppid=27206 vsize=113836 CPUtime=419.21
/proc/27208/task/27213/stat : 27213 (satake) R 27206 27208 8716 0 -1 4202560 8520 0 0 0 41851 70 0 0 25 0 5 0 1128913940 116568064 23989 4294967295 134512640 135180984 3215619584 3086212976 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1275.78
Current children cumulated vsize (KiB) 113836

[startup+702.313 s]
/proc/loadavg: 5.43 5.37 5.19 6/118 30508
/proc/meminfo: memFree=3096496/3368532 swapFree=1954888/1959888
[pid=27208] ppid=27206 vsize=116192 CPUtime=1394.86
/proc/27208/stat : 27208 (satake) S 27206 27208 8716 0 -1 4202496 27747 0 0 0 139090 396 0 0 20 0 5 0 1128913940 118980608 24601 4294967295 134512640 135180984 3215619584 3215619020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27208/statm: 29048 24601 68 164 0 28883 0
[pid=27208/tid=27209] ppid=27206 vsize=116192 CPUtime=2.62
/proc/27208/task/27209/stat : 27209 (satake) S 27206 27208 8716 0 -1 4202560 2972 0 0 0 75 187 0 0 15 0 5 0 1128913940 118980608 24601 4294967295 134512640 135180984 3215619584 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=27208/tid=27211] ppid=27206 vsize=116192 CPUtime=479.9
/proc/27208/task/27211/stat : 27211 (satake) R 27206 27208 8716 0 -1 4202560 7773 0 0 0 47929 61 0 0 25 0 5 0 1128913940 118980608 24601 4294967295 134512640 135180984 3215619584 3086344048 134528420 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27208/tid=27212] ppid=27206 vsize=116192 CPUtime=453.83
/proc/27208/task/27212/stat : 27212 (satake) R 27206 27208 8716 0 -1 4202560 8212 0 0 0 45308 75 0 0 25 0 5 0 1128913940 118980608 24601 4294967295 134512640 135180984 3215619584 3086278512 134525699 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27208/tid=27213] ppid=27206 vsize=116192 CPUtime=458.51
/proc/27208/task/27213/stat : 27213 (satake) R 27206 27208 8716 0 -1 4202560 8679 0 0 0 45778 73 0 0 25 0 5 0 1128913940 118980608 24601 4294967295 134512640 135180984 3215619584 3086212972 134518218 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1394.86
Current children cumulated vsize (KiB) 116192

[startup+762.318 s]
/proc/loadavg: 5.31 5.34 5.19 8/118 30782
/proc/meminfo: memFree=3094520/3368532 swapFree=1954888/1959888
[pid=27208] ppid=27206 vsize=118840 CPUtime=1514.04
/proc/27208/stat : 27208 (satake) S 27206 27208 8716 0 -1 4202496 28451 0 0 0 150976 428 0 0 20 0 5 0 1128913940 121692160 25305 4294967295 134512640 135180984 3215619584 3215619020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27208/statm: 29710 25305 68 164 0 29545 0
[pid=27208/tid=27209] ppid=27206 vsize=118840 CPUtime=2.84
/proc/27208/task/27209/stat : 27209 (satake) S 27206 27208 8716 0 -1 4202560 3162 0 0 0 81 203 0 0 15 0 5 0 1128913940 121692160 25305 4294967295 134512640 135180984 3215619584 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=27208/tid=27211] ppid=27206 vsize=118840 CPUtime=516.15
/proc/27208/task/27211/stat : 27211 (satake) R 27206 27208 8716 0 -1 4202560 7904 0 0 0 51550 65 0 0 25 0 5 0 1128913940 121692160 25305 4294967295 134512640 135180984 3215619584 3086344064 134518489 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27208/tid=27212] ppid=27206 vsize=118840 CPUtime=494.93
/proc/27208/task/27212/stat : 27212 (satake) R 27206 27208 8716 0 -1 4202560 8372 0 0 0 49412 81 0 0 25 0 5 0 1128913940 121692160 25305 4294967295 134512640 135180984 3215619584 3086278512 134521101 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27208/tid=27213] ppid=27206 vsize=118840 CPUtime=500.12
/proc/27208/task/27213/stat : 27213 (satake) R 27206 27208 8716 0 -1 4202560 8902 0 0 0 49933 79 0 0 25 0 5 0 1128913940 121692160 25305 4294967295 134512640 135180984 3215619584 3086212944 134520027 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1514.04
Current children cumulated vsize (KiB) 118840

[startup+822.303 s]
/proc/loadavg: 5.54 5.40 5.22 6/118 31058
/proc/meminfo: memFree=3093412/3368532 swapFree=1954888/1959888
[pid=27208] ppid=27206 vsize=119620 CPUtime=1633.27
/proc/27208/stat : 27208 (satake) S 27206 27208 8716 0 -1 4202496 28583 0 0 0 162883 444 0 0 20 0 5 0 1128913940 122490880 25437 4294967295 134512640 135180984 3215619584 3215619020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27208/statm: 29905 25437 68 164 0 29740 0
[pid=27208/tid=27209] ppid=27206 vsize=119620 CPUtime=2.98
/proc/27208/task/27209/stat : 27209 (satake) S 27206 27208 8716 0 -1 4202560 3236 0 0 0 87 211 0 0 15 0 5 0 1128913940 122490880 25437 4294967295 134512640 135180984 3215619584 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=27208/tid=27211] ppid=27206 vsize=119620 CPUtime=556.22
/proc/27208/task/27211/stat : 27211 (satake) R 27206 27208 8716 0 -1 4202560 7920 0 0 0 55554 68 0 0 25 0 5 0 1128913940 122490880 25437 4294967295 134512640 135180984 3215619584 3086344048 134528701 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27208/tid=27212] ppid=27206 vsize=119620 CPUtime=531.76
/proc/27208/task/27212/stat : 27212 (satake) R 27206 27208 8716 0 -1 4202560 8379 0 0 0 53093 83 0 0 25 0 5 0 1128913940 122490880 25437 4294967295 134512640 135180984 3215619584 3086278512 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27208/tid=27213] ppid=27206 vsize=119620 CPUtime=542.31
/proc/27208/task/27213/stat : 27213 (satake) R 27206 27208 8716 0 -1 4202560 8937 0 0 0 54149 82 0 0 25 0 5 0 1128913940 122490880 25437 4294967295 134512640 135180984 3215619584 3086212880 134525312 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1633.27
Current children cumulated vsize (KiB) 119620

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

[startup+823.913 s]
/proc/loadavg: 5.49 5.39 5.21 6/118 31062
/proc/meminfo: memFree=3093412/3368532 swapFree=1954888/1959888
[pid=27208] ppid=27206 vsize=119620 CPUtime=1636.47
/proc/27208/stat : 27208 (satake) S 27206 27208 8716 0 -1 4202496 28583 0 0 0 163203 444 0 0 20 0 5 0 1128913940 122490880 25437 4294967295 134512640 135180984 3215619584 3215619020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27208/statm: 29905 25437 68 164 0 29740 0
[pid=27208/tid=27209] ppid=27206 vsize=119620 CPUtime=2.98
/proc/27208/task/27209/stat : 27209 (satake) S 27206 27208 8716 0 -1 4202560 3236 0 0 0 87 211 0 0 15 0 5 0 1128913940 122490880 25437 4294967295 134512640 135180984 3215619584 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=27208/tid=27211] ppid=27206 vsize=119620 CPUtime=557.81
/proc/27208/task/27211/stat : 27211 (satake) R 27206 27208 8716 0 -1 4202560 7920 0 0 0 55713 68 0 0 25 0 5 0 1128913940 122490880 25437 4294967295 134512640 135180984 3215619584 3086343948 134519082 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27208/tid=27212] ppid=27206 vsize=119620 CPUtime=532.57
/proc/27208/task/27212/stat : 27212 (satake) R 27206 27208 8716 0 -1 4202560 8379 0 0 0 53174 83 0 0 25 0 5 0 1128913940 122490880 25437 4294967295 134512640 135180984 3215619584 3086278512 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27208/tid=27213] ppid=27206 vsize=119620 CPUtime=543.11
/proc/27208/task/27213/stat : 27213 (satake) R 27206 27208 8716 0 -1 4202560 8937 0 0 0 54229 82 0 0 25 0 5 0 1128913940 122490880 25437 4294967295 134512640 135180984 3215619584 3086212944 134522704 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1636.47
Current children cumulated vsize (KiB) 119620

[startup+825.503 s]
/proc/loadavg: 5.49 5.39 5.21 6/118 31062
/proc/meminfo: memFree=3093536/3368532 swapFree=1954888/1959888
[pid=27208] ppid=27206 vsize=119620 CPUtime=1639.64
/proc/27208/stat : 27208 (satake) S 27206 27208 8716 0 -1 4202496 28583 0 0 0 163520 444 0 0 20 0 5 0 1128913940 122490880 25437 4294967295 134512640 135180984 3215619584 3215619020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27208/statm: 29905 25437 68 164 0 29740 0
[pid=27208/tid=27209] ppid=27206 vsize=119620 CPUtime=2.98
/proc/27208/task/27209/stat : 27209 (satake) S 27206 27208 8716 0 -1 4202560 3236 0 0 0 87 211 0 0 15 0 5 0 1128913940 122490880 25437 4294967295 134512640 135180984 3215619584 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=27208/tid=27211] ppid=27206 vsize=119620 CPUtime=559.39
/proc/27208/task/27211/stat : 27211 (satake) R 27206 27208 8716 0 -1 4202560 7920 0 0 0 55871 68 0 0 25 0 5 0 1128913940 122490880 25437 4294967295 134512640 135180984 3215619584 3086344044 134518208 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27208/tid=27212] ppid=27206 vsize=119620 CPUtime=533.36
/proc/27208/task/27212/stat : 27212 (satake) R 27206 27208 8716 0 -1 4202560 8379 0 0 0 53253 83 0 0 25 0 5 0 1128913940 122490880 25437 4294967295 134512640 135180984 3215619584 3086278508 134519895 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27208/tid=27213] ppid=27206 vsize=119620 CPUtime=543.91
/proc/27208/task/27213/stat : 27213 (satake) R 27206 27208 8716 0 -1 4202560 8937 0 0 0 54309 82 0 0 25 0 5 0 1128913940 122490880 25437 4294967295 134512640 135180984 3215619584 3086212912 134520798 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1639.64
Current children cumulated vsize (KiB) 119620

[startup+825.903 s]
/proc/loadavg: 5.49 5.39 5.21 6/118 31062
/proc/meminfo: memFree=3093536/3368532 swapFree=1954888/1959888
[pid=27208] ppid=27206 vsize=106408 CPUtime=1640.41
/proc/27208/stat : 27208 (satake) S 27206 27208 8716 0 -1 4202496 28592 0 0 0 163597 444 0 0 17 0 3 0 1128913940 108961792 23355 4294967295 134512640 135180984 3215619584 3215619020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27208/statm: 26602 23355 77 164 0 26437 0
[pid=27208/tid=27212] ppid=27206 vsize=106408 CPUtime=533.56
/proc/27208/task/27212/stat : 27212 (satake) R 27206 27208 8716 0 -1 4202560 8379 0 0 0 53273 83 0 0 25 0 3 0 1128913940 108961792 23355 4294967295 134512640 135180984 3215619584 3086278512 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27208/tid=27213] ppid=27206 vsize=106408 CPUtime=544.12
/proc/27208/task/27213/stat : 27213 (satake) R 27206 27208 8716 0 -1 4202560 8937 0 0 0 54330 82 0 0 25 0 3 0 1128913940 108961792 23355 4294967295 134512640 135180984 3215619584 3086212976 134528465 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1640.41
Current children cumulated vsize (KiB) 106408

[startup+826.303 s]
/proc/loadavg: 5.49 5.39 5.21 5/116 31066
/proc/meminfo: memFree=3101944/3368532 swapFree=1954888/1959888
[pid=27208] ppid=27206 vsize=95356 CPUtime=1641.18
/proc/27208/stat : 27208 (satake) S 27206 27208 8716 0 -1 4202496 28592 0 0 0 163674 444 0 0 17 0 2 0 1128913940 97644544 21808 4294967295 134512640 135180984 3215619584 3215619020 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27208/statm: 23839 21808 77 164 0 23674 0
[pid=27208/tid=27212] ppid=27206 vsize=95356 CPUtime=533.96
/proc/27208/task/27212/stat : 27212 (satake) R 27206 27208 8716 0 -1 4202560 8379 0 0 0 53313 83 0 0 25 0 2 0 1128913940 97644544 21808 4294967295 134512640 135180984 3215619584 3086278504 134520896 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1641.18
Current children cumulated vsize (KiB) 95356

Child status: 4
Real time (s): 826.383
CPU time (s): 1641.25
CPU user time (s): 1636.81
CPU system time (s): 4.44
CPU usage (%): 198.607
Max. virtual memory (cumulated for all children) (KiB): 119620


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1636.81
system time used= 4.44
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28593
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= 1263856
involuntary context switches= 1305834

runsolver used 0.01 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 02:14:59
IDJOB=1779220
IDBENCH=70822
IDSOLVER=629
FILE ID=/1779220-1243642499
PBS_JOBID=
Free space on /tmp= 15879 MiB

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

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

MD5SUM BENCH= 5c56557463274332c6704b6432dfc42b
RANDOM SEED= 2134304111

Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
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.43
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.105
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.11
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.105
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.105
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:       3196044 kB
Buffers:         12788 kB
Cached:          84992 kB
SwapCached:        720 kB
Active:          54580 kB
Inactive:        59008 kB
HighTotal:     2489216 kB
HighFree:      2384264 kB
LowTotal:       879316 kB
LowFree:        811780 kB
SwapTotal:     1959888 kB
SwapFree:      1954888 kB
Dirty:            4896 kB
Writeback:           0 kB
AnonPages:       15056 kB
Mapped:           6116 kB
Slab:            47684 kB
SReclaimable:    40204 kB
SUnreclaim:       7480 kB
PageTables:        720 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   117260 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15879 MiB
End job on  at 2009-05-30 02:28:46