Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (exit code) | 457.84 | 458.001 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-qiu.opb |
MD5SUM | 644f01bea590fadfbdc9e969c95da3cf |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 23808 |
Total number of constraints | 1192 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1192 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 5940 |
Number of terms in the objective function | 7968 |
Biggest coefficient in the objective function | 993 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 530424 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 530424 |
Number of bits of the biggest sum of numbers | 20 |
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 457.99 c starting to Solve 457.99 Assertion failed: x >= lb; file glpmip2.c; line 230
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/node17/watcher-85103-1154164839 -o ROOT/results/node17/solver-85103-1154164839 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node17/85103-1154164839/instance-85103-1154164839.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.96 0.91 3/64 25874 /proc/meminfo: memFree=1422888/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=268 CPUtime=0 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 163344512 274432 23 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 2859812 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 67 23 18 40 0 2 0 [startup+10.003 s] /proc/loadavg: 0.99 0.96 0.91 2/64 25874 /proc/meminfo: memFree=1409200/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=16060 CPUtime=9.99 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 7606 0 0 0 996 3 0 0 25 0 1 0 163344512 16445440 3643 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582191 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4015 3643 221 40 0 3432 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 16060 [startup+20.0098 s] /proc/loadavg: 0.99 0.96 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=19.99 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 13949 0 0 0 1993 6 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 17644 [startup+30.0167 s] /proc/loadavg: 0.99 0.96 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=29.99 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 26479 0 0 0 2987 12 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629233 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 17644 [startup+40.0226 s] /proc/loadavg: 0.99 0.96 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=39.99 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 39009 0 0 0 3982 17 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629241 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 17644 [startup+50.0294 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=50 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 49749 0 0 0 4979 21 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542163 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 17644 [startup+60.0353 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=60.01 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 61384 0 0 0 5974 27 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629084 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 17644 [startup+70.0421 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407344/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=70.01 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 73019 0 0 0 6970 31 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 17644 [startup+80.049 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=80.01 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 83759 0 0 0 7965 36 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 17644 [startup+90.0548 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=90.01 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 94499 0 0 0 8960 41 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 17644 [startup+100.061 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=100.01 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 106134 0 0 0 9955 46 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 17644 [startup+110.068 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1404400/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=18216 CPUtime=110.02 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 117769 0 0 0 10951 51 0 0 25 0 1 0 163344512 18653184 4100 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4458 4100 250 40 0 3875 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 18216 [startup+120.074 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=120.02 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 128509 0 0 0 11946 56 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 17644 [startup+130.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=130.02 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 139253 0 0 0 12942 60 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629208 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 17644 [startup+140.086 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=140.02 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 150017 0 0 0 13937 65 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542184 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 17644 [startup+150.092 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=150.03 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 160781 0 0 0 14934 69 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 17644 [startup+160.098 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=160.03 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 171545 0 0 0 15929 74 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 17644 [startup+170.104 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=170.04 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 184125 0 0 0 16924 80 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 17644 [startup+180.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=180.04 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 194913 0 0 0 17919 85 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 17644 [startup+190.115 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=190.04 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 206630 0 0 0 18915 89 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629287 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 17644 [startup+200.121 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=200.04 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 217478 0 0 0 19910 94 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 17644 [startup+210.127 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 ################ # More data... # ################ Current children cumulated CPU time (s) 240.12 Current children cumulated vsize (Kb) 17644 [startup+250.219 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407472/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=250.13 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 269014 0 0 0 24896 117 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134628964 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 250.13 Current children cumulated vsize (Kb) 17644 [startup+260.224 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407472/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=260.13 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 278980 0 0 0 25892 121 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629289 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 260.13 Current children cumulated vsize (Kb) 17644 [startup+270.23 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=270.13 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 288040 0 0 0 26888 125 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134537575 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 270.13 Current children cumulated vsize (Kb) 17644 [startup+280.236 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=280.13 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 298006 0 0 0 27884 129 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542163 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 280.13 Current children cumulated vsize (Kb) 17644 [startup+290.242 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1405168/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=20484 CPUtime=290.13 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 307836 0 0 0 28880 133 0 0 25 0 1 0 163344512 20975616 4755 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134636104 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 5121 4755 227 40 0 4538 0 Current children cumulated CPU time (s) 290.13 Current children cumulated vsize (Kb) 20484 [startup+300.248 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1405552/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=20100 CPUtime=300.14 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 318788 0 0 0 29876 138 0 0 25 0 1 0 163344512 20582400 4667 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542173 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 5025 4667 227 40 0 4442 0 Current children cumulated CPU time (s) 300.14 Current children cumulated vsize (Kb) 20100 [startup+310.254 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=310.14 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 329214 0 0 0 30871 143 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 310.14 Current children cumulated vsize (Kb) 17644 [startup+320.26 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=320.14 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 341174 0 0 0 31866 148 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542156 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 320.14 Current children cumulated vsize (Kb) 17644 [startup+330.266 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=330.14 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 352214 0 0 0 32862 152 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629196 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 330.14 Current children cumulated vsize (Kb) 17644 [startup+340.273 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=340.15 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 362334 0 0 0 33858 157 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 340.15 Current children cumulated vsize (Kb) 17644 [startup+350.28 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=350.15 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 373374 0 0 0 34853 162 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 350.15 Current children cumulated vsize (Kb) 17644 [startup+360.287 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=360.15 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 383494 0 0 0 35849 166 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 360.15 Current children cumulated vsize (Kb) 17644 [startup+370.294 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=370.16 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 393614 0 0 0 36845 171 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 370.16 Current children cumulated vsize (Kb) 17644 [startup+380.301 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=380.17 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 403734 0 0 0 37841 176 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542131 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 380.17 Current children cumulated vsize (Kb) 17644 [startup+390.307 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=390.16 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 414774 0 0 0 38836 180 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 390.16 Current children cumulated vsize (Kb) 17644 [startup+400.312 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=400.17 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 425814 0 0 0 39832 185 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629086 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 400.17 Current children cumulated vsize (Kb) 17644 [startup+410.319 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=410.17 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 435934 0 0 0 40828 189 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 410.17 Current children cumulated vsize (Kb) 17644 [startup+420.325 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=420.17 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 446974 0 0 0 41823 194 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629287 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 420.17 Current children cumulated vsize (Kb) 17644 [startup+430.331 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1404272/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=430.17 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 457094 0 0 0 42818 199 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542907 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 430.17 Current children cumulated vsize (Kb) 17644 [startup+440.337 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=440.17 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 467235 0 0 0 43814 203 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 440.17 Current children cumulated vsize (Kb) 17644 [startup+450.344 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25874 /proc/meminfo: memFree=1407408/2055920 swapFree=4183520/4192956 [pid=25874] ppid=25872 vsize=17644 CPUtime=450.18 /proc/25874/stat : 25874 (glpPBv3) R 25872 25874 25825 0 -1 0 477388 0 0 0 44810 208 0 0 25 0 1 0 163344512 18067456 4053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 1 0 0 /proc/25874/statm: 4411 4053 227 40 0 3828 0 Current children cumulated CPU time (s) 450.18 Current children cumulated vsize (Kb) 17644 Child status: 1 Real time (s): 458.001 CPU time (s): 457.84 CPU user time (s): 455.719 CPU system time (s): 2.12168 CPU usage (%): 99.965 Max. virtual memory (cumulated for all children) (Kb): 20484 The end
Begin job on node17 on Sat Jul 29 09:20:39 UTC 2006 FILE ID= 85103-1154164839 PBS_JOBID= 892877 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-qiu.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node17/85103-1154164839/instance-85103-1154164839.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-85103-1154164839 -o ROOT/results/node17/solver-85103-1154164839 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node17/85103-1154164839/instance-85103-1154164839.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= 644f01bea590fadfbdc9e969c95da3cf RANDOM SEED= 191503234 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.263 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.263 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: 1423096 kB Buffers: 35844 kB Cached: 523232 kB SwapCached: 3080 kB Active: 48460 kB Inactive: 519016 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1423096 kB SwapTotal: 4192956 kB SwapFree: 4183520 kB Dirty: 176 kB Writeback: 0 kB Mapped: 14460 kB Slab: 51316 kB Committed_AS: 756280 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node17 on Sat Jul 29 09:28:17 UTC 2006