Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 | SAT | 10 | 1798 | 1798.28 |
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 | 4 |
Best CPU time to get the best result obtained on this benchmark | 1791.03 |
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-3708072-1338157396.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.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 784 65 226 1568 0 0 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 4857 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 5900 0.01 0.00/0.01 o 400 0.02/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.02 c 113 146 170 9583 56 1409 1760 158 6647 0.02 0.02/0.02 o 293 0.02/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.03 c 159 146 223 11907 53 1578 1760 211 6625 0.02 0.02/0.03 o 292 0.02/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.04 c 211 146 291 15265 52 1799 1760 279 6593 0.03 0.02/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 6761 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 6277 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 6219 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 6211 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 6160 0.11 0.09/0.15 c 790 146 961 46082 47 3772 1937 949 6171 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 6143 0.15 0.09/0.17 c 1041 146 1241 57357 46 4442 1937 1229 6196 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 6176 0.17 0.19/0.20 c 1150 146 1372 64499 47 4971 1937 1360 6117 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 6199 0.21 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 6128 0.22 0.19/0.27 c 1436 146 1695 77435 45 5958 1937 1683 6084 0.24 0.19/0.27 o 254 0.19/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.29 c 1646 146 982 48430 49 2855 1760 970 5920 0.28 0.19/0.29 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 5993 0.29 0.29/0.31 c 1826 146 1190 57199 48 3440 1937 1178 5986 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 5990 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 6003 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 6006 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 6009 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 5987 0.32 0.29/0.32 o 130 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 1941 146 1331 62756 47 4273 1760 1319 5990 0.32 0.29/0.34 o 118 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 2023 146 1430 66309 46 4597 1760 1418 6002 0.34 0.29/0.34 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 5979 0.34 0.79/0.81 c 2127 144 1543 70564 45 4939 1934 1531 5957 0.36 0.79/0.81 c 2377 141 1800 79039 43 5442 2128 1788 5972 0.40 0.79/0.81 c 2852 140 1198 43249 36 3045 2341 1186 6004 0.47 0.79/0.81 c 3665 139 2054 72923 35 4758 2576 2042 6077 0.60 0.79/0.81 c 4985 136 2089 70374 33 4726 2834 2077 6139 0.81 0.79/0.81 o 115 0.79/0.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.82 c 4990 136 2095 70699 33 4819 1740 2083 6137 0.81 0.79/0.82 o 113 0.79/0.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.88 c 5000 136 906 30264 33 2427 1740 894 6119 0.82 0.79/0.88 c 5100 136 1012 34365 33 2717 1915 1000 6129 0.83 0.79/0.88 c 5350 136 1280 44848 35 3332 2107 1268 6107 0.88 0.79/0.88 o 112 0.89/0.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.91 c 5389 136 1324 47124 35 3557 1740 1312 6116 0.88 0.89/0.91 c 5489 136 1440 52428 36 3906 1915 1428 6126 0.90 0.89/0.91 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 6134 0.91 0.89/0.91 o 104 0.89/0.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.92 c 5604 136 1567 57296 36 4385 1740 1555 6138 0.91 0.89/0.92 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 6130 0.92 1.19/1.24 c 5728 136 1699 62103 36 4745 1915 1687 6139 0.93 1.19/1.24 c 5979 136 981 35910 36 2512 2107 969 6157 0.97 1.19/1.24 c 6454 136 1481 52210 35 3518 2318 1469 6211 1.04 1.19/1.24 c 7267 136 2312 78877 34 5194 2550 2300 6286 1.16 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 6319 1.24 1.19/1.24 o 94 2.20/2.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.20/2.29 c 7867 135 1615 50637 31 3949 1738 1603 6318 1.25 2.20/2.29 c 7967 135 1718 53888 31 4151 1912 1706 6328 1.26 2.20/2.29 c 8219 135 980 30584 31 2499 2104 968 6322 1.30 2.20/2.29 c 8694 135 1472 47551 32 3487 2315 1460 6359 1.37 2.20/2.29 c 9507 135 2308 73292 31 5184 2547 2296 6427 1.48 2.20/2.29 c 10827 135 2354 73653 31 5290 2802 2342 6483 1.67 2.20/2.29 c 12908 134 1642 49991 30 3822 3083 1630 6562 1.97 2.20/2.29 o 93 2.59/2.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.68 c 14993 134 2240 75649 33 5117 1736 2228 6544 2.29 2.59/2.68 c 15093 134 998 32195 32 2545 1910 986 6542 2.31 2.59/2.68 c 15344 134 1270 41507 32 3095 2102 1258 6548 2.34 2.59/2.68 c 15819 134 1757 57494 32 4081 2313 1745 6558 2.41 2.59/2.68 c 16632 134 1412 47388 33 3370 2545 1400 6537 2.54 2.59/2.68 o 92 2.59/2.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.68 c 17568 134 2386 79241 33 5418 1736 2374 6560 2.68 2.59/2.68 o 90 2.69/2.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.72 c 17598 134 926 29837 32 2490 1736 914 6549 2.69 2.69/2.72 c 17698 134 1027 32479 31 2689 1910 1015 6557 2.70 2.69/2.72 o 88 2.69/2.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.75 c 17856 134 1192 37636 31 3106 1736 1180 6567 2.72 2.69/2.75 c 17956 134 1297 41277 31 3332 1910 1285 6574 2.73 2.69/2.75 o 85 8.19/8.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.19/8.21 c 18123 134 1468 46432 31 3755 1736 1456 6587 2.75 8.19/8.21 c 18223 134 1575 50677 32 3986 1910 1563 6581 2.77 8.19/8.21 c 18473 134 1836 58622 31 4499 2102 1824 6590 2.80 8.19/8.21 c 18949 134 1241 39617 31 3018 2313 1229 6595 2.87 8.19/8.21 c 19762 134 2076 66473 32 4679 2545 2064 6611 2.99 8.19/8.21 c 21082 134 2136 68967 32 4807 2800 2124 6617 3.19 8.19/8.21 c 23163 134 1425 46026 32 3372 3081 1413 6558 3.53 8.19/8.21 c 26386 134 1591 50429 31 3705 3390 1579 6540 4.03 8.19/8.21 c 31322 134 3257 105221 32 7069 3730 3245 6562 4.77 8.19/8.21 c 38828 134 3452 111454 32 7442 4104 3440 6503 5.97 8.19/8.21 c 50191 134 2562 81249 31 5663 4515 2550 6545 7.67 8.19/8.21 o 69 8.19/8.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.19/8.23 c 53404 134 3635 117296 32 7900 1736 3623 6500 8.22 8.19/8.23 o 65 9.19/9.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.19/9.21 c 53483 134 996 34669 34 2824 1736 984 6496 8.23 9.19/9.21 c 53583 134 1097 37648 34 3022 1910 1085 6498 8.25 9.19/9.21 c 53835 134 1355 46942 34 3527 2102 1343 6495 8.29 9.19/9.21 c 54311 134 1838 63371 34 4490 2313 1826 6489 8.37 9.19/9.21 c 55127 134 1462 49666 33 3446 2545 1450 6479 8.51 9.19/9.21 c 56447 134 1488 50087 33 3499 2800 1476 6463 8.73 9.19/9.21 c 58528 134 2167 73565 33 4876 3081 2155 6443 9.08 9.19/9.21 o 52 9.19/9.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.19/9.21 c 59258 134 2908 97638 33 6452 1736 2896 6435 9.21 9.19/9.21 o 50 9.79/9.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.79/9.89 c 59263 131 899 29252 32 2413 1730 887 6431 9.21 9.79/9.89 c 59363 128 1000 32872 32 2617 1904 988 6431 9.23 9.79/9.89 c 59614 127 1251 42156 33 3121 2095 1239 6429 9.27 9.79/9.89 c 60089 123 1733 58318 33 4080 2305 1721 6423 9.35 9.79/9.89 c 60902 122 1362 45815 33 3247 2536 1350 6409 9.50 9.79/9.89 c 62223 122 1394 47477 34 3311 2790 1382 6393 9.73 9.79/9.89 o 47 9.89/9.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.89/9.93 c 63163 122 2350 82889 35 5344 1712 2338 6383 9.89 9.89/9.93 c 63264 122 999 36285 36 2516 1884 987 6380 9.91 9.89/9.93 o 46 9.89/9.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.89/9.93 c 63382 122 1129 41957 37 2946 1712 1117 6382 9.93 9.89/9.93 o 42 16.49/16.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.49/16.56 c 63401 122 1151 42813 37 3074 1712 1139 6382 9.93 16.49/16.56 c 63502 122 1263 49074 38 3380 1884 1251 6382 9.95 16.49/16.56 c 63752 122 1519 57671 37 3901 2073 1507 6383 9.99 16.49/16.56 c 64227 122 1996 75098 37 4855 2281 1984 6385 10.06 16.49/16.56 c 65040 122 1625 58151 35 3764 2510 1613 6386 10.18 16.49/16.56 c 66360 122 1664 61154 36 3835 2762 1652 6391 10.38 16.49/16.56 c 68441 122 2327 84006 36 5162 3039 2315 6388 10.71 16.49/16.56 c 71665 122 2442 94632 38 5386 3343 2430 6384 11.22 16.49/16.56 c 76601 122 2257 83604 37 5023 3678 2245 6358 12.05 16.49/16.56 c 84107 122 2288 84077 36 5086 4046 2276 6333 13.28 16.49/16.56 c 95468 122 3433 127561 37 7381 4451 3421 6265 15.24 16.49/16.56 o 40 18.38/18.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.38/18.49 c 102941 122 4157 153012 36 8898 1712 4145 6215 16.56 18.38/18.49 c 103042 122 996 36159 36 2504 1884 984 6212 16.59 18.38/18.49 c 103292 122 1247 44504 35 3010 2073 1235 6213 16.62 18.38/18.49 c 103767 122 1724 60864 35 3957 2281 1712 6215 16.70 18.38/18.49 c 104580 122 1365 47590 34 3238 2510 1353 6216 16.82 18.38/18.49 c 105900 122 1398 50795 36 3300 2762 1386 6219 17.03 18.38/18.49 c 107984 122 2084 76517 36 4688 3039 2072 6227 17.34 18.38/18.49 c 111207 122 2204 79811 36 4917 3343 2192 6228 17.85 18.38/18.49 o 38 18.48/18.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.48/18.50 c 115311 122 2921 106538 36 6431 1712 2909 6235 18.49 18.48/18.50 o 36 36.18/36.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 36.18/36.23 c 115342 122 927 34679 37 2444 1712 915 6234 18.50 36.18/36.23 c 115442 122 1030 38169 37 2651 1884 1018 6235 18.51 36.18/36.23 c 115692 122 1282 47105 36 3153 2073 1270 6236 18.55 36.18/36.23 c 116168 122 1771 64975 36 4142 2281 1759 6237 18.62 36.18/36.23 c 116981 122 1410 49389 35 3329 2510 1398 6236 18.76 36.18/36.23 c 118301 122 1450 49275 33 3413 2762 1438 6233 18.98 36.18/36.23 c 120382 122 2117 75079 35 4746 3039 2105 6229 19.32 36.18/36.23 c 123606 122 2250 80207 35 5009 3343 2238 6221 19.87 36.18/36.23 c 128542 122 2087 73725 35 4682 3678 2075 6213 20.69 36.18/36.23 c 136048 122 2116 73640 34 4741 4046 2104 6203 21.93 36.18/36.23 c 147409 122 3233 119199 36 6981 4451 3221 6186 23.83 36.18/36.23 c 164553 122 2382 84434 35 5278 4897 2370 6146 26.77 36.18/36.23 c 190372 122 3486 117274 33 7488 5387 3474 6101 31.20 36.18/36.23 o 27 36.18/36.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 36.18/36.25 c 217966 122 3959 139374 35 8540 1712 3947 6016 36.23 36.18/36.25 o 25 74.38/74.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 74.38/74.43 c 218037 112 965 32790 33 2490 1692 953 6015 36.25 74.38/74.43 c 218137 111 1067 37202 34 2719 1862 1055 6015 36.26 74.38/74.43 c 218390 111 1322 47565 35 3232 2049 1310 6016 36.30 74.38/74.43 c 218865 110 1802 66218 36 4190 2254 1790 6016 36.38 74.38/74.43 c 219678 110 1453 57512 39 3402 2480 1441 6017 36.50 74.38/74.43 c 220998 110 1490 57937 38 3481 2729 1478 6018 36.72 74.38/74.43 c 223080 110 2170 86349 39 4834 3002 2158 6025 37.02 74.38/74.43 c 226303 110 2322 93223 40 5136 3303 2310 6027 37.55 74.38/74.43 c 231240 110 2190 89218 40 4875 3634 2178 6024 38.38 74.38/74.43 c 238747 110 2279 91623 40 5048 3998 2267 6022 39.65 74.38/74.43 c 250109 110 3457 136767 39 7406 4398 3445 6015 41.57 74.38/74.43 c 267253 110 2730 106534 39 5943 4838 2718 5973 44.74 74.38/74.43 c 293073 110 4030 161648 40 8543 5322 4018 5940 49.34 74.38/74.43 c 331905 110 5156 200194 38 10802 5855 5144 5869 56.55 74.38/74.43 c 390257 110 4331 175920 40 9152 6441 4319 5755 67.81 74.38/74.43 o 23 156.27/156.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 156.27/156.35 c 422579 110 4152 168953 40 8874 1688 4140 5678 74.42 156.27/156.35 c 422679 110 994 39012 39 2495 1857 982 5677 74.45 156.27/156.35 c 422930 110 1246 48849 39 2999 2043 1234 5677 74.49 156.27/156.35 c 423406 110 1723 67935 39 3955 2248 1711 5679 74.56 156.27/156.35 c 424219 110 1381 54304 39 3262 2473 1369 5680 74.68 156.27/156.35 c 425539 110 1431 54085 37 3357 2721 1419 5682 74.89 156.27/156.35 c 427620 110 2117 81804 38 4722 2994 2105 5685 75.21 156.27/156.35 c 430844 110 2289 89918 39 5065 3294 2277 5688 75.73 156.27/156.35 c 435780 110 2197 85212 38 4888 3624 2185 5691 76.56 156.27/156.35 c 443286 110 2322 91324 39 5135 3987 2310 5695 77.83 156.27/156.35 c 454648 110 3583 140834 39 7659 4386 3571 5690 79.90 156.27/156.35 c 471792 110 2931 114251 38 6345 4825 2919 5684 82.99 156.27/156.35 c 497611 110 4311 166778 38 9113 5308 4299 5674 87.69 156.27/156.36 c 536443 110 2863 113335 39 6215 5839 2851 5668 94.64 156.27/156.36 c 594795 110 5186 209119 40 10865 6423 5174 5589 106.42 156.27/156.36 c 682427 110 5276 213699 40 11041 7066 5264 5491 124.28 156.27/156.36 c 813981 110 4968 201477 40 10431 7773 4956 5376 151.41 156.27/156.36 o 22 194.16/194.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 194.16/194.24 c 837987 110 5464 219948 40 11489 1688 5452 5360 156.33 194.16/194.24 c 838088 110 994 38058 38 2497 1857 982 5359 156.37 194.16/194.24 c 838338 110 1245 47029 37 2990 2043 1233 5360 156.40 194.16/194.24 c 838813 110 1721 63315 36 3934 2248 1709 5361 156.46 194.16/194.24 c 839626 110 1379 47074 34 3234 2473 1367 5362 156.56 194.16/194.24 c 840946 110 1430 49761 34 3338 2721 1418 5365 156.74 194.16/194.24 c 843029 110 2119 77343 36 4727 2994 2107 5368 157.02 194.16/194.24 c 846252 110 2290 88233 38 5065 3294 2278 5373 157.49 194.16/194.24 c 851188 110 2193 84097 38 4875 3624 2181 5377 158.28 194.16/194.24 c 858694 110 2322 89442 38 5134 3987 2310 5383 159.51 194.16/194.24 c 870056 110 3548 139115 39 7592 4386 3536 5387 161.48 194.16/194.24 c 887203 110 2890 111670 38 6271 4825 2878 5391 164.55 194.16/194.24 c 913023 110 4255 166504 39 8989 5308 4243 5401 169.02 194.16/194.24 c 951855 110 2814 107733 38 6114 5839 2802 5409 175.97 194.16/194.24 c 1010207 110 5072 203172 40 10632 6423 5060 5397 187.16 194.16/194.24 o 21 294.85/294.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 294.85/294.92 c 1045494 110 4684 189636 40 9921 1688 4672 5383 194.21 294.85/294.92 c 1045594 110 993 39456 39 2473 1857 981 5383 194.24 294.85/294.92 c 1045844 110 1243 49527 39 2983 2043 1231 5383 194.28 294.85/294.92 c 1046319 110 1720 68179 39 3931 2248 1708 5383 194.35 294.85/294.92 c 1047132 110 1394 54560 39 3278 2473 1382 5384 194.47 294.85/294.92 c 1048452 110 1445 57438 39 3377 2721 1433 5385 194.68 294.85/294.92 c 1050534 110 2140 80787 37 4773 2994 2128 5386 195.03 294.85/294.92 c 1053757 110 2294 90227 39 5081 3294 2282 5387 195.58 294.85/294.92 c 1058693 110 2207 87123 39 4902 3624 2195 5391 196.37 294.85/294.92 c 1066199 110 2349 91827 39 5195 3987 2337 5394 197.66 294.85/294.92 c 1077560 110 3568 139645 39 7622 4386 3556 5397 199.66 294.85/294.92 c 1094704 110 2913 114644 39 6314 4825 2901 5399 202.75 294.85/294.92 c 1120524 110 4295 164484 38 9077 5308 4283 5400 207.50 294.85/294.92 c 1159357 110 2851 109290 38 6190 5839 2839 5393 214.94 294.85/294.92 c 1217710 110 5196 195654 37 10872 6423 5184 5406 225.23 294.85/294.92 c 1305342 110 5269 199153 37 11011 7066 5257 5393 242.00 294.85/294.92 c 1436895 110 5004 176304 35 10491 7773 4992 5374 267.34 294.85/294.92 o 17 480.31/480.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 480.31/480.40 c 1570154 110 5181 193010 37 10910 1688 5169 5324 294.88 480.31/480.40 c 1570254 110 993 37600 37 2478 1857 981 5324 294.90 480.31/480.40 c 1570505 110 1244 46920 37 2977 2043 1232 5324 294.93 480.31/480.40 c 1570980 110 1720 64707 37 3925 2248 1708 5325 295.00 480.31/480.40 c 1571793 110 1384 51024 36 3254 2473 1372 5325 295.12 480.31/480.40 c 1573113 110 1431 54991 38 3356 2721 1419 5326 295.33 480.31/480.40 c 1575194 110 2115 81310 38 4717 2994 2103 5327 295.66 480.31/480.40 c 1578417 110 2269 87484 38 5024 3294 2257 5329 296.18 480.31/480.40 c 1583353 110 2172 85019 39 4827 3624 2160 5330 297.04 480.31/480.40 c 1590859 110 2313 89200 38 5115 3987 2301 5332 298.31 480.31/480.40 c 1602221 110 3535 131855 37 7558 4386 3523 5338 300.15 480.31/480.40 c 1619365 110 2852 111683 39 6203 4825 2840 5340 303.20 480.31/480.40 c 1645185 110 4209 164268 39 8905 5308 4197 5343 307.87 480.31/480.40 c 1684018 110 2703 105109 38 5898 5839 2691 5343 315.16 480.31/480.40 c 1742370 110 4998 199113 39 10482 6423 4986 5337 326.41 480.31/480.40 c 1830002 110 5183 201499 38 10869 7066 5171 5324 343.69 480.31/480.40 c 1961556 110 4924 194920 39 10338 7773 4912 5299 370.15 480.31/480.40 c 2158989 110 6551 260389 39 13598 8551 6539 5233 412.57 480.31/480.40 c 2455242 110 5725 226618 39 11937 9407 5713 5144 477.25 480.31/480.40 o 12 1388.18/1388.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1388.18/1388.41 c 2469363 110 5648 221878 39 11860 1688 5636 5141 480.33 1388.18/1388.41 c 2469464 102 994 37021 37 2480 1857 982 5140 480.36 1388.18/1388.41 c 2469715 101 1246 46712 37 2983 2043 1234 5140 480.40 1388.18/1388.41 c 2470190 100 1723 65248 37 3928 2248 1711 5141 480.47 1388.18/1388.41 c 2471005 100 1384 52791 38 3238 2473 1372 5141 480.59 1388.18/1388.41 c 2472325 99 1435 54451 37 3342 2721 1423 5142 480.80 1388.18/1388.41 c 2474407 98 2135 81984 38 4742 2994 2123 5143 481.12 1388.18/1388.41 c 2477631 98 2288 88695 38 5045 3294 2276 5144 481.65 1388.18/1388.41 c 2482567 98 2177 84876 38 4821 3624 2165 5145 482.47 1388.18/1388.41 c 2490073 98 2298 89664 39 5072 3987 2286 5147 483.77 1388.18/1388.41 c 2501435 98 3537 140548 39 7548 4386 3525 5149 485.81 1388.18/1388.41 c 2518580 98 2863 113922 39 6198 4825 2851 5151 488.89 1388.18/1388.41 c 2544399 98 4216 163093 38 8901 5308 4204 5153 493.72 1388.18/1388.41 c 2583231 98 2760 107813 39 5997 5839 2748 5156 501.00 1388.18/1388.41 c 2641583 98 5029 197461 39 10529 6423 5017 5154 512.51 1388.18/1388.41 c 2729215 98 5083 196245 38 10631 7066 5071 5156 529.26 1388.18/1388.41 c 2860768 98 4755 179580 37 9970 7773 4743 5129 557.66 1388.18/1388.41 c 3058201 98 6245 244041 39 12959 8551 6233 5082 601.77 1388.18/1388.41 c 3354454 98 5306 214646 40 11086 9407 5294 5040 665.46 1388.18/1388.41 c 3798937 98 9450 379434 40 19371 10348 9438 4949 767.47 1388.18/1388.41 c 4465764 98 10099 410643 40 20667 11383 10087 4812 927.94 1388.18/1388.41 c 5466109 98 9083 364709 40 18641 12522 9071 4625 1181.69 1388.18/1388.41 o 10 1797.92/1798.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1798.27 c 6251136 98 7478 300123 40 15487 1664 7466 4503 1388.20 1797.92/1798.27 c 6251236 98 993 37887 38 2459 1831 981 4502 1388.25 1797.92/1798.27 c 6251487 98 1245 47661 38 2964 2015 1233 4503 1388.28 1797.92/1798.27 c 6251963 98 1721 66007 38 3915 2217 1709 4503 1388.36 1797.92/1798.27 c 6252777 98 1396 53641 38 3247 2439 1384 4503 1388.48 1797.92/1798.27 c 6254097 98 1458 55262 37 3372 2683 1446 4503 1388.69 1797.92/1798.27 c 6256178 98 2167 83810 38 4793 2952 2155 4503 1389.03 1797.92/1798.27 c 6259401 98 2373 92070 38 5206 3248 2361 4504 1389.56 1797.92/1798.27 c 6264337 98 2348 92047 39 5151 3573 2336 4505 1390.39 1797.92/1798.27 c 6271843 98 2590 101606 39 5634 3931 2578 4506 1391.70 1797.92/1798.27 c 6283205 98 3950 154810 39 8361 4325 3938 4508 1393.70 1797.92/1798.27 c 6300349 98 3519 136909 38 7499 4758 3507 4510 1396.72 1797.92/1798.27 c 6326168 98 2818 111484 39 6100 5234 2806 4514 1401.37 1797.92/1798.27 c 6365000 98 4563 181382 39 9586 5758 4551 4517 1408.86 1797.92/1798.27 c 6423352 98 4679 186355 39 9816 6334 4667 4523 1420.06 1797.92/1798.27 c 6510986 98 5900 230406 39 12257 6968 5888 4528 1437.87 1797.92/1798.27 c 6642538 98 3900 151684 38 8254 7665 3888 4533 1465.30 1797.92/1798.27 c 6839971 98 4258 166504 39 8974 8432 4246 4538 1506.95 1797.92/1798.27 c 7136223 98 7345 296031 40 15145 9276 7333 4534 1573.73 1797.92/1798.27 c 7580705 98 8314 333322 40 17090 10204 8302 4522 1676.21 1797.92/1798.27 c Resources Exceeded 1797.92/1798.27 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/1798.27 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1798.27 c 255 8085475 90385 8193621 9986 401300 9974 4496 1798.00 1797.92/1798.27 c Objective: 10 1797.92/1798.27 s SATISFIABLE 1797.92/1798.27 c Total time: 1798 s
OK 10
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-3708072-1338157396/watcher-3708072-1338157396 -o /tmp/evaluation-result-3708072-1338157396/solver-3708072-1338157396 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708072-1338157396.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: 1.99 1.91 1.93 3/176 8841 /proc/meminfo: memFree=29877640/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=18608 CPUtime=0 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 297 0 0 0 0 0 0 0 20 0 1 0 281863936 19054592 248 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 4652 248 192 642 0 4008 0 [startup+0.0232911 s] /proc/loadavg: 1.99 1.91 1.93 3/176 8841 /proc/meminfo: memFree=29877640/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=10920 CPUtime=0.02 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 333 0 0 0 2 0 0 0 20 0 1 0 281863936 11182080 284 33554432000 134512640 137138936 4293274240 4293272664 134606885 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 2730 284 192 642 0 2086 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10920 [startup+0.100302 s] /proc/loadavg: 1.99 1.91 1.93 3/176 8841 /proc/meminfo: memFree=29877640/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=11296 CPUtime=0.09 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 431 0 0 0 9 0 0 0 20 0 1 0 281863936 11567104 382 33554432000 134512640 137138936 4293274240 4293273168 134542525 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 2824 382 192 642 0 2180 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11296 [startup+0.30028 s] /proc/loadavg: 1.99 1.91 1.93 3/176 8841 /proc/meminfo: memFree=29877640/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=12184 CPUtime=0.29 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 668 0 0 0 29 0 0 0 20 0 1 0 281863936 12476416 619 33554432000 134512640 137138936 4293274240 4293273168 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 3046 619 192 642 0 2402 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12184 [startup+0.700268 s] /proc/loadavg: 1.99 1.91 1.93 3/176 8841 /proc/meminfo: memFree=29877640/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=12184 CPUtime=0.69 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 669 0 0 0 69 0 0 0 20 0 1 0 281863936 12476416 620 33554432000 134512640 137138936 4293274240 4293273236 134555589 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 3046 620 192 642 0 2402 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12184 [startup+1.50027 s] /proc/loadavg: 1.99 1.91 1.93 3/177 8842 /proc/meminfo: memFree=29876136/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=12184 CPUtime=1.49 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 669 0 0 0 149 0 0 0 20 0 1 0 281863936 12476416 620 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 3046 620 192 642 0 2402 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12184 [startup+3.10027 s] /proc/loadavg: 1.99 1.91 1.93 3/177 8842 /proc/meminfo: memFree=29875764/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=12436 CPUtime=3.09 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 709 0 0 0 308 1 0 0 20 0 1 0 281863936 12734464 660 33554432000 134512640 137138936 4293274240 4293273168 134542202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 3109 660 192 642 0 2465 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12436 [startup+6.30027 s] /proc/loadavg: 1.99 1.91 1.93 3/177 8842 /proc/meminfo: memFree=29875268/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=12932 CPUtime=6.29 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 834 0 0 0 627 2 0 0 20 0 1 0 281863936 13242368 785 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 3233 785 192 642 0 2589 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12932 [startup+12.7003 s] /proc/loadavg: 1.99 1.91 1.93 3/177 8842 /proc/meminfo: memFree=29874096/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=13184 CPUtime=12.69 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 893 0 0 0 1265 4 0 0 20 0 1 0 281863936 13500416 843 33554432000 134512640 137138936 4293274240 4293273168 134542164 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 3296 843 192 642 0 2652 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13184 [startup+25.5003 s] /proc/loadavg: 1.99 1.92 1.93 3/177 8842 /proc/meminfo: memFree=29874104/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=13340 CPUtime=25.48 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 964 0 0 0 2540 8 0 0 20 0 1 0 281863936 13660160 909 33554432000 134512640 137138936 4293274240 4293272992 134575833 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 3335 909 192 642 0 2691 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 13340 [startup+51.1003 s] /proc/loadavg: 1.99 1.92 1.93 3/177 8842 /proc/meminfo: memFree=29872924/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=14092 CPUtime=51.08 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 1152 0 0 0 5091 17 0 0 20 0 1 0 281863936 14430208 1097 33554432000 134512640 137138936 4293274240 4293273136 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 3523 1097 192 642 0 2879 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 14092 [startup+102.306 s] /proc/loadavg: 1.99 1.93 1.93 3/177 8842 /proc/meminfo: memFree=29871560/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=14920 CPUtime=102.28 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 1344 0 0 0 10194 34 0 0 20 0 1 0 281863936 15278080 1289 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 3730 1289 192 642 0 3086 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 14920 [startup+162.3 s] /proc/loadavg: 1.99 1.94 1.93 3/177 8843 /proc/meminfo: memFree=29870752/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=15624 CPUtime=162.27 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 1542 0 0 0 16175 52 0 0 20 0 1 0 281863936 15998976 1480 33554432000 134512640 137138936 4293274240 4293273136 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 3906 1480 192 642 0 3262 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 15624 [startup+222.3 s] /proc/loadavg: 1.99 1.95 1.93 3/177 8843 /proc/meminfo: memFree=29870380/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=15332 CPUtime=222.25 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 1542 0 0 0 22155 70 0 0 20 0 1 0 281863936 15699968 1407 33554432000 134512640 137138936 4293274240 4293273168 134542202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 3833 1407 192 642 0 3189 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 15332 [startup+282.3 s] /proc/loadavg: 1.99 1.95 1.93 3/177 8843 /proc/meminfo: memFree=29870380/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=15676 CPUtime=282.25 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 1615 0 0 0 28137 88 0 0 20 0 1 0 281863936 16052224 1480 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 3919 1480 192 642 0 3275 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 15676 [startup+342.3 s] /proc/loadavg: 1.99 1.96 1.93 3/177 8843 /proc/meminfo: memFree=29870380/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=15612 CPUtime=342.24 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 1615 0 0 0 34118 106 0 0 20 0 1 0 281863936 15986688 1477 33554432000 134512640 137138936 4293274240 4293273160 135984567 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 3903 1477 192 642 0 3259 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 15612 [startup+402.3 s] /proc/loadavg: 1.99 1.97 1.93 3/177 8843 /proc/meminfo: memFree=29870008/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=15712 CPUtime=402.23 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 1634 0 0 0 40100 123 0 0 20 0 1 0 281863936 16089088 1496 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 3928 1496 192 642 0 3284 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 15712 [startup+462.3 s] /proc/loadavg: 1.99 1.97 1.93 3/178 8847 /proc/meminfo: memFree=29869380/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=16304 CPUtime=462.22 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 1766 0 0 0 46081 141 0 0 20 0 1 0 281863936 16695296 1628 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 4076 1628 192 642 0 3432 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 16304 [startup+522.3 s] /proc/loadavg: 1.99 1.97 1.93 3/177 8847 /proc/meminfo: memFree=29868892/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=16652 CPUtime=522.21 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 1870 0 0 0 52063 158 0 0 20 0 1 0 281863936 17051648 1732 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 4163 1732 192 642 0 3519 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 16652 [startup+582.3 s] /proc/loadavg: 1.99 1.97 1.93 3/177 8847 /proc/meminfo: memFree=29869016/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=16652 CPUtime=582.2 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 1870 0 0 0 58044 176 0 0 20 0 1 0 281863936 17051648 1732 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 4163 1732 192 642 0 3519 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 16652 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=29867588/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=18108 CPUtime=1122.12 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2236 0 0 0 111897 315 0 0 20 0 1 0 281863936 18542592 2097 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 4527 2097 192 642 0 3883 0 Current children cumulated CPU time (s) 1122.12 Current children cumulated vsize (KiB) 18108 [startup+1182.3 s] /proc/loadavg: 2.00 1.99 1.94 3/177 8852 /proc/meminfo: memFree=29867276/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=18104 CPUtime=1182.11 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2236 0 0 0 117883 328 0 0 20 0 1 0 281863936 18538496 2097 33554432000 134512640 137138936 4293274240 4293273136 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 4526 2097 192 642 0 3882 0 Current children cumulated CPU time (s) 1182.11 Current children cumulated vsize (KiB) 18104 [startup+1242.3 s] /proc/loadavg: 2.04 2.00 1.94 3/177 8852 /proc/meminfo: memFree=29866532/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=18844 CPUtime=1242.1 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2416 0 0 0 123868 342 0 0 20 0 1 0 281863936 19296256 2277 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 4711 2277 192 642 0 4067 0 Current children cumulated CPU time (s) 1242.1 Current children cumulated vsize (KiB) 18844 [startup+1302.3 s] /proc/loadavg: 2.01 2.00 1.94 3/177 8852 /proc/meminfo: memFree=29866284/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=18844 CPUtime=1302.1 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2416 0 0 0 129854 356 0 0 20 0 1 0 281863936 19296256 2277 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 4711 2277 192 642 0 4067 0 Current children cumulated CPU time (s) 1302.1 Current children cumulated vsize (KiB) 18844 [startup+1362.3 s] /proc/loadavg: 2.05 2.01 1.95 3/176 8852 /proc/meminfo: memFree=29867036/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=18820 CPUtime=1362.08 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2417 0 0 0 135837 371 0 0 20 0 1 0 281863936 19271680 2278 33554432000 134512640 137138936 4293274240 4293271736 134599876 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 4705 2278 192 642 0 4061 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 18820 [startup+1422.31 s] /proc/loadavg: 2.02 2.01 1.95 3/177 8854 /proc/meminfo: memFree=29866160/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=18828 CPUtime=1422.08 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2419 0 0 0 141821 387 0 0 20 0 1 0 281863936 19279872 2280 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 4707 2280 192 642 0 4063 0 Current children cumulated CPU time (s) 1422.08 Current children cumulated vsize (KiB) 18828 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.95 3/177 8854 /proc/meminfo: memFree=29866036/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=18828 CPUtime=1482.06 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2419 0 0 0 147801 405 0 0 20 0 1 0 281863936 19279872 2280 33554432000 134512640 137138936 4293274240 4293273136 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 4707 2280 192 642 0 4063 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 18828 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.95 3/177 8930 /proc/meminfo: memFree=29852344/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=18828 CPUtime=1542.06 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2419 0 0 0 153784 422 0 0 20 0 1 0 281863936 19279872 2280 33554432000 134512640 137138936 4293274240 4293272756 134551006 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 4707 2280 192 642 0 4063 0 Current children cumulated CPU time (s) 1542.06 Current children cumulated vsize (KiB) 18828 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.95 3/177 8930 /proc/meminfo: memFree=29816852/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=18828 CPUtime=1602.04 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2419 0 0 0 159768 436 0 0 20 0 1 0 281863936 19279872 2280 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 4707 2280 192 642 0 4063 0 Current children cumulated CPU time (s) 1602.04 Current children cumulated vsize (KiB) 18828 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 8933 /proc/meminfo: memFree=29797100/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=18828 CPUtime=1662.04 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2419 0 0 0 165754 450 0 0 20 0 1 0 281863936 19279872 2280 33554432000 134512640 137138936 4293274240 4293273168 134542972 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 4707 2280 192 642 0 4063 0 Current children cumulated CPU time (s) 1662.04 Current children cumulated vsize (KiB) 18828 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.95 3/177 8934 /proc/meminfo: memFree=29779844/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=18828 CPUtime=1722.03 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2419 0 0 0 171738 465 0 0 20 0 1 0 281863936 19279872 2280 33554432000 134512640 137138936 4293274240 4293272952 136504096 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 4707 2280 192 642 0 4063 0 Current children cumulated CPU time (s) 1722.03 Current children cumulated vsize (KiB) 18828 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.95 3/177 8934 /proc/meminfo: memFree=29763228/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=18828 CPUtime=1782.02 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2419 0 0 0 177723 479 0 0 20 0 1 0 281863936 19279872 2280 33554432000 134512640 137138936 4293274240 4293273168 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 4707 2280 192 642 0 4063 0 Current children cumulated CPU time (s) 1782.02 Current children cumulated vsize (KiB) 18828 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.95 3/177 8934 /proc/meminfo: memFree=29760996/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=18828 CPUtime=1791.62 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2419 0 0 0 178682 480 0 0 20 0 1 0 281863936 19279872 2280 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 4707 2280 192 642 0 4063 0 Current children cumulated CPU time (s) 1791.62 Current children cumulated vsize (KiB) 18828 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.95 3/177 8934 /proc/meminfo: memFree=29760500/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=18828 CPUtime=1794.82 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2419 0 0 0 179001 481 0 0 20 0 1 0 281863936 19279872 2280 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 4707 2280 192 642 0 4063 0 Current children cumulated CPU time (s) 1794.82 Current children cumulated vsize (KiB) 18828 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 1.95 3/177 8934 /proc/meminfo: memFree=29760252/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=18828 CPUtime=1796.41 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2419 0 0 0 179160 481 0 0 20 0 1 0 281863936 19279872 2280 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 4707 2280 192 642 0 4063 0 Current children cumulated CPU time (s) 1796.41 Current children cumulated vsize (KiB) 18828 [startup+1797.5 s] /proc/loadavg: 2.00 2.00 1.95 3/177 8934 /proc/meminfo: memFree=29760004/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=18828 CPUtime=1797.22 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2419 0 0 0 179241 481 0 0 20 0 1 0 281863936 19279872 2280 33554432000 134512640 137138936 4293274240 4293272664 134606982 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 4707 2280 192 642 0 4063 0 Current children cumulated CPU time (s) 1797.22 Current children cumulated vsize (KiB) 18828 [startup+1797.9 s] /proc/loadavg: 2.00 2.00 1.95 3/177 8934 /proc/meminfo: memFree=29760004/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=18828 CPUtime=1797.62 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2419 0 0 0 179280 482 0 0 20 0 1 0 281863936 19279872 2280 33554432000 134512640 137138936 4293274240 4293273168 134542793 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 4707 2280 192 642 0 4063 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (KiB) 18828 [startup+1798.1 s] /proc/loadavg: 2.00 2.00 1.95 3/177 8934 /proc/meminfo: memFree=29760004/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=18828 CPUtime=1797.82 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2419 0 0 0 179300 482 0 0 20 0 1 0 281863936 19279872 2280 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 4707 2280 192 642 0 4063 0 Current children cumulated CPU time (s) 1797.82 Current children cumulated vsize (KiB) 18828 [startup+1798.2 s] /proc/loadavg: 2.00 2.00 1.95 3/177 8934 /proc/meminfo: memFree=29760004/32873844 swapFree=7628/7628 [pid=8841] ppid=8839 vsize=18828 CPUtime=1797.92 cores=0,2,4,6 /proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2419 0 0 0 179310 482 0 0 20 0 1 0 281863936 19279872 2280 33554432000 134512640 137138936 4293274240 4293273136 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/8841/statm: 4707 2280 192 642 0 4063 0 Current children cumulated CPU time (s) 1797.92 Current children cumulated vsize (KiB) 18828 Child status: 0 Real time (s): 1798.28 CPU time (s): 1798 CPU user time (s): 1793.18 CPU system time (s): 4.82527 CPU usage (%): 99.9847 Max. virtual memory (cumulated for all children) (KiB): 18904 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.18 system time used= 4.82527 maximum resident set size= 9124 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2420 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= 6 involuntary context switches= 1895 runsolver used 3.9154 second user time and 8.13376 second system time The end
Begin job on node145 at 2012-05-28 00:23:16 IDJOB=3708072 IDBENCH=2910 IDSOLVER=2286 FILE ID=node145/3708072-1338157396 RUNJOBID= node145-1338157126-8733 PBS_JOBID= 14624528 Free space on /tmp= 71552 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-3708072-1338157396/watcher-3708072-1338157396 -o /tmp/evaluation-result-3708072-1338157396/solver-3708072-1338157396 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708072-1338157396.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8d16c34d0eecf3c16ca4b890652c15ca RANDOM SEED=1230847037 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: 29878352 kB Buffers: 326452 kB Cached: 1834080 kB SwapCached: 0 kB Active: 685308 kB Inactive: 1492424 kB Active(anon): 8680 kB Inactive(anon): 10912 kB Active(file): 676628 kB Inactive(file): 1481512 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 3888 kB Writeback: 0 kB AnonPages: 24424 kB Mapped: 14828 kB Shmem: 200 kB Slab: 678348 kB SReclaimable: 120096 kB SUnreclaim: 558252 kB KernelStack: 1472 kB PageTables: 4044 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 139088 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 2048 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:53:14