Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 | SAT | 9 | 1798.11 | 1798.39 |
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 | 5 |
Best CPU time to get the best result obtained on this benchmark | 1790.16 |
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-3708070-1338157126.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.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 256 146 311 16310 52 1873 1776 299 6095 0.04 0.00/0.05 o 306 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 301 146 360 18435 51 2052 1776 348 6270 0.05 0.09/0.11 c 402 146 479 24023 50 2332 1954 467 6483 0.06 0.09/0.11 c 652 146 790 40472 51 3129 2150 778 6330 0.10 0.09/0.11 o 305 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 681 146 823 41947 50 3267 1776 811 6247 0.11 0.09/0.11 o 303 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 714 146 863 43753 50 3433 1776 851 6155 0.12 0.09/0.12 o 301 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 724 146 876 44523 50 3562 1776 864 6135 0.12 0.09/0.12 o 299 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 742 146 900 45946 51 3722 1776 888 6081 0.12 0.09/0.14 o 297 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 816 146 996 51180 51 4107 1776 984 5913 0.14 0.09/0.14 o 293 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 851 146 1036 52840 51 4254 1776 1024 5828 0.15 0.09/0.15 o 264 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 871 146 1058 53558 50 4378 1776 1046 5845 0.15 0.09/0.15 o 259 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 898 146 1088 54729 50 4493 1776 1076 5831 0.15 0.09/0.18 c 1000 146 1221 62485 51 4900 1954 1209 5681 0.18 0.09/0.18 o 224 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 1056 146 1278 64264 50 4959 1776 1266 5739 0.18 0.09/0.18 o 216 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 1062 146 1285 64572 50 5039 1776 1273 5709 0.19 0.09/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 5685 0.19 0.19/0.22 c 1205 146 1462 72638 49 5565 1954 1450 5738 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 5817 0.23 0.19/0.24 o 202 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 1403 146 1694 81028 47 6200 1776 1682 5797 0.24 0.29/0.31 c 1503 146 901 42160 46 2434 1954 889 5650 0.27 0.29/0.31 c 1758 146 1179 52534 44 3007 2150 1167 5840 0.30 0.29/0.31 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 5851 0.31 0.29/0.33 c 1909 146 1340 58210 43 3448 1954 1328 5910 0.32 0.29/0.33 o 171 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 1951 146 1391 60354 43 3688 1776 1379 5912 0.33 0.29/0.34 o 169 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 1983 146 1429 61774 43 3857 1776 1417 5901 0.34 0.29/0.34 o 167 0.29/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.35 c 1997 146 1447 62979 43 4011 1776 1435 5890 0.34 0.29/0.35 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 5922 0.35 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 5906 0.35 0.59/0.61 c 2179 146 1643 69659 42 4616 1954 1631 6019 0.36 0.59/0.61 c 2429 146 1927 79401 41 5186 2150 1915 5982 0.41 0.59/0.61 c 2905 146 1341 50141 37 3245 2366 1329 5952 0.49 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 5853 0.61 0.59/0.63 c 3695 146 1010 39996 39 2582 1954 998 5865 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 5860 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 5856 0.63 0.59/0.63 o 153 0.59/0.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.64 c 3701 146 1022 40818 39 2901 1776 1010 5856 0.63 0.59/0.64 o 151 0.59/0.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.68 c 3729 146 1061 43539 41 3151 1776 1049 5844 0.64 0.59/0.68 c 3829 146 1168 46682 39 3347 1954 1156 5881 0.65 0.59/0.68 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 5883 0.68 0.69/0.71 c 4103 146 1495 62700 41 4312 1954 1483 5861 0.70 0.69/0.71 o 147 0.69/0.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.78 c 4167 146 1571 67712 43 4652 1776 1559 5844 0.71 0.69/0.78 c 4267 146 1690 74709 44 5023 1954 1678 5821 0.73 0.69/0.78 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 5732 0.78 0.69/0.78 o 142 0.69/0.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.79 c 4504 146 930 43574 46 2609 1776 918 5730 0.79 0.69/0.79 o 140 0.69/0.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.80 c 4522 146 954 44981 47 2792 1776 942 5731 0.79 0.69/0.80 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 5736 0.80 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 5732 0.80 0.79/0.80 o 134 0.79/0.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.84 c 4613 146 1072 51819 48 3416 1776 1060 5730 0.81 0.79/0.84 c 4714 146 1180 55102 46 3633 1954 1168 5755 0.82 0.79/0.84 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 5755 0.84 0.79/0.89 c 4935 146 1434 65361 45 4299 1954 1422 5758 0.86 0.79/0.89 o 116 0.89/0.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.90 c 5159 146 1684 74568 44 4938 1776 1672 5757 0.90 0.89/0.90 o 106 0.89/0.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.91 c 5182 144 1709 75297 44 5075 1772 1697 5764 0.90 0.89/0.91 o 104 0.89/0.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.91 c 5222 143 1752 76758 43 5264 1770 1740 5763 0.91 0.89/0.91 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 5764 0.91 0.89/0.99 c 5341 140 991 40420 40 2596 1945 979 5761 0.93 0.89/0.99 c 5591 139 1254 51100 40 3139 2140 1242 5787 0.97 0.89/0.99 o 96 0.99/1.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.00 c 5788 139 1463 58342 39 3685 1762 1451 5828 0.99 0.99/1.00 o 92 0.99/1.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.01 c 5864 138 1542 60982 39 3938 1760 1530 5840 1.00 0.99/1.01 o 88 1.09/1.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.16 c 5876 138 1557 61902 39 4069 1760 1545 5840 1.01 1.09/1.16 c 5976 138 1664 66019 39 4276 1937 1652 5835 1.02 1.09/1.16 c 6226 138 1919 75144 39 4779 2131 1907 5857 1.06 1.09/1.16 c 6702 136 1315 45374 34 3245 2345 1303 5936 1.13 1.09/1.16 o 87 1.18/1.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.18/1.25 c 6921 135 1537 52500 34 3776 1754 1525 5961 1.16 1.18/1.25 c 7021 135 1642 56191 34 4006 1930 1630 5980 1.17 1.18/1.25 c 7272 135 1903 63827 33 4536 2124 1891 6029 1.21 1.18/1.25 o 86 1.18/1.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.18/1.27 c 7613 134 1153 35312 30 2934 1752 1141 6075 1.25 1.18/1.27 c 7714 134 1277 42573 33 3408 1928 1265 6083 1.27 1.18/1.27 o 84 1.18/1.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.18/1.27 c 7751 134 1315 43684 33 3560 1752 1303 6093 1.27 1.18/1.27 o 78 1.18/1.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.18/1.27 c 7763 134 1333 44523 33 3698 1752 1321 6093 1.27 1.18/1.27 o 74 28.28/28.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.28/28.38 c 7773 134 1344 44910 33 3805 1752 1332 6096 1.27 28.28/28.38 c 7874 134 1452 48990 33 4037 1928 1440 6113 1.29 28.28/28.38 c 8124 134 1707 56137 32 4550 2121 1695 6168 1.32 28.28/28.38 c 8599 134 1097 34615 31 2743 2334 1085 6240 1.38 28.28/28.38 c 9412 134 1950 60313 30 4457 2568 1938 6338 1.49 28.28/28.38 c 10732 134 2006 62581 31 4551 2825 1994 6407 1.68 28.28/28.38 c 12813 134 2703 85607 31 5945 3108 2691 6435 1.99 28.28/28.38 c 16036 134 2877 93364 32 6279 3419 2865 6440 2.49 28.28/28.38 c 20973 134 2687 91442 34 5913 3761 2675 6465 3.24 28.28/28.38 c 28479 134 2648 83705 31 5840 4138 2636 6500 4.38 28.28/28.38 c 39840 134 3593 108381 30 7721 4552 3581 6546 6.09 28.28/28.38 c 56984 134 2467 77111 31 5469 5008 2455 6529 8.73 28.28/28.38 c 82803 134 3090 95833 31 6709 5509 3078 6442 12.85 28.28/28.38 c 121635 134 3441 102252 29 7418 6060 3429 6110 19.91 28.28/28.38 o 73 35.19/35.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 35.19/35.26 c 169577 134 5814 186640 32 12258 1752 5802 5976 28.37 35.19/35.26 c 169677 134 1004 32089 31 2548 1928 992 5971 28.42 35.19/35.26 c 169927 134 1254 39204 31 3042 2121 1242 5972 28.45 35.19/35.26 c 170402 134 1736 54263 31 4013 2334 1724 5975 28.52 35.19/35.26 c 171215 134 1362 43733 32 3259 2568 1350 5976 28.65 35.19/35.26 c 172536 134 1387 41996 30 3311 2825 1375 5982 28.84 35.19/35.26 c 174617 134 2051 63248 30 4638 3108 2039 5992 29.14 35.19/35.26 c 177840 134 2143 73192 34 4812 3419 2131 6000 29.64 35.19/35.26 c 182776 134 1929 67533 35 4394 3761 1917 6010 30.41 35.19/35.26 c 190283 134 3749 117935 31 8034 4138 3737 6042 31.49 35.19/35.26 c 201644 134 2539 74641 29 5615 4552 2527 6083 33.15 35.19/35.26 o 72 35.29/35.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 35.29/35.36 c 215476 134 2671 92802 34 6057 1752 2659 6111 35.26 35.29/35.36 c 215576 134 1001 32597 32 2619 1928 989 6111 35.27 35.29/35.36 c 215826 134 1257 40269 32 3132 2121 1245 6113 35.30 35.29/35.36 o 71 35.29/35.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 35.29/35.36 c 216289 134 1730 54161 31 4173 1752 1718 6117 35.36 35.29/35.36 o 69 37.19/37.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.19/37.24 c 216294 134 1736 54433 31 4264 1752 1724 6117 35.36 37.19/37.24 c 216394 134 937 28512 30 2443 1928 925 6117 35.38 37.19/37.24 c 216644 134 1191 36584 30 2969 2121 1179 6118 35.41 37.19/37.24 c 217119 134 1674 51555 30 3938 2334 1662 6119 35.48 37.19/37.24 c 217932 134 1277 41009 32 3110 2568 1265 6120 35.60 37.19/37.24 c 219252 134 1309 43120 32 3165 2825 1297 6122 35.81 37.19/37.24 c 221333 134 1987 65912 33 4530 3108 1975 6122 36.15 37.19/37.24 c 224556 134 2108 65856 31 4764 3419 2096 6128 36.64 37.19/37.24 o 67 37.19/37.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.19/37.25 c 228224 134 2363 75690 32 5346 1752 2351 6128 37.24 37.19/37.25 o 65 37.29/37.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.29/37.30 c 228252 134 932 30643 32 2488 1752 920 6128 37.25 37.29/37.30 c 228352 134 1033 33704 32 2690 1928 1021 6128 37.26 37.29/37.30 c 228602 134 1290 41071 31 3218 2121 1278 6130 37.29 37.29/37.30 o 60 37.29/37.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.29/37.30 c 228627 134 1316 41793 31 3374 1752 1304 6130 37.29 37.29/37.30 o 52 38.68/38.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 38.68/38.78 c 228627 134 1317 41877 31 3458 1752 1305 6130 37.29 38.68/38.78 c 228727 129 1421 45216 31 3664 1928 1409 6130 37.31 38.68/38.78 c 228977 128 1673 54327 32 4163 2121 1661 6130 37.35 38.68/38.78 c 229452 128 1092 37443 34 2719 2334 1080 6129 37.43 38.68/38.78 c 230266 127 1912 66421 34 4363 2568 1900 6130 37.56 38.68/38.78 c 231587 124 1925 67425 35 4385 2825 1913 6131 37.77 38.68/38.78 c 233668 124 2579 96875 37 5696 3108 2567 6128 38.13 38.68/38.78 c 236891 122 2646 94445 35 5875 3419 2634 6122 38.69 38.68/38.78 o 51 38.68/38.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 38.68/38.79 c 237343 122 3112 111138 35 6912 1728 3100 6121 38.77 38.68/38.79 o 47 40.58/40.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 40.58/40.70 c 237368 122 930 32454 34 2510 1728 918 6120 38.78 40.58/40.70 c 237468 122 1032 36082 34 2724 1901 1020 6121 38.79 40.58/40.70 c 237718 122 1294 44976 34 3255 2092 1282 6121 38.83 40.58/40.70 c 238194 122 1783 61754 34 4233 2302 1771 6123 38.90 40.58/40.70 c 239007 122 1424 47040 33 3369 2533 1412 6124 39.02 40.58/40.70 c 240327 122 1451 48129 33 3422 2787 1439 6127 39.22 40.58/40.70 c 242408 122 2131 72010 33 4788 3066 2119 6131 39.54 40.58/40.70 c 245631 122 2235 76343 34 5024 3373 2223 6134 40.04 40.58/40.70 o 44 40.69/40.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 40.69/40.71 c 249705 122 2890 101848 35 6402 1728 2878 6136 40.69 40.69/40.71 o 42 40.69/40.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 40.69/40.71 c 249750 122 947 32778 34 2486 1728 935 6136 40.70 40.69/40.71 o 40 40.69/40.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 40.69/40.72 c 249785 122 989 35055 35 2660 1728 977 6136 40.71 40.69/40.72 o 38 40.69/40.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 40.69/40.72 c 249818 122 1027 37169 36 2833 1728 1015 6136 40.71 40.69/40.72 o 36 40.69/40.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 40.69/40.72 c 249829 122 1039 37701 36 2930 1728 1027 6136 40.72 40.69/40.72 o 34 67.48/67.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 67.48/67.59 c 249829 122 1040 37773 36 3001 1728 1028 6136 40.72 67.48/67.59 c 249929 122 1142 41456 36 3232 1901 1130 6136 40.73 67.48/67.59 c 250179 122 1392 49604 35 3728 2092 1380 6136 40.77 67.48/67.59 c 250655 122 1871 66013 35 4685 2302 1859 6137 40.84 67.48/67.59 c 251469 122 1503 52421 34 3519 2533 1491 6137 40.98 67.48/67.59 c 252789 122 1523 55616 36 3563 2787 1511 6138 41.18 67.48/67.59 c 254870 122 2185 76119 34 4881 3066 2173 6139 41.51 67.48/67.59 c 258093 122 2290 79501 34 5116 3373 2278 6140 42.03 67.48/67.59 c 263029 122 2072 74040 35 4667 3711 2060 6140 42.84 67.48/67.59 c 270535 122 2034 75796 37 4578 4083 2022 6139 44.07 67.48/67.59 c 281896 122 3105 108487 34 6734 4492 3093 6128 46.00 67.48/67.59 c 299040 122 4408 154202 34 9355 4942 4396 6107 48.96 67.48/67.59 c 324860 122 2796 96994 34 6112 5437 2784 6069 53.52 67.48/67.59 c 363693 122 3265 115134 35 7054 5981 3253 6004 60.57 67.48/67.59 o 33 78.28/78.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 78.28/78.37 c 401594 122 5285 187748 35 11165 1728 5273 5942 67.58 78.28/78.37 c 401694 122 1002 35723 35 2530 1901 990 5941 67.61 78.28/78.37 c 401944 122 1256 43432 34 3043 2092 1244 5941 67.65 78.28/78.37 c 402419 122 1735 58744 33 4000 2302 1723 5942 67.72 78.28/78.37 c 403232 122 1356 45659 33 3232 2533 1344 5943 67.84 78.28/78.37 c 404552 122 1379 45763 33 3273 2787 1367 5945 68.05 78.28/78.37 c 406633 122 2052 71768 34 4617 3066 2040 5947 68.37 78.28/78.37 c 409857 122 2174 79945 36 4857 3373 2162 5949 68.88 78.28/78.37 c 414793 122 2003 69255 34 4530 3711 1991 5952 69.68 78.28/78.37 c 422299 122 2035 74204 36 4652 4083 2023 5952 70.94 78.28/78.37 c 433661 122 3150 114693 36 6816 4492 3138 5953 72.84 78.28/78.37 c 450805 122 4419 152475 34 9371 4942 4407 5942 75.87 78.28/78.37 o 28 79.47/79.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 79.47/79.50 c 464996 122 3659 126475 34 7960 1728 3647 5934 78.35 79.47/79.50 c 465096 112 1001 33817 33 2561 1901 989 5933 78.38 79.47/79.50 c 465346 110 1252 43888 35 3060 2092 1240 5934 78.42 79.47/79.50 c 465821 110 1729 63166 36 4016 2302 1717 5934 78.49 79.47/79.50 c 466634 110 1369 54828 40 3247 2533 1357 5934 78.63 79.47/79.50 c 467954 110 1390 54655 39 3291 2787 1378 5933 78.87 79.47/79.50 c 470035 110 2060 83320 40 4634 3066 2048 5932 79.23 79.47/79.50 o 26 79.47/79.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 79.47/79.52 c 471470 110 1948 78205 40 4490 1704 1936 5931 79.49 79.47/79.52 c 471571 110 1014 42023 41 2646 1875 1002 5931 79.50 79.47/79.52 o 22 186.16/186.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 186.16/186.27 c 471593 110 1042 43360 41 2801 1704 1030 5931 79.51 186.16/186.27 c 471693 110 1143 46810 40 2992 1875 1131 5931 79.52 186.16/186.27 c 471943 110 1394 55398 39 3500 2063 1382 5932 79.56 186.16/186.27 c 472418 110 1869 72047 38 4460 2270 1857 5932 79.63 186.16/186.27 c 473232 110 1508 53354 35 3501 2498 1496 5933 79.76 186.16/186.27 c 474552 110 1548 56289 36 3598 2748 1536 5935 79.96 186.16/186.27 c 476633 110 2213 82193 37 4928 3023 2201 5936 80.28 186.16/186.27 c 479857 110 2354 86864 36 5202 3326 2342 5938 80.81 186.16/186.27 c 484793 110 2216 81144 36 4925 3659 2204 5937 81.66 186.16/186.27 c 492300 110 2261 87980 38 5017 4025 2249 5938 82.90 186.16/186.27 c 503662 110 3405 135139 39 7306 4428 3393 5939 84.80 186.16/186.27 c 520807 110 2583 93423 36 5654 4871 2571 5943 87.63 186.16/186.27 c 546626 110 3743 147693 39 7977 5359 3731 5917 92.38 186.16/186.27 c 585458 110 4596 178598 38 9692 5895 4584 5847 100.12 186.16/186.27 c 643811 110 3359 130732 38 7215 6485 3347 5754 111.87 186.16/186.27 c 731443 110 5918 230355 38 12331 7134 5906 5678 128.81 186.16/186.27 c 862995 110 4342 166797 38 9178 7848 4330 5418 159.27 186.16/186.27 o 21 193.56/193.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 193.56/193.69 c 967201 110 5663 221144 39 11893 1704 5651 5193 186.24 193.56/193.69 c 967301 110 1002 37742 37 2510 1875 990 5192 186.27 193.56/193.69 c 967551 110 1253 47105 37 3005 2063 1241 5193 186.31 193.56/193.69 c 968026 110 1729 65167 37 3969 2270 1717 5194 186.37 193.56/193.69 c 968840 110 1368 50665 37 3229 2498 1356 5195 186.49 193.56/193.69 c 970161 110 1415 52877 37 3323 2748 1403 5196 186.69 193.56/193.69 c 972242 110 2089 79675 38 4679 3023 2077 5198 187.03 193.56/193.69 c 975466 110 2234 85293 38 4969 3326 2222 5200 187.59 193.56/193.69 c 980403 110 2071 82149 39 4638 3659 2059 5204 188.37 193.56/193.69 c 987909 110 2127 84183 39 4747 4025 2115 5210 189.61 193.56/193.69 c 999270 110 3268 132813 40 7026 4428 3256 5217 191.53 193.56/193.69 o 17 193.66/193.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 193.66/193.71 c 1011042 110 3825 157290 41 8275 1704 3813 5220 193.66 193.66/193.71 o 15 523.81/523.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 523.81/523.90 c 1011088 110 949 38542 40 2525 1704 937 5220 193.68 523.81/523.90 c 1011189 103 1050 42432 40 2713 1875 1038 5220 193.69 523.81/523.90 c 1011439 100 1300 52079 40 3208 2063 1288 5220 193.74 523.81/523.90 c 1011915 100 1777 71582 40 4157 2270 1765 5221 193.81 523.81/523.90 c 1012728 100 1419 55827 39 3314 2498 1407 5222 193.93 523.81/523.90 c 1014048 98 1458 58968 40 3392 2748 1446 5223 194.12 523.81/523.90 c 1016132 98 2141 83652 39 4758 3023 2129 5226 194.42 523.81/523.90 c 1019356 98 2272 87478 38 5016 3326 2260 5231 194.86 523.81/523.90 c 1024292 98 2114 83780 39 4701 3659 2102 5237 195.57 523.81/523.90 c 1031798 98 2161 82341 38 4789 4025 2149 5245 196.69 523.81/523.90 c 1043159 98 3290 132576 40 7049 4428 3278 5253 198.55 523.81/523.90 c 1060308 98 2454 95735 39 5375 4871 2442 5264 201.42 523.81/523.90 c 1086127 98 3615 135391 37 7713 5359 3603 5271 206.04 523.81/523.90 c 1124961 98 4471 174273 38 9424 5895 4459 5272 213.38 523.81/523.90 c 1183313 98 3223 131359 40 6920 6485 3211 5267 224.66 523.81/523.90 c 1270947 98 5742 221431 38 11967 7134 5730 5251 242.01 523.81/523.90 c 1402500 98 4182 145873 34 8815 7848 4170 5304 264.41 523.81/523.90 c 1599933 98 7755 308796 39 15980 8633 7743 5246 304.95 523.81/523.90 c 1896185 98 8393 325183 38 17254 9497 8381 5127 369.84 523.81/523.90 c 2340667 98 8483 333786 39 17438 10447 8471 4919 475.83 523.81/523.90 o 13 936.64/936.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 936.64/936.83 c 2538134 98 6266 249620 39 13060 1680 6254 4845 523.82 936.64/936.83 c 2538234 98 1001 39179 39 2474 1849 989 4845 523.85 936.64/936.83 c 2538484 98 1251 48738 38 2966 2034 1239 4845 523.89 936.64/936.83 c 2538959 98 1727 65747 38 3911 2238 1715 4845 523.96 936.64/936.83 c 2539772 98 1386 49532 35 3234 2462 1374 4846 524.08 936.64/936.83 c 2541093 98 1441 51754 35 3338 2709 1429 4847 524.26 936.64/936.83 c 2543174 98 2129 80189 37 4719 2980 2117 4848 524.55 936.64/936.83 c 2546398 98 2323 88104 37 5110 3279 2311 4850 525.00 936.64/936.83 c 2551334 98 2246 86492 38 4952 3607 2234 4852 525.73 936.64/936.83 c 2558842 98 2412 97246 40 5289 3968 2400 4856 526.93 936.64/936.83 c 2570203 98 3686 144120 39 7839 4365 3674 4860 528.82 936.64/936.83 c 2587347 98 3109 123013 39 6682 4802 3097 4866 531.69 936.64/936.83 c 2613166 98 4593 183069 39 9642 5283 4581 4873 536.16 936.64/936.83 c 2651998 98 3326 133732 40 7125 5812 3314 4879 543.53 936.64/936.83 c 2710352 98 5834 239169 40 12133 6394 5822 4878 555.59 936.64/936.83 c 2797985 98 6247 251048 40 12956 7034 6235 4877 573.61 936.64/936.83 c 2929537 98 6475 261025 40 13422 7738 6463 4879 600.43 936.64/936.83 c 3126970 98 5065 205830 40 10597 8512 5053 4858 643.58 936.64/936.83 c 3423222 98 5623 229786 40 11721 9364 5611 4815 710.89 936.64/936.83 c 3867706 98 7045 285302 40 14554 10301 7033 4721 819.08 936.64/936.83 o 11 936.64/936.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 936.64/936.88 c 4320273 98 9083 363936 40 18686 1680 9071 4612 936.68 936.64/936.88 o 9 1798.01/1798.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.01/1798.39 c 4320278 98 907 35159 38 2334 1680 895 4612 936.74 1798.01/1798.39 c 4320379 98 1009 39227 38 2541 1849 997 4612 936.75 1798.01/1798.39 c 4320629 98 1260 49151 39 3047 2034 1248 4612 936.79 1798.01/1798.39 c 4321104 98 1736 67940 39 3999 2238 1724 4612 936.86 1798.01/1798.39 c 4321917 98 1405 54051 38 3274 2462 1393 4612 937.00 1798.01/1798.39 c 4323237 98 1457 55873 38 3371 2709 1445 4612 937.22 1798.01/1798.39 c 4325319 98 2156 84091 39 4782 2980 2144 4613 937.56 1798.01/1798.39 c 4328542 98 2344 91015 38 5151 3279 2332 4614 938.10 1798.01/1798.39 c 4333478 98 2269 88403 38 5006 3607 2257 4615 938.95 1798.01/1798.39 c 4340985 98 2421 97303 40 5312 3968 2409 4616 940.31 1798.01/1798.39 c 4352347 98 3696 146905 39 7863 4365 3684 4617 942.49 1798.01/1798.39 c 4369491 98 3129 123250 39 6719 4802 3117 4620 945.67 1798.01/1798.39 c 4395311 98 4620 184966 40 9714 5283 4608 4624 950.47 1798.01/1798.39 c 4434143 98 3395 129098 38 7256 5812 3383 4629 957.81 1798.01/1798.39 c 4492495 98 2996 117507 39 6456 6394 2984 4636 968.98 1798.01/1798.39 c 4580127 98 3442 132920 38 7341 7034 3430 4646 985.64 1798.01/1798.39 c 4711680 98 3751 152171 40 7971 7738 3739 4655 1012.10 1798.01/1798.39 c 4909112 98 6156 234993 38 12771 8512 6144 4665 1052.16 1798.01/1798.39 c 5205365 98 6639 267188 40 13745 9364 6627 4646 1120.18 1798.01/1798.39 c 5649848 98 8112 318218 39 16688 10301 8100 4625 1221.41 1798.01/1798.39 c 6316675 98 6723 265911 39 13902 11332 6711 4570 1382.17 1798.01/1798.39 c 7317021 98 10084 402241 39 20640 12466 10072 4463 1639.32 1798.01/1798.39 c Resources Exceeded 1798.01/1798.39 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 1798.01/1798.39 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.01/1798.39 c 269 7902098 63109 7982058 6300 256097 6288 4394 1798.11 1798.01/1798.39 c Objective: 9 1798.01/1798.39 s SATISFIABLE 1798.01/1798.39 c Total time: 1798.11 s
OK 9
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3708070-1338157126/watcher-3708070-1338157126 -o /tmp/evaluation-result-3708070-1338157126/solver-3708070-1338157126 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708070-1338157126.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: 1.29 1.80 1.93 3/173 8758 /proc/meminfo: memFree=29883868/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=18608 CPUtime=0 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 296 0 0 0 0 0 0 0 20 0 1 0 281836948 19054592 247 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 4652 247 192 642 0 4008 0 [startup+0.0518351 s] /proc/loadavg: 1.29 1.80 1.93 3/173 8758 /proc/meminfo: memFree=29883868/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=11044 CPUtime=0.04 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 362 0 0 0 4 0 0 0 20 0 1 0 281836948 11309056 313 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 2761 313 192 642 0 2117 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11044 [startup+0.100214 s] /proc/loadavg: 1.29 1.80 1.93 3/173 8758 /proc/meminfo: memFree=29883868/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=11296 CPUtime=0.09 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 437 0 0 0 9 0 0 0 20 0 1 0 281836948 11567104 388 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 2824 388 192 642 0 2180 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11296 [startup+0.300179 s] /proc/loadavg: 1.29 1.80 1.93 3/173 8758 /proc/meminfo: memFree=29883868/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=12060 CPUtime=0.29 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 637 0 0 0 29 0 0 0 20 0 1 0 281836948 12349440 588 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 3015 588 192 642 0 2371 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12060 [startup+0.70018 s] /proc/loadavg: 1.29 1.80 1.93 3/173 8758 /proc/meminfo: memFree=29883868/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=12188 CPUtime=0.69 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 641 0 0 0 69 0 0 0 20 0 1 0 281836948 12480512 592 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 3047 592 192 642 0 2403 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12188 [startup+1.50018 s] /proc/loadavg: 1.29 1.80 1.93 3/177 8762 /proc/meminfo: memFree=29881236/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=12188 CPUtime=1.48 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 641 0 0 0 148 0 0 0 20 0 1 0 281836948 12480512 592 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 3047 592 192 642 0 2403 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 12188 [startup+3.10018 s] /proc/loadavg: 1.29 1.80 1.93 3/177 8762 /proc/meminfo: memFree=29880096/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=12684 CPUtime=3.09 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 766 0 0 0 308 1 0 0 20 0 1 0 281836948 12988416 717 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 3171 717 192 642 0 2527 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12684 [startup+6.30023 s] /proc/loadavg: 1.34 1.80 1.93 3/177 8762 /proc/meminfo: memFree=29878980/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=13064 CPUtime=6.28 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 866 0 0 0 626 2 0 0 20 0 1 0 281836948 13377536 817 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 3266 817 192 642 0 2622 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 13064 [startup+12.7002 s] /proc/loadavg: 1.39 1.80 1.93 3/177 8762 /proc/meminfo: memFree=29878152/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=13316 CPUtime=12.69 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 951 0 0 0 1264 5 0 0 20 0 1 0 281836948 13635584 902 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 3329 902 192 642 0 2685 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13316 [startup+25.5003 s] /proc/loadavg: 1.53 1.81 1.93 3/177 8762 /proc/meminfo: memFree=29877944/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=13824 CPUtime=25.49 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 1077 0 0 0 2539 10 0 0 20 0 1 0 281836948 14155776 1028 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 3456 1028 192 642 0 2812 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 13824 [startup+51.1003 s] /proc/loadavg: 1.69 1.83 1.93 3/177 8762 /proc/meminfo: memFree=29877384/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=13948 CPUtime=51.08 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 1108 0 0 0 5091 17 0 0 20 0 1 0 281836948 14282752 1058 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 3487 1058 192 642 0 2843 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 13948 [startup+102.3 s] /proc/loadavg: 1.86 1.85 1.93 3/177 8803 /proc/meminfo: memFree=29877764/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=14400 CPUtime=102.28 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 1258 0 0 0 10194 34 0 0 20 0 1 0 281836948 14745600 1171 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 3600 1171 192 642 0 2956 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 14400 [startup+162.3 s] /proc/loadavg: 1.95 1.88 1.93 3/177 8804 /proc/meminfo: memFree=29875780/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=15628 CPUtime=162.27 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 1568 0 0 0 16177 50 0 0 20 0 1 0 281836948 16003072 1471 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 3907 1471 192 642 0 3263 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 15628 [startup+222.306 s] /proc/loadavg: 1.98 1.90 1.93 3/177 8804 /proc/meminfo: memFree=29875780/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=15652 CPUtime=222.26 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 1583 0 0 0 22160 66 0 0 20 0 1 0 281836948 16027648 1486 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 3913 1486 192 642 0 3269 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 15652 [startup+282.3 s] /proc/loadavg: 1.99 1.91 1.93 3/177 8842 /proc/meminfo: memFree=29874096/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=15764 CPUtime=282.24 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 1588 0 0 0 28141 83 0 0 20 0 1 0 281836948 16142336 1491 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 3941 1491 192 642 0 3297 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 15764 [startup+342.3 s] /proc/loadavg: 1.99 1.92 1.93 3/177 8842 /proc/meminfo: memFree=29872304/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=16260 CPUtime=342.24 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 1723 0 0 0 34123 101 0 0 20 0 1 0 281836948 16650240 1625 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 4065 1625 192 642 0 3421 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 16260 [startup+402.3 s] /proc/loadavg: 1.99 1.94 1.93 3/177 8842 /proc/meminfo: memFree=29871124/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=16848 CPUtime=402.22 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 1883 0 0 0 40107 115 0 0 20 0 1 0 281836948 17252352 1785 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 4212 1785 192 642 0 3568 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 16848 [startup+462.3 s] /proc/loadavg: 1.99 1.94 1.93 3/177 8843 /proc/meminfo: memFree=29870876/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=16848 CPUtime=462.21 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 1883 0 0 0 46090 131 0 0 20 0 1 0 281836948 17252352 1785 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 4212 1785 192 642 0 3568 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 16848 [startup+522.3 s] /proc/loadavg: 1.99 1.95 1.93 3/177 8843 /proc/meminfo: memFree=29870008/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=17456 CPUtime=522.2 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 2026 0 0 0 52074 146 0 0 20 0 1 0 281836948 17874944 1928 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 4364 1928 192 642 0 3720 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 17456 [startup+582.3 s] /proc/loadavg: 1.99 1.96 1.93 3/177 8843 /proc/meminfo: memFree=29870380/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=17404 CPUtime=582.2 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 2026 0 0 0 58058 162 0 0 20 0 1 0 281836948 17821696 1925 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 4351 1925 192 642 0 3707 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 17404 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=29868704/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=17356 CPUtime=1122.12 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 2034 0 0 0 111909 303 0 0 20 0 1 0 281836948 17772544 1913 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 4339 1913 192 642 0 3695 0 Current children cumulated CPU time (s) 1122.12 Current children cumulated vsize (KiB) 17356 [startup+1182.3 s] /proc/loadavg: 2.02 1.99 1.94 3/177 8848 /proc/meminfo: memFree=29868580/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=17356 CPUtime=1182.11 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 2034 0 0 0 117892 319 0 0 20 0 1 0 281836948 17772544 1913 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 4339 1913 192 642 0 3695 0 Current children cumulated CPU time (s) 1182.11 Current children cumulated vsize (KiB) 17356 [startup+1242.3 s] /proc/loadavg: 2.01 1.99 1.94 3/177 8848 /proc/meminfo: memFree=29867836/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=17356 CPUtime=1242.09 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 2034 0 0 0 123876 333 0 0 20 0 1 0 281836948 17772544 1913 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 4339 1913 192 642 0 3695 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 17356 [startup+1302.3 s] /proc/loadavg: 2.00 1.99 1.94 3/178 8851 /proc/meminfo: memFree=29867828/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=17356 CPUtime=1302.09 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 2034 0 0 0 129862 347 0 0 20 0 1 0 281836948 17772544 1913 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 4339 1913 192 642 0 3695 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 17356 [startup+1362.3 s] /proc/loadavg: 2.00 1.99 1.94 3/177 8852 /proc/meminfo: memFree=29868084/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=17356 CPUtime=1362.08 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 2034 0 0 0 135846 362 0 0 20 0 1 0 281836948 17772544 1913 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 4339 1913 192 642 0 3695 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 17356 [startup+1422.3 s] /proc/loadavg: 2.00 1.99 1.94 3/177 8852 /proc/meminfo: memFree=29867400/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=18052 CPUtime=1422.07 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 2207 0 0 0 141832 375 0 0 20 0 1 0 281836948 18485248 2085 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 4513 2085 192 642 0 3869 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 18052 [startup+1482.3 s] /proc/loadavg: 2.06 2.00 1.94 3/177 8852 /proc/meminfo: memFree=29866532/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=18244 CPUtime=1482.06 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 2253 0 0 0 147814 392 0 0 20 0 1 0 281836948 18681856 2131 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 4561 2131 192 642 0 3917 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 18244 [startup+1542.31 s] /proc/loadavg: 2.02 2.00 1.94 3/177 8852 /proc/meminfo: memFree=29866532/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=18160 CPUtime=1542.06 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 2253 0 0 0 153798 408 0 0 20 0 1 0 281836948 18595840 2114 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 4540 2114 192 642 0 3896 0 Current children cumulated CPU time (s) 1542.06 Current children cumulated vsize (KiB) 18160 [startup+1602.3 s] /proc/loadavg: 2.09 2.02 1.95 3/176 8852 /proc/meminfo: memFree=29867036/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=18232 CPUtime=1602.04 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 2254 0 0 0 159781 423 0 0 20 0 1 0 281836948 18669568 2113 33554432000 134512640 137138936 4290767376 4290766416 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 4558 2113 192 642 0 3914 0 Current children cumulated CPU time (s) 1602.04 Current children cumulated vsize (KiB) 18232 [startup+1662.3 s] /proc/loadavg: 2.03 2.01 1.95 3/177 8854 /proc/meminfo: memFree=29865912/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=18852 CPUtime=1662.03 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 2419 0 0 0 165767 436 0 0 20 0 1 0 281836948 19304448 2278 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 4713 2278 192 642 0 4069 0 Current children cumulated CPU time (s) 1662.03 Current children cumulated vsize (KiB) 18852 [startup+1722.3 s] /proc/loadavg: 2.01 2.00 1.95 3/177 8854 /proc/meminfo: memFree=29866036/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=18852 CPUtime=1722.02 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 2426 0 0 0 171753 449 0 0 20 0 1 0 281836948 19304448 2285 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 4713 2285 192 642 0 4069 0 Current children cumulated CPU time (s) 1722.02 Current children cumulated vsize (KiB) 18852 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.95 3/177 8854 /proc/meminfo: memFree=29865788/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=18944 CPUtime=1782.01 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 2432 0 0 0 177738 463 0 0 20 0 1 0 281836948 19398656 2291 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 4736 2291 192 642 0 4092 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 18944 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 2.00 2.00 1.95 3/177 8854 /proc/meminfo: memFree=29865912/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=18944 CPUtime=1791.72 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 2432 0 0 0 178707 465 0 0 20 0 1 0 281836948 19398656 2291 33554432000 134512640 137138936 4290767376 4290766272 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 4736 2291 192 642 0 4092 0 Current children cumulated CPU time (s) 1791.72 Current children cumulated vsize (KiB) 18944 [startup+1795.2 s] /proc/loadavg: 2.00 2.00 1.95 3/177 8854 /proc/meminfo: memFree=29865912/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=18940 CPUtime=1794.92 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 2432 0 0 0 179026 466 0 0 20 0 1 0 281836948 19394560 2291 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 4735 2291 192 642 0 4091 0 Current children cumulated CPU time (s) 1794.92 Current children cumulated vsize (KiB) 18940 [startup+1796.8 s] /proc/loadavg: 2.00 2.00 1.95 3/177 8854 /proc/meminfo: memFree=29865912/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=18940 CPUtime=1796.51 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 2432 0 0 0 179185 466 0 0 20 0 1 0 281836948 19394560 2291 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 4735 2291 192 642 0 4091 0 Current children cumulated CPU time (s) 1796.51 Current children cumulated vsize (KiB) 18940 [startup+1797.6 s] /proc/loadavg: 2.00 2.00 1.95 3/177 8854 /proc/meminfo: memFree=29865912/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=18940 CPUtime=1797.31 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 2432 0 0 0 179265 466 0 0 20 0 1 0 281836948 19394560 2291 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 4735 2291 192 642 0 4091 0 Current children cumulated CPU time (s) 1797.31 Current children cumulated vsize (KiB) 18940 [startup+1798 s] /proc/loadavg: 2.00 2.00 1.95 3/177 8854 /proc/meminfo: memFree=29865912/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=18940 CPUtime=1797.71 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 2432 0 0 0 179305 466 0 0 20 0 1 0 281836948 19394560 2291 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 4735 2291 192 642 0 4091 0 Current children cumulated CPU time (s) 1797.71 Current children cumulated vsize (KiB) 18940 [startup+1798.2 s] /proc/loadavg: 2.00 2.00 1.95 3/177 8854 /proc/meminfo: memFree=29865912/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=18940 CPUtime=1797.91 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 2432 0 0 0 179325 466 0 0 20 0 1 0 281836948 19394560 2291 33554432000 134512640 137138936 4290767376 4290766492 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 4735 2291 192 642 0 4091 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 18940 [startup+1798.3 s] /proc/loadavg: 2.00 2.00 1.95 3/177 8854 /proc/meminfo: memFree=29865912/32873844 swapFree=7628/7628 [pid=8758] ppid=8755 vsize=18940 CPUtime=1798.01 cores=1,3,5,7 /proc/8758/stat : 8758 (bsolo) R 8755 8758 8717 0 -1 4202496 2432 0 0 0 179335 466 0 0 20 0 1 0 281836948 19394560 2291 33554432000 134512640 137138936 4290767376 4290766416 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/8758/statm: 4735 2291 192 642 0 4091 0 Current children cumulated CPU time (s) 1798.01 Current children cumulated vsize (KiB) 18940 Child status: 0 Real time (s): 1798.39 CPU time (s): 1798.11 CPU user time (s): 1793.44 CPU system time (s): 4.66929 CPU usage (%): 99.9845 Max. virtual memory (cumulated for all children) (KiB): 18948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.44 system time used= 4.66929 maximum resident set size= 9168 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2433 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= 7 involuntary context switches= 1850 runsolver used 2.99554 second user time and 7.9198 second system time The end
Begin job on node145 at 2012-05-28 00:18:46 IDJOB=3708070 IDBENCH=2902 IDSOLVER=2286 FILE ID=node145/3708070-1338157126 RUNJOBID= node145-1338157126-8734 PBS_JOBID= 14624528 Free space on /tmp= 71556 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-3708070-1338157126/watcher-3708070-1338157126 -o /tmp/evaluation-result-3708070-1338157126/solver-3708070-1338157126 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708070-1338157126.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cdfa46b59876181d5d89fd18757b8cfb RANDOM SEED=1760366929 node145.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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 : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.29 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5313.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29885148 kB Buffers: 326384 kB Cached: 1833828 kB SwapCached: 0 kB Active: 677496 kB Inactive: 1493144 kB Active(anon): 1900 kB Inactive(anon): 10880 kB Active(file): 675596 kB Inactive(file): 1482264 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 7780 kB Writeback: 0 kB AnonPages: 17820 kB Mapped: 13028 kB Shmem: 200 kB Slab: 678444 kB SReclaimable: 120096 kB SUnreclaim: 558348 kB KernelStack: 1376 kB PageTables: 3616 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 103432 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71548 MiB End job on node145 at 2012-05-28 00:48:44