Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.53 | 1801.17 |
Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:70:4.5:0.95:98.opb |
MD5SUM | dae2a99f19ab3cbb5b0fd1a29cad1e80 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 203 |
Best CPU time to get the best result obtained on this benchmark | 1801.22 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 203 |
Optimality of the best value was proved | NO |
Number of variables | 10989 |
Total number of constraints | 12472 |
Number of constraints which are clauses | 10469 |
Number of constraints which are cardinality constraints (but not clauses) | 2003 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 25 |
Number of terms in the objective function | 10989 |
Biggest coefficient in the objective function | 5985 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 32028 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 5985 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 32028 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c glpPB 0.2 (July 2006) 0.00 c An Application of GLPK 4.10 for PB Constraints 0.00 c Done @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node61/watcher-85437-1154171611 -o ROOT/results/node61/solver-85437-1154171611 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node61/85437-1154171611/instance-85437-1154171611.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.85 0.95 0.90 2/64 18084 /proc/meminfo: memFree=1305928/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=2376 CPUtime=0 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 168 0 0 0 0 0 0 0 19 0 1 0 164031305 2433024 138 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4160279648 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 594 150 128 40 0 11 0 [startup+10.0028 s] /proc/loadavg: 0.87 0.95 0.90 2/64 18084 /proc/meminfo: memFree=1293336/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=14720 CPUtime=9.99 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 5360 0 0 0 996 3 0 0 25 0 1 0 164031305 15073280 3300 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643288 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 3680 3300 221 40 0 3097 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 14720 [startup+20.0096 s] /proc/loadavg: 0.89 0.96 0.91 2/64 18084 /proc/meminfo: memFree=1292568/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=15456 CPUtime=19.99 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 7809 0 0 0 1995 4 0 0 25 0 1 0 164031305 15826944 3484 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134584687 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 3864 3484 221 40 0 3281 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 15456 [startup+30.0163 s] /proc/loadavg: 0.91 0.96 0.91 2/64 18084 /proc/meminfo: memFree=1293272/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=14812 CPUtime=30 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 10245 0 0 0 2993 7 0 0 25 0 1 0 164031305 15167488 3323 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582806 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 3703 3323 221 40 0 3120 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 14812 [startup+40.0231 s] /proc/loadavg: 0.92 0.96 0.91 2/64 18084 /proc/meminfo: memFree=1293272/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=14812 CPUtime=40 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 12260 0 0 0 3992 8 0 0 25 0 1 0 164031305 15167488 3323 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643583 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 3703 3323 221 40 0 3120 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 14812 [startup+50.0299 s] /proc/loadavg: 0.93 0.96 0.91 2/64 18084 /proc/meminfo: memFree=1293272/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=14812 CPUtime=50 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 14080 0 0 0 4990 10 0 0 25 0 1 0 164031305 15167488 3323 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134584430 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 3703 3323 221 40 0 3120 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 14812 [startup+60.0356 s] /proc/loadavg: 0.94 0.96 0.91 2/64 18084 /proc/meminfo: memFree=1293336/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=14812 CPUtime=60.01 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 15770 0 0 0 5990 11 0 0 25 0 1 0 164031305 15167488 3323 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582915 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 3703 3323 221 40 0 3120 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 14812 [startup+70.0424 s] /proc/loadavg: 0.95 0.96 0.91 2/64 18084 /proc/meminfo: memFree=1293336/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=14812 CPUtime=70.01 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 17460 0 0 0 6989 12 0 0 25 0 1 0 164031305 15167488 3323 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643323 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 3703 3323 221 40 0 3120 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 14812 [startup+80.0491 s] /proc/loadavg: 0.96 0.96 0.91 2/64 18084 /proc/meminfo: memFree=1293336/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=14812 CPUtime=80.01 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 19085 0 0 0 7988 13 0 0 25 0 1 0 164031305 15167488 3323 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582901 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 3703 3323 221 40 0 3120 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 14812 [startup+90.0549 s] /proc/loadavg: 0.96 0.96 0.91 2/64 18084 /proc/meminfo: memFree=1293336/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=14812 CPUtime=90.01 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 20710 0 0 0 8987 14 0 0 25 0 1 0 164031305 15167488 3323 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134583759 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 3703 3323 221 40 0 3120 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 14812 [startup+100.061 s] /proc/loadavg: 0.97 0.96 0.91 2/64 18084 /proc/meminfo: memFree=1293336/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=14812 CPUtime=100.01 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 22335 0 0 0 9986 15 0 0 25 0 1 0 164031305 15167488 3323 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134584693 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 3703 3323 221 40 0 3120 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 14812 [startup+110.067 s] /proc/loadavg: 0.97 0.96 0.91 2/64 18084 /proc/meminfo: memFree=1293336/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=14812 CPUtime=110.02 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 24025 0 0 0 10986 16 0 0 25 0 1 0 164031305 15167488 3323 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643360 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 3703 3323 221 40 0 3120 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 14812 [startup+120.073 s] /proc/loadavg: 0.98 0.97 0.91 2/64 18084 /proc/meminfo: memFree=1293272/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=15104 CPUtime=120.02 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 25715 0 0 0 11985 17 0 0 25 0 1 0 164031305 15466496 3388 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134640083 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 3776 3388 221 40 0 3193 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 15104 [startup+130.079 s] /proc/loadavg: 0.98 0.97 0.91 2/64 18084 /proc/meminfo: memFree=1288920/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=19220 CPUtime=130.03 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 28373 0 0 0 12984 19 0 0 25 0 1 0 164031305 19681280 4431 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543225 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 4805 4431 227 40 0 4222 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 19220 [startup+140.085 s] /proc/loadavg: 0.98 0.97 0.91 2/64 18084 /proc/meminfo: memFree=1288920/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=19220 CPUtime=140.03 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 28373 0 0 0 13984 19 0 0 25 0 1 0 164031305 19681280 4431 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 4805 4431 227 40 0 4222 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 19220 [startup+150.09 s] /proc/loadavg: 0.98 0.97 0.91 2/64 18084 /proc/meminfo: memFree=1288920/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=19220 CPUtime=150.03 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 29173 0 0 0 14984 19 0 0 25 0 1 0 164031305 19681280 4431 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 4805 4431 227 40 0 4222 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 19220 [startup+160.096 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18084 /proc/meminfo: memFree=1288920/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=19220 CPUtime=160.03 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 29173 0 0 0 15984 19 0 0 25 0 1 0 164031305 19681280 4431 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543225 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 4805 4431 227 40 0 4222 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 19220 [startup+170.102 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18084 /proc/meminfo: memFree=1286872/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=21480 CPUtime=170.03 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 29795 0 0 0 16984 19 0 0 25 0 1 0 164031305 21995520 4987 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643197 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 5370 4987 227 40 0 4787 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 21480 [startup+180.108 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18084 /proc/meminfo: memFree=1288920/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=19220 CPUtime=180.03 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 29984 0 0 0 17984 19 0 0 25 0 1 0 164031305 19681280 4431 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643323 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 4805 4431 227 40 0 4222 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 19220 [startup+190.114 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18084 /proc/meminfo: memFree=1288920/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=19220 CPUtime=190.03 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 29984 0 0 0 18984 19 0 0 25 0 1 0 164031305 19681280 4431 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134626346 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 4805 4431 227 40 0 4222 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 19220 [startup+200.119 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18084 /proc/meminfo: memFree=1288920/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=19220 CPUtime=200.04 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 30795 0 0 0 19984 20 0 0 25 0 1 0 164031305 19681280 4431 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542262 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 4805 4431 227 40 0 4222 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 19220 [startup+210.125 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18084 ################ # More data... # ################ /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 79200 0 0 0 178097 45 0 0 25 0 1 0 164031305 19681280 4431 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643305 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 4805 4431 227 40 0 4222 0 Current children cumulated CPU time (s) 1781.42 Current children cumulated vsize (Kb) 19220 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18086 /proc/meminfo: memFree=1288856/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=19220 CPUtime=1782.43 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 79200 0 0 0 178198 45 0 0 25 0 1 0 164031305 19681280 4431 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643302 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 4805 4431 227 40 0 4222 0 Current children cumulated CPU time (s) 1782.43 Current children cumulated vsize (Kb) 19220 [startup+1784.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18086 /proc/meminfo: memFree=1288856/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=19220 CPUtime=1783.43 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 79200 0 0 0 178298 45 0 0 25 0 1 0 164031305 19681280 4431 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643272 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 4805 4431 227 40 0 4222 0 Current children cumulated CPU time (s) 1783.43 Current children cumulated vsize (Kb) 19220 [startup+1785.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18086 /proc/meminfo: memFree=1288856/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=19220 CPUtime=1784.43 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 79200 0 0 0 178398 45 0 0 25 0 1 0 164031305 19681280 4431 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 4805 4431 227 40 0 4222 0 Current children cumulated CPU time (s) 1784.43 Current children cumulated vsize (Kb) 19220 [startup+1786.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18086 /proc/meminfo: memFree=1288856/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=19220 CPUtime=1785.44 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 79200 0 0 0 178499 45 0 0 25 0 1 0 164031305 19681280 4431 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632414 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 4805 4431 227 40 0 4222 0 Current children cumulated CPU time (s) 1785.44 Current children cumulated vsize (Kb) 19220 [startup+1787.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18086 /proc/meminfo: memFree=1288856/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=19220 CPUtime=1786.44 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 79200 0 0 0 178599 45 0 0 25 0 1 0 164031305 19681280 4431 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632402 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 4805 4431 227 40 0 4222 0 Current children cumulated CPU time (s) 1786.44 Current children cumulated vsize (Kb) 19220 [startup+1788.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18086 /proc/meminfo: memFree=1288856/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=19220 CPUtime=1787.45 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 79200 0 0 0 178700 45 0 0 25 0 1 0 164031305 19681280 4431 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 4805 4431 227 40 0 4222 0 Current children cumulated CPU time (s) 1787.45 Current children cumulated vsize (Kb) 19220 [startup+1789.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18086 /proc/meminfo: memFree=1288856/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=19220 CPUtime=1788.45 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 79200 0 0 0 178800 45 0 0 25 0 1 0 164031305 19681280 4431 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632762 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 4805 4431 227 40 0 4222 0 Current children cumulated CPU time (s) 1788.45 Current children cumulated vsize (Kb) 19220 [startup+1790.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18086 /proc/meminfo: memFree=1288856/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=19220 CPUtime=1789.46 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 79200 0 0 0 178901 45 0 0 25 0 1 0 164031305 19681280 4431 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 4805 4431 227 40 0 4222 0 Current children cumulated CPU time (s) 1789.46 Current children cumulated vsize (Kb) 19220 [startup+1791.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18086 /proc/meminfo: memFree=1288856/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=19220 CPUtime=1790.46 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 79200 0 0 0 179001 45 0 0 25 0 1 0 164031305 19681280 4431 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632414 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 4805 4431 227 40 0 4222 0 Current children cumulated CPU time (s) 1790.46 Current children cumulated vsize (Kb) 19220 [startup+1792.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18086 /proc/meminfo: memFree=1288856/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=19220 CPUtime=1791.47 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 79200 0 0 0 179102 45 0 0 25 0 1 0 164031305 19681280 4431 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 4805 4431 227 40 0 4222 0 Current children cumulated CPU time (s) 1791.47 Current children cumulated vsize (Kb) 19220 [startup+1793.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18086 /proc/meminfo: memFree=1288856/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=19220 CPUtime=1792.47 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 79200 0 0 0 179202 45 0 0 25 0 1 0 164031305 19681280 4431 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542262 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 4805 4431 227 40 0 4222 0 Current children cumulated CPU time (s) 1792.47 Current children cumulated vsize (Kb) 19220 [startup+1794.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18086 /proc/meminfo: memFree=1288856/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=19220 CPUtime=1793.48 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 79200 0 0 0 179303 45 0 0 25 0 1 0 164031305 19681280 4431 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 4805 4431 227 40 0 4222 0 Current children cumulated CPU time (s) 1793.48 Current children cumulated vsize (Kb) 19220 [startup+1795.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18086 /proc/meminfo: memFree=1288856/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=19220 CPUtime=1794.48 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 79200 0 0 0 179403 45 0 0 25 0 1 0 164031305 19681280 4431 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632771 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 4805 4431 227 40 0 4222 0 Current children cumulated CPU time (s) 1794.48 Current children cumulated vsize (Kb) 19220 [startup+1796.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18086 /proc/meminfo: memFree=1288856/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=19220 CPUtime=1795.49 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 79200 0 0 0 179504 45 0 0 25 0 1 0 164031305 19681280 4431 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 4805 4431 227 40 0 4222 0 Current children cumulated CPU time (s) 1795.49 Current children cumulated vsize (Kb) 19220 [startup+1797.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18086 /proc/meminfo: memFree=1288856/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=19220 CPUtime=1796.49 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 79200 0 0 0 179604 45 0 0 25 0 1 0 164031305 19681280 4431 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 4805 4431 227 40 0 4222 0 Current children cumulated CPU time (s) 1796.49 Current children cumulated vsize (Kb) 19220 [startup+1798.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18086 /proc/meminfo: memFree=1288856/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=19220 CPUtime=1797.49 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 79200 0 0 0 179704 45 0 0 25 0 1 0 164031305 19681280 4431 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632405 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 4805 4431 227 40 0 4222 0 Current children cumulated CPU time (s) 1797.49 Current children cumulated vsize (Kb) 19220 [startup+1799.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18086 /proc/meminfo: memFree=1288856/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=19220 CPUtime=1798.5 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 79200 0 0 0 179805 45 0 0 25 0 1 0 164031305 19681280 4431 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542262 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 4805 4431 227 40 0 4222 0 Current children cumulated CPU time (s) 1798.5 Current children cumulated vsize (Kb) 19220 [startup+1800.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18086 /proc/meminfo: memFree=1288856/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=19220 CPUtime=1799.5 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 79200 0 0 0 179905 45 0 0 25 0 1 0 164031305 19681280 4431 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632554 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 4805 4431 227 40 0 4222 0 Current children cumulated CPU time (s) 1799.5 Current children cumulated vsize (Kb) 19220 [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18086 /proc/meminfo: memFree=1288856/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=19220 CPUtime=1800.51 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 79200 0 0 0 180006 45 0 0 25 0 1 0 164031305 19681280 4431 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632895 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 4805 4431 227 40 0 4222 0 Current children cumulated CPU time (s) 1800.51 Current children cumulated vsize (Kb) 19220 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18086 /proc/meminfo: memFree=1288856/2055920 swapFree=4183096/4192956 [pid=18084] ppid=18082 vsize=19220 CPUtime=1800.51 /proc/18084/stat : 18084 (glpPBv3) R 18082 18084 18035 0 -1 0 79200 0 0 0 180006 45 0 0 25 0 1 0 164031305 19681280 4431 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/18084/statm: 4805 4431 227 40 0 4222 0 Current children cumulated CPU time (s) 1800.51 Current children cumulated vsize (Kb) 19220 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.17 CPU time (s): 1800.53 CPU user time (s): 1800.07 CPU system time (s): 0.45993 CPU usage (%): 99.9643 Max. virtual memory (cumulated for all children) (Kb): 21532 The end
Begin job on node61 on Sat Jul 29 11:13:31 UTC 2006 FILE ID= 85437-1154171611 PBS_JOBID= 893211 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:98.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node61/85437-1154171611/instance-85437-1154171611.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-85437-1154171611 -o ROOT/results/node61/solver-85437-1154171611 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node61/85437-1154171611/instance-85437-1154171611.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= dae2a99f19ab3cbb5b0fd1a29cad1e80 RANDOM SEED= 582383340 TIMEOUT= 1800 seconds /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.267 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.267 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1306136 kB Buffers: 42084 kB Cached: 628792 kB SwapCached: 4024 kB Active: 89348 kB Inactive: 590324 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1306136 kB SwapTotal: 4192956 kB SwapFree: 4183096 kB Dirty: 272 kB Writeback: 0 kB Mapped: 14820 kB Slab: 56268 kB Committed_AS: 1151980 kB PageTables: 1404 kB VmallocTotal: 536870911 kB VmallocUsed: 264884 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node61 on Sat Jul 29 11:43:32 UTC 2006