Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.59 | 1801.2 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-mkc1.opb |
MD5SUM | fcdcb6b6d92f8975c7c03a825b19d25c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -2626 |
Best CPU time to get the best result obtained on this benchmark | 1800.69 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -2739 |
Optimality of the best value was proved | NO |
Number of variables | 27743 |
Total number of constraints | 5584 |
Number of constraints which are clauses | 712 |
Number of constraints which are cardinality constraints (but not clauses) | 24 |
Number of constraints which are nor clauses,nor cardinality constraints | 4848 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 25072 |
Number of terms in the objective function | 25306 |
Biggest coefficient in the objective function | 191 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 537745 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 249195 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 543330 |
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/node21/watcher-84927-1154162493 -o ROOT/results/node21/solver-84927-1154162493 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node21/84927-1154162493/instance-84927-1154162493.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/64 32107 /proc/meminfo: memFree=1061072/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=2424 CPUtime=0 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 122 0 0 0 0 0 0 0 18 0 1 0 163110128 2482176 104 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 8402112 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 606 113 98 40 0 11 0 [startup+10.002 s] /proc/loadavg: 0.93 0.95 0.90 2/64 32107 /proc/meminfo: memFree=1042448/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=20964 CPUtime=9.99 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 4930 0 0 0 997 2 0 0 25 0 1 0 163110128 21467136 4866 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582194 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 5241 4866 221 40 0 4658 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 20964 [startup+20.0081 s] /proc/loadavg: 0.94 0.96 0.91 2/64 32107 /proc/meminfo: memFree=1038928/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=24184 CPUtime=20 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 12663 0 0 0 1994 6 0 0 25 0 1 0 163110128 24764416 5701 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 6046 5701 227 40 0 5463 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 24184 [startup+30.0152 s] /proc/loadavg: 0.95 0.96 0.91 2/64 32107 /proc/meminfo: memFree=1039056/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=24184 CPUtime=30 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 19748 0 0 0 2991 9 0 0 25 0 1 0 163110128 24764416 5701 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 6046 5701 227 40 0 5463 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 24184 [startup+40.0213 s] /proc/loadavg: 0.95 0.96 0.91 2/64 32107 /proc/meminfo: memFree=1039056/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=24184 CPUtime=40 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 25470 0 0 0 3988 12 0 0 25 0 1 0 163110128 24764416 5701 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 6046 5701 227 40 0 5463 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 24184 [startup+50.0274 s] /proc/loadavg: 0.96 0.96 0.91 2/64 32107 /proc/meminfo: memFree=1039056/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=24184 CPUtime=50.01 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 32580 0 0 0 4986 15 0 0 25 0 1 0 163110128 24764416 5701 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543275 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 6046 5701 227 40 0 5463 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 24184 [startup+60.0335 s] /proc/loadavg: 0.97 0.96 0.91 2/64 32107 /proc/meminfo: memFree=1039056/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=24184 CPUtime=60 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 39690 0 0 0 5982 18 0 0 25 0 1 0 163110128 24764416 5701 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 6046 5701 227 40 0 5463 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 24184 [startup+70.0396 s] /proc/loadavg: 0.97 0.96 0.91 2/64 32107 /proc/meminfo: memFree=1039056/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=24184 CPUtime=70.01 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 46800 0 0 0 6980 21 0 0 25 0 1 0 163110128 24764416 5701 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 6046 5701 227 40 0 5463 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 24184 [startup+80.0467 s] /proc/loadavg: 0.98 0.96 0.91 2/64 32107 /proc/meminfo: memFree=1039056/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=24184 CPUtime=80.02 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 53910 0 0 0 7978 24 0 0 25 0 1 0 163110128 24764416 5701 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 6046 5701 227 40 0 5463 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 24184 [startup+90.0528 s] /proc/loadavg: 0.98 0.96 0.91 2/64 32107 /proc/meminfo: memFree=1039120/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=24184 CPUtime=90.02 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 61020 0 0 0 8975 27 0 0 25 0 1 0 163110128 24764416 5701 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629086 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 6046 5701 227 40 0 5463 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 24184 [startup+100.059 s] /proc/loadavg: 0.98 0.96 0.91 2/64 32107 /proc/meminfo: memFree=1039056/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=24184 CPUtime=100.02 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 68130 0 0 0 9973 29 0 0 25 0 1 0 163110128 24764416 5701 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 6046 5701 227 40 0 5463 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 24184 [startup+110.065 s] /proc/loadavg: 0.98 0.96 0.91 2/64 32107 /proc/meminfo: memFree=1039056/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=24184 CPUtime=110.02 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 75240 0 0 0 10970 32 0 0 25 0 1 0 163110128 24764416 5701 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629229 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 6046 5701 227 40 0 5463 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 24184 [startup+120.071 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32107 /proc/meminfo: memFree=1039056/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=24184 CPUtime=120.03 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 82350 0 0 0 11968 35 0 0 25 0 1 0 163110128 24764416 5701 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 6046 5701 227 40 0 5463 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 24184 [startup+130.077 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32107 /proc/meminfo: memFree=1039056/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=24184 CPUtime=130.03 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 89460 0 0 0 12965 38 0 0 25 0 1 0 163110128 24764416 5701 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542146 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 6046 5701 227 40 0 5463 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 24184 [startup+140.083 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32107 /proc/meminfo: memFree=1039056/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=24184 CPUtime=140.04 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 96570 0 0 0 13963 41 0 0 25 0 1 0 163110128 24764416 5701 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 6046 5701 227 40 0 5463 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 24184 [startup+150.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32107 /proc/meminfo: memFree=1038992/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=24404 CPUtime=150.04 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 103924 0 0 0 14960 44 0 0 25 0 1 0 163110128 24989696 5756 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629276 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 6101 5756 227 40 0 5518 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 24404 [startup+160.097 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32107 /proc/meminfo: memFree=1038992/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=24404 CPUtime=160.04 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 111339 0 0 0 15957 47 0 0 25 0 1 0 163110128 24989696 5756 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 6101 5756 227 40 0 5518 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 24404 [startup+170.103 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32107 /proc/meminfo: memFree=1038992/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=24404 CPUtime=170.04 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 118754 0 0 0 16955 49 0 0 25 0 1 0 163110128 24989696 5756 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 6101 5756 227 40 0 5518 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 24404 [startup+180.109 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32107 /proc/meminfo: memFree=1034576/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=24184 CPUtime=180.05 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 127597 0 0 0 17952 53 0 0 25 0 1 0 163110128 24764416 5701 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542910 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 6046 5701 227 40 0 5463 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 24184 [startup+190.115 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32107 /proc/meminfo: memFree=1039056/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=24404 CPUtime=190.05 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 136539 0 0 0 18948 57 0 0 25 0 1 0 163110128 24989696 5756 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543232 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 6101 5756 227 40 0 5518 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 24404 [startup+200.121 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32107 /proc/meminfo: memFree=1039056/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=24404 CPUtime=200.05 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 143954 0 0 0 19945 60 0 0 25 0 1 0 163110128 24989696 5756 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542170 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 6101 5756 227 40 0 5518 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 24404 [startup+210.127 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32107 ################ # More data... # ################ /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 3618772 0 0 0 176582 1567 0 0 25 0 1 0 163110128 31571968 7363 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134586018 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 7708 7363 227 40 0 7125 0 Current children cumulated CPU time (s) 1781.49 Current children cumulated vsize (Kb) 30832 [startup+1783.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32305 /proc/meminfo: memFree=1032336/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=30832 CPUtime=1782.49 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 3621974 0 0 0 176681 1568 0 0 25 0 1 0 163110128 31571968 7363 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134585319 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 7708 7363 227 40 0 7125 0 Current children cumulated CPU time (s) 1782.49 Current children cumulated vsize (Kb) 30832 [startup+1784.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32305 /proc/meminfo: memFree=1032336/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=30832 CPUtime=1783.49 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 3622034 0 0 0 176781 1568 0 0 25 0 1 0 163110128 31571968 7363 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134585282 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 7708 7363 227 40 0 7125 0 Current children cumulated CPU time (s) 1783.49 Current children cumulated vsize (Kb) 30832 [startup+1785.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32305 /proc/meminfo: memFree=1032336/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=30832 CPUtime=1784.5 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 3622094 0 0 0 176882 1568 0 0 25 0 1 0 163110128 31571968 7363 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134591414 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 7708 7363 227 40 0 7125 0 Current children cumulated CPU time (s) 1784.5 Current children cumulated vsize (Kb) 30832 [startup+1786.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32305 /proc/meminfo: memFree=1037584/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=25604 CPUtime=1785.5 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 3627101 0 0 0 176980 1570 0 0 25 0 1 0 163110128 26218496 6051 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632679 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 6401 6051 227 40 0 5818 0 Current children cumulated CPU time (s) 1785.5 Current children cumulated vsize (Kb) 25604 [startup+1787.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32305 /proc/meminfo: memFree=1032912/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=25280 CPUtime=1786.5 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 3633360 0 0 0 177077 1573 0 0 25 0 1 0 163110128 25886720 5975 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 6320 5975 227 40 0 5737 0 Current children cumulated CPU time (s) 1786.5 Current children cumulated vsize (Kb) 25280 [startup+1788.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32305 /proc/meminfo: memFree=1032464/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=30856 CPUtime=1787.51 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 3639608 0 0 0 177176 1575 0 0 25 0 1 0 163110128 31596544 7337 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134587730 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 7714 7337 227 40 0 7131 0 Current children cumulated CPU time (s) 1787.51 Current children cumulated vsize (Kb) 30856 [startup+1789.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32305 /proc/meminfo: memFree=1037264/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=27740 CPUtime=1788.52 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 3646545 0 0 0 177274 1578 0 0 25 0 1 0 163110128 28405760 6367 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 8904407 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 6935 6374 227 40 0 6352 0 Current children cumulated CPU time (s) 1788.52 Current children cumulated vsize (Kb) 27740 [startup+1790.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32305 /proc/meminfo: memFree=1032464/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=30856 CPUtime=1789.52 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 3650706 0 0 0 177372 1580 0 0 25 0 1 0 163110128 31596544 7337 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 7714 7337 227 40 0 7131 0 Current children cumulated CPU time (s) 1789.52 Current children cumulated vsize (Kb) 30856 [startup+1791.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32305 /proc/meminfo: memFree=1032272/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=30856 CPUtime=1790.52 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 3656986 0 0 0 177470 1582 0 0 25 0 1 0 163110128 31596544 7369 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 7714 7369 227 40 0 7131 0 Current children cumulated CPU time (s) 1790.52 Current children cumulated vsize (Kb) 30856 [startup+1792.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32305 /proc/meminfo: memFree=1032272/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=30856 CPUtime=1791.53 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 3657058 0 0 0 177570 1583 0 0 25 0 1 0 163110128 31596544 7369 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134586336 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 7714 7369 227 40 0 7131 0 Current children cumulated CPU time (s) 1791.53 Current children cumulated vsize (Kb) 30856 [startup+1793.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32305 /proc/meminfo: memFree=1032272/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=30856 CPUtime=1792.54 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 3657118 0 0 0 177671 1583 0 0 25 0 1 0 163110128 31596544 7369 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643687 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 7714 7369 227 40 0 7131 0 Current children cumulated CPU time (s) 1792.54 Current children cumulated vsize (Kb) 30856 [startup+1794.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32305 /proc/meminfo: memFree=1032272/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=30856 CPUtime=1793.54 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 3657178 0 0 0 177771 1583 0 0 25 0 1 0 163110128 31596544 7369 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 7714 7369 227 40 0 7131 0 Current children cumulated CPU time (s) 1793.54 Current children cumulated vsize (Kb) 30856 [startup+1795.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32305 /proc/meminfo: memFree=1032272/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=30876 CPUtime=1794.54 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 3658781 0 0 0 177871 1583 0 0 25 0 1 0 163110128 31617024 7374 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134585703 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 7719 7374 227 40 0 7136 0 Current children cumulated CPU time (s) 1794.54 Current children cumulated vsize (Kb) 30876 [startup+1796.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32305 /proc/meminfo: memFree=1032272/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=30876 CPUtime=1795.54 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 3658841 0 0 0 177971 1583 0 0 25 0 1 0 163110128 31617024 7374 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134585595 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 7719 7374 227 40 0 7136 0 Current children cumulated CPU time (s) 1795.54 Current children cumulated vsize (Kb) 30876 [startup+1797.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32305 /proc/meminfo: memFree=1032272/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=30876 CPUtime=1796.55 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 3658901 0 0 0 178071 1584 0 0 25 0 1 0 163110128 31617024 7374 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643684 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 7719 7374 227 40 0 7136 0 Current children cumulated CPU time (s) 1796.55 Current children cumulated vsize (Kb) 30876 [startup+1798.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32305 /proc/meminfo: memFree=1037584/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=25632 CPUtime=1797.56 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 3663904 0 0 0 178170 1586 0 0 25 0 1 0 163110128 26247168 6059 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632668 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 6408 6059 227 40 0 5825 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (Kb) 25632 [startup+1799.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32305 /proc/meminfo: memFree=1032400/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=30756 CPUtime=1798.56 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 3670028 0 0 0 178267 1589 0 0 25 0 1 0 163110128 31494144 7344 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 7689 7344 227 40 0 7106 0 Current children cumulated CPU time (s) 1798.56 Current children cumulated vsize (Kb) 30756 [startup+1800.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32305 /proc/meminfo: memFree=1032976/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=30756 CPUtime=1799.57 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 3676384 0 0 0 178365 1592 0 0 25 0 1 0 163110128 31494144 7324 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 8904407 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 7689 7332 227 40 0 7106 0 Current children cumulated CPU time (s) 1799.57 Current children cumulated vsize (Kb) 30756 [startup+1801.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32305 /proc/meminfo: memFree=1037648/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=25312 CPUtime=1800.58 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 3682946 0 0 0 178463 1595 0 0 25 0 1 0 163110128 25919488 5983 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134537312 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 6328 5983 227 40 0 5745 0 Current children cumulated CPU time (s) 1800.58 Current children cumulated vsize (Kb) 25312 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32305 /proc/meminfo: memFree=1037648/2055920 swapFree=4182920/4192956 [pid=32107] ppid=32105 vsize=25312 CPUtime=1800.58 /proc/32107/stat : 32107 (glpPBv3) R 32105 32107 32058 0 -1 0 3682946 0 0 0 178463 1595 0 0 25 0 1 0 163110128 25919488 5983 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543242 0 0 4096 0 0 0 0 17 1 0 0 /proc/32107/statm: 6328 5983 227 40 0 5745 0 Current children cumulated CPU time (s) 1800.58 Current children cumulated vsize (Kb) 25312 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.2 CPU time (s): 1800.59 CPU user time (s): 1784.63 CPU system time (s): 15.9546 CPU usage (%): 99.9661 Max. virtual memory (cumulated for all children) (Kb): 30876 The end
Begin job on node21 on Sat Jul 29 08:41:33 UTC 2006 FILE ID= 84927-1154162493 PBS_JOBID= 892701 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-mkc1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node21/84927-1154162493/instance-84927-1154162493.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-84927-1154162493 -o ROOT/results/node21/solver-84927-1154162493 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node21/84927-1154162493/instance-84927-1154162493.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= fcdcb6b6d92f8975c7c03a825b19d25c RANDOM SEED= 798427452 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.231 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.231 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: 1061280 kB Buffers: 39532 kB Cached: 880292 kB SwapCached: 3684 kB Active: 167168 kB Inactive: 761104 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1061280 kB SwapTotal: 4192956 kB SwapFree: 4182920 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14464 kB Slab: 52416 kB Committed_AS: 749004 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node21 on Sat Jul 29 09:11:35 UTC 2006