Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.75 | 1801.2 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-stocfor2.opb |
MD5SUM | cbc7f776eebadde6a6228c5e168c70a1 |
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 | 60930 |
Total number of constraints | 2157 |
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 | 2157 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 450 |
Number of terms in the objective function | 31770 |
Biggest coefficient in the objective function | 2474 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 550404 |
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 | 550404 |
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
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/node39/watcher-85054-1154164434 -o ROOT/results/node39/solver-85054-1154164434 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node39/85054-1154164434/instance-85054-1154164434.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.98 0.98 0.91 2/64 2042 /proc/meminfo: memFree=1147288/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=2384 CPUtime=0 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 218 0 0 0 0 0 0 0 18 0 1 0 163314618 2441216 188 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 596 194 171 40 0 13 0 [startup+10.0019 s] /proc/loadavg: 0.98 0.98 0.91 2/64 2042 /proc/meminfo: memFree=1112672/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=37068 CPUtime=9.99 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 9925 0 0 0 994 5 0 0 25 0 1 0 163314618 37957632 8863 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134583228 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 9267 8863 221 40 0 8684 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 37068 [startup+20.0078 s] /proc/loadavg: 0.99 0.98 0.91 2/64 2042 /proc/meminfo: memFree=1112800/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=37068 CPUtime=19.99 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 9925 0 0 0 1994 5 0 0 25 0 1 0 163314618 37957632 8863 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582823 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 9267 8863 221 40 0 8684 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 37068 [startup+30.0148 s] /proc/loadavg: 0.99 0.98 0.91 2/64 2042 /proc/meminfo: memFree=1112864/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=37068 CPUtime=30 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 9925 0 0 0 2994 6 0 0 25 0 1 0 163314618 37957632 8863 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134584745 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 9267 8863 221 40 0 8684 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 37068 [startup+40.0197 s] /proc/loadavg: 0.99 0.98 0.91 2/64 2042 /proc/meminfo: memFree=1112864/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=37068 CPUtime=40.01 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 9925 0 0 0 3994 7 0 0 25 0 1 0 163314618 37957632 8863 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134590082 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 9267 8863 221 40 0 8684 0 Current children cumulated CPU time (s) 40.01 Current children cumulated vsize (Kb) 37068 [startup+50.0256 s] /proc/loadavg: 0.99 0.98 0.91 2/64 2042 /proc/meminfo: memFree=1112864/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=37068 CPUtime=50 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 9925 0 0 0 4993 7 0 0 25 0 1 0 163314618 37957632 8863 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 9267 8863 221 40 0 8684 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 37068 [startup+60.0315 s] /proc/loadavg: 0.99 0.98 0.91 2/64 2042 /proc/meminfo: memFree=1112864/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=37068 CPUtime=60.01 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 9925 0 0 0 5993 8 0 0 25 0 1 0 163314618 37957632 8863 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582832 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 9267 8863 221 40 0 8684 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 37068 [startup+70.0374 s] /proc/loadavg: 0.99 0.98 0.91 2/64 2042 /proc/meminfo: memFree=1112864/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=37068 CPUtime=70.01 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 11211 0 0 0 6992 9 0 0 25 0 1 0 163314618 37957632 8863 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 9267 8863 221 40 0 8684 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 37068 [startup+80.0434 s] /proc/loadavg: 0.99 0.98 0.91 2/64 2042 /proc/meminfo: memFree=1108640/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=80.02 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 29537 0 0 0 7984 18 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 41204 [startup+90.0493 s] /proc/loadavg: 0.99 0.98 0.91 2/64 2042 /proc/meminfo: memFree=1108640/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=90.02 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 50551 0 0 0 8975 27 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632416 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 41204 [startup+100.054 s] /proc/loadavg: 0.99 0.98 0.91 2/64 2042 /proc/meminfo: memFree=1108640/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=100.02 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 56555 0 0 0 9973 29 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542064 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 41204 [startup+110.06 s] /proc/loadavg: 0.99 0.98 0.91 2/64 2042 /proc/meminfo: memFree=1108640/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=110.03 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 65561 0 0 0 10970 33 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 41204 [startup+120.066 s] /proc/loadavg: 0.99 0.98 0.91 2/64 2042 /proc/meminfo: memFree=1108640/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=120.02 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 68563 0 0 0 11968 34 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 41204 [startup+130.072 s] /proc/loadavg: 0.99 0.98 0.91 2/64 2042 /proc/meminfo: memFree=1108640/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=130.03 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 71565 0 0 0 12967 36 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 41204 [startup+140.078 s] /proc/loadavg: 0.99 0.98 0.91 2/64 2042 /proc/meminfo: memFree=1108640/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=140.03 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 74567 0 0 0 13966 37 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629287 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 41204 [startup+150.085 s] /proc/loadavg: 0.99 0.98 0.91 2/64 2042 /proc/meminfo: memFree=1108640/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=150.04 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 77569 0 0 0 14965 39 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629253 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 41204 [startup+160.091 s] /proc/loadavg: 0.99 0.98 0.91 2/64 2042 /proc/meminfo: memFree=1108640/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=160.04 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 80571 0 0 0 15964 40 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 41204 [startup+170.097 s] /proc/loadavg: 0.99 0.98 0.91 2/64 2042 /proc/meminfo: memFree=1108640/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=170.05 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 83573 0 0 0 16964 41 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542068 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 41204 [startup+180.103 s] /proc/loadavg: 0.99 0.98 0.91 2/64 2042 /proc/meminfo: memFree=1108640/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=180.05 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 86575 0 0 0 17963 42 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629246 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 41204 [startup+190.108 s] /proc/loadavg: 0.99 0.98 0.91 2/64 2042 /proc/meminfo: memFree=1108704/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=190.06 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 89577 0 0 0 18962 44 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 190.06 Current children cumulated vsize (Kb) 41204 [startup+200.114 s] /proc/loadavg: 0.99 0.98 0.91 2/64 2042 /proc/meminfo: memFree=1108704/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=200.06 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 92579 0 0 0 19961 45 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632605 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 41204 [startup+210.121 s] /proc/loadavg: 0.99 0.98 0.91 2/64 2042 ################ # More data... # ################ /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 602919 0 0 0 177894 270 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629267 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (Kb) 41204 [startup+1783.09 s] /proc/loadavg: 1.00 1.00 0.91 2/64 2044 /proc/meminfo: memFree=1108576/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=1782.65 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 602919 0 0 0 177995 270 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 1782.65 Current children cumulated vsize (Kb) 41204 [startup+1784.09 s] /proc/loadavg: 1.00 1.00 0.91 2/64 2044 /proc/meminfo: memFree=1108576/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=1783.65 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 602919 0 0 0 178095 270 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 1783.65 Current children cumulated vsize (Kb) 41204 [startup+1785.1 s] /proc/loadavg: 1.00 1.00 0.91 2/64 2044 /proc/meminfo: memFree=1108576/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=1784.66 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 602919 0 0 0 178196 270 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 1784.66 Current children cumulated vsize (Kb) 41204 [startup+1786.1 s] /proc/loadavg: 1.00 1.00 0.91 2/64 2044 /proc/meminfo: memFree=1108576/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=1785.66 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 602919 0 0 0 178296 270 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 1785.66 Current children cumulated vsize (Kb) 41204 [startup+1787.11 s] /proc/loadavg: 1.00 1.00 0.91 2/64 2044 /proc/meminfo: memFree=1108576/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=1786.66 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 605921 0 0 0 178395 271 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 1786.66 Current children cumulated vsize (Kb) 41204 [startup+1788.11 s] /proc/loadavg: 1.00 1.00 0.91 2/64 2044 /proc/meminfo: memFree=1108576/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=1787.67 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 605921 0 0 0 178496 271 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629276 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 1787.67 Current children cumulated vsize (Kb) 41204 [startup+1789.12 s] /proc/loadavg: 1.00 1.00 0.91 2/64 2044 /proc/meminfo: memFree=1108576/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=1788.67 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 605921 0 0 0 178596 271 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 1788.67 Current children cumulated vsize (Kb) 41204 [startup+1790.12 s] /proc/loadavg: 1.00 1.00 0.91 2/64 2044 /proc/meminfo: memFree=1108576/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=1789.68 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 605921 0 0 0 178697 271 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542146 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 1789.68 Current children cumulated vsize (Kb) 41204 [startup+1791.13 s] /proc/loadavg: 1.00 1.00 0.91 2/64 2044 /proc/meminfo: memFree=1108576/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=1790.68 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 605921 0 0 0 178797 271 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543275 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 1790.68 Current children cumulated vsize (Kb) 41204 [startup+1792.13 s] /proc/loadavg: 1.00 1.00 0.91 2/64 2044 /proc/meminfo: memFree=1108576/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=1791.69 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 605921 0 0 0 178898 271 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 1791.69 Current children cumulated vsize (Kb) 41204 [startup+1793.14 s] /proc/loadavg: 1.00 1.00 0.91 2/64 2044 /proc/meminfo: memFree=1108576/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=1792.69 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 605921 0 0 0 178998 271 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632405 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 1792.69 Current children cumulated vsize (Kb) 41204 [startup+1794.14 s] /proc/loadavg: 1.00 1.00 0.91 2/64 2044 /proc/meminfo: memFree=1108576/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=1793.69 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 605921 0 0 0 179098 271 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542134 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 1793.69 Current children cumulated vsize (Kb) 41204 [startup+1795.15 s] /proc/loadavg: 1.00 1.00 0.91 2/64 2044 /proc/meminfo: memFree=1108576/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=1794.7 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 605921 0 0 0 179199 271 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 1794.7 Current children cumulated vsize (Kb) 41204 [startup+1796.15 s] /proc/loadavg: 1.00 1.00 0.91 2/64 2044 /proc/meminfo: memFree=1108576/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=1795.71 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 608923 0 0 0 179298 273 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 1795.71 Current children cumulated vsize (Kb) 41204 [startup+1797.16 s] /proc/loadavg: 1.00 1.00 0.91 2/64 2044 /proc/meminfo: memFree=1108576/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=1796.72 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 608923 0 0 0 179399 273 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 1796.72 Current children cumulated vsize (Kb) 41204 [startup+1798.16 s] /proc/loadavg: 1.00 1.00 0.91 2/64 2044 /proc/meminfo: memFree=1108576/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=1797.72 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 608923 0 0 0 179499 273 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 1797.72 Current children cumulated vsize (Kb) 41204 [startup+1799.17 s] /proc/loadavg: 1.00 1.00 0.91 2/64 2044 /proc/meminfo: memFree=1108576/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=1798.72 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 608923 0 0 0 179599 273 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542146 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 1798.72 Current children cumulated vsize (Kb) 41204 [startup+1800.17 s] /proc/loadavg: 1.00 1.00 0.91 2/64 2044 /proc/meminfo: memFree=1108576/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=1799.73 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 608923 0 0 0 179700 273 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 1799.73 Current children cumulated vsize (Kb) 41204 [startup+1801.18 s] /proc/loadavg: 1.00 1.00 0.91 2/64 2044 /proc/meminfo: memFree=1108576/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=1800.73 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 608923 0 0 0 179800 273 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629196 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 1800.73 Current children cumulated vsize (Kb) 41204 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.18 s] /proc/loadavg: 1.00 1.00 0.91 2/64 2044 /proc/meminfo: memFree=1108576/2055920 swapFree=4183200/4192956 [pid=2042] ppid=2040 vsize=41204 CPUtime=1800.74 /proc/2042/stat : 2042 (glpPBv3) R 2040 2042 1988 0 -1 0 608923 0 0 0 179801 273 0 0 25 0 1 0 163314618 42192896 9913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/2042/statm: 10301 9913 227 40 0 9718 0 Current children cumulated CPU time (s) 1800.74 Current children cumulated vsize (Kb) 41204 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.2 CPU time (s): 1800.75 CPU user time (s): 1798.01 CPU system time (s): 2.73958 CPU usage (%): 99.9754 Max. virtual memory (cumulated for all children) (Kb): 50780 The end
Begin job on node39 on Sat Jul 29 09:13:54 UTC 2006 FILE ID= 85054-1154164434 PBS_JOBID= 892828 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-stocfor2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node39/85054-1154164434/instance-85054-1154164434.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-85054-1154164434 -o ROOT/results/node39/solver-85054-1154164434 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node39/85054-1154164434/instance-85054-1154164434.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= cbc7f776eebadde6a6228c5e168c70a1 RANDOM SEED= 545769983 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.214 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.214 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: 1147496 kB Buffers: 42784 kB Cached: 788132 kB SwapCached: 3648 kB Active: 152864 kB Inactive: 686776 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1147496 kB SwapTotal: 4192956 kB SwapFree: 4183200 kB Dirty: 196 kB Writeback: 0 kB Mapped: 14724 kB Slab: 54792 kB Committed_AS: 735292 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node39 on Sat Jul 29 09:43:56 UTC 2006