Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.55 | 1801.25 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-czprob.opb |
MD5SUM | c15e03ab07153a4c6592115aff440072 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 20.6829 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 98820 |
Total number of constraints | 927 |
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 | 927 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 11190 |
Number of terms in the objective function | 98250 |
Biggest coefficient in the objective function | 259 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 608626 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 608626 |
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/node54/watcher-85003-1154164109 -o ROOT/results/node54/solver-85003-1154164109 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node54/85003-1154164109/instance-85003-1154164109.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.87 0.94 0.90 3/64 10384 /proc/meminfo: memFree=1668792/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=2632 CPUtime=0 /proc/10384/stat : 10384 (glpPBv3) D 10382 10384 10335 0 -1 0 240 0 0 0 0 0 0 0 18 0 1 0 163281005 2695168 210 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/10384/statm: 658 210 185 40 0 75 0 [startup+10.0027 s] /proc/loadavg: 0.89 0.94 0.90 2/64 10384 /proc/meminfo: memFree=1623744/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=47288 CPUtime=9.99 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 12908 0 0 0 994 5 0 0 25 0 1 0 163281005 48422912 11462 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134589907 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 11822 11462 221 40 0 11239 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 47288 [startup+20.0098 s] /proc/loadavg: 0.90 0.94 0.90 2/64 10384 /proc/meminfo: memFree=1610176/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=62580 CPUtime=20.01 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 137596 0 0 0 1941 60 0 0 25 0 1 0 163281005 64081920 15296 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134600273 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 15645 15296 227 40 0 15062 0 Current children cumulated CPU time (s) 20.01 Current children cumulated vsize (Kb) 62580 [startup+30.0339 s] /proc/loadavg: 0.92 0.94 0.90 2/64 10384 /proc/meminfo: memFree=1608512/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=59848 CPUtime=30.01 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 283883 0 0 0 2877 124 0 0 25 0 1 0 163281005 61284352 14613 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 14962 14613 392 40 0 14379 0 Current children cumulated CPU time (s) 30.01 Current children cumulated vsize (Kb) 59848 [startup+40.04 s] /proc/loadavg: 0.93 0.94 0.91 2/64 10384 /proc/meminfo: memFree=1608320/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=64528 CPUtime=40.02 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 428905 0 0 0 3813 189 0 0 25 0 1 0 163281005 66076672 15785 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134580783 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 16132 15785 227 40 0 15549 0 Current children cumulated CPU time (s) 40.02 Current children cumulated vsize (Kb) 64528 [startup+50.0461 s] /proc/loadavg: 0.94 0.95 0.91 2/64 10384 /proc/meminfo: memFree=1608512/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=64140 CPUtime=50.02 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 574705 0 0 0 4748 254 0 0 25 0 1 0 163281005 65679360 15688 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134557451 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 16035 15688 227 40 0 15452 0 Current children cumulated CPU time (s) 50.02 Current children cumulated vsize (Kb) 64140 [startup+60.0522 s] /proc/loadavg: 0.95 0.95 0.91 2/64 10384 /proc/meminfo: memFree=1610688/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=61132 CPUtime=60.02 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 718852 0 0 0 5683 319 0 0 25 0 1 0 163281005 62599168 14912 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 15283 14912 227 40 0 14700 0 Current children cumulated CPU time (s) 60.02 Current children cumulated vsize (Kb) 61132 [startup+70.0583 s] /proc/loadavg: 0.96 0.95 0.91 2/64 10384 /proc/meminfo: memFree=1607168/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=64252 CPUtime=70.02 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 865531 0 0 0 6619 383 0 0 25 0 1 0 163281005 65794048 15694 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542318 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 16063 15694 227 40 0 15480 0 Current children cumulated CPU time (s) 70.02 Current children cumulated vsize (Kb) 64252 [startup+80.0643 s] /proc/loadavg: 0.96 0.95 0.91 2/64 10384 /proc/meminfo: memFree=1614080/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=57364 CPUtime=80.02 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 1008732 0 0 0 7554 448 0 0 25 0 1 0 163281005 58740736 13972 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134541989 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 14341 13972 227 40 0 13758 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 57364 [startup+90.0704 s] /proc/loadavg: 0.97 0.95 0.91 2/64 10384 /proc/meminfo: memFree=1609472/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=62692 CPUtime=90.02 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 1155478 0 0 0 8491 511 0 0 25 0 1 0 163281005 64196608 15308 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134580767 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 15673 15308 227 40 0 15090 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 62692 [startup+100.077 s] /proc/loadavg: 0.97 0.95 0.91 2/64 10384 /proc/meminfo: memFree=1617792/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=54376 CPUtime=100.03 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 1298811 0 0 0 9429 574 0 0 25 0 1 0 163281005 55681024 13231 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542318 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 13594 13231 227 40 0 13011 0 Current children cumulated CPU time (s) 100.03 Current children cumulated vsize (Kb) 54376 [startup+110.083 s] /proc/loadavg: 0.98 0.95 0.91 2/64 10384 /proc/meminfo: memFree=1614016/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=57364 CPUtime=110.03 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 1444970 0 0 0 10367 636 0 0 25 0 1 0 163281005 58740736 13980 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134541989 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 14341 13980 227 40 0 13758 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 57364 [startup+120.089 s] /proc/loadavg: 0.98 0.95 0.91 2/64 10384 /proc/meminfo: memFree=1619520/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=51644 CPUtime=120.03 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 1588952 0 0 0 11302 701 0 0 25 0 1 0 163281005 52883456 12552 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134537551 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 12911 12552 227 40 0 12328 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 51644 [startup+130.095 s] /proc/loadavg: 0.98 0.95 0.91 2/64 10384 /proc/meminfo: memFree=1615360/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=57364 CPUtime=130.03 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 1735796 0 0 0 12238 765 0 0 25 0 1 0 163281005 58740736 13986 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134558155 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 14341 13986 227 40 0 13758 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 57364 [startup+140.101 s] /proc/loadavg: 0.98 0.95 0.91 2/64 10384 /proc/meminfo: memFree=1619520/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=51644 CPUtime=140.03 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 1879776 0 0 0 13174 829 0 0 25 0 1 0 163281005 52883456 12556 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134534975 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 12911 12556 227 40 0 12328 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 51644 [startup+150.107 s] /proc/loadavg: 0.99 0.96 0.91 2/64 10384 /proc/meminfo: memFree=1617728/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=54376 CPUtime=150.04 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 2025871 0 0 0 14112 892 0 0 25 0 1 0 163281005 55681024 13241 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542318 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 13594 13241 227 40 0 13011 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 54376 [startup+160.113 s] /proc/loadavg: 0.99 0.96 0.91 2/64 10384 /proc/meminfo: memFree=1619520/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=51644 CPUtime=160.04 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 2170598 0 0 0 15047 957 0 0 25 0 1 0 163281005 52883456 12558 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134541710 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 12911 12558 227 40 0 12328 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 51644 [startup+170.119 s] /proc/loadavg: 0.99 0.96 0.91 2/64 10384 /proc/meminfo: memFree=1619520/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=51644 CPUtime=170.04 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 2316011 0 0 0 15982 1022 0 0 25 0 1 0 163281005 52883456 12561 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134569929 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 12911 12561 227 40 0 12328 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 51644 [startup+180.125 s] /proc/loadavg: 0.99 0.96 0.91 2/64 10384 /proc/meminfo: memFree=1619520/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=51644 CPUtime=180.04 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 2461421 0 0 0 16917 1087 0 0 25 0 1 0 163281005 52883456 12561 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134569956 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 12911 12561 227 40 0 12328 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 51644 [startup+190.131 s] /proc/loadavg: 0.99 0.96 0.91 2/64 10384 /proc/meminfo: memFree=1608448/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=62808 CPUtime=190.05 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 2602616 0 0 0 17856 1149 0 0 25 0 1 0 163281005 64315392 15329 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134539678 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 15702 15329 227 40 0 15119 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 62808 [startup+200.137 s] /proc/loadavg: 0.99 0.96 0.91 2/64 10384 /proc/meminfo: memFree=1619456/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=51760 CPUtime=200.05 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 2736527 0 0 0 18798 1207 0 0 25 0 1 0 163281005 53002240 12567 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134569956 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 12940 12567 227 40 0 12357 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 51760 [startup+210.144 s] /proc/loadavg: 0.99 0.96 0.91 2/64 10384 ################ # More data... # ################ /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 20248877 0 0 0 169218 8926 0 0 25 0 1 0 163281005 54087680 12837 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134541828 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 13205 12837 227 40 0 12622 0 Current children cumulated CPU time (s) 1781.44 Current children cumulated vsize (Kb) 52820 [startup+1783.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10384 /proc/meminfo: memFree=1618048/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=52820 CPUtime=1782.44 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 20256737 0 0 0 169315 8929 0 0 25 0 1 0 163281005 54087680 12837 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543250 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 13205 12837 227 40 0 12622 0 Current children cumulated CPU time (s) 1782.44 Current children cumulated vsize (Kb) 52820 [startup+1784.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10384 /proc/meminfo: memFree=1616256/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=55552 CPUtime=1783.45 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 20265280 0 0 0 169412 8933 0 0 25 0 1 0 163281005 56885248 13520 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134541882 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 13888 13520 227 40 0 13305 0 Current children cumulated CPU time (s) 1783.45 Current children cumulated vsize (Kb) 55552 [startup+1785.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10384 /proc/meminfo: memFree=1608768/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=63868 CPUtime=1784.45 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 20275060 0 0 0 169508 8937 0 0 25 0 1 0 163281005 65400832 15440 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 10591959 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 15967 15449 227 40 0 15384 0 Current children cumulated CPU time (s) 1784.45 Current children cumulated vsize (Kb) 63868 [startup+1786.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10384 /proc/meminfo: memFree=1606976/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=52820 CPUtime=1785.45 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 20283956 0 0 0 169604 8941 0 0 25 0 1 0 163281005 54087680 12837 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542910 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 13205 12837 227 40 0 12622 0 Current children cumulated CPU time (s) 1785.45 Current children cumulated vsize (Kb) 52820 [startup+1787.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10384 /proc/meminfo: memFree=1617088/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=53984 CPUtime=1786.47 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 20292107 0 0 0 169702 8945 0 0 25 0 1 0 163281005 55279616 13128 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629276 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 13496 13128 227 40 0 12913 0 Current children cumulated CPU time (s) 1786.47 Current children cumulated vsize (Kb) 53984 [startup+1788.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10384 /proc/meminfo: memFree=1617088/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=53984 CPUtime=1787.47 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 20299967 0 0 0 169799 8948 0 0 25 0 1 0 163281005 55279616 13128 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 13496 13128 227 40 0 12913 0 Current children cumulated CPU time (s) 1787.47 Current children cumulated vsize (Kb) 53984 [startup+1789.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10384 /proc/meminfo: memFree=1617088/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=53984 CPUtime=1788.48 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 20307827 0 0 0 169896 8952 0 0 25 0 1 0 163281005 55279616 13128 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 13496 13128 227 40 0 12913 0 Current children cumulated CPU time (s) 1788.48 Current children cumulated vsize (Kb) 53984 [startup+1790.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10384 /proc/meminfo: memFree=1617088/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=53984 CPUtime=1789.48 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 20315687 0 0 0 169992 8956 0 0 25 0 1 0 163281005 55279616 13128 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632405 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 13496 13128 227 40 0 12913 0 Current children cumulated CPU time (s) 1789.48 Current children cumulated vsize (Kb) 53984 [startup+1791.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10384 /proc/meminfo: memFree=1616256/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=54772 CPUtime=1790.48 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 20324035 0 0 0 170089 8959 0 0 25 0 1 0 163281005 56086528 13325 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134541710 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 13693 13325 227 40 0 13110 0 Current children cumulated CPU time (s) 1790.48 Current children cumulated vsize (Kb) 54772 [startup+1792.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10384 /proc/meminfo: memFree=1617088/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=53984 CPUtime=1791.49 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 20335337 0 0 0 170184 8965 0 0 25 0 1 0 163281005 55279616 13128 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629267 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 13496 13128 227 40 0 12913 0 Current children cumulated CPU time (s) 1791.49 Current children cumulated vsize (Kb) 53984 [startup+1793.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10384 /proc/meminfo: memFree=1618048/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=52820 CPUtime=1792.49 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 20343197 0 0 0 170281 8968 0 0 25 0 1 0 163281005 54087680 12837 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134537548 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 13205 12837 227 40 0 12622 0 Current children cumulated CPU time (s) 1792.49 Current children cumulated vsize (Kb) 52820 [startup+1794.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10384 /proc/meminfo: memFree=1617088/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=53984 CPUtime=1793.5 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 20354987 0 0 0 170377 8973 0 0 25 0 1 0 163281005 55279616 13128 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 13496 13128 227 40 0 12913 0 Current children cumulated CPU time (s) 1793.5 Current children cumulated vsize (Kb) 53984 [startup+1795.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10384 /proc/meminfo: memFree=1618048/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=52820 CPUtime=1794.5 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 20362847 0 0 0 170474 8976 0 0 25 0 1 0 163281005 54087680 12837 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134569989 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 13205 12837 227 40 0 12622 0 Current children cumulated CPU time (s) 1794.5 Current children cumulated vsize (Kb) 52820 [startup+1796.21 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10384 /proc/meminfo: memFree=1617088/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=53984 CPUtime=1795.5 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 20374637 0 0 0 170569 8981 0 0 25 0 1 0 163281005 55279616 13128 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629246 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 13496 13128 227 40 0 12913 0 Current children cumulated CPU time (s) 1795.5 Current children cumulated vsize (Kb) 53984 [startup+1797.21 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10384 /proc/meminfo: memFree=1618048/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=52820 CPUtime=1796.51 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 20382497 0 0 0 170666 8985 0 0 25 0 1 0 163281005 54087680 12837 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134534707 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 13205 12837 227 40 0 12622 0 Current children cumulated CPU time (s) 1796.51 Current children cumulated vsize (Kb) 52820 [startup+1798.22 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10384 /proc/meminfo: memFree=1617088/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=53984 CPUtime=1797.51 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 20394287 0 0 0 170761 8990 0 0 25 0 1 0 163281005 55279616 13128 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 13496 13128 227 40 0 12913 0 Current children cumulated CPU time (s) 1797.51 Current children cumulated vsize (Kb) 53984 [startup+1799.22 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10384 /proc/meminfo: memFree=1618048/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=52820 CPUtime=1798.52 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 20402147 0 0 0 170858 8994 0 0 25 0 1 0 163281005 54087680 12837 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134569877 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 13205 12837 227 40 0 12622 0 Current children cumulated CPU time (s) 1798.52 Current children cumulated vsize (Kb) 52820 [startup+1800.23 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10384 /proc/meminfo: memFree=1617088/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=53984 CPUtime=1799.52 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 20413937 0 0 0 170953 8999 0 0 25 0 1 0 163281005 55279616 13128 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 13496 13128 227 40 0 12913 0 Current children cumulated CPU time (s) 1799.52 Current children cumulated vsize (Kb) 53984 [startup+1801.23 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10384 /proc/meminfo: memFree=1618048/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=52820 CPUtime=1800.53 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 20421797 0 0 0 171050 9003 0 0 25 0 1 0 163281005 54087680 12837 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134570038 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 13205 12837 227 40 0 12622 0 Current children cumulated CPU time (s) 1800.53 Current children cumulated vsize (Kb) 52820 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.24 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10384 /proc/meminfo: memFree=1618048/2055920 swapFree=4174612/4192956 [pid=10384] ppid=10382 vsize=52820 CPUtime=1800.53 /proc/10384/stat : 10384 (glpPBv3) R 10382 10384 10335 0 -1 0 20421797 0 0 0 171050 9003 0 0 25 0 1 0 163281005 54087680 12837 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134541769 0 0 4096 0 0 0 0 17 1 0 0 /proc/10384/statm: 13205 12837 227 40 0 12622 0 Current children cumulated CPU time (s) 1800.53 Current children cumulated vsize (Kb) 52820 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.25 CPU time (s): 1800.55 CPU user time (s): 1710.51 CPU system time (s): 90.0453 CPU usage (%): 99.9611 Max. virtual memory (cumulated for all children) (Kb): 65652 The end
Begin job on node54 on Sat Jul 29 09:08:29 UTC 2006 FILE ID= 85003-1154164109 PBS_JOBID= 892777 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-czprob.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node54/85003-1154164109/instance-85003-1154164109.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node54/watcher-85003-1154164109 -o ROOT/results/node54/solver-85003-1154164109 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node54/85003-1154164109/instance-85003-1154164109.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= c15e03ab07153a4c6592115aff440072 RANDOM SEED= 530867913 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.256 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.256 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: 1669000 kB Buffers: 27928 kB Cached: 272940 kB SwapCached: 12000 kB Active: 74036 kB Inactive: 243884 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1669000 kB SwapTotal: 4192956 kB SwapFree: 4174612 kB Dirty: 312 kB Writeback: 0 kB Mapped: 14468 kB Slab: 54992 kB Committed_AS: 683756 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node54 on Sat Jul 29 09:38:31 UTC 2006