Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 | SAT | 10 | 1798 | 1797.98 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_3.opb |
MD5SUM | 8d16c34d0eecf3c16ca4b890652c15ca |
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 | 1798.37 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 7 |
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 | 64 |
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 | 1270 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4321 |
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-3463186-1307179229.opb 0.00/0.00 c File size is 7734 bytes. 0.00/0.00 c Highest Coefficient sum: 4321 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: 784 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 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 784 65 226 1568 0 -2147483648 0.00 0.00/0.00 c Switching off lower bounding mode. 0.00/0.00 o 1114 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 146 13 880 67 564 1760 1 0 0.00 0.00/0.00 o 950 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 34 146 58 3951 68 767 1760 46 5666 0.01 0.00/0.01 o 452 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 59 146 109 7027 64 1154 1760 97 6555 0.01 0.00/0.01 o 400 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 113 146 170 9583 56 1409 1760 158 7062 0.02 0.00/0.02 o 293 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 159 146 223 11907 53 1578 1760 211 6913 0.02 0.00/0.03 o 292 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 211 146 291 15265 52 1799 1760 279 6806 0.03 0.00/0.04 o 291 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 284 146 369 18199 49 2067 1760 357 6926 0.04 0.09/0.10 c 384 146 488 24307 49 2321 1937 476 6857 0.06 0.09/0.10 c 634 146 772 37753 48 2978 2131 760 6404 0.10 0.09/0.10 o 283 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 653 146 797 38869 48 3110 1760 785 6339 0.10 0.09/0.11 o 281 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 677 146 825 40007 48 3255 1760 813 6268 0.11 0.09/0.11 o 279 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 690 146 843 40967 48 3414 1760 831 6272 0.11 0.09/0.15 c 790 146 961 46082 47 3772 1937 949 6269 0.13 0.09/0.15 o 271 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 940 146 1136 53726 47 4221 1760 1124 6225 0.15 0.09/0.17 c 1041 146 1241 57357 46 4442 1937 1229 6233 0.17 0.09/0.17 o 265 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 1050 146 1254 58229 46 4577 1760 1242 6213 0.17 0.19/0.20 c 1150 146 1372 64499 47 4971 1937 1360 6182 0.19 0.19/0.20 o 258 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 1277 146 1508 68875 45 5312 1760 1496 6259 0.20 0.19/0.22 o 256 0.19/0.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.27 c 1336 146 1580 73081 46 5637 1760 1568 6185 0.22 0.19/0.27 c 1436 146 1695 77435 45 5958 1937 1683 6136 0.23 0.19/0.27 o 254 0.19/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.28 c 1646 146 982 48430 49 2855 1760 970 5963 0.28 0.19/0.28 o 232 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 1726 146 1069 51435 48 3121 1760 1057 6034 0.29 0.29/0.31 c 1826 146 1190 57199 48 3440 1937 1178 6046 0.30 0.29/0.31 o 192 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 1875 146 1249 59259 47 3636 1760 1237 6048 0.31 0.29/0.31 o 187 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 1885 146 1261 59711 47 3747 1760 1249 6041 0.31 0.29/0.32 o 179 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 1922 146 1305 61470 47 3950 1760 1293 6063 0.32 0.29/0.32 o 175 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 1923 146 1307 61620 47 4062 1760 1295 6066 0.32 0.29/0.32 o 151 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 1928 146 1315 62087 47 4175 1760 1303 6043 0.32 0.29/0.32 o 130 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 1941 146 1331 62756 47 4273 1760 1319 6027 0.32 0.29/0.33 o 118 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 2023 146 1430 66309 46 4597 1760 1418 6056 0.33 0.29/0.33 o 116 0.79/0.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.81 c 2027 145 1435 66596 46 4698 1758 1423 6032 0.34 0.79/0.81 c 2127 144 1543 70564 45 4939 1934 1531 6008 0.35 0.79/0.81 c 2377 141 1800 79039 43 5442 2128 1788 6032 0.39 0.79/0.81 c 2852 140 1198 43249 36 3045 2341 1186 6055 0.47 0.79/0.81 c 3665 139 2054 72923 35 4758 2576 2042 6128 0.60 0.79/0.81 c 4985 136 2089 70374 33 4726 2834 2077 6177 0.81 0.79/0.81 o 115 0.79/0.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.81 c 4990 136 2095 70699 33 4819 1740 2083 6175 0.81 0.79/0.81 o 113 0.79/0.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.87 c 5000 136 906 30264 33 2427 1740 894 6157 0.81 0.79/0.87 c 5100 136 1012 34365 33 2717 1915 1000 6166 0.83 0.79/0.87 c 5350 136 1280 44848 35 3332 2107 1268 6149 0.87 0.79/0.87 o 112 0.89/0.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.90 c 5389 136 1324 47124 35 3557 1740 1312 6151 0.88 0.89/0.90 c 5489 136 1440 52428 36 3906 1915 1428 6167 0.89 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 5576 136 1536 55938 36 4227 1740 1524 6174 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 5604 136 1567 57296 36 4385 1740 1555 6178 0.91 0.89/0.91 o 102 1.19/1.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.24 c 5628 136 1594 58871 36 4539 1740 1582 6171 0.91 1.19/1.24 c 5728 136 1699 62103 36 4745 1915 1687 6179 0.93 1.19/1.24 c 5979 136 981 35910 36 2512 2107 969 6195 0.96 1.19/1.24 c 6454 136 1481 52210 35 3518 2318 1469 6253 1.03 1.19/1.24 c 7267 136 2312 78877 34 5194 2550 2300 6324 1.15 1.19/1.24 o 96 1.19/1.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.24 c 7861 135 1608 50313 31 3853 1738 1596 6354 1.24 1.19/1.24 o 94 2.20/2.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.20/2.28 c 7867 135 1615 50637 31 3949 1738 1603 6354 1.24 2.20/2.28 c 7967 135 1718 53888 31 4151 1912 1706 6363 1.25 2.20/2.28 c 8219 135 980 30584 31 2499 2104 968 6361 1.29 2.20/2.28 c 8694 135 1472 47551 32 3487 2315 1460 6397 1.36 2.20/2.28 c 9507 135 2308 73292 31 5184 2547 2296 6462 1.47 2.20/2.28 c 10827 135 2354 73653 31 5290 2802 2342 6518 1.66 2.20/2.28 c 12908 134 1642 49991 30 3822 3083 1630 6599 1.96 2.20/2.28 o 93 2.59/2.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.66 c 14993 134 2240 75649 33 5117 1736 2228 6581 2.28 2.59/2.66 c 15093 134 998 32195 32 2545 1910 986 6576 2.29 2.59/2.66 c 15344 134 1270 41507 32 3095 2102 1258 6585 2.33 2.59/2.66 c 15819 134 1757 57494 32 4081 2313 1745 6591 2.40 2.59/2.66 c 16632 134 1412 47388 33 3370 2545 1400 6573 2.53 2.59/2.66 o 92 2.59/2.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.67 c 17568 134 2386 79241 33 5418 1736 2374 6594 2.66 2.59/2.67 o 90 2.69/2.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.70 c 17598 134 926 29837 32 2490 1736 914 6583 2.67 2.69/2.70 c 17698 134 1027 32479 31 2689 1910 1015 6591 2.69 2.69/2.70 o 88 2.69/2.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.74 c 17856 134 1192 37636 31 3106 1736 1180 6601 2.71 2.69/2.74 c 17956 134 1297 41277 31 3332 1910 1285 6608 2.72 2.69/2.74 o 85 8.09/8.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.09/8.17 c 18123 134 1468 46432 31 3755 1736 1456 6621 2.74 8.09/8.17 c 18223 134 1575 50677 32 3986 1910 1563 6614 2.75 8.09/8.17 c 18473 134 1836 58622 31 4499 2102 1824 6625 2.79 8.09/8.17 c 18949 134 1241 39617 31 3018 2313 1229 6630 2.86 8.09/8.17 c 19762 134 2076 66473 32 4679 2545 2064 6647 2.97 8.09/8.17 c 21082 134 2136 68967 32 4807 2800 2124 6652 3.17 8.09/8.17 c 23163 134 1425 46026 32 3372 3081 1413 6591 3.51 8.09/8.17 c 26386 134 1591 50429 31 3705 3390 1579 6575 4.01 8.09/8.17 c 31322 134 3257 105221 32 7069 3730 3245 6596 4.75 8.09/8.17 c 38828 134 3452 111454 32 7442 4104 3440 6537 5.94 8.09/8.17 c 50191 134 2562 81249 31 5663 4515 2550 6578 7.63 8.09/8.17 o 69 8.09/8.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.09/8.19 c 53404 134 3635 117296 32 7900 1736 3623 6532 8.18 8.09/8.19 o 65 9.09/9.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.09/9.16 c 53483 134 996 34669 34 2824 1736 984 6528 8.19 9.09/9.16 c 53583 134 1097 37648 34 3022 1910 1085 6530 8.21 9.09/9.16 c 53835 134 1355 46942 34 3527 2102 1343 6527 8.25 9.09/9.16 c 54311 134 1838 63371 34 4490 2313 1826 6522 8.33 9.09/9.16 c 55127 134 1462 49666 33 3446 2545 1450 6512 8.46 9.09/9.16 c 56447 134 1488 50087 33 3499 2800 1476 6496 8.69 9.09/9.16 c 58528 134 2167 73565 33 4876 3081 2155 6476 9.04 9.09/9.16 o 52 9.09/9.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.09/9.17 c 59258 134 2908 97638 33 6452 1736 2896 6467 9.16 9.09/9.17 o 50 9.80/9.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.80/9.84 c 59263 131 899 29252 32 2413 1730 887 6464 9.17 9.80/9.84 c 59363 128 1000 32872 32 2617 1904 988 6464 9.18 9.80/9.84 c 59614 127 1251 42156 33 3121 2095 1239 6462 9.22 9.80/9.84 c 60089 123 1733 58318 33 4080 2305 1721 6455 9.31 9.80/9.84 c 60902 122 1362 45815 33 3247 2536 1350 6441 9.45 9.80/9.84 c 62223 122 1394 47477 34 3311 2790 1382 6425 9.68 9.80/9.84 o 47 9.80/9.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.80/9.88 c 63163 122 2350 82889 35 5344 1712 2338 6415 9.85 9.80/9.88 c 63264 122 999 36285 36 2516 1884 987 6412 9.87 9.80/9.88 o 46 9.80/9.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.80/9.88 c 63382 122 1129 41957 37 2946 1712 1117 6414 9.88 9.80/9.88 o 42 16.69/16.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.69/16.74 c 63401 122 1151 42813 37 3074 1712 1139 6414 9.88 16.69/16.74 c 63502 122 1263 49074 38 3380 1884 1251 6414 9.90 16.69/16.74 c 63752 122 1519 57671 37 3901 2073 1507 6415 9.94 16.69/16.74 c 64227 122 1996 75098 37 4855 2281 1984 6416 10.01 16.69/16.74 c 65040 122 1625 58151 35 3764 2510 1613 6417 10.13 16.69/16.74 c 66360 122 1664 61154 36 3835 2762 1652 6420 10.34 16.69/16.74 c 68441 122 2327 84006 36 5162 3039 2315 6410 10.68 16.69/16.74 c 71665 122 2442 94632 38 5386 3343 2430 6395 11.21 16.69/16.74 c 76601 122 2257 83604 37 5023 3678 2245 6354 12.05 16.69/16.74 c 84107 122 2288 84077 36 5086 4046 2276 6308 13.33 16.69/16.74 c 95468 122 3433 127561 37 7381 4451 3421 6213 15.37 16.69/16.74 o 40 18.70/18.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.70/18.74 c 102941 122 4157 153012 36 8898 1712 4145 6147 16.75 18.70/18.74 c 103042 122 996 36159 36 2504 1884 984 6142 16.77 18.70/18.74 c 103292 122 1247 44504 35 3010 2073 1235 6143 16.81 18.70/18.74 c 103767 122 1724 60864 35 3957 2281 1712 6145 16.89 18.70/18.74 c 104580 122 1365 47590 34 3238 2510 1353 6144 17.02 18.70/18.74 c 105900 122 1398 50795 36 3300 2762 1386 6146 17.23 18.70/18.74 c 107984 122 2084 76517 36 4688 3039 2072 6151 17.55 18.70/18.74 c 111207 122 2204 79811 36 4917 3343 2192 6150 18.08 18.70/18.74 o 38 18.70/18.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.70/18.75 c 115311 122 2921 106538 36 6431 1712 2909 6153 18.74 18.70/18.75 o 36 37.19/37.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.19/37.27 c 115342 122 927 34679 37 2444 1712 915 6152 18.75 37.19/37.27 c 115442 122 1030 38169 37 2651 1884 1018 6152 18.76 37.19/37.27 c 115692 122 1282 47105 36 3153 2073 1270 6153 18.80 37.19/37.27 c 116168 122 1771 64975 36 4142 2281 1759 6154 18.88 37.19/37.27 c 116981 122 1410 49389 35 3329 2510 1398 6152 19.01 37.19/37.27 c 118301 122 1450 49275 33 3413 2762 1438 6148 19.24 37.19/37.27 c 120382 122 2117 75079 35 4746 3039 2105 6143 19.59 37.19/37.27 c 123606 122 2250 80207 35 5009 3343 2238 6132 20.16 37.19/37.27 c 128542 122 2087 73725 35 4682 3678 2075 6119 21.00 37.19/37.27 c 136048 122 2116 73640 34 4741 4046 2104 6102 22.29 37.19/37.27 c 147409 122 3233 119199 36 6981 4451 3221 6075 24.26 37.19/37.27 c 164553 122 2382 84434 35 5278 4897 2370 6018 27.34 37.19/37.27 c 190372 122 3486 117274 33 7488 5387 3474 5950 31.99 37.19/37.27 o 27 37.19/37.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.19/37.29 c 217966 122 3959 139374 35 8540 1712 3947 5848 37.27 37.19/37.29 o 25 77.08/77.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 77.08/77.15 c 218037 112 965 32790 33 2490 1692 953 5846 37.30 77.08/77.15 c 218137 111 1067 37202 34 2719 1862 1055 5846 37.31 77.08/77.15 c 218390 111 1322 47565 35 3232 2049 1310 5846 37.35 77.08/77.15 c 218865 110 1802 66218 36 4190 2254 1790 5847 37.43 77.08/77.15 c 219678 110 1453 57512 39 3402 2480 1441 5848 37.56 77.08/77.15 c 220998 110 1490 57937 38 3481 2729 1478 5849 37.78 77.08/77.15 c 223080 110 2170 86349 39 4834 3002 2158 5856 38.09 77.08/77.15 c 226303 110 2322 93223 40 5136 3303 2310 5858 38.63 77.08/77.15 c 231240 110 2190 89218 40 4875 3634 2178 5855 39.49 77.08/77.15 c 238747 110 2279 91623 40 5048 3998 2267 5852 40.79 77.08/77.15 c 250109 110 3457 136767 39 7406 4398 3445 5844 42.79 77.08/77.15 c 267253 110 2730 106534 39 5943 4838 2718 5797 46.09 77.08/77.15 c 293073 110 4030 161648 40 8543 5322 4018 5759 50.89 77.08/77.15 c 331905 110 5156 200194 38 10802 5855 5144 5679 58.44 77.08/77.15 c 390257 110 4331 175920 40 9152 6441 4319 5557 70.22 77.08/77.15 o 23 163.38/163.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 163.38/163.46 c 422579 110 4152 168953 40 8874 1688 4140 5478 77.14 163.38/163.46 c 422679 110 994 39012 39 2495 1857 982 5477 77.17 163.38/163.46 c 422930 110 1246 48849 39 2999 2043 1234 5477 77.21 163.38/163.46 c 423406 110 1723 67935 39 3955 2248 1711 5479 77.28 163.38/163.46 c 424219 110 1381 54304 39 3262 2473 1369 5480 77.41 163.38/163.46 c 425539 110 1431 54085 37 3357 2721 1419 5482 77.62 163.38/163.46 c 427620 110 2117 81804 38 4722 2994 2105 5485 77.95 163.38/163.46 c 430844 110 2289 89918 39 5065 3294 2277 5489 78.49 163.38/163.46 c 435780 110 2197 85212 38 4888 3624 2185 5492 79.34 163.38/163.46 c 443286 110 2322 91324 39 5135 3987 2310 5496 80.65 163.38/163.46 c 454648 110 3583 140834 39 7659 4386 3571 5492 82.78 163.38/163.46 c 471792 110 2931 114251 38 6345 4825 2919 5486 85.99 163.38/163.46 c 497611 110 4311 166778 38 9113 5308 4299 5475 90.87 163.38/163.46 c 536443 110 2863 113335 39 6215 5839 2851 5466 98.13 163.38/163.46 c 594795 110 5186 209119 40 10865 6423 5174 5385 110.45 163.38/163.46 c 682427 110 5276 213699 40 11041 7066 5264 5283 129.16 163.38/163.46 c 813981 110 4968 201477 40 10431 7773 4956 5146 158.16 163.38/163.46 o 22 203.38/203.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 203.38/203.50 c 837987 110 5464 219948 40 11489 1688 5452 5126 163.45 203.38/203.50 c 838088 110 994 38058 38 2497 1857 982 5125 163.50 203.38/203.50 c 838338 110 1245 47029 37 2990 2043 1233 5126 163.53 203.38/203.50 c 838813 110 1721 63315 36 3934 2248 1709 5127 163.59 203.38/203.50 c 839626 110 1379 47074 34 3234 2473 1367 5128 163.70 203.38/203.50 c 840946 110 1430 49761 34 3338 2721 1418 5131 163.89 203.38/203.50 c 843029 110 2119 77343 36 4727 2994 2107 5135 164.17 203.38/203.50 c 846252 110 2290 88233 38 5065 3294 2278 5139 164.66 203.38/203.50 c 851188 110 2193 84097 38 4875 3624 2181 5143 165.47 203.38/203.50 c 858694 110 2322 89442 38 5134 3987 2310 5149 166.75 203.38/203.50 c 870056 110 3548 139115 39 7592 4386 3536 5154 168.81 203.38/203.50 c 887203 110 2890 111670 38 6271 4825 2878 5157 172.01 203.38/203.50 c 913023 110 4255 166504 39 8989 5308 4243 5166 176.72 203.38/203.50 c 951855 110 2814 107733 38 6114 5839 2802 5170 184.08 203.38/203.50 c 1010207 110 5072 203172 40 10632 6423 5060 5154 195.98 203.38/203.50 o 21 311.09/311.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 311.09/311.10 c 1045494 110 4684 189636 40 9921 1688 4672 5137 203.49 311.09/311.10 c 1045594 110 993 39456 39 2473 1857 981 5137 203.52 311.09/311.10 c 1045844 110 1243 49527 39 2983 2043 1231 5137 203.56 311.09/311.10 c 1046319 110 1720 68179 39 3931 2248 1708 5138 203.63 311.09/311.10 c 1047132 110 1394 54560 39 3278 2473 1382 5138 203.77 311.09/311.10 c 1048452 110 1445 57438 39 3377 2721 1433 5139 203.98 311.09/311.10 c 1050534 110 2140 80787 37 4773 2994 2128 5140 204.35 311.09/311.10 c 1053757 110 2294 90227 39 5081 3294 2282 5142 204.91 311.09/311.10 c 1058693 110 2207 87123 39 4902 3624 2195 5146 205.73 311.09/311.10 c 1066199 110 2349 91827 39 5195 3987 2337 5149 207.07 311.09/311.10 c 1077560 110 3568 139645 39 7622 4386 3556 5152 209.15 311.09/311.10 c 1094704 110 2913 114644 39 6314 4825 2901 5154 212.39 311.09/311.10 c 1120524 110 4295 164484 38 9077 5308 4283 5154 217.38 311.09/311.10 c 1159357 110 2851 109290 38 6190 5839 2839 5147 225.24 311.09/311.10 c 1217710 110 5196 195654 37 10872 6423 5184 5155 236.19 311.09/311.10 c 1305342 110 5269 199153 37 11011 7066 5257 5137 254.10 311.09/311.10 c 1436895 110 5004 176304 35 10491 7773 4992 5106 281.39 311.09/311.10 o 17 509.89/509.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 509.89/509.90 c 1570154 110 5181 193010 37 10910 1688 5169 5047 311.10 509.89/509.90 c 1570254 110 993 37600 37 2478 1857 981 5046 311.13 509.89/509.90 c 1570505 110 1244 46920 37 2977 2043 1232 5047 311.16 509.89/509.90 c 1570980 110 1720 64707 37 3925 2248 1708 5047 311.24 509.89/509.90 c 1571793 110 1384 51024 36 3254 2473 1372 5048 311.36 509.89/509.90 c 1573113 110 1431 54991 38 3356 2721 1419 5048 311.58 509.89/509.90 c 1575194 110 2115 81310 38 4717 2994 2103 5050 311.92 509.89/509.90 c 1578417 110 2269 87484 38 5024 3294 2257 5051 312.46 509.89/509.90 c 1583353 110 2172 85019 39 4827 3624 2160 5053 313.34 509.89/509.90 c 1590859 110 2313 89200 38 5115 3987 2301 5055 314.66 509.89/509.90 c 1602221 110 3535 131855 37 7558 4386 3523 5060 316.58 509.89/509.90 c 1619365 110 2852 111683 39 6203 4825 2840 5064 319.78 509.89/509.90 c 1645185 110 4209 164268 39 8905 5308 4197 5067 324.68 509.89/509.90 c 1684018 110 2703 105109 38 5898 5839 2691 5066 332.39 509.89/509.90 c 1742370 110 4998 199113 39 10482 6423 4986 5060 344.32 509.89/509.90 c 1830002 110 5183 201499 38 10869 7066 5171 5044 362.75 509.89/509.90 c 1961556 110 4924 194920 39 10338 7773 4912 5015 391.13 509.89/509.90 c 2158989 110 6551 260389 39 13598 8551 6539 4943 436.75 509.89/509.90 c 2455242 110 5725 226618 39 11937 9407 5713 4846 506.56 509.89/509.90 o 12 1504.11/1504.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1504.11/1504.11 c 2469363 110 5648 221878 39 11860 1688 5636 4842 509.90 1504.11/1504.11 c 2469464 102 994 37021 37 2480 1857 982 4842 509.95 1504.11/1504.11 c 2469715 101 1246 46712 37 2983 2043 1234 4842 509.98 1504.11/1504.11 c 2470190 100 1723 65248 37 3928 2248 1711 4842 510.06 1504.11/1504.11 c 2471005 100 1384 52791 38 3238 2473 1372 4843 510.19 1504.11/1504.11 c 2472325 99 1435 54451 37 3342 2721 1423 4843 510.40 1504.11/1504.11 c 2474407 98 2135 81984 38 4742 2994 2123 4844 510.73 1504.11/1504.11 c 2477631 98 2288 88695 38 5045 3294 2276 4845 511.28 1504.11/1504.11 c 2482567 98 2177 84876 38 4821 3624 2165 4847 512.12 1504.11/1504.11 c 2490073 98 2298 89664 39 5072 3987 2286 4849 513.48 1504.11/1504.11 c 2501435 98 3537 140548 39 7548 4386 3525 4851 515.60 1504.11/1504.11 c 2518580 98 2863 113922 39 6198 4825 2851 4854 518.82 1504.11/1504.11 c 2544399 98 4216 163093 38 8901 5308 4204 4856 523.89 1504.11/1504.11 c 2583231 98 2760 107813 39 5997 5839 2748 4859 531.58 1504.11/1504.11 c 2641583 98 5029 197461 39 10529 6423 5017 4857 543.78 1504.11/1504.11 c 2729215 98 5083 196245 38 10631 7066 5071 4858 561.68 1504.11/1504.11 c 2860768 98 4755 179580 37 9970 7773 4743 4831 592.16 1504.11/1504.11 c 3058201 98 6245 244041 39 12959 8551 6233 4781 639.66 1504.11/1504.11 c 3354454 98 5306 214646 40 11086 9407 5294 4735 708.39 1504.11/1504.11 c 3798937 98 9450 379434 40 19371 10348 9438 4639 818.79 1504.11/1504.11 c 4465764 98 10099 410643 40 20667 11383 10087 4486 995.28 1504.11/1504.11 c 5466109 98 9083 364709 40 18641 12522 9071 4285 1275.48 1504.11/1504.11 o 10 1797.92/1797.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1797.97 c 6251136 98 7478 300123 40 15487 1664 7466 4155 1504.14 1797.92/1797.97 c 6251236 98 993 37887 38 2459 1831 981 4155 1504.20 1797.92/1797.97 c 6251487 98 1245 47661 38 2964 2015 1233 4155 1504.24 1797.92/1797.97 c 6251963 98 1721 66007 38 3915 2217 1709 4156 1504.32 1797.92/1797.97 c 6252777 98 1396 53641 38 3247 2439 1384 4156 1504.45 1797.92/1797.97 c 6254097 98 1458 55262 37 3372 2683 1446 4156 1504.67 1797.92/1797.97 c 6256178 98 2167 83810 38 4793 2952 2155 4156 1505.01 1797.92/1797.97 c 6259401 98 2373 92070 38 5206 3248 2361 4157 1505.56 1797.92/1797.97 c 6264337 98 2348 92047 39 5151 3573 2336 4158 1506.42 1797.92/1797.97 c 6271843 98 2590 101606 39 5634 3931 2578 4159 1507.78 1797.92/1797.97 c 6283205 98 3950 154810 39 8361 4325 3938 4161 1509.86 1797.92/1797.97 c 6300349 98 3519 136909 38 7499 4758 3507 4164 1513.04 1797.92/1797.97 c 6326168 98 2818 111484 39 6100 5234 2806 4167 1517.93 1797.92/1797.97 c 6365000 98 4563 181382 39 9586 5758 4551 4171 1525.84 1797.92/1797.97 c 6423352 98 4679 186355 39 9816 6334 4667 4177 1537.71 1797.92/1797.97 c 6510986 98 5900 230406 39 12257 6968 5888 4182 1556.70 1797.92/1797.97 c 6642538 98 3900 151684 38 8254 7665 3888 4187 1586.17 1797.92/1797.97 c 6839971 98 4258 166504 39 8974 8432 4246 4193 1631.19 1797.92/1797.97 c 7136223 98 7345 296031 40 15145 9276 7333 4188 1703.70 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 254 7510421 85081 7613059 8042 314091 8030 4177 1798.00 1797.92/1797.97 c Objective: 10 1797.92/1797.97 s SATISFIABLE 1797.92/1797.97 c Total time: 1798 s
OK 10
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-3463186-1307179229/watcher-3463186-1307179229 -o /tmp/evaluation-result-3463186-1307179229/solver-3463186-1307179229 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463186-1307179229.opb running on 4 cores: 0,2,4,6 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.01 2.00 3/400 9603 /proc/meminfo: memFree=29003212/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=18604 CPUtime=0 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 301 0 0 0 0 0 0 0 25 0 1 0 829522624 19050496 253 33554432000 134512640 137138936 4290116528 18446744073709551615 134602864 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 4651 253 192 642 0 4007 0 [startup+0.064523 s] /proc/loadavg: 2.00 2.01 2.00 3/400 9603 /proc/meminfo: memFree=29003212/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=11164 CPUtime=0.06 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 388 0 0 0 6 0 0 0 25 0 1 0 829522624 11431936 340 33554432000 134512640 137138936 4290116528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 2791 340 192 642 0 2147 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11164 [startup+0.100518 s] /proc/loadavg: 2.00 2.01 2.00 3/400 9603 /proc/meminfo: memFree=29003212/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=11292 CPUtime=0.09 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 431 0 0 0 9 0 0 0 25 0 1 0 829522624 11563008 383 33554432000 134512640 137138936 4290116528 18446744073709551615 134575423 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 2823 383 192 642 0 2179 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11292 [startup+0.300478 s] /proc/loadavg: 2.00 2.01 2.00 3/400 9603 /proc/meminfo: memFree=29003212/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=12180 CPUtime=0.29 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 667 0 0 0 29 0 0 0 25 0 1 0 829522624 12472320 619 33554432000 134512640 137138936 4290116528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 3045 619 192 642 0 2401 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12180 [startup+0.700408 s] /proc/loadavg: 2.00 2.01 2.00 3/400 9603 /proc/meminfo: memFree=29003212/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=12180 CPUtime=0.69 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 668 0 0 0 69 0 0 0 25 0 1 0 829522624 12472320 620 33554432000 134512640 137138936 4290116528 18446744073709551615 134575867 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 3045 620 192 642 0 2401 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12180 [startup+1.50026 s] /proc/loadavg: 2.00 2.01 2.00 3/401 9604 /proc/meminfo: memFree=29001344/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=12180 CPUtime=1.49 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 668 0 0 0 149 0 0 0 25 0 1 0 829522624 12472320 620 33554432000 134512640 137138936 4290116528 18446744073709551615 136501699 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 3045 620 192 642 0 2401 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12180 [startup+3.10092 s] /proc/loadavg: 2.00 2.01 2.00 3/401 9604 /proc/meminfo: memFree=29000476/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=12432 CPUtime=3.09 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 708 0 0 0 309 0 0 0 25 0 1 0 829522624 12730368 660 33554432000 134512640 137138936 4290116528 18446744073709551615 134617961 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 3108 660 192 642 0 2464 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12432 [startup+6.30041 s] /proc/loadavg: 2.00 2.01 2.00 3/401 9604 /proc/meminfo: memFree=28999740/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=12928 CPUtime=6.29 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 833 0 0 0 627 2 0 0 25 0 1 0 829522624 13238272 785 33554432000 134512640 137138936 4290116528 18446744073709551615 136520979 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 3232 785 192 642 0 2588 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12928 [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.00 3/401 9604 /proc/meminfo: memFree=28998728/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=13180 CPUtime=12.68 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 891 0 0 0 1264 4 0 0 25 0 1 0 829522624 13496320 843 33554432000 134512640 137138936 4290116528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 3295 843 192 642 0 2651 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 13180 [startup+25.501 s] /proc/loadavg: 2.00 2.01 2.00 3/401 9605 /proc/meminfo: memFree=28998480/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=13336 CPUtime=25.49 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 962 0 0 0 2541 8 0 0 25 0 1 0 829522624 13656064 909 33554432000 134512640 137138936 4290116528 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 3334 909 192 642 0 2690 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 13336 [startup+51.1004 s] /proc/loadavg: 2.00 2.01 2.00 3/401 9605 /proc/meminfo: memFree=28994104/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=13960 CPUtime=51.08 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 1100 0 0 0 5092 16 0 0 25 0 1 0 829522624 14295040 1047 33554432000 134512640 137138936 4290116528 18446744073709551615 134542709 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 3490 1047 192 642 0 2846 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 13960 [startup+102.314 s] /proc/loadavg: 2.00 2.00 2.00 3/401 9607 /proc/meminfo: memFree=28992596/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=14916 CPUtime=102.29 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 1342 0 0 0 10197 32 0 0 25 0 1 0 829522624 15273984 1289 33554432000 134512640 137138936 4290116528 18446744073709551615 134618423 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 3729 1289 192 642 0 3085 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 14916 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/401 9608 /proc/meminfo: memFree=28991436/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=15656 CPUtime=162.28 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 1539 0 0 0 16177 51 0 0 25 0 1 0 829522624 16031744 1486 33554432000 134512640 137138936 4290116528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 3914 1486 192 642 0 3270 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 15656 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/401 9610 /proc/meminfo: memFree=28992280/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=15328 CPUtime=222.28 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 1539 0 0 0 22158 70 0 0 25 0 1 0 829522624 15695872 1407 33554432000 134512640 137138936 4290116528 18446744073709551615 134539030 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 3832 1407 192 642 0 3188 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 15328 [startup+282.3 s] /proc/loadavg: 2.14 2.03 2.01 3/401 9665 /proc/meminfo: memFree=30036864/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=15328 CPUtime=282.28 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 1539 0 0 0 28138 90 0 0 25 0 1 0 829522624 15695872 1407 33554432000 134512640 137138936 4290116528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 3832 1407 192 642 0 3188 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 15328 [startup+342.3 s] /proc/loadavg: 2.05 2.02 2.00 3/401 9667 /proc/meminfo: memFree=29980240/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=15608 CPUtime=342.28 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 1612 0 0 0 34119 109 0 0 25 0 1 0 829522624 15982592 1477 33554432000 134512640 137138936 4290116528 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 3902 1477 192 642 0 3258 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 15608 [startup+402.301 s] /proc/loadavg: 2.02 2.02 2.00 3/401 9669 /proc/meminfo: memFree=29952368/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=15708 CPUtime=402.28 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 1623 0 0 0 40102 126 0 0 25 0 1 0 829522624 16084992 1488 33554432000 134512640 137138936 4290116528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 3927 1488 192 642 0 3283 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 15708 [startup+462.3 s] /proc/loadavg: 2.08 2.03 2.00 3/401 9670 /proc/meminfo: memFree=29927404/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=16204 CPUtime=462.28 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 1742 0 0 0 46082 146 0 0 25 0 1 0 829522624 16592896 1607 33554432000 134512640 137138936 4290116528 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 4051 1607 192 642 0 3407 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 16204 [startup+522.301 s] /proc/loadavg: 2.03 2.02 2.00 3/401 9672 /proc/meminfo: memFree=29910252/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=16652 CPUtime=522.29 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 1867 0 0 0 52064 165 0 0 25 0 1 0 829522624 17051648 1732 33554432000 134512640 137138936 4290116528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 4163 1732 192 642 0 3519 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 16652 [startup+582.301 s] /proc/loadavg: 2.01 2.02 2.00 3/401 9673 /proc/meminfo: memFree=29890996/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=16648 CPUtime=582.29 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 1867 0 0 0 58045 184 0 0 25 0 1 0 829522624 17047552 1732 33554432000 134512640 137138936 4290116528 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 4162 1732 192 642 0 3518 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 16648 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=29779656/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=18168 CPUtime=1062.3 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2232 0 0 0 105916 314 0 0 25 0 1 0 829522624 18604032 2097 33554432000 134512640 137138936 4290116528 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 4542 2097 192 642 0 3898 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 18168 [startup+1122.3 s] /proc/loadavg: 2.01 2.01 2.00 3/401 9688 /proc/meminfo: memFree=29768584/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=18120 CPUtime=1122.3 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2232 0 0 0 111900 330 0 0 25 0 1 0 829522624 18554880 2097 33554432000 134512640 137138936 4290116528 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 4530 2097 192 642 0 3886 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 18120 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/401 9689 /proc/meminfo: memFree=29759496/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=18108 CPUtime=1182.3 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2232 0 0 0 117885 345 0 0 25 0 1 0 829522624 18542592 2097 33554432000 134512640 137138936 4290116528 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 4527 2097 192 642 0 3883 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 18108 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/401 9691 /proc/meminfo: memFree=29750184/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=18104 CPUtime=1242.31 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2232 0 0 0 123870 361 0 0 25 0 1 0 829522624 18538496 2097 33554432000 134512640 137138936 4290116528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 4526 2097 192 642 0 3882 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 18104 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/401 9693 /proc/meminfo: memFree=29737992/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=18840 CPUtime=1302.32 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2412 0 0 0 129855 377 0 0 25 0 1 0 829522624 19292160 2277 33554432000 134512640 137138936 4290116528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 4710 2277 192 642 0 4066 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 18840 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/401 9694 /proc/meminfo: memFree=29729668/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=18840 CPUtime=1362.31 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2412 0 0 0 135840 391 0 0 25 0 1 0 829522624 19292160 2277 33554432000 134512640 137138936 4290116528 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 4710 2277 192 642 0 4066 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 18840 [startup+1422.31 s] /proc/loadavg: 2.05 2.01 2.00 3/401 9696 /proc/meminfo: memFree=29720724/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=18832 CPUtime=1422.32 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2412 0 0 0 141825 407 0 0 25 0 1 0 829522624 19283968 2277 33554432000 134512640 137138936 4290116528 18446744073709551615 134542460 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 4708 2277 192 642 0 4064 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 18832 [startup+1482.3 s] /proc/loadavg: 2.02 2.01 2.00 3/401 9697 /proc/meminfo: memFree=29713004/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=18816 CPUtime=1482.31 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2413 0 0 0 147809 422 0 0 25 0 1 0 829522624 19267584 2278 33554432000 134512640 137138936 4290116528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 4704 2278 192 642 0 4060 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 18816 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/401 9699 /proc/meminfo: memFree=29705532/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=18824 CPUtime=1542.31 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2415 0 0 0 153792 439 0 0 25 0 1 0 829522624 19275776 2280 33554432000 134512640 137138936 4290116528 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 4706 2280 192 642 0 4062 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 18824 [startup+1602.3 s] /proc/loadavg: 2.10 2.03 2.01 3/401 9701 /proc/meminfo: memFree=29696332/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=18824 CPUtime=1602.32 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2415 0 0 0 159774 458 0 0 25 0 1 0 829522624 19275776 2280 33554432000 134512640 137138936 4290116528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 4706 2280 192 642 0 4062 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 18824 [startup+1662.3 s] /proc/loadavg: 2.04 2.02 2.00 3/401 9702 /proc/meminfo: memFree=29686992/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=18824 CPUtime=1662.32 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2415 0 0 0 165756 476 0 0 25 0 1 0 829522624 19275776 2280 33554432000 134512640 137138936 4290116528 18446744073709551615 136504259 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 4706 2280 192 642 0 4062 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 18824 [startup+1722.3 s] /proc/loadavg: 2.01 2.02 2.00 3/401 9704 /proc/meminfo: memFree=29680508/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=18824 CPUtime=1722.31 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2415 0 0 0 171738 493 0 0 25 0 1 0 829522624 19275776 2280 33554432000 134512640 137138936 4290116528 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 4706 2280 192 642 0 4062 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 18824 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 3/401 9705 /proc/meminfo: memFree=29671664/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=18824 CPUtime=1782.32 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2415 0 0 0 177722 510 0 0 25 0 1 0 829522624 19275776 2280 33554432000 134512640 137138936 4290116528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 4706 2280 192 642 0 4062 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 18824 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.01 2.00 3/401 9706 /proc/meminfo: memFree=29671168/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=18824 CPUtime=1785.52 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2415 0 0 0 178041 511 0 0 25 0 1 0 829522624 19275776 2280 33554432000 134512640 137138936 4290116528 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 4706 2280 192 642 0 4062 0 Current children cumulated CPU time (s) 1785.52 Current children cumulated vsize (KiB) 18824 [startup+1791.91 s] /proc/loadavg: 2.00 2.01 2.00 3/401 9706 /proc/meminfo: memFree=29670284/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=18824 CPUtime=1791.93 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2415 0 0 0 178681 512 0 0 25 0 1 0 829522624 19275776 2280 33554432000 134512640 137138936 4290116528 18446744073709551615 136511212 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 4706 2280 192 642 0 4062 0 Current children cumulated CPU time (s) 1791.93 Current children cumulated vsize (KiB) 18824 [startup+1795.1 s] /proc/loadavg: 2.00 2.01 2.00 3/401 9706 /proc/meminfo: memFree=29669912/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=18824 CPUtime=1795.12 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2415 0 0 0 178999 513 0 0 25 0 1 0 829522624 19275776 2280 33554432000 134512640 137138936 4290116528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 4706 2280 192 642 0 4062 0 Current children cumulated CPU time (s) 1795.12 Current children cumulated vsize (KiB) 18824 [startup+1796.7 s] /proc/loadavg: 2.00 2.01 2.00 3/401 9706 /proc/meminfo: memFree=29669788/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=18824 CPUtime=1796.72 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2415 0 0 0 179158 514 0 0 25 0 1 0 829522624 19275776 2280 33554432000 134512640 137138936 4290116528 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 4706 2280 192 642 0 4062 0 Current children cumulated CPU time (s) 1796.72 Current children cumulated vsize (KiB) 18824 [startup+1797.5 s] /proc/loadavg: 2.00 2.01 2.00 3/401 9706 /proc/meminfo: memFree=29669416/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=18824 CPUtime=1797.52 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2415 0 0 0 179238 514 0 0 25 0 1 0 829522624 19275776 2280 33554432000 134512640 137138936 4290116528 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 4706 2280 192 642 0 4062 0 Current children cumulated CPU time (s) 1797.52 Current children cumulated vsize (KiB) 18824 [startup+1797.9 s] /proc/loadavg: 2.00 2.01 2.00 3/401 9706 /proc/meminfo: memFree=29669416/32950904 swapFree=56615552/67111528 [pid=9603] ppid=9601 vsize=18824 CPUtime=1797.92 cores=0,2,4,6 /proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2415 0 0 0 179278 514 0 0 25 0 1 0 829522624 19275776 2280 33554432000 134512640 137138936 4290116528 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/9603/statm: 4706 2280 192 642 0 4062 0 Current children cumulated CPU time (s) 1797.92 Current children cumulated vsize (KiB) 18824 Child status: 0 Real time (s): 1797.98 CPU time (s): 1798 CPU user time (s): 1792.86 CPU system time (s): 5.14322 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 18900 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.86 system time used= 5.14322 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2416 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= 5 involuntary context switches= 3101 runsolver used 7.27389 second user time and 15.1307 second system time The end
Begin job on node121 at 2011-06-04 11:20:29 IDJOB=3463186 IDBENCH=2910 IDSOLVER=1955 FILE ID=node121/3463186-1307179229 RUNJOBID= node121-1307174965-9241 PBS_JOBID= 13508819 Free space on /tmp= 73952 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_3.opb COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3463186-1307179229/watcher-3463186-1307179229 -o /tmp/evaluation-result-3463186-1307179229/solver-3463186-1307179229 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463186-1307179229.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8d16c34d0eecf3c16ca4b890652c15ca RANDOM SEED=142119644 node121.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.817 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.63 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.817 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 : 5226.07 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.817 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.84 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.817 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.77 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.817 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.82 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.817 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.74 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.817 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.75 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.817 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950904 kB MemFree: 29003492 kB Buffers: 323868 kB Cached: 469724 kB SwapCached: 9896 kB Active: 3269604 kB Inactive: 415216 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 29003492 kB SwapTotal: 67111528 kB SwapFree: 56615552 kB Dirty: 3960 kB Writeback: 0 kB AnonPages: 2888712 kB Mapped: 13912 kB Slab: 141640 kB PageTables: 53656 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 84576892 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= 73948 MiB End job on node121 at 2011-06-04 11:50:27