Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | 1523 | 38.2952 | 38.3056 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb |
MD5SUM | 303eaeab4b7ccd67c7fab31d13d20bc2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1523 |
Best CPU time to get the best result obtained on this benchmark | 0.309952 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1523 |
Optimality of the best value was proved | YES |
Number of variables | 201 |
Total number of constraints | 133 |
Number of constraints which are clauses | 20 |
Number of constraints which are cardinality constraints (but not clauses) | 26 |
Number of constraints which are nor clauses,nor cardinality constraints | 87 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 67 |
Number of terms in the objective function | 201 |
Biggest coefficient in the objective function | 1920 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 19980 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 1920 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 19980 |
Number of bits of the biggest sum of numbers | 15 |
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 bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656999-1276354943.opb 0.00/0.00 c File size is 17810 bytes. 0.00/0.00 c Highest Coefficient sum: 19980 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.003 s 0.00/0.00 c Var: 201 Constr: 133 20/80/33 Lit: 1923 Watch. Lit: 550 0.00/0.00 c Obj. Vars: 201 (100 % of total variables) 0.00/0.00 c Pre-processing Time: 0.006 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 195 133 1923 14 680 3264 0 0 0.01 0.00/0.01 c Initial Lower Bound: 1425 0.00/0.01 c Initial Path Cost: 0 0.00/0.01 o 2524 0.02/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.08 c 30 195 172 3320 19 1015 3889 39 1764 0.02 0.02/0.08 o 2504 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 30 195 173 3515 20 1212 3889 40 361 0.08 0.09/0.13 o 2374 0.19/0.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.26 c 30 195 174 3710 21 1378 3889 41 220 0.14 0.19/0.26 o 2372 0.29/0.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.36 c 56 195 247 13364 54 1707 3889 114 213 0.26 0.29/0.36 o 2362 1.29/1.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.35 c 87 195 320 21502 67 2029 3889 187 241 0.36 1.29/1.35 c 187 195 423 26573 62 2238 4278 290 307 0.61 1.29/1.35 c 438 195 674 39430 58 2753 4706 541 408 1.07 1.29/1.35 o 2087 1.39/1.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.41 c 600 195 838 47786 57 3262 3889 705 443 1.35 1.39/1.41 o 2053 1.39/1.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.47 c 600 195 839 47981 57 3441 3889 706 425 1.41 1.39/1.47 o 2041 1.49/1.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.53 c 601 195 843 48348 57 3626 3889 710 409 1.47 1.49/1.53 o 1953 1.59/1.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.60 c 601 195 844 48543 57 3793 3889 711 392 1.53 1.59/1.60 o 1943 1.99/2.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.01 c 606 195 853 49650 58 3981 3889 720 377 1.61 1.99/2.01 c 709 195 1042 73289 70 4367 4278 909 372 1.90 1.99/2.01 o 1941 1.99/2.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.09 c 718 195 1064 75340 70 4572 3889 931 357 2.01 1.99/2.09 o 1929 2.09/2.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.18 c 719 195 1068 75917 71 4761 3889 935 344 2.09 2.09/2.18 o 1917 2.29/2.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.31 c 727 195 1083 77478 71 4979 3889 950 332 2.19 2.29/2.31 o 1905 3.39/3.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.42 c 743 195 1128 82233 72 5234 3889 995 321 2.31 3.39/3.42 c 854 195 1415 107065 75 5663 4278 1282 322 2.65 3.39/3.42 c 1104 195 2135 184166 86 7167 4706 2002 329 3.35 3.39/3.42 o 1899 3.49/3.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.52 c 1112 195 2158 186692 86 7445 3889 2025 324 3.43 3.49/3.52 o 1887 3.59/3.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.64 c 1124 195 2192 190112 86 7709 3889 2059 318 3.52 3.59/3.64 o 1880 3.79/3.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.89 c 1146 195 2257 196809 87 8035 3889 2124 314 3.64 3.79/3.89 o 1874 3.89/3.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.99 c 1227 195 2462 216511 87 8623 3889 2329 315 3.89 3.89/3.99 o 1873 3.99/4.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.08 c 1234 195 2478 218397 88 8841 3889 2345 309 3.99 3.99/4.08 o 1870 4.30/4.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.30/4.34 c 1241 195 2496 220341 88 9051 3889 2363 303 4.08 4.30/4.34 o 1852 4.49/4.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.49/4.54 c 1320 195 2676 240598 89 9563 3889 2543 304 4.34 4.49/4.54 o 1851 4.59/4.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.68 c 1371 195 2804 257174 91 9991 3889 2671 301 4.54 4.59/4.68 o 1849 4.69/4.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.75 c 1403 195 2879 265760 92 10349 3889 2746 299 4.68 4.69/4.75 o 1842 4.89/4.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.89/4.95 c 1410 195 2892 267077 92 10560 3889 2759 296 4.75 4.89/4.95 o 1832 5.19/5.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.19/5.24 c 1460 195 3034 285186 93 11006 3889 2901 295 4.95 5.19/5.24 o 1827 5.29/5.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.29/5.38 c 1543 195 3268 307132 93 11619 3889 3135 294 5.24 5.29/5.38 o 1822 5.39/5.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.39/5.47 c 1572 195 3347 314300 93 12005 3889 3214 291 5.39 5.39/5.47 o 1815 5.50/5.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.50/5.56 c 1581 195 3375 317044 93 12210 3889 3242 289 5.47 5.50/5.56 o 1814 5.69/5.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.74 c 1593 195 3412 320853 94 12458 3889 3279 286 5.57 5.69/5.74 o 1810 5.79/5.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.79/5.83 c 1628 195 3512 330309 94 12834 3889 3379 283 5.74 5.79/5.83 o 1799 6.09/6.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.09/6.15 c 1640 195 3542 333228 94 13108 3889 3409 281 5.83 6.09/6.15 o 1794 6.19/6.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.19/6.27 c 1731 195 3791 362051 95 13797 3889 3658 281 6.15 6.19/6.27 o 1792 6.39/6.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.39/6.42 c 1754 195 3858 368533 95 14103 3889 3725 279 6.28 6.39/6.42 o 1788 6.49/6.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.49/6.52 c 1782 195 3940 376639 95 14459 3889 3807 277 6.42 6.49/6.52 o 1776 6.60/6.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.60/6.63 c 1794 195 3976 380525 95 14712 3889 3843 275 6.52 6.60/6.63 o 1764 6.69/6.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.69/6.72 c 1806 195 4012 384525 95 14960 3889 3879 272 6.63 6.69/6.72 o 1756 6.79/6.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.79/6.86 c 1820 195 2080 192625 92 4827 3654 1947 269 6.74 6.79/6.86 o 1744 7.09/7.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.18 c 1842 195 2145 199410 92 5141 3654 2012 268 6.86 7.09/7.18 o 1732 7.39/7.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.39/7.47 c 1938 195 2406 228418 94 5866 3654 2273 269 7.18 7.39/7.47 o 1720 8.19/8.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.19/8.23 c 2022 195 2651 254361 95 6537 3654 2518 270 7.47 8.19/8.23 c 2122 195 2948 286061 97 7129 4020 2815 272 7.79 8.19/8.23 o 1717 8.89/8.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.89/8.93 c 2250 195 3323 326962 98 8058 3654 3190 273 8.23 8.89/8.93 c 2351 195 3603 358311 99 8640 4020 3470 274 8.58 8.89/8.93 o 1714 9.19/9.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.19/9.23 c 2448 195 3879 385902 99 9349 3654 3746 274 8.93 9.19/9.23 o 1704 10.19/10.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.19/10.25 c 2514 195 2139 208396 97 5134 3654 2006 272 9.23 10.19/10.25 c 2614 195 2429 234765 96 5703 4020 2296 273 9.57 10.19/10.25 o 1701 11.49/11.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.49/11.59 c 2807 195 2997 289885 96 7032 3654 2864 273 10.25 11.49/11.59 c 2909 195 3269 316664 96 7586 4020 3136 274 10.60 11.49/11.59 c 3159 195 3960 381457 96 8971 4423 3827 275 11.46 11.49/11.59 o 1700 11.89/11.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.89/11.92 c 3184 195 4031 387353 96 9284 3654 3898 274 11.60 11.89/11.92 o 1689 14.89/14.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.89/14.94 c 3274 195 2208 200840 90 5250 3654 2075 274 11.92 14.89/14.94 c 3375 195 2484 228971 92 5815 4020 2351 274 12.29 14.89/14.94 c 3626 195 3170 301167 95 7182 4423 3037 278 13.03 14.89/14.94 c 4103 195 4461 425258 95 9794 4866 4328 282 14.50 14.89/14.94 o 1679 15.09/15.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.09/15.20 c 4259 195 4846 464277 95 10735 3654 4713 285 14.94 15.09/15.20 o 1674 15.78/15.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.78/15.84 c 4322 195 2148 191673 89 5134 3654 2015 284 15.19 15.78/15.84 c 4422 195 2448 215130 87 5725 4020 2315 284 15.53 15.78/15.84 o 1662 16.28/16.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.28/16.34 c 4533 195 2771 247536 89 6549 3654 2638 286 15.84 16.28/16.34 c 4634 195 3065 271937 88 7143 4020 2932 286 16.20 16.28/16.34 o 1656 16.88/16.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.88/16.93 c 4668 195 3167 282689 89 7552 3654 3034 285 16.34 16.88/16.93 c 4768 195 3460 312059 90 8130 4020 3327 285 16.69 16.88/16.93 o 1644 18.09/18.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.09/18.19 c 4841 195 3675 336466 91 8743 3654 3542 285 16.93 18.09/18.19 c 4942 195 2111 177751 84 4862 4020 1978 285 17.31 18.09/18.19 c 5195 195 2842 245618 86 6332 4423 2709 287 18.08 18.09/18.19 o 1639 18.39/18.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.39/18.40 c 5222 195 2923 252537 86 6664 3654 2790 287 18.19 18.39/18.40 o 1634 21.58/21.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.58/21.65 c 5280 195 3087 268265 86 7168 3654 2954 286 18.40 21.58/21.65 c 5383 195 3377 286667 84 7739 4020 3244 286 18.79 21.58/21.65 c 5636 195 4107 337085 82 9236 4423 3974 287 19.62 21.58/21.65 c 6111 195 3035 245329 80 6789 4866 2902 291 20.97 21.58/21.65 o 1627 21.78/21.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.78/21.86 c 6309 195 3602 303589 84 8099 3654 3469 291 21.64 21.78/21.86 o 1617 21.99/22.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.99/22.02 c 6355 195 3728 316169 84 8541 3654 3595 290 21.85 21.99/22.02 o 1615 22.58/22.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.58/22.64 c 6396 195 1965 158847 80 4623 3655 1832 290 22.03 22.58/22.64 c 6496 195 2244 188085 83 5174 4021 2111 290 22.39 22.58/22.64 o 1603 22.88/22.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.88/22.90 c 6570 195 2457 212086 86 5795 3655 2324 290 22.64 22.88/22.90 o 1589 22.88/23.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.88/23.00 c 6647 195 2669 233624 87 6396 3655 2536 290 22.89 22.88/23.00 o 1585 23.88/23.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.88/23.94 c 6667 195 2728 239034 87 6685 3655 2595 289 22.99 23.88/23.94 c 6767 195 3020 267095 88 7241 4021 2887 290 23.32 23.88/23.94 o 1575 24.38/24.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.38/24.48 c 6979 195 3631 334347 92 8681 3655 3498 291 23.93 24.38/24.48 c 7079 195 2007 178243 88 4672 4021 1874 291 24.26 24.38/24.48 o 1563 24.58/24.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.58/24.66 c 7148 195 2207 196872 89 5268 3654 2074 292 24.48 24.58/24.66 o 1551 28.08/28.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.08/28.13 c 7198 195 2351 208684 88 5738 3654 2218 291 24.66 28.08/28.13 c 7303 195 2650 229562 86 6319 4020 2517 292 24.99 28.08/28.13 c 7554 195 3394 279863 82 7804 4423 3261 292 25.80 28.08/28.13 c 8033 195 2518 172614 68 5711 4866 2385 293 27.33 28.08/28.13 o 1543 33.78/33.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 33.78/33.83 c 8278 195 3235 233342 72 7328 3654 3102 294 28.12 33.78/33.83 c 8379 195 3515 249537 70 7866 4020 3382 293 28.51 33.78/33.83 c 8635 195 2160 128490 59 4957 4423 2027 292 29.48 33.78/33.83 c 9114 195 3549 227093 63 7735 4866 3416 294 30.93 33.78/33.83 c 9927 195 3353 226600 67 7364 5353 3220 295 33.63 33.78/33.83 o 1535 34.38/34.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 34.38/34.43 c 9990 195 3541 245778 69 7930 3654 3408 295 33.82 34.38/34.43 c 10090 195 1989 133242 66 4622 4020 1856 294 34.21 34.38/34.43 o 1523 38.28/38.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 38.28/38.30 c 10159 195 2195 149071 67 5229 3654 2062 295 34.42 38.28/38.30 c 10261 195 2469 173012 70 5765 4020 2336 295 34.72 38.28/38.30 c 10511 195 3216 219650 68 7265 4423 3083 295 35.53 38.28/38.30 c 10986 195 4526 322068 71 9959 4866 4393 297 36.91 38.28/38.30 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 38.28/38.30 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 38.28/38.30 c 100 11470 509 17234 3262 190965 3129 299 38.29 38.28/38.30 c Objective: 1523 38.28/38.30 s OPTIMUM FOUND 38.28/38.30 c Total time: 38.293 s
OK 1523
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656999-1276354943/watcher-2656999-1276354943 -o /tmp/evaluation-result-2656999-1276354943/solver-2656999-1276354943 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656999-1276354943.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.99 0.97 0.99 3/106 12179 /proc/meminfo: memFree=1880316/2059040 swapFree=4134488/4192956 [pid=12179] ppid=12177 vsize=10792 CPUtime=0 /proc/12179/stat : 12179 (bsolo_pb10) R 12177 12179 12058 0 -1 4202496 385 0 0 0 0 0 0 0 22 0 1 0 11080757 11051008 298 1992294400 134512640 137138936 4288679936 18446744073709551615 134712101 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12179/statm: 2698 298 218 642 0 2054 0 [startup+0.0280529 s] /proc/loadavg: 0.99 0.97 0.99 3/106 12179 /proc/meminfo: memFree=1880316/2059040 swapFree=4134488/4192956 [pid=12179] ppid=12177 vsize=11508 CPUtime=0.02 /proc/12179/stat : 12179 (bsolo_pb10) R 12177 12179 12058 0 -1 4202496 754 0 0 0 2 0 0 0 24 0 1 0 11080757 11784192 398 1992294400 134512640 137138936 4288679936 18446744073709551615 134734510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12179/statm: 2877 398 286 642 0 2233 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11508 [startup+0.10106 s] /proc/loadavg: 0.99 0.97 0.99 3/106 12179 /proc/meminfo: memFree=1880316/2059040 swapFree=4134488/4192956 [pid=12179] ppid=12177 vsize=10916 CPUtime=0.09 /proc/12179/stat : 12179 (bsolo_pb10) R 12177 12179 12058 0 -1 4202496 2430 0 0 0 9 0 0 0 24 0 1 0 11080757 11177984 387 1992294400 134512640 137138936 4288679936 18446744073709551615 134907429 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12179/statm: 2879 397 287 642 0 2235 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10916 [startup+0.301081 s] /proc/loadavg: 0.99 0.97 0.99 3/106 12179 /proc/meminfo: memFree=1880316/2059040 swapFree=4134488/4192956 [pid=12179] ppid=12177 vsize=11776 CPUtime=0.29 /proc/12179/stat : 12179 (bsolo_pb10) R 12177 12179 12058 0 -1 4202496 4873 0 0 0 29 0 0 0 25 0 1 0 11080757 12058624 569 1992294400 134512640 137138936 4288679936 18446744073709551615 134733526 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12179/statm: 2944 569 287 642 0 2300 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11776 [startup+0.701121 s] /proc/loadavg: 0.99 0.97 0.99 3/106 12179 /proc/meminfo: memFree=1880316/2059040 swapFree=4134488/4192956 [pid=12179] ppid=12177 vsize=11888 CPUtime=0.69 /proc/12179/stat : 12179 (bsolo_pb10) R 12177 12179 12058 0 -1 4202496 7905 0 0 0 68 1 0 0 25 0 1 0 11080757 12173312 544 1992294400 134512640 137138936 4288679936 18446744073709551615 134732346 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12179/statm: 2972 544 287 642 0 2328 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11888 [startup+1.5002 s] /proc/loadavg: 0.99 0.97 0.99 2/107 12180 /proc/meminfo: memFree=1878944/2059040 swapFree=4134488/4192956 [pid=12179] ppid=12177 vsize=12308 CPUtime=1.49 /proc/12179/stat : 12179 (bsolo_pb10) R 12177 12179 12058 0 -1 4202496 12816 0 0 0 146 3 0 0 25 0 1 0 11080757 12603392 715 1992294400 134512640 137138936 4288679936 18446744073709551615 135322956 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12179/statm: 3077 715 287 642 0 2433 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12308 [startup+3.10036 s] /proc/loadavg: 0.99 0.97 0.99 2/107 12180 /proc/meminfo: memFree=1878324/2059040 swapFree=4134488/4192956 [pid=12179] ppid=12177 vsize=13648 CPUtime=3.09 /proc/12179/stat : 12179 (bsolo_pb10) R 12177 12179 12058 0 -1 4202496 29422 0 0 0 300 9 0 0 25 0 1 0 11080757 13975552 989 1992294400 134512640 137138936 4288679936 18446744073709551615 135456748 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12179/statm: 3364 982 287 642 0 2720 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13648 [startup+6.30168 s] /proc/loadavg: 0.99 0.97 0.99 2/107 12180 /proc/meminfo: memFree=1874852/2059040 swapFree=4134488/4192956 [pid=12179] ppid=12177 vsize=16728 CPUtime=6.29 /proc/12179/stat : 12179 (bsolo_pb10) R 12177 12179 12058 0 -1 4202496 69076 0 0 0 606 23 0 0 25 0 1 0 11080757 17129472 1718 1992294400 134512640 137138936 4288679936 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12179/statm: 4182 1718 287 642 0 3538 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16728 [startup+12.7013 s] /proc/loadavg: 0.99 0.97 0.99 2/107 12180 /proc/meminfo: memFree=1873240/2059040 swapFree=4134488/4192956 [pid=12179] ppid=12177 vsize=17052 CPUtime=12.69 /proc/12179/stat : 12179 (bsolo_pb10) R 12177 12179 12058 0 -1 4202496 75052 0 0 0 1244 25 0 0 25 0 1 0 11080757 17461248 1905 1992294400 134512640 137138936 4288679936 18446744073709551615 134730664 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12179/statm: 4263 1905 287 642 0 3619 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17052 [startup+25.5016 s] /proc/loadavg: 0.99 0.97 0.99 2/107 12180 /proc/meminfo: memFree=1872620/2059040 swapFree=4134488/4192956 [pid=12179] ppid=12177 vsize=18064 CPUtime=25.49 /proc/12179/stat : 12179 (bsolo_pb10) R 12177 12179 12058 0 -1 4202496 84424 0 0 0 2519 30 0 0 25 0 1 0 11080757 18497536 2107 1992294400 134512640 137138936 4288679936 18446744073709551615 135344659 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12179/statm: 4516 2107 287 642 0 3872 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 18064 Solver just ended. Dumping a history of the last processes samples [startup+31.9083 s] /proc/loadavg: 0.99 0.97 0.99 2/107 12180 /proc/meminfo: memFree=1872620/2059040 swapFree=4134488/4192956 [pid=12179] ppid=12177 vsize=18064 CPUtime=31.89 /proc/12179/stat : 12179 (bsolo_pb10) R 12177 12179 12058 0 -1 4202496 84425 0 0 0 3159 30 0 0 25 0 1 0 11080757 18497536 2108 1992294400 134512640 137138936 4288679936 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12179/statm: 4516 2108 287 642 0 3872 0 Current children cumulated CPU time (s) 31.89 Current children cumulated vsize (KiB) 18064 [startup+35.1016 s] /proc/loadavg: 0.99 0.97 0.99 2/107 12180 /proc/meminfo: memFree=1872620/2059040 swapFree=4134488/4192956 [pid=12179] ppid=12177 vsize=18068 CPUtime=35.09 /proc/12179/stat : 12179 (bsolo_pb10) R 12177 12179 12058 0 -1 4202496 84425 0 0 0 3479 30 0 0 25 0 1 0 11080757 18501632 2108 1992294400 134512640 137138936 4288679936 18446744073709551615 135441482 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12179/statm: 4517 2108 287 642 0 3873 0 Current children cumulated CPU time (s) 35.09 Current children cumulated vsize (KiB) 18068 [startup+36.7007 s] /proc/loadavg: 0.99 0.97 0.99 2/107 12180 /proc/meminfo: memFree=1872620/2059040 swapFree=4134488/4192956 [pid=12179] ppid=12177 vsize=18068 CPUtime=36.68 /proc/12179/stat : 12179 (bsolo_pb10) R 12177 12179 12058 0 -1 4202496 84425 0 0 0 3637 31 0 0 25 0 1 0 11080757 18501632 2108 1992294400 134512640 137138936 4288679936 18446744073709551615 134636216 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12179/statm: 4517 2108 287 642 0 3873 0 Current children cumulated CPU time (s) 36.68 Current children cumulated vsize (KiB) 18068 [startup+37.5008 s] /proc/loadavg: 0.99 0.97 0.99 2/107 12180 /proc/meminfo: memFree=1872496/2059040 swapFree=4134488/4192956 [pid=12179] ppid=12177 vsize=18068 CPUtime=37.48 /proc/12179/stat : 12179 (bsolo_pb10) R 12177 12179 12058 0 -1 4202496 84425 0 0 0 3717 31 0 0 25 0 1 0 11080757 18501632 2108 1992294400 134512640 137138936 4288679936 18446744073709551615 134734540 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12179/statm: 4517 2108 287 642 0 3873 0 Current children cumulated CPU time (s) 37.48 Current children cumulated vsize (KiB) 18068 [startup+37.9009 s] /proc/loadavg: 0.99 0.97 0.99 2/107 12180 /proc/meminfo: memFree=1872496/2059040 swapFree=4134488/4192956 [pid=12179] ppid=12177 vsize=18068 CPUtime=37.88 /proc/12179/stat : 12179 (bsolo_pb10) R 12177 12179 12058 0 -1 4202496 84425 0 0 0 3757 31 0 0 25 0 1 0 11080757 18501632 2108 1992294400 134512640 137138936 4288679936 18446744073709551615 135450292 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12179/statm: 4517 2108 287 642 0 3873 0 Current children cumulated CPU time (s) 37.88 Current children cumulated vsize (KiB) 18068 [startup+38.3009 s] /proc/loadavg: 0.99 0.97 0.99 2/107 12180 /proc/meminfo: memFree=1872496/2059040 swapFree=4134488/4192956 [pid=12179] ppid=12177 vsize=18068 CPUtime=38.28 /proc/12179/stat : 12179 (bsolo_pb10) R 12177 12179 12058 0 -1 4202496 84425 0 0 0 3797 31 0 0 25 0 1 0 11080757 18501632 2108 1992294400 134512640 137138936 4288679936 18446744073709551615 134625581 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12179/statm: 4517 2108 287 642 0 3873 0 Current children cumulated CPU time (s) 38.28 Current children cumulated vsize (KiB) 18068 Child status: 0 Real time (s): 38.3056 CPU time (s): 38.2952 CPU user time (s): 37.9822 CPU system time (s): 0.312952 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (KiB): 18068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 37.9822 system time used= 0.312952 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 84425 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= 126 runsolver used 0.068989 second user time and 0.19697 second system time The end
Begin job on node017 at 2010-06-12 17:02:23 IDJOB=2656999 IDBENCH=1858 IDSOLVER=1162 FILE ID=node017/2656999-1276354943 PBS_JOBID= 11173211 Free space on /tmp= 62368 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656999-1276354943/watcher-2656999-1276354943 -o /tmp/evaluation-result-2656999-1276354943/solver-2656999-1276354943 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656999-1276354943.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 303eaeab4b7ccd67c7fab31d13d20bc2 RANDOM SEED=1838248446 node017.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.201 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.40 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.201 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.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1880720 kB Buffers: 7768 kB Cached: 104688 kB SwapCached: 11172 kB Active: 76200 kB Inactive: 49664 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1880720 kB SwapTotal: 4192956 kB SwapFree: 4134488 kB Dirty: 3988 kB Writeback: 0 kB AnonPages: 12236 kB Mapped: 9200 kB Slab: 30548 kB PageTables: 4068 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 184376 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= 62364 MiB End job on node017 at 2010-06-12 17:03:02