Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 fixed | OPT | -11897496 | 290.582 | 290.661 |
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.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.00 c constraints 27/0 clauses 0/0 units 76 0.00/0.00 c vars 960 0.00/0.00 c objective 150 + -48318382035 2.79/2.86 c 2.6136 18.2617 7077 78507 2.79/2.86 o 6378593 9.49/9.57 c 8.74367 18.7578 2590 246752 9.49/9.57 o 4620264 13.10/13.14 c 12.0612 19.0117 2382 329343 13.10/13.14 o 3838170 14.69/14.79 c 13.5499 19.0117 2235 379986 14.69/14.79 o -3004884 16.29/16.38 c 15.0067 19.0117 3826 416433 16.29/16.38 o -6560893 17.29/17.39 c 15.9286 19.0117 3541 444566 17.29/17.39 o -7026530 21.99/22.05 c 20.2109 19.0117 3221 543555 21.99/22.05 o -9399112 29.38/29.47 c 27.0979 19.0117 4028 673514 29.38/29.47 o -9399137 35.09/35.15 c 32.2751 19.0117 2708 846408 35.09/35.15 o -9720023 35.48/35.52 c 32.628 19.0117 2804 854968 35.48/35.52 o -9825443 36.38/36.42 c 33.4509 19.0117 3735 880024 36.38/36.42 o -9883721 37.68/37.78 c 34.6957 19.0117 3419 913966 37.68/37.78 o -9889912 44.98/45.07 c 41.4507 19.0117 2531 1061578 44.98/45.07 o -10176941 45.98/46.08 c 42.3736 19.0117 4063 1092403 45.98/46.08 o -10177888 53.48/53.57 c 49.2655 19.0117 3311 1245853 53.48/53.57 o -10178777 56.17/56.26 c 51.7661 19.8945 2623 1270799 56.17/56.26 o -10182545 56.47/56.56 c 52.0491 19.8945 2582 1277460 56.47/56.56 o -10272722 65.67/65.76 c 60.4818 19.8828 4019 1498484 65.67/65.76 o -10315887 67.17/67.29 c 61.8516 19.8828 2752 1544926 67.17/67.29 o -10393854 67.67/67.70 c 62.2175 19.8828 2635 1554880 67.67/67.70 o -10480724 68.47/68.51 c 62.9574 19.8828 2932 1577028 68.47/68.51 o -10650656 68.68/68.75 c 63.1824 19.8828 2596 1583034 68.68/68.75 o -11097717 69.47/69.56 c 63.9343 19.8828 3796 1600543 69.47/69.56 o -11164908 70.58/70.64 c 64.9211 19.8828 3229 1621000 70.58/70.64 o -11212827 76.17/76.23 c 70.0064 19.8828 2538 1767502 76.17/76.23 o -11244520 76.27/76.35 c 70.1133 19.8828 3293 1772032 76.27/76.35 o -11304330 76.77/76.84 c 70.5763 19.8828 2556 1783986 76.77/76.84 o -11312353 77.77/77.83 c 71.4821 19.8828 3190 1814389 77.77/77.83 o -11313182 79.67/79.80 c 73.2799 19.8828 2712 1852815 79.67/79.80 o -11313193 79.97/80.09 c 73.5548 19.8828 3536 1859505 79.97/80.09 o -11316054 85.86/85.95 c 78.894 19.8828 4495 1995472 85.86/85.95 o -11337951 88.16/88.28 c 81.0357 19.8828 2427 2056876 88.16/88.28 o -11470781 93.47/93.53 c 85.8779 19.8828 2820 2166956 93.47/93.53 o -11496770 95.96/96.05 c 88.1896 19.8828 3835 2227934 95.96/96.05 o -11529607 98.97/99.07 c 90.9552 19.8828 2715 2296465 98.97/99.07 o -11533959 99.97/100.01 c 91.83 19.8828 2778 2314932 99.97/100.01 o -11535448 101.26/101.38 c 93.0948 19.8828 3406 2342093 101.26/101.38 o -11541859 103.86/103.95 c 95.4445 19.8828 2327 2389369 103.86/103.95 o -11711961 105.16/105.20 c 96.6113 19.8828 4009 2411217 105.16/105.20 o -11767562 110.97/111.09 c 102.138 19.8828 3352 2488262 110.97/111.09 o -11769514 116.46/116.54 c 107.142 19.8828 3433 2595692 116.46/116.54 o -11769759 122.16/122.25 c 112.33 19.8828 3158 2723113 122.16/122.25 o -11773192 122.36/122.48 c 112.543 19.8828 4353 2729262 122.36/122.48 o -11777799 127.86/127.93 c 117.573 19.8828 4112 2815281 127.86/127.93 o -11778120 128.95/129.02 c 118.579 19.8828 2733 2836273 128.95/129.02 o -11783273 130.06/130.18 c 119.641 19.8828 3717 2867004 130.06/130.18 o -11786984 134.45/134.56 c 123.596 19.8828 3775 2959890 134.45/134.56 o -11788107 136.85/136.91 c 125.772 19.8828 3766 3010480 136.85/136.91 o -11790201 137.46/137.51 c 126.325 19.8828 2903 3023168 137.46/137.51 o -11792328 137.46/137.52 c 126.335 19.8828 2930 3023374 137.46/137.52 o -11792356 142.05/142.14 c 130.608 19.8828 3646 3099844 142.05/142.14 o -11802423 143.16/143.23 c 131.602 19.8828 4359 3123272 143.16/143.23 o -11804763 144.06/144.14 c 132.444 19.8828 2735 3143380 144.06/144.14 o -11804837 145.26/145.33 c 133.55 19.8828 4877 3168234 145.26/145.33 o -11805142 146.05/146.12 c 134.28 19.8828 3897 3180650 146.05/146.12 o -11806317 147.15/147.29 c 135.321 19.8828 2850 3210012 147.15/147.29 o -11806379 154.45/154.52 c 142.013 19.8828 2480 3339503 154.45/154.52 o -11806388 155.25/155.37 c 142.792 19.8828 2520 3359410 155.25/155.37 o -11821999 156.65/156.75 c 144.069 19.8828 3513 3383529 156.65/156.75 o -11822407 157.45/157.58 c 144.834 19.8828 2897 3399766 157.45/157.58 o -11822427 158.74/158.88 c 146.039 19.8828 3206 3418825 158.74/158.88 o -11825220 160.05/160.17 c 147.235 19.8828 3373 3440596 160.05/160.17 o -11825674 164.35/164.43 c 151.177 19.8828 4388 3516234 164.35/164.43 o -11839041 169.25/169.36 c 155.719 19.8828 3283 3619441 169.25/169.36 o -11840665 169.74/169.80 c 156.123 19.8828 2859 3630781 169.74/169.80 o -11857607 170.14/170.25 c 156.533 19.8828 3038 3640905 170.14/170.25 o -11857947 172.94/173.09 c 159.155 19.8828 4297 3693285 172.94/173.09 o -11861498 173.05/173.11 c 159.17 19.8828 2164 3693690 173.05/173.11 o -11861894 176.64/176.70 c 162.504 19.8828 2457 3766277 176.64/176.70 o -11862024 176.84/176.96 c 162.735 19.8828 2062 3772230 176.84/176.96 o -11863218 177.06/177.19 c 162.947 19.8828 3724 3777799 177.06/177.19 o -11871081 178.84/178.99 c 164.598 19.8828 4207 3817208 178.84/178.99 o -11871332 179.34/179.43 c 165.009 19.8828 3488 3825684 179.34/179.43 o -11871652 179.44/179.55 c 165.12 19.8828 2759 3828308 179.44/179.55 o -11876353 182.14/182.24 c 167.62 19.8828 3228 3873490 182.14/182.24 o -11876711 182.94/183.00 c 168.323 19.8828 3786 3890391 182.94/183.00 o -11877453 183.64/183.78 c 169.065 19.8828 2708 3906437 183.64/183.78 o -11877856 183.84/183.93 c 169.197 19.8828 3672 3908589 183.84/183.93 o -11877867 187.24/187.31 c 172.305 19.8828 3666 3943159 187.24/187.31 o -11883887 197.04/197.18 c 181.497 19.8828 3897 4034407 197.04/197.18 o -11884855 197.14/197.21 c 181.527 19.8828 2035 4035483 197.14/197.21 o -11885587 200.43/200.58 c 184.658 19.8828 4241 4097335 200.43/200.58 o -11889016 201.14/201.22 c 185.259 19.8828 2693 4107418 201.14/201.22 o -11890439 201.14/201.24 c 185.269 19.8828 2723 4107790 201.14/201.24 o -11890472 203.14/203.29 c 187.187 19.8828 2359 4142758 203.14/203.29 o -11890487 205.73/205.83 c 189.527 19.8828 4536 4191080 205.73/205.83 o -11890522 205.84/205.94 c 189.628 20.0742 2841 4192433 205.84/205.94 o -11890534 206.64/206.70 c 190.357 20.0742 3296 4203039 206.64/206.70 o -11890681 208.23/208.36 c 191.918 20.0742 2595 4226347 208.23/208.36 o -11890682 213.53/213.62 c 196.798 20.0742 3602 4319607 213.53/213.62 o -11890730 216.23/216.35 c 199.332 20.0742 4767 4367793 216.23/216.35 o -11890953 218.63/218.71 c 201.503 20.0742 2999 4414761 218.63/218.71 o -11890968 219.23/219.30 c 202.048 20.0742 4256 4425229 219.23/219.30 o -11890969 220.33/220.43 c 203.095 20.0742 2824 4439988 220.33/220.43 o -11890981 224.53/224.61 c 206.963 20.0742 3073 4514118 224.53/224.61 o -11891500 229.63/229.74 c 211.776 20.0742 3076 4577111 229.63/229.74 o -11891845 231.43/231.55 c 213.437 20.0742 3425 4602749 231.43/231.55 o -11892033 232.83/232.97 c 214.771 20.0742 4390 4623157 232.83/232.97 o -11892037 237.73/237.89 c 219.349 20.3242 2592 4709849 237.73/237.89 o -11892060 239.03/239.11 c 220.47 20.3242 4178 4737510 239.03/239.11 o -11892135 239.32/239.47 c 220.805 20.3242 3042 4743581 239.32/239.47 o -11892152 240.12/240.24 c 221.523 20.3242 3030 4757955 240.12/240.24 o -11892428 241.83/241.97 c 223.121 20.3242 2298 4788894 241.83/241.97 o -11892430 242.03/242.15 c 223.292 20.3242 3671 4793251 242.03/242.15 o -11892477 242.22/242.38 c 223.505 20.3242 3116 4797312 242.22/242.38 o -11892487 243.32/243.41 c 224.451 20.3242 4599 4815881 243.32/243.41 o -11892496 243.73/243.87 c 224.878 20.3242 3246 4822585 243.73/243.87 o -11892569 246.62/246.75 c 227.546 20.3242 3195 4877394 246.62/246.75 o -11892597 252.94/253.08 c 233.492 20.5898 4525 4957094 252.94/253.08 o -11892976 253.73/253.84 c 234.212 20.5898 3469 4969545 253.73/253.84 o -11893292 253.82/253.92 c 234.28 20.5898 4430 4971439 253.82/253.92 o -11893314 254.03/254.15 c 234.493 20.5898 3464 4976037 254.03/254.15 o -11893347 254.52/254.66 c 234.976 20.5898 2631 4986831 254.52/254.66 o -11893356 257.33/257.41 c 237.543 20.5898 4301 5030216 257.33/257.41 o -11893360 258.82/258.97 c 239 20.5898 3899 5054181 258.82/258.97 o -11893394 258.82/258.98 c 239.016 20.5898 3968 5054517 258.82/258.98 o -11893425 259.12/259.26 c 239.279 20.5898 3733 5059370 259.12/259.26 o -11894178 259.32/259.40 c 239.414 20.5898 2672 5062775 259.32/259.40 o -11894326 261.12/261.21 c 241.088 20.5898 3660 5093518 261.12/261.21 o -11894327 263.12/263.21 c 242.942 20.5898 4044 5124798 263.12/263.21 o -11894350 263.12/263.26 c 242.995 20.5898 2521 5125824 263.12/263.26 o -11894359 268.52/268.68 c 247.968 20.5898 2376 5206411 268.52/268.68 o -11894360 270.42/270.53 c 249.675 20.5898 4165 5238465 270.42/270.53 o -11894438 270.53/270.66 c 249.797 20.5898 2801 5240696 270.53/270.66 o -11894471 271.31/271.41 c 250.478 20.5898 3138 5253189 271.31/271.41 o -11894915 271.52/271.62 c 250.671 20.5898 4139 5256794 271.52/271.62 o -11894991 271.63/271.78 c 250.822 20.5898 3169 5260304 271.63/271.78 o -11894999 273.12/273.28 c 252.232 20.5898 2786 5286676 273.12/273.28 o -11895021 273.41/273.55 c 252.485 20.5898 4405 5291981 273.41/273.55 o -11895029 276.52/276.69 c 255.397 20.5898 3692 5336005 276.52/276.69 o -11895115 276.72/276.83 c 255.527 20.5898 2843 5338920 276.72/276.83 o -11895117 279.12/279.27 c 257.811 20.5898 4629 5360027 279.12/279.27 o -11895125 279.51/279.60 c 258.109 20.5898 2636 5366046 279.51/279.60 o -11895736 282.01/282.17 c 260.485 20.5898 3039 5400702 282.01/282.17 o -11896289 282.52/282.67 c 260.955 20.5898 2135 5408999 282.52/282.67 o -11896316 283.22/283.30 c 261.541 20.5898 4321 5418770 283.22/283.30 o -11896377 284.01/284.16 c 262.342 20.5898 3179 5433098 284.01/284.16 o -11896378 284.11/284.27 c 262.45 20.5898 4173 5435378 284.11/284.27 o -11896385 284.22/284.39 c 262.565 20.5898 2858 5437919 284.22/284.39 o -11896398 284.91/285.01 c 263.144 20.5898 3424 5448724 284.91/285.01 o -11896410 285.21/285.34 c 263.448 20.5898 4261 5454307 285.21/285.34 o -11896426 285.61/285.79 c 263.86 20.5898 3253 5463329 285.61/285.79 o -11896437 286.11/286.28 c 264.322 20.5898 4249 5471586 286.11/286.28 o -11896440 286.31/286.43 c 264.46 20.5898 3114 5474240 286.31/286.43 o -11896456 286.51/286.67 c 264.679 20.5898 3079 5478789 286.51/286.67 o -11896459 287.11/287.22 c 265.192 20.5898 4126 5490365 287.11/287.22 o -11896504 287.11/287.23 c 265.198 20.5898 4133 5490522 287.11/287.23 o -11896534 287.51/287.64 c 265.586 20.5898 4866 5495228 287.51/287.64 o -11896544 287.51/287.69 c 265.632 20.5898 2807 5496159 287.51/287.69 o -11896575 287.61/287.79 c 265.723 20.5898 3576 5497529 287.61/287.79 o -11896589 287.92/288.04 c 265.956 20.5898 3229 5501782 287.92/288.04 o -11896644 288.31/288.46 c 266.351 20.5898 4287 5510195 288.31/288.46 o -11897055 289.12/289.20 c 267.04 20.5898 3618 5521452 289.12/289.20 o -11897060 289.12/289.30 c 267.134 20.5898 4567 5523414 289.12/289.30 o -11897067 289.51/289.64 c 267.444 20.5898 2481 5529164 289.51/289.64 o -11897207 289.62/289.72 c 267.52 20.5898 2934 5530523 289.62/289.72 o -11897316 289.71/289.80 c 267.594 20.5898 3499 5532127 289.71/289.80 o -11897318 289.71/289.83 c 267.622 20.5898 3735 5532681 289.71/289.83 o -11897376 290.22/290.36 c 268.125 20.5898 3339 5539622 290.22/290.36 o -11897385 290.22/290.36 c 268.129 20.5898 3342 5539729 290.22/290.36 o -11897400 290.32/290.42 c 268.183 20.5898 3727 5540735 290.32/290.42 o -11897401 290.32/290.44 c 268.205 20.5898 3833 5541250 290.32/290.44 o -11897411 290.32/290.45 c 268.216 20.5898 3911 5541458 290.32/290.45 o -11897419 290.32/290.48 c 268.238 20.5898 3433 5541863 290.32/290.48 o -11897427 290.41/290.51 c 268.271 20.5898 3628 5542631 290.41/290.51 o -11897463 290.41/290.54 c 268.293 20.5898 3815 5543161 290.41/290.54 o -11897465 290.41/290.54 c 268.297 20.5898 3821 5543256 290.41/290.54 o -11897470 290.41/290.58 c 268.331 20.5898 4060 5543715 290.41/290.58 o -11897478 290.41/290.58 c 268.336 20.5898 4064 5543828 290.41/290.58 o -11897481 290.41/290.58 c 268.338 20.5898 4065 5543906 290.41/290.58 o -11897496 290.41/290.59 c 268.341 20.5898 4069 5543952 290.41/290.59 s OPTIMUM FOUND 290.41/290.59 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 -11897496
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682922-1277487258/watcher-2682922-1277487258 -o /tmp/evaluation-result-2682922-1277487258/solver-2682922-1277487258 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682922-1277487258.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: 1.05 1.02 1.00 3/105 29321 /proc/meminfo: memFree=1795824/2059040 swapFree=4140364/4192956 [pid=29321] ppid=29319 vsize=2268 CPUtime=0 /proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 288 0 0 0 0 0 0 0 25 0 1 0 90019272 2322432 207 1992294400 134512640 136421960 4287430848 18446744073709551615 135161806 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29321/statm: 567 207 146 467 0 98 0 [startup+0.022392 s] /proc/loadavg: 1.05 1.02 1.00 3/105 29321 /proc/meminfo: memFree=1795824/2059040 swapFree=4140364/4192956 [pid=29321] ppid=29319 vsize=4508 CPUtime=0.01 /proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 850 0 0 0 1 0 0 0 25 0 1 0 90019272 4616192 769 1992294400 134512640 136421960 4287430848 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29321/statm: 1127 770 195 467 0 658 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4508 [startup+0.100401 s] /proc/loadavg: 1.05 1.02 1.00 3/105 29321 /proc/meminfo: memFree=1795824/2059040 swapFree=4140364/4192956 [pid=29321] ppid=29319 vsize=11616 CPUtime=0.09 /proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 2588 0 0 0 8 1 0 0 25 0 1 0 90019272 11894784 2507 1992294400 134512640 136421960 4287430848 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29321/statm: 2904 2507 195 467 0 2435 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11616 [startup+0.300419 s] /proc/loadavg: 1.05 1.02 1.00 3/105 29321 /proc/meminfo: memFree=1795824/2059040 swapFree=4140364/4192956 [pid=29321] ppid=29319 vsize=16892 CPUtime=0.29 /proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 3881 0 0 0 25 4 0 0 25 0 1 0 90019272 17297408 3800 1992294400 134512640 136421960 4287430848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29321/statm: 4223 3800 216 467 0 3754 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16892 [startup+0.700457 s] /proc/loadavg: 1.05 1.02 1.00 3/105 29321 /proc/meminfo: memFree=1795824/2059040 swapFree=4140364/4192956 [pid=29321] ppid=29319 vsize=17020 CPUtime=0.69 /proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 3919 0 0 0 62 7 0 0 25 0 1 0 90019272 17428480 3838 1992294400 134512640 136421960 4287430848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29321/statm: 4255 3838 217 467 0 3786 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17020 [startup+1.50053 s] /proc/loadavg: 1.05 1.02 1.00 2/106 29322 /proc/meminfo: memFree=1780812/2059040 swapFree=4140364/4192956 [pid=29321] ppid=29319 vsize=17664 CPUtime=1.49 /proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 4089 0 0 0 135 14 0 0 25 0 1 0 90019272 18087936 4008 1992294400 134512640 136421960 4287430848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29321/statm: 4416 4008 217 467 0 3947 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17664 [startup+3.10069 s] /proc/loadavg: 1.05 1.02 1.00 2/106 29322 /proc/meminfo: memFree=1779944/2059040 swapFree=4140364/4192956 [pid=29321] ppid=29319 vsize=19076 CPUtime=3.09 /proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 4416 0 0 0 283 26 0 0 25 0 1 0 90019272 19533824 4334 1992294400 134512640 136421960 4287430848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29321/statm: 4769 4334 239 467 0 4300 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19076 [startup+6.301 s] /proc/loadavg: 1.04 1.02 1.00 2/106 29322 /proc/meminfo: memFree=1779076/2059040 swapFree=4140364/4192956 [pid=29321] ppid=29319 vsize=19076 CPUtime=6.29 /proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 4416 0 0 0 574 55 0 0 25 0 1 0 90019272 19533824 4334 1992294400 134512640 136421960 4287430848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29321/statm: 4769 4334 239 467 0 4300 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19076 [startup+12.7016 s] /proc/loadavg: 1.04 1.02 1.00 2/106 29322 /proc/meminfo: memFree=1778828/2059040 swapFree=4140364/4192956 [pid=29321] ppid=29319 vsize=19204 CPUtime=12.69 /proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 4443 0 0 0 1164 105 0 0 25 0 1 0 90019272 19664896 4360 1992294400 134512640 136421960 4287430848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29321/statm: 4801 4360 239 467 0 4332 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19204 [startup+25.5009 s] /proc/loadavg: 1.03 1.02 1.00 2/106 29322 /proc/meminfo: memFree=1778580/2059040 swapFree=4140364/4192956 [pid=29321] ppid=29319 vsize=19464 CPUtime=25.48 /proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 4530 0 0 0 2339 209 0 0 25 0 1 0 90019272 19931136 4442 1992294400 134512640 136421960 4287430848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29321/statm: 4866 4442 239 467 0 4397 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19464 [startup+51.1004 s] /proc/loadavg: 1.02 1.02 1.00 2/106 29324 /proc/meminfo: memFree=1778580/2059040 swapFree=4140364/4192956 [pid=29321] ppid=29319 vsize=19464 CPUtime=51.08 /proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 4537 0 0 0 4698 410 0 0 25 0 1 0 90019272 19931136 4442 1992294400 134512640 136421960 4287430848 18446744073709551615 135161670 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29321/statm: 4866 4442 239 467 0 4397 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 19464 [startup+102.308 s] /proc/loadavg: 1.01 1.01 1.00 2/106 29324 /proc/meminfo: memFree=1777712/2059040 swapFree=4140364/4192956 [pid=29321] ppid=29319 vsize=20356 CPUtime=102.27 /proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 4760 0 0 0 9394 833 0 0 25 0 1 0 90019272 20844544 4642 1992294400 134512640 136421960 4287430848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29321/statm: 5089 4642 239 467 0 4620 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 20356 [startup+162.301 s] /proc/loadavg: 1.00 1.01 1.00 2/106 29326 /proc/meminfo: memFree=1777588/2059040 swapFree=4140364/4192956 [pid=29321] ppid=29319 vsize=20356 CPUtime=162.24 /proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 4787 0 0 0 14918 1306 0 0 25 0 1 0 90019272 20844544 4644 1992294400 134512640 136421960 4287430848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29321/statm: 5089 4644 239 467 0 4620 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 20356 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29328 /proc/meminfo: memFree=1777216/2059040 swapFree=4140364/4192956 [pid=29321] ppid=29319 vsize=20552 CPUtime=222.23 /proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 4875 0 0 0 20481 1742 0 0 25 0 1 0 90019272 21045248 4700 1992294400 134512640 136421960 4287430848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29321/statm: 5138 4700 239 467 0 4669 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 20552 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29330 /proc/meminfo: memFree=1776720/2059040 swapFree=4140364/4192956 [pid=29321] ppid=29319 vsize=21080 CPUtime=282.22 /proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 5044 0 0 0 26060 2162 0 0 25 0 1 0 90019272 21585920 4829 1992294400 134512640 136421960 4287430848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29321/statm: 5270 4829 239 467 0 4801 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 21080 Solver just ended. Dumping a history of the last processes samples [startup+284.701 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29330 /proc/meminfo: memFree=1776720/2059040 swapFree=4140364/4192956 [pid=29321] ppid=29319 vsize=21080 CPUtime=284.62 /proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 5049 0 0 0 26285 2177 0 0 25 0 1 0 90019272 21585920 4829 1992294400 134512640 136421960 4287430848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29321/statm: 5270 4829 239 467 0 4801 0 Current children cumulated CPU time (s) 284.62 Current children cumulated vsize (KiB) 21080 [startup+287.901 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29330 /proc/meminfo: memFree=1776720/2059040 swapFree=4140364/4192956 [pid=29321] ppid=29319 vsize=21080 CPUtime=287.81 /proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 5060 0 0 0 26581 2200 0 0 25 0 1 0 90019272 21585920 4829 1992294400 134512640 136421960 4287430848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29321/statm: 5270 4829 239 467 0 4801 0 Current children cumulated CPU time (s) 287.81 Current children cumulated vsize (KiB) 21080 [startup+289.502 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29330 /proc/meminfo: memFree=1776720/2059040 swapFree=4140364/4192956 [pid=29321] ppid=29319 vsize=21080 CPUtime=289.41 /proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 5064 0 0 0 26731 2210 0 0 25 0 1 0 90019272 21585920 4829 1992294400 134512640 136421960 4287430848 18446744073709551615 135821897 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29321/statm: 5270 4829 239 467 0 4801 0 Current children cumulated CPU time (s) 289.41 Current children cumulated vsize (KiB) 21080 [startup+290.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29330 /proc/meminfo: memFree=1776720/2059040 swapFree=4140364/4192956 [pid=29321] ppid=29319 vsize=21080 CPUtime=290.22 /proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 5068 0 0 0 26807 2215 0 0 25 0 1 0 90019272 21585920 4829 1992294400 134512640 136421960 4287430848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29321/statm: 5270 4829 239 467 0 4801 0 Current children cumulated CPU time (s) 290.22 Current children cumulated vsize (KiB) 21080 [startup+290.501 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29330 /proc/meminfo: memFree=1776720/2059040 swapFree=4140364/4192956 [pid=29321] ppid=29319 vsize=21080 CPUtime=290.41 /proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 5074 0 0 0 26825 2216 0 0 25 0 1 0 90019272 21585920 4829 1992294400 134512640 136421960 4287430848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29321/statm: 5270 4829 239 467 0 4801 0 Current children cumulated CPU time (s) 290.41 Current children cumulated vsize (KiB) 21080 [startup+290.601 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29330 /proc/meminfo: memFree=1776720/2059040 swapFree=4140364/4192956 [pid=29321] ppid=29319 vsize=20560 CPUtime=290.52 /proc/29321/stat : 29321 (pbct) R 29319 29321 28558 0 -1 4202496 5084 0 0 0 26835 2217 0 0 25 0 1 0 90019272 21053440 4702 1992294400 134512640 136421960 4287430848 18446744073709551615 134710213 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29321/statm: 5140 4702 242 467 0 4671 0 Current children cumulated CPU time (s) 290.52 Current children cumulated vsize (KiB) 20560 Child status: 0 Real time (s): 290.661 CPU time (s): 290.582 CPU user time (s): 268.407 CPU system time (s): 22.1746 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 21080 getrusage(RUSAGE_CHILDREN,...) data: user time used= 268.407 system time used= 22.1746 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5085 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= 446 runsolver used 0.508922 second user time and 1.36879 second system time The end
Begin job on node089 at 2010-06-25 19:34:18 IDJOB=2682922 IDBENCH=2440 IDSOLVER=1192 FILE ID=node089/2682922-1277487258 PBS_JOBID= 11190479 Free space on /tmp= 62556 MiB SOLVER NAME= PB/CT 0.1 fixed 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-2682922-1277487258/watcher-2682922-1277487258 -o /tmp/evaluation-result-2682922-1277487258/solver-2682922-1277487258 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682922-1277487258.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 87ce4656e5ef67028f049e81ca6b4c7e RANDOM SEED=818856544 node089.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.244 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.48 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.244 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 : 5999.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1796352 kB Buffers: 33756 kB Cached: 126508 kB SwapCached: 5456 kB Active: 20948 kB Inactive: 151788 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1796352 kB SwapTotal: 4192956 kB SwapFree: 4140364 kB Dirty: 1868 kB Writeback: 8 kB AnonPages: 11088 kB Mapped: 11900 kB Slab: 68044 kB PageTables: 4096 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180596 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= 62552 MiB End job on node089 at 2010-06-25 19:39:09