Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.4 | 1801.19 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-modglob.opb |
MD5SUM | 1c32686691bf96e75781667309b05481 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 104 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 104 |
Optimality of the best value was proved | NO |
Number of variables | 9818 |
Total number of constraints | 291 |
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 | 291 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 270 |
Number of terms in the objective function | 9818 |
Biggest coefficient in the objective function | 7770 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 533087 |
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 | 533087 |
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/node30/watcher-85122-1154165370 -o ROOT/results/node30/solver-85122-1154165370 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node30/85122-1154165370/instance-85122-1154165370.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.97 0.91 3/64 1339 /proc/meminfo: memFree=1421088/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=2664 CPUtime=0 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 269 0 0 0 0 0 0 0 18 0 1 0 163396885 2727936 239 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 7483095 0 0 4096 0 0 0 0 17 0 0 0 /proc/1339/statm: 666 239 192 40 0 83 0 [startup+10.0018 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1339 /proc/meminfo: memFree=1415080/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=8320 CPUtime=9.99 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 17689 0 0 0 992 7 0 0 25 0 1 0 163396885 8519680 1706 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 0 0 0 /proc/1339/statm: 2080 1706 227 40 0 1497 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 8320 [startup+20.0084 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1339 /proc/meminfo: memFree=1414760/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=8792 CPUtime=20 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 48252 0 0 0 1978 22 0 0 25 0 1 0 163396885 9003008 1824 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134569956 0 0 4096 0 0 0 0 17 0 0 0 /proc/1339/statm: 2198 1824 227 40 0 1615 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 8792 [startup+30.014 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1339 /proc/meminfo: memFree=1414760/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=8792 CPUtime=30 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 51977 0 0 0 2976 24 0 0 25 0 1 0 163396885 9003008 1824 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543232 0 0 4096 0 0 0 0 17 0 0 0 /proc/1339/statm: 2198 1824 227 40 0 1615 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 8792 [startup+40.0196 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1339 /proc/meminfo: memFree=1414696/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=8988 CPUtime=40 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 60669 0 0 0 3971 29 0 0 25 0 1 0 163396885 9203712 1841 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134581070 0 0 4096 0 0 0 0 17 0 0 0 /proc/1339/statm: 2247 1841 227 40 0 1664 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 8988 [startup+50.0262 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1339 /proc/meminfo: memFree=1414632/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=8792 CPUtime=49.99 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 64631 0 0 0 4968 31 0 0 25 0 1 0 163396885 9003008 1824 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629080 0 0 4096 0 0 0 0 17 0 0 0 /proc/1339/statm: 2198 1824 227 40 0 1615 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 8792 [startup+60.0328 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1339 /proc/meminfo: memFree=1414632/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=8792 CPUtime=60 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 69941 0 0 0 5966 34 0 0 25 0 1 0 163396885 9003008 1824 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542134 0 0 4096 0 0 0 0 17 0 0 0 /proc/1339/statm: 2198 1824 227 40 0 1615 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 8792 [startup+70.0384 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1339 /proc/meminfo: memFree=1414632/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=8792 CPUtime=70 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 76783 0 0 0 6963 37 0 0 25 0 1 0 163396885 9003008 1824 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629086 0 0 4096 0 0 0 0 17 0 0 0 /proc/1339/statm: 2198 1824 227 40 0 1615 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 8792 [startup+80.045 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1339 /proc/meminfo: memFree=1414632/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=8792 CPUtime=80 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 83821 0 0 0 7959 41 0 0 25 0 1 0 163396885 9003008 1824 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629233 0 0 4096 0 0 0 0 17 0 0 0 /proc/1339/statm: 2198 1824 227 40 0 1615 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 8792 [startup+90.0506 s] /proc/loadavg: 0.99 0.97 0.91 3/64 1339 /proc/meminfo: memFree=1414504/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=8792 CPUtime=90 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 91003 0 0 0 8956 44 0 0 25 0 1 0 163396885 9003008 1824 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542259 0 0 4096 0 0 0 0 17 0 0 0 /proc/1339/statm: 2198 1824 227 40 0 1615 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 8792 [startup+100.057 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1339 /proc/meminfo: memFree=1414568/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=8792 CPUtime=100 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 99494 0 0 0 9951 49 0 0 25 0 1 0 163396885 9003008 1824 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134633013 0 0 4096 0 0 0 0 17 0 0 0 /proc/1339/statm: 2198 1824 227 40 0 1615 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 8792 [startup+110.064 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1339 /proc/meminfo: memFree=1414568/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=8792 CPUtime=110.01 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 122489 0 0 0 10940 61 0 0 25 0 1 0 163396885 9003008 1824 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/1339/statm: 2198 1824 227 40 0 1615 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 8792 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1339 /proc/meminfo: memFree=1414568/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=8792 CPUtime=120.01 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 135459 0 0 0 11935 66 0 0 25 0 1 0 163396885 9003008 1824 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543497 0 0 4096 0 0 0 0 17 0 0 0 /proc/1339/statm: 2198 1824 227 40 0 1615 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 8792 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1339 /proc/meminfo: memFree=1414504/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=8976 CPUtime=130 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 146385 0 0 0 12929 71 0 0 25 0 1 0 163396885 9191424 1870 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134641498 0 0 4096 0 0 0 0 17 0 0 0 /proc/1339/statm: 2244 1870 227 40 0 1661 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 8976 [startup+140.082 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1339 /proc/meminfo: memFree=1414568/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=8792 CPUtime=139.99 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 160119 0 0 0 13922 77 0 0 25 0 1 0 163396885 9003008 1824 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629246 0 0 4096 0 0 0 0 17 0 0 0 /proc/1339/statm: 2198 1824 227 40 0 1615 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 8792 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1339 /proc/meminfo: memFree=1414568/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=8792 CPUtime=149.99 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 174619 0 0 0 14915 84 0 0 25 0 1 0 163396885 9003008 1824 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134534660 0 0 4096 0 0 0 0 17 0 0 0 /proc/1339/statm: 2198 1824 227 40 0 1615 0 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 8792 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1339 /proc/meminfo: memFree=1414504/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=8792 CPUtime=160 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 188789 0 0 0 15908 92 0 0 25 0 1 0 163396885 9003008 1824 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 0 0 0 /proc/1339/statm: 2198 1824 227 40 0 1615 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 8792 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1339 /proc/meminfo: memFree=1414568/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=8792 CPUtime=170 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 217020 0 0 0 16895 105 0 0 25 0 1 0 163396885 9003008 1824 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629086 0 0 4096 0 0 0 0 17 0 0 0 /proc/1339/statm: 2198 1824 227 40 0 1615 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 8792 [startup+180.104 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1339 /proc/meminfo: memFree=1414440/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=9172 CPUtime=180 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 233005 0 0 0 17886 114 0 0 25 0 1 0 163396885 9392128 1905 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 7483095 0 0 4096 0 0 0 0 17 1 0 0 /proc/1339/statm: 2293 1905 227 40 0 1710 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 9172 [startup+190.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1339 /proc/meminfo: memFree=1414568/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=8792 CPUtime=189.99 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 246343 0 0 0 18879 120 0 0 25 0 1 0 163396885 9003008 1824 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632756 0 0 4096 0 0 0 0 17 0 0 0 /proc/1339/statm: 2198 1824 227 40 0 1615 0 Current children cumulated CPU time (s) 189.99 Current children cumulated vsize (Kb) 8792 [startup+200.115 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1339 /proc/meminfo: memFree=1414568/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=8792 CPUtime=199.99 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 262051 0 0 0 19871 128 0 0 25 0 1 0 163396885 9003008 1824 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629246 0 0 4096 0 0 0 0 17 0 0 0 /proc/1339/statm: 2198 1824 227 40 0 1615 0 Current children cumulated CPU time (s) 199.99 Current children cumulated vsize (Kb) 8792 [startup+210.122 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1339 ################ # More data... # ################ /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 5477485 0 0 0 175486 2644 0 0 25 0 1 0 163396885 12136448 2589 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134534663 0 0 4096 0 0 0 0 17 1 0 0 /proc/1339/statm: 2963 2589 227 40 0 2380 0 Current children cumulated CPU time (s) 1781.3 Current children cumulated vsize (Kb) 11852 [startup+1783.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1341 /proc/meminfo: memFree=1411240/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=12588 CPUtime=1782.3 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 5481684 0 0 0 175584 2646 0 0 25 0 1 0 163396885 12890112 2743 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 7483095 0 0 4096 0 0 0 0 17 1 0 0 /proc/1339/statm: 3147 2749 227 40 0 2564 0 Current children cumulated CPU time (s) 1782.3 Current children cumulated vsize (Kb) 12588 [startup+1784.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1341 /proc/meminfo: memFree=1410536/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=11852 CPUtime=1783.3 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 5485866 0 0 0 175682 2648 0 0 25 0 1 0 163396885 12136448 2589 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1339/statm: 2963 2589 227 40 0 2380 0 Current children cumulated CPU time (s) 1783.3 Current children cumulated vsize (Kb) 11852 [startup+1785.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1341 /proc/meminfo: memFree=1411240/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=11852 CPUtime=1784.31 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 5489623 0 0 0 175781 2650 0 0 25 0 1 0 163396885 12136448 2589 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 1 0 0 /proc/1339/statm: 2963 2589 227 40 0 2380 0 Current children cumulated CPU time (s) 1784.31 Current children cumulated vsize (Kb) 11852 [startup+1786.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1341 /proc/meminfo: memFree=1411240/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=11860 CPUtime=1785.32 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 5493382 0 0 0 175880 2652 0 0 25 0 1 0 163396885 12144640 2591 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542187 0 0 4096 0 0 0 0 17 1 0 0 /proc/1339/statm: 2965 2591 227 40 0 2382 0 Current children cumulated CPU time (s) 1785.32 Current children cumulated vsize (Kb) 11860 [startup+1787.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1341 /proc/meminfo: memFree=1411240/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=11860 CPUtime=1786.32 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 5497139 0 0 0 175978 2654 0 0 25 0 1 0 163396885 12144640 2591 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 1 0 0 /proc/1339/statm: 2965 2591 227 40 0 2382 0 Current children cumulated CPU time (s) 1786.32 Current children cumulated vsize (Kb) 11860 [startup+1788.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1341 /proc/meminfo: memFree=1411240/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=11860 CPUtime=1787.32 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 5500896 0 0 0 176076 2656 0 0 25 0 1 0 163396885 12144640 2591 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542131 0 0 4096 0 0 0 0 17 1 0 0 /proc/1339/statm: 2965 2591 227 40 0 2382 0 Current children cumulated CPU time (s) 1787.32 Current children cumulated vsize (Kb) 11860 [startup+1789.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1341 /proc/meminfo: memFree=1411240/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=11860 CPUtime=1788.33 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 5513612 0 0 0 176170 2663 0 0 25 0 1 0 163396885 12144640 2591 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542146 0 0 4096 0 0 0 0 17 1 0 0 /proc/1339/statm: 2965 2591 227 40 0 2382 0 Current children cumulated CPU time (s) 1788.33 Current children cumulated vsize (Kb) 11860 [startup+1790.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1341 /proc/meminfo: memFree=1411240/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=11860 CPUtime=1789.33 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 5519392 0 0 0 176268 2665 0 0 25 0 1 0 163396885 12144640 2591 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542160 0 0 4096 0 0 0 0 17 1 0 0 /proc/1339/statm: 2965 2591 227 40 0 2382 0 Current children cumulated CPU time (s) 1789.33 Current children cumulated vsize (Kb) 11860 [startup+1791.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1341 /proc/meminfo: memFree=1410280/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=13084 CPUtime=1790.34 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 5525463 0 0 0 176366 2668 0 0 25 0 1 0 163396885 13398016 2865 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 7483095 0 0 4096 0 0 0 0 17 1 0 0 /proc/1339/statm: 3271 2865 227 40 0 2688 0 Current children cumulated CPU time (s) 1790.34 Current children cumulated vsize (Kb) 13084 [startup+1792.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1341 /proc/meminfo: memFree=1411240/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=11868 CPUtime=1791.34 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 5530954 0 0 0 176464 2670 0 0 25 0 1 0 163396885 12152832 2593 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542131 0 0 4096 0 0 0 0 17 1 0 0 /proc/1339/statm: 2967 2593 227 40 0 2384 0 Current children cumulated CPU time (s) 1791.34 Current children cumulated vsize (Kb) 11868 [startup+1793.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1341 /proc/meminfo: memFree=1411240/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=11868 CPUtime=1792.34 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 5534133 0 0 0 176563 2671 0 0 25 0 1 0 163396885 12152832 2593 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0 /proc/1339/statm: 2967 2593 227 40 0 2384 0 Current children cumulated CPU time (s) 1792.34 Current children cumulated vsize (Kb) 11868 [startup+1794.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1341 /proc/meminfo: memFree=1411240/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=11868 CPUtime=1793.35 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 5537601 0 0 0 176662 2673 0 0 25 0 1 0 163396885 12152832 2593 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/1339/statm: 2967 2593 227 40 0 2384 0 Current children cumulated CPU time (s) 1793.35 Current children cumulated vsize (Kb) 11868 [startup+1795.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1341 /proc/meminfo: memFree=1411240/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=11884 CPUtime=1794.36 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 5540784 0 0 0 176761 2675 0 0 25 0 1 0 163396885 12169216 2597 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632703 0 0 4096 0 0 0 0 17 1 0 0 /proc/1339/statm: 2971 2597 227 40 0 2388 0 Current children cumulated CPU time (s) 1794.36 Current children cumulated vsize (Kb) 11884 [startup+1796.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1341 /proc/meminfo: memFree=1411240/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=11884 CPUtime=1795.35 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 5543963 0 0 0 176859 2676 0 0 25 0 1 0 163396885 12169216 2597 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632895 0 0 4096 0 0 0 0 17 1 0 0 /proc/1339/statm: 2971 2597 227 40 0 2388 0 Current children cumulated CPU time (s) 1795.35 Current children cumulated vsize (Kb) 11884 [startup+1797.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1341 /proc/meminfo: memFree=1411240/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=11884 CPUtime=1796.36 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 5547431 0 0 0 176957 2679 0 0 25 0 1 0 163396885 12169216 2597 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542150 0 0 4096 0 0 0 0 17 1 0 0 /proc/1339/statm: 2971 2597 227 40 0 2388 0 Current children cumulated CPU time (s) 1796.36 Current children cumulated vsize (Kb) 11884 [startup+1798.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1341 /proc/meminfo: memFree=1411240/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=11884 CPUtime=1797.36 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 5550610 0 0 0 177056 2680 0 0 25 0 1 0 163396885 12169216 2597 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543284 0 0 4096 0 0 0 0 17 1 0 0 /proc/1339/statm: 2971 2597 227 40 0 2388 0 Current children cumulated CPU time (s) 1797.36 Current children cumulated vsize (Kb) 11884 [startup+1799.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1341 /proc/meminfo: memFree=1411240/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=11884 CPUtime=1798.37 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 5553789 0 0 0 177155 2682 0 0 25 0 1 0 163396885 12169216 2597 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629289 0 0 4096 0 0 0 0 17 1 0 0 /proc/1339/statm: 2971 2597 227 40 0 2388 0 Current children cumulated CPU time (s) 1798.37 Current children cumulated vsize (Kb) 11884 [startup+1800.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1341 /proc/meminfo: memFree=1411240/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=11884 CPUtime=1799.37 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 5556968 0 0 0 177254 2683 0 0 25 0 1 0 163396885 12169216 2597 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629287 0 0 4096 0 0 0 0 17 1 0 0 /proc/1339/statm: 2971 2597 227 40 0 2388 0 Current children cumulated CPU time (s) 1799.37 Current children cumulated vsize (Kb) 11884 [startup+1801.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1341 /proc/meminfo: memFree=1410280/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=11892 CPUtime=1800.37 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 5560149 0 0 0 177353 2684 0 0 25 0 1 0 163396885 12177408 2599 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543397 0 0 4096 0 0 0 0 17 1 0 0 /proc/1339/statm: 2973 2599 227 40 0 2390 0 Current children cumulated CPU time (s) 1800.37 Current children cumulated vsize (Kb) 11892 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1341 /proc/meminfo: memFree=1411240/2055920 swapFree=4178648/4192956 [pid=1339] ppid=1337 vsize=11892 CPUtime=1800.38 /proc/1339/stat : 1339 (glpPBv3) R 1337 1339 1289 0 -1 0 5560149 0 0 0 177354 2684 0 0 25 0 1 0 163396885 12177408 2599 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542068 0 0 4096 0 0 0 0 17 1 0 0 /proc/1339/statm: 2973 2599 227 40 0 2390 0 Current children cumulated CPU time (s) 1800.38 Current children cumulated vsize (Kb) 11892 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.19 CPU time (s): 1800.4 CPU user time (s): 1773.54 CPU system time (s): 26.8519 CPU usage (%): 99.956 Max. virtual memory (cumulated for all children) (Kb): 13084 The end
Begin job on node30 on Sat Jul 29 09:29:30 UTC 2006 FILE ID= 85122-1154165370 PBS_JOBID= 892896 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-modglob.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node30/85122-1154165370/instance-85122-1154165370.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-85122-1154165370 -o ROOT/results/node30/solver-85122-1154165370 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node30/85122-1154165370/instance-85122-1154165370.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= 1c32686691bf96e75781667309b05481 RANDOM SEED= 50875287 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: 1421296 kB Buffers: 36100 kB Cached: 517376 kB SwapCached: 8000 kB Active: 111292 kB Inactive: 455172 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1421296 kB SwapTotal: 4192956 kB SwapFree: 4178648 kB Dirty: 220 kB Writeback: 0 kB Mapped: 14496 kB Slab: 54200 kB Committed_AS: 699372 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node30 on Sat Jul 29 09:59:31 UTC 2006