Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 1 | 197.32 | 197.317 |
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.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433541-1177960981/instance-433541-1177960981.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.005 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.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 86 94 105 3714 35 987 856 97 7818 0.01 0.00/0.01 o 180 0.016 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 137 94 157 5535 35 1181 856 149 8562 0.02 0.00/0.02 o 166 0.018 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 172 94 193 6353 32 1281 856 185 9052 0.02 0.00/0.02 o 159 0.021 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 191 94 213 7119 33 1380 856 205 9095 0.02 0.00/0.03 o 158 0.03 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 278 94 301 9595 31 1665 856 293 9266 0.03 0.00/0.03 o 157 0.035 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 319 94 343 10693 31 1794 856 335 9114 0.04 0.00/0.03 o 155 0.035 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 319 94 344 10757 31 1856 856 336 9114 0.04 0.00/0.03 o 153 0.036 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 320 94 346 10874 31 1922 856 338 8888 0.04 0.00/0.04 o 124 0.038 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 337 94 364 11467 31 2012 856 356 8868 0.04 0.00/0.04 o 122 0.039 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 338 93 366 11531 31 2087 854 358 8666 0.04 0.00/0.05 o 87 0.048 0.00/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.08 c 409 93 438 13716 31 2239 854 430 8520 0.05 0.00/0.08 c 509 91 538 15702 29 2443 940 530 8627 0.06 0.00/0.08 o 75 0.079 0.00/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.08 c 674 90 704 19023 27 2776 848 696 8531 0.08 0.00/0.08 o 73 0.079 0.08/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.08/0.09 c 676 90 707 19173 27 2822 848 699 8450 0.08 0.08/0.09 o 71 0.09 0.08/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.08/0.09 c 765 90 797 21579 27 3032 848 789 8406 0.09 0.08/0.09 o 64 0.095 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 8494 0.10 0.09/0.10 o 63 0.103 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 8291 0.10 0.09/0.10 o 57 0.103 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 8300 0.10 0.09/0.11 c 956 86 548 12452 22 1487 927 540 8535 0.11 0.09/0.11 o 53 0.112 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 8616 0.11 0.09/0.11 o 43 0.113 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 8619 0.11 0.09/0.12 o 34 0.117 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 8717 0.12 0.09/0.13 c 1123 81 718 16243 22 1985 920 710 8984 0.12 0.09/0.13 o 33 0.131 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 9175 0.13 0.09/0.15 c 1302 81 460 9944 21 1191 914 452 9234 0.14 0.09/0.15 o 22 0.148 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 9610 0.15 0.09/0.17 c 1532 73 691 14562 21 1689 911 683 9820 0.16 0.09/0.17 o 18 0.166 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 1657 70 817 17351 21 1978 808 809 9981 0.17 0.09/0.17 o 17 0.174 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 1741 70 481 10011 20 1249 808 473 10005 0.17 0.09/0.17 o 15 0.174 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 1742 70 483 10092 20 1291 808 475 10011 0.17 0.29/0.32 c 1842 64 583 12217 20 1472 889 575 10176 0.18 0.29/0.32 c 2093 62 834 17604 21 1980 978 826 10412 0.20 0.29/0.32 c 2569 62 810 17332 21 1852 1076 802 10659 0.24 0.29/0.32 c 3383 62 1073 23559 21 2381 1184 1065 10842 0.31 0.29/0.32 o 13 0.326 0.39/0.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.45 c 3526 62 1217 26822 22 2698 792 1209 10815 0.33 0.39/0.45 c 3627 62 538 11661 21 1299 872 530 10826 0.34 0.39/0.45 c 3878 62 789 17081 21 1800 960 781 10954 0.35 0.39/0.45 c 4354 62 770 16570 21 1760 1057 762 11107 0.39 0.39/0.45 o 12 0.449 0.69/0.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.72 c 5072 62 951 20985 22 2156 792 943 11296 0.45 0.69/0.72 c 5172 62 537 11502 21 1305 872 529 11292 0.46 0.69/0.72 c 5422 62 787 16823 21 1802 960 779 11343 0.48 0.69/0.72 c 5897 62 770 15973 20 1762 1057 762 11406 0.52 0.69/0.72 c 6710 62 1043 21983 21 2306 1163 1035 11470 0.58 0.69/0.72 c 8030 62 1180 25851 21 2583 1280 1172 11537 0.70 0.69/0.72 o 11 0.724 0.69/0.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.78 c 8384 62 882 18894 21 2020 792 874 11564 0.72 0.69/0.78 c 8484 62 537 11084 20 1300 872 529 11574 0.73 0.69/0.78 c 8734 62 787 16564 21 1799 960 779 11629 0.75 0.69/0.78 o 10 0.777 0.69/0.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.78 c 9057 62 609 12509 20 1474 792 601 11656 0.78 0.69/0.78 o 8 0.777 0.89/0.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.96 c 9057 62 610 12541 20 1506 792 602 11656 0.78 0.89/0.96 c 9158 55 711 14580 20 1695 872 703 11681 0.78 0.89/0.96 c 9408 54 512 10591 20 1235 960 504 11745 0.80 0.89/0.96 c 9883 54 987 21198 21 2187 1057 979 11807 0.84 0.89/0.96 c 10696 54 721 15801 21 1652 1163 713 11818 0.91 0.89/0.96 o 7 0.964 1.10/1.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.11 c 11430 54 865 18296 21 1965 776 857 11856 0.96 1.10/1.11 c 11531 54 538 11137 20 1279 854 530 11863 0.97 1.10/1.11 c 11781 54 788 16250 20 1782 940 780 11900 0.99 1.10/1.11 c 12256 54 782 16183 20 1764 1035 774 11945 1.03 1.10/1.11 c 13070 54 1067 22669 21 2337 1139 1059 11968 1.09 1.10/1.11 o 5 1.11 1.29/1.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.36 c 13229 54 642 13012 20 1511 776 634 11918 1.11 1.29/1.36 c 13329 54 742 15217 20 1711 854 734 11932 1.12 1.29/1.36 c 13579 54 546 10742 19 1296 940 538 11932 1.14 1.29/1.36 c 14055 54 540 11076 20 1283 1035 532 12012 1.17 1.29/1.36 c 14868 54 820 17224 21 1841 1139 812 12068 1.23 1.29/1.36 c 16188 54 979 20771 21 2164 1253 971 12062 1.34 1.29/1.36 o 4 1.362 3.49/3.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.51 c 16437 54 1229 26127 21 2683 776 1221 12059 1.36 3.49/3.51 c 16539 49 539 10789 20 1274 854 531 12054 1.37 3.49/3.51 c 16790 48 790 15854 20 1775 940 782 12053 1.39 3.49/3.51 c 17267 46 783 15719 20 1750 1035 775 12083 1.43 3.49/3.51 c 18080 46 1066 22577 21 2319 1139 1058 12142 1.49 3.49/3.51 c 19403 46 642 12885 20 1470 1253 634 12119 1.60 3.49/3.51 c 21485 46 807 16358 20 1806 1379 799 12070 1.78 3.49/3.51 c 24708 46 1226 25900 21 2639 1517 1218 12023 2.06 3.49/3.51 c 29645 46 1529 32336 21 3247 1669 1521 11824 2.51 3.49/3.51 c 37151 46 1365 28778 21 2920 1836 1357 11697 3.18 3.49/3.51 o 2 3.508 36.29/36.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 36.29/36.36 c 40732 46 1206 25583 21 2617 760 1198 11611 3.51 36.29/36.36 c 40832 42 537 10833 20 1249 837 529 11613 3.52 36.29/36.36 c 41082 39 787 16256 20 1743 921 779 11631 3.53 36.29/36.36 c 41557 39 793 16135 20 1755 1014 785 11650 3.57 36.29/36.36 c 42370 38 572 11230 19 1307 1116 564 11659 3.63 36.29/36.36 c 43690 38 751 15040 20 1669 1228 743 11681 3.74 36.29/36.36 c 45771 38 953 19080 20 2070 1351 945 11706 3.91 36.29/36.36 c 48996 38 741 14615 19 1648 1487 733 11660 4.20 36.29/36.36 c 53932 38 1127 23002 20 2416 1636 1119 11633 4.64 36.29/36.36 c 61438 38 1126 22945 20 2414 1800 1118 11479 5.35 36.29/36.36 c 72800 38 1496 30590 20 3161 1981 1488 11251 6.47 36.29/36.36 c 89945 38 1502 30243 20 3165 2180 1494 10821 8.31 36.29/36.36 c 115765 38 1859 38436 20 3883 2399 1851 10329 11.21 36.29/36.36 c 154597 38 1756 35955 20 3668 2639 1748 9967 15.51 36.29/36.36 c 212949 38 2675 55740 20 5507 2903 2667 9272 22.96 36.29/36.36 c 300581 38 2267 46792 20 4699 3194 2259 8725 34.45 36.29/36.36 o 1 36.36 197.30/197.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 197.30/197.31 c 314313 38 3089 63942 20 6348 749 3081 8644 36.36 197.30/197.31 c 314414 35 541 10322 19 1230 824 533 8642 36.38 197.30/197.31 c 314664 33 791 15388 19 1724 907 783 8644 36.40 197.30/197.31 c 315140 31 805 15771 19 1751 998 797 8649 36.43 197.30/197.31 c 315955 30 596 11744 19 1333 1098 588 8657 36.50 197.30/197.31 c 317276 30 795 15145 19 1729 1208 787 8669 36.60 197.30/197.31 c 319357 30 1030 20517 19 2203 1329 1022 8686 36.76 197.30/197.31 c 322581 30 879 17498 19 1898 1462 871 8710 37.03 197.30/197.31 c 327517 30 1354 27074 19 2848 1609 1346 8741 37.47 197.30/197.31 c 335026 30 1478 30536 20 3092 1770 1470 8776 38.17 197.30/197.31 c 346389 30 1137 22830 20 2414 1948 1129 8830 39.23 197.30/197.31 c 363534 30 1446 29419 20 3035 2143 1438 8871 40.98 197.30/197.31 c 389354 30 1187 23644 19 2513 2358 1179 8909 43.70 197.30/197.31 c 428186 30 1766 35812 20 3670 2594 1758 8881 48.21 197.30/197.31 c 486539 30 2365 48621 20 4872 2854 2357 8754 55.57 197.30/197.31 c 574171 30 1957 40051 20 4056 3140 1949 8576 66.95 197.30/197.31 c 705723 30 1817 36344 20 3774 3455 1809 8261 85.43 197.30/197.31 c 903156 30 2287 46360 20 4711 3801 2279 7794 115.87 197.30/197.31 c 1199408 29 3456 67360 19 7050 4182 3448 7356 163.05 197.30/197.31 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 197.30/197.31 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 197.30/197.31 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 197.30/197.31 v -x85 -x86 -x87 -x88 -x89 x90 -x91 x92 x93 -x75 x94 197.30/197.31 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 197.30/197.31 c 119 1409927 2716 1415466 3496 50348 3488 7145 197.32 197.30/197.31 c Objective: 1 197.30/197.31 s OPTIMUM FOUND 197.30/197.31 c Total time: 197.318 s
OK 1
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node16/watcher-433541-1177960981 -o ROOT/results/node16/solver-433541-1177960981 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433541-1177960981/instance-433541-1177960981.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: 1.00 1.00 1.00 3/77 21693 /proc/meminfo: memFree=1876424/2055920 swapFree=4148612/4192956 [pid=21693] ppid=21691 vsize=19552 CPUtime=0 /proc/21693/stat : 21693 (bsolo3.0.17) R 21691 21693 21037 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 244015694 20021248 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21693/statm: 4888 332 279 324 0 3957 0 [startup+0.0900791 s] /proc/loadavg: 1.00 1.00 1.00 3/77 21693 /proc/meminfo: memFree=1876424/2055920 swapFree=4148612/4192956 [pid=21693] ppid=21691 vsize=12128 CPUtime=0.08 /proc/21693/stat : 21693 (bsolo3.0.17) R 21691 21693 21037 0 -1 4194304 492 0 0 0 8 0 0 0 18 0 1 0 244015694 12419072 461 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572583 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21693/statm: 3032 462 310 324 0 2102 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 12128 [startup+0.101076 s] /proc/loadavg: 1.00 1.00 1.00 3/77 21693 /proc/meminfo: memFree=1876424/2055920 swapFree=4148612/4192956 [pid=21693] ppid=21691 vsize=12256 CPUtime=0.09 /proc/21693/stat : 21693 (bsolo3.0.17) R 21691 21693 21037 0 -1 4194304 503 0 0 0 9 0 0 0 18 0 1 0 244015694 12550144 472 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21693/statm: 3064 472 310 324 0 2134 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12256 [startup+0.301034 s] /proc/loadavg: 1.00 1.00 1.00 3/77 21693 /proc/meminfo: memFree=1876424/2055920 swapFree=4148612/4192956 [pid=21693] ppid=21691 vsize=12260 CPUtime=0.29 /proc/21693/stat : 21693 (bsolo3.0.17) R 21691 21693 21037 0 -1 4194304 510 0 0 0 29 0 0 0 19 0 1 0 244015694 12554240 479 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586340 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21693/statm: 3065 479 310 324 0 2135 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12260 [startup+0.70195 s] /proc/loadavg: 1.00 1.00 1.00 3/77 21693 /proc/meminfo: memFree=1876424/2055920 swapFree=4148612/4192956 [pid=21693] ppid=21691 vsize=12260 CPUtime=0.69 /proc/21693/stat : 21693 (bsolo3.0.17) R 21691 21693 21037 0 -1 4194304 520 0 0 0 69 0 0 0 23 0 1 0 244015694 12554240 489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21693/statm: 3065 489 310 324 0 2135 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12260 [startup+1.50178 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21694 /proc/meminfo: memFree=1875584/2055920 swapFree=4148612/4192956 [pid=21693] ppid=21691 vsize=12260 CPUtime=1.49 /proc/21693/stat : 21693 (bsolo3.0.17) R 21691 21693 21037 0 -1 4194304 531 0 0 0 149 0 0 0 25 0 1 0 244015694 12554240 500 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21693/statm: 3065 500 310 324 0 2135 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12260 [startup+3.10145 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21694 /proc/meminfo: memFree=1875392/2055920 swapFree=4148612/4192956 [pid=21693] ppid=21691 vsize=12512 CPUtime=3.09 /proc/21693/stat : 21693 (bsolo3.0.17) R 21691 21693 21037 0 -1 4194304 572 0 0 0 309 0 0 0 25 0 1 0 244015694 12812288 541 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21693/statm: 3128 541 310 324 0 2198 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12512 [startup+6.30177 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21694 /proc/meminfo: memFree=1875008/2055920 swapFree=4148612/4192956 [pid=21693] ppid=21691 vsize=12512 CPUtime=6.29 /proc/21693/stat : 21693 (bsolo3.0.17) R 21691 21693 21037 0 -1 4194304 589 0 0 0 629 0 0 0 25 0 1 0 244015694 12812288 558 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21693/statm: 3128 558 310 324 0 2198 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12512 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21694 /proc/meminfo: memFree=1874944/2055920 swapFree=4148612/4192956 [pid=21693] ppid=21691 vsize=12732 CPUtime=12.69 /proc/21693/stat : 21693 (bsolo3.0.17) R 21691 21693 21037 0 -1 4194304 644 0 0 0 1269 0 0 0 25 0 1 0 244015694 13037568 613 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21693/statm: 3183 613 310 324 0 2253 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12732 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21694 /proc/meminfo: memFree=1874816/2055920 swapFree=4148612/4192956 [pid=21693] ppid=21691 vsize=12980 CPUtime=25.49 /proc/21693/stat : 21693 (bsolo3.0.17) R 21691 21693 21037 0 -1 4194304 699 0 0 0 2549 0 0 0 25 0 1 0 244015694 13291520 668 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21693/statm: 3245 668 310 324 0 2315 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 12980 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21694 /proc/meminfo: memFree=1874624/2055920 swapFree=4148612/4192956 [pid=21693] ppid=21691 vsize=13080 CPUtime=51.09 /proc/21693/stat : 21693 (bsolo3.0.17) R 21691 21693 21037 0 -1 4194304 719 0 0 0 5109 0 0 0 25 0 1 0 244015694 13393920 688 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134558917 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21693/statm: 3270 688 310 324 0 2340 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 13080 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21694 /proc/meminfo: memFree=1874432/2055920 swapFree=4148612/4192956 [pid=21693] ppid=21691 vsize=13196 CPUtime=102.3 /proc/21693/stat : 21693 (bsolo3.0.17) R 21691 21693 21037 0 -1 4194304 758 0 0 0 10229 1 0 0 25 0 1 0 244015694 13512704 727 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21693/statm: 3299 727 310 324 0 2369 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 13196 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21694 /proc/meminfo: memFree=1874176/2055920 swapFree=4148612/4192956 [pid=21693] ppid=21691 vsize=13372 CPUtime=162.29 /proc/21693/stat : 21693 (bsolo3.0.17) R 21691 21693 21037 0 -1 4194304 808 0 0 0 16228 1 0 0 25 0 1 0 244015694 13692928 776 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21693/statm: 3343 776 310 324 0 2413 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 13372 Solver just ended. Dumping a history of the last processes samples [startup+179.102 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21694 /proc/meminfo: memFree=1874112/2055920 swapFree=4148612/4192956 [pid=21693] ppid=21691 vsize=13496 CPUtime=179.1 /proc/21693/stat : 21693 (bsolo3.0.17) R 21691 21693 21037 0 -1 4194304 829 0 0 0 17909 1 0 0 25 0 1 0 244015694 13819904 797 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21693/statm: 3374 797 310 324 0 2444 0 Current children cumulated CPU time (s) 179.1 Current children cumulated vsize (KiB) 13496 [startup+185.502 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21694 /proc/meminfo: memFree=1874048/2055920 swapFree=4148612/4192956 [pid=21693] ppid=21691 vsize=13496 CPUtime=185.5 /proc/21693/stat : 21693 (bsolo3.0.17) R 21691 21693 21037 0 -1 4194304 829 0 0 0 18549 1 0 0 25 0 1 0 244015694 13819904 797 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21693/statm: 3374 797 310 324 0 2444 0 Current children cumulated CPU time (s) 185.5 Current children cumulated vsize (KiB) 13496 [startup+191.902 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21694 /proc/meminfo: memFree=1874048/2055920 swapFree=4148612/4192956 [pid=21693] ppid=21691 vsize=13496 CPUtime=191.9 /proc/21693/stat : 21693 (bsolo3.0.17) R 21691 21693 21037 0 -1 4194304 829 0 0 0 19189 1 0 0 25 0 1 0 244015694 13819904 797 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551377 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21693/statm: 3374 797 310 324 0 2444 0 Current children cumulated CPU time (s) 191.9 Current children cumulated vsize (KiB) 13496 [startup+195.101 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21694 /proc/meminfo: memFree=1874048/2055920 swapFree=4148612/4192956 [pid=21693] ppid=21691 vsize=13496 CPUtime=195.1 /proc/21693/stat : 21693 (bsolo3.0.17) R 21691 21693 21037 0 -1 4194304 829 0 0 0 19509 1 0 0 25 0 1 0 244015694 13819904 797 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21693/statm: 3374 797 310 324 0 2444 0 Current children cumulated CPU time (s) 195.1 Current children cumulated vsize (KiB) 13496 [startup+196.702 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21694 /proc/meminfo: memFree=1874048/2055920 swapFree=4148612/4192956 [pid=21693] ppid=21691 vsize=13496 CPUtime=196.7 /proc/21693/stat : 21693 (bsolo3.0.17) R 21691 21693 21037 0 -1 4194304 829 0 0 0 19669 1 0 0 25 0 1 0 244015694 13819904 797 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21693/statm: 3374 797 310 324 0 2444 0 Current children cumulated CPU time (s) 196.7 Current children cumulated vsize (KiB) 13496 [startup+197.102 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21694 /proc/meminfo: memFree=1874048/2055920 swapFree=4148612/4192956 [pid=21693] ppid=21691 vsize=13496 CPUtime=197.1 /proc/21693/stat : 21693 (bsolo3.0.17) R 21691 21693 21037 0 -1 4194304 829 0 0 0 19709 1 0 0 25 0 1 0 244015694 13819904 797 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7638676 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21693/statm: 3374 797 310 324 0 2444 0 Current children cumulated CPU time (s) 197.1 Current children cumulated vsize (KiB) 13496 [startup+197.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21694 /proc/meminfo: memFree=1874048/2055920 swapFree=4148612/4192956 [pid=21693] ppid=21691 vsize=13496 CPUtime=197.3 /proc/21693/stat : 21693 (bsolo3.0.17) R 21691 21693 21037 0 -1 4194304 829 0 0 0 19729 1 0 0 25 0 1 0 244015694 13819904 797 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550800 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21693/statm: 3374 797 310 324 0 2444 0 Current children cumulated CPU time (s) 197.3 Current children cumulated vsize (KiB) 13496 Child status: 0 Real time (s): 197.317 CPU time (s): 197.32 CPU user time (s): 197.305 CPU system time (s): 0.014997 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 13496 getrusage(RUSAGE_CHILDREN,...) data: user time used= 197.305 system time used= 0.014997 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 833 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= 4117 runsolver used 0.160975 second user time and 0.414936 second system time The end
Begin job on node16 on Mon Apr 30 19:23:01 UTC 2007 IDJOB= 433541 IDBENCH= 2928 IDSOLVER= 199 FILE ID= node16/433541-1177960981 PBS_JOBID= 4727726 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 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.17 -m1800 /tmp/evaluation/433541-1177960981/instance-433541-1177960981.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-433541-1177960981 -o ROOT/results/node16/solver-433541-1177960981 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433541-1177960981/instance-433541-1177960981.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 1757d8d914b8f8f6b2c05049538ae81a RANDOM SEED= 728544279 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node16.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.232 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.232 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: 1876832 kB Buffers: 14364 kB Cached: 78112 kB SwapCached: 11972 kB Active: 68936 kB Inactive: 46652 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1876832 kB SwapTotal: 4192956 kB SwapFree: 4148612 kB Dirty: 6684 kB Writeback: 0 kB Mapped: 30128 kB Slab: 49008 kB Committed_AS: 7669364 kB PageTables: 1836 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= 66558 MiB End job on node16 on Mon Apr 30 19:26:18 UTC 2007