Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| bsolo 3.2 | OPT | 1120 | 217.281 | 217.316 |
| Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb |
| MD5SUM | 9b4418c5c34f37121cd9ad7732df64ff |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1120 |
| Best CPU time to get the best result obtained on this benchmark | 0.170973 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1120 |
| Optimality of the best value was proved | YES |
| Number of variables | 89 |
| Total number of constraints | 28 |
| Number of constraints which are clauses | 2 |
| Number of constraints which are cardinality constraints (but not clauses) | 15 |
| Number of constraints which are nor clauses,nor cardinality constraints | 11 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 47 |
| Number of terms in the objective function | 85 |
| Biggest coefficient in the objective function | 517 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 15494 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 1656 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 15494 |
| Number of bits of the biggest sum of numbers | 14 |
| 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 Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Instance file HOME/instance-3707772-1338143130.opb 0.00/0.00 c File size is 3601 bytes. 0.00/0.00 c Highest Coefficient sum: 15494 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0 s 0.00/0.00 c Var: 89 Constr: 28 4/15/9 Lit: 309 Watch. Lit: 138 0.00/0.00 c Obj. Vars: 85 (95.5056 % of total variables) 0.00/0.00 c Pre-processing Time: 0 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 88 28 309 11 138 530 0 -2147483648 0.00 0.00/0.00 c Initial Lower Bound: 945 0.00/0.00 c Initial Path Cost: 0 0.00/0.00 o 2094 0.03/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.05 c 31 88 71 2180 30 322 698 43 15500 0.00 0.03/0.05 o 2060 0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.06 c 106 88 188 7959 42 664 698 160 2304 0.05 0.03/0.06 o 2053 0.03/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.09 c 123 88 227 9414 41 818 698 199 1983 0.06 0.03/0.09 o 2045 0.18/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.20 c 177 88 367 17490 47 1166 698 339 1988 0.09 0.18/0.20 c 277 88 631 32355 51 1697 768 603 1992 0.14 0.18/0.20 o 2007 1.29/1.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.38 c 389 88 460 21975 47 1163 698 432 1984 0.20 1.29/1.38 c 491 88 381 17894 46 925 768 353 2028 0.24 1.29/1.38 c 749 88 702 33564 47 1574 845 674 2140 0.35 1.29/1.38 c 1229 88 461 22517 48 1090 930 433 2292 0.54 1.29/1.38 c 2042 88 856 41301 48 1885 1024 828 2436 0.84 1.29/1.38 c 3364 88 680 32514 47 1531 1127 652 2538 1.32 1.29/1.38 o 1987 4.19/4.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.22 c 3496 88 1035 49937 48 2314 698 1007 2529 1.38 4.19/4.22 c 3596 88 676 32452 48 1523 768 648 2493 1.44 4.19/4.22 c 3846 88 542 25414 46 1248 845 514 2431 1.58 4.19/4.22 c 4321 88 499 22756 45 1168 930 471 2374 1.82 4.19/4.22 c 5134 88 611 28545 46 1389 1024 583 2326 2.21 4.19/4.22 c 6454 88 707 30803 43 1579 1127 679 2287 2.82 4.19/4.22 c 8536 88 680 32893 48 1535 1240 652 2243 3.80 4.19/4.22 o 1956 5.99/6.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.99/6.04 c 9430 88 849 40956 48 1939 698 821 2235 4.22 5.99/6.04 c 9530 88 634 29937 47 1440 768 606 2231 4.27 5.99/6.04 c 9782 88 783 38769 49 1733 845 755 2230 4.38 5.99/6.04 c 10257 88 482 20632 42 1131 930 454 2231 4.60 5.99/6.04 c 11073 88 698 30343 43 1564 1024 670 2216 5.00 5.99/6.04 c 12393 88 793 34084 42 1759 1127 765 2208 5.61 5.99/6.04 o 1939 6.19/6.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.19/6.28 c 13362 88 593 26768 45 1349 698 565 2211 6.04 6.19/6.28 c 13463 88 488 23107 47 1144 768 460 2208 6.10 6.19/6.28 c 13715 88 643 31638 49 1461 845 615 2206 6.22 6.19/6.28 o 1924 6.39/6.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.39/6.44 c 13862 88 474 23025 48 1184 698 446 2206 6.28 6.39/6.44 c 13963 88 718 35868 49 1677 768 690 2204 6.33 6.39/6.44 o 1886 6.50/6.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.50/6.58 c 14204 88 427 19188 44 1091 698 399 2206 6.44 6.50/6.58 c 14304 88 688 33091 48 1622 768 660 2205 6.49 6.50/6.58 o 1875 14.39/14.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.39/14.43 c 14518 88 413 19311 46 990 698 385 2206 6.58 14.39/14.43 c 14622 88 692 33595 48 1551 768 664 2203 6.64 14.39/14.43 c 14873 88 413 17676 42 995 845 385 2201 6.76 14.39/14.43 c 15352 88 577 25586 44 1332 930 549 2201 6.97 14.39/14.43 c 16165 88 572 25847 45 1312 1024 544 2193 7.37 14.39/14.43 c 17485 88 541 20009 36 1247 1127 513 2168 8.06 14.39/14.43 c 19574 88 1156 47429 41 2476 1240 1128 2139 9.15 14.39/14.43 c 22797 88 962 40211 41 2092 1365 934 2098 10.86 14.39/14.43 c 27733 88 955 40794 42 2080 1502 927 2050 13.53 14.39/14.43 o 1855 16.49/16.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.49/16.53 c 29367 88 900 37435 41 2040 698 872 2035 14.43 16.49/16.53 c 29467 88 669 28507 42 1510 768 641 2034 14.48 16.49/16.53 c 29718 88 579 23525 40 1323 845 551 2031 14.63 16.49/16.53 c 30196 88 872 42033 48 1918 930 844 2034 14.84 16.49/16.53 c 31013 88 742 31764 42 1658 1024 714 2033 15.25 16.49/16.53 c 32333 88 656 26142 39 1475 1127 628 2031 15.91 16.49/16.53 o 1854 17.08/17.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.08/17.10 c 33550 88 1083 46852 43 2405 698 1055 2029 16.53 17.08/17.10 c 33651 88 673 27821 41 1513 768 645 2028 16.59 17.08/17.10 c 33901 88 564 22917 40 1296 845 536 2027 16.72 17.08/17.10 c 34376 88 526 21691 41 1219 930 498 2028 16.95 17.08/17.10 o 1850 17.78/17.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.78/17.87 c 34656 88 828 34637 41 1897 698 800 2027 17.10 17.78/17.87 c 34758 88 681 27410 40 1533 768 653 2025 17.16 17.78/17.87 c 35010 88 558 22258 39 1281 845 530 2025 17.29 17.78/17.87 c 35485 88 573 22629 39 1316 930 545 2023 17.54 17.78/17.87 o 1814 18.28/18.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.28/18.37 c 36180 88 918 40850 44 2085 698 890 2024 17.87 18.28/18.37 c 36284 88 674 29195 43 1526 768 646 2024 17.92 18.28/18.37 c 36536 88 533 22280 41 1231 845 505 2023 18.05 18.28/18.37 c 37011 88 452 19583 43 1071 930 424 2024 18.28 18.28/18.37 o 1763 18.79/18.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.79/18.81 c 37203 88 494 21320 43 1148 698 466 2024 18.37 18.79/18.81 c 37305 88 418 16923 40 997 768 390 2023 18.43 18.79/18.81 c 37557 88 709 27154 38 1580 845 681 2022 18.57 18.79/18.81 c 38033 88 582 26348 45 1327 930 554 2024 18.79 18.79/18.81 o 1754 19.59/19.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 19.59/19.70 c 38072 88 691 31452 45 1610 698 663 2023 18.81 19.59/19.70 c 38180 88 599 24768 41 1359 768 571 2022 18.87 19.59/19.70 c 38432 88 413 16589 40 987 845 385 2022 19.00 19.59/19.70 c 38908 88 707 29874 42 1580 930 679 2022 19.24 19.59/19.70 c 39724 88 596 23486 39 1356 1024 568 2021 19.65 19.59/19.70 o 1733 21.08/21.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.08/21.18 c 39801 88 819 33838 41 1877 698 791 2020 19.70 21.08/21.18 c 39901 88 677 26544 39 1518 768 649 2019 19.75 21.08/21.18 c 40152 88 545 22504 41 1256 845 517 2019 19.89 21.08/21.18 c 40629 88 492 18540 37 1153 930 464 2017 20.14 21.08/21.18 c 41445 88 602 25023 41 1378 1024 574 2020 20.52 21.08/21.18 c 42767 88 557 23276 41 1286 1127 529 2028 21.08 21.08/21.18 o 1683 21.18/21.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.18/21.29 c 42976 88 1116 55237 49 2492 698 1088 2029 21.18 21.18/21.29 c 43081 88 614 30830 50 1401 768 586 2029 21.23 21.18/21.29 o 1625 21.59/21.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.59/21.65 c 43189 88 413 19955 48 998 698 385 2029 21.29 21.59/21.65 c 43291 88 652 31770 48 1478 768 624 2028 21.34 21.59/21.65 c 43546 88 415 17244 41 999 845 387 2029 21.46 21.59/21.65 o 1585 23.38/23.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.38/23.41 c 43997 88 588 29827 50 1418 698 560 2032 21.65 23.38/23.41 c 44098 88 476 23721 49 1118 768 448 2031 21.70 23.38/23.41 c 44355 88 413 18817 45 996 845 385 2031 21.83 23.38/23.41 c 44833 88 452 20941 46 1075 930 424 2031 22.07 23.38/23.41 c 45648 88 801 38334 47 1773 1024 773 2032 22.46 23.38/23.41 c 46968 88 631 27927 44 1432 1127 603 2035 23.07 23.38/23.41 o 1530 26.29/26.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.29/26.39 c 47728 88 736 32640 44 1711 698 708 2039 23.40 26.29/26.39 c 47828 88 639 25685 40 1451 768 611 2039 23.45 26.29/26.39 c 48078 88 492 19263 39 1153 845 464 2038 23.58 26.29/26.39 c 48553 88 454 19202 42 1085 930 426 2039 23.80 26.29/26.39 c 49369 88 917 27026 29 2005 1024 889 2038 24.21 26.29/26.39 c 50690 88 594 21265 35 1361 1127 566 2037 24.88 26.29/26.39 c 52772 88 1107 42131 38 2386 1240 1079 2036 25.91 26.29/26.39 o 1526 33.18/33.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 33.18/33.30 c 53803 88 1038 38838 37 2328 698 1010 2038 26.39 33.18/33.30 c 53904 88 657 22139 33 1484 768 629 2038 26.45 33.18/33.30 c 54157 88 417 13541 32 1006 845 389 2038 26.57 33.18/33.30 c 54632 88 503 15193 30 1176 930 475 2038 26.80 33.18/33.30 c 55450 88 554 21217 38 1281 1024 526 2041 27.16 33.18/33.30 c 56774 88 547 20681 37 1268 1127 519 2045 27.76 33.18/33.30 c 58856 88 1057 41318 39 2287 1240 1029 2049 28.72 33.18/33.30 c 62079 88 1268 48633 38 2710 1365 1240 2053 30.23 33.18/33.30 c 67018 88 1386 59550 42 2945 1502 1358 2054 32.63 33.18/33.30 o 1520 34.78/34.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 34.78/34.80 c 68458 88 780 31366 40 1731 698 752 2056 33.29 34.78/34.80 c 68560 88 663 25318 38 1501 768 635 2055 33.35 34.78/34.80 c 68810 88 481 16695 34 1135 845 453 2055 33.47 34.78/34.80 c 69285 88 830 28323 34 1832 930 802 2055 33.72 34.78/34.80 c 70098 88 739 28614 38 1661 1024 711 2055 34.11 34.78/34.80 c 71418 88 596 17229 28 1366 1127 568 2055 34.74 34.78/34.80 o 1495 36.48/36.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 36.48/36.56 c 71530 88 866 30880 35 1986 698 838 2055 34.80 36.48/36.56 c 71632 88 658 20458 31 1488 768 630 2055 34.85 36.48/36.56 c 71882 88 523 17565 33 1220 845 495 2055 34.97 36.48/36.56 c 72365 88 452 16350 36 1079 930 424 2055 35.20 36.48/36.56 c 73178 88 519 20233 38 1208 1024 491 2057 35.57 36.48/36.56 c 74503 88 963 38247 39 2097 1127 935 2060 36.15 36.48/36.56 o 1493 42.98/43.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 42.98/43.02 c 75333 88 986 32825 33 2216 698 958 2060 36.56 42.98/43.02 c 75434 88 644 24020 37 1453 768 616 2060 36.61 42.98/43.02 c 75684 88 452 16750 37 1071 845 424 2060 36.73 42.98/43.02 c 76161 88 647 25762 39 1461 930 619 2060 36.96 42.98/43.02 c 76976 88 494 16948 34 1156 1024 466 2059 37.38 42.98/43.02 c 78297 88 832 30447 36 1834 1127 804 2059 38.01 42.98/43.02 c 80378 88 676 21859 32 1518 1240 648 2056 39.08 42.98/43.02 c 83602 88 857 36631 42 1885 1365 829 2064 40.49 42.98/43.02 c 88541 88 751 27831 37 1674 1502 723 2065 42.86 42.98/43.02 o 1470 46.28/46.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 46.28/46.38 c 88856 88 780 33285 42 1737 698 752 2065 43.01 46.28/46.38 c 88960 88 677 26653 39 1521 768 649 2065 43.07 46.28/46.38 c 89210 88 491 18851 38 1150 845 463 2065 43.20 46.28/46.38 c 89685 88 775 30130 38 1717 930 747 2065 43.43 46.28/46.38 c 90500 88 722 31219 43 1615 1024 694 2066 43.80 46.28/46.38 c 91822 88 810 32467 40 1791 1127 782 2068 44.39 46.28/46.38 c 93903 88 749 26909 35 1667 1240 721 2071 45.33 46.28/46.38 o 1469 50.59/50.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 50.59/50.65 c 96225 88 998 44242 44 2243 698 970 2075 46.37 50.59/50.65 c 96325 88 612 27872 45 1399 768 584 2075 46.42 50.59/50.65 c 96575 88 443 18896 42 1057 845 415 2074 46.55 50.59/50.65 c 97051 88 677 31059 45 1527 930 649 2075 46.77 50.59/50.65 c 97865 88 564 22663 40 1298 1024 536 2075 47.15 50.59/50.65 c 99187 88 965 36170 37 2101 1127 937 2075 47.79 50.59/50.65 c 101268 88 896 45786 51 1962 1240 868 2074 48.81 50.59/50.65 c 104491 88 1206 56871 47 2585 1365 1178 2075 50.35 50.59/50.65 o 1415 53.88/53.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 53.88/53.96 c 105156 88 1224 56487 46 2693 698 1196 2076 50.65 53.88/53.96 c 105260 88 665 30645 46 1501 768 637 2076 50.70 53.88/53.96 c 105510 88 738 32662 44 1648 845 710 2076 50.82 53.88/53.96 c 105991 88 562 27813 49 1292 930 534 2076 51.04 53.88/53.96 c 106804 88 908 44182 48 1994 1024 880 2076 51.43 53.88/53.96 c 108124 88 991 31465 31 2153 1127 963 2075 52.10 53.88/53.96 c 110207 88 1049 44997 42 2267 1240 1021 2076 53.07 53.88/53.96 o 1407 62.17/62.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 62.17/62.29 c 112089 88 900 35804 39 2041 698 872 2077 53.95 62.17/62.29 c 112189 88 650 25252 38 1471 768 622 2077 54.01 62.17/62.29 c 112447 88 573 19854 34 1313 845 545 2076 54.15 62.17/62.29 c 112926 88 452 15978 35 1073 930 424 2076 54.37 62.17/62.29 c 113743 88 539 19074 35 1249 1024 511 2076 54.77 62.17/62.29 c 115067 88 541 19837 36 1249 1127 513 2076 55.40 62.17/62.29 c 117148 88 656 21449 32 1483 1240 628 2074 56.48 62.17/62.29 c 120371 88 991 36058 36 2156 1365 963 2071 58.10 62.17/62.29 c 125307 88 712 25432 35 1592 1502 684 2068 60.57 62.17/62.29 o 1406 71.68/71.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 71.68/71.79 c 128823 88 1189 49257 41 2615 698 1161 2068 62.28 71.68/71.79 c 128924 88 669 28219 42 1511 768 641 2068 62.34 71.68/71.79 c 129175 88 756 24240 32 1685 845 728 2068 62.45 71.68/71.79 c 129653 88 867 36326 41 1908 930 839 2069 62.66 71.68/71.79 c 130466 88 733 34904 47 1637 1024 705 2069 63.03 71.68/71.79 c 131793 88 993 39982 40 2153 1127 965 2069 63.69 71.68/71.79 c 133874 88 791 22970 29 1750 1240 763 2066 64.79 71.68/71.79 c 137100 88 698 25268 36 1568 1365 670 2062 66.46 71.68/71.79 c 142036 88 1334 40698 30 2836 1502 1306 2066 68.74 71.68/71.79 o 1397 78.88/78.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 78.88/78.95 c 148828 88 1218 44710 36 2702 698 1190 2073 71.78 78.88/78.95 c 148929 88 662 27211 41 1524 768 634 2073 71.83 78.88/78.95 c 149179 88 492 20775 42 1153 845 464 2072 71.97 78.88/78.95 c 149661 88 857 34979 40 1892 930 829 2072 72.20 78.88/78.95 c 150476 88 494 17844 36 1159 1024 466 2072 72.60 78.88/78.95 c 151796 88 715 26856 37 1598 1127 687 2072 73.23 78.88/78.95 c 153877 88 1069 38573 36 2311 1240 1041 2073 74.23 78.88/78.95 c 157103 88 820 29501 35 1809 1365 792 2073 75.77 78.88/78.95 c 162043 88 756 33430 44 1683 1502 728 2072 78.18 78.88/78.95 o 1348 80.97/81.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 80.97/81.03 c 163682 88 1277 52842 41 2798 698 1249 2073 78.94 80.97/81.03 c 163797 88 715 29821 41 1602 768 687 2073 78.99 80.97/81.03 c 164051 88 468 18296 39 1106 845 440 2073 79.12 80.97/81.03 c 164527 88 838 30788 36 1847 930 810 2073 79.34 80.97/81.03 c 165341 88 940 39138 41 2052 1024 912 2074 79.71 80.97/81.03 c 166661 88 613 22749 37 1401 1127 585 2075 80.30 80.97/81.03 o 1345 83.28/83.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 83.28/83.39 c 168217 88 963 38511 39 2175 698 935 2076 81.02 83.28/83.39 c 168318 88 663 27331 41 1498 768 635 2076 81.07 83.28/83.39 c 168571 88 457 19482 42 1083 845 429 2076 81.19 83.28/83.39 c 169047 88 517 18930 36 1203 930 489 2076 81.40 83.28/83.39 c 169866 88 682 22015 32 1540 1024 654 2076 81.81 83.28/83.39 c 171186 88 541 16848 31 1250 1127 513 2074 82.54 83.28/83.39 o 1338 83.87/83.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 83.87/83.90 c 172957 88 715 26738 37 1671 698 687 2074 83.38 83.87/83.90 c 173058 88 625 21665 34 1415 768 597 2074 83.43 83.87/83.90 c 173308 88 436 15058 34 1043 845 408 2074 83.56 83.87/83.90 c 173788 88 807 29639 36 1783 930 779 2074 83.78 83.87/83.90 o 1337 89.67/89.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 89.67/89.71 c 174006 88 900 35311 39 2042 698 872 2074 83.89 89.67/89.71 c 174106 88 616 21540 34 1400 768 588 2074 83.94 89.67/89.71 c 174358 88 447 15730 35 1055 845 419 2074 84.06 89.67/89.71 c 174837 88 812 32214 39 1798 930 784 2074 84.29 89.67/89.71 c 175650 88 630 21826 34 1433 1024 602 2074 84.68 89.67/89.71 c 176975 88 957 32481 33 2084 1127 929 2074 85.31 89.67/89.71 c 179059 88 1039 35563 34 2249 1240 1011 2073 86.36 89.67/89.71 c 182283 88 1206 38532 31 2587 1365 1178 2074 87.88 89.67/89.71 o 1277 90.78/90.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 90.78/90.83 c 186105 88 1255 51833 41 2759 698 1227 2074 89.70 90.78/90.83 c 186207 88 674 26668 39 1517 768 646 2074 89.75 90.78/90.83 c 186459 88 469 18560 39 1110 845 441 2074 89.87 90.78/90.83 c 186935 88 810 31351 38 1789 930 782 2075 90.07 90.78/90.83 c 187749 88 708 29543 41 1588 1024 680 2075 90.44 90.78/90.83 o 1254 95.37/95.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 95.37/95.44 c 188654 88 716 29320 40 1676 698 688 2077 90.82 95.37/95.44 c 188755 88 569 21051 36 1312 768 541 2077 90.87 95.37/95.44 c 189005 88 744 29468 39 1662 845 716 2077 90.99 95.37/95.44 c 189493 88 456 14383 31 1086 930 428 2077 91.22 95.37/95.44 c 190311 88 565 15241 26 1304 1024 537 2075 91.68 95.37/95.44 c 191631 88 1013 42652 42 2198 1127 985 2076 92.30 95.37/95.44 c 193717 88 1056 36031 34 2286 1240 1028 2073 93.43 95.37/95.44 c 196941 88 649 27241 41 1469 1365 621 2075 94.88 95.37/95.44 o 1217 97.57/97.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 97.57/97.62 c 198205 88 1234 58564 47 2745 698 1206 2077 95.42 97.57/97.62 c 198307 88 651 24998 38 1477 768 623 2076 95.48 97.57/97.62 c 198559 88 504 15133 30 1182 845 476 2076 95.61 97.57/97.62 c 199043 88 869 32853 37 1909 930 841 2076 95.84 97.57/97.62 c 199856 88 500 18243 36 1171 1024 472 2076 96.22 97.57/97.62 c 201176 88 1017 33098 32 2205 1127 989 2077 96.86 97.57/97.62 o 1204 104.67/104.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 104.67/104.71 c 202626 88 659 21930 33 1565 698 631 2076 97.60 104.67/104.71 c 202726 88 468 14528 31 1108 768 440 2075 97.67 104.67/104.71 c 202980 88 587 17065 29 1347 845 559 2075 97.78 104.67/104.71 c 203461 88 832 27773 33 1834 930 804 2076 98.00 104.67/104.71 c 204275 88 734 24508 33 1640 1024 706 2076 98.39 104.67/104.71 c 205597 88 985 30044 30 2139 1127 957 2077 98.97 104.67/104.71 c 207682 88 868 32685 37 1908 1240 840 2077 99.97 104.67/104.71 c 210909 88 1058 44639 42 2289 1365 1030 2077 101.51 104.67/104.71 c 215849 88 903 31498 34 1999 1502 875 2075 103.99 104.67/104.71 o 1196 113.07/113.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 113.07/113.13 c 217386 88 1015 38653 38 2277 698 987 2076 104.69 113.07/113.13 c 217487 88 637 25474 39 1446 768 609 2076 104.74 113.07/113.13 c 217738 88 415 14861 35 1003 845 387 2076 104.86 113.07/113.13 c 218214 88 616 21788 35 1403 930 588 2076 105.06 113.07/113.13 c 219030 88 606 20573 33 1384 1024 578 2077 105.44 113.07/113.13 c 220350 88 590 18174 30 1352 1127 562 2076 106.11 113.07/113.13 c 222433 88 595 20616 34 1361 1240 567 2075 107.15 113.07/113.13 c 225656 88 1105 38937 35 2379 1365 1077 2075 108.72 113.07/113.13 c 230595 88 1080 34035 31 2335 1502 1052 2075 111.12 113.07/113.13 o 1147 118.77/118.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 118.77/118.86 c 234709 88 1526 51917 34 3303 698 1498 2075 113.11 118.77/118.86 c 234809 88 649 19361 29 1470 768 621 2074 113.17 118.77/118.86 c 235061 88 422 11758 27 1015 845 394 2074 113.30 118.77/118.86 c 235540 88 653 19715 30 1475 930 625 2074 113.52 118.77/118.86 c 236366 88 950 33503 35 2079 1024 922 2075 113.91 118.77/118.86 c 237689 88 625 20842 33 1421 1127 597 2075 114.53 118.77/118.86 c 239775 88 845 31551 37 1861 1240 817 2077 115.43 118.77/118.86 c 243000 88 1160 37863 32 2494 1365 1132 2076 117.03 118.77/118.86 o 1128 189.86/189.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 189.86/189.96 c 246774 88 1063 35866 33 2369 698 1035 2076 118.85 189.86/189.96 c 246874 88 646 20063 31 1463 768 618 2076 118.90 189.86/189.96 c 247124 88 429 12415 28 1028 845 401 2076 119.01 189.86/189.96 c 247599 88 689 20538 29 1546 930 661 2076 119.24 189.86/189.96 c 248412 88 501 17157 34 1170 1024 473 2076 119.62 189.86/189.96 c 249736 88 634 22187 34 1437 1127 606 2076 120.25 189.86/189.96 c 251823 88 710 21973 30 1591 1240 682 2076 121.26 189.86/189.96 c 255049 88 957 33878 35 2084 1365 929 2076 122.85 189.86/189.96 c 259986 88 1158 37257 32 2489 1502 1130 2077 125.15 189.86/189.96 c 267492 88 787 23067 29 1745 1653 759 2074 128.96 189.86/189.96 c 278855 88 910 30014 32 1993 1819 882 2073 134.49 189.86/189.96 c 296006 88 1684 58538 34 3540 2001 1656 2065 143.28 189.86/189.96 c 321829 88 1037 32353 31 2248 2202 1009 2052 156.82 189.86/189.96 c 360663 83 1213 37708 31 2594 2423 1185 2034 177.23 189.86/189.96 o 1120 217.26/217.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 217.26/217.31 c 385040 83 1406 46269 32 3052 688 1378 2027 189.93 217.26/217.31 c 385143 83 609 18129 29 1385 757 581 2027 189.99 217.26/217.31 c 385393 83 693 21569 31 1552 833 665 2026 190.13 217.26/217.31 c 385873 83 690 22665 32 1547 917 662 2026 190.38 217.26/217.31 c 386687 83 710 22269 31 1587 1009 682 2027 190.76 217.26/217.31 c 388007 83 546 15249 27 1259 1110 518 2027 191.37 217.26/217.31 c 390088 83 968 32303 33 2102 1222 940 2028 192.33 217.26/217.31 c 393313 83 842 23546 27 1849 1345 814 2030 193.75 217.26/217.31 c 398253 83 1246 41342 33 2657 1480 1218 2032 195.97 217.26/217.31 c 405761 83 1191 35829 30 2548 1629 1163 2034 199.44 217.26/217.31 c 417125 83 1455 42493 29 3077 1792 1427 2035 204.94 217.26/217.31 c 434271 83 1805 65251 36 3779 1972 1777 2036 213.26 217.26/217.31 v x1 x2 -x3 -x4 -x5 -x8 -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 -x6 x7 -x9 -x10 217.26/217.31 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 217.26/217.31 c 265 442792 77688 734195 1886 46868 1858 2037 217.28 217.26/217.31 c Objective: 1120 217.26/217.31 s OPTIMUM FOUND 217.26/217.31 c Total time: 217.279 s
OK 1120
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3707772-1338143130/watcher-3707772-1338143130 -o /tmp/evaluation-result-3707772-1338143130/solver-3707772-1338143130 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707772-1338143130.opb running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.98 1.99 3/176 17687 /proc/meminfo: memFree=31376108/32873844 swapFree=7372/7372 [pid=17687] ppid=17685 vsize=26924 CPUtime=0 cores=1,3,5,7 /proc/17687/stat : 17687 (bsolo) R 17685 17687 15469 0 -1 4202496 466 0 0 0 0 0 0 0 20 0 1 0 280441617 27570176 367 33554432000 134512640 137138936 4294295760 4294293032 136506019 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/17687/statm: 6731 367 284 642 0 6087 0 [startup+0.0430091 s] /proc/loadavg: 1.92 1.98 1.99 3/176 17687 /proc/meminfo: memFree=31376108/32873844 swapFree=7372/7372 [pid=17687] ppid=17685 vsize=19336 CPUtime=0.03 cores=1,3,5,7 /proc/17687/stat : 17687 (bsolo) R 17685 17687 15469 0 -1 4202496 2657 0 0 0 3 0 0 0 20 0 1 0 280441617 19800064 396 33554432000 134512640 137138936 4294295760 4294294876 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/17687/statm: 4834 396 285 642 0 4190 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 19336 [startup+0.100268 s] /proc/loadavg: 1.92 1.98 1.99 3/176 17687 /proc/meminfo: memFree=31376108/32873844 swapFree=7372/7372 [pid=17687] ppid=17685 vsize=19372 CPUtime=0.09 cores=1,3,5,7 /proc/17687/stat : 17687 (bsolo) R 17685 17687 15469 0 -1 4202496 4584 0 0 0 9 0 0 0 20 0 1 0 280441617 19836928 529 33554432000 134512640 137138936 4294295760 4294294876 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/17687/statm: 4843 529 287 642 0 4199 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19372 [startup+0.300227 s] /proc/loadavg: 1.92 1.98 1.99 3/176 17687 /proc/meminfo: memFree=31376108/32873844 swapFree=7372/7372 [pid=17687] ppid=17685 vsize=19872 CPUtime=0.28 cores=1,3,5,7 /proc/17687/stat : 17687 (bsolo) R 17685 17687 15469 0 -1 4202496 8531 0 0 0 27 1 0 0 20 0 1 0 280441617 20348928 587 33554432000 134512640 137138936 4294295760 4294293620 135455704 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/17687/statm: 4968 587 287 642 0 4324 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 19872 [startup+0.700228 s] /proc/loadavg: 1.92 1.98 1.99 3/176 17687 /proc/meminfo: memFree=31376108/32873844 swapFree=7372/7372 [pid=17687] ppid=17685 vsize=19876 CPUtime=0.69 cores=1,3,5,7 /proc/17687/stat : 17687 (bsolo) R 17685 17687 15469 0 -1 4202496 8594 0 0 0 67 2 0 0 20 0 1 0 280441617 20353024 650 33554432000 134512640 137138936 4294295760 4294294876 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/17687/statm: 4969 650 287 642 0 4325 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19876 [startup+1.50023 s] /proc/loadavg: 1.92 1.98 1.99 3/177 17688 /proc/meminfo: memFree=31374728/32873844 swapFree=7372/7372 [pid=17687] ppid=17685 vsize=19956 CPUtime=1.48 cores=1,3,5,7 /proc/17687/stat : 17687 (bsolo) R 17685 17687 15469 0 -1 4202496 14600 0 0 0 145 3 0 0 20 0 1 0 280441617 20434944 581 33554432000 134512640 137138936 4294295760 4294293144 136506636 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/17687/statm: 4859 575 287 642 0 4215 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 19956 [startup+3.10023 s] /proc/loadavg: 1.92 1.98 1.99 3/177 17688 /proc/meminfo: memFree=31374356/32873844 swapFree=7372/7372 [pid=17687] ppid=17685 vsize=19436 CPUtime=3.09 cores=1,3,5,7 /proc/17687/stat : 17687 (bsolo) R 17685 17687 15469 0 -1 4202496 93264 0 0 0 287 22 0 0 20 0 1 0 280441617 19902464 573 33554432000 134512640 137138936 4294295760 4294293788 136700814 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/17687/statm: 4859 573 287 642 0 4215 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19436 [startup+6.30023 s] /proc/loadavg: 2.01 2.00 2.00 3/177 17688 /proc/meminfo: memFree=31374232/32873844 swapFree=7372/7372 [pid=17687] ppid=17685 vsize=20056 CPUtime=6.29 cores=1,3,5,7 /proc/17687/stat : 17687 (bsolo) R 17685 17687 15469 0 -1 4202496 256250 0 0 0 568 61 0 0 20 0 1 0 280441617 20537344 591 33554432000 134512640 137138936 4294295760 4294293144 136506636 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/17687/statm: 4884 585 287 642 0 4240 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20056 [startup+12.7002 s] /proc/loadavg: 2.01 2.00 2.00 3/177 17688 /proc/meminfo: memFree=31373916/32873844 swapFree=7372/7372 [pid=17687] ppid=17685 vsize=20072 CPUtime=12.69 cores=1,3,5,7 /proc/17687/stat : 17687 (bsolo) R 17685 17687 15469 0 -1 4202496 540616 0 0 0 1140 129 0 0 20 0 1 0 280441617 20553728 592 33554432000 134512640 137138936 4294295760 4294293416 136506636 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/17687/statm: 5018 593 287 642 0 4374 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20072 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 17688 /proc/meminfo: memFree=31374420/32873844 swapFree=7372/7372 [pid=17687] ppid=17685 vsize=19544 CPUtime=25.49 cores=1,3,5,7 /proc/17687/stat : 17687 (bsolo) R 17685 17687 15469 0 -1 4202496 1096792 0 0 0 2276 273 0 0 20 0 1 0 280441617 20013056 602 33554432000 134512640 137138936 4294295760 4294293788 136700814 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/17687/statm: 4886 602 287 642 0 4242 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 19544 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 17688 /proc/meminfo: memFree=31374200/32873844 swapFree=7372/7372 [pid=17687] ppid=17685 vsize=20180 CPUtime=51.08 cores=1,3,5,7 /proc/17687/stat : 17687 (bsolo) R 17685 17687 15469 0 -1 4202496 2262738 0 0 0 4551 557 0 0 20 0 1 0 280441617 20664320 616 33554432000 134512640 137138936 4294295760 4294293416 136506636 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/17687/statm: 4995 615 287 642 0 4351 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 20180 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/177 17688 /proc/meminfo: memFree=31372040/32873844 swapFree=7372/7372 [pid=17687] ppid=17685 vsize=19964 CPUtime=102.28 cores=1,3,5,7 /proc/17687/stat : 17687 (bsolo) R 17685 17687 15469 0 -1 4202496 4426849 0 0 0 9121 1107 0 0 20 0 1 0 280441617 20443136 1136 33554432000 134512640 137138936 4294295760 4294293788 136700814 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/17687/statm: 4912 1132 288 642 0 4268 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 19964 [startup+162.3 s] /proc/loadavg: 2.07 2.02 2.00 3/177 17688 /proc/meminfo: memFree=31371792/32873844 swapFree=7372/7372 [pid=17687] ppid=17685 vsize=20548 CPUtime=162.26 cores=1,3,5,7 /proc/17687/stat : 17687 (bsolo) R 17685 17687 15469 0 -1 4202496 6961737 0 0 0 14512 1714 0 0 20 0 1 0 280441617 21041152 1215 33554432000 134512640 137138936 4294295760 4294293416 136506636 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/17687/statm: 5137 1215 288 642 0 4493 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 20548 Solver just ended. Dumping a history of the last processes samples [startup+179.1 s] /proc/loadavg: 2.06 2.01 2.00 3/177 17688 /proc/meminfo: memFree=31371668/32873844 swapFree=7372/7372 [pid=17687] ppid=17685 vsize=20540 CPUtime=179.06 cores=1,3,5,7 /proc/17687/stat : 17687 (bsolo) R 17685 17687 15469 0 -1 4202496 7722744 0 0 0 16019 1887 0 0 20 0 1 0 280441617 21032960 1215 33554432000 134512640 137138936 4294295760 4294293416 136506636 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/17687/statm: 5135 1215 288 642 0 4491 0 Current children cumulated CPU time (s) 179.06 Current children cumulated vsize (KiB) 20540 [startup+204.7 s] /proc/loadavg: 2.04 2.01 2.00 3/177 17688 /proc/meminfo: memFree=31372040/32873844 swapFree=7372/7372 [pid=17687] ppid=17685 vsize=20004 CPUtime=204.66 cores=1,3,5,7 /proc/17687/stat : 17687 (bsolo) R 17685 17687 15469 0 -1 4202496 8837965 0 0 0 18318 2148 0 0 20 0 1 0 280441617 20484096 1215 33554432000 134512640 137138936 4294295760 4294294876 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/17687/statm: 5041 1217 288 642 0 4397 0 Current children cumulated CPU time (s) 204.66 Current children cumulated vsize (KiB) 20004 [startup+211.1 s] /proc/loadavg: 2.03 2.01 2.00 3/177 17688 /proc/meminfo: memFree=31372040/32873844 swapFree=7372/7372 [pid=17687] ppid=17685 vsize=20004 CPUtime=211.07 cores=1,3,5,7 /proc/17687/stat : 17687 (bsolo) R 17685 17687 15469 0 -1 4202496 9044121 0 0 0 18902 2205 0 0 20 0 1 0 280441617 20484096 1215 33554432000 134512640 137138936 4294295760 4294294688 134542898 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/17687/statm: 5001 1215 288 642 0 4357 0 Current children cumulated CPU time (s) 211.07 Current children cumulated vsize (KiB) 20004 [startup+214.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 17688 /proc/meminfo: memFree=31372040/32873844 swapFree=7372/7372 [pid=17687] ppid=17685 vsize=20004 CPUtime=214.25 cores=1,3,5,7 /proc/17687/stat : 17687 (bsolo) R 17685 17687 15469 0 -1 4202496 9141871 0 0 0 19195 2230 0 0 20 0 1 0 280441617 20484096 1215 33554432000 134512640 137138936 4294295760 4294294876 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/17687/statm: 5001 1215 288 642 0 4357 0 Current children cumulated CPU time (s) 214.25 Current children cumulated vsize (KiB) 20004 [startup+215.9 s] /proc/loadavg: 2.03 2.01 2.00 3/177 17688 /proc/meminfo: memFree=31372040/32873844 swapFree=7372/7372 [pid=17687] ppid=17685 vsize=20004 CPUtime=215.86 cores=1,3,5,7 /proc/17687/stat : 17687 (bsolo) R 17685 17687 15469 0 -1 4202496 9189953 0 0 0 19342 2244 0 0 20 0 1 0 280441617 20484096 1215 33554432000 134512640 137138936 4294295760 4294293788 136700814 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/17687/statm: 5001 1215 288 642 0 4357 0 Current children cumulated CPU time (s) 215.86 Current children cumulated vsize (KiB) 20004 [startup+216.706 s] /proc/loadavg: 2.03 2.01 2.00 3/177 17688 /proc/meminfo: memFree=31372040/32873844 swapFree=7372/7372 [pid=17687] ppid=17685 vsize=20324 CPUtime=216.67 cores=1,3,5,7 /proc/17687/stat : 17687 (bsolo) R 17685 17687 15469 0 -1 4202496 9215610 0 0 0 19415 2252 0 0 20 0 1 0 280441617 20811776 1219 33554432000 134512640 137138936 4294295760 4294293144 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/17687/statm: 5081 1219 288 642 0 4437 0 Current children cumulated CPU time (s) 216.67 Current children cumulated vsize (KiB) 20324 [startup+217.1 s] /proc/loadavg: 2.03 2.01 2.00 3/177 17688 /proc/meminfo: memFree=31372040/32873844 swapFree=7372/7372 [pid=17687] ppid=17685 vsize=20004 CPUtime=217.06 cores=1,3,5,7 /proc/17687/stat : 17687 (bsolo) R 17685 17687 15469 0 -1 4202496 9227498 0 0 0 19451 2255 0 0 20 0 1 0 280441617 20484096 1215 33554432000 134512640 137138936 4294295760 4294294876 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/17687/statm: 5041 1216 288 642 0 4397 0 Current children cumulated CPU time (s) 217.06 Current children cumulated vsize (KiB) 20004 [startup+217.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 17688 /proc/meminfo: memFree=31372040/32873844 swapFree=7372/7372 [pid=17687] ppid=17685 vsize=20004 CPUtime=217.26 cores=1,3,5,7 /proc/17687/stat : 17687 (bsolo) R 17685 17687 15469 0 -1 4202496 9232792 0 0 0 19470 2256 0 0 20 0 1 0 280441617 20484096 1215 33554432000 134512640 137138936 4294295760 4294294876 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/17687/statm: 5081 1219 288 642 0 4437 0 Current children cumulated CPU time (s) 217.26 Current children cumulated vsize (KiB) 20004 Child status: 0 Real time (s): 217.316 CPU time (s): 217.281 CPU user time (s): 194.716 CPU system time (s): 22.5646 CPU usage (%): 99.984 Max. virtual memory (cumulated for all children) (KiB): 20576 getrusage(RUSAGE_CHILDREN,...) data: user time used= 194.716 system time used= 22.5646 maximum resident set size= 4964 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9233277 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= 4 involuntary context switches= 224 runsolver used 0.32695 second user time and 0.861868 second system time The end
Begin job on node109 at 2012-05-27 20:25:30 IDJOB=3707772 IDBENCH=1868 IDSOLVER=2286 FILE ID=node109/3707772-1338143130 RUNJOBID= node109-1338140213-16699 PBS_JOBID= 14624511 Free space on /tmp= 71300 MiB SOLVER NAME= bsolo 3.2 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707772-1338143130/watcher-3707772-1338143130 -o /tmp/evaluation-result-3707772-1338143130/solver-3707772-1338143130 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707772-1338143130.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9b4418c5c34f37121cd9ad7732df64ff RANDOM SEED=406658276 node109.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 31376752 kB Buffers: 79704 kB Cached: 145048 kB SwapCached: 592 kB Active: 642076 kB Inactive: 88196 kB Active(anon): 500252 kB Inactive(anon): 7668 kB Active(file): 141824 kB Inactive(file): 80528 kB Unevictable: 7372 kB Mlocked: 7372 kB SwapTotal: 67108856 kB SwapFree: 67106288 kB Dirty: 3900 kB Writeback: 0 kB AnonPages: 511672 kB Mapped: 11072 kB Shmem: 8 kB Slab: 625432 kB SReclaimable: 67820 kB SUnreclaim: 557612 kB KernelStack: 1432 kB PageTables: 5228 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 628436 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 407552 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71296 MiB End job on node109 at 2012-05-27 20:29:08