Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.46 | 1801.22 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-vpm1.opb |
MD5SUM | 019e5a614038472d624f56ab4ecfb30e |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 38 |
Best CPU time to get the best result obtained on this benchmark | 1782.73 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 38 |
Optimality of the best value was proved | NO |
Number of variables | 2754 |
Total number of constraints | 444 |
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 | 444 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 82 |
Number of terms in the objective function | 168 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 168 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 819200 |
Number of bits of the biggest number in a constraint | 20 |
Biggest sum of numbers in a constraint | 4941871 |
Number of bits of the biggest sum of numbers | 23 |
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-84855-1154162277 -o ROOT/results/node54/solver-84855-1154162277 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node54/84855-1154162277/instance-84855-1154162277.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.97 0.91 3/64 9994 /proc/meminfo: memFree=1678456/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=2424 CPUtime=0 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 150 0 0 0 0 0 0 0 18 0 1 0 163097755 2482176 130 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 10095480 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 606 130 111 40 0 11 0 [startup+10.0032 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9994 /proc/meminfo: memFree=1675856/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=4956 CPUtime=9.99 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 11842 0 0 0 992 7 0 0 25 0 1 0 163097755 5074944 865 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 10591959 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 1239 865 227 40 0 656 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 4956 [startup+20.0103 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9994 /proc/meminfo: memFree=1675728/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=4956 CPUtime=19.99 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 55958 0 0 0 1971 28 0 0 25 0 1 0 163097755 5074944 865 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629287 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 1239 865 227 40 0 656 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 4956 [startup+30.0174 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9994 /proc/meminfo: memFree=1675664/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=5388 CPUtime=29.99 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 134282 0 0 0 2937 62 0 0 25 0 1 0 163097755 5517312 971 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 1347 971 227 40 0 764 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 5388 [startup+40.0235 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9994 /proc/meminfo: memFree=1675472/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=5232 CPUtime=40 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 234210 0 0 0 3903 97 0 0 25 0 1 0 163097755 5357568 934 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629264 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 1308 934 227 40 0 725 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 5232 [startup+50.0306 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9994 /proc/meminfo: memFree=1675280/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=5280 CPUtime=50 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 317492 0 0 0 4873 127 0 0 25 0 1 0 163097755 5406720 946 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 1320 946 227 40 0 737 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 5280 [startup+60.0366 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9994 /proc/meminfo: memFree=1675344/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=5280 CPUtime=60.01 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 383750 0 0 0 5849 152 0 0 25 0 1 0 163097755 5406720 946 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629287 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 1320 946 227 40 0 737 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 5280 [startup+70.0437 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9994 /proc/meminfo: memFree=1675152/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=5396 CPUtime=70.01 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 458771 0 0 0 6822 179 0 0 25 0 1 0 163097755 5525504 975 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 1349 975 227 40 0 766 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 5396 [startup+80.0498 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9994 /proc/meminfo: memFree=1675088/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=5596 CPUtime=80.01 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 539053 0 0 0 7789 212 0 0 25 0 1 0 163097755 5730304 1025 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134570041 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 1399 1025 227 40 0 816 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 5596 [startup+90.0559 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9994 /proc/meminfo: memFree=1674704/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=5824 CPUtime=90.01 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 630278 0 0 0 8751 250 0 0 25 0 1 0 163097755 5963776 1082 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 1456 1082 227 40 0 873 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 5824 [startup+100.062 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9994 /proc/meminfo: memFree=1674832/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=5824 CPUtime=100.01 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 678311 0 0 0 9734 267 0 0 25 0 1 0 163097755 5963776 1082 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629276 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 1456 1082 227 40 0 873 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 5824 [startup+110.068 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9994 /proc/meminfo: memFree=1674832/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=5824 CPUtime=110.02 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 727640 0 0 0 10714 288 0 0 25 0 1 0 163097755 5963776 1082 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 1456 1082 227 40 0 873 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 5824 [startup+120.074 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9994 /proc/meminfo: memFree=1674832/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=5824 CPUtime=120.02 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 778508 0 0 0 11694 308 0 0 25 0 1 0 163097755 5963776 1082 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629229 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 1456 1082 227 40 0 873 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 5824 [startup+130.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9994 /proc/meminfo: memFree=1674704/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=6228 CPUtime=130.02 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 829232 0 0 0 12673 329 0 0 25 0 1 0 163097755 6377472 1181 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 1557 1181 227 40 0 974 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 6228 [startup+140.086 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9994 /proc/meminfo: memFree=1674448/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=6096 CPUtime=140.03 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 880941 0 0 0 13653 350 0 0 25 0 1 0 163097755 6242304 1150 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 1524 1150 227 40 0 941 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 6096 [startup+150.092 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9996 /proc/meminfo: memFree=1674320/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=6284 CPUtime=150.02 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 935015 0 0 0 14630 372 0 0 25 0 1 0 163097755 6434816 1197 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134534663 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 1571 1197 227 40 0 988 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 6284 [startup+160.099 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9996 /proc/meminfo: memFree=1674064/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=6456 CPUtime=160.02 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 987442 0 0 0 15608 394 0 0 25 0 1 0 163097755 6610944 1240 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643691 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 1614 1240 227 40 0 1031 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 6456 [startup+170.105 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9996 /proc/meminfo: memFree=1673872/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=7092 CPUtime=170.03 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 1037804 0 0 0 16587 416 0 0 25 0 1 0 163097755 7262208 1396 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 1773 1396 227 40 0 1190 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 7092 [startup+180.111 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9996 /proc/meminfo: memFree=1673552/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=6988 CPUtime=180.03 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 1085232 0 0 0 17569 434 0 0 25 0 1 0 163097755 7155712 1373 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134541738 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 1747 1373 227 40 0 1164 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 6988 [startup+190.117 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9996 /proc/meminfo: memFree=1673296/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=7556 CPUtime=190.03 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 1132362 0 0 0 18550 453 0 0 25 0 1 0 163097755 7737344 1512 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134585290 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 1889 1512 227 40 0 1306 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 7556 [startup+200.123 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9996 /proc/meminfo: memFree=1673040/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=7908 CPUtime=200.03 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 1180276 0 0 0 19529 474 0 0 25 0 1 0 163097755 8097792 1600 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582083 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 1977 1600 227 40 0 1394 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 7908 [startup+210.129 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9996 ################ # More data... # ################ /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9085111 0 0 0 174405 3731 0 0 25 0 1 0 163097755 47792128 11291 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 11668 11291 227 40 0 11085 0 Current children cumulated CPU time (s) 1781.36 Current children cumulated vsize (Kb) 46672 [startup+1783.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10194 /proc/meminfo: memFree=1633552/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=46700 CPUtime=1782.36 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9090243 0 0 0 174503 3733 0 0 25 0 1 0 163097755 47820800 11298 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 11675 11298 227 40 0 11092 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (Kb) 46700 [startup+1784.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10194 /proc/meminfo: memFree=1633552/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=46380 CPUtime=1783.36 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9095269 0 0 0 174601 3735 0 0 25 0 1 0 163097755 47493120 11221 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 11595 11221 227 40 0 11012 0 Current children cumulated CPU time (s) 1783.36 Current children cumulated vsize (Kb) 46380 [startup+1785.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10194 /proc/meminfo: memFree=1633552/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=46396 CPUtime=1784.37 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9099890 0 0 0 174700 3737 0 0 25 0 1 0 163097755 47509504 11225 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578429 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 11599 11225 227 40 0 11016 0 Current children cumulated CPU time (s) 1784.37 Current children cumulated vsize (Kb) 46396 [startup+1786.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10194 /proc/meminfo: memFree=1633424/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=46748 CPUtime=1785.37 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9104754 0 0 0 174798 3739 0 0 25 0 1 0 163097755 47869952 11310 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 11687 11310 227 40 0 11104 0 Current children cumulated CPU time (s) 1785.37 Current children cumulated vsize (Kb) 46748 [startup+1787.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10194 /proc/meminfo: memFree=1633360/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=46428 CPUtime=1786.37 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9109942 0 0 0 174896 3741 0 0 25 0 1 0 163097755 47542272 11233 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629086 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 11607 11233 227 40 0 11024 0 Current children cumulated CPU time (s) 1786.37 Current children cumulated vsize (Kb) 46428 [startup+1788.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10194 /proc/meminfo: memFree=1633360/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=46452 CPUtime=1787.38 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9114889 0 0 0 174994 3744 0 0 25 0 1 0 163097755 47566848 11239 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578069 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 11613 11239 227 40 0 11030 0 Current children cumulated CPU time (s) 1787.38 Current children cumulated vsize (Kb) 46452 [startup+1789.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10194 /proc/meminfo: memFree=1633360/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=46480 CPUtime=1788.38 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9119843 0 0 0 175092 3746 0 0 25 0 1 0 163097755 47595520 11246 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629216 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 11620 11246 227 40 0 11037 0 Current children cumulated CPU time (s) 1788.38 Current children cumulated vsize (Kb) 46480 [startup+1790.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10194 /proc/meminfo: memFree=1633424/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=46828 CPUtime=1789.39 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9124326 0 0 0 175191 3748 0 0 25 0 1 0 163097755 47951872 11301 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 10591959 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 11707 11301 227 40 0 11124 0 Current children cumulated CPU time (s) 1789.39 Current children cumulated vsize (Kb) 46828 [startup+1791.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10194 /proc/meminfo: memFree=1633424/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=46720 CPUtime=1790.39 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9129086 0 0 0 175290 3749 0 0 25 0 1 0 163097755 47841280 11305 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 11715 11307 227 40 0 11132 0 Current children cumulated CPU time (s) 1790.39 Current children cumulated vsize (Kb) 46720 [startup+1792.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10194 /proc/meminfo: memFree=1633232/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=46888 CPUtime=1791.4 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9134032 0 0 0 175388 3752 0 0 25 0 1 0 163097755 48013312 11345 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 11722 11345 227 40 0 11139 0 Current children cumulated CPU time (s) 1791.4 Current children cumulated vsize (Kb) 46888 [startup+1793.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10194 /proc/meminfo: memFree=1633232/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=46896 CPUtime=1792.4 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9138489 0 0 0 175487 3753 0 0 25 0 1 0 163097755 48021504 11347 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 11724 11347 227 40 0 11141 0 Current children cumulated CPU time (s) 1792.4 Current children cumulated vsize (Kb) 46896 [startup+1794.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10194 /proc/meminfo: memFree=1633232/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=46928 CPUtime=1793.41 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9143033 0 0 0 175585 3756 0 0 25 0 1 0 163097755 48054272 11355 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 11732 11355 227 40 0 11149 0 Current children cumulated CPU time (s) 1793.41 Current children cumulated vsize (Kb) 46928 [startup+1795.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10194 /proc/meminfo: memFree=1633232/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=46608 CPUtime=1794.41 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9147573 0 0 0 175683 3758 0 0 25 0 1 0 163097755 47726592 11278 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629287 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 11652 11278 227 40 0 11069 0 Current children cumulated CPU time (s) 1794.41 Current children cumulated vsize (Kb) 46608 [startup+1796.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10194 /proc/meminfo: memFree=1633296/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=46632 CPUtime=1795.42 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9152601 0 0 0 175782 3760 0 0 25 0 1 0 163097755 47751168 11284 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134572926 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 11658 11284 227 40 0 11075 0 Current children cumulated CPU time (s) 1795.42 Current children cumulated vsize (Kb) 46632 [startup+1797.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10194 /proc/meminfo: memFree=1633296/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=46664 CPUtime=1796.42 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9157955 0 0 0 175880 3762 0 0 25 0 1 0 163097755 47783936 11292 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578419 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 11666 11292 227 40 0 11083 0 Current children cumulated CPU time (s) 1796.42 Current children cumulated vsize (Kb) 46664 [startup+1798.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10194 /proc/meminfo: memFree=1633104/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=47024 CPUtime=1797.43 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9162933 0 0 0 175979 3764 0 0 25 0 1 0 163097755 48152576 11379 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 11756 11379 227 40 0 11173 0 Current children cumulated CPU time (s) 1797.43 Current children cumulated vsize (Kb) 47024 [startup+1799.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10194 /proc/meminfo: memFree=1633232/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=47040 CPUtime=1798.43 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9167037 0 0 0 176077 3766 0 0 25 0 1 0 163097755 48168960 11383 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 11760 11383 227 40 0 11177 0 Current children cumulated CPU time (s) 1798.43 Current children cumulated vsize (Kb) 47040 [startup+1800.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10194 /proc/meminfo: memFree=1633232/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=47060 CPUtime=1799.43 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9171717 0 0 0 176175 3768 0 0 25 0 1 0 163097755 48189440 11389 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 11765 11389 227 40 0 11182 0 Current children cumulated CPU time (s) 1799.43 Current children cumulated vsize (Kb) 47060 [startup+1801.21 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10194 /proc/meminfo: memFree=1633168/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=46748 CPUtime=1800.44 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9177081 0 0 0 176273 3771 0 0 25 0 1 0 163097755 47869952 11313 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629229 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 11687 11313 227 40 0 11104 0 Current children cumulated CPU time (s) 1800.44 Current children cumulated vsize (Kb) 46748 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.21 s] /proc/loadavg: 0.99 0.97 0.91 2/64 10194 /proc/meminfo: memFree=1633168/2055920 swapFree=4174612/4192956 [pid=9994] ppid=9992 vsize=46748 CPUtime=1800.44 /proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9177081 0 0 0 176273 3771 0 0 25 0 1 0 163097755 47869952 11313 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134570038 0 0 4096 0 0 0 0 17 1 0 0 /proc/9994/statm: 11687 11313 227 40 0 11104 0 Current children cumulated CPU time (s) 1800.44 Current children cumulated vsize (Kb) 46748 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.22 CPU time (s): 1800.46 CPU user time (s): 1762.74 CPU system time (s): 37.7203 CPU usage (%): 99.9575 Max. virtual memory (cumulated for all children) (Kb): 47060 The end
Begin job on node54 on Sat Jul 29 08:37:57 UTC 2006 FILE ID= 84855-1154162277 PBS_JOBID= 892629 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-vpm1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node54/84855-1154162277/instance-84855-1154162277.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node54/watcher-84855-1154162277 -o ROOT/results/node54/solver-84855-1154162277 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node54/84855-1154162277/instance-84855-1154162277.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= 019e5a614038472d624f56ab4ecfb30e RANDOM SEED= 4699734 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: 1678664 kB Buffers: 27472 kB Cached: 264148 kB SwapCached: 12000 kB Active: 70520 kB Inactive: 238120 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1678664 kB SwapTotal: 4192956 kB SwapFree: 4174612 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14468 kB Slab: 54560 kB Committed_AS: 683324 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:07:58 UTC 2006