Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 | OPT | 1120 | 209.166 | 209.165 |
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.301953 |
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-3463558-1307175444.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.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 31 88 71 2180 30 322 698 43 31000 0.00 0.00/0.04 o 2060 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 106 88 188 7959 42 664 698 160 2409 0.04 0.00/0.06 o 2053 0.07/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.07/0.08 c 123 88 227 9414 41 818 698 199 2084 0.06 0.07/0.08 o 2045 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 177 88 367 17490 47 1166 698 339 2058 0.09 0.09/0.19 c 277 88 631 32355 51 1697 768 603 2051 0.14 0.09/0.19 o 2007 1.29/1.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.36 c 389 88 460 21975 47 1163 698 432 2047 0.19 1.29/1.36 c 491 88 381 17894 46 925 768 353 2089 0.23 1.29/1.36 c 749 88 702 33564 47 1574 845 674 2190 0.34 1.29/1.36 c 1229 88 461 22517 48 1090 930 433 2336 0.53 1.29/1.36 c 2042 88 856 41301 48 1885 1024 828 2478 0.82 1.29/1.36 c 3364 88 680 32514 47 1531 1127 652 2577 1.30 1.29/1.36 o 1987 3.99/4.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.07 c 3496 88 1035 49937 48 2314 698 1007 2566 1.36 3.99/4.07 c 3596 88 676 32452 48 1523 768 648 2532 1.42 3.99/4.07 c 3846 88 542 25414 46 1248 845 514 2476 1.55 3.99/4.07 c 4321 88 499 22756 45 1168 930 471 2427 1.78 3.99/4.07 c 5134 88 611 28545 46 1389 1024 583 2389 2.15 3.99/4.07 c 6454 88 707 30803 43 1579 1127 679 2358 2.74 3.99/4.07 c 8536 88 680 32893 48 1535 1240 652 2321 3.68 3.99/4.07 o 1956 5.79/5.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.79/5.82 c 9430 88 849 40956 48 1939 698 821 2315 4.07 5.79/5.82 c 9530 88 634 29937 47 1440 768 606 2311 4.12 5.79/5.82 c 9782 88 783 38769 49 1733 845 755 2311 4.23 5.79/5.82 c 10257 88 482 20632 42 1131 930 454 2312 4.44 5.79/5.82 c 11073 88 698 30343 43 1564 1024 670 2298 4.82 5.79/5.82 c 12393 88 793 34084 42 1759 1127 765 2292 5.41 5.79/5.82 o 1939 5.99/6.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.99/6.04 c 13362 88 593 26768 45 1349 698 565 2295 5.82 5.99/6.04 c 13463 88 488 23107 47 1144 768 460 2293 5.87 5.99/6.04 c 13715 88 643 31638 49 1461 845 615 2291 5.99 5.99/6.04 o 1924 6.09/6.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.09/6.19 c 13862 88 474 23025 48 1184 698 446 2292 6.05 6.09/6.19 c 13963 88 718 35868 49 1677 768 690 2289 6.10 6.09/6.19 o 1886 6.29/6.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.29/6.33 c 14204 88 427 19188 44 1091 698 399 2292 6.20 6.29/6.33 c 14304 88 688 33091 48 1622 768 660 2291 6.24 6.29/6.33 o 1875 13.79/13.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.79/13.85 c 14518 88 413 19311 46 990 698 385 2292 6.33 13.79/13.85 c 14622 88 692 33595 48 1551 768 664 2289 6.39 13.79/13.85 c 14873 88 413 17676 42 995 845 385 2287 6.50 13.79/13.85 c 15352 88 577 25586 44 1332 930 549 2287 6.71 13.79/13.85 c 16165 88 572 25847 45 1312 1024 544 2279 7.09 13.79/13.85 c 17485 88 541 20009 36 1247 1127 513 2255 7.75 13.79/13.85 c 19574 88 1156 47429 41 2476 1240 1128 2226 8.79 13.79/13.85 c 22797 88 962 40211 41 2092 1365 934 2184 10.44 13.79/13.85 c 27733 88 955 40794 42 2080 1502 927 2134 12.99 13.79/13.85 o 1855 15.79/15.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.79/15.86 c 29367 88 900 37435 41 2040 698 872 2119 13.86 15.79/15.86 c 29467 88 669 28507 42 1510 768 641 2118 13.91 15.79/15.86 c 29718 88 579 23525 40 1323 845 551 2115 14.05 15.79/15.86 c 30196 88 872 42033 48 1918 930 844 2118 14.25 15.79/15.86 c 31013 88 742 31764 42 1658 1024 714 2118 14.64 15.79/15.86 c 32333 88 656 26142 39 1475 1127 628 2117 15.27 15.79/15.86 o 1854 16.29/16.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.29/16.41 c 33550 88 1083 46852 43 2405 698 1055 2114 15.86 16.29/16.41 c 33651 88 673 27821 41 1513 768 645 2113 15.92 16.29/16.41 c 33901 88 564 22917 40 1296 845 536 2113 16.04 16.29/16.41 c 34376 88 526 21691 41 1219 930 498 2113 16.27 16.29/16.41 o 1850 17.09/17.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.09/17.14 c 34656 88 828 34637 41 1897 698 800 2112 16.41 17.09/17.14 c 34758 88 681 27410 40 1533 768 653 2111 16.46 17.09/17.14 c 35010 88 558 22258 39 1281 845 530 2110 16.59 17.09/17.14 c 35485 88 573 22629 39 1316 930 545 2108 16.83 17.09/17.14 o 1814 17.61/17.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.61/17.63 c 36180 88 918 40850 44 2085 698 890 2110 17.14 17.61/17.63 c 36284 88 674 29195 43 1526 768 646 2109 17.20 17.61/17.63 c 36536 88 533 22280 41 1231 845 505 2109 17.32 17.61/17.63 c 37011 88 452 19583 43 1071 930 424 2110 17.54 17.61/17.63 o 1763 17.99/18.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.99/18.05 c 37203 88 494 21320 43 1148 698 466 2110 17.63 17.99/18.05 c 37305 88 418 16923 40 997 768 390 2109 17.69 17.99/18.05 c 37557 88 709 27154 38 1580 845 681 2108 17.81 17.99/18.05 c 38033 88 582 26348 45 1327 930 554 2109 18.03 17.99/18.05 o 1754 18.79/18.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.79/18.89 c 38072 88 691 31452 45 1610 698 663 2109 18.05 18.79/18.89 c 38180 88 599 24768 41 1359 768 571 2108 18.11 18.79/18.89 c 38432 88 413 16589 40 987 845 385 2108 18.23 18.79/18.89 c 38908 88 707 29874 42 1580 930 679 2108 18.45 18.79/18.89 c 39724 88 596 23486 39 1356 1024 568 2107 18.85 18.79/18.89 o 1733 20.29/20.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.29/20.31 c 39801 88 819 33838 41 1877 698 791 2106 18.89 20.29/20.31 c 39901 88 677 26544 39 1518 768 649 2105 18.95 20.29/20.31 c 40152 88 545 22504 41 1256 845 517 2104 19.07 20.29/20.31 c 40629 88 492 18540 37 1153 930 464 2103 19.32 20.29/20.31 c 41445 88 602 25023 41 1378 1024 574 2106 19.68 20.29/20.31 c 42767 88 557 23276 41 1286 1127 529 2115 20.22 20.29/20.31 o 1683 20.39/20.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.39/20.41 c 42976 88 1116 55237 49 2492 698 1088 2115 20.31 20.39/20.41 c 43081 88 614 30830 50 1401 768 586 2115 20.36 20.39/20.41 o 1625 20.69/20.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.69/20.76 c 43189 88 413 19955 48 998 698 385 2115 20.41 20.69/20.76 c 43291 88 652 31770 48 1478 768 624 2115 20.46 20.69/20.76 c 43546 88 415 17244 41 999 845 387 2116 20.58 20.69/20.76 o 1585 22.38/22.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.38/22.44 c 43997 88 588 29827 50 1418 698 560 2119 20.76 22.38/22.44 c 44098 88 476 23721 49 1118 768 448 2118 20.81 22.38/22.44 c 44355 88 413 18817 45 996 845 385 2118 20.93 22.38/22.44 c 44833 88 452 20941 46 1075 930 424 2118 21.16 22.38/22.44 c 45648 88 801 38334 47 1773 1024 773 2119 21.54 22.38/22.44 c 46968 88 631 27927 44 1432 1127 603 2122 22.12 22.38/22.44 o 1530 25.21/25.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 25.21/25.30 c 47728 88 736 32640 44 1711 698 708 2127 22.44 25.21/25.30 c 47828 88 639 25685 40 1451 768 611 2126 22.49 25.21/25.30 c 48078 88 492 19263 39 1153 845 464 2126 22.61 25.21/25.30 c 48553 88 454 19202 42 1085 930 426 2127 22.82 25.21/25.30 c 49369 88 917 27026 29 2005 1024 889 2126 23.22 25.21/25.30 c 50690 88 594 21265 35 1361 1127 566 2124 23.86 25.21/25.30 c 52772 88 1107 42131 38 2386 1240 1079 2124 24.84 25.21/25.30 o 1526 31.91/31.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.91/31.92 c 53803 88 1038 38838 37 2328 698 1010 2126 25.30 31.91/31.92 c 53904 88 657 22139 33 1484 768 629 2125 25.36 31.91/31.92 c 54157 88 417 13541 32 1006 845 389 2125 25.48 31.91/31.92 c 54632 88 503 15193 30 1176 930 475 2125 25.70 31.91/31.92 c 55450 88 554 21217 38 1281 1024 526 2129 26.04 31.91/31.92 c 56774 88 547 20681 37 1268 1127 519 2132 26.62 31.91/31.92 c 58856 88 1057 41318 39 2287 1240 1029 2137 27.54 31.91/31.92 c 62079 88 1268 48633 38 2710 1365 1240 2141 28.98 31.91/31.92 c 67018 88 1386 59550 42 2945 1502 1358 2142 31.28 31.91/31.92 o 1520 33.29/33.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 33.29/33.36 c 68458 88 780 31366 40 1731 698 752 2144 31.92 33.29/33.36 c 68560 88 663 25318 38 1501 768 635 2144 31.98 33.29/33.36 c 68810 88 481 16695 34 1135 845 453 2144 32.09 33.29/33.36 c 69285 88 830 28323 34 1832 930 802 2143 32.33 33.29/33.36 c 70098 88 739 28614 38 1661 1024 711 2143 32.70 33.29/33.36 c 71418 88 596 17229 28 1366 1127 568 2144 33.31 33.29/33.36 o 1495 34.99/35.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 34.99/35.04 c 71530 88 866 30880 35 1986 698 838 2144 33.36 34.99/35.04 c 71632 88 658 20458 31 1488 768 630 2143 33.41 34.99/35.04 c 71882 88 523 17565 33 1220 845 495 2144 33.52 34.99/35.04 c 72365 88 452 16350 36 1079 930 424 2144 33.74 34.99/35.04 c 73178 88 519 20233 38 1208 1024 491 2146 34.09 34.99/35.04 c 74503 88 963 38247 39 2097 1127 935 2150 34.65 34.99/35.04 o 1493 41.19/41.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 41.19/41.22 c 75333 88 986 32825 33 2216 698 958 2149 35.04 41.19/41.22 c 75434 88 644 24020 37 1453 768 616 2149 35.09 41.19/41.22 c 75684 88 452 16750 37 1071 845 424 2149 35.21 41.19/41.22 c 76161 88 647 25762 39 1461 930 619 2149 35.42 41.19/41.22 c 76976 88 494 16948 34 1156 1024 466 2148 35.83 41.19/41.22 c 78297 88 832 30447 36 1834 1127 804 2149 36.43 41.19/41.22 c 80378 88 676 21859 32 1518 1240 648 2145 37.46 41.19/41.22 c 83602 88 857 36631 42 1885 1365 829 2154 38.81 41.19/41.22 c 88541 88 751 27831 37 1674 1502 723 2155 41.08 41.19/41.22 o 1470 44.39/44.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 44.39/44.43 c 88856 88 780 33285 42 1737 698 752 2155 41.23 44.39/44.43 c 88960 88 677 26653 39 1521 768 649 2154 41.28 44.39/44.43 c 89210 88 491 18851 38 1150 845 463 2154 41.40 44.39/44.43 c 89685 88 775 30130 38 1717 930 747 2154 41.62 44.39/44.43 c 90500 88 722 31219 43 1615 1024 694 2155 41.98 44.39/44.43 c 91822 88 810 32467 40 1791 1127 782 2158 42.54 44.39/44.43 c 93903 88 749 26909 35 1667 1240 721 2161 43.44 44.39/44.43 o 1469 48.49/48.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 48.49/48.52 c 96225 88 998 44242 44 2243 698 970 2165 44.44 48.49/48.52 c 96325 88 612 27872 45 1399 768 584 2165 44.48 48.49/48.52 c 96575 88 443 18896 42 1057 845 415 2165 44.61 48.49/48.52 c 97051 88 677 31059 45 1527 930 649 2165 44.82 48.49/48.52 c 97865 88 564 22663 40 1298 1024 536 2166 45.18 48.49/48.52 c 99187 88 965 36170 37 2101 1127 937 2166 45.79 48.49/48.52 c 101268 88 896 45786 51 1962 1240 868 2165 46.77 48.49/48.52 c 104491 88 1206 56871 47 2585 1365 1178 2166 48.24 48.49/48.52 o 1415 51.60/51.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 51.60/51.68 c 105156 88 1224 56487 46 2693 698 1196 2167 48.52 51.60/51.68 c 105260 88 665 30645 46 1501 768 637 2167 48.57 51.60/51.68 c 105510 88 738 32662 44 1648 845 710 2167 48.68 51.60/51.68 c 105991 88 562 27813 49 1292 930 534 2167 48.89 51.60/51.68 c 106804 88 908 44182 48 1994 1024 880 2167 49.27 51.60/51.68 c 108124 88 991 31465 31 2153 1127 963 2166 49.91 51.60/51.68 c 110207 88 1049 44997 42 2267 1240 1021 2168 50.83 51.60/51.68 o 1407 59.59/59.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 59.59/59.66 c 112089 88 900 35804 39 2041 698 872 2168 51.68 59.59/59.66 c 112189 88 650 25252 38 1471 768 622 2168 51.73 59.59/59.66 c 112447 88 573 19854 34 1313 845 545 2168 51.86 59.59/59.66 c 112926 88 452 15978 35 1073 930 424 2168 52.08 59.59/59.66 c 113743 88 539 19074 35 1249 1024 511 2167 52.47 59.59/59.66 c 115067 88 541 19837 36 1249 1127 513 2168 53.07 59.59/59.66 c 117148 88 656 21449 32 1483 1240 628 2165 54.10 59.59/59.66 c 120371 88 991 36058 36 2156 1365 963 2162 55.66 59.59/59.66 c 125307 88 712 25432 35 1592 1502 684 2159 58.02 59.59/59.66 o 1406 68.69/68.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 68.69/68.75 c 128823 88 1189 49257 41 2615 698 1161 2159 59.67 68.69/68.75 c 128924 88 669 28219 42 1511 768 641 2158 59.72 68.69/68.75 c 129175 88 756 24240 32 1685 845 728 2159 59.83 68.69/68.75 c 129653 88 867 36326 41 1908 930 839 2159 60.03 68.69/68.75 c 130466 88 733 34904 47 1637 1024 705 2160 60.39 68.69/68.75 c 131793 88 993 39982 40 2153 1127 965 2160 61.02 68.69/68.75 c 133874 88 791 22970 29 1750 1240 763 2156 62.06 68.69/68.75 c 137100 88 698 25268 36 1568 1365 670 2153 63.66 68.69/68.75 c 142036 88 1334 40698 30 2836 1502 1306 2157 65.84 68.69/68.75 o 1397 75.49/75.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 75.49/75.59 c 148828 88 1218 44710 36 2702 698 1190 2164 68.75 75.49/75.59 c 148929 88 662 27211 41 1524 768 634 2164 68.81 75.49/75.59 c 149179 88 492 20775 42 1153 845 464 2164 68.93 75.49/75.59 c 149661 88 857 34979 40 1892 930 829 2164 69.15 75.49/75.59 c 150476 88 494 17844 36 1159 1024 466 2164 69.53 75.49/75.59 c 151796 88 715 26856 37 1598 1127 687 2164 70.14 75.49/75.59 c 153877 88 1069 38573 36 2311 1240 1041 2164 71.10 75.49/75.59 c 157103 88 820 29501 35 1809 1365 792 2164 72.58 75.49/75.59 c 162043 88 756 33430 44 1683 1502 728 2164 74.87 75.49/75.59 o 1348 77.49/77.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 77.49/77.58 c 163682 88 1277 52842 41 2798 698 1249 2165 75.59 77.49/77.58 c 163797 88 715 29821 41 1602 768 687 2165 75.65 77.49/77.58 c 164051 88 468 18296 39 1106 845 440 2165 75.77 77.49/77.58 c 164527 88 838 30788 36 1847 930 810 2165 75.98 77.49/77.58 c 165341 88 940 39138 41 2052 1024 912 2166 76.33 77.49/77.58 c 166661 88 613 22749 37 1401 1127 585 2167 76.90 77.49/77.58 o 1345 79.79/79.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 79.79/79.83 c 168217 88 963 38511 39 2175 698 935 2168 77.58 79.79/79.83 c 168318 88 663 27331 41 1498 768 635 2168 77.64 79.79/79.83 c 168571 88 457 19482 42 1083 845 429 2168 77.75 79.79/79.83 c 169047 88 517 18930 36 1203 930 489 2168 77.95 79.79/79.83 c 169866 88 682 22015 32 1540 1024 654 2168 78.35 79.79/79.83 c 171186 88 541 16848 31 1250 1127 513 2166 79.03 79.79/79.83 o 1338 80.31/80.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 80.31/80.32 c 172957 88 715 26738 37 1671 698 687 2166 79.84 80.31/80.32 c 173058 88 625 21665 34 1415 768 597 2166 79.89 80.31/80.32 c 173308 88 436 15058 34 1043 845 408 2166 80.00 80.31/80.32 c 173788 88 807 29639 36 1783 930 779 2166 80.22 80.31/80.32 o 1337 85.81/85.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 85.81/85.88 c 174006 88 900 35311 39 2042 698 872 2166 80.32 85.81/85.88 c 174106 88 616 21540 34 1400 768 588 2166 80.37 85.81/85.88 c 174358 88 447 15730 35 1055 845 419 2166 80.49 85.81/85.88 c 174837 88 812 32214 39 1798 930 784 2166 80.71 85.81/85.88 c 175650 88 630 21826 34 1433 1024 602 2166 81.08 85.81/85.88 c 176975 88 957 32481 33 2084 1127 929 2166 81.68 85.81/85.88 c 179059 88 1039 35563 34 2249 1240 1011 2165 82.69 85.81/85.88 c 182283 88 1206 38532 31 2587 1365 1178 2166 84.13 85.81/85.88 o 1277 86.91/86.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 86.91/86.95 c 186105 88 1255 51833 41 2759 698 1227 2167 85.88 86.91/86.95 c 186207 88 674 26668 39 1517 768 646 2167 85.93 86.91/86.95 c 186459 88 469 18560 39 1110 845 441 2167 86.04 86.91/86.95 c 186935 88 810 31351 38 1789 930 782 2167 86.23 86.91/86.95 c 187749 88 708 29543 41 1588 1024 680 2168 86.58 86.91/86.95 o 1254 91.30/91.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 91.30/91.36 c 188654 88 716 29320 40 1676 698 688 2169 86.95 91.30/91.36 c 188755 88 569 21051 36 1312 768 541 2169 87.00 91.30/91.36 c 189005 88 744 29468 39 1662 845 716 2169 87.11 91.30/91.36 c 189493 88 456 14383 31 1086 930 428 2169 87.33 91.30/91.36 c 190311 88 565 15241 26 1304 1024 537 2168 87.77 91.30/91.36 c 191631 88 1013 42652 42 2198 1127 985 2168 88.36 91.30/91.36 c 193717 88 1056 36031 34 2286 1240 1028 2165 89.45 91.30/91.36 c 196941 88 649 27241 41 1469 1365 621 2167 90.84 91.30/91.36 o 1217 93.41/93.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 93.41/93.44 c 198205 88 1234 58564 47 2745 698 1206 2169 91.36 93.41/93.44 c 198307 88 651 24998 38 1477 768 623 2169 91.41 93.41/93.44 c 198559 88 504 15133 30 1182 845 476 2169 91.53 93.41/93.44 c 199043 88 869 32853 37 1909 930 841 2169 91.76 93.41/93.44 c 199856 88 500 18243 36 1171 1024 472 2169 92.13 93.41/93.44 c 201176 88 1017 33098 32 2205 1127 989 2169 92.73 93.41/93.44 o 1204 100.19/100.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 100.19/100.24 c 202626 88 659 21930 33 1565 698 631 2168 93.44 100.19/100.24 c 202726 88 468 14528 31 1108 768 440 2168 93.50 100.19/100.24 c 202980 88 587 17065 29 1347 845 559 2168 93.62 100.19/100.24 c 203461 88 832 27773 33 1834 930 804 2168 93.82 100.19/100.24 c 204275 88 734 24508 33 1640 1024 706 2168 94.20 100.19/100.24 c 205597 88 985 30044 30 2139 1127 957 2169 94.75 100.19/100.24 c 207682 88 868 32685 37 1908 1240 840 2169 95.71 100.19/100.24 c 210909 88 1058 44639 42 2289 1365 1030 2170 97.19 100.19/100.24 c 215849 88 903 31498 34 1999 1502 875 2167 99.56 100.19/100.24 o 1196 108.29/108.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 108.29/108.30 c 217386 88 1015 38653 38 2277 698 987 2168 100.24 108.29/108.30 c 217487 88 637 25474 39 1446 768 609 2168 100.28 108.29/108.30 c 217738 88 415 14861 35 1003 845 387 2168 100.40 108.29/108.30 c 218214 88 616 21788 35 1403 930 588 2169 100.59 108.29/108.30 c 219030 88 606 20573 33 1384 1024 578 2169 100.95 108.29/108.30 c 220350 88 590 18174 30 1352 1127 562 2169 101.59 108.29/108.30 c 222433 88 595 20616 34 1361 1240 567 2168 102.59 108.29/108.30 c 225656 88 1105 38937 35 2379 1365 1077 2167 104.09 108.29/108.30 c 230595 88 1080 34035 31 2335 1502 1052 2167 106.39 108.29/108.30 o 1147 113.79/113.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 113.79/113.81 c 234709 88 1526 51917 34 3303 698 1498 2167 108.31 113.79/113.81 c 234809 88 649 19361 29 1470 768 621 2166 108.36 113.79/113.81 c 235061 88 422 11758 27 1015 845 394 2166 108.48 113.79/113.81 c 235540 88 653 19715 30 1475 930 625 2166 108.70 113.79/113.81 c 236366 88 950 33503 35 2079 1024 922 2167 109.07 113.79/113.81 c 237689 88 625 20842 33 1421 1127 597 2167 109.66 113.79/113.81 c 239775 88 845 31551 37 1861 1240 817 2169 110.53 113.79/113.81 c 243000 88 1160 37863 32 2494 1365 1132 2168 112.06 113.79/113.81 o 1128 182.50/182.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 182.50/182.61 c 246774 88 1063 35866 33 2369 698 1035 2168 113.81 182.50/182.61 c 246874 88 646 20063 31 1463 768 618 2168 113.86 182.50/182.61 c 247124 88 429 12415 28 1028 845 401 2168 113.97 182.50/182.61 c 247599 88 689 20538 29 1546 930 661 2168 114.19 182.50/182.61 c 248412 88 501 17157 34 1170 1024 473 2168 114.55 182.50/182.61 c 249736 88 634 22187 34 1437 1127 606 2168 115.15 182.50/182.61 c 251823 88 710 21973 30 1591 1240 682 2168 116.12 182.50/182.61 c 255049 88 957 33878 35 2084 1365 929 2167 117.64 182.50/182.61 c 259986 88 1158 37257 32 2489 1502 1130 2169 119.86 182.50/182.61 c 267492 88 787 23067 29 1745 1653 759 2165 123.50 182.50/182.61 c 278855 88 910 30014 32 1993 1819 882 2164 128.81 182.50/182.61 c 296006 88 1684 58538 34 3540 2001 1656 2155 137.29 182.50/182.61 c 321829 88 1037 32353 31 2248 2202 1009 2139 150.44 182.50/182.61 c 360663 83 1213 37708 31 2594 2423 1185 2118 170.28 182.50/182.61 o 1120 209.09/209.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 209.09/209.16 c 385040 83 1406 46269 32 3052 688 1378 2108 182.61 209.09/209.16 c 385143 83 609 18129 29 1385 757 581 2108 182.67 209.09/209.16 c 385393 83 693 21569 31 1552 833 665 2108 182.81 209.09/209.16 c 385873 83 690 22665 32 1547 917 662 2107 183.05 209.09/209.16 c 386687 83 710 22269 31 1587 1009 682 2108 183.42 209.09/209.16 c 388007 83 546 15249 27 1259 1110 518 2108 184.01 209.09/209.16 c 390088 83 968 32303 33 2102 1222 940 2109 184.94 209.09/209.16 c 393313 83 842 23546 27 1849 1345 814 2110 186.32 209.09/209.16 c 398253 83 1246 41342 33 2657 1480 1218 2112 188.48 209.09/209.16 c 405761 83 1191 35829 30 2548 1629 1163 2114 191.85 209.09/209.16 c 417125 83 1455 42493 29 3077 1792 1427 2115 197.20 209.09/209.16 c 434271 83 1805 65251 36 3779 1972 1777 2115 205.27 209.09/209.16 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 209.09/209.16 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 209.09/209.16 c 265 442792 77688 734195 1886 46868 1858 2116 209.16 209.09/209.16 c Objective: 1120 209.09/209.16 s OPTIMUM FOUND 209.09/209.16 c Total time: 209.165 s
OK 1120
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3463558-1307175444/watcher-3463558-1307175444 -o /tmp/evaluation-result-3463558-1307175444/solver-3463558-1307175444 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463558-1307175444.opb running on 4 cores: 0,2,4,6 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.77 1.23 1.26 3/535 25521 /proc/meminfo: memFree=28929504/32951124 swapFree=58212616/67111528 [pid=25521] ppid=25519 vsize=26924 CPUtime=0.01 cores=0,2,4,6 /proc/25521/stat : 25521 (bsolo) R 25519 25521 23781 0 -1 4202496 1443 0 0 0 1 0 0 0 25 0 1 0 829142399 27570176 357 33554432000 134512640 137138936 4288222032 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/25521/statm: 6731 360 285 642 0 6087 0 [startup+0.085178 s] /proc/loadavg: 1.77 1.23 1.26 3/535 25521 /proc/meminfo: memFree=28929504/32951124 swapFree=58212616/67111528 [pid=25521] ppid=25519 vsize=19368 CPUtime=0.07 cores=0,2,4,6 /proc/25521/stat : 25521 (bsolo) R 25519 25521 23781 0 -1 4202496 4573 0 0 0 7 0 0 0 25 0 1 0 829142399 19832832 518 33554432000 134512640 137138936 4288222032 18446744073709551615 134577134 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/25521/statm: 4842 518 287 642 0 4198 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 19368 [startup+0.101187 s] /proc/loadavg: 1.77 1.23 1.26 3/535 25521 /proc/meminfo: memFree=28929504/32951124 swapFree=58212616/67111528 [pid=25521] ppid=25519 vsize=19368 CPUtime=0.09 cores=0,2,4,6 /proc/25521/stat : 25521 (bsolo) R 25519 25521 23781 0 -1 4202496 4587 0 0 0 9 0 0 0 25 0 1 0 829142399 19832832 532 33554432000 134512640 137138936 4288222032 18446744073709551615 134624935 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/25521/statm: 4842 532 287 642 0 4198 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19368 [startup+0.301141 s] /proc/loadavg: 1.77 1.23 1.26 3/535 25521 /proc/meminfo: memFree=28929504/32951124 swapFree=58212616/67111528 [pid=25521] ppid=25519 vsize=19868 CPUtime=0.29 cores=0,2,4,6 /proc/25521/stat : 25521 (bsolo) R 25519 25521 23781 0 -1 4202496 8530 0 0 0 28 1 0 0 25 0 1 0 829142399 20344832 586 33554432000 134512640 137138936 4288222032 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/25521/statm: 4967 586 287 642 0 4323 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19868 [startup+0.701062 s] /proc/loadavg: 1.77 1.23 1.26 3/535 25521 /proc/meminfo: memFree=28929504/32951124 swapFree=58212616/67111528 [pid=25521] ppid=25519 vsize=19872 CPUtime=0.69 cores=0,2,4,6 /proc/25521/stat : 25521 (bsolo) R 25519 25521 23781 0 -1 4202496 8596 0 0 0 68 1 0 0 25 0 1 0 829142399 20348928 652 33554432000 134512640 137138936 4288222032 18446744073709551615 135381586 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/25521/statm: 4968 652 287 642 0 4324 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19872 [startup+1.50094 s] /proc/loadavg: 1.77 1.23 1.26 3/536 25522 /proc/meminfo: memFree=28926024/32951124 swapFree=58212616/67111528 [pid=25521] ppid=25519 vsize=19432 CPUtime=1.49 cores=0,2,4,6 /proc/25521/stat : 25521 (bsolo) R 25519 25521 23781 0 -1 4202496 15927 0 0 0 146 3 0 0 25 0 1 0 829142399 19898368 574 33554432000 134512640 137138936 4288222032 18446744073709551615 134618397 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/25521/statm: 4858 574 287 642 0 4214 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19432 [startup+3.10065 s] /proc/loadavg: 1.77 1.23 1.26 3/536 25522 /proc/meminfo: memFree=28923668/32951124 swapFree=58212616/67111528 [pid=25521] ppid=25519 vsize=19956 CPUtime=3.09 cores=0,2,4,6 /proc/25521/stat : 25521 (bsolo) R 25519 25521 23781 0 -1 4202496 98665 0 0 0 292 17 0 0 25 0 1 0 829142399 20434944 579 33554432000 134512640 137138936 4288222032 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/25521/statm: 4989 579 287 642 0 4345 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19956 [startup+6.30108 s] /proc/loadavg: 1.79 1.24 1.26 3/536 25522 /proc/meminfo: memFree=28922056/32951124 swapFree=58212616/67111528 [pid=25521] ppid=25519 vsize=20000 CPUtime=6.29 cores=0,2,4,6 /proc/25521/stat : 25521 (bsolo) R 25519 25521 23781 0 -1 4202496 267964 0 0 0 583 46 0 0 25 0 1 0 829142399 20480000 589 33554432000 134512640 137138936 4288222032 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/25521/statm: 4880 584 287 642 0 4236 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20000 [startup+12.701 s] /proc/loadavg: 1.81 1.26 1.27 3/536 25522 /proc/meminfo: memFree=28914864/32951124 swapFree=58212616/67111528 [pid=25521] ppid=25519 vsize=19572 CPUtime=12.69 cores=0,2,4,6 /proc/25521/stat : 25521 (bsolo) R 25519 25521 23781 0 -1 4202496 566691 0 0 0 1173 96 0 0 25 0 1 0 829142399 20041728 584 33554432000 134512640 137138936 4288222032 18446744073709551615 136504992 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/25521/statm: 4893 584 287 642 0 4249 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19572 [startup+25.5007 s] /proc/loadavg: 1.85 1.29 1.28 3/536 25549 /proc/meminfo: memFree=28968340/32951124 swapFree=58212616/67111528 [pid=25521] ppid=25519 vsize=19536 CPUtime=25.49 cores=0,2,4,6 /proc/25521/stat : 25521 (bsolo) R 25519 25521 23781 0 -1 4202496 1141197 0 0 0 2351 198 0 0 25 0 1 0 829142399 20004864 600 33554432000 134512640 137138936 4288222032 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/25521/statm: 4964 605 287 642 0 4320 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 19536 [startup+51.1002 s] /proc/loadavg: 2.01 1.38 1.31 3/536 25550 /proc/meminfo: memFree=28968828/32951124 swapFree=58212616/67111528 [pid=25521] ppid=25519 vsize=20136 CPUtime=51.09 cores=0,2,4,6 /proc/25521/stat : 25521 (bsolo) R 25519 25521 23781 0 -1 4202496 2364212 0 0 0 4708 401 0 0 25 0 1 0 829142399 20619264 615 33554432000 134512640 137138936 4288222032 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/25521/statm: 4914 609 287 642 0 4270 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 20136 [startup+102.319 s] /proc/loadavg: 2.07 1.49 1.35 3/536 25551 /proc/meminfo: memFree=28966572/32951124 swapFree=58212616/67111528 [pid=25521] ppid=25519 vsize=19960 CPUtime=102.31 cores=0,2,4,6 /proc/25521/stat : 25521 (bsolo) R 25519 25521 23781 0 -1 4202496 4599561 0 0 0 9410 821 0 0 25 0 1 0 829142399 20439040 627 33554432000 134512640 137138936 4288222032 18446744073709551615 135389531 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/25521/statm: 4990 627 288 642 0 4346 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 19960 [startup+162.301 s] /proc/loadavg: 2.02 1.58 1.38 3/536 25553 /proc/meminfo: memFree=28964948/32951124 swapFree=58212616/67111528 [pid=25521] ppid=25519 vsize=20020 CPUtime=162.29 cores=0,2,4,6 /proc/25521/stat : 25521 (bsolo) R 25519 25521 23781 0 -1 4202496 7272228 0 0 0 14921 1308 0 0 25 0 1 0 829142399 20500480 698 33554432000 134512640 137138936 4288222032 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/25521/statm: 5005 698 288 642 0 4361 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 20020 Solver just ended. Dumping a history of the last processes samples [startup+179.101 s] /proc/loadavg: 2.02 1.60 1.40 3/536 25553 /proc/meminfo: memFree=28964572/32951124 swapFree=58212616/67111528 [pid=25521] ppid=25519 vsize=20540 CPUtime=179.09 cores=0,2,4,6 /proc/25521/stat : 25521 (bsolo) R 25519 25521 23781 0 -1 4202496 8053720 0 0 0 16460 1449 0 0 25 0 1 0 829142399 21032960 705 33554432000 134512640 137138936 4288222032 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/25521/statm: 5006 698 288 642 0 4362 0 Current children cumulated CPU time (s) 179.09 Current children cumulated vsize (KiB) 20540 [startup+191.901 s] /proc/loadavg: 2.01 1.62 1.40 3/536 25554 /proc/meminfo: memFree=28965548/32951124 swapFree=58212616/67111528 [pid=25521] ppid=25519 vsize=20000 CPUtime=191.89 cores=0,2,4,6 /proc/25521/stat : 25521 (bsolo) R 25519 25521 23781 0 -1 4202496 8644665 0 0 0 17627 1562 0 0 25 0 1 0 829142399 20480000 704 33554432000 134512640 137138936 4288222032 18446744073709551615 136520963 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/25521/statm: 5119 709 288 642 0 4475 0 Current children cumulated CPU time (s) 191.89 Current children cumulated vsize (KiB) 20000 [startup+198.3 s] /proc/loadavg: 2.01 1.63 1.41 3/536 25554 /proc/meminfo: memFree=28949428/32951124 swapFree=58212616/67111528 [pid=25521] ppid=25519 vsize=20480 CPUtime=198.29 cores=0,2,4,6 /proc/25521/stat : 25521 (bsolo) R 25519 25521 23781 0 -1 4202496 8890075 0 0 0 18213 1616 0 0 25 0 1 0 829142399 20971520 710 33554432000 134512640 137138936 4288222032 18446744073709551615 135445326 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/25521/statm: 5080 708 288 642 0 4436 0 Current children cumulated CPU time (s) 198.29 Current children cumulated vsize (KiB) 20480 [startup+204.7 s] /proc/loadavg: 2.01 1.64 1.41 3/536 25554 /proc/meminfo: memFree=28949172/32951124 swapFree=58212616/67111528 [pid=25521] ppid=25519 vsize=20000 CPUtime=204.69 cores=0,2,4,6 /proc/25521/stat : 25521 (bsolo) R 25519 25521 23781 0 -1 4202496 9094857 0 0 0 18809 1660 0 0 25 0 1 0 829142399 20480000 704 33554432000 134512640 137138936 4288222032 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/25521/statm: 5080 708 288 642 0 4436 0 Current children cumulated CPU time (s) 204.69 Current children cumulated vsize (KiB) 20000 [startup+206.301 s] /proc/loadavg: 2.01 1.64 1.41 3/536 25554 /proc/meminfo: memFree=28949172/32951124 swapFree=58212616/67111528 [pid=25521] ppid=25519 vsize=20320 CPUtime=206.29 cores=0,2,4,6 /proc/25521/stat : 25521 (bsolo) R 25519 25521 23781 0 -1 4202496 9143520 0 0 0 18958 1671 0 0 25 0 1 0 829142399 20807680 708 33554432000 134512640 137138936 4288222032 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/25521/statm: 5000 704 288 642 0 4356 0 Current children cumulated CPU time (s) 206.29 Current children cumulated vsize (KiB) 20320 [startup+207.92 s] /proc/loadavg: 2.01 1.64 1.41 3/536 25554 /proc/meminfo: memFree=28949420/32951124 swapFree=58212616/67111528 [pid=25521] ppid=25519 vsize=20160 CPUtime=207.91 cores=0,2,4,6 /proc/25521/stat : 25521 (bsolo) R 25519 25521 23781 0 -1 4202496 9193669 0 0 0 19108 1683 0 0 25 0 1 0 829142399 20643840 705 33554432000 134512640 137138936 4288222032 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/25521/statm: 5080 708 288 642 0 4436 0 Current children cumulated CPU time (s) 207.91 Current children cumulated vsize (KiB) 20160 [startup+208.701 s] /proc/loadavg: 2.01 1.64 1.41 3/536 25554 /proc/meminfo: memFree=28949420/32951124 swapFree=58212616/67111528 [pid=25521] ppid=25519 vsize=20320 CPUtime=208.69 cores=0,2,4,6 /proc/25521/stat : 25521 (bsolo) R 25519 25521 23781 0 -1 4202496 9219659 0 0 0 19181 1688 0 0 25 0 1 0 829142399 20807680 707 33554432000 134512640 137138936 4288222032 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/25521/statm: 5080 708 288 642 0 4436 0 Current children cumulated CPU time (s) 208.69 Current children cumulated vsize (KiB) 20320 [startup+209.1 s] /proc/loadavg: 2.01 1.64 1.41 3/536 25554 /proc/meminfo: memFree=28951776/32951124 swapFree=58212616/67111528 [pid=25521] ppid=25519 vsize=20000 CPUtime=209.09 cores=0,2,4,6 /proc/25521/stat : 25521 (bsolo) R 25519 25521 23781 0 -1 4202496 9231536 0 0 0 19219 1690 0 0 25 0 1 0 829142399 20480000 704 33554432000 134512640 137138936 4288222032 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/25521/statm: 5000 704 288 642 0 4356 0 Current children cumulated CPU time (s) 209.09 Current children cumulated vsize (KiB) 20000 Child status: 0 Real time (s): 209.165 CPU time (s): 209.166 CPU user time (s): 192.261 CPU system time (s): 16.9054 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 20572 getrusage(RUSAGE_CHILDREN,...) data: user time used= 192.261 system time used= 16.9054 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9233276 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= 409 runsolver used 1.14482 second user time and 2.35064 second system time The end
Begin job on node136 at 2011-06-04 10:17:24 IDJOB=3463558 IDBENCH=1868 IDSOLVER=1955 FILE ID=node136/3463558-1307175444 RUNJOBID= node136-1307175382-25363 PBS_JOBID= 13508850 Free space on /tmp= 73840 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-3463558-1307175444/watcher-3463558-1307175444 -o /tmp/evaluation-result-3463558-1307175444/solver-3463558-1307175444 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463558-1307175444.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9b4418c5c34f37121cd9ad7732df64ff RANDOM SEED=123222314 node136.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28929792 kB Buffers: 291684 kB Cached: 543656 kB SwapCached: 7704 kB Active: 3308356 kB Inactive: 418080 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28929792 kB SwapTotal: 67111528 kB SwapFree: 58212616 kB Dirty: 3940 kB Writeback: 0 kB AnonPages: 2889404 kB Mapped: 25400 kB Slab: 155632 kB PageTables: 69112 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 169313132 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73832 MiB End job on node136 at 2011-06-04 10:20:54