Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 | SAT | 23 | 1798.01 | 1797.99 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos1.opb |
MD5SUM | 374deb5d477559ba9c51d0ad1d758624 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 19 |
Best CPU time to get the best result obtained on this benchmark | 2.75458 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 19 |
Optimality of the best value was proved | YES |
Number of variables | 2112 |
Total number of constraints | 5020 |
Number of constraints which are clauses | 4128 |
Number of constraints which are cardinality constraints (but not clauses) | 216 |
Number of constraints which are nor clauses,nor cardinality constraints | 676 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 32 |
Number of terms in the objective function | 288 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 288 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 5 |
Number of bits of the biggest number in a constraint | 3 |
Biggest sum of numbers in a constraint | 288 |
Number of bits of the biggest sum of numbers | 9 |
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-3463546-1307175413.opb 0.00/0.00 c File size is 214964 bytes. 0.00/0.01 c Highest Coefficient sum: 288 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.013 s 0.00/0.01 c Var: 2112 Constr: 5120 4128/416/576 Lit: 24192 Watch. Lit: 16988 0.00/0.01 c Obj. Vars: 288 (13.6364 % of total variables) 0.00/0.04 c Pre-processing Time: 0.038 s 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 0 2112 4958 22608 4 15836 43431 0 0 0.04 0.00/0.04 c Switching off lower bounding mode. 0.00/0.05 o 28 1.59/1.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.65 c 53 2112 5021 24358 4 16342 44431 63 1081 0.05 1.59/1.65 c 154 2112 5129 29313 5 16633 48875 171 1949 0.08 1.59/1.65 c 404 2112 5397 41264 7 17550 53763 439 2825 0.14 1.59/1.65 c 879 2112 5879 66194 11 18620 59140 921 3117 0.28 1.59/1.65 c 1692 2112 6722 113843 16 20415 65055 1764 3059 0.55 1.59/1.65 c 3012 2112 8072 184985 22 23204 71561 3114 3170 0.95 1.59/1.65 c 5093 2112 10185 296184 29 27493 78718 5227 3107 1.64 1.59/1.65 o 27 27.99/28.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 27.99/28.02 c 5133 2112 10230 298589 29 27863 44431 5272 3109 1.65 27.99/28.02 c 5233 2112 10334 303370 29 28146 48875 5376 3116 1.68 27.99/28.02 c 5483 2112 10600 317519 29 28701 53763 5642 3118 1.76 27.99/28.02 c 5959 2112 11084 344176 31 29676 59140 6126 3126 1.91 27.99/28.02 c 6773 2112 11927 399286 33 31742 65055 6969 3131 2.16 27.99/28.02 c 8093 2112 13278 461126 34 34520 71561 8320 3064 2.64 27.99/28.02 c 10175 2112 15417 573357 37 38877 78718 10459 2992 3.40 27.99/28.02 c 13398 2112 18657 725372 38 45413 86590 13699 2921 4.59 27.99/28.02 c 18334 2112 23985 1100167 45 56266 95250 19027 2703 6.78 27.99/28.02 c 25840 2112 31593 1508044 47 71724 104776 26635 2485 10.40 27.99/28.02 c 37201 2112 43159 2133842 49 95067 115254 38201 2297 16.19 27.99/28.02 c 54345 2112 60653 2991314 49 130184 126780 55695 2032 26.74 27.99/28.02 o 26 43.59/43.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 43.59/43.69 c 56246 2112 62622 3114343 49 134436 44431 57664 2007 28.02 43.59/43.69 c 56346 2112 17042 649278 38 40529 48875 12084 1974 28.54 43.59/43.69 c 56596 2112 17301 659524 38 41170 53763 12343 1977 28.62 43.59/43.69 c 57071 2112 17789 684166 38 42338 59140 12831 1982 28.79 43.59/43.69 c 57884 2112 18626 740842 39 44144 65055 13668 1988 29.11 43.59/43.69 c 59205 2112 19990 815928 40 46920 71561 15032 1998 29.63 43.59/43.69 c 61286 2112 22106 927185 41 51245 78718 17148 2011 30.46 43.59/43.69 c 64509 2112 25385 1103897 43 57894 86590 20427 2029 31.79 43.59/43.69 c 69445 2112 30425 1350016 44 68491 95250 25467 2047 33.92 43.59/43.69 c 76951 2112 38000 1719403 45 83764 104776 33042 2065 37.25 43.59/43.69 c 88312 2112 49647 2348728 47 107799 115254 44689 2073 42.60 43.59/43.69 o 25 44.99/45.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 44.99/45.00 c 90502 2112 51873 2456985 47 112536 44431 46915 2071 43.70 44.99/45.00 c 90602 2112 16830 644208 38 40632 48875 11872 2039 44.42 44.99/45.00 c 90852 2112 17083 656547 38 41132 53763 12125 2041 44.50 44.99/45.00 c 91327 2112 17565 677431 38 42135 59140 12607 2043 44.69 44.99/45.00 c 92140 2112 18396 719725 39 44037 65055 13438 2047 44.99 44.99/45.00 o 24 487.39/487.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 487.39/487.44 c 92151 2112 18411 720386 39 44384 44431 13453 2047 45.00 487.39/487.44 c 92252 2112 18519 725610 39 44681 48875 13561 2048 45.03 487.39/487.44 c 92503 2112 18771 736306 39 45191 53763 13813 2049 45.13 487.39/487.44 c 92978 2112 19276 767291 39 46371 59140 14318 2052 45.31 487.39/487.44 c 93791 2112 20108 804163 39 48222 65055 15150 2056 45.62 487.39/487.44 c 95111 2112 21488 878349 40 51027 71561 16530 2059 46.17 487.39/487.44 c 97193 2112 23608 975627 41 55441 78718 18650 2063 47.09 487.39/487.44 c 100417 2112 26887 1159153 43 62055 86590 21929 2071 48.47 487.39/487.44 c 105353 2112 31868 1383059 43 72013 95250 26910 2057 51.21 487.39/487.44 c 112859 2112 39724 1828325 46 87834 104776 34766 2050 55.03 487.39/487.44 c 124220 2112 51378 2397260 46 111462 115254 46420 2012 61.73 487.39/487.44 c 141364 2112 68812 3277991 47 147020 126780 63854 1938 72.93 487.39/487.44 c 167183 2112 95168 4590291 48 200140 139459 90210 1710 97.73 487.39/487.44 c 206015 2112 135469 7235196 53 280866 153405 130511 1595 129.14 487.39/487.44 c 264368 2112 53655 2786263 51 114052 168746 48697 1435 184.14 487.39/487.44 c 352000 2112 142107 6853632 48 291488 185621 137149 1321 266.35 487.39/487.44 c 483552 2112 104719 5879160 56 216352 204184 99761 1153 419.36 487.39/487.44 o 23 1797.91/1797.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.91/1797.98 c 561344 2112 184035 9845963 53 376649 44431 179077 1151 487.43 1797.91/1797.98 c 561445 2112 18213 659551 36 42963 48875 13255 1065 526.85 1797.91/1797.98 c 561696 2112 18475 673621 36 43718 53763 13517 1065 526.95 1797.91/1797.98 c 562171 2112 18972 695853 36 44812 59140 14014 1066 527.10 1797.91/1797.98 c 562984 2112 19816 740098 37 46680 65055 14858 1067 527.38 1797.91/1797.98 c 564304 2112 21143 793230 37 49439 71561 16185 1069 527.81 1797.91/1797.98 c 566385 2112 23257 882340 37 53839 78718 18299 1071 528.76 1797.91/1797.98 c 569608 2112 26518 1023938 38 60528 86590 21560 1074 530.20 1797.91/1797.98 c 574545 2112 31524 1246200 39 70608 95250 26566 1078 532.54 1797.91/1797.98 c 582052 2112 39110 1591884 40 86084 104776 34152 1086 535.60 1797.91/1797.98 c 593413 2112 50686 2116436 41 109413 115254 45728 1094 541.96 1797.91/1797.98 c 610557 2112 68518 3082054 44 145347 126780 63560 1103 553.30 1797.91/1797.98 c 636376 2112 94648 4395575 46 197789 139459 89690 1117 569.66 1797.91/1797.98 c 675208 2112 133977 6873021 51 276926 153405 129019 1114 605.93 1797.91/1797.98 c 733561 2112 51311 1989155 38 109373 168746 46353 1090 672.62 1797.91/1797.98 c 821193 2112 140284 6156490 43 289109 185621 135326 1120 732.69 1797.91/1797.98 c 952745 2112 100087 4317022 43 206614 204184 95129 1050 907.32 1797.91/1797.98 c 1150178 2112 110040 7426481 67 226624 224603 105082 922 1246.22 1797.91/1797.98 c 1446430 2112 197166 8266035 41 401634 247064 192208 877 1648.20 1797.91/1797.98 c Resources Exceeded 1797.91/1797.98 v -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 x1873 x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 -x1905 x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 x1999 -x2000 -x2001 -x2002 x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 x2044 -x2045 -x2046 -x2047 -x2048 x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 x2056 -x2057 -x2058 x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 x2102 -x2103 -x2104 x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x1 -x6 -x11 -x16 -x21 -x26 x31 -x36 -x41 -x46 -x51 -x56 -x61 -x66 -x71 -x76 -x81 -x86 -x91 -x96 -x101 -x106 -x111 -x116 -x121 -x126 -x131 -x136 -x141 -x146 -x151 -x156 -x62 -x67 -x72 -x77 -x142 -x147 -x152 -x157 -x362 -x367 -x372 -x377 x382 -x387 -x392 -x397 -x442 -x447 -x452 -x457 -x462 -x467 -x472 -x477 -x3 -x8 -x13 -x18 -x83 -x88 x93 -x98 -x163 -x168 -x173 -x178 -x183 -x188 -x193 -x198 -x203 -x208 -x213 -x218 -x223 -x228 -x233 -x238 -x24 -x29 -x34 -x39 -x104 -x109 -x114 -x119 -x204 -x209 -x214 -x219 -x224 -x229 -x234 -x239 -x244 x249 -x254 -x259 -x264 -x269 -x274 -x279 -x284 -x289 -x294 -x299 -x304 -x309 -x314 -x319 -x25 -x30 -x35 -x40 -x105 -x110 -x115 -x120 -x205 -x210 -x215 -x220 -x225 -x230 -x235 -x240 -x245 x250 -x255 -x260 -x265 -x270 -x275 -x280 -x285 -x290 -x295 -x300 -x305 -x310 -x315 -x320 -x721 -x726 -x731 -x736 -x741 -x746 -x751 -x756 -x761 -x766 -x771 -x776 -x781 -x786 -x791 x796 -x801 -x806 -x811 -x816 -x821 -x826 -x831 -x836 -x841 -x846 -x851 -x856 -x861 -x866 -x871 -x876 -x782 -x787 -x792 -x797 -x862 -x867 x872 -x877 -x1082 -x1087 -x1092 -x1097 -x1102 -x1107 -x1112 -x1117 -x1162 -x1167 -x1172 -x1177 -x1182 -x1187 -x1192 -x1197 -x723 -x728 -x733 -x738 -x803 -x808 -x813 -x818 -x883 -x888 x893 -x898 -x903 -x908 -x913 -x918 -x923 -x928 -x933 -x938 -x943 -x948 -x953 -x958 -x744 -x749 -x754 -x759 -x824 -x829 -x834 -x839 -x924 -x929 -x934 -x939 -x944 -x949 -x954 -x959 -x964 -x969 -x974 -x979 -x984 -x989 -x994 -x999 -x1004 -x1009 x1014 -x1019 -x1024 -x1029 -x1034 -x1039 -x745 -x750 -x755 -x760 -x825 -x830 -x835 -x840 -x925 -x930 -x935 -x940 -x945 -x950 -x955 -x960 -x965 -x970 -x975 -x980 -x985 -x990 -x995 -x1000 -x1005 -x1010 x1015 -x1020 -x1025 -x1030 -x1035 -x1040 -x481 -x486 -x491 -x496 -x501 -x506 -x511 -x516 -x601 -x606 x611 -x616 -x621 -x626 -x631 -x636 -x641 -x646 -x651 -x656 -x661 -x666 -x671 -x676 -x681 -x686 -x691 -x696 -x701 -x706 -x711 -x716 -x162 -x167 -x172 -x177 -x182 -x187 -x192 -x197 -x322 -x327 -x332 -x337 -x342 -x347 -x352 x357 -x482 -x487 -x492 -x497 -x502 -x507 -x512 -x517 -x443 -x448 -x453 -x458 -x463 -x468 -x473 -x478 -x563 -x568 -x573 -x578 -x583 -x588 -x593 -x598 -x683 -x688 -x693 -x698 -x703 x708 -x713 -x718 -x444 -x449 -x454 -x459 -x464 -x469 -x474 -x479 -x564 -x569 -x574 -x579 -x584 -x589 -x594 -x599 -x684 -x689 -x694 -x699 -x704 x709 -x714 -x719 -x325 -x330 -x335 -x340 -x345 -x350 -x355 -x360 -x525 -x530 -x535 -x540 -x545 -x550 -x555 -x560 -x605 -x610 -x615 -x620 -x625 -x630 -x635 -x640 -x1201 -x1206 -x1211 -x1216 -x1221 -x1226 -x1231 -x1236 -x1321 -x1326 -x1331 -x1336 -x1341 -x1346 -x1351 -x1356 -x1361 -x1366 -x1371 -x1376 -x1381 -x1386 -x1391 -x1396 x1401 -x1406 -x1411 -x1416 -x1421 -x1426 -x1431 -x1436 -x882 -x887 x892 -x897 -x902 -x907 -x912 -x917 -x1042 -x1047 -x1052 -x1057 -x1062 -x1067 -x1072 -x1077 -x1202 -x1207 -x1212 -x1217 -x1222 -x1227 -x1232 -x1237 -x1163 -x1168 x1173 -x1178 -x1183 -x1188 -x1193 -x1198 -x1283 -x1288 -x1293 -x1298 -x1303 -x1308 -x1313 -x1318 -x1403 -x1408 -x1413 -x1418 -x1423 -x1428 -x1433 -x1438 -x1164 -x1169 x1174 -x1179 -x1184 -x1189 -x1194 -x1199 -x1284 -x1289 -x1294 -x1299 -x1304 -x1309 -x1314 -x1319 -x1404 -x1409 -x1414 -x1419 -x1424 -x1429 -x1434 -x1439 -x1045 -x1050 -x1055 -x1060 -x1065 -x1070 -x1075 -x1080 -x1245 -x1250 -x1255 -x1260 -x1265 x1270 -x1275 -x1280 -x1325 -x1330 -x1335 -x1340 -x1345 -x1350 -x1355 -x1360 -x161 -x166 -x171 -x176 -x181 -x186 -x191 -x196 -x201 -x206 -x211 -x216 -x221 -x226 -x231 -x236 x241 -x246 -x251 -x256 -x261 -x266 -x271 -x276 -x281 -x286 -x291 -x296 -x301 -x306 -x311 -x316 -x361 -x366 -x371 -x376 -x381 -x386 -x391 -x396 -x401 -x406 -x411 -x416 -x421 -x426 -x431 -x436 -x441 -x446 -x451 -x456 -x461 -x466 -x471 -x476 -x321 -x326 -x331 -x336 -x341 -x346 -x351 -x356 -x521 -x526 -x531 -x536 -x541 -x546 -x551 -x556 -x561 -x566 -x571 -x576 -x581 -x586 -x591 -x596 -x2 -x7 -x12 -x17 -x22 -x27 -x32 -x37 -x42 -x47 -x52 -x57 -x82 -x87 -x92 -x97 -x102 -x107 -x112 -x117 -x122 -x127 -x132 -x137 -x202 -x207 -x212 -x217 -x222 -x227 -x232 -x237 -x242 -x247 -x252 -x257 -x262 -x267 -x272 -x277 -x282 -x287 -x292 -x297 -x302 -x307 -x312 -x317 -x402 x407 -x412 -x417 -x422 -x427 -x432 -x437 -x522 -x527 -x532 -x537 -x542 -x547 x552 -x557 -x602 -x607 -x612 -x617 -x622 -x627 -x632 -x637 -x562 -x567 -x572 -x577 -x582 -x587 -x592 -x597 -x642 -x647 -x652 -x657 -x662 -x667 -x672 -x677 -x682 -x687 -x692 -x697 -x702 -x707 -x712 -x717 -x23 -x28 x33 -x38 -x43 -x48 -x53 -x58 -x63 -x68 -x73 -x78 -x103 -x108 -x113 -x118 -x123 -x128 -x133 -x138 -x143 -x148 -x153 -x158 -x243 x248 -x253 -x258 -x263 -x268 -x273 -x278 -x283 -x288 -x293 -x298 -x303 -x308 -x313 -x318 -x363 -x368 -x373 -x378 -x383 -x388 -x393 -x398 -x403 -x408 -x413 -x418 -x423 -x428 -x433 -x438 -x323 -x328 -x333 -x338 -x343 -x348 -x353 -x358 -x483 -x488 -x493 -x498 -x503 -x508 -x513 -x518 -x523 -x528 -x533 -x538 -x543 -x548 -x553 -x558 -x603 -x608 x613 -x618 -x623 -x628 -x633 -x638 -x643 -x648 -x653 -x658 -x663 -x668 -x673 -x678 -x4 -x9 -x14 -x19 -x44 -x49 -x54 -x59 -x64 -x69 -x74 -x79 -x84 -x89 -x94 -x99 -x124 -x129 -x134 -x139 -x144 -x149 -x154 -x159 -x164 -x169 -x174 -x179 -x184 -x189 -x194 -x199 -x364 -x369 -x374 -x379 -x384 -x389 -x394 -x399 -x404 -x409 -x414 -x419 -x424 -x429 -x434 -x439 -x324 -x329 -x334 -x339 -x344 -x349 -x354 -x359 -x484 -x489 -x494 -x499 -x504 -x509 -x514 -x519 -x524 -x529 -x534 -x539 -x544 -x549 -x554 -x559 -x604 -x609 x614 -x619 -x624 -x629 -x634 -x639 -x644 -x649 -x654 -x659 -x664 -x669 -x674 -x679 -x5 -x10 -x15 -x20 -x45 -x50 -x55 -x60 -x65 -x70 -x75 -x80 -x85 -x90 -x95 -x100 -x125 -x130 -x135 -x140 -x145 -x150 -x155 -x160 -x165 -x170 -x175 -x180 -x185 -x190 -x195 -x200 -x365 -x370 -x375 -x380 -x385 -x390 -x395 -x400 -x405 -x410 -x415 -x420 -x425 -x430 -x435 -x440 -x445 -x450 -x455 -x460 -x465 -x470 -x475 -x480 -x485 -x490 -x495 -x500 -x505 -x510 -x515 -x520 -x565 -x570 -x575 -x580 -x585 -x590 -x595 -x600 -x645 -x650 -x655 -x660 -x665 -x670 -x675 -x680 -x685 -x690 -x695 -x700 -x705 -x710 -x715 -x720 -x881 -x886 -x891 -x896 -x901 -x906 -x911 -x916 -x921 -x926 -x931 -x936 -x941 -x946 -x951 -x956 -x961 -x966 -x971 -x976 -x981 -x986 -x991 -x996 -x1001 -x1006 -x1011 -x1016 -x1021 -x1026 -x1031 -x1036 -x1081 -x1086 -x1091 -x1096 -x1101 -x1106 -x1111 -x1116 -x1121 -x1126 -x1131 -x1136 -x1141 -x1146 -x1151 -x1156 -x1161 -x1166 x1171 -x1176 -x1181 -x1186 -x1191 -x1196 -x1041 -x1046 -x1051 -x1056 -x1061 -x1066 -x1071 -x1076 -x1241 -x1246 -x1251 -x1256 -x1261 -x1266 -x1271 -x1276 -x1281 -x1286 -x1291 -x1296 -x1301 -x1306 -x1311 -x1316 x722 -x727 -x732 -x737 -x742 -x747 -x752 -x757 -x762 -x767 -x772 -x777 -x802 -x807 -x812 -x817 -x822 -x827 -x832 -x837 -x842 -x847 -x852 -x857 -x922 -x927 -x932 -x937 -x942 -x947 -x952 -x957 -x962 -x967 -x972 -x977 -x982 -x987 -x992 -x997 -x1002 -x1007 -x1012 -x1017 -x1022 -x1027 -x1032 -x1037 -x1122 -x1127 -x1132 -x1137 -x1142 -x1147 -x1152 -x1157 -x1242 -x1247 -x1252 -x1257 -x1262 -x1267 -x1272 -x1277 -x1322 -x1327 -x1332 -x1337 -x1342 -x1347 -x1352 -x1357 -x1282 -x1287 -x1292 -x1297 -x1302 -x1307 -x1312 -x1317 -x1362 -x1367 -x1372 -x1377 -x1382 -x1387 -x1392 -x1397 -x1402 -x1407 -x1412 -x1417 -x1422 -x1427 -x1432 -x1437 -x743 -x748 -x753 -x758 -x763 -x768 -x773 -x778 -x783 -x788 -x793 -x798 -x823 -x828 -x833 -x838 -x843 -x848 -x853 -x858 -x863 -x868 -x873 -x878 -x963 -x968 -x973 -x978 -x983 -x988 -x993 -x998 -x1003 -x1008 -x1013 -x1018 -x1023 -x1028 -x1033 -x1038 -x1083 -x1088 -x1093 x1098 -x1103 -x1108 -x1113 -x1118 -x1123 -x1128 -x1133 -x1138 -x1143 -x1148 -x1153 x1158 -x1043 -x1048 -x1053 -x1058 -x1063 -x1068 -x1073 -x1078 -x1203 -x1208 -x1213 x1218 -x1223 -x1228 -x1233 -x1238 -x1243 -x1248 -x1253 -x1258 -x1263 -x1268 -x1273 -x1278 -x1323 -x1328 -x1333 -x1338 -x1343 -x1348 -x1353 -x1358 -x1363 -x1368 -x1373 -x1378 -x1383 x1388 -x1393 -x1398 -x724 -x729 -x734 -x739 -x764 -x769 -x774 -x779 -x784 -x789 -x794 -x799 -x804 -x809 -x814 -x819 -x844 -x849 -x854 -x859 -x864 -x869 -x874 -x879 -x884 -x889 -x894 -x899 -x904 -x909 -x914 -x919 -x1084 -x1089 -x1094 x1099 -x1104 -x1109 -x1114 -x1119 -x1124 -x1129 -x1134 -x1139 -x1144 -x1149 -x1154 -x1159 -x1044 -x1049 -x1054 -x1059 -x1064 -x1069 -x1074 -x1079 -x1204 -x1209 -x1214 -x1219 -x1224 -x1229 -x1234 -x1239 -x1244 -x1249 -x1254 -x1259 -x1264 -x1269 -x1274 -x1279 -x1324 -x1329 -x1334 -x1339 -x1344 -x1349 -x1354 -x1359 -x1364 -x1369 -x1374 -x1379 -x1384 -x1389 -x1394 -x1399 -x725 -x730 -x735 -x740 -x765 -x770 -x775 -x780 -x785 -x790 -x795 -x800 -x805 -x810 -x815 -x820 -x845 -x850 -x855 -x860 -x865 -x870 -x875 -x880 -x885 -x890 -x895 -x900 -x905 -x910 -x915 -x920 -x1085 -x1090 -x1095 -x1100 -x1105 -x1110 -x1115 -x1120 x1125 -x1130 -x1135 -x1140 -x1145 -x1150 -x1155 -x1160 -x1165 -x1170 -x1175 -x1180 -x1185 -x1190 -x1195 -x1200 -x1205 -x1210 -x1215 -x1220 -x1225 -x1230 -x1235 -x1240 -x1285 -x1290 -x1295 -x1300 -x1305 -x1310 -x1315 -x1320 -x1365 -x1370 -x1375 -x1380 -x1385 -x1390 -x1395 -x1400 -x1405 -x1410 -x1415 -x1420 -x1425 -x1430 -x1435 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 x1451 -x1452 x1453 x1454 x1455 -x1456 -x1457 -x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 x1487 -x1488 -x1489 -x1490 x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 x1549 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 x1559 -x1560 -x1561 -x1562 -x1563 -x1564 x1565 x1566 -x1567 x1568 x1569 x1570 -x1571 -x1572 x1573 x1574 x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 x1609 x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 x1623 -x1624 -x1625 -x1626 -x1627 x1628 -x1629 -x1630 -x1631 x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 x1641 -x1642 -x1643 -x1644 x1645 -x1646 -x1647 -x1648 x1649 x1650 -x1651 -x1652 -x1653 x1654 x1655 -x1656 -x1657 x1658 -x1659 -x1660 -x1661 x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 x1727 -x1728 -x1729 -x1730 x1731 x1732 -x1733 -x1734 x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 x1759 -x1760 -x1761 -x1762 x1763 -x1764 -x1765 x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 x1818 -x1819 -x1820 -x1821 x1822 -x1823 -x1824 1797.91/1797.98 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1797.98 c 71 1600408 918647 4226386 119810 5962955 114852 890 1798.00 1797.91/1797.98 c Objective: 23 1797.91/1797.98 s SATISFIABLE 1797.91/1797.98 c Total time: 1798 s
OK 23
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-3463546-1307175413/watcher-3463546-1307175413 -o /tmp/evaluation-result-3463546-1307175413/solver-3463546-1307175413 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463546-1307175413.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.01 1.97 1.77 2/464 15495 /proc/meminfo: memFree=30014404/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=11268 CPUtime=0 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 371 0 0 0 0 0 0 0 25 0 1 0 829141144 11538432 325 33554432000 134512640 137138936 4287877840 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15495/statm: 2817 326 191 642 0 2120 0 [startup+0.112856 s] /proc/loadavg: 2.01 1.97 1.77 2/464 15495 /proc/meminfo: memFree=30014404/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=12344 CPUtime=0.1 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 825 0 0 0 10 0 0 0 25 0 1 0 829141144 12640256 654 33554432000 134512640 137138936 4287877840 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15495/statm: 3086 654 192 642 0 2442 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 12344 [startup+0.200839 s] /proc/loadavg: 2.01 1.97 1.77 2/464 15495 /proc/meminfo: memFree=30014404/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=12444 CPUtime=0.19 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 860 0 0 0 19 0 0 0 25 0 1 0 829141144 12742656 689 33554432000 134512640 137138936 4287877840 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15495/statm: 3111 689 192 642 0 2467 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 12444 [startup+0.300835 s] /proc/loadavg: 2.01 1.97 1.77 2/464 15495 /proc/meminfo: memFree=30014404/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=12736 CPUtime=0.29 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 930 0 0 0 29 0 0 0 25 0 1 0 829141144 13041664 759 33554432000 134512640 137138936 4287877840 18446744073709551615 134607560 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15495/statm: 3184 759 192 642 0 2540 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12736 [startup+0.700755 s] /proc/loadavg: 2.01 1.97 1.77 2/464 15495 /proc/meminfo: memFree=30014404/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=13864 CPUtime=0.69 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 1197 0 0 0 69 0 0 0 25 0 1 0 829141144 14196736 1026 33554432000 134512640 137138936 4287877840 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15495/statm: 3466 1026 192 642 0 2822 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13864 [startup+1.50061 s] /proc/loadavg: 2.01 1.97 1.77 3/465 15496 /proc/meminfo: memFree=30009436/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=15856 CPUtime=1.49 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 1703 0 0 0 148 1 0 0 25 0 1 0 829141144 16236544 1532 33554432000 134512640 137138936 4287877840 18446744073709551615 134575794 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15495/statm: 3964 1532 192 642 0 3320 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15856 [startup+3.10033 s] /proc/loadavg: 2.01 1.97 1.77 3/465 15496 /proc/meminfo: memFree=30005584/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=19632 CPUtime=3.09 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 2654 0 0 0 307 2 0 0 25 0 1 0 829141144 20103168 2483 33554432000 134512640 137138936 4287877840 18446744073709551615 134607009 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15495/statm: 4908 2483 192 642 0 4264 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19632 [startup+6.30076 s] /proc/loadavg: 2.01 1.97 1.77 3/465 15496 /proc/meminfo: memFree=29998020/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=26996 CPUtime=6.29 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 4472 0 0 0 625 4 0 0 25 0 1 0 829141144 27643904 4301 33554432000 134512640 137138936 4287877840 18446744073709551615 136504268 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15495/statm: 6749 4301 192 642 0 6105 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26996 [startup+12.7006 s] /proc/loadavg: 2.01 1.97 1.77 3/465 15496 /proc/meminfo: memFree=29985320/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=38148 CPUtime=12.69 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 7286 0 0 0 1263 6 0 0 25 0 1 0 829141144 39063552 7115 33554432000 134512640 137138936 4287877840 18446744073709551615 134607601 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15495/statm: 9537 7115 192 642 0 8893 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 38148 [startup+25.5004 s] /proc/loadavg: 2.01 1.97 1.77 3/465 15496 /proc/meminfo: memFree=29967592/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=55268 CPUtime=25.49 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 11561 0 0 0 2540 9 0 0 25 0 1 0 829141144 56594432 11390 33554432000 134512640 137138936 4287877840 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15495/statm: 13817 11390 192 642 0 13173 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 55268 [startup+51.1008 s] /proc/loadavg: 2.07 1.99 1.78 5/465 15524 /proc/meminfo: memFree=29935204/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=58292 CPUtime=51.1 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 12378 0 0 0 5093 17 0 0 25 0 1 0 829141144 59691008 12150 33554432000 134512640 137138936 4287877840 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15495/statm: 14573 12150 192 642 0 13929 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 58292 [startup+102.301 s] /proc/loadavg: 2.23 2.04 1.81 5/465 15526 /proc/meminfo: memFree=29814944/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=88416 CPUtime=102.29 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 19907 0 0 0 10199 30 0 0 25 0 1 0 829141144 90537984 19679 33554432000 134512640 137138936 4287877840 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15495/statm: 22104 19679 192 642 0 21460 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 88416 [startup+162.301 s] /proc/loadavg: 2.15 2.04 1.82 5/465 15527 /proc/meminfo: memFree=29712108/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=137112 CPUtime=162.29 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 32204 0 0 0 16188 41 0 0 25 0 1 0 829141144 140402688 31825 33554432000 134512640 137138936 4287877840 18446744073709551615 136501699 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15495/statm: 34278 31825 192 642 0 33634 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 137112 [startup+222.318 s] /proc/loadavg: 2.05 2.03 1.83 5/465 15529 /proc/meminfo: memFree=29661492/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=137112 CPUtime=222.3 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 32204 0 0 0 22177 53 0 0 25 0 1 0 829141144 140402688 31825 33554432000 134512640 137138936 4287877840 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15495/statm: 34278 31825 192 642 0 33634 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 137112 [startup+282.301 s] /proc/loadavg: 2.02 2.02 1.83 5/465 15530 /proc/meminfo: memFree=29624140/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=137128 CPUtime=282.29 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 32208 0 0 0 28166 63 0 0 25 0 1 0 829141144 140419072 31829 33554432000 134512640 137138936 4287877840 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15495/statm: 34282 31829 192 642 0 33638 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 137128 [startup+342.3 s] /proc/loadavg: 2.00 2.02 1.84 5/465 15532 /proc/meminfo: memFree=29557524/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=151364 CPUtime=342.27 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 35967 0 0 0 34154 73 0 0 25 0 1 0 829141144 154996736 35405 33554432000 134512640 137138936 4287877840 18446744073709551615 134544854 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15495/statm: 37841 35405 192 642 0 37197 0 Current children cumulated CPU time (s) 342.27 Current children cumulated vsize (KiB) 151364 [startup+402.301 s] /proc/loadavg: 2.00 2.01 1.85 5/465 15533 /proc/meminfo: memFree=29510000/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=151364 CPUtime=402.27 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 35967 0 0 0 40146 81 0 0 25 0 1 0 829141144 154996736 35405 33554432000 134512640 137138936 4287877840 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15495/statm: 37841 35405 192 642 0 37197 0 Current children cumulated CPU time (s) 402.27 Current children cumulated vsize (KiB) 151364 [startup+462.3 s] /proc/loadavg: 2.00 2.01 1.85 5/465 15535 /proc/meminfo: memFree=29497572/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=151364 CPUtime=462.27 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 35967 0 0 0 46137 90 0 0 25 0 1 0 829141144 154996736 35405 33554432000 134512640 137138936 4287877840 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15495/statm: 37841 35405 192 642 0 37197 0 Current children cumulated CPU time (s) 462.27 Current children cumulated vsize (KiB) 151364 [startup+522.301 s] /proc/loadavg: 2.00 2.00 1.86 4/465 15537 /proc/meminfo: memFree=29489984/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=158888 CPUtime=522.27 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 38019 0 0 0 52134 93 0 0 25 0 1 0 829141144 162701312 37282 33554432000 134512640 137138936 4287877840 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15495/statm: 39722 37282 192 642 0 39078 0 Current children cumulated CPU time (s) 522.27 Current children cumulated vsize (KiB) 158888 [startup+582.301 s] /proc/loadavg: 2.00 2.00 1.86 5/465 15538 /proc/meminfo: memFree=29490068/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=158888 CPUtime=582.27 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 38019 0 0 0 58119 108 0 0 25 0 1 0 829141144 162701312 37282 33554432000 134512640 137138936 4287877840 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15495/statm: 39722 37282 192 642 0 39078 0 Current children cumulated CPU time (s) 582.27 Current children cumulated vsize (KiB) 158888 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=29206664/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=159356 CPUtime=1122.29 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 38488 0 0 0 112064 165 0 0 25 0 1 0 829141144 163180544 37398 33554432000 134512640 137138936 4287877840 18446744073709551615 134575626 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15495/statm: 39839 37398 192 642 0 39195 0 Current children cumulated CPU time (s) 1122.29 Current children cumulated vsize (KiB) 159356 [startup+1182.3 s] /proc/loadavg: 2.10 2.03 1.92 5/465 15554 /proc/meminfo: memFree=29167048/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=159356 CPUtime=1182.29 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 38488 0 0 0 118060 169 0 0 25 0 1 0 829141144 163180544 37398 33554432000 134512640 137138936 4287877840 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15495/statm: 39839 37398 192 642 0 39195 0 Current children cumulated CPU time (s) 1182.29 Current children cumulated vsize (KiB) 159356 [startup+1242.3 s] /proc/loadavg: 2.08 2.04 1.93 4/465 15556 /proc/meminfo: memFree=29166272/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=159356 CPUtime=1242.3 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 38488 0 0 0 124058 172 0 0 25 0 1 0 829141144 163180544 37398 33554432000 134512640 137138936 4287877840 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15495/statm: 39839 37398 192 642 0 39195 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 159356 [startup+1302.3 s] /proc/loadavg: 2.07 2.04 1.93 5/465 15557 /proc/meminfo: memFree=29166360/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=159356 CPUtime=1302.29 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 38488 0 0 0 130051 178 0 0 25 0 1 0 829141144 163180544 37398 33554432000 134512640 137138936 4287877840 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15495/statm: 39839 37398 192 642 0 39195 0 Current children cumulated CPU time (s) 1302.29 Current children cumulated vsize (KiB) 159356 [startup+1362.3 s] /proc/loadavg: 2.02 2.03 1.93 5/465 15559 /proc/meminfo: memFree=29148720/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=177840 CPUtime=1362.3 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 43128 0 0 0 136045 185 0 0 25 0 1 0 829141144 182108160 42038 33554432000 134512640 137138936 4287877840 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15495/statm: 44460 42038 192 642 0 43816 0 Current children cumulated CPU time (s) 1362.3 Current children cumulated vsize (KiB) 177840 [startup+1422.3 s] /proc/loadavg: 2.01 2.02 1.93 5/465 15561 /proc/meminfo: memFree=29125740/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=199968 CPUtime=1422.31 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 48850 0 0 0 142041 190 0 0 25 0 1 0 829141144 204767232 47539 33554432000 134512640 137138936 4287877840 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15495/statm: 49992 47539 192 642 0 49348 0 Current children cumulated CPU time (s) 1422.31 Current children cumulated vsize (KiB) 199968 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 1.93 5/465 15562 /proc/meminfo: memFree=29125704/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=199968 CPUtime=1482.3 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 48850 0 0 0 148033 197 0 0 25 0 1 0 829141144 204767232 47539 33554432000 134512640 137138936 4287877840 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15495/statm: 49992 47539 192 642 0 49348 0 Current children cumulated CPU time (s) 1482.3 Current children cumulated vsize (KiB) 199968 [startup+1542.32 s] /proc/loadavg: 2.00 2.01 1.93 5/465 15564 /proc/meminfo: memFree=29127048/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=199968 CPUtime=1542.31 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 48850 0 0 0 154024 207 0 0 25 0 1 0 829141144 204767232 47539 33554432000 134512640 137138936 4287877840 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15495/statm: 49992 47539 192 642 0 49348 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 199968 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 1.93 5/465 15565 /proc/meminfo: memFree=29127020/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=199968 CPUtime=1602.3 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 48850 0 0 0 160016 214 0 0 25 0 1 0 829141144 204767232 47539 33554432000 134512640 137138936 4287877840 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15495/statm: 49992 47539 192 642 0 49348 0 Current children cumulated CPU time (s) 1602.3 Current children cumulated vsize (KiB) 199968 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.93 5/465 15567 /proc/meminfo: memFree=29126748/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=199968 CPUtime=1662.31 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 48850 0 0 0 166004 227 0 0 25 0 1 0 829141144 204767232 47539 33554432000 134512640 137138936 4287877840 18446744073709551615 134602734 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15495/statm: 49992 47539 192 642 0 49348 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 199968 [startup+1722.3 s] /proc/loadavg: 2.07 2.02 1.94 5/465 15569 /proc/meminfo: memFree=29127460/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=200056 CPUtime=1722.3 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 49115 0 0 0 171999 231 0 0 25 0 1 0 829141144 204857344 47561 33554432000 134512640 137138936 4287877840 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15495/statm: 50014 47561 192 642 0 49370 0 Current children cumulated CPU time (s) 1722.3 Current children cumulated vsize (KiB) 200056 [startup+1782.3 s] /proc/loadavg: 2.09 2.03 1.94 5/465 15570 /proc/meminfo: memFree=29126436/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=200056 CPUtime=1782.31 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 49115 0 0 0 177986 245 0 0 25 0 1 0 829141144 204857344 47561 33554432000 134512640 137138936 4287877840 18446744073709551615 136504219 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15495/statm: 50014 47561 192 642 0 49370 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 200056 Solver just ended. Dumping a history of the last processes samples [startup+1785.6 s] /proc/loadavg: 2.08 2.03 1.94 5/465 15570 /proc/meminfo: memFree=29126312/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=200056 CPUtime=1785.61 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 49115 0 0 0 178315 246 0 0 25 0 1 0 829141144 204857344 47561 33554432000 134512640 137138936 4287877840 18446744073709551615 134542351 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15495/statm: 50014 47561 192 642 0 49370 0 Current children cumulated CPU time (s) 1785.61 Current children cumulated vsize (KiB) 200056 [startup+1792.02 s] /proc/loadavg: 2.08 2.03 1.94 5/465 15571 /proc/meminfo: memFree=29126420/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=200056 CPUtime=1792.02 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 49115 0 0 0 178956 246 0 0 25 0 1 0 829141144 204857344 47561 33554432000 134512640 137138936 4287877840 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15495/statm: 50014 47561 192 642 0 49370 0 Current children cumulated CPU time (s) 1792.02 Current children cumulated vsize (KiB) 200056 [startup+1795.2 s] /proc/loadavg: 2.07 2.03 1.94 5/465 15571 /proc/meminfo: memFree=29126540/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=200056 CPUtime=1795.21 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 49115 0 0 0 179275 246 0 0 25 0 1 0 829141144 204857344 47561 33554432000 134512640 137138936 4287877840 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15495/statm: 50014 47561 192 642 0 49370 0 Current children cumulated CPU time (s) 1795.21 Current children cumulated vsize (KiB) 200056 [startup+1796.8 s] /proc/loadavg: 2.07 2.03 1.94 5/465 15571 /proc/meminfo: memFree=29126540/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=200056 CPUtime=1796.81 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 49115 0 0 0 179434 247 0 0 25 0 1 0 829141144 204857344 47561 33554432000 134512640 137138936 4287877840 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15495/statm: 50014 47561 192 642 0 49370 0 Current children cumulated CPU time (s) 1796.81 Current children cumulated vsize (KiB) 200056 [startup+1797.6 s] /proc/loadavg: 2.07 2.03 1.94 5/465 15571 /proc/meminfo: memFree=29126416/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=200056 CPUtime=1797.61 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 49115 0 0 0 179514 247 0 0 25 0 1 0 829141144 204857344 47561 33554432000 134512640 137138936 4287877840 18446744073709551615 136502600 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15495/statm: 50014 47561 192 642 0 49370 0 Current children cumulated CPU time (s) 1797.61 Current children cumulated vsize (KiB) 200056 [startup+1797.8 s] /proc/loadavg: 2.07 2.03 1.94 5/465 15571 /proc/meminfo: memFree=29126416/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=200056 CPUtime=1797.81 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 49115 0 0 0 179534 247 0 0 25 0 1 0 829141144 204857344 47561 33554432000 134512640 137138936 4287877840 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15495/statm: 50014 47561 192 642 0 49370 0 Current children cumulated CPU time (s) 1797.81 Current children cumulated vsize (KiB) 200056 [startup+1797.9 s] /proc/loadavg: 2.07 2.03 1.94 5/465 15571 /proc/meminfo: memFree=29126416/32950928 swapFree=45617076/67111528 [pid=15495] ppid=15493 vsize=200056 CPUtime=1797.91 cores=0,2,4,6 /proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 49115 0 0 0 179544 247 0 0 25 0 1 0 829141144 204857344 47561 33554432000 134512640 137138936 4287877840 18446744073709551615 136504089 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15495/statm: 50014 47561 192 642 0 49370 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 200056 Child status: 0 Real time (s): 1797.99 CPU time (s): 1798.01 CPU user time (s): 1795.53 CPU system time (s): 2.48162 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 201028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.53 system time used= 2.48162 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 49116 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= 4210 runsolver used 8.66768 second user time and 18.6352 second system time The end
Begin job on node123 at 2011-06-04 10:16:53 IDJOB=3463546 IDBENCH=1850 IDSOLVER=1955 FILE ID=node123/3463546-1307175413 RUNJOBID= node123-1307174570-15260 PBS_JOBID= 13508855 Free space on /tmp= 73856 MiB SOLVER NAME= bsolo 3.2 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3463546-1307175413/watcher-3463546-1307175413 -o /tmp/evaluation-result-3463546-1307175413/solver-3463546-1307175413 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463546-1307175413.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 374deb5d477559ba9c51d0ad1d758624 RANDOM SEED=175303008 node123.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.838 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.67 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.838 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.15 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.838 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.75 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.838 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.82 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.838 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.74 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.838 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.80 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.838 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.74 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.838 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30014568 kB Buffers: 305960 kB Cached: 393500 kB SwapCached: 9456 kB Active: 2320592 kB Inactive: 335224 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30014568 kB SwapTotal: 67111528 kB SwapFree: 45617076 kB Dirty: 4276 kB Writeback: 8 kB AnonPages: 1954620 kB Mapped: 24312 kB Slab: 134624 kB PageTables: 78236 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 133393136 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= 73852 MiB End job on node123 at 2011-06-04 10:46:51