Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 | Wrong Opt. | -11878833 | 275.789 | 275.876 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-afiro.opb |
MD5SUM | 87ce4656e5ef67028f049e81ca6b4c7e |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -11897496 |
Best CPU time to get the best result obtained on this benchmark | 8.39272 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -11897496 |
Optimality of the best value was proved | YES |
Number of variables | 960 |
Total number of constraints | 27 |
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 | 27 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 270 |
Number of terms in the objective function | 150 |
Biggest coefficient in the objective function | 134217728000 |
Number of bits for the biggest coefficient in the objective function | 37 |
Sum of the numbers in the objective function | 316753837785 |
Number of bits of the sum of numbers in the objective function | 39 |
Biggest number in a constraint | 1304059445248 |
Number of bits of the biggest number in a constraint | 41 |
Biggest sum of numbers in a constraint | 20964809094075 |
Number of bits of the biggest sum of numbers | 45 |
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/0.00 c PB/CT 0.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.01 c constraints 27/0 clauses 0/0 units 76 0.00/0.01 c vars 960 0.00/0.01 c objective 150 + -48318382035 5.09/5.10 c 4.68729 18.7969 5559 133705 5.09/5.10 o 6602774 10.28/10.31 c 9.51755 19.168 3134 271511 10.28/10.31 o 4063926 10.89/10.93 c 10.0715 19.168 2799 290512 10.89/10.93 o 4062463 13.29/13.31 c 12.2471 19.168 3313 359182 13.29/13.31 o -1350430 13.39/13.42 c 12.3441 19.168 1963 362107 13.39/13.42 o -1452508 17.18/17.24 c 15.8556 19.168 3902 468439 17.18/17.24 o -2293903 19.29/19.36 c 17.8443 19.168 2922 515719 19.29/19.36 o -2481798 20.29/20.32 c 18.7272 19.168 3030 544452 20.29/20.32 o -6462921 20.99/21.03 c 19.3561 19.168 3135 568111 20.99/21.03 o -6658940 25.09/25.19 c 23.1655 19.168 4077 660779 25.09/25.19 o -7069044 30.79/30.88 c 28.3507 19.168 3868 813640 30.79/30.88 o -7072017 41.08/41.17 c 37.8073 19.5508 3781 970106 41.08/41.17 o -7722400 43.38/43.41 c 39.8299 19.5508 2397 1033855 43.38/43.41 o -7732081 45.78/45.83 c 41.9996 19.5508 3734 1102434 45.78/45.83 o -8003832 46.19/46.25 c 42.3936 19.5508 3774 1112887 46.19/46.25 o -8032764 52.78/52.84 c 48.4776 19.5508 3575 1256755 52.78/52.84 o -8033452 52.88/52.93 c 48.5626 19.5508 2163 1260986 52.88/52.93 o -8043902 53.78/53.82 c 49.4015 19.5508 2648 1280057 53.78/53.82 o -8044618 60.97/61.09 c 56.0425 19.5508 3038 1476009 60.97/61.09 o -9581443 65.67/65.76 c 60.3198 19.5508 2632 1565814 65.67/65.76 o -9581994 66.48/66.59 c 61.0817 19.5508 3821 1585059 66.48/66.59 o -9681027 70.77/70.86 c 65.0071 19.5508 2383 1677213 70.77/70.86 o -9686586 78.27/78.38 c 71.9231 19.5508 3156 1821537 78.27/78.38 o -9691892 81.37/81.48 c 74.7766 19.5508 3154 1888081 81.37/81.48 o -9911130 82.06/82.13 c 75.3645 19.5508 2934 1903610 82.06/82.13 o -9932874 83.87/83.94 c 77.0223 19.5508 2182 1950928 83.87/83.94 o -10073578 86.46/86.58 c 79.4279 19.5508 1913 2031053 86.46/86.58 o -10084330 88.08/88.13 c 80.8687 19.5508 3012 2069223 88.08/88.13 o -10099765 89.17/89.23 c 81.8856 19.5508 2980 2093942 89.17/89.23 o -10100027 93.47/93.50 c 85.777 19.5508 3058 2210621 93.47/93.50 o -10101418 95.26/95.33 c 87.5047 20.1758 4041 2241153 95.26/95.33 o -11005276 97.97/98.05 c 90.0143 20.1758 2063 2300916 97.97/98.05 o -11230061 98.76/98.89 c 90.7762 20.1758 2438 2325284 98.76/98.89 o -11230780 102.56/102.69 c 94.2787 20.1758 3800 2401225 102.56/102.69 o -11246002 102.76/102.85 c 94.4236 20.1758 3268 2404100 102.76/102.85 o -11248168 111.76/111.80 c 102.676 20.1758 2683 2585390 111.76/111.80 o -11259223 116.45/116.56 c 107.081 20.1758 2603 2662748 116.45/116.56 o -11265342 118.35/118.41 c 108.804 20.1758 2823 2702073 118.35/118.41 o -11350338 119.45/119.52 c 109.799 20.1758 3166 2730894 119.45/119.52 o -11446558 121.55/121.65 c 111.734 20.1758 3438 2788067 121.55/121.65 o -11506176 122.55/122.64 c 112.631 20.1758 4000 2815312 122.55/122.64 o -11520074 123.65/123.70 c 113.605 20.1758 2936 2844454 123.65/123.70 o -11536795 125.05/125.19 c 114.969 20.1758 2890 2876951 125.05/125.19 o -11537336 126.06/126.15 c 115.866 20.1758 3668 2894823 126.06/126.16 o -11537707 126.86/126.98 c 116.638 20.1758 3296 2911582 126.86/126.99 o -11539692 127.26/127.33 c 116.952 20.1758 3072 2920733 127.26/127.33 o -11594678 129.05/129.10 c 118.574 20.1758 3324 2968103 129.05/129.10 o -11597006 129.56/129.63 c 119.055 20.1758 2824 2981533 129.56/129.63 o -11599224 131.75/131.81 c 121.049 20.1758 2853 3029783 131.75/131.81 o -11600170 132.06/132.14 c 121.356 20.1758 2263 3038206 132.06/132.14 o -11624410 137.95/138.06 c 126.785 20.1758 3921 3144301 137.95/138.06 o -11627470 140.04/140.11 c 128.677 20.1758 2912 3188568 140.04/140.11 o -11637047 147.15/147.25 c 135.312 20.3672 2503 3326662 147.15/147.25 o -11658018 158.84/158.99 c 146.128 20.3672 2757 3415201 158.84/158.99 o -11663144 161.24/161.38 c 148.329 20.3672 3861 3466024 161.24/161.38 o -11670772 163.14/163.25 c 150.043 20.3672 2353 3500162 163.14/163.25 o -11756881 164.54/164.66 c 151.341 20.3672 2277 3525203 164.54/164.66 o -11756922 164.74/164.90 c 151.547 20.3672 3093 3532816 164.74/164.90 o -11762094 166.15/166.23 c 152.802 20.3672 2072 3553807 166.15/166.23 o -11777952 173.64/173.76 c 159.766 20.4961 2590 3654605 173.64/173.76 o -11777957 175.74/175.84 c 161.704 20.4961 3498 3694070 175.74/175.84 o -11777962 177.44/177.57 c 163.322 20.4961 3153 3727515 177.44/177.57 o -11787714 178.84/178.95 c 164.585 20.4961 4044 3753050 178.84/178.95 o -11814168 183.03/183.12 c 168.448 20.4961 3686 3820353 183.03/183.12 o -11814176 183.43/183.54 c 168.828 20.4961 3720 3829190 183.43/183.54 o -11818116 185.54/185.66 c 170.78 20.4961 4061 3870119 185.54/185.66 o -11818203 186.23/186.32 c 171.377 20.4961 3333 3890185 186.23/186.32 o -11818648 189.83/189.96 c 174.753 20.4961 3516 3964657 189.83/189.96 o -11820007 191.73/191.80 c 176.462 20.4961 3062 4002025 191.73/191.80 o -11820050 192.63/192.72 c 177.328 20.4961 2856 4019470 192.63/192.72 o -11834805 193.44/193.56 c 178.098 20.4961 2433 4037291 193.44/193.56 o -11852320 198.43/198.57 c 182.737 20.4961 3257 4109025 198.43/198.57 o -11859783 202.33/202.42 c 186.283 20.4961 4348 4170457 202.33/202.42 o -11859900 202.93/203.03 c 186.85 20.4961 2672 4179962 202.93/203.03 o -11860286 203.33/203.48 c 187.272 20.4961 4155 4187926 203.33/203.48 o -11860289 205.13/205.27 c 188.931 20.4961 2277 4219419 205.13/205.27 o -11861679 208.93/209.09 c 192.463 20.6211 4653 4284979 208.93/209.09 o -11861866 209.72/209.87 c 193.194 20.6211 4496 4296675 209.72/209.87 o -11863554 210.52/210.64 c 193.916 20.6211 4295 4307284 210.52/210.64 o -11863637 212.42/212.58 c 195.707 20.6211 2455 4343438 212.42/212.58 o -11863830 215.02/215.18 c 198.131 20.6211 4510 4390279 215.02/215.18 o -11865246 216.83/216.93 c 199.767 20.6211 3014 4422095 216.83/216.93 o -11865789 218.62/218.70 c 201.408 20.6211 2712 4448671 218.62/218.70 o -11866184 221.23/221.36 c 203.863 20.6211 2559 4481586 221.23/221.36 o -11866257 221.23/221.37 c 203.873 20.6211 2588 4481800 221.23/221.37 o -11866277 225.82/225.97 c 208.177 20.6211 2892 4560637 225.82/225.97 o -11866336 228.72/228.81 c 210.795 20.6211 2836 4610415 228.72/228.81 o -11868070 228.72/228.85 c 210.829 20.6211 2906 4611320 228.72/228.85 o -11868085 228.72/228.85 c 210.833 20.6211 2917 4611524 228.72/228.85 o -11868235 229.12/229.25 c 211.211 20.6211 3541 4618120 229.12/229.25 o -11869778 230.32/230.44 c 212.337 20.6211 3195 4635765 230.32/230.44 o -11869848 230.72/230.84 c 212.691 20.6211 4362 4641952 230.72/230.84 o -11869849 231.21/231.33 c 213.157 20.6211 4399 4648644 231.21/231.33 o -11869942 231.52/231.66 c 213.445 20.6211 2562 4654922 231.52/231.66 o -11870013 232.21/232.36 c 214.083 20.6211 2689 4667271 232.21/232.36 o -11870032 233.31/233.46 c 215.105 20.6211 4780 4687703 233.31/233.46 o -11873031 237.22/237.34 c 218.715 20.6211 3310 4743450 237.22/237.34 o -11873033 237.71/237.85 c 219.193 20.6211 2659 4752023 237.71/237.85 o -11873150 239.01/239.16 c 220.409 20.6211 3591 4771553 239.01/239.16 o -11873225 239.01/239.17 c 220.426 20.6211 3594 4772020 239.01/239.17 o -11873226 243.12/243.25 c 224.232 20.6211 4133 4820379 243.12/243.25 o -11873304 244.72/244.81 c 225.671 20.6211 2360 4838928 244.72/244.81 o -11873313 252.32/252.40 c 232.763 20.6211 3915 4918172 252.32/252.40 o -11873577 254.12/254.27 c 234.501 20.6211 2964 4948805 254.12/254.27 o -11873611 254.91/255.01 c 235.174 20.6211 3221 4961836 254.91/255.01 o -11873668 256.11/256.20 c 236.289 20.6211 3575 4981711 256.11/256.20 o -11875852 256.91/257.09 c 237.117 20.6211 3954 4995137 256.91/257.09 o -11877130 257.32/257.48 c 237.481 20.6211 4604 5001384 257.32/257.48 o -11877134 257.51/257.61 c 237.604 20.6211 2901 5003628 257.51/257.61 o -11877142 257.71/257.82 c 237.802 20.6211 2175 5007045 257.71/257.82 o -11877169 259.91/260.03 c 239.877 20.6211 3798 5033504 259.91/260.03 o -11877358 260.41/260.56 c 240.372 20.6211 4116 5041160 260.41/260.56 o -11877368 260.81/260.97 c 240.751 20.6211 2962 5047476 260.81/260.97 o -11877386 261.01/261.12 c 240.889 20.6211 3993 5049518 261.01/261.12 o -11877506 261.21/261.35 c 241.108 20.6211 3815 5053810 261.21/261.35 o -11877510 261.51/261.63 c 241.358 20.6211 3883 5059014 261.51/261.63 o -11877540 261.61/261.71 c 241.427 20.6211 4227 5060194 261.61/261.71 o -11877614 263.31/263.43 c 243.041 20.6211 3624 5084888 263.31/263.43 o -11877620 263.71/263.86 c 243.438 20.6211 3819 5091385 263.71/263.86 o -11877668 264.01/264.15 c 243.71 20.6211 4191 5095944 264.01/264.15 o -11877676 264.11/264.25 c 243.8 20.6211 2674 5097576 264.11/264.25 o -11877708 264.11/264.25 c 243.806 20.6211 2686 5097724 264.11/264.25 o -11877716 264.11/264.26 c 243.81 20.6211 2686 5097835 264.11/264.26 o -11877726 264.11/264.29 c 243.84 20.6211 2784 5098672 264.11/264.29 o -11877736 268.21/268.33 c 247.679 20.75 3934 5135653 268.21/268.33 o -11878169 268.21/268.34 c 247.686 20.75 3960 5135818 268.21/268.34 o -11878311 268.21/268.34 c 247.691 20.75 3961 5135948 268.21/268.34 o -11878386 268.21/268.35 c 247.696 20.75 3966 5136070 268.21/268.35 o -11878416 268.21/268.36 c 247.706 20.75 4001 5136259 268.21/268.36 o -11878600 269.11/269.22 c 248.528 20.75 4039 5147604 269.11/269.22 o -11878604 270.01/270.17 c 249.43 20.75 3823 5162338 270.01/270.17 o -11878718 270.71/270.81 c 250.028 20.75 3533 5172827 270.71/270.81 o -11878744 273.60/273.77 c 252.835 21.0078 4320 5198239 273.60/273.77 o -11878746 274.50/274.60 c 253.621 21.0078 4623 5209485 274.50/274.60 o -11878750 274.61/274.73 c 253.747 21.0078 3189 5211678 274.61/274.73 o -11878754 274.61/274.79 c 253.798 21.0078 3476 5212500 274.61/274.79 o -11878764 274.70/274.82 c 253.834 21.0078 3816 5213079 274.70/274.82 o -11878778 274.70/274.83 c 253.838 21.0078 3787 5213192 274.70/274.83 o -11878788 275.30/275.42 c 254.387 21.0078 3757 5220687 275.30/275.42 o -11878790 275.61/275.73 c 254.685 21.0078 3955 5224302 275.61/275.73 o -11878818 275.61/275.78 c 254.729 21.0078 4229 5225040 275.61/275.78 o -11878823 275.61/275.79 c 254.744 21.0078 4315 5225284 275.61/275.79 o -11878833 275.70/275.80 c 254.75 21.0078 4234 5225301 275.70/275.80 s OPTIMUM FOUND 275.70/275.80 v -x1 x2 x3 -x4 -x5 x6 -x7 x8 -x9 x10 -x11 x12 x13 x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 x72 x73 -x74 x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 x92 x93 -x94 -x95 -x96 -x97 x98 x99 -x100 x101 x102 -x103 -x104 x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 x123 x124 x125 -x126 x127 x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 x362 x363 -x364 x365 x366 x367 x368 -x369 -x370 x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 x392 x393 -x394 -x395 x396 x397 x398 x399 x400 -x401 x402 x403 -x404 x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 x422 -x423 -x424 x425 x426 -x427 -x428 -x429 x430 -x431 -x432 x433 x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 x465 x466 x467 x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 x482 x483 x484 x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 x494 x495 -x496 x497 x498 x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 x517 x518 -x519 x520 x521 x522 x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 x582 x583 -x584 x585 -x586 x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 x603 -x604 -x605 -x606 x607 x608 x609 x610 x611 x612 x613 x614 x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 x841 x842 x843 x844 x845 x846 x847 x848 x849 x850 x851 x852 -x853 -x854 x855 -x856 x857 -x858 x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 x872 x873 -x874 x875 x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 x903 -x904 -x905 -x906 x907 -x908 x909 x910 x911 x912 -x913 x914 x915 x916 x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960
OK -11878833
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2669328-1276554289/watcher-2669328-1276554289 -o /tmp/evaluation-result-2669328-1276554289/solver-2669328-1276554289 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2669328-1276554289.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.93 1.66 1.57 3/106 30958 /proc/meminfo: memFree=1820868/2059040 swapFree=4139744/4192956 [pid=30958] ppid=30956 vsize=2340 CPUtime=0 /proc/30958/stat : 30958 (pbct) R 30956 30958 30087 0 -1 4202496 294 0 0 0 0 0 0 0 20 0 1 0 31030448 2396160 216 1992294400 134512640 136485738 4292679184 18446744073709551615 135177536 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30958/statm: 585 216 157 482 0 101 0 [startup+0.102314 s] /proc/loadavg: 0.93 1.66 1.57 3/106 30958 /proc/meminfo: memFree=1820868/2059040 swapFree=4139744/4192956 [pid=30958] ppid=30956 vsize=10640 CPUtime=0.09 /proc/30958/stat : 30958 (pbct) R 30956 30958 30087 0 -1 4202496 2335 0 0 0 9 0 0 0 20 0 1 0 31030448 10895360 2257 1992294400 134512640 136485738 4292679184 18446744073709551615 134741825 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30958/statm: 2660 2257 197 482 0 2176 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10640 [startup+0.201327 s] /proc/loadavg: 0.93 1.66 1.57 3/106 30958 /proc/meminfo: memFree=1820868/2059040 swapFree=4139744/4192956 [pid=30958] ppid=30956 vsize=17168 CPUtime=0.2 /proc/30958/stat : 30958 (pbct) R 30956 30958 30087 0 -1 4202496 3943 0 0 0 19 1 0 0 20 0 1 0 31030448 17580032 3865 1992294400 134512640 136485738 4292679184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30958/statm: 4292 3865 227 482 0 3808 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 17168 [startup+0.301339 s] /proc/loadavg: 0.93 1.66 1.57 3/106 30958 /proc/meminfo: memFree=1820868/2059040 swapFree=4139744/4192956 [pid=30958] ppid=30956 vsize=17300 CPUtime=0.29 /proc/30958/stat : 30958 (pbct) R 30956 30958 30087 0 -1 4202496 3970 0 0 0 27 2 0 0 20 0 1 0 31030448 17715200 3892 1992294400 134512640 136485738 4292679184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30958/statm: 4325 3892 228 482 0 3841 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17300 [startup+0.701391 s] /proc/loadavg: 0.93 1.66 1.57 3/106 30958 /proc/meminfo: memFree=1820868/2059040 swapFree=4139744/4192956 [pid=30958] ppid=30956 vsize=17560 CPUtime=0.69 /proc/30958/stat : 30958 (pbct) R 30956 30958 30087 0 -1 4202496 4045 0 0 0 62 7 0 0 21 0 1 0 31030448 17981440 3967 1992294400 134512640 136485738 4292679184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30958/statm: 4390 3967 228 482 0 3906 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17560 [startup+1.5015 s] /proc/loadavg: 0.93 1.66 1.57 2/107 30959 /proc/meminfo: memFree=1805732/2059040 swapFree=4139744/4192956 [pid=30958] ppid=30956 vsize=17948 CPUtime=1.49 /proc/30958/stat : 30958 (pbct) R 30956 30958 30087 0 -1 4202496 4128 0 0 0 133 16 0 0 23 0 1 0 31030448 18378752 4050 1992294400 134512640 136485738 4292679184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30958/statm: 4487 4050 228 482 0 4003 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17948 [startup+3.10171 s] /proc/loadavg: 0.93 1.66 1.57 2/107 30959 /proc/meminfo: memFree=1804740/2059040 swapFree=4139744/4192956 [pid=30958] ppid=30956 vsize=19112 CPUtime=3.09 /proc/30958/stat : 30958 (pbct) R 30956 30958 30087 0 -1 4202496 4436 0 0 0 283 26 0 0 25 0 1 0 31030448 19570688 4358 1992294400 134512640 136485738 4292679184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30958/statm: 4778 4358 228 482 0 4294 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19112 [startup+6.30112 s] /proc/loadavg: 0.93 1.65 1.57 2/107 30959 /proc/meminfo: memFree=1803624/2059040 swapFree=4139744/4192956 [pid=30958] ppid=30956 vsize=19624 CPUtime=6.29 /proc/30958/stat : 30958 (pbct) R 30956 30958 30087 0 -1 4202496 4536 0 0 0 578 51 0 0 25 0 1 0 31030448 20094976 4457 1992294400 134512640 136485738 4292679184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30958/statm: 4906 4457 246 482 0 4422 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19624 [startup+12.701 s] /proc/loadavg: 0.94 1.64 1.56 2/107 30959 /proc/meminfo: memFree=1803500/2059040 swapFree=4139744/4192956 [pid=30958] ppid=30956 vsize=19624 CPUtime=12.69 /proc/30958/stat : 30958 (pbct) R 30956 30958 30087 0 -1 4202496 4538 0 0 0 1169 100 0 0 25 0 1 0 31030448 20094976 4457 1992294400 134512640 136485738 4292679184 18446744073709551615 135857078 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30958/statm: 4906 4457 246 482 0 4422 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19624 [startup+25.5006 s] /proc/loadavg: 0.95 1.61 1.55 2/107 30959 /proc/meminfo: memFree=1803376/2059040 swapFree=4139744/4192956 [pid=30958] ppid=30956 vsize=19624 CPUtime=25.49 /proc/30958/stat : 30958 (pbct) R 30956 30958 30087 0 -1 4202496 4545 0 0 0 2344 205 0 0 25 0 1 0 31030448 20094976 4457 1992294400 134512640 136485738 4292679184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30958/statm: 4906 4457 246 482 0 4422 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 19624 [startup+51.101 s] /proc/loadavg: 0.97 1.56 1.54 2/107 30961 /proc/meminfo: memFree=1803252/2059040 swapFree=4139744/4192956 [pid=30958] ppid=30956 vsize=20016 CPUtime=51.07 /proc/30958/stat : 30958 (pbct) R 30956 30958 30087 0 -1 4202496 4640 0 0 0 4685 422 0 0 25 0 1 0 31030448 20496384 4547 1992294400 134512640 136485738 4292679184 18446744073709551615 135856849 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30958/statm: 5004 4547 246 482 0 4520 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 20016 [startup+102.301 s] /proc/loadavg: 0.98 1.47 1.51 2/107 30961 /proc/meminfo: memFree=1802384/2059040 swapFree=4139744/4192956 [pid=30958] ppid=30956 vsize=20656 CPUtime=102.27 /proc/30958/stat : 30958 (pbct) R 30956 30958 30087 0 -1 4202496 4828 0 0 0 9393 834 0 0 25 0 1 0 31030448 21151744 4717 1992294400 134512640 136485738 4292679184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30958/statm: 5164 4717 246 482 0 4680 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 20656 [startup+162.301 s] /proc/loadavg: 0.99 1.38 1.47 2/107 30963 /proc/meminfo: memFree=1801888/2059040 swapFree=4139744/4192956 [pid=30958] ppid=30956 vsize=20852 CPUtime=162.24 /proc/30958/stat : 30958 (pbct) R 30956 30958 30087 0 -1 4202496 4900 0 0 0 14916 1308 0 0 25 0 1 0 31030448 21352448 4767 1992294400 134512640 136485738 4292679184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30958/statm: 5213 4767 246 482 0 4729 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 20852 [startup+222.308 s] /proc/loadavg: 0.99 1.31 1.44 2/107 30965 /proc/meminfo: memFree=1801640/2059040 swapFree=4139744/4192956 [pid=30958] ppid=30956 vsize=21112 CPUtime=222.23 /proc/30958/stat : 30958 (pbct) R 30956 30958 30087 0 -1 4202496 5012 0 0 0 20473 1750 0 0 25 0 1 0 31030448 21618688 4849 1992294400 134512640 136485738 4292679184 18446744073709551615 135860576 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30958/statm: 5278 4849 246 482 0 4794 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 21112 Solver just ended. Dumping a history of the last processes samples [startup+230.4 s] /proc/loadavg: 0.99 1.30 1.43 2/107 30965 /proc/meminfo: memFree=1801640/2059040 swapFree=4139744/4192956 [pid=30958] ppid=30956 vsize=21112 CPUtime=230.32 /proc/30958/stat : 30958 (pbct) R 30956 30958 30087 0 -1 4202496 5020 0 0 0 21229 1803 0 0 25 0 1 0 31030448 21618688 4852 1992294400 134512640 136485738 4292679184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30958/statm: 5278 4852 246 482 0 4794 0 Current children cumulated CPU time (s) 230.32 Current children cumulated vsize (KiB) 21112 [startup+256.001 s] /proc/loadavg: 0.99 1.27 1.42 2/107 30967 /proc/meminfo: memFree=1801516/2059040 swapFree=4139744/4192956 [pid=30958] ppid=30956 vsize=21112 CPUtime=255.91 /proc/30958/stat : 30958 (pbct) R 30956 30958 30087 0 -1 4202496 5035 0 0 0 23609 1982 0 0 25 0 1 0 31030448 21618688 4852 1992294400 134512640 136485738 4292679184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30958/statm: 5278 4852 246 482 0 4794 0 Current children cumulated CPU time (s) 255.91 Current children cumulated vsize (KiB) 21112 [startup+268.801 s] /proc/loadavg: 0.99 1.26 1.42 2/107 30967 /proc/meminfo: memFree=1801516/2059040 swapFree=4139744/4192956 [pid=30958] ppid=30956 vsize=21244 CPUtime=268.71 /proc/30958/stat : 30958 (pbct) R 30956 30958 30087 0 -1 4202496 5068 0 0 0 24813 2058 0 0 25 0 1 0 31030448 21753856 4861 1992294400 134512640 136485738 4292679184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30958/statm: 5311 4861 246 482 0 4827 0 Current children cumulated CPU time (s) 268.71 Current children cumulated vsize (KiB) 21244 [startup+272.001 s] /proc/loadavg: 0.99 1.26 1.42 2/107 30967 /proc/meminfo: memFree=1801516/2059040 swapFree=4139744/4192956 [pid=30958] ppid=30956 vsize=21244 CPUtime=271.91 /proc/30958/stat : 30958 (pbct) R 30956 30958 30087 0 -1 4202496 5082 0 0 0 25114 2077 0 0 25 0 1 0 31030448 21753856 4872 1992294400 134512640 136485738 4292679184 18446744073709551615 135039492 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30958/statm: 5311 4872 246 482 0 4827 0 Current children cumulated CPU time (s) 271.91 Current children cumulated vsize (KiB) 21244 [startup+273.601 s] /proc/loadavg: 0.99 1.26 1.42 2/107 30967 /proc/meminfo: memFree=1801268/2059040 swapFree=4139744/4192956 [pid=30958] ppid=30956 vsize=21508 CPUtime=273.51 /proc/30958/stat : 30958 (pbct) R 30956 30958 30087 0 -1 4202496 5136 0 0 0 25267 2084 0 0 25 0 1 0 31030448 22024192 4926 1992294400 134512640 136485738 4292679184 18446744073709551615 135843969 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30958/statm: 5377 4926 246 482 0 4893 0 Current children cumulated CPU time (s) 273.51 Current children cumulated vsize (KiB) 21508 [startup+275.201 s] /proc/loadavg: 0.99 1.26 1.41 2/107 30967 /proc/meminfo: memFree=1801268/2059040 swapFree=4139744/4192956 [pid=30958] ppid=30956 vsize=21508 CPUtime=275.1 /proc/30958/stat : 30958 (pbct) R 30956 30958 30087 0 -1 4202496 5150 0 0 0 25417 2093 0 0 25 0 1 0 31030448 22024192 4934 1992294400 134512640 136485738 4292679184 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30958/statm: 5377 4934 246 482 0 4893 0 Current children cumulated CPU time (s) 275.1 Current children cumulated vsize (KiB) 21508 [startup+275.601 s] /proc/loadavg: 0.99 1.26 1.41 2/107 30967 /proc/meminfo: memFree=1801268/2059040 swapFree=4139744/4192956 [pid=30958] ppid=30956 vsize=21508 CPUtime=275.5 /proc/30958/stat : 30958 (pbct) R 30956 30958 30087 0 -1 4202496 5151 0 0 0 25455 2095 0 0 25 0 1 0 31030448 22024192 4934 1992294400 134512640 136485738 4292679184 18446744073709551615 135024859 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30958/statm: 5377 4934 246 482 0 4893 0 Current children cumulated CPU time (s) 275.5 Current children cumulated vsize (KiB) 21508 [startup+275.801 s] /proc/loadavg: 0.99 1.26 1.41 2/107 30967 /proc/meminfo: memFree=1801268/2059040 swapFree=4139744/4192956 [pid=30958] ppid=30956 vsize=21508 CPUtime=275.7 /proc/30958/stat : 30958 (pbct) R 30956 30958 30087 0 -1 4202496 5154 0 0 0 25474 2096 0 0 25 0 1 0 31030448 22024192 4934 1992294400 134512640 136485738 4292679184 18446744073709551615 135050889 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30958/statm: 5377 4934 246 482 0 4893 0 Current children cumulated CPU time (s) 275.7 Current children cumulated vsize (KiB) 21508 Child status: 0 Real time (s): 275.876 CPU time (s): 275.789 CPU user time (s): 254.82 CPU system time (s): 20.9688 CPU usage (%): 99.9686 Max. virtual memory (cumulated for all children) (KiB): 21508 getrusage(RUSAGE_CHILDREN,...) data: user time used= 254.82 system time used= 20.9688 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5160 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 2348 runsolver used 0.483926 second user time and 1.2888 second system time The end
Begin job on node013 at 2010-06-15 00:24:49 IDJOB=2669328 IDBENCH=2440 IDSOLVER=1170 FILE ID=node013/2669328-1276554289 PBS_JOBID= 11173481 Free space on /tmp= 62504 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-afiro.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669328-1276554289/watcher-2669328-1276554289 -o /tmp/evaluation-result-2669328-1276554289/solver-2669328-1276554289 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2669328-1276554289.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 87ce4656e5ef67028f049e81ca6b4c7e RANDOM SEED=1266644945 node013.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.253 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.50 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.253 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1821520 kB Buffers: 44932 kB Cached: 111908 kB SwapCached: 6440 kB Active: 38720 kB Inactive: 131592 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1821520 kB SwapTotal: 4192956 kB SwapFree: 4139744 kB Dirty: 2012 kB Writeback: 8 kB AnonPages: 11840 kB Mapped: 12944 kB Slab: 45300 kB PageTables: 4064 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181336 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62504 MiB End job on node013 at 2010-06-15 00:29:25