Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.52 | 1801.23 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-aflow30a.opb |
MD5SUM | d5ffb80d8d2a9d2ae5f84f17eeb42612 |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 2754 |
Best CPU time to get the best result obtained on this benchmark | 1782.75 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2754 |
Optimality of the best value was proved | NO |
Number of variables | 7195 |
Total number of constraints | 900 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 29 |
Number of constraints which are nor clauses,nor cardinality constraints | 871 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 555 |
Number of terms in the objective function | 421 |
Biggest coefficient in the objective function | 500 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 72290 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 102400 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 3334110 |
Number of bits of the biggest sum of numbers | 22 |
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/node11/watcher-84865-1154162286 -o ROOT/results/node11/solver-84865-1154162286 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node11/84865-1154162286/instance-84865-1154162286.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.97 0.91 2/64 8121 /proc/meminfo: memFree=1478316/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=1012 CPUtime=0 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 45 0 0 0 0 0 0 0 18 0 1 0 163089710 1036288 28 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 7979812 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 253 28 20 40 0 8 0 [startup+10.0024 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8121 /proc/meminfo: memFree=1472004/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=8792 CPUtime=9.98 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 8638 0 0 0 993 5 0 0 25 0 1 0 163089710 9003008 1793 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134585600 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 2198 1793 227 40 0 1615 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 8792 [startup+20.0084 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8121 /proc/meminfo: memFree=1471940/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=8876 CPUtime=19.99 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 14904 0 0 0 1989 10 0 0 25 0 1 0 163089710 9089024 1814 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134585999 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 2219 1814 227 40 0 1636 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 8876 [startup+30.0144 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8121 /proc/meminfo: memFree=1471940/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=8864 CPUtime=29.99 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 22201 0 0 0 2983 16 0 0 25 0 1 0 163089710 9076736 1828 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 2216 1828 227 40 0 1633 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 8864 [startup+40.0204 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8121 /proc/meminfo: memFree=1472388/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=8124 CPUtime=40 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 34032 0 0 0 3975 25 0 0 25 0 1 0 163089710 8318976 1658 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543497 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 2031 1658 227 40 0 1448 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 8124 [startup+50.0264 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8121 /proc/meminfo: memFree=1471748/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=9000 CPUtime=50 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 45146 0 0 0 4968 32 0 0 25 0 1 0 163089710 9216000 1863 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 2250 1863 227 40 0 1667 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 9000 [startup+60.0324 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8121 /proc/meminfo: memFree=1471748/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=9008 CPUtime=60 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 49688 0 0 0 5963 37 0 0 25 0 1 0 163089710 9224192 1864 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 2252 1864 227 40 0 1669 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 9008 [startup+70.0394 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8121 /proc/meminfo: memFree=1471748/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=9000 CPUtime=70 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 52951 0 0 0 6961 39 0 0 25 0 1 0 163089710 9216000 1872 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 2250 1872 227 40 0 1667 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 9000 [startup+80.0463 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8121 /proc/meminfo: memFree=1471620/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=9184 CPUtime=80.01 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 56468 0 0 0 7958 43 0 0 25 0 1 0 163089710 9404416 1891 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 2296 1891 227 40 0 1713 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 9184 [startup+90.0533 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8121 /proc/meminfo: memFree=1471556/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=9140 CPUtime=90.01 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 61765 0 0 0 8955 46 0 0 25 0 1 0 163089710 9359360 1907 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 2285 1907 227 40 0 1702 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 9140 [startup+100.059 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8121 /proc/meminfo: memFree=1471876/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=8636 CPUtime=100.01 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 67906 0 0 0 9951 50 0 0 25 0 1 0 163089710 8843264 1786 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134537472 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 2159 1786 227 40 0 1576 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 8636 [startup+110.066 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8121 /proc/meminfo: memFree=1471428/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=9376 CPUtime=110.02 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 72877 0 0 0 10947 55 0 0 25 0 1 0 163089710 9601024 1939 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 2344 1939 227 40 0 1761 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 9376 [startup+120.073 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8121 /proc/meminfo: memFree=1471364/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=9348 CPUtime=120.02 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 79073 0 0 0 11943 59 0 0 25 0 1 0 163089710 9572352 1956 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 2337 1956 227 40 0 1754 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 9348 [startup+130.079 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8121 /proc/meminfo: memFree=1471300/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=8636 CPUtime=130.02 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 84081 0 0 0 12940 62 0 0 25 0 1 0 163089710 8843264 1786 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134541042 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 2159 1786 227 40 0 1576 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 8636 [startup+140.085 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8121 /proc/meminfo: memFree=1471236/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=9444 CPUtime=140.03 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 89662 0 0 0 13936 67 0 0 25 0 1 0 163089710 9670656 1985 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643691 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 2361 1985 227 40 0 1778 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 9444 [startup+150.092 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8121 /proc/meminfo: memFree=1471172/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=9652 CPUtime=150.02 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 100189 0 0 0 14928 74 0 0 25 0 1 0 163089710 9883648 2008 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 2413 2008 227 40 0 1830 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 9652 [startup+160.098 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8121 /proc/meminfo: memFree=1471108/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=9700 CPUtime=160.03 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 105930 0 0 0 15925 78 0 0 25 0 1 0 163089710 9932800 2020 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 2425 2020 227 40 0 1842 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 9700 [startup+170.104 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8121 /proc/meminfo: memFree=1471876/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=8636 CPUtime=170.04 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 116859 0 0 0 16917 87 0 0 25 0 1 0 163089710 8843264 1786 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 2159 1786 227 40 0 1576 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 8636 [startup+180.111 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8121 /proc/meminfo: memFree=1471044/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=9852 CPUtime=180.04 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 128800 0 0 0 17910 94 0 0 25 0 1 0 163089710 10088448 2058 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 2463 2058 227 40 0 1880 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 9852 [startup+190.117 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8121 /proc/meminfo: memFree=1471684/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=9764 CPUtime=190.04 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 142345 0 0 0 18901 103 0 0 25 0 1 0 163089710 9998336 2037 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134580338 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 2441 2037 227 40 0 1858 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 9764 [startup+200.123 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8121 /proc/meminfo: memFree=1470852/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=9988 CPUtime=200.04 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 154083 0 0 0 19893 111 0 0 25 0 1 0 163089710 10227712 2094 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134587940 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 2497 2094 227 40 0 1914 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 9988 [startup+210.129 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8121 ################ # More data... # ################ /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2090589 0 0 0 176816 1325 0 0 25 0 1 0 163089710 22335488 5048 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 5453 5048 227 40 0 4870 0 Current children cumulated CPU time (s) 1781.41 Current children cumulated vsize (Kb) 21812 [startup+1783.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8321 /proc/meminfo: memFree=1459716/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=20584 CPUtime=1782.42 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2092253 0 0 0 176915 1327 0 0 25 0 1 0 163089710 21078016 4773 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543445 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 5146 4773 227 40 0 4563 0 Current children cumulated CPU time (s) 1782.42 Current children cumulated vsize (Kb) 20584 [startup+1784.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8321 /proc/meminfo: memFree=1459716/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=20592 CPUtime=1783.42 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2093642 0 0 0 177014 1328 0 0 25 0 1 0 163089710 21086208 4775 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629287 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 5148 4775 227 40 0 4565 0 Current children cumulated CPU time (s) 1783.42 Current children cumulated vsize (Kb) 20592 [startup+1785.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8321 /proc/meminfo: memFree=1458820/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=21836 CPUtime=1784.42 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2095583 0 0 0 177114 1328 0 0 25 0 1 0 163089710 22360064 5054 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 5459 5054 227 40 0 4876 0 Current children cumulated CPU time (s) 1784.42 Current children cumulated vsize (Kb) 21836 [startup+1786.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8321 /proc/meminfo: memFree=1458820/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=21844 CPUtime=1785.43 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2096418 0 0 0 177214 1329 0 0 25 0 1 0 163089710 22368256 5058 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 5461 5058 227 40 0 4878 0 Current children cumulated CPU time (s) 1785.43 Current children cumulated vsize (Kb) 21844 [startup+1787.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8321 /proc/meminfo: memFree=1458820/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=21852 CPUtime=1786.43 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2096976 0 0 0 177314 1329 0 0 25 0 1 0 163089710 22376448 5060 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 5463 5060 227 40 0 4880 0 Current children cumulated CPU time (s) 1786.43 Current children cumulated vsize (Kb) 21852 [startup+1788.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8321 /proc/meminfo: memFree=1458756/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=21876 CPUtime=1787.44 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2098369 0 0 0 177414 1330 0 0 25 0 1 0 163089710 22401024 5064 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134586068 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 5469 5064 227 40 0 4886 0 Current children cumulated CPU time (s) 1787.44 Current children cumulated vsize (Kb) 21876 [startup+1789.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8321 /proc/meminfo: memFree=1458756/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=21884 CPUtime=1788.44 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2098931 0 0 0 177514 1330 0 0 25 0 1 0 163089710 22409216 5068 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 5471 5068 227 40 0 4888 0 Current children cumulated CPU time (s) 1788.44 Current children cumulated vsize (Kb) 21884 [startup+1790.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8321 /proc/meminfo: memFree=1459652/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=20656 CPUtime=1789.45 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2099766 0 0 0 177614 1331 0 0 25 0 1 0 163089710 21151744 4791 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543269 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 5164 4791 227 40 0 4581 0 Current children cumulated CPU time (s) 1789.45 Current children cumulated vsize (Kb) 20656 [startup+1791.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8321 /proc/meminfo: memFree=1458756/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=21900 CPUtime=1790.45 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2101430 0 0 0 177713 1332 0 0 25 0 1 0 163089710 22425600 5070 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 5475 5070 227 40 0 4892 0 Current children cumulated CPU time (s) 1790.45 Current children cumulated vsize (Kb) 21900 [startup+1792.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8321 /proc/meminfo: memFree=1458756/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=21916 CPUtime=1791.46 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2102269 0 0 0 177813 1333 0 0 25 0 1 0 163089710 22441984 5074 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 5479 5074 227 40 0 4896 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (Kb) 21916 [startup+1793.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8321 /proc/meminfo: memFree=1458756/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=21916 CPUtime=1792.47 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2103383 0 0 0 177913 1334 0 0 25 0 1 0 163089710 22441984 5075 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 5479 5075 227 40 0 4896 0 Current children cumulated CPU time (s) 1792.47 Current children cumulated vsize (Kb) 21916 [startup+1794.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8321 /proc/meminfo: memFree=1458692/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=21932 CPUtime=1793.46 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2104500 0 0 0 178012 1334 0 0 25 0 1 0 163089710 22458368 5079 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 5483 5079 227 40 0 4900 0 Current children cumulated CPU time (s) 1793.46 Current children cumulated vsize (Kb) 21932 [startup+1795.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8321 /proc/meminfo: memFree=1458692/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=21952 CPUtime=1794.47 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2106174 0 0 0 178112 1335 0 0 25 0 1 0 163089710 22478848 5085 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 5488 5085 227 40 0 4905 0 Current children cumulated CPU time (s) 1794.47 Current children cumulated vsize (Kb) 21952 [startup+1796.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8321 /proc/meminfo: memFree=1458692/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=21960 CPUtime=1795.48 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2107284 0 0 0 178212 1336 0 0 25 0 1 0 163089710 22487040 5085 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 5490 5085 227 40 0 4907 0 Current children cumulated CPU time (s) 1795.48 Current children cumulated vsize (Kb) 21960 [startup+1797.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8321 /proc/meminfo: memFree=1458692/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=21960 CPUtime=1796.48 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2109225 0 0 0 178312 1336 0 0 25 0 1 0 163089710 22487040 5085 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 5490 5085 227 40 0 4907 0 Current children cumulated CPU time (s) 1796.48 Current children cumulated vsize (Kb) 21960 [startup+1798.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8321 /proc/meminfo: memFree=1458692/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=21968 CPUtime=1797.49 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2109508 0 0 0 178412 1337 0 0 25 0 1 0 163089710 22495232 5089 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 5492 5089 227 40 0 4909 0 Current children cumulated CPU time (s) 1797.49 Current children cumulated vsize (Kb) 21968 [startup+1799.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8321 /proc/meminfo: memFree=1458692/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=21976 CPUtime=1798.48 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2110897 0 0 0 178511 1337 0 0 25 0 1 0 163089710 22503424 5091 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 5494 5091 227 40 0 4911 0 Current children cumulated CPU time (s) 1798.48 Current children cumulated vsize (Kb) 21976 [startup+1800.21 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8321 /proc/meminfo: memFree=1458628/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=21984 CPUtime=1799.49 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2111457 0 0 0 178611 1338 0 0 25 0 1 0 163089710 22511616 5093 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 5496 5093 227 40 0 4913 0 Current children cumulated CPU time (s) 1799.49 Current children cumulated vsize (Kb) 21984 [startup+1801.22 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8321 /proc/meminfo: memFree=1458628/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=22008 CPUtime=1800.5 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2112573 0 0 0 178711 1339 0 0 25 0 1 0 163089710 22536192 5097 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 5502 5097 227 40 0 4919 0 Current children cumulated CPU time (s) 1800.5 Current children cumulated vsize (Kb) 22008 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.22 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8321 /proc/meminfo: memFree=1458628/2055920 swapFree=4183092/4192956 [pid=8121] ppid=8119 vsize=22008 CPUtime=1800.51 /proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2112573 0 0 0 178712 1339 0 0 25 0 1 0 163089710 22536192 5097 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8121/statm: 5502 5097 227 40 0 4919 0 Current children cumulated CPU time (s) 1800.51 Current children cumulated vsize (Kb) 22008 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.23 CPU time (s): 1800.52 CPU user time (s): 1787.12 CPU system time (s): 13.396 CPU usage (%): 99.9605 Max. virtual memory (cumulated for all children) (Kb): 22008 The end
Begin job on node11 on Sat Jul 29 08:38:06 UTC 2006 FILE ID= 84865-1154162286 PBS_JOBID= 892639 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow30a.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node11/84865-1154162286/instance-84865-1154162286.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-84865-1154162286 -o ROOT/results/node11/solver-84865-1154162286 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node11/84865-1154162286/instance-84865-1154162286.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= d5ffb80d8d2a9d2ae5f84f17eeb42612 RANDOM SEED= 90077877 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: 1478524 kB Buffers: 35116 kB Cached: 466284 kB SwapCached: 3772 kB Active: 82956 kB Inactive: 427136 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1478524 kB SwapTotal: 4192956 kB SwapFree: 4183092 kB Dirty: 188 kB Writeback: 0 kB Mapped: 14736 kB Slab: 53244 kB Committed_AS: 706672 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node11 on Sat Jul 29 09:08:08 UTC 2006