Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | OPT | 1120 | 434.205 | 434.328 |
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.623904 |
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.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1877564-1245134030.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.001 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 0 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.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 31 88 66 1927 29 312 698 38 6200 0.01 0.00/0.05 o 2073 0.06/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.06/0.09 c 68 88 124 4816 38 540 698 96 1283 0.05 0.06/0.09 o 1956 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 100 88 165 6433 38 693 698 137 1098 0.09 0.09/0.14 o 1947 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 140 88 227 9251 40 889 698 199 979 0.14 0.09/0.16 o 1866 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 152 88 240 9799 40 985 698 212 932 0.16 0.09/0.17 o 1840 0.29/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 157 88 250 10103 40 1077 698 222 882 0.18 0.29/0.37 c 258 88 369 14650 39 1325 768 341 1036 0.25 0.29/0.37 o 1790 0.59/0.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.61 c 408 88 725 32751 45 2119 698 697 1085 0.38 0.59/0.61 c 510 88 536 23736 44 1242 768 508 1082 0.47 0.59/0.61 o 1788 1.00/1.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.03 c 671 88 413 19589 47 996 698 385 1096 0.61 1.00/1.03 c 771 88 556 27087 48 1282 768 528 1133 0.68 1.00/1.03 c 1023 88 562 26676 47 1295 845 534 1157 0.88 1.00/1.03 o 1782 1.19/1.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.26 c 1195 88 852 41767 49 1946 698 824 1159 1.03 1.19/1.26 c 1295 88 530 24208 45 1226 768 502 1163 1.11 1.19/1.26 o 1743 3.49/3.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.58 c 1475 88 413 18257 44 994 698 385 1166 1.26 3.49/3.58 c 1576 88 645 30274 46 1456 768 617 1158 1.36 3.49/3.58 c 1828 88 464 22647 48 1095 845 436 1118 1.63 3.49/3.58 c 2304 88 753 39574 52 1671 930 725 1067 2.16 3.49/3.58 c 3118 88 676 34186 50 1517 1024 648 1041 3.00 3.49/3.58 o 1689 4.58/4.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.58/4.68 c 3772 88 1012 50110 49 2267 698 984 1054 3.58 4.58/4.68 c 3872 88 621 30843 49 1410 768 593 1050 3.69 4.58/4.68 c 4124 88 651 32061 49 1471 845 623 1050 3.92 4.58/4.68 c 4600 88 707 33608 47 1582 930 679 1056 4.36 4.58/4.68 o 1635 6.69/6.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.69/6.73 c 4956 88 848 40772 48 1936 698 820 1057 4.68 6.69/6.73 c 5058 88 656 29987 45 1478 768 628 1056 4.79 6.69/6.73 c 5308 88 428 18890 44 1021 845 400 1057 5.02 6.69/6.73 c 5785 88 638 27879 43 1442 930 610 1063 5.44 6.69/6.73 c 6601 88 534 24289 45 1235 1024 506 1071 6.16 6.69/6.73 o 1630 9.29/9.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.29/9.39 c 7281 88 541 24077 44 1248 698 513 1082 6.73 9.29/9.39 c 7381 88 413 18074 43 993 768 385 1081 6.83 9.29/9.39 c 7631 88 632 28344 44 1435 845 604 1079 7.07 9.29/9.39 c 8106 88 815 36976 45 1801 930 787 1079 7.51 9.29/9.39 c 8920 88 619 29216 47 1406 1024 591 1085 8.21 9.29/9.39 c 10242 88 691 30324 43 1549 1127 663 1103 9.28 9.29/9.39 o 1626 9.49/9.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.49/9.55 c 10361 88 988 44819 45 2216 698 960 1102 9.39 9.49/9.55 c 10461 88 669 29354 43 1504 768 641 1102 9.49 9.49/9.55 o 1606 12.79/12.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.79/12.87 c 10520 88 413 17422 42 991 698 385 1101 9.55 12.79/12.87 c 10623 88 709 30207 42 1585 768 681 1100 9.65 12.79/12.87 c 10873 88 506 20561 40 1180 845 478 1100 9.88 12.79/12.87 c 11349 88 751 32530 43 1671 930 723 1101 10.30 12.79/12.87 c 12165 88 701 30436 43 1570 1024 673 1101 11.04 12.79/12.87 c 13485 88 541 24312 44 1249 1127 513 1110 12.14 12.79/12.87 o 1577 14.78/14.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.78/14.84 c 14454 88 1017 49602 48 2273 698 989 1122 12.87 14.78/14.84 c 14554 88 659 30560 46 1480 768 631 1122 12.96 14.78/14.84 c 14805 88 437 19184 43 1038 845 409 1125 13.16 14.78/14.84 c 15280 88 645 27285 42 1461 930 617 1132 13.50 14.78/14.84 c 16094 88 612 25980 42 1390 1024 584 1142 14.08 14.78/14.84 o 1571 15.49/15.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.49/15.59 c 17121 88 766 32454 42 1773 698 738 1154 14.84 15.49/15.59 c 17221 88 666 27901 41 1499 768 638 1153 14.93 15.49/15.59 c 17473 88 432 17603 40 1031 845 404 1153 15.15 15.49/15.59 c 17948 88 491 17009 34 1148 930 463 1155 15.54 15.49/15.59 o 1544 15.58/15.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.58/15.66 c 17981 88 562 20624 36 1371 698 534 1153 15.59 15.58/15.66 o 1522 15.98/16.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.98/16.05 c 18043 88 725 29228 40 1766 698 697 1152 15.66 15.98/16.05 c 18143 88 601 25122 41 1366 768 573 1150 15.76 15.98/16.05 c 18393 88 413 18319 44 991 845 385 1149 16.00 15.98/16.05 o 1512 26.58/26.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.58/26.60 c 18434 88 514 23453 45 1270 698 486 1148 16.05 26.58/26.60 c 18534 88 378 16413 43 925 768 350 1147 16.15 26.58/26.60 c 18785 88 457 19213 42 1084 845 429 1147 16.37 26.58/26.60 c 19260 88 735 33624 45 1642 930 707 1146 16.80 26.58/26.60 c 20073 88 878 40785 46 1925 1024 850 1142 17.57 26.58/26.60 c 21393 88 979 42355 43 2131 1127 951 1143 18.71 26.58/26.60 c 23478 88 1111 49698 44 2391 1240 1083 1145 20.50 26.58/26.60 c 26701 88 991 45387 45 2168 1365 963 1138 23.45 26.58/26.60 o 1508 30.28/30.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.28/30.34 c 30188 88 1324 60323 45 2888 698 1296 1135 26.59 30.28/30.34 c 30289 88 639 28468 44 1445 768 611 1134 26.70 30.28/30.34 c 30539 88 457 18943 41 1084 845 429 1133 26.93 30.28/30.34 c 31014 88 800 33535 41 1770 930 772 1132 27.38 30.28/30.34 c 31829 88 500 19746 39 1171 1024 472 1129 28.18 30.28/30.34 c 33150 88 1008 41729 41 2189 1127 980 1127 29.39 30.28/30.34 o 1505 42.48/42.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 42.48/42.55 c 34185 88 1005 41876 41 2253 698 977 1127 30.33 42.48/42.55 c 34285 88 625 24840 39 1412 768 597 1126 30.44 42.48/42.55 c 34535 88 795 31609 39 1759 845 767 1125 30.67 42.48/42.55 c 35015 88 525 19977 38 1220 930 497 1125 31.12 42.48/42.55 c 35831 88 607 24378 40 1383 1024 579 1122 31.93 42.48/42.55 c 37158 88 541 22562 41 1250 1127 513 1121 33.14 42.48/42.55 c 39239 88 1106 48810 44 2378 1240 1078 1120 35.02 42.48/42.55 c 42467 88 877 36651 41 1924 1365 849 1115 38.07 42.48/42.55 o 1504 48.18/48.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 48.18/48.26 c 47205 88 1361 58890 43 2967 698 1333 1109 42.54 48.18/48.26 c 47307 88 684 24151 35 1532 768 656 1108 42.66 48.18/48.26 c 47559 88 602 19791 32 1370 845 574 1107 42.94 48.18/48.26 c 48035 88 647 22310 34 1461 930 619 1106 43.43 48.18/48.26 c 48850 88 885 34091 38 1944 1024 857 1106 44.16 48.18/48.26 c 50181 88 900 37837 42 1972 1127 872 1104 45.45 48.18/48.26 c 52262 88 702 22228 31 1576 1240 674 1096 47.68 48.18/48.26 o 1497 54.17/54.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 54.17/54.20 c 52859 88 705 28074 39 1660 698 677 1095 48.25 54.17/54.20 c 52960 88 555 23761 42 1286 768 527 1095 48.36 54.17/54.20 c 53213 88 711 30175 42 1593 845 683 1094 48.62 54.17/54.20 c 53688 88 545 21270 39 1266 930 517 1094 49.07 54.17/54.20 c 54503 88 494 18404 37 1157 1024 466 1093 49.84 54.17/54.20 c 55823 88 541 20103 37 1251 1127 513 1094 50.99 54.17/54.20 c 57911 88 905 35422 39 1979 1240 877 1094 52.93 54.17/54.20 o 1488 61.18/61.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 61.18/61.28 c 59489 88 869 39982 46 1978 698 841 1097 54.19 61.18/61.28 c 59589 88 646 25435 39 1464 768 618 1097 54.30 61.18/61.28 c 59839 88 434 16166 37 1039 845 406 1097 54.54 61.18/61.28 c 60323 88 659 28845 43 1489 930 631 1097 54.97 61.18/61.28 c 61138 88 920 40972 44 2025 1024 892 1098 55.67 61.18/61.28 c 62462 88 697 28272 40 1564 1127 669 1097 56.90 61.18/61.28 c 64543 88 1102 44272 40 2377 1240 1074 1098 58.73 61.18/61.28 o 1481 61.27/61.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 61.27/61.34 c 67431 88 711 28325 39 1665 698 683 1100 61.27 61.27/61.34 o 1430 61.38/61.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 61.38/61.42 c 67466 88 415 15888 38 1072 698 387 1100 61.32 61.38/61.42 o 1429 61.48/61.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 61.48/61.51 c 67539 88 584 25051 42 1505 698 556 1099 61.40 61.48/61.51 o 1422 70.57/70.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 70.57/70.61 c 67622 88 378 15062 39 927 698 350 1099 61.49 70.57/70.61 c 67723 88 612 27218 44 1395 768 584 1099 61.59 70.57/70.61 c 67973 88 668 30875 46 1503 845 640 1099 61.81 70.57/70.61 c 68450 88 577 25471 44 1324 930 549 1098 62.33 70.57/70.61 c 69264 88 757 32455 42 1683 1024 729 1097 63.10 70.57/70.61 c 70585 88 891 40733 45 1954 1127 863 1097 64.30 70.57/70.61 c 72666 88 882 36109 40 1934 1240 854 1099 66.11 70.57/70.61 c 75892 88 776 30276 39 1725 1365 748 1100 68.95 70.57/70.61 o 1375 71.57/71.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 71.57/71.66 c 77783 88 712 32996 46 1593 698 684 1101 70.60 71.57/71.66 c 77890 88 633 29084 45 1436 768 605 1101 70.73 71.57/71.66 c 78140 88 459 20274 44 1088 845 431 1100 70.99 71.57/71.66 c 78616 88 698 33335 47 1566 930 670 1100 71.45 71.57/71.66 o 1364 94.87/94.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 94.87/94.94 c 78823 88 657 31402 47 1558 698 629 1100 71.64 94.87/94.94 c 78925 88 528 25312 47 1227 768 500 1100 71.75 94.87/94.94 c 79177 88 719 31590 43 1606 845 691 1099 71.99 94.87/94.94 c 79654 88 595 24342 40 1363 930 567 1099 72.48 94.87/94.94 c 80467 88 746 29719 39 1664 1024 718 1099 73.18 94.87/94.94 c 81788 88 747 29267 39 1667 1127 719 1098 74.48 94.87/94.94 c 83869 88 670 28375 42 1512 1240 642 1098 76.37 94.87/94.94 c 87094 88 888 36871 41 1946 1365 860 1097 79.38 94.87/94.94 c 92030 88 1303 50523 38 2780 1502 1275 1094 84.10 94.87/94.94 c 99536 88 815 30129 36 1800 1653 787 1092 91.11 94.87/94.94 o 1358 102.56/102.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 102.56/102.62 c 103767 88 1488 57184 38 3221 698 1460 1093 94.92 102.56/102.62 c 103869 88 640 23448 36 1452 768 612 1093 95.03 102.56/102.62 c 104132 88 415 14459 34 1002 845 387 1092 95.27 102.56/102.62 c 104607 88 666 25877 38 1503 930 638 1092 95.71 102.56/102.62 c 105420 88 675 24967 36 1519 1024 647 1092 96.48 102.56/102.62 c 106741 88 887 33882 38 1941 1127 859 1092 97.70 102.56/102.62 c 108822 88 1070 37250 34 2314 1240 1042 1092 99.64 102.56/102.62 o 1356 107.66/107.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 107.66/107.70 c 112003 88 1170 42422 36 2584 698 1142 1091 102.59 107.66/107.70 c 112107 88 684 22806 33 1540 768 656 1091 102.71 107.66/107.70 c 112359 88 584 19661 33 1338 845 556 1091 102.97 107.66/107.70 c 112834 88 582 18161 31 1331 930 554 1090 103.43 107.66/107.70 c 113648 88 494 17310 35 1158 1024 466 1090 104.20 107.66/107.70 c 114968 88 618 21354 34 1405 1127 590 1090 105.44 107.66/107.70 c 117052 88 780 28782 36 1733 1240 752 1091 107.28 107.66/107.70 o 1350 112.26/112.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 112.26/112.32 c 117518 88 1180 48975 41 2606 698 1152 1091 107.68 112.26/112.32 c 117618 88 626 25751 41 1419 768 598 1091 107.77 112.26/112.32 c 117868 88 447 15554 34 1061 845 419 1091 108.01 112.26/112.32 c 118346 88 836 25607 30 1841 930 808 1091 108.45 112.26/112.32 c 119159 88 756 24442 32 1684 1024 728 1091 109.17 112.26/112.32 c 120483 88 775 24181 31 1717 1127 747 1091 110.35 112.26/112.32 c 122566 88 789 23641 29 1750 1240 761 1092 112.16 112.26/112.32 o 1339 120.75/120.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 120.75/120.84 c 122709 88 1191 39455 33 2623 698 1163 1092 112.29 120.75/120.84 c 122809 88 654 21553 32 1479 768 626 1092 112.39 120.75/120.84 c 123062 88 468 16686 35 1110 845 440 1092 112.63 120.75/120.84 c 123538 88 452 15197 33 1075 930 424 1092 113.08 120.75/120.84 c 124351 88 494 17324 35 1159 1024 466 1092 113.82 120.75/120.84 c 125676 88 771 30143 39 1718 1127 743 1093 114.97 120.75/120.84 c 127757 88 1028 46252 44 2235 1240 1000 1093 116.81 120.75/120.84 c 130983 88 1167 47717 40 2505 1365 1139 1092 119.89 120.75/120.84 o 1330 126.26/126.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 126.26/126.37 c 132008 88 1351 51548 38 2948 698 1323 1092 120.81 126.26/126.37 c 132116 88 584 21584 36 1341 768 556 1092 120.90 126.26/126.37 c 132367 88 630 23378 37 1430 845 602 1092 121.12 126.26/126.37 c 132843 88 541 18257 33 1255 930 513 1092 121.61 126.26/126.37 c 133656 88 548 22459 40 1267 1024 520 1091 122.41 126.26/126.37 c 134976 88 732 30249 41 1639 1127 704 1092 123.56 126.26/126.37 c 137061 88 908 37417 41 1987 1240 880 1093 125.36 126.26/126.37 o 1313 140.25/140.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 140.25/140.37 c 138191 88 1142 53249 46 2521 698 1114 1093 126.33 140.25/140.37 c 138291 88 639 27263 42 1449 768 611 1093 126.44 140.25/140.37 c 138544 88 413 14642 35 998 845 385 1093 126.69 140.25/140.37 c 139019 88 729 26339 36 1625 930 701 1093 127.12 140.25/140.37 c 139832 88 799 30924 38 1770 1024 771 1093 127.86 140.25/140.37 c 141153 88 1039 41271 39 2251 1127 1011 1093 129.09 140.25/140.37 c 143235 88 917 33216 36 2004 1240 889 1093 130.94 140.25/140.37 c 146460 88 653 25740 39 1474 1365 625 1094 133.79 140.25/140.37 c 151396 88 1210 52321 43 2594 1502 1182 1096 138.06 140.25/140.37 o 1263 156.74/156.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 156.74/156.86 c 153747 88 1268 49556 39 2778 698 1240 1095 140.33 156.74/156.86 c 153847 88 642 22088 34 1449 768 614 1095 140.43 156.74/156.86 c 154097 88 688 23533 34 1549 845 660 1095 140.69 156.74/156.86 c 154573 88 747 26257 35 1666 930 719 1095 141.15 156.74/156.86 c 155399 88 946 31719 33 2069 1024 918 1094 141.97 156.74/156.86 c 156719 88 771 27090 35 1714 1127 743 1093 143.28 156.74/156.86 c 158800 88 655 19912 30 1479 1240 627 1092 145.37 156.74/156.86 c 162024 88 806 27906 34 1784 1365 778 1091 148.42 156.74/156.86 c 166961 88 1269 41932 33 2708 1502 1241 1090 153.09 156.74/156.86 o 1249 156.95/157.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 156.95/157.03 c 171271 88 862 36685 42 1976 698 834 1092 156.82 156.95/157.03 c 171388 88 642 28050 43 1463 768 614 1092 156.92 156.95/157.03 o 1242 167.74/167.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 167.74/167.88 c 171451 88 792 35080 44 1845 698 764 1092 156.99 167.74/167.88 c 171556 88 636 28114 44 1444 768 608 1092 157.08 167.74/167.88 c 171808 88 432 16191 37 1035 845 404 1092 157.31 167.74/167.88 c 172283 88 624 22723 36 1418 930 596 1092 157.71 167.74/167.88 c 173101 88 706 22184 31 1585 1024 678 1092 158.40 167.74/167.88 c 174423 88 683 22522 32 1539 1127 655 1093 159.51 167.74/167.88 c 176513 88 1117 39131 35 2405 1240 1089 1094 161.31 167.74/167.88 c 179736 88 761 21072 27 1692 1365 733 1095 164.07 167.74/167.88 o 1196 174.94/175.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 174.94/175.09 c 184349 88 943 37165 39 2139 698 915 1098 167.83 174.94/175.09 c 184449 88 657 23011 35 1487 768 629 1098 167.93 174.94/175.09 c 184709 88 500 14512 29 1169 845 472 1098 168.17 174.94/175.09 c 185187 88 689 24229 35 1548 930 661 1098 168.61 174.94/175.09 c 186001 88 711 22929 32 1592 1024 683 1097 169.42 174.94/175.09 c 187322 88 983 38666 39 2138 1127 955 1097 170.66 174.94/175.09 c 189406 88 878 31200 35 1926 1240 850 1096 172.70 174.94/175.09 o 1185 182.54/182.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 182.54/182.64 c 191675 88 870 30012 34 1993 698 842 1095 175.04 182.54/182.64 c 191780 88 617 20196 32 1406 768 589 1094 175.14 182.54/182.64 c 192032 88 698 22293 31 1570 845 670 1095 175.35 182.54/182.64 c 192507 88 700 19288 27 1571 930 672 1095 175.79 182.54/182.64 c 193321 88 803 21297 26 1771 1024 775 1094 176.57 182.54/182.64 c 194647 88 546 17007 31 1264 1127 518 1094 177.77 182.54/182.64 c 196728 88 1156 44740 38 2484 1240 1128 1096 179.42 182.54/182.64 c 199953 88 1065 35545 33 2299 1365 1037 1097 182.24 182.54/182.64 o 1182 215.53/215.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 215.53/215.65 c 200449 88 1173 40859 34 2602 698 1145 1097 182.59 215.53/215.65 c 200552 88 638 27294 42 1451 768 610 1097 182.69 215.53/215.65 c 200807 88 755 32785 43 1686 845 727 1097 182.92 215.53/215.65 c 201282 88 470 16650 35 1112 930 442 1097 183.38 215.53/215.65 c 202096 88 546 16284 29 1264 1024 518 1097 184.18 215.53/215.65 c 203420 88 573 18400 32 1318 1127 545 1097 185.40 215.53/215.65 c 205505 88 1007 34730 34 2193 1240 979 1097 187.27 215.53/215.65 c 208729 88 807 27003 33 1786 1365 779 1096 190.32 215.53/215.65 c 213665 88 1349 48089 35 2868 1502 1321 1095 195.10 215.53/215.65 c 221174 88 1238 49703 40 2648 1653 1210 1096 201.73 215.53/215.65 c 232535 88 1479 56543 38 3130 1819 1451 1098 211.69 215.53/215.65 o 1180 223.03/223.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 223.03/223.12 c 236541 88 1678 60216 35 3601 698 1650 1097 215.59 223.03/223.12 c 236643 88 612 19633 32 1393 768 584 1097 215.70 223.03/223.12 c 236898 88 675 25072 37 1524 845 647 1096 215.96 223.03/223.12 c 237375 88 660 14468 21 1489 930 632 1096 216.43 223.03/223.12 c 238194 88 668 21203 31 1592 1024 640 1096 217.24 223.03/223.12 c 239514 88 546 18252 33 1262 1127 518 1096 218.42 223.03/223.12 c 241600 88 1104 40238 36 2380 1240 1076 1096 220.28 223.03/223.12 o 1168 227.13/227.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 227.13/227.22 c 244374 88 1220 42190 34 2686 698 1192 1095 223.06 227.13/227.22 c 244475 88 627 20977 33 1427 768 599 1095 223.16 227.13/227.22 c 244729 88 417 11512 27 1003 845 389 1095 223.42 227.13/227.22 c 245208 88 515 13196 25 1199 930 487 1095 223.85 227.13/227.22 c 246021 88 831 26392 31 1832 1024 803 1095 224.56 227.13/227.22 c 247341 88 761 24275 31 1693 1127 733 1096 225.62 227.13/227.22 o 1149 254.12/254.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 254.12/254.27 c 249096 88 913 32148 35 2075 698 885 1096 227.16 254.12/254.27 c 249198 88 594 20943 35 1364 768 566 1096 227.27 254.12/254.27 c 249452 88 767 26068 33 1706 845 739 1096 227.52 254.12/254.27 c 249930 88 802 24480 30 1777 930 774 1096 227.93 254.12/254.27 c 250743 88 509 13198 25 1190 1024 481 1096 228.65 254.12/254.27 c 252063 88 999 35218 35 2170 1127 971 1096 229.78 254.12/254.27 c 254154 88 971 31323 32 2116 1240 943 1096 231.70 254.12/254.27 c 257377 88 1148 43831 38 2468 1365 1120 1097 234.57 254.12/254.27 c 262313 88 721 24435 33 1612 1502 693 1096 239.16 254.12/254.27 c 269820 88 1160 42970 37 2491 1653 1132 1096 246.08 254.12/254.27 o 1147 285.60/285.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 285.60/285.70 c 278622 88 946 28702 30 2136 698 918 1096 254.20 285.60/285.70 c 278724 88 634 16649 26 1437 768 606 1096 254.31 285.60/285.70 c 278974 87 476 10483 22 1122 845 448 1095 254.59 285.60/285.70 c 279454 87 625 17808 28 1418 930 597 1095 255.04 285.60/285.70 c 280267 87 787 26375 33 1744 1024 759 1095 255.74 285.60/285.70 c 281589 87 1002 32429 32 2172 1127 974 1095 256.96 285.60/285.70 c 283670 87 609 19881 32 1385 1240 581 1096 258.77 285.60/285.70 c 286897 87 843 28430 33 1854 1365 815 1095 261.79 285.60/285.70 c 291833 87 752 28638 38 1671 1502 724 1096 266.11 285.60/285.70 c 299341 87 1093 39266 35 2357 1653 1065 1094 273.41 285.60/285.70 c 310706 87 951 29193 30 2072 1819 923 1093 284.19 285.60/285.70 o 1136 331.00/331.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 331.00/331.18 c 312238 87 1644 63746 38 3528 696 1616 1093 285.62 331.00/331.18 c 312338 87 619 21894 35 1405 766 591 1093 285.72 331.00/331.18 c 312592 87 454 12971 28 1075 843 426 1093 285.97 331.00/331.18 c 313067 87 552 17228 31 1269 928 524 1093 286.37 331.00/331.18 c 313881 87 850 25368 29 1868 1021 822 1093 287.10 331.00/331.18 c 315201 87 988 33889 34 2140 1124 960 1093 288.29 331.00/331.18 c 317284 87 989 33451 33 2145 1237 961 1093 290.14 331.00/331.18 c 320507 87 1173 36477 31 2523 1361 1145 1093 293.15 331.00/331.18 c 325445 87 890 32347 36 1949 1498 862 1092 297.82 331.00/331.18 c 332951 87 1253 43978 35 2677 1648 1225 1092 304.89 331.00/331.18 c 344315 87 1529 51084 33 3247 1813 1501 1092 315.12 331.00/331.18 o 1120 434.17/434.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 434.17/434.32 c 360753 87 1791 64746 36 3846 696 1763 1089 331.09 434.17/434.32 c 360853 87 622 21822 35 1415 766 594 1089 331.19 434.17/434.32 c 361107 87 418 11641 27 1005 843 390 1089 331.42 434.17/434.32 c 361587 87 548 16883 30 1263 928 520 1089 331.84 434.17/434.32 c 362404 87 499 15818 31 1168 1021 471 1089 332.54 434.17/434.32 c 363724 87 663 21666 32 1494 1124 635 1089 333.78 434.17/434.32 c 365808 87 1094 36677 33 2356 1237 1066 1089 335.68 434.17/434.32 c 369033 87 1143 39852 34 2451 1361 1115 1089 338.68 434.17/434.32 c 373969 87 1346 45483 33 2858 1498 1318 1089 343.17 434.17/434.32 c 381478 87 815 24301 29 1799 1648 787 1087 350.77 434.17/434.32 c 392839 87 892 30169 33 1955 1813 864 1088 361.05 434.17/434.32 c 409983 87 1162 42745 36 2493 1995 1134 1088 376.66 434.17/434.32 c 435805 87 1165 43875 37 2496 2195 1137 1085 401.43 434.17/434.32 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 434.17/434.32 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 434.17/434.32 c 271 470316 78804 755106 1898 49132 1870 1083 434.20 434.17/434.32 c Objective: 1120 434.17/434.32 s OPTIMUM FOUND 434.17/434.32 c Total time: 434.204 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-1877564-1245134030/watcher-1877564-1245134030 -o /tmp/evaluation-result-1877564-1245134030/solver-1877564-1245134030 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877564-1245134030.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: 0.92 0.98 0.99 3/64 31765 /proc/meminfo: memFree=1334744/2055920 swapFree=4191896/4192956 [pid=31765] ppid=31763 vsize=26328 CPUtime=0 /proc/31765/stat : 31765 (bsolo) R 31763 31765 31414 0 -1 4194304 382 0 0 0 0 0 0 0 18 0 1 0 181004049 26959872 342 1992294400 134512640 137136520 4294956256 18446744073709551615 136501958 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31765/statm: 6582 342 288 640 0 5938 0 [startup+0.0716991 s] /proc/loadavg: 0.92 0.98 0.99 3/64 31765 /proc/meminfo: memFree=1334744/2055920 swapFree=4191896/4192956 [pid=31765] ppid=31763 vsize=19068 CPUtime=0.06 /proc/31765/stat : 31765 (bsolo) R 31763 31765 31414 0 -1 4194304 3051 0 0 0 5 1 0 0 18 0 1 0 181004049 19525632 362 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31765/statm: 4647 362 289 640 0 4003 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 19068 [startup+0.101663 s] /proc/loadavg: 0.92 0.98 0.99 3/64 31765 /proc/meminfo: memFree=1334744/2055920 swapFree=4191896/4192956 [pid=31765] ppid=31763 vsize=19228 CPUtime=0.09 /proc/31765/stat : 31765 (bsolo) R 31763 31765 31414 0 -1 4194304 3371 0 0 0 8 1 0 0 18 0 1 0 181004049 19689472 421 1992294400 134512640 137136520 4294956256 18446744073709551615 134719192 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31765/statm: 4807 421 290 640 0 4163 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19228 [startup+0.301682 s] /proc/loadavg: 0.92 0.98 0.99 3/64 31765 /proc/meminfo: memFree=1334744/2055920 swapFree=4191896/4192956 [pid=31765] ppid=31763 vsize=19068 CPUtime=0.29 /proc/31765/stat : 31765 (bsolo) R 31763 31765 31414 0 -1 4194304 3955 0 0 0 28 1 0 0 19 0 1 0 181004049 19525632 501 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31765/statm: 4767 501 293 640 0 4123 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19068 [startup+0.701724 s] /proc/loadavg: 0.92 0.98 0.99 3/64 31765 /proc/meminfo: memFree=1334744/2055920 swapFree=4191896/4192956 [pid=31765] ppid=31763 vsize=19788 CPUtime=0.69 /proc/31765/stat : 31765 (bsolo) R 31763 31765 31414 0 -1 4194304 12080 0 0 0 65 4 0 0 22 0 1 0 181004049 20262912 554 1992294400 134512640 137136520 4294956256 18446744073709551615 134622666 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31765/statm: 4947 554 293 640 0 4303 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19788 [startup+1.50181 s] /proc/loadavg: 0.92 0.98 0.99 2/65 31766 /proc/meminfo: memFree=1333648/2055920 swapFree=4191896/4192956 [pid=31765] ppid=31763 vsize=19156 CPUtime=1.49 /proc/31765/stat : 31765 (bsolo) R 31763 31765 31414 0 -1 4194304 32498 0 0 0 137 12 0 0 25 0 1 0 181004049 19615744 509 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31765/statm: 4789 509 293 640 0 4145 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19156 [startup+3.10197 s] /proc/loadavg: 0.92 0.98 0.99 2/65 31766 /proc/meminfo: memFree=1333392/2055920 swapFree=4191896/4192956 [pid=31765] ppid=31763 vsize=19636 CPUtime=3.09 /proc/31765/stat : 31765 (bsolo) R 31763 31765 31414 0 -1 4194304 73858 0 0 0 276 33 0 0 25 0 1 0 181004049 20107264 549 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31765/statm: 4959 550 293 640 0 4315 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19636 [startup+6.3013 s] /proc/loadavg: 0.93 0.98 0.99 2/65 31766 /proc/meminfo: memFree=1333328/2055920 swapFree=4191896/4192956 [pid=31765] ppid=31763 vsize=19888 CPUtime=6.29 /proc/31765/stat : 31765 (bsolo) R 31763 31765 31414 0 -1 4194304 155824 0 0 0 558 71 0 0 25 0 1 0 181004049 20365312 566 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31765/statm: 4972 566 294 640 0 4328 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19888 [startup+12.702 s] /proc/loadavg: 0.93 0.98 0.99 2/65 31766 /proc/meminfo: memFree=1333328/2055920 swapFree=4191896/4192956 [pid=31765] ppid=31763 vsize=19940 CPUtime=12.69 /proc/31765/stat : 31765 (bsolo) R 31763 31765 31414 0 -1 4194304 313132 0 0 0 1127 142 0 0 25 0 1 0 181004049 20418560 654 1992294400 134512640 137136520 4294956256 18446744073709551615 136502760 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31765/statm: 4985 654 294 640 0 4341 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19940 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.99 2/65 31766 /proc/meminfo: memFree=1333136/2055920 swapFree=4191896/4192956 [pid=31765] ppid=31763 vsize=20020 CPUtime=25.49 /proc/31765/stat : 31765 (bsolo) R 31763 31765 31414 0 -1 4194304 569013 0 0 0 2296 253 0 0 25 0 1 0 181004049 20500480 600 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31765/statm: 5005 600 294 640 0 4361 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 20020 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.99 2/65 31766 /proc/meminfo: memFree=1333136/2055920 swapFree=4191896/4192956 [pid=31765] ppid=31763 vsize=20016 CPUtime=51.08 /proc/31765/stat : 31765 (bsolo) R 31763 31765 31414 0 -1 4194304 1190587 0 0 0 4591 517 0 0 25 0 1 0 181004049 20496384 612 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31765/statm: 4874 606 294 640 0 4230 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 20016 [startup+102.304 s] /proc/loadavg: 0.98 0.98 0.99 2/65 31766 /proc/meminfo: memFree=1333008/2055920 swapFree=4191896/4192956 [pid=31765] ppid=31763 vsize=19684 CPUtime=102.26 /proc/31765/stat : 31765 (bsolo) R 31763 31765 31414 0 -1 4194304 2286667 0 0 0 9218 1008 0 0 25 0 1 0 181004049 20156416 642 1992294400 134512640 137136520 4294956256 18446744073709551615 134598513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31765/statm: 4921 642 294 640 0 4277 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 19684 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31766 /proc/meminfo: memFree=1332944/2055920 swapFree=4191896/4192956 [pid=31765] ppid=31763 vsize=19576 CPUtime=162.24 /proc/31765/stat : 31765 (bsolo) R 31763 31765 31414 0 -1 4194304 3396587 0 0 0 14673 1551 0 0 25 0 1 0 181004049 20045824 621 1992294400 134512640 137136520 4294956256 18446744073709551615 134555909 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31765/statm: 4894 621 294 640 0 4250 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 19576 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31766 /proc/meminfo: memFree=1332816/2055920 swapFree=4191896/4192956 [pid=31765] ppid=31763 vsize=20220 CPUtime=222.22 /proc/31765/stat : 31765 (bsolo) R 31763 31765 31414 0 -1 4194304 4613637 0 0 0 20108 2114 0 0 25 0 1 0 181004049 20705280 657 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31765/statm: 4936 657 294 640 0 4292 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 20220 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31766 /proc/meminfo: memFree=1332816/2055920 swapFree=4191896/4192956 [pid=31765] ppid=31763 vsize=20032 CPUtime=282.21 /proc/31765/stat : 31765 (bsolo) R 31763 31765 31414 0 -1 4194304 5664411 0 0 0 25606 2615 0 0 25 0 1 0 181004049 20512768 662 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31765/statm: 4928 657 294 640 0 4284 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 20032 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31766 /proc/meminfo: memFree=1332816/2055920 swapFree=4191896/4192956 [pid=31765] ppid=31763 vsize=19692 CPUtime=342.19 /proc/31765/stat : 31765 (bsolo) R 31763 31765 31414 0 -1 4194304 6846181 0 0 0 31045 3174 0 0 25 0 1 0 181004049 20164608 657 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31765/statm: 4923 657 294 640 0 4279 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 19692 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31766 /proc/meminfo: memFree=1332688/2055920 swapFree=4191896/4192956 [pid=31765] ppid=31763 vsize=20348 CPUtime=402.18 /proc/31765/stat : 31765 (bsolo) R 31763 31765 31414 0 -1 4194304 8197350 0 0 0 36430 3788 0 0 25 0 1 0 181004049 20836352 683 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31765/statm: 5087 683 294 640 0 4443 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 20348 Solver just ended. Dumping a history of the last processes samples [startup+409.503 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31766 /proc/meminfo: memFree=1332560/2055920 swapFree=4191896/4192956 [pid=31765] ppid=31763 vsize=19940 CPUtime=409.38 /proc/31765/stat : 31765 (bsolo) R 31763 31765 31414 0 -1 4194304 8367414 0 0 0 37079 3859 0 0 25 0 1 0 181004049 20418560 703 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31765/statm: 4985 703 294 640 0 4341 0 Current children cumulated CPU time (s) 409.38 Current children cumulated vsize (KiB) 19940 [startup+422.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31766 /proc/meminfo: memFree=1332496/2055920 swapFree=4191896/4192956 [pid=31765] ppid=31763 vsize=19984 CPUtime=422.18 /proc/31765/stat : 31765 (bsolo) R 31763 31765 31414 0 -1 4194304 8660461 0 0 0 38229 3989 0 0 25 0 1 0 181004049 20463616 715 1992294400 134512640 137136520 4294956256 18446744073709551615 134581552 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31765/statm: 4996 715 294 640 0 4352 0 Current children cumulated CPU time (s) 422.18 Current children cumulated vsize (KiB) 19984 [startup+428.702 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31766 /proc/meminfo: memFree=1332496/2055920 swapFree=4191896/4192956 [pid=31765] ppid=31763 vsize=20300 CPUtime=428.57 /proc/31765/stat : 31765 (bsolo) R 31763 31765 31414 0 -1 4194304 8803961 0 0 0 38805 4052 0 0 25 0 1 0 181004049 20787200 720 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31765/statm: 5125 721 294 640 0 4481 0 Current children cumulated CPU time (s) 428.57 Current children cumulated vsize (KiB) 20300 [startup+431.901 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31766 /proc/meminfo: memFree=1332496/2055920 swapFree=4191896/4192956 [pid=31765] ppid=31763 vsize=20500 CPUtime=431.77 /proc/31765/stat : 31765 (bsolo) R 31763 31765 31414 0 -1 4194304 8880469 0 0 0 39092 4085 0 0 25 0 1 0 181004049 20992000 721 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31765/statm: 4995 715 294 640 0 4351 0 Current children cumulated CPU time (s) 431.77 Current children cumulated vsize (KiB) 20500 [startup+433.501 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31766 /proc/meminfo: memFree=1332496/2055920 swapFree=4191896/4192956 [pid=31765] ppid=31763 vsize=20300 CPUtime=433.37 /proc/31765/stat : 31765 (bsolo) R 31763 31765 31414 0 -1 4194304 8918467 0 0 0 39234 4103 0 0 25 0 1 0 181004049 20787200 717 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31765/statm: 5125 721 294 640 0 4481 0 Current children cumulated CPU time (s) 433.37 Current children cumulated vsize (KiB) 20300 [startup+433.901 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31766 /proc/meminfo: memFree=1332496/2055920 swapFree=4191896/4192956 [pid=31765] ppid=31763 vsize=20500 CPUtime=433.77 /proc/31765/stat : 31765 (bsolo) R 31763 31765 31414 0 -1 4194304 8927912 0 0 0 39269 4108 0 0 25 0 1 0 181004049 20992000 723 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31765/statm: 5125 723 294 640 0 4481 0 Current children cumulated CPU time (s) 433.77 Current children cumulated vsize (KiB) 20500 [startup+434.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31766 /proc/meminfo: memFree=1332496/2055920 swapFree=4191896/4192956 [pid=31765] ppid=31763 vsize=19980 CPUtime=434.17 /proc/31765/stat : 31765 (bsolo) R 31763 31765 31414 0 -1 4194304 8937450 0 0 0 39305 4112 0 0 25 0 1 0 181004049 20459520 715 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31765/statm: 4995 715 294 640 0 4351 0 Current children cumulated CPU time (s) 434.17 Current children cumulated vsize (KiB) 19980 Child status: 0 Real time (s): 434.328 CPU time (s): 434.205 CPU user time (s): 393.079 CPU system time (s): 41.1257 CPU usage (%): 99.9718 Max. virtual memory (cumulated for all children) (KiB): 20508 getrusage(RUSAGE_CHILDREN,...) data: user time used= 393.079 system time used= 41.1257 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8937954 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 531 runsolver used 0.303953 second user time and 0.921859 second system time The end
Begin job on node2 at 2009-06-16 08:33:50 IDJOB=1877564 IDBENCH=1868 IDSOLVER=699 FILE ID=node2/1877564-1245134030 PBS_JOBID= 9363701 Free space on /tmp= 66452 MiB SOLVER NAME= bsolo 3.1 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 -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877564-1245134030/watcher-1877564-1245134030 -o /tmp/evaluation-result-1877564-1245134030/solver-1877564-1245134030 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877564-1245134030.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9b4418c5c34f37121cd9ad7732df64ff RANDOM SEED=1722384605 node2.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1335224 kB Buffers: 37072 kB Cached: 605540 kB SwapCached: 260 kB Active: 72240 kB Inactive: 583612 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1335224 kB SwapTotal: 4192956 kB SwapFree: 4191896 kB Dirty: 3940 kB Writeback: 0 kB Mapped: 21724 kB Slab: 50780 kB Committed_AS: 148676 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66448 MiB End job on node2 at 2009-06-16 08:41:05