Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 2 | 296.035 | 296.115 |
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.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/433540-1177960904/instance-433540-1177960904.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.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 922 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 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 3000 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.004 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 4750 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.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 31 94 46 2009 43 678 856 38 6200 0.01 0.00/0.00 o 699 0.006 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 6166 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 6285 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.009 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 8384 0.01 0.00/0.01 o 193 0.015 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 135 94 163 6277 38 1165 856 155 9000 0.01 0.00/0.01 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.02 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 8900 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.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 187 94 223 8652 38 1676 856 215 8500 0.02 0.00/0.03 c 287 94 323 11363 35 1875 942 315 8696 0.03 0.00/0.03 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.036 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 8944 0.04 0.00/0.04 o 121 0.042 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 8857 0.04 0.00/0.04 o 119 0.043 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 373 92 413 14098 34 2290 852 405 8674 0.04 0.00/0.05 o 95 0.05 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 432 92 473 15514 32 2483 852 465 8640 0.05 0.00/0.05 o 93 0.051 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 433 92 475 15637 32 2536 852 467 8490 0.05 0.00/0.05 o 92 0.056 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 482 91 525 16639 31 2687 850 517 8607 0.06 0.00/0.06 o 88 0.056 0.05/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.05/0.06 c 483 91 527 16744 31 2750 850 519 8625 0.06 0.05/0.06 o 86 0.057 0.05/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.05/0.07 c 483 91 528 16805 31 2806 850 520 8473 0.06 0.05/0.07 c 584 89 629 18737 29 2902 936 621 8716 0.07 0.05/0.07 o 36 0.067 0.05/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.05/0.07 c 584 89 630 18796 29 2954 846 622 8588 0.07 0.05/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 8759 0.08 0.09/0.11 c 942 79 500 10594 21 1267 1025 492 8971 0.10 0.09/0.11 o 32 0.114 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 1084 78 643 13863 21 1604 824 635 9508 0.11 0.09/0.11 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.117 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 9538 0.12 0.09/0.12 o 22 0.117 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 9547 0.12 0.09/0.13 c 1218 71 780 16818 21 1996 896 772 9744 0.12 0.09/0.13 o 15 0.126 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 9730 0.13 0.09/0.14 c 1326 63 469 9905 21 1170 892 461 9822 0.14 0.09/0.14 o 12 0.139 0.79/0.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.84 c 1390 63 534 11444 21 1332 794 526 10000 0.14 0.79/0.84 c 1490 62 634 13640 21 1529 874 626 10275 0.14 0.79/0.84 c 1742 62 886 19314 21 2033 962 878 10687 0.16 0.79/0.84 c 2218 62 864 18868 21 1950 1059 856 11034 0.20 0.79/0.84 c 3031 62 590 12735 21 1405 1165 582 11184 0.27 0.79/0.84 c 4352 62 718 15918 22 1656 1282 710 11274 0.39 0.79/0.84 c 6434 62 841 18317 21 1909 1411 833 11267 0.57 0.79/0.84 o 9 0.846 1.09/1.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.19 c 9443 62 968 21311 22 2188 792 960 11161 0.85 1.09/1.19 c 9544 62 538 11363 21 1299 872 530 11162 0.85 1.09/1.19 c 9794 62 788 17037 21 1797 960 780 11205 0.87 1.09/1.19 c 10270 62 768 16665 21 1759 1057 760 11273 0.91 1.09/1.19 c 11084 62 1037 22697 21 2294 1163 1029 11333 0.98 1.09/1.19 c 12405 62 1166 25870 22 2559 1280 1158 11443 1.08 1.09/1.19 o 5 1.188 1.39/1.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.47 c 13569 62 1014 22284 21 2281 792 1006 11421 1.19 1.39/1.47 c 13670 56 538 11301 21 1288 872 530 11429 1.20 1.39/1.47 c 13921 55 789 16704 21 1790 960 781 11495 1.21 1.39/1.47 c 14398 55 772 16237 21 1752 1057 764 11555 1.25 1.39/1.47 c 15211 54 1046 21556 20 2297 1163 1038 11620 1.31 1.39/1.47 c 16532 54 1180 25196 21 2574 1280 1172 11724 1.41 1.39/1.47 o 4 1.467 6.59/6.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.59/6.62 c 17199 54 1196 25488 21 2626 776 1188 11723 1.47 6.59/6.62 c 17301 49 539 10935 20 1268 854 531 11721 1.48 6.59/6.62 c 17551 46 789 16171 20 1752 940 781 11747 1.49 6.59/6.62 c 18027 46 783 15949 20 1754 1035 775 11782 1.53 6.59/6.62 c 18840 46 1062 21914 20 2313 1139 1054 11775 1.60 6.59/6.62 c 20160 46 647 13038 20 1482 1253 639 11761 1.71 6.59/6.62 c 22241 46 820 16821 20 1823 1379 812 11730 1.90 6.59/6.62 c 25464 46 1232 25990 21 2652 1517 1224 11659 2.18 6.59/6.62 c 30403 46 1535 33508 21 3253 1669 1527 11485 2.65 6.59/6.62 c 37909 46 1386 29949 21 2954 1836 1378 11309 3.35 6.59/6.62 c 49270 46 1530 32598 21 3248 2020 1522 10927 4.51 6.59/6.62 c 66414 46 1209 25873 21 2600 2223 1201 10396 6.39 6.59/6.62 o 3 6.619 11.28/11.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.28/11.31 c 68552 46 2217 47258 21 4635 760 2209 10355 6.62 11.28/11.31 c 68653 46 538 10638 19 1257 837 530 10343 6.64 11.28/11.31 c 68903 46 788 15982 20 1755 921 780 10353 6.66 11.28/11.31 c 69378 46 788 16295 20 1756 1014 780 10370 6.69 11.28/11.31 c 70192 46 564 11459 20 1309 1116 556 10394 6.75 11.28/11.31 c 71514 46 741 15094 20 1663 1228 733 10414 6.87 11.28/11.31 c 73596 46 945 19740 20 2067 1351 937 10446 7.04 11.28/11.31 c 76819 46 741 15455 20 1663 1487 733 10471 7.34 11.28/11.31 c 81755 46 1127 23006 20 2432 1636 1119 10485 7.80 11.28/11.31 c 89263 46 1124 22830 20 2427 1800 1116 10443 8.55 11.28/11.31 c 100625 46 1489 31214 20 3158 1981 1481 10300 9.77 11.28/11.31 o 2 11.31 296.02/296.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 296.02/296.11 c 113816 46 1593 33424 20 3380 760 1585 10063 11.31 296.02/296.11 c 113917 41 538 10669 19 1246 837 530 10061 11.32 296.02/296.11 c 114169 40 790 16005 20 1744 921 782 10066 11.34 296.02/296.11 c 114645 39 794 15798 19 1752 1014 786 10072 11.38 296.02/296.11 c 115461 38 577 11108 19 1319 1116 569 10079 11.46 296.02/296.11 c 116782 38 751 14997 19 1665 1228 743 10094 11.57 296.02/296.11 c 118863 38 954 19409 20 2074 1351 946 10108 11.76 296.02/296.11 c 122086 38 741 14645 19 1643 1487 733 10122 12.06 296.02/296.11 c 127023 38 1136 23294 20 2436 1636 1128 10160 12.50 296.02/296.11 c 134530 38 1131 23320 20 2425 1800 1123 10165 13.23 296.02/296.11 c 145896 38 1485 30389 20 3133 1981 1477 10125 14.41 296.02/296.11 c 163040 38 1532 31894 20 3226 2180 1524 9922 16.43 296.02/296.11 c 188859 38 1897 39280 20 3957 2399 1889 9629 19.61 296.02/296.11 c 227691 38 1830 38551 21 3823 2639 1822 9376 24.28 296.02/296.11 c 286044 38 1421 29702 20 3007 2903 1413 9026 31.69 296.02/296.11 c 373676 38 2433 51661 21 5029 3194 2425 8537 43.77 296.02/296.11 c 505228 38 3245 68053 20 6656 3514 3237 8120 62.21 296.02/296.11 c 702663 38 2022 42956 21 4206 3866 2014 7665 91.67 296.02/296.11 c 998920 38 3886 81747 21 7936 4253 3878 7077 141.15 296.02/296.11 c 1443402 37 2918 57875 19 5994 4679 2910 6488 222.44 296.02/296.11 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 296.02/296.11 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 296.02/296.11 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 296.02/296.11 v -x84 -x85 -x86 -x87 x88 x89 x90 x91 -x92 -x93 -x94 296.02/296.11 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 296.02/296.11 c 112 1833052 5245 1841197 4295 65437 4287 6192 296.03 296.02/296.11 c Objective: 2 296.02/296.11 s OPTIMUM FOUND 296.02/296.11 c Total time: 296.03 s
OK 2
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node15/watcher-433540-1177960904 -o ROOT/results/node15/solver-433540-1177960904 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433540-1177960904/instance-433540-1177960904.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.97 3/77 30308 /proc/meminfo: memFree=1749552/2055920 swapFree=4169108/4192956 [pid=30308] ppid=30306 vsize=19552 CPUtime=0 /proc/30308/stat : 30308 (bsolo3.0.17) R 30306 30308 29700 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 244007994 20021248 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30308/statm: 4888 332 279 324 0 3957 0 [startup+0.060364 s] /proc/loadavg: 0.92 0.98 0.97 3/77 30308 /proc/meminfo: memFree=1749552/2055920 swapFree=4169108/4192956 [pid=30308] ppid=30306 vsize=12128 CPUtime=0.05 /proc/30308/stat : 30308 (bsolo3.0.17) R 30306 30308 29700 0 -1 4194304 474 0 0 0 5 0 0 0 18 0 1 0 244007994 12419072 443 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30308/statm: 3032 443 310 324 0 2102 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 12128 [startup+0.101367 s] /proc/loadavg: 0.92 0.98 0.97 3/77 30308 /proc/meminfo: memFree=1749552/2055920 swapFree=4169108/4192956 [pid=30308] ppid=30306 vsize=12256 CPUtime=0.09 /proc/30308/stat : 30308 (bsolo3.0.17) R 30306 30308 29700 0 -1 4194304 512 0 0 0 9 0 0 0 18 0 1 0 244007994 12550144 481 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30308/statm: 3064 481 310 324 0 2134 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12256 [startup+0.301385 s] /proc/loadavg: 0.92 0.98 0.97 3/77 30308 /proc/meminfo: memFree=1749552/2055920 swapFree=4169108/4192956 [pid=30308] ppid=30306 vsize=12260 CPUtime=0.29 /proc/30308/stat : 30308 (bsolo3.0.17) R 30306 30308 29700 0 -1 4194304 519 0 0 0 29 0 0 0 20 0 1 0 244007994 12554240 488 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30308/statm: 3065 488 310 324 0 2135 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12260 [startup+0.701421 s] /proc/loadavg: 0.92 0.98 0.97 3/77 30308 /proc/meminfo: memFree=1749552/2055920 swapFree=4169108/4192956 [pid=30308] ppid=30306 vsize=12392 CPUtime=0.69 /proc/30308/stat : 30308 (bsolo3.0.17) R 30306 30308 29700 0 -1 4194304 547 0 0 0 69 0 0 0 24 0 1 0 244007994 12689408 516 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30308/statm: 3098 516 310 324 0 2168 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12392 [startup+1.50149 s] /proc/loadavg: 0.92 0.98 0.97 2/78 30309 /proc/meminfo: memFree=1748648/2055920 swapFree=4169108/4192956 [pid=30308] ppid=30306 vsize=12392 CPUtime=1.49 /proc/30308/stat : 30308 (bsolo3.0.17) R 30306 30308 29700 0 -1 4194304 547 0 0 0 149 0 0 0 25 0 1 0 244007994 12689408 516 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30308/statm: 3098 516 310 324 0 2168 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12392 [startup+3.10164 s] /proc/loadavg: 0.92 0.98 0.97 2/78 30309 /proc/meminfo: memFree=1748520/2055920 swapFree=4169108/4192956 [pid=30308] ppid=30306 vsize=12520 CPUtime=3.09 /proc/30308/stat : 30308 (bsolo3.0.17) R 30306 30308 29700 0 -1 4194304 571 0 0 0 309 0 0 0 25 0 1 0 244007994 12820480 540 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30308/statm: 3130 540 310 324 0 2200 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12520 [startup+6.30194 s] /proc/loadavg: 0.93 0.98 0.97 2/78 30309 /proc/meminfo: memFree=1748008/2055920 swapFree=4169108/4192956 [pid=30308] ppid=30306 vsize=12652 CPUtime=6.29 /proc/30308/stat : 30308 (bsolo3.0.17) R 30306 30308 29700 0 -1 4194304 609 0 0 0 629 0 0 0 25 0 1 0 244007994 12955648 578 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7945781 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30308/statm: 3163 578 310 324 0 2233 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12652 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.97 2/78 30309 /proc/meminfo: memFree=1748008/2055920 swapFree=4169108/4192956 [pid=30308] ppid=30306 vsize=12652 CPUtime=12.68 /proc/30308/stat : 30308 (bsolo3.0.17) R 30306 30308 29700 0 -1 4194304 624 0 0 0 1268 0 0 0 25 0 1 0 244007994 12955648 593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30308/statm: 3163 593 310 324 0 2233 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 12652 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.97 2/78 30309 /proc/meminfo: memFree=1747880/2055920 swapFree=4169108/4192956 [pid=30308] ppid=30306 vsize=12884 CPUtime=25.49 /proc/30308/stat : 30308 (bsolo3.0.17) R 30306 30308 29700 0 -1 4194304 669 0 0 0 2548 1 0 0 25 0 1 0 244007994 13193216 638 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550972 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30308/statm: 3221 638 310 324 0 2291 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 12884 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.97 2/78 30309 /proc/meminfo: memFree=1747752/2055920 swapFree=4169108/4192956 [pid=30308] ppid=30306 vsize=13116 CPUtime=51.08 /proc/30308/stat : 30308 (bsolo3.0.17) R 30306 30308 29700 0 -1 4194304 730 0 0 0 5107 1 0 0 25 0 1 0 244007994 13430784 699 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7945967 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30308/statm: 3279 699 310 324 0 2349 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 13116 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.97 2/78 30309 /proc/meminfo: memFree=1747368/2055920 swapFree=4169108/4192956 [pid=30308] ppid=30306 vsize=13456 CPUtime=102.26 /proc/30308/stat : 30308 (bsolo3.0.17) R 30306 30308 29700 0 -1 4194304 815 0 0 0 10225 1 0 0 25 0 1 0 244007994 13778944 784 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527350 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30308/statm: 3364 784 310 324 0 2434 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 13456 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30309 /proc/meminfo: memFree=1747176/2055920 swapFree=4169108/4192956 [pid=30308] ppid=30306 vsize=13508 CPUtime=162.25 /proc/30308/stat : 30308 (bsolo3.0.17) R 30306 30308 29700 0 -1 4194304 843 0 0 0 16223 2 0 0 25 0 1 0 244007994 13832192 812 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551106 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30308/statm: 3377 812 310 324 0 2447 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.97 2/78 30309 /proc/meminfo: memFree=1747112/2055920 swapFree=4169108/4192956 [pid=30308] ppid=30306 vsize=13508 CPUtime=222.23 /proc/30308/stat : 30308 (bsolo3.0.17) R 30306 30308 29700 0 -1 4194304 846 0 0 0 22221 2 0 0 25 0 1 0 244007994 13832192 815 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30308/statm: 3377 815 310 324 0 2447 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.97 2/78 30309 /proc/meminfo: memFree=1747048/2055920 swapFree=4169108/4192956 [pid=30308] ppid=30306 vsize=13688 CPUtime=282.22 /proc/30308/stat : 30308 (bsolo3.0.17) R 30306 30308 29700 0 -1 4194304 873 0 0 0 28219 3 0 0 25 0 1 0 244007994 14016512 842 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30308/statm: 3422 842 310 324 0 2492 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.97 2/78 30309 /proc/meminfo: memFree=1747048/2055920 swapFree=4169108/4192956 [pid=30308] ppid=30306 vsize=13688 CPUtime=287.82 /proc/30308/stat : 30308 (bsolo3.0.17) R 30306 30308 29700 0 -1 4194304 873 0 0 0 28779 3 0 0 25 0 1 0 244007994 14016512 842 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30308/statm: 3422 842 310 324 0 2492 0 Current children cumulated CPU time (s) 287.82 Current children cumulated vsize (KiB) 13688 [startup+291.101 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30309 /proc/meminfo: memFree=1747048/2055920 swapFree=4169108/4192956 [pid=30308] ppid=30306 vsize=13688 CPUtime=291.02 /proc/30308/stat : 30308 (bsolo3.0.17) R 30306 30308 29700 0 -1 4194304 873 0 0 0 29099 3 0 0 25 0 1 0 244007994 14016512 842 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134521208 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30308/statm: 3422 842 310 324 0 2492 0 Current children cumulated CPU time (s) 291.02 Current children cumulated vsize (KiB) 13688 [startup+294.301 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30309 /proc/meminfo: memFree=1747048/2055920 swapFree=4169108/4192956 [pid=30308] ppid=30306 vsize=13688 CPUtime=294.22 /proc/30308/stat : 30308 (bsolo3.0.17) R 30306 30308 29700 0 -1 4194304 873 0 0 0 29419 3 0 0 25 0 1 0 244007994 14016512 842 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30308/statm: 3422 842 310 324 0 2492 0 Current children cumulated CPU time (s) 294.22 Current children cumulated vsize (KiB) 13688 [startup+295.102 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30309 /proc/meminfo: memFree=1747048/2055920 swapFree=4169108/4192956 [pid=30308] ppid=30306 vsize=13688 CPUtime=295.02 /proc/30308/stat : 30308 (bsolo3.0.17) R 30306 30308 29700 0 -1 4194304 873 0 0 0 29499 3 0 0 25 0 1 0 244007994 14016512 842 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30308/statm: 3422 842 310 324 0 2492 0 Current children cumulated CPU time (s) 295.02 Current children cumulated vsize (KiB) 13688 [startup+295.906 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30309 /proc/meminfo: memFree=1747048/2055920 swapFree=4169108/4192956 [pid=30308] ppid=30306 vsize=13688 CPUtime=295.82 /proc/30308/stat : 30308 (bsolo3.0.17) R 30306 30308 29700 0 -1 4194304 873 0 0 0 29579 3 0 0 25 0 1 0 244007994 14016512 842 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30308/statm: 3422 842 310 324 0 2492 0 Current children cumulated CPU time (s) 295.82 Current children cumulated vsize (KiB) 13688 [startup+296.102 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30309 /proc/meminfo: memFree=1747048/2055920 swapFree=4169108/4192956 [pid=30308] ppid=30306 vsize=13688 CPUtime=296.02 /proc/30308/stat : 30308 (bsolo3.0.17) R 30306 30308 29700 0 -1 4194304 873 0 0 0 29599 3 0 0 25 0 1 0 244007994 14016512 842 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30308/statm: 3422 842 310 324 0 2492 0 Current children cumulated CPU time (s) 296.02 Current children cumulated vsize (KiB) 13688 Child status: 0 Real time (s): 296.115 CPU time (s): 296.035 CPU user time (s): 296.003 CPU system time (s): 0.031995 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (KiB): 13720 getrusage(RUSAGE_CHILDREN,...) data: user time used= 296.003 system time used= 0.031995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 877 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= 6163 runsolver used 0.234964 second user time and 0.626904 second system time The end
Begin job on node15 on Mon Apr 30 19:21:44 UTC 2007 IDJOB= 433540 IDBENCH= 2927 IDSOLVER= 199 FILE ID= node15/433540-1177960904 PBS_JOBID= 4727712 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_1.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433540-1177960904/instance-433540-1177960904.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-433540-1177960904 -o ROOT/results/node15/solver-433540-1177960904 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433540-1177960904/instance-433540-1177960904.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= fb11ff2665aef67f0842a460a5ea3114 RANDOM SEED= 820325997 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node15.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.227 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.227 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: 1749960 kB Buffers: 36440 kB Cached: 179372 kB SwapCached: 2264 kB Active: 88316 kB Inactive: 151376 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1749960 kB SwapTotal: 4192956 kB SwapFree: 4169108 kB Dirty: 6608 kB Writeback: 0 kB Mapped: 31460 kB Slab: 51644 kB Committed_AS: 7201436 kB PageTables: 1872 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 node15 on Mon Apr 30 19:26:40 UTC 2007