Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 2 | 298.306 | 298.384 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_1.opb |
MD5SUM | fb11ff2665aef67f0842a460a5ea3114 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 34.4168 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2 |
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 | 45 |
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 | 851 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 3063 |
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/354986-1176743187/instance-354986-1176743187.opb 0.00/0.00 c File size is 3580 bytes. 0.00/0.00 c Highest Coefficient sum: 3063 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: 104 0.00/0.00 c Obj. Vars: 64 (68.0851 % 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 94 8 364 45 110 728 0 0 0.00 0.00/0.00 c Switching off LPR mode. 0.00/0.00 o 922 0.001 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 293 856 1 0 0.00 0.00/0.00 o 832 0.002 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 828 43 368 856 11 4500 0.00 0.00/0.00 o 788 0.003 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 16 94 27 1166 43 436 856 19 5333 0.00 0.00/0.00 o 747 0.003 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 18 94 30 1280 42 453 856 22 6000 0.00 0.00/0.00 o 735 0.003 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 19 94 32 1380 43 509 856 24 6333 0.00 0.00/0.00 o 724 0.004 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 27 94 41 1761 42 620 856 33 6750 0.00 0.00/0.00 o 722 0.005 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 31 94 46 2009 43 678 856 38 6200 0.01 0.00/0.01 o 699 0.005 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 37 94 53 2261 42 690 856 45 7400 0.01 0.00/0.01 o 697 0.006 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 44 94 61 2611 42 754 856 53 7333 0.01 0.00/0.01 o 691 0.007 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 47 94 65 2793 42 810 856 57 6714 0.01 0.00/0.01 o 652 0.007 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 48 94 67 2904 43 850 856 59 6857 0.01 0.00/0.01 o 638 0.008 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 53 94 73 3105 42 922 856 65 6625 0.01 0.00/0.01 o 608 0.008 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 54 94 75 3212 42 997 856 67 6750 0.01 0.00/0.01 o 448 0.008 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 55 94 77 3319 43 888 856 69 6111 0.01 0.00/0.01 o 446 0.009 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 56 94 79 3423 43 936 856 71 6222 0.01 0.00/0.01 o 444 0.009 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 61 94 85 3789 44 947 856 77 6777 0.01 0.00/0.01 o 198 0.011 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 85 94 110 4533 41 990 856 102 7083 0.01 0.00/0.01 o 197 0.012 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 88 94 114 4687 41 1050 856 106 7333 0.01 0.00/0.01 o 195 0.013 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 109 94 136 5641 41 1012 856 128 7785 0.01 0.00/0.01 o 193 0.015 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 135 94 163 6277 38 1165 856 155 9000 0.01 0.00/0.02 o 191 0.016 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 138 94 167 6479 38 1216 856 159 8625 0.02 0.00/0.02 o 189 0.016 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 142 94 172 6742 39 1285 856 164 8875 0.02 0.00/0.02 o 169 0.018 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 156 94 187 7250 38 1349 856 179 8666 0.02 0.00/0.02 o 165 0.018 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 157 94 189 7365 38 1415 856 181 8722 0.02 0.00/0.02 o 158 0.02 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 177 94 210 8072 38 1449 856 202 8850 0.02 0.00/0.02 o 150 0.021 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 178 94 212 8180 38 1510 856 204 8476 0.02 0.00/0.02 o 146 0.021 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 181 94 216 8390 38 1579 856 208 8619 0.02 0.00/0.02 o 144 0.022 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 187 94 223 8652 38 1676 856 215 8500 0.02 0.00/0.04 c 287 94 323 11363 35 1875 942 315 8696 0.03 0.00/0.04 o 126 0.036 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 316 94 353 12020 34 1967 856 345 8777 0.04 0.00/0.04 o 124 0.037 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 322 94 360 12395 34 2039 856 352 8702 0.04 0.00/0.04 o 121 0.043 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 372 92 411 13988 34 2226 852 403 8651 0.04 0.00/0.04 o 119 0.043 0.04/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.05 c 373 92 413 14098 34 2290 852 405 8674 0.04 0.04/0.05 o 95 0.051 0.04/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.05 c 432 92 473 15514 32 2483 852 465 8470 0.05 0.04/0.05 o 93 0.051 0.04/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.06 c 433 92 475 15637 32 2536 852 467 8490 0.05 0.04/0.06 o 92 0.056 0.04/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.06 c 482 91 525 16639 31 2687 850 517 8607 0.06 0.04/0.06 o 88 0.057 0.04/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.06 c 483 91 527 16744 31 2750 850 519 8473 0.06 0.04/0.06 o 86 0.057 0.04/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.07 c 483 91 528 16805 31 2806 850 520 8473 0.06 0.04/0.07 c 584 89 629 18737 29 2902 936 621 8588 0.07 0.04/0.07 o 36 0.068 0.04/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.07 c 584 89 630 18796 29 2954 846 622 8588 0.07 0.04/0.07 o 34 0.069 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 592 89 639 19100 29 2993 846 631 8579 0.07 0.09/0.11 c 692 81 739 21136 28 3242 931 731 8650 0.08 0.09/0.11 c 942 79 500 10594 21 1267 1025 492 8886 0.11 0.09/0.11 o 32 0.115 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 1084 78 643 13863 21 1604 824 635 9426 0.12 0.09/0.12 o 28 0.115 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 1091 78 651 14125 21 1664 824 643 9486 0.12 0.09/0.12 o 26 0.118 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 1116 73 677 14644 21 1753 814 669 9457 0.12 0.09/0.12 o 22 0.118 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 1117 73 679 14729 21 1798 814 671 9466 0.12 0.09/0.13 c 1218 71 780 16818 21 1996 896 772 9666 0.13 0.09/0.13 o 15 0.127 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 1226 71 789 17031 21 2058 810 781 9653 0.13 0.09/0.14 c 1326 63 469 9905 21 1170 892 461 9750 0.14 0.09/0.14 o 12 0.14 0.79/0.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.85 c 1390 63 534 11444 21 1332 794 526 9928 0.14 0.79/0.85 c 1490 62 634 13640 21 1529 874 626 10136 0.15 0.79/0.85 c 1742 62 886 19314 21 2033 962 878 10621 0.16 0.79/0.85 c 2218 62 864 18868 21 1950 1059 856 10926 0.20 0.79/0.85 c 3031 62 590 12735 21 1405 1165 582 11102 0.27 0.79/0.85 c 4352 62 718 15918 22 1656 1282 710 11216 0.39 0.79/0.85 c 6434 62 841 18317 21 1909 1411 833 11170 0.58 0.79/0.85 o 9 0.854 1.19/1.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.20 c 9443 62 968 21311 22 2188 792 960 11057 0.85 1.19/1.20 c 9544 62 538 11363 21 1299 872 530 11046 0.86 1.19/1.20 c 9794 62 788 17037 21 1797 960 780 11104 0.88 1.19/1.20 c 10270 62 768 16665 21 1759 1057 760 11163 0.92 1.19/1.20 c 11084 62 1037 22697 21 2294 1163 1029 11218 0.99 1.19/1.20 c 12405 62 1166 25870 22 2559 1280 1158 11318 1.10 1.19/1.20 o 5 1.201 1.39/1.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.48 c 13569 62 1014 22284 21 2281 792 1006 11298 1.20 1.39/1.48 c 13670 56 538 11301 21 1288 872 530 11306 1.21 1.39/1.48 c 13921 55 789 16704 21 1790 960 781 11373 1.22 1.39/1.48 c 14398 55 772 16237 21 1752 1057 764 11426 1.26 1.39/1.48 c 15211 54 1046 21556 20 2297 1163 1038 11488 1.32 1.39/1.48 c 16532 54 1180 25196 21 2574 1280 1172 11593 1.43 1.39/1.48 o 4 1.484 6.60/6.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.60/6.69 c 17199 54 1196 25488 21 2626 776 1188 11589 1.48 6.60/6.69 c 17301 49 539 10935 20 1268 854 531 11588 1.49 6.60/6.69 c 17551 46 789 16171 20 1752 940 781 11607 1.51 6.60/6.69 c 18027 46 783 15949 20 1754 1035 775 11637 1.55 6.60/6.69 c 18840 46 1062 21914 20 2313 1139 1054 11629 1.62 6.60/6.69 c 20160 46 647 13038 20 1482 1253 639 11619 1.74 6.60/6.69 c 22241 46 820 16821 20 1823 1379 812 11589 1.92 6.60/6.69 c 25464 46 1232 25990 21 2652 1517 1224 11516 2.21 6.60/6.69 c 30403 46 1535 33508 21 3253 1669 1527 11361 2.68 6.60/6.69 c 37909 46 1386 29949 21 2954 1836 1378 11195 3.39 6.60/6.69 c 49270 46 1530 32598 21 3248 2020 1522 10823 4.55 6.60/6.69 c 66414 46 1209 25873 21 2600 2223 1201 10296 6.45 6.60/6.69 o 3 6.684 11.39/11.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.39/11.40 c 68552 46 2217 47258 21 4635 760 2209 10256 6.68 11.39/11.40 c 68653 46 538 10638 19 1257 837 530 10245 6.70 11.39/11.40 c 68903 46 788 15982 20 1755 921 780 10254 6.72 11.39/11.40 c 69378 46 788 16295 20 1756 1014 780 10270 6.75 11.39/11.40 c 70192 46 564 11459 20 1309 1116 556 10295 6.82 11.39/11.40 c 71514 46 741 15094 20 1663 1228 733 10315 6.93 11.39/11.40 c 73596 46 945 19740 20 2067 1351 937 10348 7.11 11.39/11.40 c 76819 46 741 15455 20 1663 1487 733 10372 7.41 11.39/11.40 c 81755 46 1127 23006 20 2432 1636 1119 10389 7.87 11.39/11.40 c 89263 46 1124 22830 20 2427 1800 1116 10349 8.62 11.39/11.40 c 100625 46 1489 31214 20 3158 1981 1481 10209 9.86 11.39/11.40 o 2 11.4 298.21/298.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 298.21/298.38 c 113816 46 1593 33424 20 3380 760 1585 9982 11.40 298.21/298.38 c 113917 41 538 10669 19 1246 837 530 9981 11.41 298.21/298.38 c 114169 40 790 16005 20 1744 921 782 9985 11.43 298.21/298.38 c 114645 39 794 15798 19 1752 1014 786 9993 11.47 298.21/298.38 c 115461 38 577 11108 19 1319 1116 569 10000 11.54 298.21/298.38 c 116782 38 751 14997 19 1665 1228 743 10016 11.66 298.21/298.38 c 118863 38 954 19409 20 2074 1351 946 10032 11.85 298.21/298.38 c 122086 38 741 14645 19 1643 1487 733 10049 12.15 298.21/298.38 c 127023 38 1136 23294 20 2436 1636 1128 10086 12.59 298.21/298.38 c 134530 38 1131 23320 20 2425 1800 1123 10092 13.33 298.21/298.38 c 145896 38 1485 30389 20 3133 1981 1477 10052 14.51 298.21/298.38 c 163040 38 1532 31894 20 3226 2180 1524 9851 16.55 298.21/298.38 c 188859 38 1897 39280 20 3957 2399 1889 9560 19.75 298.21/298.38 c 227691 38 1830 38551 21 3823 2639 1822 9303 24.47 298.21/298.38 c 286044 38 1421 29702 20 3007 2903 1413 8967 31.90 298.21/298.38 c 373676 38 2433 51661 21 5029 3194 2425 8482 44.05 298.21/298.38 c 505228 38 3245 68053 20 6656 3514 3237 8060 62.68 298.21/298.38 c 702663 38 2022 42956 21 4206 3866 2014 7606 92.38 298.21/298.38 c 998920 38 3886 81747 21 7936 4253 3878 7019 142.31 298.21/298.38 c 1443402 37 2918 57875 19 5994 4679 2910 6442 224.03 298.21/298.38 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 298.21/298.38 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 298.21/298.38 v -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 298.21/298.38 v -x84 -x85 -x86 -x87 x88 x89 x90 x91 -x92 -x93 -x94 298.21/298.38 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 298.21/298.38 c 112 1833052 5245 1841197 4295 65437 4287 6144 298.30 298.21/298.38 c Objective: 2 298.21/298.38 s OPTIMUM FOUND 298.21/298.38 c Total time: 298.302 s
OK 2
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node26/watcher-354986-1176743187 -o ROOT/results/node26/solver-354986-1176743187 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354986-1176743187/instance-354986-1176743187.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/77 3396 /proc/meminfo: memFree=1835104/2055920 swapFree=4170260/4192956 [pid=3396] ppid=3394 vsize=19552 CPUtime=0 /proc/3396/stat : 3396 (bsolo3.0.16) R 3394 3396 2799 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 122235489 20021248 334 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3396/statm: 4888 334 281 324 0 3956 0 [startup+0.051908 s] /proc/loadavg: 0.92 0.98 0.99 3/77 3396 /proc/meminfo: memFree=1835104/2055920 swapFree=4170260/4192956 [pid=3396] ppid=3394 vsize=12000 CPUtime=0.04 /proc/3396/stat : 3396 (bsolo3.0.16) R 3394 3396 2799 0 -1 4194304 469 0 0 0 4 0 0 0 18 0 1 0 122235489 12288000 436 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3396/statm: 3000 436 312 324 0 2069 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12000 [startup+0.101913 s] /proc/loadavg: 0.92 0.98 0.99 3/77 3396 /proc/meminfo: memFree=1835104/2055920 swapFree=4170260/4192956 [pid=3396] ppid=3394 vsize=12256 CPUtime=0.09 /proc/3396/stat : 3396 (bsolo3.0.16) R 3394 3396 2799 0 -1 4194304 515 0 0 0 9 0 0 0 18 0 1 0 122235489 12550144 482 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3396/statm: 3064 482 312 324 0 2133 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12256 [startup+0.301931 s] /proc/loadavg: 0.92 0.98 0.99 3/77 3396 /proc/meminfo: memFree=1835104/2055920 swapFree=4170260/4192956 [pid=3396] ppid=3394 vsize=12260 CPUtime=0.29 /proc/3396/stat : 3396 (bsolo3.0.16) R 3394 3396 2799 0 -1 4194304 523 0 0 0 29 0 0 0 19 0 1 0 122235489 12554240 490 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3396/statm: 3065 490 312 324 0 2134 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12260 [startup+0.701968 s] /proc/loadavg: 0.92 0.98 0.99 3/77 3396 /proc/meminfo: memFree=1835104/2055920 swapFree=4170260/4192956 [pid=3396] ppid=3394 vsize=12392 CPUtime=0.69 /proc/3396/stat : 3396 (bsolo3.0.16) R 3394 3396 2799 0 -1 4194304 548 0 0 0 69 0 0 0 22 0 1 0 122235489 12689408 515 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3396/statm: 3098 515 312 324 0 2167 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12392 [startup+1.50104 s] /proc/loadavg: 0.92 0.98 0.99 2/78 3397 /proc/meminfo: memFree=1834200/2055920 swapFree=4170260/4192956 [pid=3396] ppid=3394 vsize=12392 CPUtime=1.49 /proc/3396/stat : 3396 (bsolo3.0.16) R 3394 3396 2799 0 -1 4194304 551 0 0 0 148 1 0 0 25 0 1 0 122235489 12689408 518 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3396/statm: 3098 518 312 324 0 2167 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12392 [startup+3.10119 s] /proc/loadavg: 0.93 0.98 0.99 2/78 3397 /proc/meminfo: memFree=1834072/2055920 swapFree=4170260/4192956 [pid=3396] ppid=3394 vsize=12520 CPUtime=3.08 /proc/3396/stat : 3396 (bsolo3.0.16) R 3394 3396 2799 0 -1 4194304 575 0 0 0 306 2 0 0 25 0 1 0 122235489 12820480 542 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3396/statm: 3130 542 312 324 0 2199 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 12520 [startup+6.30149 s] /proc/loadavg: 0.93 0.98 0.99 2/78 3397 /proc/meminfo: memFree=1833624/2055920 swapFree=4170260/4192956 [pid=3396] ppid=3394 vsize=12652 CPUtime=6.28 /proc/3396/stat : 3396 (bsolo3.0.16) R 3394 3396 2799 0 -1 4194304 613 0 0 0 624 4 0 0 25 0 1 0 122235489 12955648 580 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3396/statm: 3163 580 312 324 0 2232 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 12652 [startup+12.7011 s] /proc/loadavg: 0.94 0.98 0.99 2/78 3397 /proc/meminfo: memFree=1833560/2055920 swapFree=4170260/4192956 [pid=3396] ppid=3394 vsize=12652 CPUtime=12.69 /proc/3396/stat : 3396 (bsolo3.0.16) R 3394 3396 2799 0 -1 4194304 628 0 0 0 1260 9 0 0 25 0 1 0 122235489 12955648 595 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3396/statm: 3163 595 312 324 0 2232 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12652 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.99 2/78 3397 /proc/meminfo: memFree=1833368/2055920 swapFree=4170260/4192956 [pid=3396] ppid=3394 vsize=12892 CPUtime=25.48 /proc/3396/stat : 3396 (bsolo3.0.16) R 3394 3396 2799 0 -1 4194304 673 0 0 0 2532 16 0 0 25 0 1 0 122235489 13201408 640 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3396/statm: 3223 640 312 324 0 2292 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 12892 [startup+51.1017 s] /proc/loadavg: 0.96 0.98 0.99 2/78 3397 /proc/meminfo: memFree=1833240/2055920 swapFree=4170260/4192956 [pid=3396] ppid=3394 vsize=13116 CPUtime=51.07 /proc/3396/stat : 3396 (bsolo3.0.16) R 3394 3396 2799 0 -1 4194304 734 0 0 0 5079 28 0 0 25 0 1 0 122235489 13430784 701 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3396/statm: 3279 701 312 324 0 2348 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 13116 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 3397 /proc/meminfo: memFree=1832920/2055920 swapFree=4170260/4192956 [pid=3396] ppid=3394 vsize=13480 CPUtime=102.27 /proc/3396/stat : 3396 (bsolo3.0.16) R 3394 3396 2799 0 -1 4194304 818 0 0 0 10177 50 0 0 25 0 1 0 122235489 13803520 785 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3396/statm: 3370 785 312 324 0 2439 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 13480 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3397 /proc/meminfo: memFree=1832728/2055920 swapFree=4170260/4192956 [pid=3396] ppid=3394 vsize=13508 CPUtime=162.25 /proc/3396/stat : 3396 (bsolo3.0.16) R 3394 3396 2799 0 -1 4194304 847 0 0 0 16152 73 0 0 25 0 1 0 122235489 13832192 814 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3396/statm: 3377 814 312 324 0 2446 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 13508 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3397 /proc/meminfo: memFree=1832728/2055920 swapFree=4170260/4192956 [pid=3396] ppid=3394 vsize=13508 CPUtime=222.23 /proc/3396/stat : 3396 (bsolo3.0.16) R 3394 3396 2799 0 -1 4194304 850 0 0 0 22128 95 0 0 25 0 1 0 122235489 13832192 817 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3396/statm: 3377 817 312 324 0 2446 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 13508 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3397 /proc/meminfo: memFree=1832536/2055920 swapFree=4170260/4192956 [pid=3396] ppid=3394 vsize=13688 CPUtime=282.22 /proc/3396/stat : 3396 (bsolo3.0.16) R 3394 3396 2799 0 -1 4194304 877 0 0 0 28103 119 0 0 25 0 1 0 122235489 14016512 844 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3396/statm: 3422 844 312 324 0 2491 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 13688 Solver just ended. Dumping a history of the last processes samples [startup+287.902 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3397 /proc/meminfo: memFree=1832536/2055920 swapFree=4170260/4192956 [pid=3396] ppid=3394 vsize=13688 CPUtime=287.81 /proc/3396/stat : 3396 (bsolo3.0.16) R 3394 3396 2799 0 -1 4194304 877 0 0 0 28661 120 0 0 25 0 1 0 122235489 14016512 844 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3396/statm: 3422 844 312 324 0 2491 0 Current children cumulated CPU time (s) 287.81 Current children cumulated vsize (KiB) 13688 [startup+294.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3397 /proc/meminfo: memFree=1832536/2055920 swapFree=4170260/4192956 [pid=3396] ppid=3394 vsize=13688 CPUtime=294.22 /proc/3396/stat : 3396 (bsolo3.0.16) R 3394 3396 2799 0 -1 4194304 877 0 0 0 29298 124 0 0 25 0 1 0 122235489 14016512 844 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3396/statm: 3422 844 312 324 0 2491 0 Current children cumulated CPU time (s) 294.22 Current children cumulated vsize (KiB) 13688 [startup+295.905 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3397 /proc/meminfo: memFree=1832536/2055920 swapFree=4170260/4192956 [pid=3396] ppid=3394 vsize=13688 CPUtime=295.82 /proc/3396/stat : 3396 (bsolo3.0.16) R 3394 3396 2799 0 -1 4194304 877 0 0 0 29458 124 0 0 25 0 1 0 122235489 14016512 844 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3396/statm: 3422 844 312 324 0 2491 0 Current children cumulated CPU time (s) 295.82 Current children cumulated vsize (KiB) 13688 [startup+297.502 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3397 /proc/meminfo: memFree=1832536/2055920 swapFree=4170260/4192956 [pid=3396] ppid=3394 vsize=13688 CPUtime=297.42 /proc/3396/stat : 3396 (bsolo3.0.16) R 3394 3396 2799 0 -1 4194304 877 0 0 0 29617 125 0 0 25 0 1 0 122235489 14016512 844 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3396/statm: 3422 844 312 324 0 2491 0 Current children cumulated CPU time (s) 297.42 Current children cumulated vsize (KiB) 13688 [startup+297.902 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3397 /proc/meminfo: memFree=1832536/2055920 swapFree=4170260/4192956 [pid=3396] ppid=3394 vsize=13688 CPUtime=297.81 /proc/3396/stat : 3396 (bsolo3.0.16) R 3394 3396 2799 0 -1 4194304 877 0 0 0 29656 125 0 0 25 0 1 0 122235489 14016512 844 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3396/statm: 3422 844 312 324 0 2491 0 Current children cumulated CPU time (s) 297.81 Current children cumulated vsize (KiB) 13688 [startup+298.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3397 /proc/meminfo: memFree=1832536/2055920 swapFree=4170260/4192956 [pid=3396] ppid=3394 vsize=13688 CPUtime=298.21 /proc/3396/stat : 3396 (bsolo3.0.16) R 3394 3396 2799 0 -1 4194304 877 0 0 0 29696 125 0 0 25 0 1 0 122235489 14016512 844 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3396/statm: 3422 844 312 324 0 2491 0 Current children cumulated CPU time (s) 298.21 Current children cumulated vsize (KiB) 13688 Child status: 0 Real time (s): 298.384 CPU time (s): 298.306 CPU user time (s): 297.049 CPU system time (s): 1.25681 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (KiB): 13720 getrusage(RUSAGE_CHILDREN,...) data: user time used= 297.049 system time used= 1.25681 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 878 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= 600 runsolver used 0.345947 second user time and 0.668898 second system time The end
Begin job on node26 on Mon Apr 16 17:06:27 UTC 2007 IDJOB= 354986 IDBENCH= 2927 IDSOLVER= 163 FILE ID= node26/354986-1176743187 PBS_JOBID= 4580693 Free space on /tmp= 66520 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_1.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354986-1176743187/instance-354986-1176743187.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-354986-1176743187 -o ROOT/results/node26/solver-354986-1176743187 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354986-1176743187/instance-354986-1176743187.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= fb11ff2665aef67f0842a460a5ea3114 RANDOM SEED= 971426541 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node26.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 : 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.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: 1835512 kB Buffers: 28128 kB Cached: 113940 kB SwapCached: 3384 kB Active: 104532 kB Inactive: 63028 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1835512 kB SwapTotal: 4192956 kB SwapFree: 4170260 kB Dirty: 4408 kB Writeback: 0 kB Mapped: 32880 kB Slab: 38392 kB Committed_AS: 958060 kB PageTables: 1720 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= 66520 MiB End job on node26 on Mon Apr 16 17:11:25 UTC 2007