Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | OPT | 1523 | 43.0854 | 43.0955 |
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 | 3.67744 |
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.1 - 13/04/2009 : 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 Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1877558-1245133742.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.002 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.005 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.03/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.08 c 30 195 172 3320 19 1015 3889 39 1875 0.02 0.03/0.08 o 2504 0.10/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.13 c 30 195 173 3515 20 1212 3889 40 361 0.08 0.10/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 217 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 13357 54 1706 3889 114 211 0.27 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 21489 67 2028 3889 187 240 0.36 1.29/1.35 c 187 195 423 26560 62 2237 4278 290 307 0.61 1.29/1.35 c 438 195 674 39417 58 2752 4706 541 409 1.07 1.29/1.35 o 2087 1.39/1.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.40 c 600 195 838 47773 57 3261 3889 705 445 1.35 1.39/1.40 o 2053 1.39/1.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.46 c 600 195 839 47968 57 3440 3889 706 427 1.40 1.39/1.46 o 2041 1.49/1.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.52 c 601 195 842 48274 57 3623 3889 709 410 1.47 1.49/1.52 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 843 48469 57 3790 3889 710 393 1.53 1.59/1.60 o 1943 1.89/1.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.99 c 606 195 852 49576 58 3978 3889 719 377 1.60 1.89/1.99 c 709 195 1077 78499 72 4436 4278 944 374 1.89 1.89/1.99 o 1941 1.99/2.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.07 c 718 195 1097 80395 73 4637 3889 964 360 1.99 1.99/2.07 o 1929 2.10/2.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.10/2.16 c 719 195 1101 80972 73 4826 3889 968 347 2.07 2.10/2.16 o 1917 2.20/2.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.20/2.27 c 727 195 1116 82533 73 5044 3889 983 336 2.16 2.20/2.27 o 1905 3.29/3.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.36 c 743 195 1161 87291 75 5302 3889 1028 326 2.27 3.29/3.36 c 854 195 1446 112075 77 5729 4278 1313 327 2.61 3.29/3.36 c 1104 195 2138 187568 87 7223 4706 2005 336 3.28 3.29/3.36 o 1899 3.39/3.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.45 c 1112 195 2160 189936 87 7454 3889 2027 330 3.36 3.39/3.45 o 1895 3.59/3.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.60 c 1125 195 2195 193774 88 7711 3889 2062 325 3.45 3.59/3.60 o 1842 3.79/3.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.80 c 1159 195 2291 205664 89 8122 3889 2158 321 3.61 3.79/3.80 o 1839 3.89/3.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.98 c 1213 195 2446 223176 91 8584 3889 2313 319 3.80 3.89/3.98 o 1834 4.19/4.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.25 c 1255 195 2564 236947 92 8998 3889 2431 315 3.98 4.19/4.25 o 1825 4.40/4.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.40/4.43 c 1334 195 2768 263369 95 9607 3889 2635 314 4.25 4.40/4.43 o 1824 4.79/4.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.80 c 1387 195 2903 280580 96 10035 3889 2770 313 4.43 4.79/4.80 c 1494 195 3170 308921 97 10582 4278 3037 316 4.72 4.79/4.80 o 1811 4.90/4.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.90/4.91 c 1500 195 3187 310418 97 10814 3889 3054 312 4.80 4.90/4.91 o 1803 4.99/5.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.04 c 1524 195 3242 316484 97 11079 3889 3109 310 4.91 4.99/5.04 o 1797 5.50/5.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.50/5.58 c 1547 195 3308 323160 97 11357 3889 3175 306 5.05 5.50/5.58 c 1648 195 3573 353710 98 11936 4278 3440 307 5.35 5.50/5.58 o 1789 6.89/6.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.89/6.94 c 1719 195 3740 372148 99 12444 3889 3607 307 5.58 6.89/6.94 c 1822 195 4002 404322 101 12958 4278 3869 303 6.00 6.89/6.94 c 2073 195 2401 249122 103 5527 4706 2268 306 6.75 6.89/6.94 o 1785 6.98/7.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.98/7.06 c 2114 195 2509 259308 103 5932 3654 2376 304 6.95 6.98/7.06 o 1784 9.59/9.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.59/9.67 c 2126 195 2544 263404 103 6166 3654 2411 301 7.06 9.59/9.67 c 2231 195 2797 293405 104 6699 4020 2664 298 7.47 9.59/9.67 c 2481 195 3464 371353 107 8056 4423 3331 304 8.15 9.59/9.67 c 2957 195 2390 250422 104 5506 4866 2257 310 9.52 9.59/9.67 o 1774 10.09/10.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.09/10.13 c 2988 195 2477 258289 104 5855 3654 2344 308 9.68 10.09/10.13 c 3088 195 2747 283125 103 6393 4020 2614 308 10.01 10.09/10.13 o 1766 10.39/10.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.39/10.42 c 3107 195 2800 287620 102 6679 3654 2667 306 10.13 10.39/10.42 o 1756 10.49/10.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.49/10.55 c 3182 195 3011 309204 102 7271 3654 2878 305 10.42 10.49/10.55 o 1752 10.68/10.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.68/10.77 c 3198 195 3054 312552 102 7529 3654 2921 303 10.55 10.68/10.77 o 1741 11.39/11.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.39/11.49 c 3246 195 3189 322916 101 7979 3654 3056 301 10.78 11.39/11.49 c 3346 195 3472 350114 100 8558 4020 3339 298 11.21 11.39/11.49 o 1730 11.69/11.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.69/11.75 c 3425 195 3684 372160 101 9169 3654 3551 298 11.49 11.69/11.75 o 1726 12.00/12.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.00/12.08 c 3504 195 1963 182720 93 4575 3654 1830 297 11.77 12.00/12.08 o 1725 14.59/14.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.59/14.68 c 3592 195 2203 207941 94 5279 3654 2070 297 12.08 14.59/14.68 c 3692 195 2463 233505 94 5808 4020 2330 296 12.45 14.59/14.68 c 3944 195 3187 313169 98 7290 4423 3054 298 13.21 14.59/14.68 c 4419 195 4517 464472 102 10002 4866 4384 302 14.59 14.59/14.68 o 1724 14.89/14.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.89/14.99 c 4428 195 4542 466700 102 10224 3654 4409 301 14.68 14.89/14.99 o 1719 15.09/15.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.09/15.11 c 4507 195 2186 211013 96 5277 3654 2053 300 14.99 15.09/15.11 o 1712 16.79/16.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.79/16.88 c 4527 195 2239 215131 96 5565 3654 2106 299 15.11 16.79/16.88 c 4627 195 2524 235002 93 6129 4020 2391 297 15.56 16.79/16.88 c 4879 195 3263 295430 90 7620 4423 3130 295 16.51 16.79/16.88 o 1711 16.99/17.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.99/17.02 c 4965 195 3512 315834 89 8317 3654 3379 294 16.88 16.99/17.02 o 1701 17.09/17.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.09/17.12 c 4996 195 3599 323072 89 8666 3654 3466 293 17.02 17.09/17.12 o 1696 17.89/17.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.89/17.99 c 5007 195 3630 325315 89 8902 3654 3497 292 17.12 17.89/17.99 c 5107 195 2033 162506 79 4730 4020 1900 290 17.58 17.89/17.99 o 1684 23.28/23.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.28/23.36 c 5201 195 2302 185142 80 5455 3654 2169 289 17.99 23.28/23.36 c 5305 195 2593 211981 81 6042 4020 2460 288 18.39 23.28/23.36 c 5555 195 3293 288845 87 7497 4423 3160 289 19.20 23.28/23.36 c 6036 195 2357 200898 85 5434 4866 2224 290 20.78 23.28/23.36 c 6849 195 4536 412939 91 9889 5353 4403 294 23.25 23.28/23.36 o 1676 23.78/23.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.78/23.86 c 6859 195 4564 415468 91 10103 3654 4431 293 23.35 23.78/23.86 c 6962 195 2283 196686 86 5227 4020 2150 293 23.76 23.78/23.86 o 1671 24.28/24.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.28/24.34 c 6979 195 2332 201086 86 5517 3654 2199 292 23.86 24.28/24.34 c 7083 195 2629 224244 85 6083 4020 2496 292 24.24 24.28/24.34 o 1659 24.59/24.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.59/24.69 c 7094 195 2660 227045 85 6356 3654 2527 291 24.34 24.59/24.69 o 1651 25.09/25.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 25.09/25.11 c 7173 195 2884 243610 84 7000 3654 2751 290 24.68 25.09/25.11 o 1647 25.38/25.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 25.38/25.45 c 7260 195 3126 261176 83 7674 3654 2993 289 25.10 25.38/25.45 o 1645 25.58/25.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 25.58/25.64 c 7345 195 3372 280916 83 8361 3654 3239 288 25.45 25.58/25.64 o 1623 25.79/25.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 25.79/25.82 c 7383 195 3481 289977 83 8689 3654 3348 287 25.64 25.79/25.82 o 1616 25.98/26.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 25.98/26.02 c 7418 195 3580 297055 82 9145 3654 3447 287 25.82 25.98/26.02 o 1607 26.28/26.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.28/26.39 c 7453 195 3683 304627 82 9531 3654 3550 286 26.02 26.28/26.39 o 1599 26.79/26.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.79/26.85 c 7528 195 2002 147790 73 4884 3703 1869 285 26.39 26.79/26.85 o 1595 27.08/27.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 27.08/27.18 c 7628 195 2283 166845 73 5641 3703 2150 284 26.85 27.08/27.18 o 1583 27.88/27.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 27.88/27.92 c 7700 195 2492 182645 73 6252 3703 2359 283 27.18 27.88/27.92 c 7806 195 2797 201698 72 6812 4074 2664 281 27.69 27.88/27.92 o 1581 27.88/27.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 27.88/27.99 c 7863 195 2966 216901 73 7384 3703 2833 281 27.91 27.88/27.99 o 1579 28.08/28.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.08/28.14 c 7868 195 2981 218242 73 7591 3703 2848 281 27.99 28.08/28.14 o 1567 28.28/28.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.28/28.36 c 7904 195 3087 227899 73 7984 3703 2954 280 28.14 28.28/28.36 o 1555 28.49/28.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.49/28.50 c 7948 195 3215 238126 74 8425 3703 3082 280 28.35 28.49/28.50 o 1543 36.79/36.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 36.79/36.87 c 7978 195 3302 245453 74 8678 3703 3169 279 28.50 36.79/36.87 c 8082 195 3607 267157 74 9292 4074 3474 278 28.98 36.79/36.87 c 8335 195 2204 159849 72 5106 4482 2071 279 29.79 36.79/36.87 c 8812 195 3569 272481 76 7868 4931 3436 279 31.50 36.79/36.87 c 9625 195 3231 269359 83 7148 5425 3098 282 34.06 36.79/36.87 o 1535 37.99/38.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.99/38.01 c 10462 195 2848 213227 74 6382 3654 2715 283 36.89 37.99/38.01 c 10565 195 3113 232975 74 6941 4020 2980 283 37.22 37.99/38.01 o 1523 42.99/43.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 42.99/43.09 c 10784 195 3732 274904 73 8374 3654 3599 283 38.01 42.99/43.09 c 10884 195 2107 133786 63 4914 4020 1974 283 38.38 42.99/43.09 c 11139 195 2839 179215 63 6395 4423 2706 283 39.28 42.99/43.09 c 11614 174 4112 263604 64 9020 4866 3979 283 40.90 42.99/43.09 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 42.99/43.09 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 42.99/43.09 c 96 12354 427 18680 3597 227241 3464 286 43.08 42.99/43.09 c Objective: 1523 42.99/43.09 s OPTIMUM FOUND 42.99/43.09 c Total time: 43.081 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-1877558-1245133742/watcher-1877558-1245133742 -o /tmp/evaluation-result-1877558-1245133742/solver-1877558-1245133742 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877558-1245133742.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.00 1.00 1.00 3/64 1110 /proc/meminfo: memFree=1926832/2055920 swapFree=4181536/4192956 [pid=1110] ppid=1108 vsize=10708 CPUtime=0 /proc/1110/stat : 1110 (bsolo) R 1108 1110 923 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 180974286 10964992 243 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1110/statm: 2677 243 189 640 0 2033 0 [startup+0.0374041 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1110 /proc/meminfo: memFree=1926832/2055920 swapFree=4181536/4192956 [pid=1110] ppid=1108 vsize=11560 CPUtime=0.03 /proc/1110/stat : 1110 (bsolo) R 1108 1110 923 0 -1 4194304 874 0 0 0 3 0 0 0 18 0 1 0 180974286 11837440 416 1992294400 134512640 137136520 4294956256 18446744073709551615 136503955 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1110/statm: 2890 416 292 640 0 2246 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11560 [startup+0.101395 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1110 /proc/meminfo: memFree=1926832/2055920 swapFree=4181536/4192956 [pid=1110] ppid=1108 vsize=11432 CPUtime=0.1 /proc/1110/stat : 1110 (bsolo) R 1108 1110 923 0 -1 4194304 2391 0 0 0 9 1 0 0 18 0 1 0 180974286 11706368 407 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1110/statm: 2858 407 293 640 0 2214 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 11432 [startup+0.301416 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1110 /proc/meminfo: memFree=1926832/2055920 swapFree=4181536/4192956 [pid=1110] ppid=1108 vsize=11692 CPUtime=0.29 /proc/1110/stat : 1110 (bsolo) R 1108 1110 923 0 -1 4194304 4819 0 0 0 27 2 0 0 19 0 1 0 180974286 11972608 577 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1110/statm: 2923 577 293 640 0 2279 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11692 [startup+0.701458 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1110 /proc/meminfo: memFree=1926832/2055920 swapFree=4181536/4192956 [pid=1110] ppid=1108 vsize=11804 CPUtime=0.69 /proc/1110/stat : 1110 (bsolo) R 1108 1110 923 0 -1 4194304 7827 0 0 0 66 3 0 0 22 0 1 0 180974286 12087296 551 1992294400 134512640 137136520 4294956256 18446744073709551615 135387467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1110/statm: 2951 551 293 640 0 2307 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11804 [startup+1.50154 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1111 /proc/meminfo: memFree=1925416/2055920 swapFree=4181536/4192956 [pid=1110] ppid=1108 vsize=12148 CPUtime=1.49 /proc/1110/stat : 1110 (bsolo) R 1108 1110 923 0 -1 4194304 13436 0 0 0 144 5 0 0 25 0 1 0 180974286 12439552 679 1992294400 134512640 137136520 4294956256 18446744073709551615 135079056 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1110/statm: 3037 679 293 640 0 2393 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12148 [startup+3.10172 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1111 /proc/meminfo: memFree=1924328/2055920 swapFree=4181536/4192956 [pid=1110] ppid=1108 vsize=13692 CPUtime=3.09 /proc/1110/stat : 1110 (bsolo) R 1108 1110 923 0 -1 4194304 23546 0 0 0 300 9 0 0 25 0 1 0 180974286 14020608 1076 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1110/statm: 3423 1076 293 640 0 2779 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13692 [startup+6.30106 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1111 /proc/meminfo: memFree=1920488/2055920 swapFree=4181536/4192956 [pid=1110] ppid=1108 vsize=17464 CPUtime=6.29 /proc/1110/stat : 1110 (bsolo) R 1108 1110 923 0 -1 4194304 60505 0 0 0 605 24 0 0 25 0 1 0 180974286 17883136 1982 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1110/statm: 4366 1984 294 640 0 3722 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17464 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1111 /proc/meminfo: memFree=1918888/2055920 swapFree=4181536/4192956 [pid=1110] ppid=1108 vsize=18376 CPUtime=12.69 /proc/1110/stat : 1110 (bsolo) R 1108 1110 923 0 -1 4194304 116358 0 0 0 1220 49 0 0 25 0 1 0 180974286 18817024 2157 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1110/statm: 4594 2157 294 640 0 3950 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18376 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1111 /proc/meminfo: memFree=1918952/2055920 swapFree=4181536/4192956 [pid=1110] ppid=1108 vsize=18396 CPUtime=25.49 /proc/1110/stat : 1110 (bsolo) R 1108 1110 923 0 -1 4194304 243326 0 0 0 2446 103 0 0 25 0 1 0 180974286 18837504 2165 1992294400 134512640 137136520 4294956256 18446744073709551615 135442575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1110/statm: 4599 2165 294 640 0 3955 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 18396 Solver just ended. Dumping a history of the last processes samples [startup+31.9058 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1111 /proc/meminfo: memFree=1918952/2055920 swapFree=4181536/4192956 [pid=1110] ppid=1108 vsize=18408 CPUtime=31.89 /proc/1110/stat : 1110 (bsolo) R 1108 1110 923 0 -1 4194304 303294 0 0 0 3058 131 0 0 25 0 1 0 180974286 18849792 2156 1992294400 134512640 137136520 4294956256 18446744073709551615 135387439 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1110/statm: 4602 2156 294 640 0 3958 0 Current children cumulated CPU time (s) 31.89 Current children cumulated vsize (KiB) 18408 [startup+38.3015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1111 /proc/meminfo: memFree=1918952/2055920 swapFree=4181536/4192956 [pid=1110] ppid=1108 vsize=17872 CPUtime=38.28 /proc/1110/stat : 1110 (bsolo) R 1108 1110 923 0 -1 4194304 356585 0 0 0 3672 156 0 0 25 0 1 0 180974286 18300928 2151 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1110/statm: 4468 2151 294 640 0 3824 0 Current children cumulated CPU time (s) 38.28 Current children cumulated vsize (KiB) 17872 [startup+41.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1111 /proc/meminfo: memFree=1918952/2055920 swapFree=4181536/4192956 [pid=1110] ppid=1108 vsize=17872 CPUtime=41.49 /proc/1110/stat : 1110 (bsolo) R 1108 1110 923 0 -1 4194304 382726 0 0 0 3979 170 0 0 25 0 1 0 180974286 18300928 2151 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1110/statm: 4468 2151 294 640 0 3824 0 Current children cumulated CPU time (s) 41.49 Current children cumulated vsize (KiB) 17872 [startup+42.3019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1111 /proc/meminfo: memFree=1918952/2055920 swapFree=4181536/4192956 [pid=1110] ppid=1108 vsize=18424 CPUtime=42.28 /proc/1110/stat : 1110 (bsolo) R 1108 1110 923 0 -1 4194304 390041 0 0 0 4056 172 0 0 25 0 1 0 180974286 18866176 2161 1992294400 134512640 137136520 4294956256 18446744073709551615 135442575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1110/statm: 4606 2161 294 640 0 3962 0 Current children cumulated CPU time (s) 42.28 Current children cumulated vsize (KiB) 18424 [startup+42.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1111 /proc/meminfo: memFree=1918952/2055920 swapFree=4181536/4192956 [pid=1110] ppid=1108 vsize=18436 CPUtime=42.68 /proc/1110/stat : 1110 (bsolo) R 1108 1110 923 0 -1 4194304 393515 0 0 0 4095 173 0 0 25 0 1 0 180974286 18878464 2157 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1110/statm: 4609 2157 294 640 0 3965 0 Current children cumulated CPU time (s) 42.68 Current children cumulated vsize (KiB) 18436 [startup+42.906 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1111 /proc/meminfo: memFree=1918952/2055920 swapFree=4181536/4192956 [pid=1110] ppid=1108 vsize=18424 CPUtime=42.88 /proc/1110/stat : 1110 (bsolo) R 1108 1110 923 0 -1 4194304 395122 0 0 0 4114 174 0 0 25 0 1 0 180974286 18866176 2156 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1110/statm: 4606 2156 294 640 0 3962 0 Current children cumulated CPU time (s) 42.88 Current children cumulated vsize (KiB) 18424 [startup+43.002 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1111 /proc/meminfo: memFree=1918952/2055920 swapFree=4181536/4192956 [pid=1110] ppid=1108 vsize=18428 CPUtime=42.99 /proc/1110/stat : 1110 (bsolo) R 1108 1110 923 0 -1 4194304 395922 0 0 0 4124 175 0 0 25 0 1 0 180974286 18870272 2159 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1110/statm: 4607 2159 294 640 0 3963 0 Current children cumulated CPU time (s) 42.99 Current children cumulated vsize (KiB) 18428 Child status: 0 Real time (s): 43.0955 CPU time (s): 43.0854 CPU user time (s): 41.3317 CPU system time (s): 1.75373 CPU usage (%): 99.9767 Max. virtual memory (cumulated for all children) (KiB): 18456 getrusage(RUSAGE_CHILDREN,...) data: user time used= 41.3317 system time used= 1.75373 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 396621 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= 2 involuntary context switches= 48 runsolver used 0.026995 second user time and 0.106983 second system time The end
Begin job on node19 at 2009-06-16 08:29:02 IDJOB=1877558 IDBENCH=1858 IDSOLVER=699 FILE ID=node19/1877558-1245133742 PBS_JOBID= 9363687 Free space on /tmp= 66160 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877558-1245133742/watcher-1877558-1245133742 -o /tmp/evaluation-result-1877558-1245133742/solver-1877558-1245133742 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877558-1245133742.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 303eaeab4b7ccd67c7fab31d13d20bc2 RANDOM SEED=431022953 node19.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1927312 kB Buffers: 6208 kB Cached: 59688 kB SwapCached: 6048 kB Active: 57732 kB Inactive: 16840 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1927312 kB SwapTotal: 4192956 kB SwapFree: 4181536 kB Dirty: 3964 kB Writeback: 0 kB Mapped: 13428 kB Slab: 40060 kB Committed_AS: 179600 kB PageTables: 1456 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66156 MiB End job on node19 at 2009-06-16 08:29:45