Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 1 | 196.54 | 196.59 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_4.opb |
MD5SUM | 1757d8d914b8f8f6b2c05049538ae81a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 42.9535 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | YES |
Number of variables | 94 |
Total number of constraints | 8 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 8 |
Minimum length of a constraint | 44 |
Maximum length of a constraint | 46 |
Number of terms in the objective function | 64 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 2040 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 869 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 3118 |
Number of bits of the biggest sum of numbers | 12 |
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.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/354999-1176743713/instance-354999-1176743713.opb 0.00/0.00 c File size is 3578 bytes. 0.00/0.00 c Highest Coefficient sum: 3118 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.001 s 0.00/0.00 c Var: 94 Constr: 8 0/0/8 Lit: 364 Watch. Lit: 106 0.00/0.00 c Obj. Vars: 64 (68.0851 % of total variables) 0.00/0.00 c Pre-processing Time: 0.002 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 94 8 364 45 110 728 0 0 0.00 0.00/0.00 c Switching off LPR mode. 0.00/0.00 o 844 0.002 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 94 9 428 47 299 856 1 0 0.00 0.00/0.00 o 744 0.003 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 9 94 19 863 45 354 856 11 3000 0.00 0.00/0.00 o 227 0.003 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 12 94 23 1050 45 391 856 15 4000 0.00 0.00/0.00 o 224 0.004 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 29 94 41 1545 37 475 856 33 7250 0.00 0.00/0.00 o 223 0.005 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 31 94 44 1643 37 543 856 36 6200 0.01 0.00/0.00 o 217 0.005 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 31 94 45 1707 37 606 856 37 6200 0.01 0.00/0.00 o 213 0.005 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 32 94 47 1795 38 672 856 39 6400 0.01 0.00/0.00 o 209 0.006 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 33 94 49 1896 38 738 856 41 5500 0.01 0.00/0.01 o 205 0.007 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 46 94 63 2284 36 834 856 55 6571 0.01 0.00/0.01 o 190 0.01 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 79 94 97 3459 35 919 856 89 7900 0.01 0.00/0.01 o 188 0.011 0.01/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.02 c 86 94 105 3714 35 987 856 97 7818 0.01 0.01/0.02 o 180 0.016 0.01/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.02 c 137 94 157 5535 35 1181 856 149 8562 0.02 0.01/0.02 o 166 0.019 0.01/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.02 c 172 94 193 6353 32 1281 856 185 9052 0.02 0.01/0.02 o 159 0.021 0.01/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.03 c 191 94 213 7119 33 1380 856 205 9095 0.02 0.01/0.03 o 158 0.03 0.01/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.03 c 278 94 301 9595 31 1665 856 293 9266 0.03 0.01/0.03 o 157 0.036 0.01/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.04 c 319 94 343 10693 31 1794 856 335 8861 0.04 0.01/0.04 o 155 0.036 0.01/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.04 c 319 94 344 10757 31 1856 856 336 8861 0.04 0.01/0.04 o 153 0.036 0.01/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.04 c 320 94 346 10874 31 1922 856 338 8648 0.04 0.01/0.04 o 124 0.039 0.01/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.04 c 337 94 364 11467 31 2012 856 356 8641 0.04 0.01/0.04 o 122 0.039 0.01/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.05 c 338 93 366 11531 31 2087 854 358 8450 0.04 0.01/0.05 o 87 0.049 0.01/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.08 c 409 93 438 13716 31 2239 854 430 8346 0.05 0.01/0.08 c 509 91 538 15702 29 2443 940 530 8483 0.06 0.01/0.08 o 75 0.08 0.01/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.08 c 674 90 704 19023 27 2776 848 696 8425 0.08 0.01/0.08 o 73 0.081 0.01/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.09 c 676 90 707 19173 27 2822 848 699 8345 0.08 0.01/0.09 o 71 0.092 0.01/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.10 c 765 90 797 21579 27 3032 848 789 8315 0.09 0.01/0.10 o 64 0.097 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 807 90 840 22635 26 3209 848 832 8319 0.10 0.09/0.10 o 63 0.104 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 854 87 445 10248 23 1227 842 437 8133 0.10 0.09/0.10 o 57 0.105 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 855 87 447 10335 23 1286 842 439 8142 0.10 0.09/0.11 c 956 86 548 12452 22 1487 927 540 8460 0.11 0.09/0.11 o 53 0.114 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 965 86 558 12738 22 1565 840 550 8464 0.11 0.09/0.11 o 43 0.115 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 974 86 568 13078 23 1636 840 560 8469 0.12 0.09/0.12 o 34 0.119 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 1020 84 615 14153 23 1781 836 607 8571 0.12 0.09/0.13 c 1123 81 718 16243 22 1985 920 710 8842 0.13 0.09/0.13 o 33 0.134 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 1202 81 798 17878 22 2197 830 790 8970 0.13 0.09/0.15 c 1302 81 460 9944 21 1191 914 452 9104 0.14 0.09/0.15 o 22 0.151 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 1432 80 591 12482 21 1500 828 583 9483 0.15 0.09/0.17 c 1532 73 691 14562 21 1689 911 683 9635 0.16 0.09/0.17 o 18 0.169 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 1657 70 817 17351 21 1978 808 809 9804 0.17 0.09/0.18 o 17 0.177 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 1741 70 481 10011 20 1249 808 473 9836 0.18 0.09/0.18 o 15 0.177 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 1742 70 483 10092 20 1291 808 475 9841 0.18 0.29/0.33 c 1842 64 583 12217 20 1472 889 575 9956 0.18 0.29/0.33 c 2093 62 834 17604 21 1980 978 826 10209 0.20 0.29/0.33 c 2569 62 810 17332 21 1852 1076 802 10485 0.24 0.29/0.33 c 3383 62 1073 23559 21 2381 1184 1065 10671 0.32 0.29/0.33 o 13 0.331 0.39/0.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.46 c 3526 62 1217 26822 22 2698 792 1209 10652 0.33 0.39/0.46 c 3627 62 538 11661 21 1299 872 530 10667 0.34 0.39/0.46 c 3878 62 789 17081 21 1800 960 781 10772 0.36 0.39/0.46 c 4354 62 770 16570 21 1760 1057 762 10939 0.40 0.39/0.46 o 12 0.456 0.69/0.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.73 c 5072 62 951 20985 22 2156 792 943 11098 0.46 0.69/0.73 c 5172 62 537 11502 21 1305 872 529 11122 0.47 0.69/0.73 c 5422 62 787 16823 21 1802 960 779 11179 0.48 0.69/0.73 c 5897 62 770 15973 20 1762 1057 762 11232 0.53 0.69/0.73 c 6710 62 1043 21983 21 2306 1163 1035 11296 0.59 0.69/0.73 c 8030 62 1180 25851 21 2583 1280 1172 11373 0.71 0.69/0.73 o 11 0.735 0.69/0.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.79 c 8384 62 882 18894 21 2020 792 874 11406 0.73 0.69/0.79 c 8484 62 537 11084 20 1300 872 529 11418 0.74 0.69/0.79 c 8734 62 787 16564 21 1799 960 779 11461 0.76 0.69/0.79 o 10 0.788 0.69/0.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.79 c 9057 62 609 12509 20 1474 792 601 11493 0.79 0.69/0.79 o 8 0.788 0.89/0.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.98 c 9057 62 610 12541 20 1506 792 602 11493 0.79 0.89/0.98 c 9158 55 711 14580 20 1695 872 703 11519 0.80 0.89/0.98 c 9408 54 512 10591 20 1235 960 504 11571 0.81 0.89/0.98 c 9883 54 987 21198 21 2187 1057 979 11640 0.85 0.89/0.98 c 10696 54 721 15801 21 1652 1163 713 11651 0.92 0.89/0.98 o 7 0.978 1.10/1.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.13 c 11430 54 865 18296 21 1965 776 857 11687 0.98 1.10/1.13 c 11531 54 538 11137 20 1279 854 530 11694 0.99 1.10/1.13 c 11781 54 788 16250 20 1782 940 780 11734 1.00 1.10/1.13 c 12256 54 782 16183 20 1764 1035 774 11773 1.04 1.10/1.13 c 13070 54 1067 22669 21 2337 1139 1059 11785 1.11 1.10/1.13 o 5 1.126 1.29/1.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.38 c 13229 54 642 13012 20 1511 776 634 11748 1.13 1.29/1.38 c 13329 54 742 15217 20 1711 854 734 11764 1.13 1.29/1.38 c 13579 54 546 10742 19 1296 940 538 11756 1.16 1.29/1.38 c 14055 54 540 11076 20 1283 1035 532 11840 1.19 1.29/1.38 c 14868 54 820 17224 21 1841 1139 812 11894 1.25 1.29/1.38 c 16188 54 979 20771 21 2164 1253 971 11885 1.36 1.29/1.38 o 4 1.383 3.49/3.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.55 c 16437 54 1229 26127 21 2683 776 1221 11885 1.38 3.49/3.55 c 16539 49 539 10789 20 1274 854 531 11872 1.39 3.49/3.55 c 16790 48 790 15854 20 1775 940 782 11874 1.41 3.49/3.55 c 17267 46 783 15719 20 1750 1035 775 11900 1.45 3.49/3.55 c 18080 46 1066 22577 21 2319 1139 1058 11965 1.51 3.49/3.55 c 19403 46 642 12885 20 1470 1253 634 11940 1.62 3.49/3.55 c 21485 46 807 16358 20 1806 1379 799 11889 1.81 3.49/3.55 c 24708 46 1226 25900 21 2639 1517 1218 11850 2.08 3.49/3.55 c 29645 46 1529 32336 21 3247 1669 1521 11652 2.54 3.49/3.55 c 37151 46 1365 28778 21 2920 1836 1357 11544 3.22 3.49/3.55 o 2 3.551 36.29/36.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 36.29/36.38 c 40732 46 1206 25583 21 2617 760 1198 11470 3.55 36.29/36.38 c 40832 42 537 10833 20 1249 837 529 11472 3.56 36.29/36.38 c 41082 39 787 16256 20 1743 921 779 11491 3.58 36.29/36.38 c 41557 39 793 16135 20 1755 1014 785 11511 3.61 36.29/36.38 c 42370 38 572 11230 19 1307 1116 564 11522 3.68 36.29/36.38 c 43690 38 751 15040 20 1669 1228 743 11549 3.78 36.29/36.38 c 45771 38 953 19080 20 2070 1351 945 11575 3.95 36.29/36.38 c 48996 38 741 14615 19 1648 1487 733 11533 4.25 36.29/36.38 c 53932 38 1127 23002 20 2416 1636 1119 11511 4.68 36.29/36.38 c 61438 38 1126 22945 20 2414 1800 1118 11383 5.40 36.29/36.38 c 72800 38 1496 30590 20 3161 1981 1488 11182 6.51 36.29/36.38 c 89945 38 1502 30243 20 3165 2180 1494 10786 8.34 36.29/36.38 c 115765 38 1859 38436 20 3883 2399 1851 10321 11.22 36.29/36.38 c 154597 38 1756 35955 20 3668 2639 1748 9964 15.52 36.29/36.38 c 212949 38 2675 55740 20 5507 2903 2667 9246 23.03 36.29/36.38 c 300581 38 2267 46792 20 4699 3194 2259 8724 34.45 36.29/36.38 o 1 36.372 196.44/196.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 196.44/196.58 c 314313 38 3089 63942 20 6348 749 3081 8641 36.37 196.44/196.58 c 314414 35 541 10322 19 1230 824 533 8639 36.39 196.44/196.58 c 314664 33 791 15388 19 1724 907 783 8642 36.41 196.44/196.58 c 315140 31 805 15771 19 1751 998 797 8646 36.45 196.44/196.58 c 315955 30 596 11744 19 1333 1098 588 8653 36.51 196.44/196.58 c 317276 30 795 15145 19 1729 1208 787 8666 36.61 196.44/196.58 c 319357 30 1030 20517 19 2203 1329 1022 8682 36.78 196.44/196.58 c 322581 30 879 17498 19 1898 1462 871 8705 37.05 196.44/196.58 c 327517 30 1354 27074 19 2848 1609 1346 8735 37.49 196.44/196.58 c 335026 30 1478 30536 20 3092 1770 1470 8768 38.21 196.44/196.58 c 346389 30 1137 22830 20 2414 1948 1129 8818 39.28 196.44/196.58 c 363534 30 1446 29419 20 3035 2143 1438 8855 41.05 196.44/196.58 c 389354 30 1187 23644 19 2513 2358 1179 8888 43.80 196.44/196.58 c 428186 30 1766 35812 20 3670 2594 1758 8864 48.30 196.44/196.58 c 486539 30 2365 48621 20 4872 2854 2357 8742 55.66 196.44/196.58 c 574171 30 1957 40051 20 4056 3140 1949 8561 67.07 196.44/196.58 c 705723 30 1817 36344 20 3774 3455 1809 8254 85.50 196.44/196.58 c 903156 30 2287 46360 20 4711 3801 2279 7805 115.70 196.44/196.58 c 1199408 29 3456 67360 19 7050 4182 3448 7378 162.56 196.44/196.58 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 196.44/196.58 v -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 196.44/196.58 v -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 x67 -x68 -x69 -x70 x71 -x72 x73 x74 -x76 x77 x78 x79 x80 x81 -x82 x83 x84 196.44/196.58 v -x85 -x86 -x87 -x88 -x89 x90 -x91 x92 x93 -x75 x94 196.44/196.58 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 196.44/196.58 c 119 1409927 2716 1415466 3496 50348 3488 7173 196.53 196.44/196.58 c Objective: 1 196.44/196.58 s OPTIMUM FOUND 196.44/196.58 c Total time: 196.535 s
OK 1
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node27/watcher-354999-1176743713 -o ROOT/results/node27/solver-354999-1176743713 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354999-1176743713/instance-354999-1176743713.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/65 3938 /proc/meminfo: memFree=1788848/2055920 swapFree=4184636/4192956 [pid=3938] ppid=3936 vsize=19552 CPUtime=0 /proc/3938/stat : 3938 (bsolo3.0.16) R 3936 3938 3103 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 87067223 20021248 334 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3938/statm: 4888 334 281 324 0 3956 0 [startup+0.0163201 s] /proc/loadavg: 0.92 0.98 0.99 3/65 3938 /proc/meminfo: memFree=1788848/2055920 swapFree=4184636/4192956 [pid=3938] ppid=3936 vsize=11868 CPUtime=0.01 /proc/3938/stat : 3938 (bsolo3.0.16) R 3936 3938 3103 0 -1 4194304 421 0 0 0 1 0 0 0 18 0 1 0 87067223 12152832 388 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3938/statm: 2967 388 312 324 0 2036 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11868 [startup+0.101329 s] /proc/loadavg: 0.92 0.98 0.99 3/65 3938 /proc/meminfo: memFree=1788848/2055920 swapFree=4184636/4192956 [pid=3938] ppid=3936 vsize=12128 CPUtime=0.09 /proc/3938/stat : 3938 (bsolo3.0.16) R 3936 3938 3103 0 -1 4194304 505 0 0 0 9 0 0 0 18 0 1 0 87067223 12419072 472 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3938/statm: 3032 472 312 324 0 2101 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12128 [startup+0.301349 s] /proc/loadavg: 0.92 0.98 0.99 3/65 3938 /proc/meminfo: memFree=1788848/2055920 swapFree=4184636/4192956 [pid=3938] ppid=3936 vsize=12260 CPUtime=0.29 /proc/3938/stat : 3938 (bsolo3.0.16) R 3936 3938 3103 0 -1 4194304 514 0 0 0 29 0 0 0 19 0 1 0 87067223 12554240 481 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3938/statm: 3065 481 312 324 0 2134 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12260 [startup+0.701389 s] /proc/loadavg: 0.92 0.98 0.99 3/65 3938 /proc/meminfo: memFree=1788848/2055920 swapFree=4184636/4192956 [pid=3938] ppid=3936 vsize=12260 CPUtime=0.69 /proc/3938/stat : 3938 (bsolo3.0.16) R 3936 3938 3103 0 -1 4194304 524 0 0 0 69 0 0 0 22 0 1 0 87067223 12554240 491 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3938/statm: 3065 491 312 324 0 2134 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12260 [startup+1.50147 s] /proc/loadavg: 0.92 0.98 0.99 2/66 3939 /proc/meminfo: memFree=1788008/2055920 swapFree=4184636/4192956 [pid=3938] ppid=3936 vsize=12260 CPUtime=1.49 /proc/3938/stat : 3938 (bsolo3.0.16) R 3936 3938 3103 0 -1 4194304 535 0 0 0 148 1 0 0 25 0 1 0 87067223 12554240 502 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3938/statm: 3065 502 312 324 0 2134 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12260 [startup+3.10163 s] /proc/loadavg: 0.92 0.98 0.99 2/66 3939 /proc/meminfo: memFree=1787880/2055920 swapFree=4184636/4192956 [pid=3938] ppid=3936 vsize=12512 CPUtime=3.09 /proc/3938/stat : 3938 (bsolo3.0.16) R 3936 3938 3103 0 -1 4194304 576 0 0 0 307 2 0 0 25 0 1 0 87067223 12812288 543 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3938/statm: 3128 543 312 324 0 2197 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12512 [startup+6.30196 s] /proc/loadavg: 0.93 0.98 0.99 2/66 3939 /proc/meminfo: memFree=1787496/2055920 swapFree=4184636/4192956 [pid=3938] ppid=3936 vsize=12512 CPUtime=6.29 /proc/3938/stat : 3938 (bsolo3.0.16) R 3936 3938 3103 0 -1 4194304 593 0 0 0 624 5 0 0 25 0 1 0 87067223 12812288 560 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3938/statm: 3128 560 312 324 0 2197 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12512 [startup+12.7016 s] /proc/loadavg: 0.93 0.98 0.99 2/66 3939 /proc/meminfo: memFree=1787312/2055920 swapFree=4184636/4192956 [pid=3938] ppid=3936 vsize=12732 CPUtime=12.69 /proc/3938/stat : 3938 (bsolo3.0.16) R 3936 3938 3103 0 -1 4194304 648 0 0 0 1259 10 0 0 25 0 1 0 87067223 13037568 615 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3938/statm: 3183 615 312 324 0 2252 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12732 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.99 2/66 3939 /proc/meminfo: memFree=1787056/2055920 swapFree=4184636/4192956 [pid=3938] ppid=3936 vsize=12980 CPUtime=25.48 /proc/3938/stat : 3938 (bsolo3.0.16) R 3936 3938 3103 0 -1 4194304 703 0 0 0 2532 16 0 0 25 0 1 0 87067223 13291520 670 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3938/statm: 3245 670 312 324 0 2314 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 12980 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.99 2/66 3939 /proc/meminfo: memFree=1786992/2055920 swapFree=4184636/4192956 [pid=3938] ppid=3936 vsize=13080 CPUtime=51.08 /proc/3938/stat : 3938 (bsolo3.0.16) R 3936 3938 3103 0 -1 4194304 723 0 0 0 5078 30 0 0 25 0 1 0 87067223 13393920 690 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3938/statm: 3270 690 312 324 0 2339 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 13080 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/66 3939 /proc/meminfo: memFree=1786864/2055920 swapFree=4184636/4192956 [pid=3938] ppid=3936 vsize=13196 CPUtime=102.27 /proc/3938/stat : 3938 (bsolo3.0.16) R 3936 3938 3103 0 -1 4194304 762 0 0 0 10173 54 0 0 25 0 1 0 87067223 13512704 729 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3938/statm: 3299 729 312 324 0 2368 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 13196 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 3939 /proc/meminfo: memFree=1786672/2055920 swapFree=4184636/4192956 [pid=3938] ppid=3936 vsize=13372 CPUtime=162.25 /proc/3938/stat : 3938 (bsolo3.0.16) R 3936 3938 3103 0 -1 4194304 812 0 0 0 16149 76 0 0 25 0 1 0 87067223 13692928 778 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3938/statm: 3343 778 312 324 0 2412 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 13372 Solver just ended. Dumping a history of the last processes samples [startup+179.102 s] /proc/loadavg: 0.99 0.98 0.99 2/66 3939 /proc/meminfo: memFree=1786608/2055920 swapFree=4184636/4192956 [pid=3938] ppid=3936 vsize=13496 CPUtime=179.05 /proc/3938/stat : 3938 (bsolo3.0.16) R 3936 3938 3103 0 -1 4194304 833 0 0 0 17822 83 0 0 25 0 1 0 87067223 13819904 799 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3938/statm: 3374 799 312 324 0 2443 0 Current children cumulated CPU time (s) 179.05 Current children cumulated vsize (KiB) 13496 [startup+185.501 s] /proc/loadavg: 0.99 0.98 0.99 2/66 3939 /proc/meminfo: memFree=1786608/2055920 swapFree=4184636/4192956 [pid=3938] ppid=3936 vsize=13496 CPUtime=185.45 /proc/3938/stat : 3938 (bsolo3.0.16) R 3936 3938 3103 0 -1 4194304 833 0 0 0 18460 85 0 0 25 0 1 0 87067223 13819904 799 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3938/statm: 3374 799 312 324 0 2443 0 Current children cumulated CPU time (s) 185.45 Current children cumulated vsize (KiB) 13496 [startup+191.902 s] /proc/loadavg: 0.99 0.98 0.99 2/66 3939 /proc/meminfo: memFree=1786608/2055920 swapFree=4184636/4192956 [pid=3938] ppid=3936 vsize=13496 CPUtime=191.84 /proc/3938/stat : 3938 (bsolo3.0.16) R 3936 3938 3103 0 -1 4194304 833 0 0 0 19097 87 0 0 25 0 1 0 87067223 13819904 799 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3938/statm: 3374 799 312 324 0 2443 0 Current children cumulated CPU time (s) 191.84 Current children cumulated vsize (KiB) 13496 [startup+195.101 s] /proc/loadavg: 0.99 0.98 0.99 2/66 3939 /proc/meminfo: memFree=1786608/2055920 swapFree=4184636/4192956 [pid=3938] ppid=3936 vsize=13496 CPUtime=195.04 /proc/3938/stat : 3938 (bsolo3.0.16) R 3936 3938 3103 0 -1 4194304 833 0 0 0 19416 88 0 0 25 0 1 0 87067223 13819904 799 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3938/statm: 3374 799 312 324 0 2443 0 Current children cumulated CPU time (s) 195.04 Current children cumulated vsize (KiB) 13496 [startup+195.902 s] /proc/loadavg: 0.99 0.98 0.99 2/66 3939 /proc/meminfo: memFree=1786608/2055920 swapFree=4184636/4192956 [pid=3938] ppid=3936 vsize=13496 CPUtime=195.84 /proc/3938/stat : 3938 (bsolo3.0.16) R 3936 3938 3103 0 -1 4194304 833 0 0 0 19495 89 0 0 25 0 1 0 87067223 13819904 799 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3938/statm: 3374 799 312 324 0 2443 0 Current children cumulated CPU time (s) 195.84 Current children cumulated vsize (KiB) 13496 [startup+196.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 3939 /proc/meminfo: memFree=1786608/2055920 swapFree=4184636/4192956 [pid=3938] ppid=3936 vsize=13496 CPUtime=196.24 /proc/3938/stat : 3938 (bsolo3.0.16) R 3936 3938 3103 0 -1 4194304 833 0 0 0 19535 89 0 0 25 0 1 0 87067223 13819904 799 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3938/statm: 3374 799 312 324 0 2443 0 Current children cumulated CPU time (s) 196.24 Current children cumulated vsize (KiB) 13496 [startup+196.501 s] /proc/loadavg: 0.99 0.98 0.99 2/66 3939 /proc/meminfo: memFree=1786608/2055920 swapFree=4184636/4192956 [pid=3938] ppid=3936 vsize=13496 CPUtime=196.44 /proc/3938/stat : 3938 (bsolo3.0.16) R 3936 3938 3103 0 -1 4194304 833 0 0 0 19555 89 0 0 25 0 1 0 87067223 13819904 799 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3938/statm: 3374 799 312 324 0 2443 0 Current children cumulated CPU time (s) 196.44 Current children cumulated vsize (KiB) 13496 Child status: 0 Real time (s): 196.59 CPU time (s): 196.54 CPU user time (s): 195.642 CPU system time (s): 0.897863 CPU usage (%): 99.9744 Max. virtual memory (cumulated for all children) (KiB): 13496 getrusage(RUSAGE_CHILDREN,...) data: user time used= 195.642 system time used= 0.897863 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 834 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= 11 involuntary context switches= 143 runsolver used 0.12798 second user time and 0.425935 second system time The end
Begin job on node27 on Mon Apr 16 17:15:13 UTC 2007 IDJOB= 354999 IDBENCH= 2928 IDSOLVER= 163 FILE ID= node27/354999-1176743713 PBS_JOBID= 4559548 Free space on /tmp= 66514 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_4.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354999-1176743713/instance-354999-1176743713.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-354999-1176743713 -o ROOT/results/node27/solver-354999-1176743713 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354999-1176743713/instance-354999-1176743713.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 1757d8d914b8f8f6b2c05049538ae81a RANDOM SEED= 398668811 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node27.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.213 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 : 5931.00 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.213 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: 1789256 kB Buffers: 22404 kB Cached: 178692 kB SwapCached: 2904 kB Active: 54176 kB Inactive: 157412 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1789256 kB SwapTotal: 4192956 kB SwapFree: 4184636 kB Dirty: 4384 kB Writeback: 0 kB Mapped: 16916 kB Slab: 41040 kB Committed_AS: 1577920 kB PageTables: 1412 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= 66514 MiB End job on node27 on Mon Apr 16 17:18:30 UTC 2007