Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | -7772 | 79.025 | 79.0594 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-sentoy.opb |
MD5SUM | d0f46c7e79d3309033cc6b73ceacef6c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -7772 |
Best CPU time to get the best result obtained on this benchmark | 0.126979 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -7772 |
Optimality of the best value was proved | YES |
Number of variables | 60 |
Total number of constraints | 30 |
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 | 30 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 60 |
Number of terms in the objective function | 60 |
Biggest coefficient in the objective function | 974 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 9460 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 6000 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 26162 |
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-2656998-1276354776.opb 0.00/0.00 c File size is 15778 bytes. 0.00/0.00 c Highest Coefficient sum: 26162 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.001 s 0.00/0.00 c Var: 60 Constr: 30 0/0/30 Lit: 1800 Watch. Lit: 472 0.00/0.00 c Obj. Vars: 60 (100 % of total variables) 0.00/0.00 c Pre-processing Time: 0.003 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 60 30 1800 60 504 3600 0 0 0.00 0.00/0.01 c Initial Lower Bound: -7839 0.00/0.01 c Initial Path Cost: -9460 0.00/0.01 o -3144 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 60 31 1860 60 1001 3720 1 0 0.01 0.00/0.02 o -3161 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 1 60 34 2021 59 1126 3720 4 41 0.02 0.00/0.04 o -3988 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 2 60 37 2174 58 1091 3720 7 46 0.04 0.00/0.06 o -4039 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 4 60 41 2350 57 1170 3720 11 65 0.06 0.09/0.10 o -4309 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 27 60 86 3960 46 1289 3720 56 272 0.10 0.09/0.18 o -4371 0.49/0.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.54 c 87 60 197 8188 41 1594 3720 167 478 0.18 0.49/0.54 c 187 60 428 16605 38 2170 4093 398 525 0.36 0.49/0.54 o -4399 0.49/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.57 c 315 60 685 27034 39 2921 3720 655 575 0.55 0.49/0.57 o -4510 0.59/0.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.61 c 323 60 700 27575 39 2930 3720 670 568 0.57 0.59/0.61 o -4549 0.79/0.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.84 c 355 60 758 29859 39 3115 3720 728 579 0.61 0.79/0.84 c 455 60 939 35403 37 3470 4093 909 607 0.75 0.79/0.84 o -4625 1.09/1.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.19 c 497 60 1029 38341 37 3791 3720 999 592 0.84 1.09/1.19 c 598 60 1226 44940 36 4236 4093 1196 598 1.00 1.09/1.19 o -4631 1.39/1.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.43 c 744 60 1509 54647 36 4756 3720 1479 623 1.19 1.39/1.43 c 844 60 1700 60596 35 5258 4093 1670 613 1.38 1.39/1.43 o -4633 1.39/1.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.47 c 878 60 1775 63457 35 5394 3720 1745 610 1.44 1.39/1.47 o -4744 1.49/1.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.55 c 902 60 1827 65323 35 5528 3720 1797 611 1.48 1.49/1.55 o -4847 1.89/1.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.98 c 951 60 1938 69588 35 5786 3720 1908 614 1.55 1.89/1.98 c 1051 60 2147 76778 35 6335 4093 2117 611 1.72 1.89/1.98 o -4876 1.99/2.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.06 c 1207 60 2513 90571 36 7299 3720 2483 608 1.98 1.99/2.06 o -4968 2.10/2.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.10/2.16 c 1262 60 2637 95280 36 7533 3720 2607 610 2.07 2.10/2.16 o -5102 2.20/2.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.20/2.21 c 1349 60 2815 102472 36 8107 3720 2785 624 2.16 2.20/2.21 o -5152 2.20/2.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.20/2.29 c 1365 60 2851 103749 36 8170 3720 2821 618 2.21 2.20/2.29 o -5272 2.29/2.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.39 c 1412 60 2966 108091 36 8451 3720 2936 615 2.29 2.29/2.39 o -5360 2.49/2.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.55 c 1491 60 3150 115334 36 8989 3720 3120 623 2.39 2.49/2.55 o -5457 2.89/2.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.96 c 1572 60 3327 121512 36 9515 3720 3297 615 2.55 2.89/2.96 c 1672 60 3514 127949 36 9991 4093 3484 617 2.71 2.89/2.96 o -5495 3.09/3.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.11 c 1793 60 3756 134981 35 10376 3720 3726 604 2.97 3.09/3.11 o -5510 3.38/3.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.38/3.47 c 1861 60 2029 72996 35 5974 3936 1999 598 3.11 3.38/3.47 c 1961 60 2225 77997 35 6341 4330 2195 590 3.32 3.38/3.47 o -5674 3.58/3.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.58/3.65 c 2040 60 2369 81771 34 6745 3936 2339 587 3.47 3.58/3.65 o -5688 3.98/4.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.98/4.06 c 2126 60 2535 86438 34 7121 3936 2505 583 3.65 3.98/4.06 c 2228 60 2740 91861 33 7607 4330 2710 576 3.86 3.98/4.06 o -5771 4.09/4.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.16 c 2351 60 2994 98821 33 8049 3936 2964 579 4.05 4.09/4.16 o -5902 4.18/4.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.18/4.30 c 2404 60 3098 101502 32 8347 3936 3068 578 4.16 4.18/4.30 o -5925 4.29/4.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.32 c 2482 60 3271 105683 32 8708 3936 3241 577 4.30 4.29/4.32 o -5931 4.39/4.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.39/4.44 c 2483 60 3274 105805 32 8739 3936 3244 575 4.31 4.39/4.44 o -5937 5.39/5.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.39/5.46 c 2546 60 3417 109712 32 9093 3936 3387 574 4.43 5.39/5.46 c 2646 60 3637 116418 32 9691 4330 3607 576 4.59 5.39/5.46 c 2896 60 4211 130925 31 10829 4764 4181 568 5.09 5.39/5.46 o -5939 5.88/5.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.88/5.95 c 3092 60 4628 142875 30 11794 3936 4598 566 5.45 5.88/5.95 c 3192 60 2203 62361 28 5817 4330 2173 565 5.65 5.88/5.95 o -5969 6.19/6.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.19/6.27 c 3376 60 2528 71516 28 6638 3720 2498 568 5.94 6.19/6.27 c 3477 60 2752 77135 28 6974 4093 2722 565 6.14 6.19/6.27 o -6007 6.69/6.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.69/6.75 c 3540 60 2873 80025 27 7290 3720 2843 564 6.27 6.69/6.75 c 3640 60 3061 84991 27 7618 4093 3031 565 6.43 6.69/6.75 o -6014 6.69/6.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.69/6.76 c 3802 60 3404 95024 27 8430 3720 3374 563 6.74 6.69/6.76 o -6031 6.98/7.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.98/7.00 c 3805 60 3411 95363 27 8513 3720 3381 562 6.76 6.98/7.00 c 3905 60 3599 100376 27 8923 4093 3569 561 6.95 6.98/7.00 o -6065 7.08/7.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.08/7.11 c 3925 60 3637 101757 27 9042 3720 3607 561 6.99 7.08/7.11 o -6087 7.08/7.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.08/7.15 c 3983 60 1891 53512 28 5063 3839 1861 559 7.11 7.08/7.15 o -6116 7.38/7.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.38/7.44 c 3993 60 1912 54381 28 5178 3839 1882 559 7.14 7.38/7.44 c 4093 60 2118 59886 28 5580 4223 2088 556 7.35 7.38/7.44 o -6144 7.48/7.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.48/7.59 c 4147 60 2228 63494 28 5980 3839 2198 557 7.44 7.48/7.59 o -6283 8.58/8.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.58/8.64 c 4218 60 2397 68115 28 6262 3839 2367 556 7.58 8.58/8.64 c 4318 60 2659 74453 28 6747 4223 2629 556 7.76 8.58/8.64 c 4569 60 3239 90442 27 7979 4646 3209 562 8.13 8.58/8.64 o -6287 8.79/8.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.79/8.83 c 4945 60 3948 112476 28 9679 3839 3918 572 8.63 8.79/8.83 o -6410 9.18/9.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.18/9.26 c 5030 60 2137 62022 29 5621 3720 2107 570 8.82 9.18/9.26 c 5130 60 2421 68386 28 6084 4093 2391 569 9.01 9.18/9.26 o -6577 10.18/10.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.18/10.29 c 5278 60 2803 80340 28 6970 3720 2773 570 9.25 10.18/10.29 c 5378 60 3023 85995 28 7432 4093 2993 570 9.44 10.18/10.29 c 5628 60 3577 101125 28 8504 4503 3547 575 9.79 10.18/10.29 o -6617 10.68/10.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.68/10.76 c 5998 60 4405 128473 29 10908 3720 4375 583 10.29 10.68/10.76 c 6098 60 2140 64973 30 5899 4093 2110 580 10.51 10.68/10.76 o -6623 11.08/11.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.08/11.20 c 6227 60 2455 72426 29 6676 3978 2425 579 10.75 11.08/11.20 c 6327 60 2712 78192 28 7246 4376 2682 577 10.95 11.08/11.20 o -6673 11.28/11.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.28/11.31 c 6460 60 3020 87155 28 7976 3978 2990 577 11.19 11.28/11.31 o -6722 11.78/11.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.78/11.85 c 6506 60 3149 90289 28 8198 3978 3119 575 11.30 11.78/11.85 c 6606 60 3385 95634 28 8662 4376 3355 573 11.51 11.78/11.85 o -6744 13.58/13.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.58/13.60 c 6852 60 3906 112120 28 9977 3978 3876 578 11.85 13.58/13.60 c 6954 60 2194 64055 29 5529 4376 2164 578 12.03 13.58/13.60 c 7205 60 2852 84856 29 6956 4814 2822 580 12.41 13.58/13.60 c 7680 60 3970 119895 30 9285 5296 3940 581 13.21 13.58/13.60 o -6831 14.58/14.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.58/14.61 c 7861 60 4384 131955 30 10306 3720 4354 578 13.59 14.58/14.61 c 7961 60 2175 66051 30 5424 4093 2145 575 13.83 14.58/14.61 c 8211 60 2866 82828 28 6885 4503 2836 571 14.37 14.58/14.61 o -6842 15.28/15.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.28/15.31 c 8313 60 3127 88894 28 7550 3824 3097 569 14.60 15.28/15.31 c 8416 60 3384 95791 28 8015 4207 3354 568 14.81 15.28/15.31 o -6869 16.07/16.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.07/16.13 c 8630 60 3961 109369 27 9159 3824 3931 564 15.30 16.07/16.13 c 8730 60 2229 59385 26 5490 4207 2199 560 15.56 16.07/16.13 o -6898 16.38/16.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.38/16.42 c 8966 60 2861 75759 26 6865 3720 2831 556 16.12 16.38/16.42 c 9066 60 3116 81716 26 7361 4093 3086 555 16.33 16.38/16.42 o -6914 16.68/16.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.68/16.72 c 9099 60 3192 84015 26 7603 3720 3162 554 16.41 16.68/16.72 c 9201 60 3459 90385 26 8100 4093 3429 553 16.61 16.68/16.72 o -6964 16.77/16.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.77/16.86 c 9265 60 3591 94632 26 8410 3720 3561 554 16.72 16.77/16.86 o -6981 17.49/17.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.49/17.57 c 9333 60 1891 49432 26 4897 3720 1861 553 16.86 17.49/17.57 c 9434 60 2123 55522 26 5301 4093 2093 554 17.03 17.49/17.57 o -7024 17.59/17.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.59/17.66 c 9655 60 2668 69420 26 6583 3720 2638 549 17.56 17.59/17.66 o -7123 17.68/17.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.68/17.72 c 9698 60 2781 71794 25 6775 3720 2751 549 17.66 17.68/17.72 o -7173 17.68/17.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.68/17.78 c 9715 60 2833 72777 25 6878 3720 2803 548 17.71 17.68/17.78 o -7189 18.07/18.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.07/18.12 c 9744 60 2895 74422 25 7024 3720 2865 548 17.77 18.07/18.12 c 9844 60 3147 79917 25 7534 4093 3117 547 17.99 18.07/18.12 o -7233 18.27/18.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.27/18.30 c 9899 60 3281 83350 25 7911 3720 3251 546 18.11 18.27/18.30 o -7253 18.58/18.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.58/18.70 c 9976 60 3476 87963 25 8283 3720 3446 545 18.29 18.58/18.70 c 10076 60 3736 94014 25 8991 4093 3706 543 18.54 18.58/18.70 o -7278 18.97/19.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.97/19.00 c 10146 60 3908 98049 25 9270 3720 3878 542 18.69 18.97/19.00 c 10250 60 2103 55021 26 5398 4093 2073 542 18.89 18.97/19.00 o -7322 19.18/19.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 19.18/19.26 c 10308 60 2232 58352 26 5726 3720 2202 542 18.99 19.18/19.26 c 10408 60 2453 64446 26 6259 4093 2423 542 19.18 19.18/19.26 o -7325 19.78/19.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 19.78/19.82 c 10436 60 2518 66096 26 6396 3720 2488 542 19.25 19.78/19.82 c 10536 60 2755 72604 26 6971 4093 2725 541 19.47 19.78/19.82 o -7339 21.27/21.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.27/21.37 c 10705 60 3130 82595 26 7786 3720 3100 540 19.81 21.27/21.37 c 10807 60 3390 89670 26 8388 4093 3360 539 20.03 21.27/21.37 c 11061 60 4076 107556 26 9775 4503 4046 537 20.59 21.27/21.37 o -7361 22.48/22.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.48/22.56 c 11424 60 2731 73793 27 6828 3720 2701 534 21.36 22.48/22.56 c 11524 60 2973 79683 26 7385 4093 2943 534 21.55 22.48/22.56 c 11774 60 3602 97408 27 8576 4503 3572 535 21.98 22.48/22.56 o -7368 22.98/23.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.98/23.05 c 12067 60 4285 117165 27 10105 3720 4255 535 22.55 22.98/23.05 c 12167 60 2145 59201 27 5358 4093 2115 534 22.77 22.98/23.05 o -7391 23.57/23.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.57/23.66 c 12303 60 2458 68333 27 6151 3720 2428 533 23.04 23.57/23.66 c 12403 60 2738 74450 27 6752 4093 2708 533 23.27 23.57/23.66 o -7432 25.38/25.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 25.38/25.48 c 12602 60 3197 86702 27 7933 3720 3167 532 23.65 25.38/25.48 c 12702 60 3458 93510 27 8373 4093 3428 532 23.87 25.38/25.48 c 12952 60 4087 110570 27 9694 4503 4057 530 24.42 25.38/25.48 c 13427 60 2947 83022 28 7219 4954 2917 529 25.35 25.38/25.48 o -7446 26.97/27.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.97/27.05 c 13481 60 3069 86093 28 7553 3720 3039 529 25.47 26.97/27.05 c 13581 60 3310 92316 27 8054 4093 3280 528 25.69 26.97/27.05 c 13831 60 3941 108520 27 9385 4503 3911 526 26.27 26.97/27.05 o -7449 29.47/29.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.47/29.52 c 14199 60 2600 74995 28 6659 3720 2570 525 27.04 29.47/29.52 c 14303 60 2882 81630 28 7064 4093 2852 524 27.27 29.47/29.52 c 14553 60 3542 100154 28 8388 4503 3512 524 27.77 29.47/29.52 c 15031 60 2375 71759 30 6251 4954 2345 524 28.68 29.47/29.52 o -7466 29.59/29.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.59/29.68 c 15445 60 3363 98607 29 8431 3720 3333 523 29.51 29.59/29.68 o -7529 30.08/30.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.08/30.18 c 15518 60 3535 102781 29 8813 3720 3505 523 29.67 30.08/30.18 c 15619 60 1926 55212 28 5199 4093 1896 521 29.93 30.08/30.18 o -7535 32.88/32.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 32.88/32.93 c 15732 60 2189 61913 28 5803 3720 2159 521 30.17 32.88/32.93 c 15832 60 2459 68365 27 6330 4093 2429 520 30.41 32.88/32.93 c 16084 60 3057 87252 28 7837 4503 3027 520 30.92 32.88/32.93 c 16560 60 4252 120482 28 10528 4954 4222 519 31.90 32.88/32.93 o -7537 35.08/35.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 35.08/35.11 c 17094 60 2893 88457 30 7997 3720 2863 519 32.92 35.08/35.11 c 17195 60 3171 94975 29 8460 4093 3141 518 33.15 35.08/35.11 c 17445 60 3836 113144 29 9687 4503 3806 518 33.66 35.08/35.11 c 17920 60 2717 83653 30 7140 4954 2687 518 34.56 35.08/35.11 o -7540 37.98/38.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.98/38.01 c 18179 60 3414 102390 29 8684 3720 3384 518 35.09 37.98/38.01 c 18279 60 3708 108306 29 9084 4093 3678 517 35.34 37.98/38.01 c 18535 60 2258 65122 28 5922 4503 2228 516 35.86 37.98/38.01 c 19010 60 3461 100704 29 8531 4954 3431 517 36.75 37.98/38.01 o -7550 39.08/39.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 39.08/39.18 c 19617 59 2577 71270 27 6479 3718 2547 516 37.99 39.08/39.18 c 19717 59 2826 77352 27 6994 4090 2796 515 38.24 39.08/39.18 c 19967 59 3439 93330 27 8220 4500 3409 515 38.76 39.08/39.18 o -7556 42.17/42.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 42.17/42.20 c 20141 59 3881 103775 26 9264 3718 3851 514 39.16 42.17/42.20 c 20241 59 2163 54836 25 5423 4090 2133 513 39.41 42.17/42.20 c 20491 59 2807 70947 25 6755 4500 2777 512 39.94 42.17/42.20 c 20966 59 4021 103868 25 9405 4951 3991 511 40.98 42.17/42.20 o -7558 47.97/48.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 47.97/48.05 c 21569 59 3024 81559 26 7675 3718 2994 511 42.18 47.97/48.05 c 21671 59 3283 87683 26 8128 4090 3253 510 42.42 47.97/48.05 c 21925 59 3933 105591 26 9672 4500 3903 510 42.98 47.97/48.05 c 22400 59 2764 82048 29 7575 4951 2734 510 43.88 47.97/48.05 c 23213 59 4718 135007 28 12276 5447 4688 511 45.40 47.97/48.05 o -7598 49.16/49.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 49.16/49.21 c 24407 59 4887 138783 28 11846 3718 4857 508 48.03 49.16/49.21 c 24509 59 2179 60086 27 5401 4090 2149 507 48.29 49.16/49.21 c 24763 59 2789 76432 27 6891 4500 2759 508 48.71 49.16/49.21 o -7605 51.76/51.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 51.76/51.85 c 25001 59 3347 90847 27 8074 4126 3317 508 49.19 51.76/51.85 c 25101 59 3613 96742 26 8564 4539 3583 508 49.41 51.76/51.85 c 25351 59 4200 112846 26 9819 4993 4170 508 49.83 51.76/51.85 c 25826 59 2791 77264 27 6876 5493 2761 508 50.77 51.76/51.85 o -7607 53.56/53.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 53.56/53.66 c 26458 59 4252 117972 27 10350 3718 4222 510 51.83 53.56/53.66 c 26558 59 2139 61122 28 5665 4090 2109 510 52.02 53.56/53.66 c 26808 59 2641 77810 29 7187 4500 2611 511 52.40 53.56/53.66 c 27288 59 3844 110891 28 9672 4951 3814 511 53.31 53.56/53.66 o -7616 54.46/54.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 54.46/54.59 c 27454 59 4213 121537 28 10596 3811 4183 511 53.64 54.46/54.59 c 27554 59 2205 62330 28 5640 4193 2175 511 53.87 54.46/54.59 c 27804 59 2731 77771 28 6818 4613 2701 511 54.32 54.46/54.59 o -7625 57.08/57.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 57.08/57.14 c 27935 59 3051 85505 28 7533 3718 3021 511 54.56 57.08/57.14 c 28035 59 3312 92444 27 7930 4090 3282 511 54.77 57.08/57.14 c 28286 59 3885 109051 28 9332 4500 3855 511 55.26 57.08/57.14 c 28762 59 2740 77825 28 6793 4951 2710 511 56.22 57.08/57.14 o -7638 57.96/58.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 57.96/58.08 c 29240 59 3833 109249 28 9373 3718 3803 511 57.12 57.96/58.08 c 29340 59 2161 61668 28 5573 4090 2131 511 57.35 57.96/58.08 c 29591 59 2790 78119 27 7103 4500 2760 511 57.84 57.96/58.08 o -7648 63.96/64.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 63.96/64.04 c 29699 59 3043 85517 28 7760 3718 3013 511 58.06 63.96/64.04 c 29800 59 3326 91141 27 8247 4090 3296 510 58.34 63.96/64.04 c 30050 59 3925 107778 27 9712 4500 3895 510 58.85 63.96/64.04 c 30525 59 2868 78003 27 7373 4951 2838 509 59.87 63.96/64.04 c 31339 59 4846 133212 27 11634 5447 4816 509 61.50 63.96/64.04 o -7655 67.56/67.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 67.56/67.67 c 32647 58 5172 149576 28 12303 3716 5142 510 64.01 67.56/67.67 c 32749 58 2184 64635 29 5700 4088 2154 509 64.30 67.56/67.67 c 32999 58 2781 81563 29 7165 4497 2751 509 64.81 67.56/67.67 c 33474 58 3979 115472 29 9621 4947 3949 509 65.70 67.56/67.67 c 34287 58 3264 95715 29 8399 5442 3234 510 67.19 67.56/67.67 o -7676 70.16/70.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 70.16/70.25 c 34541 58 3846 111105 28 9722 3716 3816 510 67.64 70.16/70.25 c 34643 58 2157 61657 28 5835 4088 2127 510 67.84 70.16/70.25 c 34893 58 2792 77697 27 7217 4497 2762 510 68.35 70.16/70.25 c 35371 57 3869 112227 29 9606 4947 3839 510 69.25 70.16/70.25 o -7682 70.56/70.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 70.56/70.66 c 35888 57 4963 147113 29 12073 3714 4933 511 70.22 70.56/70.66 c 35988 56 2145 63130 29 5514 4086 2115 510 70.45 70.56/70.66 o -7683 70.86/70.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 70.86/70.96 c 36086 56 2357 69132 29 6107 3858 2327 510 70.63 70.86/70.96 c 36189 56 2566 74616 29 6576 4244 2536 511 70.81 70.86/70.96 o -7692 72.26/72.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 72.26/72.34 c 36260 56 2708 78331 28 6907 3858 2678 511 70.93 72.26/72.34 c 36362 56 2957 83576 28 7349 4244 2927 511 71.14 72.26/72.34 c 36612 56 3511 100343 28 8682 4669 3481 511 71.65 72.26/72.34 o -7701 74.05/74.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 74.05/74.19 c 36961 56 4301 120883 28 10429 3858 4271 511 72.31 74.05/74.19 c 37064 56 2236 60703 27 5810 4244 2206 511 72.53 74.05/74.19 c 37314 56 2810 75738 26 6941 4669 2780 511 72.99 74.05/74.19 c 37789 56 3823 107910 28 9295 5136 3793 511 73.82 74.05/74.19 o -7705 74.36/74.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 74.36/74.40 c 37959 56 4197 119385 28 10175 4034 4167 511 74.16 74.36/74.40 o -7713 74.86/74.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 74.86/74.99 c 38058 56 2297 66455 28 5984 3712 2267 511 74.37 74.86/74.99 c 38164 55 2512 71398 28 6472 4084 2482 511 74.58 74.86/74.99 o -7725 75.35/75.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 75.35/75.49 c 38397 55 2958 84765 28 7469 3710 2928 512 74.96 75.35/75.49 c 38497 55 3184 90148 28 7826 4082 3154 512 75.17 75.35/75.49 o -7739 75.87/75.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 75.87/75.95 c 38670 55 3503 99401 28 8760 3710 3473 512 75.46 75.87/75.95 c 38774 52 3725 102628 27 9171 4082 3695 512 75.68 75.87/75.95 o -7741 76.66/76.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 76.66/76.79 c 38938 52 4008 110872 27 9865 3704 3978 512 75.92 76.66/76.79 c 39045 52 2137 57792 27 5647 4075 2107 512 76.12 76.66/76.79 c 39296 51 2678 69686 26 6699 4483 2648 513 76.57 76.66/76.79 o -7758 77.96/78.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 77.96/78.01 c 39419 51 2922 74677 25 7281 3702 2892 513 76.76 77.96/78.01 c 39519 51 3146 78197 24 7744 4073 3116 513 76.94 77.96/78.01 c 39780 49 3646 89072 24 8811 4481 3616 514 77.35 77.96/78.01 o -7761 78.96/79.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 78.96/79.00 c 40177 48 4358 104143 23 10343 3696 4328 515 77.98 78.96/79.00 c 40278 48 2127 46216 21 5494 4066 2097 515 78.18 78.96/79.00 c 40528 46 2610 55299 21 6476 4473 2580 515 78.58 78.96/79.00 o -7772 78.96/79.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 78.96/79.05 c 40800 43 3117 65554 21 7548 3686 3087 516 78.97 78.96/79.05 v -x1 x12 -x23 -x34 x45 -x56 -x58 x59 x60 -x2 x3 -x4 x5 x6 -x7 x8 -x9 x10 x11 -x13 x14 -x15 -x16 -x17 x18 -x19 x20 -x21 -x22 x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x35 -x36 -x37 -x38 -x39 -x40 x41 x42 -x43 -x44 -x46 -x47 -x48 x49 -x50 -x51 x52 -x53 -x54 x55 -x57 78.96/79.05 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 78.96/79.05 c 213 40834 189 43096 3189 66121 3159 516 79.02 78.96/79.05 c Objective: -7772 78.96/79.05 s OPTIMUM FOUND 78.96/79.05 c Total time: 79.023 s
OK -7772
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656998-1276354776/watcher-2656998-1276354776 -o /tmp/evaluation-result-2656998-1276354776/solver-2656998-1276354776 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656998-1276354776.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.08 1.02 1.00 3/106 11059 /proc/meminfo: memFree=1477756/2059040 swapFree=4192956/4192956 [pid=11059] ppid=11057 vsize=27020 CPUtime=0 /proc/11059/stat : 11059 (bsolo_pb10) R 11057 11059 10703 0 -1 4202496 449 0 0 0 0 0 0 0 20 0 1 0 11081097 27668480 363 1992294400 134512640 137138936 4291140880 18446744073709551615 135450397 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11059/statm: 6755 363 275 642 0 6111 0 [startup+0.0798431 s] /proc/loadavg: 1.08 1.02 1.00 3/106 11059 /proc/meminfo: memFree=1477756/2059040 swapFree=4192956/4192956 [pid=11059] ppid=11057 vsize=26680 CPUtime=0.07 /proc/11059/stat : 11059 (bsolo_pb10) R 11057 11059 10703 0 -1 4202496 1891 0 0 0 7 0 0 0 20 0 1 0 11081097 27320320 374 1992294400 134512640 137138936 4291140880 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11059/statm: 6744 385 287 642 0 6100 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 26680 [startup+0.100846 s] /proc/loadavg: 1.08 1.02 1.00 3/106 11059 /proc/meminfo: memFree=1477756/2059040 swapFree=4192956/4192956 [pid=11059] ppid=11057 vsize=26500 CPUtime=0.09 /proc/11059/stat : 11059 (bsolo_pb10) R 11057 11059 10703 0 -1 4202496 2381 0 0 0 9 0 0 0 20 0 1 0 11081097 27136000 375 1992294400 134512640 137138936 4291140880 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11059/statm: 6625 375 287 642 0 5981 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 26500 [startup+0.300883 s] /proc/loadavg: 1.08 1.02 1.00 3/106 11059 /proc/meminfo: memFree=1477756/2059040 swapFree=4192956/4192956 [pid=11059] ppid=11057 vsize=19340 CPUtime=0.29 /proc/11059/stat : 11059 (bsolo_pb10) R 11057 11059 10703 0 -1 4202496 6752 0 0 0 27 2 0 0 20 0 1 0 11081097 19804160 420 1992294400 134512640 137138936 4291140880 18446744073709551615 134768993 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11059/statm: 4835 420 287 642 0 4191 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19340 [startup+0.700957 s] /proc/loadavg: 1.08 1.02 1.00 3/106 11059 /proc/meminfo: memFree=1477756/2059040 swapFree=4192956/4192956 [pid=11059] ppid=11057 vsize=19156 CPUtime=0.69 /proc/11059/stat : 11059 (bsolo_pb10) R 11057 11059 10703 0 -1 4202496 15383 0 0 0 64 5 0 0 21 0 1 0 11081097 19615744 484 1992294400 134512640 137138936 4291140880 18446744073709551615 136500302 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11059/statm: 4789 484 287 642 0 4145 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19156 [startup+1.5011 s] /proc/loadavg: 1.08 1.02 1.00 2/107 11060 /proc/meminfo: memFree=1476632/2059040 swapFree=4192956/4192956 [pid=11059] ppid=11057 vsize=19692 CPUtime=1.49 /proc/11059/stat : 11059 (bsolo_pb10) R 11057 11059 10703 0 -1 4202496 31859 0 0 0 139 10 0 0 23 0 1 0 11081097 20164608 622 1992294400 134512640 137138936 4291140880 18446744073709551615 134750995 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11059/statm: 4923 622 287 642 0 4279 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19692 [startup+3.10041 s] /proc/loadavg: 1.08 1.02 1.00 2/107 11060 /proc/meminfo: memFree=1475392/2059040 swapFree=4192956/4192956 [pid=11059] ppid=11057 vsize=21364 CPUtime=3.09 /proc/11059/stat : 11059 (bsolo_pb10) R 11057 11059 10703 0 -1 4202496 63122 0 0 0 289 20 0 0 25 0 1 0 11081097 21876736 912 1992294400 134512640 137138936 4291140880 18446744073709551615 134768855 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11059/statm: 5341 912 287 642 0 4697 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21364 [startup+6.30099 s] /proc/loadavg: 1.15 1.03 1.01 2/107 11060 /proc/meminfo: memFree=1474524/2059040 swapFree=4192956/4192956 [pid=11059] ppid=11057 vsize=21588 CPUtime=6.29 /proc/11059/stat : 11059 (bsolo_pb10) R 11057 11059 10703 0 -1 4202496 109488 0 0 0 591 38 0 0 25 0 1 0 11081097 22106112 962 1992294400 134512640 137138936 4291140880 18446744073709551615 134721008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11059/statm: 5397 962 287 642 0 4753 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21588 [startup+12.7012 s] /proc/loadavg: 1.22 1.05 1.01 2/107 11060 /proc/meminfo: memFree=1474400/2059040 swapFree=4192956/4192956 [pid=11059] ppid=11057 vsize=21572 CPUtime=12.68 /proc/11059/stat : 11059 (bsolo_pb10) R 11057 11059 10703 0 -1 4202496 205545 0 0 0 1192 76 0 0 25 0 1 0 11081097 22089728 958 1992294400 134512640 137138936 4291140880 18446744073709551615 135089146 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11059/statm: 5393 960 287 642 0 4749 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21572 [startup+25.5015 s] /proc/loadavg: 1.24 1.06 1.02 2/107 11060 /proc/meminfo: memFree=1474400/2059040 swapFree=4192956/4192956 [pid=11059] ppid=11057 vsize=21576 CPUtime=25.48 /proc/11059/stat : 11059 (bsolo_pb10) R 11057 11059 10703 0 -1 4202496 382612 0 0 0 2402 146 0 0 25 0 1 0 11081097 22093824 962 1992294400 134512640 137138936 4291140880 18446744073709551615 136292864 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11059/statm: 5394 962 287 642 0 4750 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21576 [startup+51.1013 s] /proc/loadavg: 1.16 1.06 1.02 2/107 11060 /proc/meminfo: memFree=1474152/2059040 swapFree=4192956/4192956 [pid=11059] ppid=11057 vsize=21784 CPUtime=51.07 /proc/11059/stat : 11059 (bsolo_pb10) R 11057 11059 10703 0 -1 4202496 750082 0 0 0 4825 282 0 0 25 0 1 0 11081097 22306816 1021 1992294400 134512640 137138936 4291140880 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11059/statm: 5446 1021 287 642 0 4802 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 21784 Solver just ended. Dumping a history of the last processes samples [startup+63.9006 s] /proc/loadavg: 1.12 1.05 1.01 2/107 11062 /proc/meminfo: memFree=1474152/2059040 swapFree=4192956/4192956 [pid=11059] ppid=11057 vsize=21264 CPUtime=63.86 /proc/11059/stat : 11059 (bsolo_pb10) R 11057 11059 10703 0 -1 4202496 932949 0 0 0 6032 354 0 0 25 0 1 0 11081097 21774336 1015 1992294400 134512640 137138936 4291140880 18446744073709551615 134542963 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11059/statm: 5316 1015 287 642 0 4672 0 Current children cumulated CPU time (s) 63.86 Current children cumulated vsize (KiB) 21264 [startup+70.3008 s] /proc/loadavg: 1.11 1.05 1.01 2/107 11062 /proc/meminfo: memFree=1474152/2059040 swapFree=4192956/4192956 [pid=11059] ppid=11057 vsize=21776 CPUtime=70.27 /proc/11059/stat : 11059 (bsolo_pb10) R 11057 11059 10703 0 -1 4202496 1024149 0 0 0 6640 387 0 0 25 0 1 0 11081097 22298624 1027 1992294400 134512640 137138936 4291140880 18446744073709551615 135445287 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11059/statm: 5444 1028 287 642 0 4800 0 Current children cumulated CPU time (s) 70.27 Current children cumulated vsize (KiB) 21776 [startup+73.5014 s] /proc/loadavg: 1.11 1.05 1.01 2/107 11062 /proc/meminfo: memFree=1474152/2059040 swapFree=4192956/4192956 [pid=11059] ppid=11057 vsize=21264 CPUtime=73.46 /proc/11059/stat : 11059 (bsolo_pb10) R 11057 11059 10703 0 -1 4202496 1068849 0 0 0 6941 405 0 0 25 0 1 0 11081097 21774336 1015 1992294400 134512640 137138936 4291140880 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11059/statm: 5316 1015 287 642 0 4672 0 Current children cumulated CPU time (s) 73.46 Current children cumulated vsize (KiB) 21264 [startup+76.701 s] /proc/loadavg: 1.10 1.05 1.01 2/107 11062 /proc/meminfo: memFree=1474152/2059040 swapFree=4192956/4192956 [pid=11059] ppid=11057 vsize=21260 CPUtime=76.66 /proc/11059/stat : 11059 (bsolo_pb10) R 11057 11059 10703 0 -1 4202496 1110359 0 0 0 7244 422 0 0 25 0 1 0 11081097 21770240 1017 1992294400 134512640 137138936 4291140880 18446744073709551615 134750213 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11059/statm: 5315 1017 287 642 0 4671 0 Current children cumulated CPU time (s) 76.66 Current children cumulated vsize (KiB) 21260 [startup+78.3013 s] /proc/loadavg: 1.09 1.05 1.01 2/107 11062 /proc/meminfo: memFree=1474152/2059040 swapFree=4192956/4192956 [pid=11059] ppid=11057 vsize=21620 CPUtime=78.25 /proc/11059/stat : 11059 (bsolo_pb10) R 11057 11059 10703 0 -1 4202496 1130483 0 0 0 7394 431 0 0 25 0 1 0 11081097 22138880 1021 1992294400 134512640 137138936 4291140880 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11059/statm: 5438 1025 287 642 0 4794 0 Current children cumulated CPU time (s) 78.25 Current children cumulated vsize (KiB) 21620 [startup+78.7014 s] /proc/loadavg: 1.09 1.05 1.01 2/107 11062 /proc/meminfo: memFree=1474152/2059040 swapFree=4192956/4192956 [pid=11059] ppid=11057 vsize=21764 CPUtime=78.65 /proc/11059/stat : 11059 (bsolo_pb10) R 11057 11059 10703 0 -1 4202496 1136111 0 0 0 7432 433 0 0 25 0 1 0 11081097 22286336 1023 1992294400 134512640 137138936 4291140880 18446744073709551615 134848357 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11059/statm: 5441 1023 287 642 0 4797 0 Current children cumulated CPU time (s) 78.65 Current children cumulated vsize (KiB) 21764 [startup+78.9014 s] /proc/loadavg: 1.09 1.05 1.01 2/107 11062 /proc/meminfo: memFree=1474152/2059040 swapFree=4192956/4192956 [pid=11059] ppid=11057 vsize=21752 CPUtime=78.85 /proc/11059/stat : 11059 (bsolo_pb10) R 11057 11059 10703 0 -1 4202496 1139223 0 0 0 7451 434 0 0 25 0 1 0 11081097 22274048 1027 1992294400 134512640 137138936 4291140880 18446744073709551615 134720973 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11059/statm: 5438 1027 287 642 0 4794 0 Current children cumulated CPU time (s) 78.85 Current children cumulated vsize (KiB) 21752 [startup+79.0014 s] /proc/loadavg: 1.09 1.05 1.01 2/107 11062 /proc/meminfo: memFree=1474152/2059040 swapFree=4192956/4192956 [pid=11059] ppid=11057 vsize=21260 CPUtime=78.96 /proc/11059/stat : 11059 (bsolo_pb10) R 11057 11059 10703 0 -1 4202496 1140703 0 0 0 7461 435 0 0 25 0 1 0 11081097 21770240 1017 1992294400 134512640 137138936 4291140880 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11059/statm: 5315 1017 287 642 0 4671 0 Current children cumulated CPU time (s) 78.96 Current children cumulated vsize (KiB) 21260 Child status: 0 Real time (s): 79.0594 CPU time (s): 79.025 CPU user time (s): 74.6666 CPU system time (s): 4.35834 CPU usage (%): 99.9564 Max. virtual memory (cumulated for all children) (KiB): 26680 getrusage(RUSAGE_CHILDREN,...) data: user time used= 74.6666 system time used= 4.35834 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1141491 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= 887 runsolver used 0.121981 second user time and 0.398939 second system time The end
Begin job on node007 at 2010-06-12 16:59:36 IDJOB=2656998 IDBENCH=1857 IDSOLVER=1162 FILE ID=node007/2656998-1276354776 PBS_JOBID= 11173198 Free space on /tmp= 62456 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-sentoy.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656998-1276354776/watcher-2656998-1276354776 -o /tmp/evaluation-result-2656998-1276354776/solver-2656998-1276354776 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656998-1276354776.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d0f46c7e79d3309033cc6b73ceacef6c RANDOM SEED=87426899 node007.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.264 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.52 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.264 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1478284 kB Buffers: 124792 kB Cached: 326008 kB SwapCached: 0 kB Active: 184240 kB Inactive: 326236 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1478284 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3988 kB Writeback: 0 kB AnonPages: 59676 kB Mapped: 15380 kB Slab: 48672 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180728 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= 62452 MiB End job on node007 at 2010-06-12 17:00:56