Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 | SAT | 9 | 1798 | 1797.97 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_1.opb |
MD5SUM | cdfa46b59876181d5d89fd18757b8cfb |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 1797.53 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | NO |
Number of variables | 146 |
Total number of constraints | 12 |
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 | 12 |
Minimum length of a constraint | 66 |
Maximum length of a constraint | 66 |
Number of terms in the objective function | 96 |
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 | 3060 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1273 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4329 |
Number of bits of the biggest sum of numbers | 13 |
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.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Instance file HOME/instance-3463190-1307179176.opb 0.00/0.00 c File size is 7798 bytes. 0.00/0.00 c Highest Coefficient sum: 4329 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0 s 0.00/0.00 c Var: 146 Constr: 12 0/0/12 Lit: 792 Watch. Lit: 220 0.00/0.00 c Obj. Vars: 96 (65.7534 % 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 146 12 792 66 228 1584 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 0.00/0.00 o 1026 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 146 13 888 68 580 1776 1 0 0.00 0.00/0.01 o 823 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 49 146 74 4806 64 842 1776 62 5444 0.01 0.00/0.01 o 350 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 50 146 77 5023 65 920 1776 65 5555 0.01 0.00/0.02 c 150 146 188 9788 52 1150 1954 176 6250 0.02 0.00/0.02 o 345 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 155 146 194 10157 52 1246 1776 182 5961 0.03 0.00/0.03 o 343 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 175 146 217 11586 53 1386 1776 205 6034 0.03 0.00/0.03 o 318 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 213 146 258 13125 50 1532 1776 246 6264 0.03 0.00/0.03 o 314 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 220 146 269 13907 51 1648 1776 257 6111 0.04 0.00/0.04 o 310 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 256 146 311 16310 52 1873 1776 299 6095 0.04 0.00/0.04 o 306 0.10/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.11 c 301 146 360 18435 51 2052 1776 348 6270 0.05 0.10/0.11 c 402 146 479 24023 50 2332 1954 467 6380 0.06 0.10/0.11 c 652 146 790 40472 51 3129 2150 778 6269 0.10 0.10/0.11 o 305 0.10/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.11 c 681 146 823 41947 50 3267 1776 811 6247 0.11 0.10/0.11 o 303 0.10/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.11 c 714 146 863 43753 50 3433 1776 851 6155 0.12 0.10/0.11 o 301 0.10/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.12 c 724 146 876 44523 50 3562 1776 864 6135 0.12 0.10/0.12 o 299 0.10/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.13 c 742 146 900 45946 51 3722 1776 888 6081 0.12 0.10/0.13 o 297 0.10/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.14 c 816 146 996 51180 51 4107 1776 984 5913 0.14 0.10/0.14 o 293 0.10/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.15 c 851 146 1036 52840 51 4254 1776 1024 5828 0.15 0.10/0.15 o 264 0.10/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.15 c 871 146 1058 53558 50 4378 1776 1046 5806 0.15 0.10/0.15 o 259 0.10/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.18 c 898 146 1088 54729 50 4493 1776 1076 5793 0.15 0.10/0.18 c 1000 146 1221 62485 51 4900 1954 1209 5714 0.17 0.10/0.18 o 224 0.10/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.18 c 1056 146 1278 64264 50 4959 1776 1266 5770 0.18 0.10/0.18 o 216 0.10/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.19 c 1062 146 1285 64572 50 5039 1776 1273 5740 0.18 0.10/0.19 o 208 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 1103 146 1333 66892 50 5294 1776 1321 5715 0.19 0.19/0.22 c 1205 146 1462 72638 49 5565 1954 1450 5765 0.21 0.19/0.22 o 204 0.19/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 1309 146 1577 76771 48 5879 1776 1565 5843 0.22 0.19/0.24 o 202 0.29/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.30 c 1403 146 1694 81028 47 6200 1776 1682 5821 0.24 0.29/0.30 c 1503 146 901 42160 46 2434 1954 889 5671 0.27 0.29/0.30 c 1758 146 1179 52534 44 3007 2150 1167 5860 0.30 0.29/0.30 o 173 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 1808 146 1232 54493 44 3207 1776 1220 5889 0.31 0.29/0.33 c 1909 146 1340 58210 43 3448 1954 1328 5947 0.32 0.29/0.33 o 171 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 1951 146 1391 60354 43 3688 1776 1379 5948 0.33 0.29/0.33 o 169 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 1983 146 1429 61774 43 3857 1776 1417 5937 0.33 0.29/0.33 o 167 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 1997 146 1447 62979 43 4011 1776 1435 5925 0.34 0.29/0.34 o 165 0.29/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.35 c 2055 146 1508 65048 43 4217 1776 1496 5956 0.34 0.29/0.35 o 163 0.59/0.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.61 c 2079 146 1538 66707 43 4405 1776 1526 5940 0.35 0.59/0.61 c 2179 146 1643 69659 42 4616 1954 1631 6052 0.36 0.59/0.61 c 2429 146 1927 79401 41 5186 2150 1915 6012 0.40 0.59/0.61 c 2905 146 1341 50141 37 3245 2366 1329 5989 0.48 0.59/0.61 o 159 0.59/0.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.63 c 3594 146 2106 82203 39 4878 1776 2094 5882 0.61 0.59/0.63 c 3695 146 1010 39996 39 2582 1954 998 5893 0.63 0.59/0.63 o 157 0.59/0.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.63 c 3698 146 1016 40337 39 2689 1776 1004 5888 0.63 0.59/0.63 o 155 0.59/0.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.63 c 3701 146 1021 40722 39 2808 1776 1009 5883 0.63 0.59/0.63 o 153 0.59/0.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.63 c 3701 146 1022 40818 39 2901 1776 1010 5883 0.63 0.59/0.63 o 151 0.59/0.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.67 c 3729 146 1061 43539 41 3151 1776 1049 5872 0.64 0.59/0.67 c 3829 146 1168 46682 39 3347 1954 1156 5908 0.65 0.59/0.67 o 149 0.69/0.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.71 c 4001 146 1374 54882 39 3899 1776 1362 5918 0.68 0.69/0.71 c 4103 146 1495 62700 41 4312 1954 1483 5895 0.70 0.69/0.71 o 147 0.69/0.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.77 c 4167 146 1571 67712 43 4652 1776 1559 5877 0.71 0.69/0.77 c 4267 146 1690 74709 44 5023 1954 1678 5845 0.73 0.69/0.77 o 144 0.69/0.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.78 c 4477 146 1949 86206 44 5734 1776 1937 5761 0.78 0.69/0.78 o 142 0.69/0.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.78 c 4504 146 930 43574 46 2609 1776 918 5759 0.78 0.69/0.78 o 140 0.69/0.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.79 c 4522 146 954 44981 47 2792 1776 942 5760 0.79 0.69/0.79 o 138 0.79/0.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.80 c 4566 146 1017 48616 47 3106 1776 1005 5765 0.79 0.79/0.80 o 136 0.79/0.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.80 c 4603 146 1060 51081 48 3298 1776 1048 5760 0.80 0.79/0.80 o 134 0.79/0.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.83 c 4613 146 1072 51819 48 3416 1776 1060 5759 0.80 0.79/0.83 c 4714 146 1180 55102 46 3633 1954 1168 5784 0.81 0.79/0.83 o 132 0.79/0.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.89 c 4835 146 1321 60655 45 4030 1776 1309 5783 0.84 0.79/0.89 c 4935 146 1434 65361 45 4299 1954 1422 5785 0.85 0.79/0.89 o 116 0.79/0.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.89 c 5159 146 1684 74568 44 4938 1776 1672 5783 0.89 0.79/0.89 o 106 0.89/0.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.90 c 5182 144 1709 75297 44 5075 1772 1697 5789 0.90 0.89/0.90 o 104 0.89/0.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.90 c 5222 143 1752 76758 43 5264 1770 1740 5789 0.90 0.89/0.90 o 98 0.89/0.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.99 c 5240 142 1772 77597 43 5392 1768 1760 5790 0.91 0.89/0.99 c 5341 140 991 40420 40 2596 1945 979 5792 0.92 0.89/0.99 c 5591 139 1254 51100 40 3139 2140 1242 5811 0.96 0.89/0.99 o 96 0.89/1.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/1.00 c 5788 139 1463 58342 39 3685 1762 1451 5858 0.99 0.89/1.00 o 92 0.89/1.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/1.00 c 5864 138 1542 60982 39 3938 1760 1530 5864 1.00 0.89/1.00 o 88 1.11/1.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.11/1.15 c 5876 138 1557 61902 39 4069 1760 1545 5864 1.00 1.11/1.15 c 5976 138 1664 66019 39 4276 1937 1652 5864 1.02 1.11/1.15 c 6226 138 1919 75144 39 4779 2131 1907 5884 1.06 1.11/1.15 c 6702 136 1315 45374 34 3245 2345 1303 5962 1.12 1.11/1.15 o 87 1.19/1.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.24 c 6921 135 1537 52500 34 3776 1754 1525 5987 1.16 1.19/1.24 c 7021 135 1642 56191 34 4006 1930 1630 6005 1.17 1.19/1.24 c 7272 135 1903 63827 33 4536 2124 1891 6054 1.20 1.19/1.24 o 86 1.19/1.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.26 c 7613 134 1153 35312 30 2934 1752 1141 6100 1.25 1.19/1.26 c 7714 134 1277 42573 33 3408 1928 1265 6112 1.26 1.19/1.26 o 84 1.19/1.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.27 c 7751 134 1315 43684 33 3560 1752 1303 6117 1.27 1.19/1.27 o 78 1.19/1.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.27 c 7763 134 1333 44523 33 3698 1752 1321 6122 1.27 1.19/1.27 o 74 28.19/28.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.19/28.26 c 7773 134 1344 44910 33 3805 1752 1332 6120 1.27 28.19/28.26 c 7874 134 1452 48990 33 4037 1928 1440 6137 1.28 28.19/28.26 c 8124 134 1707 56137 32 4550 2121 1695 6192 1.31 28.19/28.26 c 8599 134 1097 34615 31 2743 2334 1085 6267 1.37 28.19/28.26 c 9412 134 1950 60313 30 4457 2568 1938 6363 1.48 28.19/28.26 c 10732 134 2006 62581 31 4551 2825 1994 6434 1.67 28.19/28.26 c 12813 134 2703 85607 31 5945 3108 2691 6461 1.98 28.19/28.26 c 16036 134 2877 93364 32 6279 3419 2865 6466 2.48 28.19/28.26 c 20973 134 2687 91442 34 5913 3761 2675 6491 3.23 28.19/28.26 c 28479 134 2648 83705 31 5840 4138 2636 6525 4.36 28.19/28.26 c 39840 134 3593 108381 30 7721 4552 3581 6571 6.06 28.19/28.26 c 56984 134 2467 77111 31 5469 5008 2455 6553 8.70 28.19/28.26 c 82803 134 3090 95833 31 6709 5509 3078 6469 12.80 28.19/28.26 c 121635 134 3441 102252 29 7418 6060 3429 6133 19.83 28.19/28.26 o 73 35.29/35.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 35.29/35.34 c 169577 134 5814 186640 32 12258 1752 5802 5999 28.27 35.29/35.34 c 169677 134 1004 32089 31 2548 1928 992 5993 28.31 35.29/35.34 c 169927 134 1254 39204 31 3042 2121 1242 5995 28.34 35.29/35.34 c 170402 134 1736 54263 31 4013 2334 1724 5998 28.41 35.29/35.34 c 171215 134 1362 43733 32 3259 2568 1350 5999 28.54 35.29/35.34 c 172536 134 1387 41996 30 3311 2825 1375 6005 28.73 35.29/35.34 c 174617 134 2051 63248 30 4638 3108 2039 6015 29.03 35.29/35.34 c 177840 134 2143 73192 34 4812 3419 2131 6023 29.53 35.29/35.34 c 182776 134 1929 67533 35 4394 3761 1917 6031 30.30 35.29/35.34 c 190283 134 3749 117935 31 8034 4138 3737 6055 31.43 35.29/35.34 c 201644 134 2539 74641 29 5615 4552 2527 6083 33.15 35.29/35.34 o 72 35.39/35.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 35.39/35.45 c 215476 134 2671 92802 34 6057 1752 2659 6096 35.35 35.39/35.45 c 215576 134 1001 32597 32 2619 1928 989 6095 35.36 35.39/35.45 c 215826 134 1257 40269 32 3132 2121 1245 6097 35.40 35.39/35.45 o 71 35.39/35.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 35.39/35.45 c 216289 134 1730 54161 31 4173 1752 1718 6101 35.45 35.39/35.45 o 69 37.30/37.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.30/37.38 c 216294 134 1736 54433 31 4264 1752 1724 6101 35.45 37.30/37.38 c 216394 134 937 28512 30 2443 1928 925 6101 35.47 37.30/37.38 c 216644 134 1191 36584 30 2969 2121 1179 6102 35.50 37.30/37.38 c 217119 134 1674 51555 30 3938 2334 1662 6103 35.57 37.30/37.38 c 217932 134 1277 41009 32 3110 2568 1265 6104 35.70 37.30/37.38 c 219252 134 1309 43120 32 3165 2825 1297 6104 35.92 37.30/37.38 c 221333 134 1987 65912 33 4530 3108 1975 6103 36.26 37.30/37.38 c 224556 134 2108 65856 31 4764 3419 2096 6107 36.77 37.30/37.38 o 67 37.30/37.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.30/37.38 c 228224 134 2363 75690 32 5346 1752 2351 6105 37.38 37.30/37.38 o 65 37.41/37.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.41/37.43 c 228252 134 932 30643 32 2488 1752 920 6104 37.39 37.41/37.43 c 228352 134 1033 33704 32 2690 1928 1021 6105 37.40 37.41/37.43 c 228602 134 1290 41071 31 3218 2121 1278 6107 37.43 37.41/37.43 o 60 37.41/37.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.41/37.43 c 228627 134 1316 41793 31 3374 1752 1304 6107 37.44 37.41/37.43 o 52 38.90/38.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 38.90/38.94 c 228627 134 1317 41877 31 3458 1752 1305 6107 37.44 38.90/38.94 c 228727 129 1421 45216 31 3664 1928 1409 6107 37.45 38.90/38.94 c 228977 128 1673 54327 32 4163 2121 1661 6107 37.49 38.90/38.94 c 229452 128 1092 37443 34 2719 2334 1080 6106 37.58 38.90/38.94 c 230266 127 1912 66421 34 4363 2568 1900 6106 37.71 38.90/38.94 c 231587 124 1925 67425 35 4385 2825 1913 6106 37.92 38.90/38.94 c 233668 124 2579 96875 37 5696 3108 2567 6103 38.28 38.90/38.94 c 236891 122 2646 94445 35 5875 3419 2634 6096 38.86 38.90/38.94 o 51 38.90/38.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 38.90/38.95 c 237343 122 3112 111138 35 6912 1728 3100 6094 38.95 38.90/38.95 o 47 40.89/40.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 40.89/40.90 c 237368 122 930 32454 34 2510 1728 918 6093 38.95 40.89/40.90 c 237468 122 1032 36082 34 2724 1901 1020 6093 38.97 40.89/40.90 c 237718 122 1294 44976 34 3255 2092 1282 6094 39.01 40.89/40.90 c 238194 122 1783 61754 34 4233 2302 1771 6095 39.08 40.89/40.90 c 239007 122 1424 47040 33 3369 2533 1412 6097 39.20 40.89/40.90 c 240327 122 1451 48129 33 3422 2787 1439 6099 39.40 40.89/40.90 c 242408 122 2131 72010 33 4788 3066 2119 6102 39.72 40.89/40.90 c 245631 122 2235 76343 34 5024 3373 2223 6103 40.24 40.89/40.90 o 44 40.89/40.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 40.89/40.91 c 249705 122 2890 101848 35 6402 1728 2878 6104 40.90 40.89/40.91 o 42 40.89/40.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 40.89/40.92 c 249750 122 947 32778 34 2486 1728 935 6104 40.91 40.89/40.92 o 40 40.89/40.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 40.89/40.92 c 249785 122 989 35055 35 2660 1728 977 6104 40.92 40.89/40.92 o 38 40.89/40.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 40.89/40.92 c 249818 122 1027 37169 36 2833 1728 1015 6104 40.92 40.89/40.92 o 36 40.89/40.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 40.89/40.92 c 249829 122 1039 37701 36 2930 1728 1027 6104 40.93 40.89/40.92 o 34 68.90/68.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 68.90/68.95 c 249829 122 1040 37773 36 3001 1728 1028 6104 40.93 68.90/68.95 c 249929 122 1142 41456 36 3232 1901 1130 6104 40.94 68.90/68.95 c 250179 122 1392 49604 35 3728 2092 1380 6104 40.98 68.90/68.95 c 250655 122 1871 66013 35 4685 2302 1859 6105 41.06 68.90/68.95 c 251469 122 1503 52421 34 3519 2533 1491 6104 41.19 68.90/68.95 c 252789 122 1523 55616 36 3563 2787 1511 6106 41.40 68.90/68.95 c 254870 122 2185 76119 34 4881 3066 2173 6106 41.74 68.90/68.95 c 258093 122 2290 79501 34 5116 3373 2278 6105 42.27 68.90/68.95 c 263029 122 2072 74040 35 4667 3711 2060 6104 43.09 68.90/68.95 c 270535 122 2034 75796 37 4578 4083 2022 6099 44.35 68.90/68.95 c 281896 122 3105 108487 34 6734 4492 3093 6083 46.34 68.90/68.95 c 299040 122 4408 154202 34 9355 4942 4396 6051 49.41 68.90/68.95 c 324860 122 2796 96994 34 6112 5437 2784 5997 54.17 68.90/68.95 c 363693 122 3265 115134 35 7054 5981 3253 5908 61.55 68.90/68.95 o 33 80.09/80.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 80.09/80.10 c 401594 122 5285 187748 35 11165 1728 5273 5824 68.95 80.09/80.10 c 401694 122 1002 35723 35 2530 1901 990 5823 68.98 80.09/80.10 c 401944 122 1256 43432 34 3043 2092 1244 5823 69.02 80.09/80.10 c 402419 122 1735 58744 33 4000 2302 1723 5824 69.09 80.09/80.10 c 403232 122 1356 45659 33 3232 2533 1344 5825 69.22 80.09/80.10 c 404552 122 1379 45763 33 3273 2787 1367 5826 69.43 80.09/80.10 c 406633 122 2052 71768 34 4617 3066 2040 5828 69.76 80.09/80.10 c 409857 122 2174 79945 36 4857 3373 2162 5830 70.29 80.09/80.10 c 414793 122 2003 69255 34 4530 3711 1991 5833 71.11 80.09/80.10 c 422299 122 2035 74204 36 4652 4083 2023 5831 72.41 80.09/80.10 c 433661 122 3150 114693 36 6816 4492 3138 5831 74.37 80.09/80.10 c 450805 122 4419 152475 34 9371 4942 4407 5816 77.51 80.09/80.10 o 28 81.19/81.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 81.19/81.26 c 464996 122 3659 126475 34 7960 1728 3647 5804 80.11 81.19/81.26 c 465096 112 1001 33817 33 2561 1901 989 5803 80.13 81.19/81.26 c 465346 110 1252 43888 35 3060 2092 1240 5804 80.17 81.19/81.26 c 465821 110 1729 63166 36 4016 2302 1717 5804 80.25 81.19/81.26 c 466634 110 1369 54828 40 3247 2533 1357 5804 80.39 81.19/81.26 c 467954 110 1390 54655 39 3291 2787 1378 5803 80.63 81.19/81.26 c 470035 110 2060 83320 40 4634 3066 2048 5802 81.01 81.19/81.26 o 26 81.19/81.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 81.19/81.28 c 471470 110 1948 78205 40 4490 1704 1936 5801 81.27 81.19/81.28 c 471571 110 1014 42023 41 2646 1875 1002 5801 81.28 81.19/81.28 o 22 192.89/192.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 192.89/192.95 c 471593 110 1042 43360 41 2801 1704 1030 5801 81.29 192.89/192.95 c 471693 110 1143 46810 40 2992 1875 1131 5801 81.30 192.89/192.95 c 471943 110 1394 55398 39 3500 2063 1382 5802 81.34 192.89/192.95 c 472418 110 1869 72047 38 4460 2270 1857 5802 81.42 192.89/192.95 c 473232 110 1508 53354 35 3501 2498 1496 5803 81.55 192.89/192.95 c 474552 110 1548 56289 36 3598 2748 1536 5805 81.75 192.89/192.95 c 476633 110 2213 82193 37 4928 3023 2201 5806 82.08 192.89/192.95 c 479857 110 2354 86864 36 5202 3326 2342 5808 82.62 192.89/192.95 c 484793 110 2216 81144 36 4925 3659 2204 5806 83.49 192.89/192.95 c 492300 110 2261 87980 38 5017 4025 2249 5807 84.76 192.89/192.95 c 503662 110 3405 135139 39 7306 4428 3393 5807 86.72 192.89/192.95 c 520807 110 2583 93423 36 5654 4871 2571 5808 89.66 192.89/192.95 c 546626 110 3743 147693 39 7977 5359 3731 5778 94.60 192.89/192.95 c 585458 110 4596 178598 38 9692 5895 4584 5700 102.71 192.89/192.95 c 643811 110 3359 130732 38 7215 6485 3347 5596 115.04 192.89/192.95 c 731443 110 5918 230355 38 12331 7134 5906 5505 132.86 192.89/192.95 c 862995 110 4342 166797 38 9178 7848 4330 5237 164.78 192.89/192.95 o 21 200.49/200.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 200.49/200.56 c 967201 110 5663 221144 39 11893 1704 5651 5012 192.95 200.49/200.56 c 967301 110 1002 37742 37 2510 1875 990 5012 192.99 200.49/200.56 c 967551 110 1253 47105 37 3005 2063 1241 5012 193.03 200.49/200.56 c 968026 110 1729 65167 37 3969 2270 1717 5013 193.09 200.49/200.56 c 968840 110 1368 50665 37 3229 2498 1356 5014 193.21 200.49/200.56 c 970161 110 1415 52877 37 3323 2748 1403 5015 193.42 200.49/200.56 c 972242 110 2089 79675 38 4679 3023 2077 5017 193.77 200.49/200.56 c 975466 110 2234 85293 38 4969 3326 2222 5019 194.33 200.49/200.56 c 980403 110 2071 82149 39 4638 3659 2059 5024 195.13 200.49/200.56 c 987909 110 2127 84183 39 4747 4025 2115 5029 196.41 200.49/200.56 c 999270 110 3268 132813 40 7026 4428 3256 5037 198.38 200.49/200.56 o 17 200.49/200.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 200.49/200.58 c 1011042 110 3825 157290 41 8275 1704 3813 5040 200.57 200.49/200.58 o 15 553.40/553.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 553.40/553.49 c 1011088 110 949 38542 40 2525 1704 937 5040 200.59 553.40/553.49 c 1011189 103 1050 42432 40 2713 1875 1038 5040 200.60 553.40/553.49 c 1011439 100 1300 52079 40 3208 2063 1288 5040 200.64 553.40/553.49 c 1011915 100 1777 71582 40 4157 2270 1765 5041 200.72 553.40/553.49 c 1012728 100 1419 55827 39 3314 2498 1407 5042 200.84 553.40/553.49 c 1014048 98 1458 58968 40 3392 2748 1446 5044 201.03 553.40/553.49 c 1016132 98 2141 83652 39 4758 3023 2129 5046 201.34 553.40/553.49 c 1019356 98 2272 87478 38 5016 3326 2260 5051 201.79 553.40/553.49 c 1024292 98 2114 83780 39 4701 3659 2102 5057 202.52 553.40/553.49 c 1031798 98 2161 82341 38 4789 4025 2149 5065 203.67 553.40/553.49 c 1043159 98 3290 132576 40 7049 4428 3278 5073 205.59 553.40/553.49 c 1060308 98 2454 95735 39 5375 4871 2442 5083 208.56 553.40/553.49 c 1086127 98 3615 135391 37 7713 5359 3603 5090 213.35 553.40/553.49 c 1124961 98 4471 174273 38 9424 5895 4459 5089 221.03 553.40/553.49 c 1183313 98 3223 131359 40 6920 6485 3211 5082 232.81 553.40/553.49 c 1270947 98 5742 221431 38 11967 7134 5730 5064 250.97 553.40/553.49 c 1402500 98 4182 145873 34 8815 7848 4170 5107 274.58 553.40/553.49 c 1599933 98 7755 308796 39 15980 8633 7743 5046 317.05 553.40/553.49 c 1896185 98 8393 325183 38 17254 9497 8381 4901 386.86 553.40/553.49 c 2340667 98 8483 333786 39 17438 10447 8471 4665 501.71 553.40/553.49 o 13 996.20/996.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 996.20/996.29 c 2538134 98 6266 249620 39 13060 1680 6254 4585 553.51 996.20/996.29 c 2538234 98 1001 39179 39 2474 1849 989 4585 553.55 996.20/996.29 c 2538484 98 1251 48738 38 2966 2034 1239 4585 553.59 996.20/996.29 c 2538959 98 1727 65747 38 3911 2238 1715 4585 553.66 996.20/996.29 c 2539772 98 1386 49532 35 3234 2462 1374 4586 553.79 996.20/996.29 c 2541093 98 1441 51754 35 3338 2709 1429 4587 553.97 996.20/996.29 c 2543174 98 2129 80189 37 4719 2980 2117 4588 554.27 996.20/996.29 c 2546398 98 2323 88104 37 5110 3279 2311 4590 554.73 996.20/996.29 c 2551334 98 2246 86492 38 4952 3607 2234 4592 555.49 996.20/996.29 c 2558842 98 2412 97246 40 5289 3968 2400 4596 556.73 996.20/996.29 c 2570203 98 3686 144120 39 7839 4365 3674 4600 558.68 996.20/996.29 c 2587347 98 3109 123013 39 6682 4802 3097 4606 561.67 996.20/996.29 c 2613166 98 4593 183069 39 9642 5283 4581 4614 566.33 996.20/996.29 c 2651998 98 3326 133732 40 7125 5812 3314 4619 574.04 996.20/996.29 c 2710352 98 5834 239169 40 12133 6394 5822 4619 586.78 996.20/996.29 c 2797985 98 6247 251048 40 12956 7034 6235 4617 605.93 996.20/996.29 c 2929537 98 6475 261025 40 13422 7738 6463 4616 634.55 996.20/996.29 c 3126970 98 5065 205830 40 10597 8512 5053 4593 680.76 996.20/996.29 c 3423222 98 5623 229786 40 11721 9364 5611 4545 753.10 996.20/996.29 c 3867706 98 7045 285302 40 14554 10301 7033 4448 869.45 996.20/996.29 o 11 996.30/996.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 996.30/996.37 c 4320273 98 9083 363936 40 18686 1680 9071 4336 996.31 996.30/996.37 o 9 1797.92/1797.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1797.97 c 4320278 98 907 35159 38 2334 1680 895 4335 996.39 1797.92/1797.97 c 4320379 98 1009 39227 38 2541 1849 997 4335 996.41 1797.92/1797.97 c 4320629 98 1260 49151 39 3047 2034 1248 4336 996.45 1797.92/1797.97 c 4321104 98 1736 67940 39 3999 2238 1724 4336 996.52 1797.92/1797.97 c 4321917 98 1405 54051 38 3274 2462 1393 4336 996.66 1797.92/1797.97 c 4323237 98 1457 55873 38 3371 2709 1445 4336 996.89 1797.92/1797.97 c 4325319 98 2156 84091 39 4782 2980 2144 4337 997.24 1797.92/1797.97 c 4328542 98 2344 91015 38 5151 3279 2332 4338 997.80 1797.92/1797.97 c 4333478 98 2269 88403 38 5006 3607 2257 4339 998.67 1797.92/1797.97 c 4340985 98 2421 97303 40 5312 3968 2409 4340 1000.08 1797.92/1797.97 c 4352347 98 3696 146905 39 7863 4365 3684 4342 1002.33 1797.92/1797.97 c 4369491 98 3129 123250 39 6719 4802 3117 4344 1005.64 1797.92/1797.97 c 4395311 98 4620 184966 40 9714 5283 4608 4349 1010.64 1797.92/1797.97 c 4434143 98 3395 129098 38 7256 5812 3383 4354 1018.32 1797.92/1797.97 c 4492495 98 2996 117507 39 6456 6394 2984 4361 1030.08 1797.92/1797.97 c 4580127 98 3442 132920 38 7341 7034 3430 4371 1047.71 1797.92/1797.97 c 4711680 98 3751 152171 40 7971 7738 3739 4379 1075.90 1797.92/1797.97 c 4909112 98 6156 234993 38 12771 8512 6144 4387 1118.79 1797.92/1797.97 c 5205365 98 6639 267188 40 13745 9364 6627 4367 1191.88 1797.92/1797.97 c 5649848 98 8112 318218 39 16688 10301 8100 4343 1300.84 1797.92/1797.97 c 6316675 98 6723 265911 39 13902 11332 6711 4284 1474.21 1797.92/1797.97 c 7317021 98 10084 402241 39 20640 12466 10072 4163 1757.43 1797.92/1797.97 c Resources Exceeded 1797.92/1797.97 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 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 x102 -x103 x104 x105 -x106 x107 -x108 -x109 x110 x111 x112 x113 x114 -x115 -x116 -x117 x118 x119 -x120 x121 x122 -x123 -x124 x125 -x126 x127 -x128 x129 x130 -x131 -x132 x133 x134 -x135 x136 x137 -x138 x139 x140 x141 -x142 -x143 -x144 -x145 x146 1797.92/1797.97 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1797.97 c 269 7452137 58738 7527624 7351 303988 7339 4144 1798.00 1797.92/1797.97 c Objective: 9 1797.92/1797.97 s SATISFIABLE 1797.92/1797.97 c Total time: 1798 s
OK 9
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3463190-1307179176/watcher-3463190-1307179176 -o /tmp/evaluation-result-3463190-1307179176/solver-3463190-1307179176 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463190-1307179176.opb running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.02 2.00 2/561 5259 /proc/meminfo: memFree=30060212/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=18604 CPUtime=0 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 301 0 0 0 0 0 0 0 25 0 1 0 829516331 19050496 254 33554432000 134512640 137138936 4293596768 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 4651 254 192 642 0 4007 0 [startup+0.0739979 s] /proc/loadavg: 2.00 2.02 2.00 2/561 5259 /proc/meminfo: memFree=30060212/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=11168 CPUtime=0.07 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 392 0 0 0 7 0 0 0 25 0 1 0 829516331 11436032 345 33554432000 134512640 137138936 4293596768 18446744073709551615 134575800 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 2792 345 192 642 0 2148 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11168 [startup+0.100994 s] /proc/loadavg: 2.00 2.02 2.00 2/561 5259 /proc/meminfo: memFree=30060212/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=11292 CPUtime=0.1 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 439 0 0 0 10 0 0 0 25 0 1 0 829516331 11563008 392 33554432000 134512640 137138936 4293596768 18446744073709551615 134603164 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 2823 392 192 642 0 2179 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 11292 [startup+0.30096 s] /proc/loadavg: 2.00 2.02 2.00 2/561 5259 /proc/meminfo: memFree=30060212/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=12056 CPUtime=0.29 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 635 0 0 0 29 0 0 0 25 0 1 0 829516331 12345344 588 33554432000 134512640 137138936 4293596768 18446744073709551615 134603102 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 3014 588 192 642 0 2370 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12056 [startup+0.700892 s] /proc/loadavg: 2.00 2.02 2.00 2/561 5259 /proc/meminfo: memFree=30060212/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=12184 CPUtime=0.69 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 639 0 0 0 69 0 0 0 25 0 1 0 829516331 12476416 592 33554432000 134512640 137138936 4293596768 18446744073709551615 134602742 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 3046 592 192 642 0 2402 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12184 [startup+1.50082 s] /proc/loadavg: 2.00 2.02 2.00 3/562 5260 /proc/meminfo: memFree=30057848/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=12184 CPUtime=1.49 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 639 0 0 0 148 1 0 0 25 0 1 0 829516331 12476416 592 33554432000 134512640 137138936 4293596768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 3046 592 192 642 0 2402 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12184 [startup+3.10049 s] /proc/loadavg: 2.00 2.02 2.00 3/562 5260 /proc/meminfo: memFree=30056360/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=12680 CPUtime=3.09 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 767 0 0 0 307 2 0 0 25 0 1 0 829516331 12984320 720 33554432000 134512640 137138936 4293596768 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 3170 720 192 642 0 2526 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12680 [startup+6.30101 s] /proc/loadavg: 2.00 2.02 2.00 3/562 5260 /proc/meminfo: memFree=30056704/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=13060 CPUtime=6.29 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 864 0 0 0 626 3 0 0 25 0 1 0 829516331 13373440 817 33554432000 134512640 137138936 4293596768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 3265 817 192 642 0 2621 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13060 [startup+12.7009 s] /proc/loadavg: 2.00 2.02 2.00 3/562 5260 /proc/meminfo: memFree=30055628/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=13312 CPUtime=12.69 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 949 0 0 0 1264 5 0 0 25 0 1 0 829516331 13631488 902 33554432000 134512640 137138936 4293596768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 3328 902 192 642 0 2684 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13312 [startup+25.5008 s] /proc/loadavg: 2.00 2.02 2.00 3/562 5261 /proc/meminfo: memFree=30053280/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=13820 CPUtime=25.49 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 1076 0 0 0 2539 10 0 0 25 0 1 0 829516331 14151680 1029 33554432000 134512640 137138936 4293596768 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 3455 1029 192 642 0 2811 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 13820 [startup+51.1005 s] /proc/loadavg: 2.00 2.02 2.00 3/562 5261 /proc/meminfo: memFree=30053252/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=13944 CPUtime=51.09 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 1105 0 0 0 5089 20 0 0 25 0 1 0 829516331 14278656 1058 33554432000 134512640 137138936 4293596768 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 3486 1058 192 642 0 2842 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 13944 [startup+102.321 s] /proc/loadavg: 2.00 2.01 2.00 3/562 5263 /proc/meminfo: memFree=30012696/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=14140 CPUtime=102.31 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 1190 0 0 0 10194 37 0 0 25 0 1 0 829516331 14479360 1106 33554432000 134512640 137138936 4293596768 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 3535 1106 192 642 0 2891 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 14140 [startup+162.301 s] /proc/loadavg: 2.00 2.01 2.00 3/562 5264 /proc/meminfo: memFree=29984780/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=15252 CPUtime=162.3 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 1479 0 0 0 16173 57 0 0 25 0 1 0 829516331 15618048 1388 33554432000 134512640 137138936 4293596768 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 3813 1388 192 642 0 3169 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 15252 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/562 5266 /proc/meminfo: memFree=29955000/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=15648 CPUtime=222.29 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 1580 0 0 0 22156 73 0 0 25 0 1 0 829516331 16023552 1486 33554432000 134512640 137138936 4293596768 18446744073709551615 134542779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 3912 1486 192 642 0 3268 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 15648 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/562 5268 /proc/meminfo: memFree=29936008/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=15648 CPUtime=282.29 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 1580 0 0 0 28135 94 0 0 25 0 1 0 829516331 16023552 1486 33554432000 134512640 137138936 4293596768 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 3912 1486 192 642 0 3268 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 15648 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/562 5269 /proc/meminfo: memFree=29899032/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=16256 CPUtime=342.3 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 1715 0 0 0 34117 113 0 0 25 0 1 0 829516331 16646144 1621 33554432000 134512640 137138936 4293596768 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 4064 1621 192 642 0 3420 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 16256 [startup+402.3 s] /proc/loadavg: 2.09 2.03 2.01 3/562 5271 /proc/meminfo: memFree=29887224/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=16844 CPUtime=402.29 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 1877 0 0 0 40101 128 0 0 25 0 1 0 829516331 17248256 1783 33554432000 134512640 137138936 4293596768 18446744073709551615 134542779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 4211 1783 192 642 0 3567 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 16844 [startup+462.3 s] /proc/loadavg: 2.07 2.03 2.01 3/562 5272 /proc/meminfo: memFree=29849628/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=16844 CPUtime=462.29 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 1879 0 0 0 46085 144 0 0 25 0 1 0 829516331 17248256 1785 33554432000 134512640 137138936 4293596768 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 4211 1785 192 642 0 3567 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 16844 [startup+522.3 s] /proc/loadavg: 2.12 2.05 2.01 3/562 5274 /proc/meminfo: memFree=29848860/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=17360 CPUtime=522.3 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 2002 0 0 0 52068 162 0 0 25 0 1 0 829516331 17776640 1908 33554432000 134512640 137138936 4293596768 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 4340 1908 192 642 0 3696 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 17360 [startup+582.3 s] /proc/loadavg: 2.09 2.06 2.01 3/562 5276 /proc/meminfo: memFree=29848704/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=17400 CPUtime=582.3 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 2022 0 0 0 58051 179 0 0 25 0 1 0 829516331 17817600 1925 33554432000 134512640 137138936 4293596768 18446744073709551615 134600526 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 4350 1925 192 642 0 3706 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 17400 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=29653496/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=17352 CPUtime=1062.31 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 2030 0 0 0 105917 314 0 0 25 0 1 0 829516331 17768448 1913 33554432000 134512640 137138936 4293596768 18446744073709551615 134542205 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 4338 1913 192 642 0 3694 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 17352 [startup+1122.3 s] /proc/loadavg: 2.09 2.04 2.01 3/562 5290 /proc/meminfo: memFree=29651488/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=17352 CPUtime=1122.3 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 2030 0 0 0 111899 331 0 0 25 0 1 0 829516331 17768448 1913 33554432000 134512640 137138936 4293596768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 4338 1913 192 642 0 3694 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 17352 [startup+1182.3 s] /proc/loadavg: 2.09 2.05 2.01 3/562 5292 /proc/meminfo: memFree=29650852/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=17352 CPUtime=1182.31 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 2030 0 0 0 117884 347 0 0 25 0 1 0 829516331 17768448 1913 33554432000 134512640 137138936 4293596768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 4338 1913 192 642 0 3694 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 17352 [startup+1242.3 s] /proc/loadavg: 2.03 2.04 2.00 3/562 5293 /proc/meminfo: memFree=29650212/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=17352 CPUtime=1242.31 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 2030 0 0 0 123867 364 0 0 25 0 1 0 829516331 17768448 1913 33554432000 134512640 137138936 4293596768 18446744073709551615 136511212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 4338 1913 192 642 0 3694 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 17352 [startup+1302.3 s] /proc/loadavg: 2.01 2.03 2.00 3/562 5295 /proc/meminfo: memFree=29651184/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=17352 CPUtime=1302.32 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 2030 0 0 0 129848 384 0 0 25 0 1 0 829516331 17768448 1913 33554432000 134512640 137138936 4293596768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 4338 1913 192 642 0 3694 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 17352 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 2.00 3/562 5296 /proc/meminfo: memFree=29650536/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=17352 CPUtime=1362.31 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 2030 0 0 0 135830 401 0 0 25 0 1 0 829516331 17768448 1913 33554432000 134512640 137138936 4293596768 18446744073709551615 136502654 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 4338 1913 192 642 0 3694 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 17352 [startup+1422.32 s] /proc/loadavg: 2.00 2.02 2.00 3/562 5298 /proc/meminfo: memFree=29652256/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=17352 CPUtime=1422.33 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 2030 0 0 0 141816 417 0 0 25 0 1 0 829516331 17768448 1913 33554432000 134512640 137138936 4293596768 18446744073709551615 134617973 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 4338 1913 192 642 0 3694 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 17352 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.00 3/562 5300 /proc/meminfo: memFree=29651112/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=18048 CPUtime=1482.32 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 2202 0 0 0 147799 433 0 0 25 0 1 0 829516331 18481152 2085 33554432000 134512640 137138936 4293596768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 4512 2085 192 642 0 3868 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 18048 [startup+1542.3 s] /proc/loadavg: 2.16 2.04 2.01 3/562 5301 /proc/meminfo: memFree=29651464/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=18244 CPUtime=1542.32 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 2240 0 0 0 153784 448 0 0 25 0 1 0 829516331 18681856 2123 33554432000 134512640 137138936 4293596768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 4561 2123 192 642 0 3917 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 18244 [startup+1602.3 s] /proc/loadavg: 2.20 2.06 2.02 3/562 5303 /proc/meminfo: memFree=29651440/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=18160 CPUtime=1602.32 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 2248 0 0 0 159770 462 0 0 25 0 1 0 829516331 18595840 2115 33554432000 134512640 137138936 4293596768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 4540 2115 192 642 0 3896 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 18160 [startup+1662.3 s] /proc/loadavg: 2.14 2.06 2.02 3/562 5304 /proc/meminfo: memFree=29653652/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=18156 CPUtime=1662.32 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 2248 0 0 0 165756 476 0 0 25 0 1 0 829516331 18591744 2114 33554432000 134512640 137138936 4293596768 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 4539 2114 192 642 0 3895 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 18156 [startup+1722.3 s] /proc/loadavg: 2.19 2.09 2.03 3/562 5333 /proc/meminfo: memFree=29927444/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=18228 CPUtime=1722.32 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 2249 0 0 0 171736 496 0 0 25 0 1 0 829516331 18665472 2113 33554432000 134512640 137138936 4293596768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 4557 2113 192 642 0 3913 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 18228 [startup+1782.3 s] /proc/loadavg: 2.07 2.07 2.02 3/562 5335 /proc/meminfo: memFree=29816948/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=18848 CPUtime=1782.32 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 2414 0 0 0 177714 518 0 0 25 0 1 0 829516331 19300352 2278 33554432000 134512640 137138936 4293596768 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 4712 2278 192 642 0 4068 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 18848 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.07 2.07 2.02 3/562 5335 /proc/meminfo: memFree=29815956/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=18848 CPUtime=1785.52 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 2414 0 0 0 178033 519 0 0 25 0 1 0 829516331 19300352 2278 33554432000 134512640 137138936 4293596768 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 4712 2278 192 642 0 4068 0 Current children cumulated CPU time (s) 1785.52 Current children cumulated vsize (KiB) 18848 [startup+1791.92 s] /proc/loadavg: 2.06 2.07 2.02 3/562 5335 /proc/meminfo: memFree=29811732/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=18848 CPUtime=1791.95 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 2414 0 0 0 178673 522 0 0 25 0 1 0 829516331 19300352 2278 33554432000 134512640 137138936 4293596768 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 4712 2278 192 642 0 4068 0 Current children cumulated CPU time (s) 1791.95 Current children cumulated vsize (KiB) 18848 [startup+1795.1 s] /proc/loadavg: 2.06 2.07 2.02 3/562 5335 /proc/meminfo: memFree=29809376/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=18848 CPUtime=1795.13 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 2414 0 0 0 178991 522 0 0 25 0 1 0 829516331 19300352 2278 33554432000 134512640 137138936 4293596768 18446744073709551615 136502620 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 4712 2278 192 642 0 4068 0 Current children cumulated CPU time (s) 1795.13 Current children cumulated vsize (KiB) 18848 [startup+1796.7 s] /proc/loadavg: 2.05 2.07 2.02 3/562 5335 /proc/meminfo: memFree=29808508/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=18848 CPUtime=1796.72 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 2414 0 0 0 179150 522 0 0 25 0 1 0 829516331 19300352 2278 33554432000 134512640 137138936 4293596768 18446744073709551615 134575898 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 4712 2278 192 642 0 4068 0 Current children cumulated CPU time (s) 1796.72 Current children cumulated vsize (KiB) 18848 [startup+1797.5 s] /proc/loadavg: 2.05 2.07 2.02 3/562 5335 /proc/meminfo: memFree=29807268/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=18848 CPUtime=1797.52 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 2414 0 0 0 179229 523 0 0 25 0 1 0 829516331 19300352 2278 33554432000 134512640 137138936 4293596768 18446744073709551615 134607047 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 4712 2278 192 642 0 4068 0 Current children cumulated CPU time (s) 1797.52 Current children cumulated vsize (KiB) 18848 [startup+1797.9 s] /proc/loadavg: 2.05 2.07 2.02 3/562 5335 /proc/meminfo: memFree=29807268/32950928 swapFree=41528364/67111528 [pid=5259] ppid=5257 vsize=18848 CPUtime=1797.92 cores=1,3,5,7 /proc/5259/stat : 5259 (bsolo) R 5257 5259 3716 0 -1 4202496 2421 0 0 0 179269 523 0 0 25 0 1 0 829516331 19300352 2285 33554432000 134512640 137138936 4293596768 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5259/statm: 4712 2285 192 642 0 4068 0 Current children cumulated CPU time (s) 1797.92 Current children cumulated vsize (KiB) 18848 Child status: 0 Real time (s): 1797.97 CPU time (s): 1798 CPU user time (s): 1792.77 CPU system time (s): 5.2342 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 18848 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.77 system time used= 5.2342 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2422 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= 4 involuntary context switches= 4538 runsolver used 10.2794 second user time and 22.4216 second system time The end
Begin job on node126 at 2011-06-04 11:19:36 IDJOB=3463190 IDBENCH=2902 IDSOLVER=1955 FILE ID=node126/3463190-1307179176 RUNJOBID= node126-1307175452-4913 PBS_JOBID= 13508841 Free space on /tmp= 73792 MiB SOLVER NAME= bsolo 3.2 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_1.opb COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3463190-1307179176/watcher-3463190-1307179176 -o /tmp/evaluation-result-3463190-1307179176/solver-3463190-1307179176 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463190-1307179176.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cdfa46b59876181d5d89fd18757b8cfb RANDOM SEED=1371711650 node126.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.783 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.783 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.783 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.783 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.783 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.783 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.783 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.783 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30060368 kB Buffers: 312264 kB Cached: 488876 kB SwapCached: 15388 kB Active: 2131372 kB Inactive: 439764 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30060368 kB SwapTotal: 67111528 kB SwapFree: 41528364 kB Dirty: 3940 kB Writeback: 0 kB AnonPages: 1767204 kB Mapped: 24408 kB Slab: 147616 kB PageTables: 99652 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 176417480 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73780 MiB End job on node126 at 2011-06-04 11:49:34