Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | OPT | -7772 | 16.2855 | 16.2919 |
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.826874 |
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.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: Generic Pseudo-Boolean 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-1880417-1245133733.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.002 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 2023 59 1126 3720 4 41 0.02 0.00/0.04 o -3988 0.04/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.06 c 2 60 36 2136 59 1078 3720 6 47 0.04 0.04/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 40 2338 58 1170 3720 10 65 0.06 0.09/0.10 o -4309 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 27 60 93 4521 48 1556 3720 63 272 0.10 0.09/0.17 o -4371 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 76 60 203 9297 45 2199 3720 173 434 0.17 0.29/0.31 o -4531 0.39/0.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.49 c 157 60 381 16848 44 2957 3720 351 496 0.32 0.39/0.49 c 257 60 591 25734 43 4465 4093 561 545 0.47 0.39/0.49 o -4589 0.49/0.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.51 c 265 60 607 26494 43 4320 3720 577 537 0.49 0.49/0.51 o -4770 0.49/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.57 c 266 60 610 26666 43 4369 3720 580 520 0.51 0.49/0.57 o -4975 0.59/0.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.64 c 306 60 683 29917 43 4820 3720 653 536 0.57 0.59/0.64 o -4989 0.79/0.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.82 c 345 60 755 32886 43 5128 3720 725 539 0.64 0.79/0.82 c 446 60 943 40893 43 6408 4093 913 570 0.78 0.79/0.82 o -5127 0.89/0.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.91 c 460 60 971 42045 43 6680 3720 941 560 0.82 0.89/0.91 o -5295 1.09/1.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.13 c 511 60 1068 46261 43 7091 3720 1038 560 0.91 1.09/1.13 c 612 60 1247 53210 42 7660 4093 1217 575 1.06 1.09/1.13 o -5341 1.09/1.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.18 c 648 60 1318 55991 42 8048 3720 1288 572 1.13 1.09/1.18 o -5418 1.19/1.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.27 c 671 60 1367 58029 42 8390 3720 1337 566 1.19 1.19/1.27 o -5667 1.29/1.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.32 c 726 60 1477 62795 42 8973 3720 1447 568 1.28 1.29/1.32 o -5915 1.59/1.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.63 c 743 60 1514 64590 42 9180 3720 1484 563 1.32 1.59/1.63 c 843 60 1780 73032 41 10548 4093 1750 539 1.56 1.59/1.63 o -5952 1.59/1.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.66 c 875 60 1843 75261 40 10678 3720 1813 536 1.63 1.59/1.66 o -6031 2.69/2.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.77 c 889 60 1868 76480 40 10474 3720 1838 535 1.66 2.69/2.77 c 989 60 2077 83832 40 11702 4093 2047 534 1.85 2.69/2.77 c 1239 60 2575 102393 39 13675 4503 2545 558 2.22 2.69/2.77 o -6048 2.89/2.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.90 c 1605 60 3314 131439 39 16644 3720 3284 578 2.78 2.89/2.90 o -6166 2.89/2.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.96 c 1684 60 3469 137832 39 17550 3720 3439 579 2.90 2.89/2.96 o -6172 2.99/3.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.02 c 1707 60 3521 139971 39 17385 3720 3491 576 2.96 2.99/3.02 o -6200 3.69/3.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.76 c 1740 60 3584 142807 39 17345 3720 3554 576 3.02 3.69/3.76 c 1844 60 1950 73647 37 9706 4093 1920 565 3.26 3.69/3.76 c 2094 60 2459 91474 37 13012 4503 2429 568 3.68 3.69/3.76 o -6208 3.79/3.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.85 c 2126 60 2539 94052 37 13314 3720 2509 564 3.76 3.79/3.85 o -6236 4.09/4.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.16 c 2163 60 2623 96629 36 13078 3720 2593 562 3.85 4.09/4.16 c 2263 60 2865 103747 36 12932 4093 2835 558 4.05 4.09/4.16 o -6295 4.19/4.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.21 c 2328 60 3023 109004 36 13552 3720 2993 558 4.17 4.19/4.21 o -6298 4.29/4.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.31 c 2355 60 3081 110896 35 13921 3720 3051 558 4.21 4.29/4.31 o -6459 5.29/5.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.29/5.37 c 2413 60 3182 115042 36 14227 3720 3152 559 4.31 5.29/5.37 c 2513 60 3418 121666 35 14067 4093 3388 558 4.50 5.29/5.37 c 2763 60 3935 140834 35 16365 4503 3905 565 4.89 5.29/5.37 o -6551 6.39/6.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.39/6.48 c 3068 60 2284 81933 35 11109 3720 2254 568 5.40 6.39/6.48 c 3168 60 2487 88010 35 12591 4093 2457 566 5.59 6.39/6.48 c 3418 60 2948 103745 35 14275 4503 2918 574 5.95 6.39/6.48 o -6569 7.09/7.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.13 c 3755 60 3634 128905 35 15359 3720 3604 579 6.48 7.09/7.13 c 3855 60 1929 67362 34 9816 4093 1899 578 6.67 7.09/7.13 c 4106 60 2403 83017 34 10749 4503 2373 584 7.03 7.09/7.13 o -6595 7.89/7.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.89/7.91 c 4187 60 2525 87424 34 11199 3720 2495 586 7.13 7.89/7.91 c 4287 60 2731 94905 34 12168 4093 2701 587 7.30 7.89/7.91 c 4537 60 3160 110064 34 14336 4503 3130 590 7.68 7.89/7.91 o -6676 7.99/8.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.99/8.01 c 4682 60 3408 119605 35 14490 3720 3378 591 7.91 7.99/8.01 o -6938 7.99/8.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.99/8.09 c 4735 60 3499 123352 35 15061 3720 3469 591 8.01 7.99/8.09 o -6949 8.59/8.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.59/8.68 c 4777 60 3575 125478 35 15317 3720 3545 590 8.09 8.59/8.68 c 4877 60 1920 67171 34 9901 4093 1890 584 8.34 8.59/8.68 o -6968 8.69/8.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.69/8.75 c 5086 60 2360 81759 34 11539 3720 2330 585 8.68 8.69/8.75 o -6969 8.79/8.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.79/8.80 c 5127 60 2432 83966 34 11694 3720 2402 585 8.75 8.79/8.80 o -6986 8.79/8.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.79/8.83 c 5159 60 2490 86152 34 11879 3720 2460 585 8.80 8.79/8.83 o -7011 8.88/8.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.88/8.95 c 5167 60 2505 86698 34 11977 3720 2475 585 8.83 8.88/8.95 o -7054 8.99/9.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.99/9.02 c 5227 60 2620 90548 34 12581 3720 2590 584 8.94 8.99/9.02 o -7064 8.99/9.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.99/9.06 c 5261 60 2679 92782 34 12602 3720 2649 583 9.02 8.99/9.06 o -7130 8.99/9.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.99/9.08 c 5277 60 2708 93805 34 13166 3720 2678 582 9.06 8.99/9.08 o -7158 8.99/9.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.99/9.10 c 5278 60 2711 93981 34 13249 3720 2681 581 9.08 8.99/9.10 o -7169 9.09/9.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.09/9.13 c 5280 60 2716 94264 34 13186 3720 2686 580 9.10 9.09/9.13 o -7206 9.09/9.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.09/9.17 c 5292 60 2737 95194 34 13350 3720 2707 579 9.13 9.09/9.17 o -7317 9.09/9.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.09/9.18 c 5307 60 2764 96336 34 13688 3720 2734 578 9.17 9.09/9.18 o -7323 9.09/9.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.09/9.19 c 5308 60 2767 96508 34 13479 3720 2737 578 9.18 9.09/9.19 o -7345 9.18/9.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.18/9.23 c 5310 60 2772 96797 34 13522 3720 2742 577 9.19 9.18/9.23 o -7359 9.59/9.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.59/9.64 c 5321 60 2796 97925 35 13805 3720 2766 576 9.23 9.59/9.64 c 5421 60 2968 103103 34 14424 4093 2938 576 9.40 9.59/9.64 o -7367 9.69/9.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.69/9.71 c 5570 60 3235 113272 35 15687 3720 3205 577 9.64 9.69/9.71 o -7396 9.69/9.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.69/9.73 c 5606 60 3298 115410 34 16019 3720 3268 577 9.71 9.69/9.73 o -7438 9.79/9.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.79/9.88 c 5616 60 3314 116108 35 16115 3720 3284 577 9.73 9.79/9.88 o -7454 10.39/10.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.39/10.45 c 5690 60 3444 120772 35 17028 3720 3414 575 9.88 10.39/10.45 c 5796 60 3627 126857 34 19278 4093 3597 575 10.07 10.39/10.45 o -7458 10.78/10.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.78/10.80 c 6011 60 4035 142169 35 22209 3720 4005 575 10.45 10.78/10.80 c 6111 60 2078 70759 34 15401 4093 2048 572 10.68 10.78/10.80 o -7471 10.78/10.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.78/10.87 c 6190 60 2211 74990 33 14770 3720 2181 573 10.80 10.78/10.87 o -7477 10.99/11.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.99/11.04 c 6218 60 2265 77173 34 14984 3720 2235 571 10.87 10.99/11.04 o -7518 11.39/11.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.39/11.41 c 6307 60 2434 82836 34 15268 3720 2404 571 11.04 11.39/11.41 c 6407 60 2617 88971 33 15285 4093 2587 571 11.21 11.39/11.41 o -7530 11.39/11.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.39/11.46 c 6527 60 2816 96470 34 16236 3720 2786 572 11.41 11.39/11.46 o -7599 11.58/11.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.58/11.65 c 6553 60 2862 97933 34 16715 3720 2832 571 11.46 11.58/11.65 c 6653 60 3059 104968 34 17773 4093 3029 571 11.64 11.58/11.65 o -7617 11.79/11.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.79/11.82 c 6653 60 3060 105028 34 17790 3720 3030 571 11.65 11.79/11.82 o -7649 12.69/12.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.69/12.73 c 6750 60 3243 112014 34 16831 3720 3213 570 11.82 12.69/12.73 c 6850 60 3422 118174 34 18607 4093 3392 571 11.98 12.69/12.73 c 7100 60 3914 135965 34 20071 4503 3884 571 12.42 12.69/12.73 o -7669 12.88/12.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.88/12.90 c 7265 60 4230 147006 34 22910 3720 4200 570 12.73 12.88/12.90 o -7687 13.48/13.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.48/13.52 c 7320 60 1995 68551 34 12677 3720 1965 567 12.90 13.48/13.52 c 7420 60 2182 75178 34 13252 4093 2152 568 13.05 13.48/13.52 c 7670 60 2668 94553 35 16261 4503 2638 571 13.42 13.48/13.52 o -7700 13.58/13.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.58/13.63 c 7736 60 2780 98846 35 16747 3720 2750 572 13.52 13.58/13.63 o -7707 13.89/13.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.89/13.99 c 7783 60 2877 102568 35 15549 3720 2847 571 13.62 13.89/13.99 c 7883 60 3109 108222 34 16700 4093 3079 569 13.84 13.89/13.99 o -7710 13.98/14.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.98/14.03 c 7952 60 3245 112962 34 17219 3720 3215 568 13.99 13.98/14.03 o -7714 14.19/14.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.19/14.29 c 7971 60 3280 114340 34 17801 3720 3250 568 14.03 14.19/14.29 c 8071 60 3474 121321 34 19088 4093 3444 567 14.22 14.19/14.29 o -7726 14.48/14.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.48/14.56 c 8099 60 3526 123725 35 19572 3720 3496 567 14.28 14.48/14.56 c 8199 57 3732 129962 34 20800 4093 3702 565 14.51 14.48/14.56 o -7738 14.68/14.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.68/14.74 c 8225 57 3775 131650 34 20993 3714 3745 564 14.56 14.68/14.74 o -7741 15.89/15.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.89/15.92 c 8275 55 1999 69182 34 12795 3710 1969 561 14.73 15.89/15.92 c 8375 55 2194 75620 34 14134 4082 2164 560 14.95 15.89/15.92 c 8627 52 2651 90753 34 17457 4491 2621 558 15.45 15.89/15.92 o -7761 16.18/16.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.18/16.23 c 8851 51 3074 105820 34 19590 3702 3044 555 15.92 16.18/16.23 c 8951 48 3278 111774 34 20764 4073 3248 553 16.16 16.18/16.23 o -7772 16.18/16.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.18/16.29 c 8980 43 3343 113287 33 21071 3686 3313 553 16.23 16.18/16.29 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 16.18/16.29 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 16.18/16.29 c 104 9002 297 10501 3395 114267 3365 552 16.28 16.18/16.29 c Objective: -7772 16.18/16.29 s OPTIMUM FOUND 16.18/16.29 c Total time: 16.283 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-1880417-1245133733/watcher-1880417-1245133733 -o /tmp/evaluation-result-1880417-1245133733/solver-1880417-1245133733 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880417-1245133733.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 0.99 2/64 988 /proc/meminfo: memFree=1472512/2055920 swapFree=4192812/4192956 [pid=988] ppid=986 vsize=26332 CPUtime=0 /proc/988/stat : 988 (bsolo) R 986 988 826 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 180973983 26963968 242 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/988/statm: 6583 242 189 640 0 5939 0 [startup+0.050072 s] /proc/loadavg: 1.00 1.00 0.99 2/64 988 /proc/meminfo: memFree=1472512/2055920 swapFree=4192812/4192956 [pid=988] ppid=986 vsize=27080 CPUtime=0.04 /proc/988/stat : 988 (bsolo) R 986 988 826 0 -1 4194304 1195 0 0 0 4 0 0 0 18 0 1 0 180973983 27729920 399 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/988/statm: 6770 399 293 640 0 6126 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 27080 [startup+0.101083 s] /proc/loadavg: 1.00 1.00 0.99 2/64 988 /proc/meminfo: memFree=1472512/2055920 swapFree=4192812/4192956 [pid=988] ppid=986 vsize=26924 CPUtime=0.09 /proc/988/stat : 988 (bsolo) R 986 988 826 0 -1 4194304 2425 0 0 0 9 0 0 0 18 0 1 0 180973983 27570176 394 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/988/statm: 6731 395 293 640 0 6087 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 26924 [startup+0.301126 s] /proc/loadavg: 1.00 1.00 0.99 2/64 988 /proc/meminfo: memFree=1472512/2055920 swapFree=4192812/4192956 [pid=988] ppid=986 vsize=18812 CPUtime=0.29 /proc/988/stat : 988 (bsolo) R 986 988 826 0 -1 4194304 6538 0 0 0 27 2 0 0 19 0 1 0 180973983 19263488 424 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/988/statm: 4703 424 293 640 0 4059 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18812 [startup+0.701211 s] /proc/loadavg: 1.00 1.00 0.99 2/64 988 /proc/meminfo: memFree=1472512/2055920 swapFree=4192812/4192956 [pid=988] ppid=986 vsize=19668 CPUtime=0.69 /proc/988/stat : 988 (bsolo) R 986 988 826 0 -1 4194304 14174 0 0 0 64 5 0 0 23 0 1 0 180973983 20140032 522 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/988/statm: 4917 524 293 640 0 4273 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19668 [startup+1.50138 s] /proc/loadavg: 1.00 1.00 0.99 2/65 989 /proc/meminfo: memFree=1471224/2055920 swapFree=4192812/4192956 [pid=988] ppid=986 vsize=20264 CPUtime=1.49 /proc/988/stat : 988 (bsolo) R 986 988 826 0 -1 4194304 27389 0 0 0 139 10 0 0 25 0 1 0 180973983 20750336 676 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0 /proc/988/statm: 5066 676 293 640 0 4422 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20264 [startup+3.10172 s] /proc/loadavg: 1.00 1.00 0.99 2/65 989 /proc/meminfo: memFree=1470264/2055920 swapFree=4192812/4192956 [pid=988] ppid=986 vsize=21032 CPUtime=3.09 /proc/988/stat : 988 (bsolo) R 986 988 826 0 -1 4194304 54490 0 0 0 289 20 0 0 25 0 1 0 180973983 21536768 980 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/988/statm: 5258 980 293 640 0 4614 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21032 [startup+6.30141 s] /proc/loadavg: 1.00 1.00 0.99 2/65 989 /proc/meminfo: memFree=1468984/2055920 swapFree=4192812/4192956 [pid=988] ppid=986 vsize=21876 CPUtime=6.29 /proc/988/stat : 988 (bsolo) R 986 988 826 0 -1 4194304 95828 0 0 0 592 37 0 0 25 0 1 0 180973983 22401024 1072 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0 /proc/988/statm: 5469 1072 293 640 0 4825 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21876 [startup+12.7028 s] /proc/loadavg: 1.00 1.00 0.99 2/65 989 /proc/meminfo: memFree=1468920/2055920 swapFree=4192812/4192956 [pid=988] ppid=986 vsize=21864 CPUtime=12.69 /proc/988/stat : 988 (bsolo) R 986 988 826 0 -1 4194304 163910 0 0 0 1200 69 0 0 25 0 1 0 180973983 22388736 1079 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/988/statm: 5466 1079 293 640 0 4822 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21864 Solver just ended. Dumping a history of the last processes samples [startup+14.3051 s] /proc/loadavg: 1.00 1.00 0.99 2/65 989 /proc/meminfo: memFree=1468856/2055920 swapFree=4192812/4192956 [pid=988] ppid=986 vsize=21868 CPUtime=14.28 /proc/988/stat : 988 (bsolo) R 986 988 826 0 -1 4194304 179489 0 0 0 1353 75 0 0 25 0 1 0 180973983 22392832 1068 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/988/statm: 5342 1062 293 640 0 4698 0 Current children cumulated CPU time (s) 14.28 Current children cumulated vsize (KiB) 21868 [startup+15.1013 s] /proc/loadavg: 1.00 1.00 0.99 2/65 989 /proc/meminfo: memFree=1468856/2055920 swapFree=4192812/4192956 [pid=988] ppid=986 vsize=21864 CPUtime=15.08 /proc/988/stat : 988 (bsolo) R 986 988 826 0 -1 4194304 187042 0 0 0 1429 79 0 0 25 0 1 0 180973983 22388736 1069 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/988/statm: 5342 1062 293 640 0 4698 0 Current children cumulated CPU time (s) 15.08 Current children cumulated vsize (KiB) 21864 [startup+15.9015 s] /proc/loadavg: 1.00 1.00 0.99 2/65 989 /proc/meminfo: memFree=1468856/2055920 swapFree=4192812/4192956 [pid=988] ppid=986 vsize=21368 CPUtime=15.89 /proc/988/stat : 988 (bsolo) R 986 988 826 0 -1 4194304 194483 0 0 0 1507 82 0 0 25 0 1 0 180973983 21880832 1062 1992294400 134512640 137136520 4294956256 18446744073709551615 134544449 0 0 4096 16384 0 0 0 17 1 0 0 /proc/988/statm: 5342 1062 293 640 0 4698 0 Current children cumulated CPU time (s) 15.89 Current children cumulated vsize (KiB) 21368 [startup+16.1015 s] /proc/loadavg: 1.00 1.00 0.99 2/65 989 /proc/meminfo: memFree=1468856/2055920 swapFree=4192812/4192956 [pid=988] ppid=986 vsize=21368 CPUtime=16.08 /proc/988/stat : 988 (bsolo) R 986 988 826 0 -1 4194304 196373 0 0 0 1525 83 0 0 25 0 1 0 180973983 21880832 1062 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/988/statm: 5342 1062 293 640 0 4698 0 Current children cumulated CPU time (s) 16.08 Current children cumulated vsize (KiB) 21368 [startup+16.2015 s] /proc/loadavg: 1.00 1.00 0.99 2/65 989 /proc/meminfo: memFree=1468856/2055920 swapFree=4192812/4192956 [pid=988] ppid=986 vsize=21876 CPUtime=16.18 /proc/988/stat : 988 (bsolo) R 986 988 826 0 -1 4194304 197406 0 0 0 1535 83 0 0 25 0 1 0 180973983 22401024 1067 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/988/statm: 5469 1068 293 640 0 4825 0 Current children cumulated CPU time (s) 16.18 Current children cumulated vsize (KiB) 21876 Child status: 0 Real time (s): 16.2919 CPU time (s): 16.2855 CPU user time (s): 15.4417 CPU system time (s): 0.843871 CPU usage (%): 99.9612 Max. virtual memory (cumulated for all children) (KiB): 27080 getrusage(RUSAGE_CHILDREN,...) data: user time used= 15.4417 system time used= 0.843871 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 198306 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= 19 runsolver used 0.015997 second user time and 0.041993 second system time The end
Begin job on node10 at 2009-06-16 08:28:53 IDJOB=1880417 IDBENCH=1857 IDSOLVER=701 FILE ID=node10/1880417-1245133733 PBS_JOBID= 9363683 Free space on /tmp= 65988 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sentoy.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1880417-1245133733/watcher-1880417-1245133733 -o /tmp/evaluation-result-1880417-1245133733/solver-1880417-1245133733 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880417-1245133733.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d0f46c7e79d3309033cc6b73ceacef6c RANDOM SEED=707436718 node10.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.263 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.263 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: 1472992 kB Buffers: 37488 kB Cached: 476048 kB SwapCached: 0 kB Active: 76744 kB Inactive: 450152 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1472992 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3956 kB Writeback: 0 kB Mapped: 23172 kB Slab: 42112 kB Committed_AS: 174940 kB PageTables: 1376 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= 65984 MiB End job on node10 at 2009-06-16 08:29:09