Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | 1120 | 430.952 | 431.06 |
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.148976 |
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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2657005-1276356093.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.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.09 c 31 88 71 2180 30 322 698 43 5166 0.01 0.03/0.09 o 2060 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 106 88 188 7959 42 664 698 160 1104 0.10 0.09/0.13 o 2053 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 123 88 227 9414 41 818 698 199 960 0.13 0.09/0.18 o 2045 0.29/0.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.40 c 177 88 367 17490 47 1166 698 339 967 0.18 0.29/0.40 c 277 88 631 32355 51 1697 768 603 975 0.28 0.29/0.40 o 2007 2.79/2.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.80 c 389 88 460 21975 47 1163 698 432 974 0.40 2.79/2.80 c 491 88 381 17894 46 925 768 353 991 0.49 2.79/2.80 c 749 88 702 33564 47 1574 845 674 1046 0.72 2.79/2.80 c 1229 88 461 22517 48 1090 930 433 1119 1.10 2.79/2.80 c 2042 88 856 41301 48 1885 1024 828 1198 1.70 2.79/2.80 c 3364 88 680 32514 47 1531 1127 652 1251 2.69 2.79/2.80 o 1987 8.39/8.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.39/8.42 c 3496 88 1035 49937 48 2314 698 1007 1246 2.81 8.39/8.42 c 3596 88 676 32452 48 1523 768 648 1227 2.93 8.39/8.42 c 3846 88 542 25414 46 1248 845 514 1199 3.21 8.39/8.42 c 4321 88 499 22756 45 1168 930 471 1174 3.68 8.39/8.42 c 5134 88 611 28545 46 1389 1024 583 1155 4.44 8.39/8.42 c 6454 88 707 30803 43 1579 1127 679 1140 5.66 8.39/8.42 c 8536 88 680 32893 48 1535 1240 652 1122 7.60 8.39/8.42 o 1956 12.00/12.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.00/12.03 c 9430 88 849 40956 48 1939 698 821 1119 8.42 12.00/12.03 c 9530 88 634 29937 47 1440 768 606 1117 8.53 12.00/12.03 c 9782 88 783 38769 49 1733 845 755 1117 8.75 12.00/12.03 c 10257 88 482 20632 42 1131 930 454 1118 9.17 12.00/12.03 c 11073 88 698 30343 43 1564 1024 670 1111 9.96 12.00/12.03 c 12393 88 793 34084 42 1759 1127 765 1108 11.18 12.00/12.03 o 1939 12.49/12.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.49/12.50 c 13362 88 593 26768 45 1349 698 565 1110 12.03 12.49/12.50 c 13463 88 488 23107 47 1144 768 460 1109 12.14 12.49/12.50 c 13715 88 643 31638 49 1461 845 615 1108 12.38 12.49/12.50 o 1924 12.78/12.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.78/12.81 c 13862 88 474 23025 48 1184 698 446 1108 12.50 12.78/12.81 c 13963 88 718 35868 49 1677 768 690 1107 12.61 12.78/12.81 o 1886 12.99/13.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.99/13.09 c 14204 88 427 19188 44 1091 698 399 1108 12.81 12.99/13.09 c 14304 88 688 33091 48 1622 768 660 1108 12.91 12.99/13.09 o 1875 28.79/28.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.79/28.80 c 14518 88 413 19311 46 990 698 385 1108 13.10 28.79/28.80 c 14622 88 692 33595 48 1551 768 664 1107 13.21 28.79/28.80 c 14873 88 413 17676 42 995 845 385 1105 13.45 28.79/28.80 c 15352 88 577 25586 44 1332 930 549 1105 13.88 28.79/28.80 c 16165 88 572 25847 45 1312 1024 544 1101 14.67 28.79/28.80 c 17485 88 541 20009 36 1247 1127 513 1088 16.06 28.79/28.80 c 19574 88 1156 47429 41 2476 1240 1128 1073 18.24 28.79/28.80 c 22797 88 962 40211 41 2092 1365 934 1052 21.67 28.79/28.80 c 27733 88 955 40794 42 2080 1502 927 1026 27.00 28.79/28.80 o 1855 32.89/32.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 32.89/32.99 c 29367 88 900 37435 41 2040 698 872 1019 28.80 32.89/32.99 c 29467 88 669 28507 42 1510 768 641 1019 28.91 32.89/32.99 c 29718 88 579 23525 40 1323 845 551 1017 29.20 32.89/32.99 c 30196 88 872 42033 48 1918 930 844 1018 29.64 32.89/32.99 c 31013 88 742 31764 42 1658 1024 714 1018 30.45 32.89/32.99 c 32333 88 656 26142 39 1475 1127 628 1018 31.76 32.89/32.99 o 1854 34.09/34.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 34.09/34.13 c 33550 88 1083 46852 43 2405 698 1055 1017 32.98 34.09/34.13 c 33651 88 673 27821 41 1513 768 645 1016 33.10 34.09/34.13 c 33901 88 564 22917 40 1296 845 536 1016 33.36 34.09/34.13 c 34376 88 526 21691 41 1219 930 498 1016 33.82 34.09/34.13 o 1850 35.58/35.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 35.58/35.66 c 34656 88 828 34637 41 1897 698 800 1015 34.12 35.58/35.66 c 34758 88 681 27410 40 1533 768 653 1015 34.24 35.58/35.66 c 35010 88 558 22258 39 1281 845 530 1014 34.50 35.58/35.66 c 35485 88 573 22629 39 1316 930 545 1013 35.00 35.58/35.66 o 1814 36.58/36.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 36.58/36.68 c 36180 88 918 40850 44 2085 698 890 1014 35.66 36.58/36.68 c 36284 88 674 29195 43 1526 768 646 1014 35.77 36.58/36.68 c 36536 88 533 22280 41 1231 845 505 1014 36.03 36.58/36.68 c 37011 88 452 19583 43 1071 930 424 1014 36.49 36.58/36.68 o 1763 37.48/37.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.48/37.57 c 37203 88 494 21320 43 1148 698 466 1014 36.67 37.48/37.57 c 37305 88 418 16923 40 997 768 390 1013 36.80 37.48/37.57 c 37557 88 709 27154 38 1580 845 681 1013 37.06 37.48/37.57 c 38033 88 582 26348 45 1327 930 554 1013 37.51 37.48/37.57 o 1754 39.28/39.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 39.28/39.35 c 38072 88 691 31452 45 1610 698 663 1013 37.56 39.28/39.35 c 38180 88 599 24768 41 1359 768 571 1013 37.68 39.28/39.35 c 38432 88 413 16589 40 987 845 385 1013 37.93 39.28/39.35 c 38908 88 707 29874 42 1580 930 679 1012 38.41 39.28/39.35 c 39724 88 596 23486 39 1356 1024 568 1012 39.24 39.28/39.35 o 1733 42.18/42.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 42.18/42.29 c 39801 88 819 33838 41 1877 698 791 1011 39.34 42.18/42.29 c 39901 88 677 26544 39 1518 768 649 1011 39.45 42.18/42.29 c 40152 88 545 22504 41 1256 845 517 1010 39.72 42.18/42.29 c 40629 88 492 18540 37 1153 930 464 1009 40.23 42.18/42.29 c 41445 88 602 25023 41 1378 1024 574 1011 40.98 42.18/42.29 c 42767 88 557 23276 41 1286 1127 529 1016 42.09 42.18/42.29 o 1683 42.48/42.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 42.48/42.51 c 42976 88 1116 55237 49 2492 698 1088 1016 42.29 42.48/42.51 c 43081 88 614 30830 50 1401 768 586 1016 42.39 42.48/42.51 o 1625 43.18/43.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 43.18/43.23 c 43189 88 413 19955 48 998 698 385 1016 42.50 43.18/43.23 c 43291 88 652 31770 48 1478 768 624 1016 42.60 43.18/43.23 c 43546 88 415 17244 41 999 845 387 1016 42.84 43.18/43.23 o 1585 46.67/46.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 46.67/46.73 c 43997 88 588 29827 50 1418 698 560 1017 43.22 46.67/46.73 c 44098 88 476 23721 49 1118 768 448 1017 43.33 46.67/46.73 c 44355 88 413 18817 45 996 845 385 1017 43.58 46.67/46.73 c 44833 88 452 20941 46 1075 930 424 1017 44.06 46.67/46.73 c 45648 88 801 38334 47 1773 1024 773 1017 44.86 46.67/46.73 c 46968 88 631 27927 44 1432 1127 603 1019 46.07 46.67/46.73 o 1530 52.58/52.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 52.58/52.68 c 47728 88 736 32640 44 1711 698 708 1021 46.72 52.58/52.68 c 47828 88 639 25685 40 1451 768 611 1021 46.82 52.58/52.68 c 48078 88 492 19263 39 1153 845 464 1021 47.08 52.58/52.68 c 48553 88 454 19202 42 1085 930 426 1021 47.52 52.58/52.68 c 49369 88 917 27026 29 2005 1024 889 1020 48.36 52.58/52.68 c 50690 88 594 21265 35 1361 1127 566 1019 49.70 52.58/52.68 c 52772 88 1107 42131 38 2386 1240 1079 1020 51.73 52.58/52.68 o 1526 66.38/66.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 66.38/66.47 c 53803 88 1038 38838 37 2328 698 1010 1021 52.67 66.38/66.47 c 53904 88 657 22139 33 1484 768 629 1021 52.79 66.38/66.47 c 54157 88 417 13541 32 1006 845 389 1021 53.03 66.38/66.47 c 54632 88 503 15193 30 1176 930 475 1021 53.49 66.38/66.47 c 55450 88 554 21217 38 1281 1024 526 1023 54.20 66.38/66.47 c 56774 88 547 20681 37 1268 1127 519 1024 55.40 66.38/66.47 c 58856 88 1057 41318 39 2287 1240 1029 1026 57.32 66.38/66.47 c 62079 88 1268 48633 38 2710 1365 1240 1028 60.33 66.38/66.47 c 67018 88 1386 59550 42 2945 1502 1358 1028 65.14 66.38/66.47 o 1520 69.37/69.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 69.37/69.48 c 68458 88 780 31366 40 1731 698 752 1030 66.45 69.37/69.48 c 68560 88 663 25318 38 1501 768 635 1029 66.57 69.37/69.48 c 68810 88 481 16695 34 1135 845 453 1029 66.81 69.37/69.48 c 69285 88 830 28323 34 1832 930 802 1029 67.32 69.37/69.48 c 70098 88 739 28614 38 1661 1024 711 1029 68.10 69.37/69.48 c 71418 88 596 17229 28 1366 1127 568 1029 69.35 69.37/69.48 o 1495 72.97/73.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 72.97/73.01 c 71530 88 866 30880 35 1986 698 838 1029 69.46 72.97/73.01 c 71632 88 658 20458 31 1488 768 630 1029 69.57 72.97/73.01 c 71882 88 523 17565 33 1220 845 495 1029 69.81 72.97/73.01 c 72365 88 452 16350 36 1079 930 424 1029 70.27 72.97/73.01 c 73178 88 519 20233 38 1208 1024 491 1030 71.00 72.97/73.01 c 74503 88 963 38247 39 2097 1127 935 1032 72.16 72.97/73.01 o 1493 85.78/85.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 85.78/85.83 c 75333 88 986 32825 33 2216 698 958 1032 72.99 85.78/85.83 c 75434 88 644 24020 37 1453 768 616 1031 73.10 85.78/85.83 c 75684 88 452 16750 37 1071 845 424 1031 73.34 85.78/85.83 c 76161 88 647 25762 39 1461 930 619 1032 73.79 85.78/85.83 c 76976 88 494 16948 34 1156 1024 466 1031 74.65 85.78/85.83 c 78297 88 832 30447 36 1834 1127 804 1031 75.92 85.78/85.83 c 80378 88 676 21859 32 1518 1240 648 1029 78.06 85.78/85.83 c 83602 88 857 36631 42 1885 1365 829 1035 80.75 85.78/85.83 c 88541 88 751 27831 37 1674 1502 723 1035 85.52 85.78/85.83 o 1470 92.38/92.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 92.38/92.49 c 88856 88 780 33285 42 1737 698 752 1035 85.81 92.38/92.49 c 88960 88 677 26653 39 1521 768 649 1035 85.93 92.38/92.49 c 89210 88 491 18851 38 1150 845 463 1035 86.19 92.38/92.49 c 89685 88 775 30130 38 1717 930 747 1035 86.64 92.38/92.49 c 90500 88 722 31219 43 1615 1024 694 1035 87.39 92.38/92.49 c 91822 88 810 32467 40 1791 1127 782 1036 88.56 92.38/92.49 c 93903 88 749 26909 35 1667 1240 721 1038 90.43 92.38/92.49 o 1469 100.86/100.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 100.86/100.99 c 96225 88 998 44242 44 2243 698 970 1040 92.47 100.86/100.99 c 96325 88 612 27872 45 1399 768 584 1040 92.57 100.86/100.99 c 96575 88 443 18896 42 1057 845 415 1040 92.83 100.86/100.99 c 97051 88 677 31059 45 1527 930 649 1040 93.27 100.86/100.99 c 97865 88 564 22663 40 1298 1024 536 1040 94.02 100.86/100.99 c 99187 88 965 36170 37 2101 1127 937 1040 95.30 100.86/100.99 c 101268 88 896 45786 51 1962 1240 868 1040 97.34 100.86/100.99 c 104491 88 1206 56871 47 2585 1365 1178 1040 100.38 100.86/100.99 o 1415 107.46/107.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 107.46/107.58 c 105156 88 1224 56487 46 2693 698 1196 1041 100.96 107.46/107.58 c 105260 88 665 30645 46 1501 768 637 1041 101.07 107.46/107.58 c 105510 88 738 32662 44 1648 845 710 1041 101.30 107.46/107.58 c 105991 88 562 27813 49 1292 930 534 1041 101.74 107.46/107.58 c 106804 88 908 44182 48 1994 1024 880 1041 102.50 107.46/107.58 c 108124 88 991 31465 31 2153 1127 963 1040 103.87 107.46/107.58 c 110207 88 1049 44997 42 2267 1240 1021 1041 105.78 107.46/107.58 o 1407 124.06/124.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 124.06/124.15 c 112089 88 900 35804 39 2041 698 872 1042 107.55 124.06/124.15 c 112189 88 650 25252 38 1471 768 622 1042 107.66 124.06/124.15 c 112447 88 573 19854 34 1313 845 545 1041 107.94 124.06/124.15 c 112926 88 452 15978 35 1073 930 424 1041 108.40 124.06/124.15 c 113743 88 539 19074 35 1249 1024 511 1041 109.20 124.06/124.15 c 115067 88 541 19837 36 1249 1127 513 1041 110.46 124.06/124.15 c 117148 88 656 21449 32 1483 1240 628 1040 112.62 124.06/124.15 c 120371 88 991 36058 36 2156 1365 963 1039 115.84 124.06/124.15 c 125307 88 712 25432 35 1592 1502 684 1037 120.73 124.06/124.15 o 1406 142.86/142.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 142.86/142.93 c 128823 88 1189 49257 41 2615 698 1161 1037 124.12 142.86/142.93 c 128924 88 669 28219 42 1511 768 641 1037 124.23 142.86/142.93 c 129175 88 756 24240 32 1685 845 728 1037 124.46 142.86/142.93 c 129653 88 867 36326 41 1908 930 839 1038 124.88 142.86/142.93 c 130466 88 733 34904 47 1637 1024 705 1038 125.63 142.86/142.93 c 131793 88 993 39982 40 2153 1127 965 1038 126.92 142.86/142.93 c 133874 88 791 22970 29 1750 1240 763 1036 129.11 142.86/142.93 c 137100 88 698 25268 36 1568 1365 670 1035 132.42 142.86/142.93 c 142036 88 1334 40698 30 2836 1502 1306 1037 136.92 142.86/142.93 o 1397 157.05/157.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 157.05/157.19 c 148828 88 1218 44710 36 2702 698 1190 1041 142.89 157.05/157.19 c 148929 88 662 27211 41 1524 768 634 1041 143.00 157.05/157.19 c 149179 88 492 20775 42 1153 845 464 1041 143.26 157.05/157.19 c 149661 88 857 34979 40 1892 930 829 1041 143.73 157.05/157.19 c 150476 88 494 17844 36 1159 1024 466 1041 144.53 157.05/157.19 c 151796 88 715 26856 37 1598 1127 687 1041 145.81 157.05/157.19 c 153877 88 1069 38573 36 2311 1240 1041 1041 147.79 157.05/157.19 c 157103 88 820 29501 35 1809 1365 792 1041 150.88 157.05/157.19 c 162043 88 756 33430 44 1683 1502 728 1041 155.65 157.05/157.19 o 1348 161.25/161.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 161.25/161.36 c 163682 88 1277 52842 41 2798 698 1249 1041 157.15 161.25/161.36 c 163797 88 715 29821 41 1602 768 687 1041 157.27 161.25/161.36 c 164051 88 468 18296 39 1106 845 440 1041 157.52 161.25/161.36 c 164527 88 838 30788 36 1847 930 810 1041 157.98 161.25/161.36 c 165341 88 940 39138 41 2052 1024 912 1041 158.71 161.25/161.36 c 166661 88 613 22749 37 1401 1127 585 1042 159.88 161.25/161.36 o 1345 165.95/166.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 165.95/166.06 c 168217 88 963 38511 39 2175 698 935 1042 161.32 165.95/166.06 c 168318 88 663 27331 41 1498 768 635 1042 161.43 165.95/166.06 c 168571 88 457 19482 42 1083 845 429 1042 161.67 165.95/166.06 c 169047 88 517 18930 36 1203 930 489 1042 162.09 165.95/166.06 c 169866 88 682 22015 32 1540 1024 654 1042 162.91 165.95/166.06 c 171186 88 541 16848 31 1250 1127 513 1041 164.34 165.95/166.06 o 1338 166.95/167.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 166.95/167.09 c 172957 88 715 26738 37 1671 698 687 1041 166.02 166.95/167.09 c 173058 88 625 21665 34 1415 768 597 1041 166.12 166.95/167.09 c 173308 88 436 15058 34 1043 845 408 1041 166.38 166.95/167.09 c 173788 88 807 29639 36 1783 930 779 1041 166.84 166.95/167.09 o 1337 178.65/178.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 178.65/178.71 c 174006 88 900 35311 39 2042 698 872 1041 167.06 178.65/178.71 c 174106 88 616 21540 34 1400 768 588 1041 167.16 178.65/178.71 c 174358 88 447 15730 35 1055 845 419 1041 167.42 178.65/178.71 c 174837 88 812 32214 39 1798 930 784 1041 167.87 178.65/178.71 c 175650 88 630 21826 34 1433 1024 602 1041 168.65 178.65/178.71 c 176975 88 957 32481 33 2084 1127 929 1041 169.90 178.65/178.71 c 179059 88 1039 35563 34 2249 1240 1011 1040 172.01 178.65/178.71 c 182283 88 1206 38532 31 2587 1365 1178 1041 175.03 178.65/178.71 o 1277 180.84/180.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.84/180.94 c 186105 88 1255 51833 41 2759 698 1227 1041 178.67 180.84/180.94 c 186207 88 674 26668 39 1517 768 646 1041 178.77 180.84/180.94 c 186459 88 469 18560 39 1110 845 441 1041 179.00 180.84/180.94 c 186935 88 810 31351 38 1789 930 782 1042 179.40 180.84/180.94 c 187749 88 708 29543 41 1588 1024 680 1042 180.13 180.84/180.94 o 1254 189.94/190.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 189.94/190.05 c 188654 88 716 29320 40 1676 698 688 1042 180.90 189.94/190.05 c 188755 88 569 21051 36 1312 768 541 1042 181.00 189.94/190.05 c 189005 88 744 29468 39 1662 845 716 1042 181.24 189.94/190.05 c 189493 88 456 14383 31 1086 930 428 1042 181.70 189.94/190.05 c 190311 88 565 15241 26 1304 1024 537 1042 182.61 189.94/190.05 c 191631 88 1013 42652 42 2198 1127 985 1042 183.84 189.94/190.05 c 193717 88 1056 36031 34 2286 1240 1028 1040 186.09 189.94/190.05 c 196941 88 649 27241 41 1469 1365 621 1042 188.94 189.94/190.05 o 1217 194.34/194.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 194.34/194.42 c 198205 88 1234 58564 47 2745 698 1206 1043 190.00 194.34/194.42 c 198307 88 651 24998 38 1477 768 623 1043 190.12 194.34/194.42 c 198559 88 504 15133 30 1182 845 476 1042 190.38 194.34/194.42 c 199043 88 869 32853 37 1909 930 841 1042 190.86 194.34/194.42 c 199856 88 500 18243 36 1171 1024 472 1042 191.63 194.34/194.42 c 201176 88 1017 33098 32 2205 1127 989 1042 192.91 194.34/194.42 o 1204 208.34/208.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 208.34/208.43 c 202626 88 659 21930 33 1565 698 631 1042 194.38 208.34/208.43 c 202726 88 468 14528 31 1108 768 440 1042 194.50 208.34/208.43 c 202980 88 587 17065 29 1347 845 559 1042 194.74 208.34/208.43 c 203461 88 832 27773 33 1834 930 804 1042 195.16 208.34/208.43 c 204275 88 734 24508 33 1640 1024 706 1042 195.94 208.34/208.43 c 205597 88 985 30044 30 2139 1127 957 1043 197.09 208.34/208.43 c 207682 88 868 32685 37 1908 1240 840 1043 199.06 208.34/208.43 c 210909 88 1058 44639 42 2289 1365 1030 1043 202.11 208.34/208.43 c 215849 88 903 31498 34 1999 1502 875 1042 206.98 208.34/208.43 o 1196 225.03/225.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 225.03/225.19 c 217386 88 1015 38653 38 2277 698 987 1043 208.38 225.03/225.19 c 217487 88 637 25474 39 1446 768 609 1043 208.47 225.03/225.19 c 217738 88 415 14861 35 1003 845 387 1043 208.71 225.03/225.19 c 218214 88 616 21788 35 1403 930 588 1043 209.12 225.03/225.19 c 219030 88 606 20573 33 1384 1024 578 1043 209.86 225.03/225.19 c 220350 88 590 18174 30 1352 1127 562 1043 211.19 225.03/225.19 c 222433 88 595 20616 34 1361 1240 567 1042 213.28 225.03/225.19 c 225656 88 1105 38937 35 2379 1365 1077 1042 216.38 225.03/225.19 c 230595 88 1080 34035 31 2335 1502 1052 1042 221.19 225.03/225.19 o 1147 236.33/236.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 236.33/236.47 c 234709 88 1526 51917 34 3303 698 1498 1042 225.14 236.33/236.47 c 234809 88 649 19361 29 1470 768 621 1042 225.25 236.33/236.47 c 235061 88 422 11758 27 1015 845 394 1042 225.51 236.33/236.47 c 235540 88 653 19715 30 1475 930 625 1042 225.96 236.33/236.47 c 236366 88 950 33503 35 2079 1024 922 1042 226.72 236.33/236.47 c 237689 88 625 20842 33 1421 1127 597 1042 227.94 236.33/236.47 c 239775 88 845 31551 37 1861 1240 817 1043 229.71 236.33/236.47 c 243000 88 1160 37863 32 2494 1365 1132 1043 232.84 236.33/236.47 o 1128 376.69/376.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 376.69/376.89 c 246774 88 1063 35866 33 2369 698 1035 1043 236.41 376.69/376.89 c 246874 88 646 20063 31 1463 768 618 1043 236.51 376.69/376.89 c 247124 88 429 12415 28 1028 845 401 1043 236.75 376.69/376.89 c 247599 88 689 20538 29 1546 930 661 1043 237.20 376.69/376.89 c 248412 88 501 17157 34 1170 1024 473 1043 237.96 376.69/376.89 c 249736 88 634 22187 34 1437 1127 606 1044 239.19 376.69/376.89 c 251823 88 710 21973 30 1591 1240 682 1044 241.19 376.69/376.89 c 255049 88 957 33878 35 2084 1365 929 1044 244.28 376.69/376.89 c 259986 88 1158 37257 32 2489 1502 1130 1045 248.78 376.69/376.89 c 267492 88 787 23067 29 1745 1653 759 1043 256.24 376.69/376.89 c 278855 88 910 30014 32 1993 1819 882 1044 267.09 376.69/376.89 c 296006 88 1684 58538 34 3540 2001 1656 1040 284.51 376.69/376.89 c 321829 88 1037 32353 31 2248 2202 1009 1033 311.33 376.69/376.89 c 360663 83 1213 37708 31 2594 2423 1185 1025 351.69 376.69/376.89 o 1120 430.89/431.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 430.89/431.06 c 385040 83 1406 46269 32 3052 688 1378 1021 376.80 430.89/431.06 c 385143 83 609 18129 29 1385 757 581 1021 376.91 430.89/431.06 c 385393 83 693 21569 31 1552 833 665 1021 377.20 430.89/431.06 c 385873 83 690 22665 32 1547 917 662 1021 377.71 430.89/431.06 c 386687 83 710 22269 31 1587 1009 682 1021 378.47 430.89/431.06 c 388007 83 546 15249 27 1259 1110 518 1021 379.69 430.89/431.06 c 390088 83 968 32303 33 2102 1222 940 1022 381.60 430.89/431.06 c 393313 83 842 23546 27 1849 1345 814 1023 384.40 430.89/431.06 c 398253 83 1246 41342 33 2657 1480 1218 1024 388.80 430.89/431.06 c 405761 83 1191 35829 30 2548 1629 1163 1025 395.69 430.89/431.06 c 417125 83 1455 42493 29 3077 1792 1427 1025 406.61 430.89/431.06 c 434271 83 1805 65251 36 3779 1972 1777 1026 423.03 430.89/431.06 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 430.89/431.06 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 430.89/431.06 c 265 442792 77688 734195 1886 46868 1858 1027 430.95 430.89/431.06 c Objective: 1120 430.89/431.06 s OPTIMUM FOUND 430.89/431.06 c Total time: 430.95 s
OK 1120
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657005-1276356093/watcher-2657005-1276356093 -o /tmp/evaluation-result-2657005-1276356093/solver-2657005-1276356093 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2657005-1276356093.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/107 12354 /proc/meminfo: memFree=1857584/2059040 swapFree=4140272/4192956 [pid=12354] ppid=12352 vsize=26920 CPUtime=0 /proc/12354/stat : 12354 (bsolo_pb10) R 12352 12354 11698 0 -1 4202496 499 0 0 0 0 0 0 0 20 0 1 0 9265060 27566080 364 1992294400 134512640 137138936 4292628240 18446744073709551615 135445326 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12354/statm: 6730 364 284 642 0 6086 0 [startup+0.0417219 s] /proc/loadavg: 1.00 1.00 1.00 3/107 12354 /proc/meminfo: memFree=1857584/2059040 swapFree=4140272/4192956 [pid=12354] ppid=12352 vsize=26940 CPUtime=0.03 /proc/12354/stat : 12354 (bsolo_pb10) R 12352 12354 11698 0 -1 4202496 1848 0 0 0 3 0 0 0 20 0 1 0 9265060 27586560 368 1992294400 134512640 137138936 4292628240 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12354/statm: 6735 370 285 642 0 6091 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 26940 [startup+0.101727 s] /proc/loadavg: 1.00 1.00 1.00 3/107 12354 /proc/meminfo: memFree=1857584/2059040 swapFree=4140272/4192956 [pid=12354] ppid=12352 vsize=19196 CPUtime=0.09 /proc/12354/stat : 12354 (bsolo_pb10) R 12352 12354 11698 0 -1 4202496 3261 0 0 0 8 1 0 0 20 0 1 0 9265060 19656704 386 1992294400 134512640 137138936 4292628240 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12354/statm: 4680 373 287 642 0 4036 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19196 [startup+0.301745 s] /proc/loadavg: 1.00 1.00 1.00 3/107 12354 /proc/meminfo: memFree=1857584/2059040 swapFree=4140272/4192956 [pid=12354] ppid=12352 vsize=19528 CPUtime=0.29 /proc/12354/stat : 12354 (bsolo_pb10) R 12352 12354 11698 0 -1 4202496 6366 0 0 0 27 2 0 0 20 0 1 0 9265060 19996672 519 1992294400 134512640 137138936 4292628240 18446744073709551615 135388135 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12354/statm: 4882 519 287 642 0 4238 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19528 [startup+0.70178 s] /proc/loadavg: 1.00 1.00 1.00 3/107 12354 /proc/meminfo: memFree=1857584/2059040 swapFree=4140272/4192956 [pid=12354] ppid=12352 vsize=19868 CPUtime=0.69 /proc/12354/stat : 12354 (bsolo_pb10) R 12352 12354 11698 0 -1 4202496 8658 0 0 0 66 3 0 0 21 0 1 0 9265060 20344832 593 1992294400 134512640 137138936 4292628240 18446744073709551615 135344501 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12354/statm: 4967 593 287 642 0 4323 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19868 [startup+1.50085 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12355 /proc/meminfo: memFree=1856088/2059040 swapFree=4140272/4192956 [pid=12354] ppid=12352 vsize=19872 CPUtime=1.49 /proc/12354/stat : 12354 (bsolo_pb10) R 12352 12354 11698 0 -1 4202496 8720 0 0 0 146 3 0 0 22 0 1 0 9265060 20348928 655 1992294400 134512640 137138936 4292628240 18446744073709551615 134609268 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12354/statm: 4968 655 287 642 0 4324 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19872 [startup+3.101 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12355 /proc/meminfo: memFree=1855840/2059040 swapFree=4140272/4192956 [pid=12354] ppid=12352 vsize=19432 CPUtime=3.09 /proc/12354/stat : 12354 (bsolo_pb10) R 12352 12354 11698 0 -1 4202496 16306 0 0 0 302 7 0 0 25 0 1 0 9265060 19898368 576 1992294400 134512640 137138936 4292628240 18446744073709551615 135783012 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12354/statm: 4938 581 287 642 0 4294 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19432 [startup+6.30128 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12355 /proc/meminfo: memFree=1855592/2059040 swapFree=4140272/4192956 [pid=12354] ppid=12352 vsize=19960 CPUtime=6.29 /proc/12354/stat : 12354 (bsolo_pb10) R 12352 12354 11698 0 -1 4202496 95699 0 0 0 587 42 0 0 25 0 1 0 9265060 20439040 583 1992294400 134512640 137138936 4292628240 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12354/statm: 4940 580 287 642 0 4296 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19960 [startup+12.7009 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12355 /proc/meminfo: memFree=1855468/2059040 swapFree=4140272/4192956 [pid=12354] ppid=12352 vsize=19524 CPUtime=12.68 /proc/12354/stat : 12354 (bsolo_pb10) R 12352 12354 11698 0 -1 4202496 261196 0 0 0 1157 111 0 0 25 0 1 0 9265060 19992576 586 1992294400 134512640 137138936 4292628240 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12354/statm: 4881 586 287 642 0 4237 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19524 [startup+25.501 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12355 /proc/meminfo: memFree=1855468/2059040 swapFree=4140272/4192956 [pid=12354] ppid=12352 vsize=19868 CPUtime=25.49 /proc/12354/stat : 12354 (bsolo_pb10) R 12352 12354 11698 0 -1 4202496 544921 0 0 0 2317 232 0 0 25 0 1 0 9265060 20344832 592 1992294400 134512640 137138936 4292628240 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12354/statm: 5017 593 287 642 0 4373 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 19868 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12357 /proc/meminfo: memFree=1855468/2059040 swapFree=4140272/4192956 [pid=12354] ppid=12352 vsize=19540 CPUtime=51.07 /proc/12354/stat : 12354 (bsolo_pb10) R 12352 12354 11698 0 -1 4202496 1099272 0 0 0 4630 477 0 0 25 0 1 0 9265060 20008960 603 1992294400 134512640 137138936 4292628240 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12354/statm: 4885 603 287 642 0 4241 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 19540 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12357 /proc/meminfo: memFree=1855220/2059040 swapFree=4140272/4192956 [pid=12354] ppid=12352 vsize=20180 CPUtime=102.27 /proc/12354/stat : 12354 (bsolo_pb10) R 12352 12354 11698 0 -1 4202496 2275211 0 0 0 9241 986 0 0 25 0 1 0 9265060 20664320 617 1992294400 134512640 137138936 4292628240 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12354/statm: 5045 617 287 642 0 4401 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 20180 [startup+162.301 s] /proc/loadavg: 1.07 1.02 1.00 2/108 12359 /proc/meminfo: memFree=1855096/2059040 swapFree=4140272/4192956 [pid=12354] ppid=12352 vsize=20172 CPUtime=162.24 /proc/12354/stat : 12354 (bsolo_pb10) R 12352 12354 11698 0 -1 4202496 3608966 0 0 0 14640 1584 0 0 25 0 1 0 9265060 20656128 629 1992294400 134512640 137138936 4292628240 18446744073709551615 134732330 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12354/statm: 5043 629 288 642 0 4399 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 20172 [startup+222.302 s] /proc/loadavg: 1.02 1.01 1.00 2/108 12361 /proc/meminfo: memFree=1855096/2059040 swapFree=4140272/4192956 [pid=12354] ppid=12352 vsize=19960 CPUtime=222.23 /proc/12354/stat : 12354 (bsolo_pb10) R 12352 12354 11698 0 -1 4202496 4789804 0 0 0 20103 2120 0 0 25 0 1 0 9265060 20439040 628 1992294400 134512640 137138936 4292628240 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12354/statm: 4990 628 288 642 0 4346 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 19960 [startup+282.301 s] /proc/loadavg: 1.01 1.00 1.00 2/108 12363 /proc/meminfo: memFree=1855096/2059040 swapFree=4140272/4192956 [pid=12354] ppid=12352 vsize=20300 CPUtime=282.22 /proc/12354/stat : 12354 (bsolo_pb10) R 12352 12354 11698 0 -1 4202496 6038498 0 0 0 25560 2662 0 0 25 0 1 0 9265060 20787200 645 1992294400 134512640 137138936 4292628240 18446744073709551615 135251204 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12354/statm: 5075 645 288 642 0 4431 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 20300 [startup+342.301 s] /proc/loadavg: 1.04 1.01 1.00 2/108 12365 /proc/meminfo: memFree=1854848/2059040 swapFree=4140272/4192956 [pid=12354] ppid=12352 vsize=20020 CPUtime=342.2 /proc/12354/stat : 12354 (bsolo_pb10) R 12352 12354 11698 0 -1 4202496 7401524 0 0 0 30986 3234 0 0 25 0 1 0 9265060 20500480 700 1992294400 134512640 137138936 4292628240 18446744073709551615 134556482 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12354/statm: 5005 700 288 642 0 4361 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 20020 [startup+402.302 s] /proc/loadavg: 1.06 1.03 1.00 2/108 12365 /proc/meminfo: memFree=1854848/2059040 swapFree=4140272/4192956 [pid=12354] ppid=12352 vsize=20000 CPUtime=402.19 /proc/12354/stat : 12354 (bsolo_pb10) R 12352 12354 11698 0 -1 4202496 8748544 0 0 0 36385 3834 0 0 25 0 1 0 9265060 20480000 707 1992294400 134512640 137138936 4292628240 18446744073709551615 134750265 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12354/statm: 5080 711 288 642 0 4436 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 20000 Solver just ended. Dumping a history of the last processes samples [startup+409.501 s] /proc/loadavg: 1.05 1.02 1.00 2/108 12365 /proc/meminfo: memFree=1854848/2059040 swapFree=4140272/4192956 [pid=12354] ppid=12352 vsize=20480 CPUtime=409.39 /proc/12354/stat : 12354 (bsolo_pb10) R 12352 12354 11698 0 -1 4202496 8883515 0 0 0 37045 3894 0 0 25 0 1 0 9265060 20971520 712 1992294400 134512640 137138936 4292628240 18446744073709551615 135251101 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12354/statm: 5120 712 288 642 0 4476 0 Current children cumulated CPU time (s) 409.39 Current children cumulated vsize (KiB) 20480 [startup+422.3 s] /proc/loadavg: 1.11 1.04 1.00 2/108 12367 /proc/meminfo: memFree=1854848/2059040 swapFree=4140272/4192956 [pid=12354] ppid=12352 vsize=20320 CPUtime=422.2 /proc/12354/stat : 12354 (bsolo_pb10) R 12352 12354 11698 0 -1 4202496 9083654 0 0 0 38224 3996 0 0 25 0 1 0 9265060 20807680 711 1992294400 134512640 137138936 4292628240 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12354/statm: 5000 707 288 642 0 4356 0 Current children cumulated CPU time (s) 422.2 Current children cumulated vsize (KiB) 20320 [startup+425.501 s] /proc/loadavg: 1.11 1.04 1.00 2/108 12367 /proc/meminfo: memFree=1854848/2059040 swapFree=4140272/4192956 [pid=12354] ppid=12352 vsize=20000 CPUtime=425.39 /proc/12354/stat : 12354 (bsolo_pb10) R 12352 12354 11698 0 -1 4202496 9130582 0 0 0 38519 4020 0 0 25 0 1 0 9265060 20480000 707 1992294400 134512640 137138936 4292628240 18446744073709551615 134623217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12354/statm: 5040 708 288 642 0 4396 0 Current children cumulated CPU time (s) 425.39 Current children cumulated vsize (KiB) 20000 [startup+428.702 s] /proc/loadavg: 1.10 1.04 1.00 2/108 12367 /proc/meminfo: memFree=1854848/2059040 swapFree=4140272/4192956 [pid=12354] ppid=12352 vsize=20320 CPUtime=428.59 /proc/12354/stat : 12354 (bsolo_pb10) R 12352 12354 11698 0 -1 4202496 9180084 0 0 0 38815 4044 0 0 25 0 1 0 9265060 20807680 710 1992294400 134512640 137138936 4292628240 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12354/statm: 5080 711 288 642 0 4436 0 Current children cumulated CPU time (s) 428.59 Current children cumulated vsize (KiB) 20320 [startup+430.301 s] /proc/loadavg: 1.10 1.04 1.00 2/108 12367 /proc/meminfo: memFree=1854848/2059040 swapFree=4140272/4192956 [pid=12354] ppid=12352 vsize=20320 CPUtime=430.18 /proc/12354/stat : 12354 (bsolo_pb10) R 12352 12354 11698 0 -1 4202496 9205800 0 0 0 38961 4057 0 0 25 0 1 0 9265060 20807680 711 1992294400 134512640 137138936 4292628240 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12354/statm: 5080 711 288 642 0 4436 0 Current children cumulated CPU time (s) 430.18 Current children cumulated vsize (KiB) 20320 [startup+430.701 s] /proc/loadavg: 1.10 1.04 1.00 2/108 12367 /proc/meminfo: memFree=1854848/2059040 swapFree=4140272/4192956 [pid=12354] ppid=12352 vsize=20320 CPUtime=430.59 /proc/12354/stat : 12354 (bsolo_pb10) R 12352 12354 11698 0 -1 4202496 9211719 0 0 0 38998 4061 0 0 25 0 1 0 9265060 20807680 711 1992294400 134512640 137138936 4292628240 18446744073709551615 134732319 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12354/statm: 5000 707 288 642 0 4356 0 Current children cumulated CPU time (s) 430.59 Current children cumulated vsize (KiB) 20320 [startup+430.901 s] /proc/loadavg: 1.10 1.04 1.00 2/108 12367 /proc/meminfo: memFree=1854848/2059040 swapFree=4140272/4192956 [pid=12354] ppid=12352 vsize=20000 CPUtime=430.79 /proc/12354/stat : 12354 (bsolo_pb10) R 12352 12354 11698 0 -1 4202496 9214460 0 0 0 39017 4062 0 0 25 0 1 0 9265060 20480000 707 1992294400 134512640 137138936 4292628240 18446744073709551615 136504089 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12354/statm: 5000 707 288 642 0 4356 0 Current children cumulated CPU time (s) 430.79 Current children cumulated vsize (KiB) 20000 [startup+431.001 s] /proc/loadavg: 1.10 1.04 1.00 2/108 12367 /proc/meminfo: memFree=1854848/2059040 swapFree=4140272/4192956 [pid=12354] ppid=12352 vsize=20320 CPUtime=430.89 /proc/12354/stat : 12354 (bsolo_pb10) R 12352 12354 11698 0 -1 4202496 9215758 0 0 0 39026 4063 0 0 25 0 1 0 9265060 20807680 711 1992294400 134512640 137138936 4292628240 18446744073709551615 134732280 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12354/statm: 5080 712 288 642 0 4436 0 Current children cumulated CPU time (s) 430.89 Current children cumulated vsize (KiB) 20320 Child status: 0 Real time (s): 431.06 CPU time (s): 430.952 CPU user time (s): 390.318 CPU system time (s): 40.6348 CPU usage (%): 99.9751 Max. virtual memory (cumulated for all children) (KiB): 26940 getrusage(RUSAGE_CHILDREN,...) data: user time used= 390.318 system time used= 40.6348 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9216593 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 582 runsolver used 0.776881 second user time and 1.9877 second system time The end
Begin job on node025 at 2010-06-12 17:21:33 IDJOB=2657005 IDBENCH=1868 IDSOLVER=1162 FILE ID=node025/2657005-1276356093 PBS_JOBID= 11173200 Free space on /tmp= 62540 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657005-1276356093/watcher-2657005-1276356093 -o /tmp/evaluation-result-2657005-1276356093/solver-2657005-1276356093 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2657005-1276356093.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9b4418c5c34f37121cd9ad7732df64ff RANDOM SEED=487863843 node025.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 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.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1857996 kB Buffers: 12652 kB Cached: 95780 kB SwapCached: 8192 kB Active: 50180 kB Inactive: 73152 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1857996 kB SwapTotal: 4192956 kB SwapFree: 4140272 kB Dirty: 3876 kB Writeback: 0 kB AnonPages: 10880 kB Mapped: 12920 kB Slab: 55756 kB PageTables: 4060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183008 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62536 MiB End job on node025 at 2010-06-12 17:28:44