Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.01 | 1800.56 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-share1b.opb |
MD5SUM | bba1c13067ee4807fb3278415b1e1268 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 6750 |
Total number of constraints | 117 |
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 | 117 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 1110 |
Number of terms in the objective function | 930 |
Biggest coefficient in the objective function | 52096 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 525037 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262126 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 525113 |
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 Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.24 c Initial problem consists of 6750 variables and 206 constraints. 0.27 c No problem reductions applied in OPT. instance. 0.27 c preprocess terminated. Elapsed time: 0.256 0.27 c After prepocess the problem consists of 5027 variables and 204 constraints. 0.27 c Initial Lower Bound: -5856 1.23 c Restart #1 #Var: 5027 LB: -5856 @ 1.216 2.07 c Restart #2 #Var: 5027 LB: -5856 @ 2.058 3.13 c Restart #3 #Var: 5025 LB: -5856 @ 3.12 4.03 c Restart #4 #Var: 5025 LB: -5856 @ 4.014 5.10 c Restart #5 #Var: 5025 LB: -5856 @ 5.088 6.39 c Restart #6 #Var: 5025 LB: -5856 @ 6.383 7.88 c Restart #7 #Var: 5025 LB: -5856 @ 7.869 10.96 c Restart #8 #Var: 5025 LB: -5856 @ 10.942 14.53 c Restart #9 #Var: 5025 LB: -5856 @ 14.508 14.86 c Restart #10 #Var: 5025 LB: -5856 @ 14.844 15.40 c Restart #11 #Var: 5025 LB: -5856 @ 15.38 16.26 c Restart #12 #Var: 5024 LB: -5856 @ 16.241 16.73 c Restart #13 #Var: 5024 LB: -5856 @ 16.715 17.33 c Restart #14 #Var: 5023 LB: -5856 @ 17.316 18.19 c Restart #15 #Var: 5023 LB: -5856 @ 18.172 19.11 c Restart #16 #Var: 5023 LB: -5856 @ 19.096 19.65 c Restart #17 #Var: 5023 LB: -5856 @ 19.635 20.40 c Restart #18 #Var: 5023 LB: -5856 @ 20.38 20.96 c Restart #19 #Var: 5023 LB: -5856 @ 20.935 22.09 c Restart #20 #Var: 5023 LB: -5856 @ 22.069 22.82 c Restart #21 #Var: 5023 LB: -5856 @ 22.802 23.49 c Restart #22 #Var: 5023 LB: -5856 @ 23.465 24.53 c Restart #23 #Var: 5023 LB: -5856 @ 24.512 25.32 c Restart #24 #Var: 5023 LB: -5856 @ 25.301 26.89 c Restart #25 #Var: 5023 LB: -5856 @ 26.865 27.90 c Restart #26 #Var: 5023 LB: -5856 @ 27.879 28.81 c Restart #27 #Var: 5023 LB: -5856 @ 28.789 30.20 c Restart #28 #Var: 5023 LB: -5856 @ 30.177 31.76 c Restart #29 #Var: 5023 LB: -5856 @ 31.74 32.72 c Restart #30 #Var: 5023 LB: -5856 @ 32.697 34.31 c Restart #31 #Var: 5023 LB: -5856 @ 34.283 36.13 c Restart #32 #Var: 5023 LB: -5856 @ 36.107 37.04 c Restart #33 #Var: 5023 LB: -5856 @ 37.02 38.01 c Restart #34 #Var: 5023 LB: -5856 @ 37.99 39.60 c Restart #35 #Var: 5023 LB: -5856 @ 39.578 40.64 c Restart #36 #Var: 5023 LB: -5856 @ 40.61 41.74 c Restart #37 #Var: 5023 LB: -5856 @ 41.709 43.14 c Restart #38 #Var: 5023 LB: -5856 @ 43.112 44.31 c Restart #39 #Var: 5023 LB: -5856 @ 44.286 45.74 c Restart #40 #Var: 5023 LB: -5856 @ 45.71 47.92 c Restart #41 #Var: 5023 LB: -5856 @ 47.89 49.00 c Restart #42 #Var: 5023 LB: -5856 @ 48.967 50.27 c Restart #43 #Var: 5023 LB: -5856 @ 50.238 52.46 c Restart #44 #Var: 5023 LB: -5856 @ 52.433 53.77 c Restart #45 #Var: 5023 LB: -5856 @ 53.74 55.17 c Restart #46 #Var: 5023 LB: -5856 @ 55.141 57.40 c Restart #47 #Var: 5023 LB: -5856 @ 57.367 58.69 c Restart #48 #Var: 5023 LB: -5856 @ 58.663 60.32 c Restart #49 #Var: 5023 LB: -5856 @ 60.293 64.17 c Restart #50 #Var: 5023 LB: -5856 @ 64.14 65.55 c Restart #51 #Var: 5023 LB: -5856 @ 65.522 67.37 c Restart #52 #Var: 5023 LB: -5856 @ 67.335 69.68 c Restart #53 #Var: 5023 LB: -5856 @ 69.647 71.21 c Restart #54 #Var: 5023 LB: -5856 @ 71.181 72.97 c Restart #55 #Var: 5023 LB: -5856 @ 72.931 76.15 c Restart #56 #Var: 5023 LB: -5856 @ 76.117 77.93 c Restart #57 #Var: 5023 LB: -5856 @ 77.896 79.67 c Restart #58 #Var: 5023 LB: -5856 @ 79.636 82.54 c Restart #59 #Var: 5023 LB: -5856 @ 82.504 84.60 c Restart #60 #Var: 5023 LB: -5856 @ 84.564 86.31 c Restart #61 #Var: 5023 LB: -5856 @ 86.268 88.07 c Restart #62 #Var: 5023 LB: -5856 @ 88.029 92.88 c Restart #63 #Var: 5023 LB: -5856 @ 92.838 95.24 c Restart #64 #Var: 5023 LB: -5856 @ 95.195 98.99 c Restart #65 #Var: 5023 LB: -5856 @ 98.947 101.22 c Restart #66 #Var: 5023 LB: -5856 @ 101.18 105.10 c Restart #67 #Var: 5023 LB: -5856 @ 105.06 107.76 c Restart #68 #Var: 5023 LB: -5856 @ 107.72 110.40 c Restart #69 #Var: 5023 LB: -5856 @ 110.35 113.17 c Restart #70 #Var: 5023 LB: -5856 @ 113.12 116.35 c Restart #71 #Var: 5023 LB: -5856 @ 116.31 118.77 c Restart #72 #Var: 5023 LB: -5856 @ 118.72 121.50 c Restart #73 #Var: 5023 LB: -5856 @ 121.45 124.32 c Restart #74 #Var: 5023 LB: -5856 @ 124.27 127.04 c Restart #75 #Var: 5023 LB: -5856 @ 126.99 130.03 c Restart #76 #Var: 5023 LB: -5856 @ 129.98 132.74 c Restart #77 #Var: 5023 LB: -5856 @ 132.69 135.83 c Restart #78 #Var: 5023 LB: -5856 @ 135.78 138.79 c Restart #79 #Var: 5023 LB: -5856 @ 138.74 142.09 c Restart #80 #Var: 5023 LB: -5856 @ 142.03 145.09 c Restart #81 #Var: 5023 LB: -5856 @ 145.03 148.31 c Restart #82 #Var: 5023 LB: -5856 @ 148.25 151.38 c Restart #83 #Var: 5023 LB: -5856 @ 151.32 154.99 c Restart #84 #Var: 5023 LB: -5856 @ 154.93 157.94 c Restart #85 #Var: 5023 LB: -5856 @ 157.88 161.69 c Restart #86 #Var: 5023 LB: -5856 @ 161.63 164.71 c Restart #87 #Var: 5023 LB: -5856 @ 164.65 168.50 c Restart #88 #Var: 5023 LB: -5856 @ 168.44 171.49 c Restart #89 #Var: 5023 LB: -5856 @ 171.43 175.39 c Restart #90 #Var: 5023 LB: -5856 @ 175.32 178.47 c Restart #91 #Var: 5023 LB: -5856 @ 178.4 182.43 c Restart #92 #Var: 5023 LB: -5856 @ 182.37 185.55 c Restart #93 #Var: 5023 LB: -5856 @ 185.48 189.55 c Restart #94 #Var: 5023 LB: -5856 @ 189.48 192.79 c Restart #95 #Var: 5023 LB: -5856 @ 192.72 197.68 c Restart #96 #Var: 5023 LB: -5856 @ 197.61 202.21 c Restart #97 #Var: 5023 LB: -5856 @ 202.14 208.71 c Restart #98 #Var: 5023 LB: -5856 @ 208.64 212.84 c Restart #99 #Var: 5023 LB: -5856 @ 212.76 219.70 c Restart #100 #Var: 5023 LB: -5856 @ 219.63 224.49 c Restart #101 #Var: 5023 LB: -5856 @ 224.41 228.31 c Restart #102 #Var: 5023 LB: -5856 @ 228.23 233.17 c Restart #103 #Var: 5023 LB: -5856 @ 233.09 237.51 c Restart #104 #Var: 5023 LB: -5856 @ 237.42 242.48 c Restart #105 #Var: 5023 LB: -5856 @ 242.39 246.05 c Restart #106 #Var: 5023 LB: -5856 @ 245.97 251.69 c Restart #107 #Var: 5023 LB: -5856 @ 251.6 255.42 c Restart #108 #Var: 5023 LB: -5856 @ 255.33 260.75 c Restart #109 #Var: 5023 LB: -5856 @ 260.66 264.91 c Restart #110 #Var: 5023 LB: -5856 @ 264.82 269.52 c Restart #111 #Var: 5023 LB: -5856 @ 269.43 273.95 c Restart #112 #Var: 5023 LB: -5856 @ 273.86 278.28 c Restart #113 #Var: 5023 LB: -5856 @ 278.18 283.50 c Restart #114 #Var: 5023 LB: -5856 @ 283.4 288.22 c Restart #115 #Var: 5023 LB: -5856 @ 288.12 292.95 c Restart #116 #Var: 5023 LB: -5856 @ 292.85 297.20 c Restart #117 #Var: 5023 LB: -5856 @ 297.1 302.76 c Restart #118 #Var: 5023 LB: -5856 @ 302.66 307.16 c Restart #119 #Var: 5023 LB: -5856 @ 307.06 312.02 c Restart #120 #Var: 5023 LB: -5856 @ 311.91 318.88 c Restart #121 #Var: 5023 LB: -5856 @ 318.77 327.20 c Restart #122 #Var: 5023 LB: -5856 @ 327.09 331.46 c Restart #123 #Var: 5023 LB: -5856 @ 331.35 337.91 c Restart #124 #Var: 5023 LB: -5856 @ 337.8 344.52 c Restart #125 #Var: 5023 LB: -5856 @ 344.4 349.62 c Restart #126 #Var: 5023 LB: -5856 @ 349.51 354.87 c Restart #127 #Var: 5023 LB: -5856 @ 354.75 362.66 c Restart #128 #Var: 5023 LB: -5856 @ 362.54 368.11 c Restart #129 #Var: 5023 LB: -5856 @ 367.99 374.17 c Restart #130 #Var: 5023 LB: -5856 @ 374.05 378.89 c Restart #131 #Var: 5023 LB: -5856 @ 378.76 383.64 c Restart #132 #Var: 5023 LB: -5856 @ 383.51 389.99 c Restart #133 #Var: 5023 LB: -5856 @ 389.86 395.98 c Restart #134 #Var: 5023 LB: -5856 @ 395.85 401.80 c Restart #135 #Var: 5023 LB: -5856 @ 401.67 407.23 c Restart #136 #Var: 5023 LB: -5856 @ 407.09 413.70 c Restart #137 #Var: 5023 LB: -5856 @ 413.56 418.52 c Restart #138 #Var: 5023 LB: -5856 @ 418.38 423.47 c Restart #139 #Var: 5023 LB: -5856 @ 423.33 428.35 c Restart #140 #Var: 5023 LB: -5856 @ 428.21 433.73 c Restart #141 #Var: 5023 LB: -5856 @ 433.59 438.88 c Restart #142 #Var: 5023 LB: -5856 @ 438.74 444.15 c Restart #143 #Var: 5023 LB: -5856 @ 444 451.59 c Restart #144 #Var: 5023 LB: -5856 @ 451.45 457.00 c Restart #145 #Var: 5023 LB: -5856 @ 456.85 462.27 c Restart #146 #Var: 5023 LB: -5856 @ 462.12 468.72 c Restart #147 #Var: 5023 LB: -5856 @ 468.57 474.00 c Restart #148 #Var: 5023 LB: -5856 @ 473.85 480.53 c Restart #149 #Var: 5023 LB: -5856 @ 480.37 485.89 c Restart #150 #Var: 5023 LB: -5856 @ 485.73 491.75 c Restart #151 #Var: 5023 LB: -5856 @ 491.6 497.64 c Restart #152 #Var: 5023 LB: -5856 @ 497.48 503.39 c Restart #153 #Var: 5023 LB: -5856 @ 503.23 509.43 c Restart #154 #Var: 5023 LB: -5856 @ 509.27 517.03 c Restart #155 #Var: 5023 LB: -5856 @ 516.86 523.29 c Restart #156 #Var: 5023 LB: -5856 @ 523.13 530.99 c Restart #157 #Var: 5023 LB: -5856 @ 530.83 538.59 c Restart #158 #Var: 5023 LB: -5856 @ 538.42 545.05 c Restart #159 #Var: 5023 LB: -5856 @ 544.88 551.47 c Restart #160 #Var: 5023 LB: -5856 @ 551.3 558.09 c Restart #161 #Var: 5023 LB: -5856 @ 557.92 564.06 c Restart #162 #Var: 5023 LB: -5856 @ 563.88 571.93 c Restart #163 #Var: 5023 LB: -5856 @ 571.75 579.64 c Restart #164 #Var: 5023 LB: -5856 @ 579.46 586.41 c Restart #165 #Var: 5023 LB: -5856 @ 586.23 594.28 c Restart #166 #Var: 5023 LB: -5856 @ 594.1 602.21 c Restart #167 #Var: 5023 LB: -5856 @ 602.02 610.35 c Restart #168 #Var: 5023 LB: -5856 @ 610.16 619.30 c Restart #169 #Var: 5023 LB: -5856 @ 619.11 623.72 c Restart #170 #Var: 5023 LB: -5856 @ 623.53 627.43 c Restart #171 #Var: 5007 LB: -5725 @ 627.23 637.18 c Restart #172 #Var: 5007 LB: -5725 @ 636.98 643.61 c Restart #173 #Var: 5007 LB: -5725 @ 643.4 650.83 c Restart #174 #Var: 5007 LB: -5725 @ 650.63 658.04 c Restart #175 #Var: 5007 LB: -5725 @ 657.84 665.38 c Restart #176 #Var: 5007 LB: -5725 @ 665.17 672.98 c Restart #177 #Var: 5007 LB: -5725 @ 672.77 679.77 c Restart #178 #Var: 5007 LB: -5725 @ 679.56 686.88 c Restart #179 #Var: 5007 LB: -5725 @ 686.66 694.53 c Restart #180 #Var: 5007 LB: -5725 @ 694.31 700.51 c Restart #181 #Var: 5007 LB: -5725 @ 700.3 707.42 c Restart #182 #Var: 5007 LB: -5725 @ 707.2 713.60 c Restart #183 #Var: 5007 LB: -5725 @ 713.38 726.05 c Restart #184 #Var: 5007 LB: -5725 @ 725.82 733.48 c Restart #185 #Var: 5007 LB: -5725 @ 733.26 739.70 c Restart #186 #Var: 5007 LB: -5725 @ 739.47 747.74 c Restart #187 #Var: 5007 LB: -5725 @ 747.51 755.72 c Restart #188 #Var: 5007 LB: -5725 @ 755.49 766.65 c Restart #189 #Var: 5007 LB: -5725 @ 766.41 772.88 c Restart #190 #Var: 5007 LB: -5725 @ 772.65 783.17 c Restart #191 #Var: 5007 LB: -5725 @ 782.93 789.51 c Restart #192 #Var: 5007 LB: -5725 @ 789.27 796.98 c Restart #193 #Var: 5007 LB: -5725 @ 796.73 803.57 c Restart #194 #Var: 5007 LB: -5725 @ 803.32 810.89 c Restart #195 #Var: 5007 LB: -5725 @ 810.64 817.40 c Restart #196 #Var: 5007 LB: -5725 @ 817.15 824.74 c Restart #197 #Var: 5007 LB: -5725 @ 824.49 837.84 c Restart #198 #Var: 5007 LB: -5725 @ 837.59 844.16 c Restart #199 #Var: 5007 LB: -5725 @ 843.9 855.46 c Restart #200 #Var: 5007 LB: -5725 @ 855.2 861.97 c Restart #201 #Var: 5007 LB: -5725 @ 861.71 869.97 c Restart #202 #Var: 5007 LB: -5725 @ 869.71 878.33 c Restart #203 #Var: 5007 LB: -5725 @ 878.07 884.30 c Restart #204 #Var: 5007 LB: -5725 @ 884.03 890.78 c Restart #205 #Var: 5007 LB: -5725 @ 890.51 897.59 c Restart #206 #Var: 5005 LB: -5725 @ 897.31 910.85 c CHANGE Heuristic... 910.85 c Restart #0 #Var: 5005 LB: -5725 @ 910.57 910.89 c Restart #1 #Var: 5005 LB: -5725 @ 910.62 910.98 c Restart #2 #Var: 5005 LB: -5725 @ 910.7 911.09 c Restart #3 #Var: 5005 LB: -5725 @ 910.81 911.26 c Restart #4 #Var: 4993 LB: -5659 @ 910.98 911.41 c Restart #5 #Var: 4993 LB: -5659 @ 911.14 912.06 c Restart #6 #Var: 4993 LB: -5659 @ 911.78 912.40 c Restart #7 #Var: 4993 LB: -5659 @ 912.12 912.62 c Restart #8 #Var: 4993 LB: -5659 @ 912.34 912.94 c Restart #9 #Var: 4993 LB: -5659 @ 912.67 920.37 c Restart #10 #Var: 4993 LB: -5659 @ 920.09 920.79 c Restart #11 #Var: 4993 LB: -5659 @ 920.51 921.48 c Restart #12 #Var: 4993 LB: -5659 @ 921.2 923.08 c Restart #13 #Var: 4993 LB: -5659 @ 922.8 924.14 c Restart #14 #Var: 4993 LB: -5659 @ 923.86 924.63 c Restart #15 #Var: 4993 LB: -5659 @ 924.35 925.28 c Restart #16 #Var: 4993 LB: -5659 @ 924.99 926.11 c Restart #17 #Var: 4993 LB: -5659 @ 925.82 926.73 c Restart #18 #Var: 4993 LB: -5659 @ 926.45 927.32 c Restart #19 #Var: 4993 LB: -5659 @ 927.04 928.02 c Restart #20 #Var: 4993 LB: -5659 @ 927.74 928.81 c Restart #21 #Var: 4993 LB: -5659 @ 928.52 929.63 c Restart #22 #Var: 4993 LB: -5659 @ 929.35 930.33 c Restart #23 #Var: 4993 LB: -5659 @ 930.05 931.27 c Restart #24 #Var: 4993 LB: -5659 @ 930.98 932.13 c Restart #25 #Var: 4993 LB: -5659 @ 931.85 933.08 c Restart #26 #Var: 4993 LB: -5659 @ 932.79 933.90 c Restart #27 #Var: 4993 LB: -5659 @ 933.62 934.91 c Restart #28 #Var: 4993 LB: -5659 @ 934.63 935.83 c Restart #29 #Var: 4993 LB: -5659 @ 935.55 937.06 c Restart #30 #Var: 4993 LB: -5659 @ 936.78 938.31 c Restart #31 #Var: 4993 LB: -5659 @ 938.03 939.45 c Restart #32 #Var: 4993 LB: -5659 @ 939.16 940.67 c Restart #33 #Var: 4993 LB: -5659 @ 940.38 942.05 c Restart #34 #Var: 4993 LB: -5659 @ 941.76 943.22 c Restart #35 #Var: 4993 LB: -5659 @ 942.93 944.48 c Restart #36 #Var: 4993 LB: -5659 @ 944.2 946.08 c Restart #37 #Var: 4993 LB: -5659 @ 945.79 947.34 c Restart #38 #Var: 4993 LB: -5659 @ 947.05 948.93 c Restart #39 #Var: 4993 LB: -5659 @ 948.64 950.80 c Restart #40 #Var: 4993 LB: -5659 @ 950.51 952.07 c Restart #41 #Var: 4993 LB: -5659 @ 951.78 953.27 c Restart #42 #Var: 4993 LB: -5659 @ 952.98 955.26 c Restart #43 #Var: 4993 LB: -5659 @ 954.97 956.88 c Restart #44 #Var: 4993 LB: -5659 @ 956.59 958.47 c Restart #45 #Var: 4993 LB: -5659 @ 958.17 960.96 c Restart #46 #Var: 4993 LB: -5659 @ 960.67 962.67 c Restart #47 #Var: 4993 LB: -5659 @ 962.37 964.58 c Restart #48 #Var: 4993 LB: -5659 @ 964.28 966.81 c Restart #49 #Var: 4993 LB: -5659 @ 966.52 968.54 c Restart #50 #Var: 4993 LB: -5659 @ 968.24 970.43 c Restart #51 #Var: 4993 LB: -5659 @ 970.13 972.43 c Restart #52 #Var: 4993 LB: -5659 @ 972.14 974.24 c Restart #53 #Var: 4993 LB: -5659 @ 973.94 976.16 c Restart #54 #Var: 4993 LB: -5659 @ 975.86 978.40 c Restart #55 #Var: 4993 LB: -5659 @ 978.1 980.24 c Restart #56 #Var: 4993 LB: -5659 @ 979.94 982.17 c Restart #57 #Var: 4993 LB: -5659 @ 981.87 983.80 c Restart #58 #Var: 4993 LB: -5659 @ 983.5 985.80 c Restart #59 #Var: 4993 LB: -5659 @ 985.5 987.66 c Restart #60 #Var: 4993 LB: -5659 @ 987.36 989.37 c Restart #61 #Var: 4993 LB: -5659 @ 989.07 991.25 c Restart #62 #Var: 4993 LB: -5659 @ 990.95 993.61 c Restart #63 #Var: 4993 LB: -5659 @ 993.31 995.42 c Restart #64 #Var: 4993 LB: -5659 @ 995.12 997.49 c Restart #65 #Var: 4993 LB: -5659 @ 997.19 999.76 c Restart #66 #Var: 4993 LB: -5659 @ 999.46 1001.92 c Restart #67 #Var: 4993 LB: -5659 @ 1001.6 1004.20 c Restart #68 #Var: 4993 LB: -5659 @ 1003.9 1006.40 c Restart #69 #Var: 4993 LB: -5659 @ 1006.1 1008.87 c Restart #70 #Var: 4993 LB: -5659 @ 1008.6 1020.39 c Restart #71 #Var: 4993 LB: -5659 @ 1020.1 1022.65 c Restart #72 #Var: 4993 LB: -5659 @ 1022.3 1025.96 c Restart #73 #Var: 4993 LB: -5659 @ 1025.7 1028.82 c Restart #74 #Var: 4993 LB: -5659 @ 1028.5 1032.86 c Restart #75 #Var: 4993 LB: -5659 @ 1032.5 1035.53 c Restart #76 #Var: 4993 LB: -5659 @ 1035.2 1038.10 c Restart #77 #Var: 4993 LB: -5659 @ 1037.8 1043.60 c Restart #78 #Var: 4993 LB: -5659 @ 1043.3 1046.21 c Restart #79 #Var: 4993 LB: -5659 @ 1045.9 1050.38 c Restart #80 #Var: 4993 LB: -5659 @ 1050.1 1053.19 c Restart #81 #Var: 4993 LB: -5659 @ 1052.9 1058.53 c Restart #82 #Var: 4993 LB: -5659 @ 1058.2 1061.88 c Restart #83 #Var: 4993 LB: -5659 @ 1061.6 1066.38 c Restart #84 #Var: 4993 LB: -5659 @ 1066.1 1069.74 c Restart #85 #Var: 4993 LB: -5659 @ 1069.4 1073.39 c Restart #86 #Var: 4993 LB: -5659 @ 1073.1 1076.01 c Restart #87 #Var: 4993 LB: -5659 @ 1075.7 1081.07 c Restart #88 #Var: 4993 LB: -5659 @ 1080.7 1086.49 c Restart #89 #Var: 4993 LB: -5659 @ 1086.2 1089.33 c Restart #90 #Var: 4993 LB: -5659 @ 1089 1092.54 c Restart #91 #Var: 4993 LB: -5659 @ 1092.2 1095.83 c Restart #92 #Var: 4993 LB: -5659 @ 1095.5 1100.41 c Restart #93 #Var: 4993 LB: -5659 @ 1100.1 1103.60 c Restart #94 #Var: 4993 LB: -5659 @ 1103.3 1109.50 c Restart #95 #Var: 4993 LB: -5659 @ 1109.2 1112.52 c Restart #96 #Var: 4993 LB: -5659 @ 1112.2 1117.94 c Restart #97 #Var: 4993 LB: -5659 @ 1117.6 1121.74 c Restart #98 #Var: 4993 LB: -5659 @ 1121.4 1125.45 c Restart #99 #Var: 4993 LB: -5659 @ 1125.1 1128.74 c Restart #100 #Var: 4993 LB: -5659 @ 1128.4 1133.65 c Restart #101 #Var: 4993 LB: -5659 @ 1133.3 1137.81 c Restart #102 #Var: 4993 LB: -5659 @ 1137.5 1141.63 c Restart #103 #Var: 4993 LB: -5659 @ 1141.3 1145.55 c Restart #104 #Var: 4993 LB: -5659 @ 1145.2 1149.50 c Restart #105 #Var: 4993 LB: -5659 @ 1149.2 1154.13 c Restart #106 #Var: 4993 LB: -5659 @ 1153.8 1157.64 c Restart #107 #Var: 4993 LB: -5659 @ 1157.3 1162.60 c Restart #108 #Var: 4993 LB: -5659 @ 1162.2 1166.83 c Restart #109 #Var: 4993 LB: -5659 @ 1166.5 1171.82 c Restart #110 #Var: 4993 LB: -5659 @ 1171.5 1183.04 c Restart #111 #Var: 4993 LB: -5659 @ 1182.7 1191.00 c Restart #112 #Var: 4993 LB: -5659 @ 1190.6 1195.43 c Restart #113 #Var: 4993 LB: -5659 @ 1195.1 1201.07 c Restart #114 #Var: 4993 LB: -5659 @ 1200.7 1205.08 c Restart #115 #Var: 4993 LB: -5659 @ 1204.7 1209.98 c Restart #116 #Var: 4993 LB: -5659 @ 1209.6 1213.83 c Restart #117 #Var: 4993 LB: -5659 @ 1213.5 1218.67 c Restart #118 #Var: 4993 LB: -5659 @ 1218.3 1222.45 c Restart #119 #Var: 4993 LB: -5659 @ 1222.1 1226.94 c Restart #120 #Var: 4993 LB: -5659 @ 1226.6 1233.34 c Restart #121 #Var: 4993 LB: -5659 @ 1233 1237.87 c Restart #122 #Var: 4993 LB: -5659 @ 1237.5 1241.75 c Restart #123 #Var: 4993 LB: -5659 @ 1241.4 1245.52 c Restart #124 #Var: 4993 LB: -5659 @ 1245.1 1249.74 c Restart #125 #Var: 4993 LB: -5659 @ 1249.4 1253.61 c Restart #126 #Var: 4993 LB: -5659 @ 1253.2 1260.04 c Restart #127 #Var: 4993 LB: -5659 @ 1259.7 1265.27 c Restart #128 #Var: 4993 LB: -5659 @ 1264.9 1272.01 c Restart #129 #Var: 4993 LB: -5659 @ 1271.6 1278.79 c Restart #130 #Var: 4993 LB: -5659 @ 1278.4 1284.96 c Restart #131 #Var: 4993 LB: -5659 @ 1284.6 1289.39 c Restart #132 #Var: 4993 LB: -5659 @ 1289 1296.12 c Restart #133 #Var: 4993 LB: -5659 @ 1295.7 1301.35 c Restart #134 #Var: 4993 LB: -5659 @ 1301 1308.54 c Restart #135 #Var: 4993 LB: -5659 @ 1308.1 1314.93 c Restart #136 #Var: 4993 LB: -5659 @ 1314.5 1322.56 c Restart #137 #Var: 4993 LB: -5659 @ 1322.2 1326.95 c Restart #138 #Var: 4993 LB: -5659 @ 1326.5 1331.97 c Restart #139 #Var: 4993 LB: -5659 @ 1331.6 1336.80 c Restart #140 #Var: 4993 LB: -5659 @ 1336.4 1343.46 c Restart #141 #Var: 4993 LB: -5659 @ 1343.1 1348.98 c Restart #142 #Var: 4993 LB: -5659 @ 1348.6 1355.60 c Restart #143 #Var: 4993 LB: -5659 @ 1355.2 1359.80 c Restart #144 #Var: 4993 LB: -5659 @ 1359.4 1364.78 c Restart #145 #Var: 4993 LB: -5659 @ 1364.4 1376.35 c Restart #146 #Var: 4993 LB: -5659 @ 1375.9 1386.11 c Restart #147 #Var: 4993 LB: -5659 @ 1385.7 1392.34 c Restart #148 #Var: 4992 LB: -5659 @ 1391.9 1413.95 c Restart #149 #Var: 4992 LB: -5659 @ 1413.5 1433.24 c Restart #150 #Var: 4992 LB: -5659 @ 1432.8 1441.64 c Restart #151 #Var: 4992 LB: -5659 @ 1441.2 1452.16 c Restart #152 #Var: 4992 LB: -5659 @ 1451.7 1456.93 c Restart #153 #Var: 4991 LB: -5659 @ 1456.5 1525.06 c Restart #154 #Var: 4991 LB: -5659 @ 1524.6 1551.32 c Restart #155 #Var: 4990 LB: -5659 @ 1550.9 1558.88 c Restart #156 #Var: 4990 LB: -5659 @ 1558.4 1566.63 c Restart #157 #Var: 4990 LB: -5659 @ 1566.2 1572.78 c Restart #158 #Var: 4990 LB: -5659 @ 1572.3 1579.20 c Restart #159 #Var: 4990 LB: -5659 @ 1578.7 1587.59 c Restart #160 #Var: 4990 LB: -5659 @ 1587.1 1593.86 c Restart #161 #Var: 4990 LB: -5659 @ 1593.4 1600.53 c Restart #162 #Var: 4990 LB: -5659 @ 1600 1606.04 c Restart #163 #Var: 4990 LB: -5659 @ 1605.6 1611.96 c Restart #164 #Var: 4990 LB: -5659 @ 1611.5 1618.97 c Restart #165 #Var: 4990 LB: -5659 @ 1618.5 1625.25 c Restart #166 #Var: 4990 LB: -5659 @ 1624.8 1668.08 c Restart #167 #Var: 4990 LB: -5659 @ 1667.6 1677.53 c Restart #168 #Var: 4990 LB: -5659 @ 1677 1725.42 c Restart #169 #Var: 4990 LB: -5659 @ 1724.9 1732.35 c Restart #170 #Var: 4990 LB: -5659 @ 1731.8 1741.91 c Restart #171 #Var: 4990 LB: -5659 @ 1741.4 1747.71 c Restart #172 #Var: 4990 LB: -5659 @ 1747.2 1754.02 c Restart #173 #Var: 4990 LB: -5659 @ 1753.5 1763.05 c Restart #174 #Var: 4990 LB: -5659 @ 1762.5 1769.07 c Restart #175 #Var: 4990 LB: -5659 @ 1768.5 1776.29 c Restart #176 #Var: 4990 LB: -5659 @ 1775.8 1785.11 c Restart #177 #Var: 4990 LB: -5659 @ 1784.6 1793.70 c Restart #178 #Var: 4990 LB: -5659 @ 1793.2 1800.54 s UNKNOWN 1800.54 c Exit Code: 0 1800.54 c Total time: 1800 s
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 Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node9/watcher-39927-1149333153 -o ROOT/results/node9/solver-39927-1149333153 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node9/39927-1149333153/instance-39927-1149333153.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 0.95 2/64 20257 /proc/meminfo: memFree=1653408/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=4664 CPUtime=0 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 139 0 0 0 0 0 0 0 19 0 1 0 198977664 4775936 120 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8627392 0 0 4096 0 0 0 0 17 1 0 0 /proc/20257/statm: 1166 123 103 55 0 46 0 [startup+10.0028 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20257 /proc/meminfo: memFree=1642048/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=16068 CPUtime=9.98 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 3249 0 0 0 944 54 0 0 25 0 1 0 198977664 16453632 3164 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 4017 3164 297 55 0 2909 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 16068 [startup+20.01 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20257 /proc/meminfo: memFree=1635776/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=22404 CPUtime=19.98 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4830 0 0 0 1917 81 0 0 25 0 1 0 198977664 22941696 4745 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 5601 4745 297 55 0 4493 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 22404 [startup+30.0161 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20257 /proc/meminfo: memFree=1635648/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=22700 CPUtime=29.98 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 2915 83 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 5675 4792 297 55 0 4567 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 22700 [startup+40.0223 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20257 /proc/meminfo: memFree=1635648/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=22700 CPUtime=39.99 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 3914 85 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 5675 4792 297 55 0 4567 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 22700 [startup+50.0284 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20257 /proc/meminfo: memFree=1635712/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=22700 CPUtime=49.99 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 4912 87 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 5675 4792 297 55 0 4567 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 22700 [startup+60.0346 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20257 /proc/meminfo: memFree=1635648/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=22700 CPUtime=59.99 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 5910 89 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 5675 4792 297 55 0 4567 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 22700 [startup+70.0407 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20257 /proc/meminfo: memFree=1635648/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=22700 CPUtime=70 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 6909 91 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 5675 4792 297 55 0 4567 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 22700 [startup+80.0468 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20257 /proc/meminfo: memFree=1635648/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=22700 CPUtime=80 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 7907 93 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 5675 4792 297 55 0 4567 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 22700 [startup+90.052 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20257 /proc/meminfo: memFree=1635648/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=22700 CPUtime=90 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 8906 94 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 5675 4792 297 55 0 4567 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 22700 [startup+100.058 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20257 /proc/meminfo: memFree=1635648/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=22700 CPUtime=100 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 9905 95 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 5675 4792 297 55 0 4567 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 22700 [startup+110.064 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20257 /proc/meminfo: memFree=1635648/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=22700 CPUtime=110.01 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 10904 97 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9096638 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 5675 4792 297 55 0 4567 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 22700 [startup+120.07 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20257 /proc/meminfo: memFree=1635584/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=22700 CPUtime=120.01 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 11901 100 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534860 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 5675 4792 297 55 0 4567 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 22700 [startup+130.077 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20257 /proc/meminfo: memFree=1635648/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=22700 CPUtime=130.01 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 12899 102 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 5675 4792 297 55 0 4567 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 22700 [startup+140.083 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20257 /proc/meminfo: memFree=1635648/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=22700 CPUtime=140.02 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 13897 105 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 5675 4792 297 55 0 4567 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 22700 [startup+150.089 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20257 /proc/meminfo: memFree=1635648/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=22700 CPUtime=150.02 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 14895 107 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 5675 4792 297 55 0 4567 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 22700 [startup+160.095 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20257 /proc/meminfo: memFree=1635648/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=22700 CPUtime=160.03 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 15894 109 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 5675 4792 297 55 0 4567 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 22700 [startup+170.101 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20257 /proc/meminfo: memFree=1635648/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=22700 CPUtime=170.02 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 16892 110 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 5675 4792 297 55 0 4567 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 22700 [startup+180.107 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20257 /proc/meminfo: memFree=1635648/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=22700 CPUtime=180.03 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 17891 112 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696512 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 5675 4792 297 55 0 4567 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 22700 [startup+190.113 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20257 /proc/meminfo: memFree=1635648/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=22700 CPUtime=190.04 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 18890 114 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 5675 4792 297 55 0 4567 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 22700 [startup+200.12 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20257 /proc/meminfo: memFree=1635584/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=22700 CPUtime=200.04 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 4877 0 0 0 19889 115 0 0 25 0 1 0 198977664 23244800 4792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 5675 4792 297 55 0 4567 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 22700 [startup+210.125 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20257 /proc/meminfo: memFree=1635584/2055920 swapFree=4180864/4192956 ################ # More data... # ################ /proc/20257/statm: 18043 17179 297 55 0 16935 0 Current children cumulated CPU time (s) 1760.59 Current children cumulated vsize (Kb) 72172 [startup+1771.13 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20259 /proc/meminfo: memFree=1585472/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=72172 CPUtime=1770.59 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 176677 382 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134598957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 18043 17179 297 55 0 16935 0 Current children cumulated CPU time (s) 1770.59 Current children cumulated vsize (Kb) 72172 [startup+1781.13 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20259 /proc/meminfo: memFree=1585472/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=72172 CPUtime=1780.59 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 177674 385 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9097017 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 18043 17179 297 55 0 16935 0 Current children cumulated CPU time (s) 1780.59 Current children cumulated vsize (Kb) 72172 [startup+1782.14 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20259 /proc/meminfo: memFree=1585472/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=72172 CPUtime=1781.59 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 177774 385 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 18043 17179 297 55 0 16935 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (Kb) 72172 [startup+1783.14 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20259 /proc/meminfo: memFree=1585472/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=72172 CPUtime=1782.6 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 177875 385 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 18043 17179 297 55 0 16935 0 Current children cumulated CPU time (s) 1782.6 Current children cumulated vsize (Kb) 72172 [startup+1784.15 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20259 /proc/meminfo: memFree=1585472/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=72172 CPUtime=1783.6 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 177975 385 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 18043 17179 297 55 0 16935 0 Current children cumulated CPU time (s) 1783.6 Current children cumulated vsize (Kb) 72172 [startup+1785.15 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20259 /proc/meminfo: memFree=1585472/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=72172 CPUtime=1784.6 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 178075 385 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603863 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 18043 17179 297 55 0 16935 0 Current children cumulated CPU time (s) 1784.6 Current children cumulated vsize (Kb) 72172 [startup+1786.16 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20259 /proc/meminfo: memFree=1585472/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=72172 CPUtime=1785.62 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 178176 386 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 18043 17179 297 55 0 16935 0 Current children cumulated CPU time (s) 1785.62 Current children cumulated vsize (Kb) 72172 [startup+1787.16 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20259 /proc/meminfo: memFree=1585472/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=72172 CPUtime=1786.62 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 178276 386 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 18043 17179 297 55 0 16935 0 Current children cumulated CPU time (s) 1786.62 Current children cumulated vsize (Kb) 72172 [startup+1788.17 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20259 /proc/meminfo: memFree=1585472/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=72172 CPUtime=1787.62 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 178376 386 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 18043 17179 297 55 0 16935 0 Current children cumulated CPU time (s) 1787.62 Current children cumulated vsize (Kb) 72172 [startup+1789.17 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20259 /proc/meminfo: memFree=1585472/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=72172 CPUtime=1788.63 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 178477 386 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 18043 17179 297 55 0 16935 0 Current children cumulated CPU time (s) 1788.63 Current children cumulated vsize (Kb) 72172 [startup+1790.18 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20259 /proc/meminfo: memFree=1585472/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=72172 CPUtime=1789.63 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 178577 386 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 18043 17179 297 55 0 16935 0 Current children cumulated CPU time (s) 1789.63 Current children cumulated vsize (Kb) 72172 [startup+1791.18 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20259 /proc/meminfo: memFree=1585472/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=72172 CPUtime=1790.64 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 178678 386 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 18043 17179 297 55 0 16935 0 Current children cumulated CPU time (s) 1790.64 Current children cumulated vsize (Kb) 72172 [startup+1792.19 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20259 /proc/meminfo: memFree=1585472/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=72172 CPUtime=1791.64 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 178778 386 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 18043 17179 297 55 0 16935 0 Current children cumulated CPU time (s) 1791.64 Current children cumulated vsize (Kb) 72172 [startup+1793.19 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20259 /proc/meminfo: memFree=1585472/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=72172 CPUtime=1792.64 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 178878 386 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 18043 17179 297 55 0 16935 0 Current children cumulated CPU time (s) 1792.64 Current children cumulated vsize (Kb) 72172 [startup+1794.2 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20259 /proc/meminfo: memFree=1585472/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=72172 CPUtime=1793.64 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 178978 386 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534124 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 18043 17179 297 55 0 16935 0 Current children cumulated CPU time (s) 1793.64 Current children cumulated vsize (Kb) 72172 [startup+1795.2 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20259 /proc/meminfo: memFree=1585408/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=72172 CPUtime=1794.66 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 179079 387 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534815 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 18043 17179 297 55 0 16935 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (Kb) 72172 [startup+1796.21 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20259 /proc/meminfo: memFree=1585408/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=72172 CPUtime=1795.66 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 179179 387 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557833 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 18043 17179 297 55 0 16935 0 Current children cumulated CPU time (s) 1795.66 Current children cumulated vsize (Kb) 72172 [startup+1797.21 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20259 /proc/meminfo: memFree=1585408/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=72172 CPUtime=1796.66 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 179279 387 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 18043 17179 297 55 0 16935 0 Current children cumulated CPU time (s) 1796.66 Current children cumulated vsize (Kb) 72172 [startup+1798.22 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20259 /proc/meminfo: memFree=1585408/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=72172 CPUtime=1797.67 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 179380 387 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 18043 17179 297 55 0 16935 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (Kb) 72172 [startup+1799.22 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20259 /proc/meminfo: memFree=1585408/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=72172 CPUtime=1798.67 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 179480 387 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 18043 17179 297 55 0 16935 0 Current children cumulated CPU time (s) 1798.67 Current children cumulated vsize (Kb) 72172 [startup+1800.23 s] /proc/loadavg: 1.00 1.00 0.95 2/64 20259 /proc/meminfo: memFree=1585408/2055920 swapFree=4180864/4192956 [pid=20257] ppid=20255 vsize=72172 CPUtime=1799.67 /proc/20257/stat : 20257 (bsolo) R 20255 20257 20211 0 -1 0 17644 0 0 0 179580 387 0 0 25 0 1 0 198977664 73904128 17179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20257/statm: 18043 17179 297 55 0 16935 0 Current children cumulated CPU time (s) 1799.67 Current children cumulated vsize (Kb) 72172 Child status: 0 Real time (s): 1800.56 CPU time (s): 1800.01 CPU user time (s): 1796.12 CPU system time (s): 3.89041 CPU usage (%): 99.9697 Max. virtual memory (cumulated for all children) (Kb): 72280
Begin job on node9 on Sat Jun 3 11:12:33 UTC 2006 FILE ID= 39927-1149333153 PBS_JOBID= 310000 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-share1b.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node9/39927-1149333153/instance-39927-1149333153.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-39927-1149333153 -o ROOT/results/node9/solver-39927-1149333153 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node9/39927-1149333153/instance-39927-1149333153.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= bba1c13067ee4807fb3278415b1e1268 RANDOM SEED= 605380876 /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.234 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.234 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: 1653680 kB Buffers: 9332 kB Cached: 337284 kB SwapCached: 3652 kB Active: 41528 kB Inactive: 313644 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1653680 kB SwapTotal: 4192956 kB SwapFree: 4180864 kB Dirty: 200 kB Writeback: 0 kB Mapped: 14720 kB Slab: 33112 kB Committed_AS: 345024 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node9 on Sat Jun 3 11:42:34 UTC 2006