Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB09: bsolo 3.1 | SAT | 25 | 1798 | 1798.38 |
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 | 1.19682 |
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.1 - 13/04/2009 : 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 Memory Limit set to 15500 MB 0.00/0.00 c Instance file HOME/instance-3731099-1338686049.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.016 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.044 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.49/1.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.57 c 53 2112 5021 24358 4 16342 44431 63 963 0.06 1.49/1.57 c 154 2112 5127 29118 5 16629 48875 169 1833 0.08 1.49/1.57 c 404 2112 5394 40949 7 17544 53763 436 2748 0.15 1.49/1.57 c 879 2112 5876 65879 11 18614 59140 918 3139 0.28 1.49/1.57 c 1692 2112 6704 112045 16 20379 65055 1746 3198 0.53 1.49/1.57 c 3012 2112 8043 182093 22 23146 71561 3085 3317 0.91 1.49/1.57 c 5093 2112 10127 290086 28 27377 78718 5169 3268 1.56 1.49/1.57 o 27 718.70/718.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 718.70/718.96 c 5133 2112 10172 292488 28 27748 44431 5214 3271 1.57 718.70/718.96 c 5233 2112 10276 297269 28 28031 48875 5318 3278 1.60 718.70/718.96 c 5483 2112 10540 311231 29 28582 53763 5582 3277 1.67 718.70/718.96 c 5959 2112 11021 337603 30 29551 59140 6063 3285 1.81 718.70/718.96 c 6773 2112 11857 391802 33 31600 65055 6899 3287 2.06 718.70/718.96 c 8093 2112 13196 452746 34 34354 71561 8238 3212 2.52 718.70/718.96 c 10175 2112 15308 562489 36 38657 78718 10350 3132 3.25 718.70/718.96 c 13398 2112 18536 713487 38 45169 86590 13578 3050 4.39 718.70/718.96 c 18334 2112 23791 1079626 45 55840 95250 18833 2826 6.49 718.70/718.96 c 25840 2112 31319 1445182 46 71192 104776 26361 2767 9.34 718.70/718.96 c 37201 2112 42690 1982090 46 94074 115254 37732 2523 14.74 718.70/718.96 c 54345 2112 60154 3066754 50 129256 126780 55196 2210 24.58 718.70/718.96 c 80164 2112 86130 4601173 53 181590 139459 81172 1987 40.34 718.70/718.96 c 118996 2112 125332 6643429 53 261451 153405 120374 1478 80.48 718.70/718.96 c 177348 2112 44207 2665093 60 95418 168746 39249 1327 133.60 718.70/718.96 c 264980 2112 132018 6978030 52 271432 185621 127060 1083 244.65 718.70/718.96 c 396532 2112 91204 5011383 54 189614 204184 86246 1056 375.48 718.70/718.96 c 593964 2112 97037 4570888 47 200449 224603 92079 862 688.68 718.70/718.96 o 26 730.59/730.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 730.59/730.86 c 641747 2112 145138 7210015 49 297593 44431 140180 892 718.77 730.59/730.86 c 641847 2112 17844 733129 41 42279 48875 12886 879 730.04 730.59/730.86 c 642097 2112 18099 743924 41 42858 53763 13141 879 730.11 730.59/730.86 c 642572 2112 18587 768580 41 43931 59140 13629 879 730.26 730.59/730.86 c 643385 2112 19402 802398 41 45609 65055 14444 880 730.58 730.59/730.86 o 25 1797.91/1798.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.91/1798.38 c 643618 2112 19647 814929 41 46411 44431 14689 880 730.67 1797.91/1798.38 c 643718 2112 19751 819197 41 46707 48875 14793 880 730.70 1797.91/1798.38 c 643969 2112 20012 833607 41 47370 53763 15054 881 730.79 1797.91/1798.38 c 644444 2112 20492 854971 41 48441 59140 15534 881 730.95 1797.91/1798.38 c 645257 2112 21325 909662 42 50214 65055 16367 882 731.27 1797.91/1798.38 c 646577 2112 22656 972007 42 53008 71561 17698 883 731.71 1797.91/1798.38 c 648658 2112 24802 1082539 43 57343 78718 19844 885 732.48 1797.91/1798.38 c 651881 2112 28074 1245445 44 63961 86590 23116 888 733.70 1797.91/1798.38 c 656818 2112 33032 1532040 46 73918 95250 28074 892 736.00 1797.91/1798.38 c 664324 2112 40602 1872017 46 89364 104776 35644 898 738.99 1797.91/1798.38 c 675685 2112 52244 2554986 48 112907 115254 47286 907 744.45 1797.91/1798.38 c 692830 2112 69491 3643582 52 147807 126780 64533 921 751.82 1797.91/1798.38 c 718649 2112 95624 5130274 53 201348 139459 90666 934 769.39 1797.91/1798.38 c 757481 2112 134658 7114622 52 279464 153405 129700 927 816.98 1797.91/1798.38 c 815833 2112 51389 2147790 41 109241 168746 46431 947 860.92 1797.91/1798.38 c 903466 2112 139378 5727483 41 285581 185621 134420 967 934.15 1797.91/1798.38 c 1035018 2112 98220 4655433 47 203094 204184 93262 983 1051.93 1797.91/1798.38 c 1232451 2112 104076 4983701 47 215064 224603 99118 1028 1198.62 1797.91/1798.38 c 1528703 2111 191462 9538834 49 390671 247064 186504 1052 1451.79 1797.91/1798.38 c Resources Exceeded 1797.91/1798.38 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/1798.38 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1798.38 c 49 1804003 1041265 4864486 233889 9374014 228931 1003 1798.00 1797.91/1798.38 c Objective: 25 1797.91/1798.38 s SATISFIABLE 1797.91/1798.38 c Total time: 1798 s
OK 25
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-3731099-1338686049/watcher-3731099-1338686049 -o /tmp/evaluation-result-3731099-1338686049/solver-3731099-1338686049 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3731099-1338686049.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.93 1.98 1.98 3/177 20357 /proc/meminfo: memFree=28567456/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=11132 CPUtime=0 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 332 0 0 0 0 0 0 0 20 0 1 0 334733426 11399168 285 33554432000 134512640 137136520 4294593296 4294591704 136504651 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/20357/statm: 2783 285 185 641 0 2086 0 [startup+0.0651611 s] /proc/loadavg: 1.93 1.98 1.98 3/177 20357 /proc/meminfo: memFree=28567456/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=12404 CPUtime=0.05 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 830 0 0 0 5 0 0 0 20 0 1 0 334733426 12701696 658 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/20357/statm: 3101 658 197 641 0 2457 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 12404 [startup+0.100216 s] /proc/loadavg: 1.93 1.98 1.98 3/177 20357 /proc/meminfo: memFree=28567456/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=12344 CPUtime=0.09 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 830 0 0 0 9 0 0 0 20 0 1 0 334733426 12640256 658 33554432000 134512640 137136520 4294593296 4294591640 134598550 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/20357/statm: 3086 658 197 641 0 2442 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12344 [startup+0.300181 s] /proc/loadavg: 1.93 1.98 1.98 3/177 20357 /proc/meminfo: memFree=28567456/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=12816 CPUtime=0.29 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 936 0 0 0 29 0 0 0 20 0 1 0 334733426 13123584 764 33554432000 134512640 137136520 4294593296 4294592224 134544714 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/20357/statm: 3204 764 197 641 0 2560 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12816 [startup+0.700178 s] /proc/loadavg: 1.93 1.98 1.98 3/177 20357 /proc/meminfo: memFree=28567456/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=13896 CPUtime=0.69 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 1215 0 0 0 69 0 0 0 20 0 1 0 334733426 14229504 1043 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/20357/statm: 3474 1043 197 641 0 2830 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13896 [startup+1.50018 s] /proc/loadavg: 1.93 1.98 1.98 3/178 20358 /proc/meminfo: memFree=28562628/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=15924 CPUtime=1.49 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 1732 0 0 0 148 1 0 0 20 0 1 0 334733426 16306176 1560 33554432000 134512640 137136520 4294593296 4294592224 134543927 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/20357/statm: 3981 1560 197 641 0 3337 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15924 [startup+3.10018 s] /proc/loadavg: 1.93 1.98 1.98 3/178 20358 /proc/meminfo: memFree=28558164/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=19872 CPUtime=3.08 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 2708 0 0 0 306 2 0 0 20 0 1 0 334733426 20348928 2536 33554432000 134512640 137136520 4294593296 4294592192 134543819 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/20357/statm: 4968 2536 197 641 0 4324 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 19872 [startup+6.30018 s] /proc/loadavg: 1.94 1.98 1.98 3/178 20358 /proc/meminfo: memFree=28547624/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=27304 CPUtime=6.29 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 4573 0 0 0 625 4 0 0 20 0 1 0 334733426 27959296 4401 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/20357/statm: 6826 4401 197 641 0 6182 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27304 [startup+12.7002 s] /proc/loadavg: 1.94 1.98 1.98 3/178 20358 /proc/meminfo: memFree=28532380/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=38600 CPUtime=12.68 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 7389 0 0 0 1263 5 0 0 20 0 1 0 334733426 39526400 7217 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/20357/statm: 9650 7217 197 641 0 9006 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 38600 [startup+25.5002 s] /proc/loadavg: 1.95 1.98 1.98 3/178 20358 /proc/meminfo: memFree=28511904/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=58936 CPUtime=25.49 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 12479 0 0 0 2539 10 0 0 20 0 1 0 334733426 60350464 12307 33554432000 134512640 137136520 4294593296 4294592224 134544402 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/20357/statm: 14734 12307 197 641 0 14090 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 58936 [startup+51.1002 s] /proc/loadavg: 1.97 1.98 1.98 3/178 20358 /proc/meminfo: memFree=28480856/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=90540 CPUtime=51.08 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 20378 0 0 0 5089 19 0 0 20 0 1 0 334733426 92712960 20206 33554432000 134512640 137136520 4294593296 4294591936 134617423 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/20357/statm: 22635 20206 198 641 0 21991 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 90540 [startup+102.306 s] /proc/loadavg: 1.98 1.98 1.98 3/178 20358 /proc/meminfo: memFree=28432544/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=136528 CPUtime=102.23 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 31906 0 0 0 10194 29 0 0 20 0 1 0 334733426 139804672 31699 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20357/statm: 34132 31699 198 641 0 33488 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 136528 [startup+162.3 s] /proc/loadavg: 1.99 1.98 1.98 3/178 20358 /proc/meminfo: memFree=28421636/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=146576 CPUtime=162.19 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 34616 0 0 0 16177 42 0 0 20 0 1 0 334733426 150093824 34228 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20357/statm: 36644 34228 198 641 0 36000 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 146576 [startup+222.3 s] /proc/loadavg: 1.99 1.98 1.98 3/178 20359 /proc/meminfo: memFree=28381832/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=146576 CPUtime=222.17 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 34616 0 0 0 22171 46 0 0 20 0 1 0 334733426 150093824 34228 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20357/statm: 36644 34228 198 641 0 36000 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 146576 [startup+282.3 s] /proc/loadavg: 1.99 1.98 1.98 3/178 20359 /proc/meminfo: memFree=28340168/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=146604 CPUtime=282.17 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 34624 0 0 0 28163 54 0 0 20 0 1 0 334733426 150122496 34236 33554432000 134512640 137136520 4294593296 4294591812 136509061 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20357/statm: 36651 34236 198 641 0 36007 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 146604 [startup+342.3 s] /proc/loadavg: 1.99 1.98 1.98 3/178 20359 /proc/meminfo: memFree=28246424/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=164884 CPUtime=342.16 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 39361 0 0 0 34152 64 0 0 20 0 1 0 334733426 168841216 38790 33554432000 134512640 137136520 4294593296 4294592400 134545039 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20357/statm: 41221 38790 198 641 0 40577 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 164884 [startup+402.3 s] /proc/loadavg: 1.99 1.98 1.98 3/179 20362 /proc/meminfo: memFree=28246140/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=164884 CPUtime=402.15 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 39361 0 0 0 40140 75 0 0 20 0 1 0 334733426 168841216 38790 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20357/statm: 41221 38790 198 641 0 40577 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 164884 [startup+462.3 s] /proc/loadavg: 1.99 1.98 1.98 3/178 20362 /proc/meminfo: memFree=28246272/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=164884 CPUtime=462.14 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 39361 0 0 0 46131 83 0 0 20 0 1 0 334733426 168841216 38790 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20357/statm: 41221 38790 198 641 0 40577 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 164884 [startup+522.3 s] /proc/loadavg: 1.99 1.98 1.98 3/178 20363 /proc/meminfo: memFree=28240364/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=171480 CPUtime=522.12 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 41028 0 0 0 52123 89 0 0 20 0 1 0 334733426 175595520 40448 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20357/statm: 42870 40448 198 641 0 42226 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 171480 [startup+582.3 s] /proc/loadavg: 1.99 1.98 1.98 3/178 20363 /proc/meminfo: memFree=28230196/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=180772 CPUtime=582.12 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 43554 0 0 0 58119 93 0 0 20 0 1 0 334733426 185110528 42773 33554432000 134512640 137136520 4294593296 4294592336 134540859 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20357/statm: 45193 42773 198 641 0 44549 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 180772 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=28195832/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=180772 CPUtime=1062.03 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 43699 0 0 0 106019 184 0 0 20 0 1 0 334733426 185110528 42773 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20357/statm: 45193 42773 198 641 0 44549 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 180772 [startup+1122.3 s] /proc/loadavg: 2.07 2.02 2.00 3/178 20368 /proc/meminfo: memFree=28158072/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=180772 CPUtime=1122.02 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 43699 0 0 0 112005 197 0 0 20 0 1 0 334733426 185110528 42773 33554432000 134512640 137136520 4294593296 4294592336 134540859 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20357/statm: 45193 42773 198 641 0 44549 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 180772 [startup+1182.3 s] /proc/loadavg: 2.02 2.01 2.00 3/178 20368 /proc/meminfo: memFree=28158128/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=180772 CPUtime=1182.01 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 43699 0 0 0 117993 208 0 0 20 0 1 0 334733426 185110528 42773 33554432000 134512640 137136520 4294593296 4294592224 134543819 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20357/statm: 45193 42773 198 641 0 44549 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 180772 [startup+1242.3 s] /proc/loadavg: 2.01 2.00 2.00 3/178 20368 /proc/meminfo: memFree=28158004/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=180772 CPUtime=1242.01 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 43699 0 0 0 123973 228 0 0 20 0 1 0 334733426 185110528 42773 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20357/statm: 45193 42773 198 641 0 44549 0 Current children cumulated CPU time (s) 1242.01 Current children cumulated vsize (KiB) 180772 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 20369 /proc/meminfo: memFree=28158120/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=180852 CPUtime=1302 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 43719 0 0 0 129963 237 0 0 20 0 1 0 334733426 185192448 42793 33554432000 134512640 137136520 4294593296 4294592224 134543948 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20357/statm: 45213 42793 198 641 0 44569 0 Current children cumulated CPU time (s) 1302 Current children cumulated vsize (KiB) 180852 [startup+1362.3 s] /proc/loadavg: 2.05 2.01 2.00 3/178 20578 /proc/meminfo: memFree=28158376/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=180852 CPUtime=1361.99 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 43719 0 0 0 135950 249 0 0 20 0 1 0 334733426 185192448 42793 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20357/statm: 45213 42793 198 641 0 44569 0 Current children cumulated CPU time (s) 1361.99 Current children cumulated vsize (KiB) 180852 [startup+1422.31 s] /proc/loadavg: 2.02 2.01 2.00 3/177 20579 /proc/meminfo: memFree=28158756/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=180852 CPUtime=1421.98 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 43719 0 0 0 141943 255 0 0 20 0 1 0 334733426 185192448 42793 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20357/statm: 45213 42793 198 641 0 44569 0 Current children cumulated CPU time (s) 1421.98 Current children cumulated vsize (KiB) 180852 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20579 /proc/meminfo: memFree=28158756/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=180852 CPUtime=1481.97 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 43719 0 0 0 147935 262 0 0 20 0 1 0 334733426 185192448 42793 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20357/statm: 45213 42793 198 641 0 44569 0 Current children cumulated CPU time (s) 1481.97 Current children cumulated vsize (KiB) 180852 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20579 /proc/meminfo: memFree=28132344/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=207264 CPUtime=1541.96 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 50560 0 0 0 153924 272 0 0 20 0 1 0 334733426 212238336 49391 33554432000 134512640 137136520 4294593296 4294592336 134540859 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20357/statm: 51816 49391 198 641 0 51172 0 Current children cumulated CPU time (s) 1541.96 Current children cumulated vsize (KiB) 207264 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 20582 /proc/meminfo: memFree=28132088/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=207264 CPUtime=1601.95 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 50560 0 0 0 159912 283 0 0 20 0 1 0 334733426 212238336 49391 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20357/statm: 51816 49391 198 641 0 51172 0 Current children cumulated CPU time (s) 1601.95 Current children cumulated vsize (KiB) 207264 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20630 /proc/meminfo: memFree=28594684/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=207264 CPUtime=1661.94 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 50560 0 0 0 165903 291 0 0 20 0 1 0 334733426 212238336 49391 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20357/statm: 51816 49391 198 641 0 51172 0 Current children cumulated CPU time (s) 1661.94 Current children cumulated vsize (KiB) 207264 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20631 /proc/meminfo: memFree=28475260/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=207264 CPUtime=1721.93 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 50573 0 0 0 171892 301 0 0 20 0 1 0 334733426 212238336 49391 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20357/statm: 51816 49391 198 641 0 51172 0 Current children cumulated CPU time (s) 1721.93 Current children cumulated vsize (KiB) 207264 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20631 /proc/meminfo: memFree=28395804/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=207264 CPUtime=1781.91 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 50573 0 0 0 177882 309 0 0 20 0 1 0 334733426 212238336 49391 33554432000 134512640 137136520 4294593296 4294592184 135982525 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20357/statm: 51816 49391 198 641 0 51172 0 Current children cumulated CPU time (s) 1781.91 Current children cumulated vsize (KiB) 207264 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20631 /proc/meminfo: memFree=28385000/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=207264 CPUtime=1791.51 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 50573 0 0 0 178841 310 0 0 20 0 1 0 334733426 212238336 49391 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20357/statm: 51816 49391 198 641 0 51172 0 Current children cumulated CPU time (s) 1791.51 Current children cumulated vsize (KiB) 207264 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20631 /proc/meminfo: memFree=28382396/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=207264 CPUtime=1794.72 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 50573 0 0 0 179161 311 0 0 20 0 1 0 334733426 212238336 49391 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20357/statm: 51816 49391 198 641 0 51172 0 Current children cumulated CPU time (s) 1794.72 Current children cumulated vsize (KiB) 207264 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20631 /proc/meminfo: memFree=28381156/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=207264 CPUtime=1796.31 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 50573 0 0 0 179320 311 0 0 20 0 1 0 334733426 212238336 49391 33554432000 134512640 137136520 4294593296 4294592224 134543819 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20357/statm: 51816 49391 198 641 0 51172 0 Current children cumulated CPU time (s) 1796.31 Current children cumulated vsize (KiB) 207264 [startup+1797.5 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20631 /proc/meminfo: memFree=28380288/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=207264 CPUtime=1797.11 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 50573 0 0 0 179400 311 0 0 20 0 1 0 334733426 212238336 49391 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20357/statm: 51816 49391 198 641 0 51172 0 Current children cumulated CPU time (s) 1797.11 Current children cumulated vsize (KiB) 207264 [startup+1797.9 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20631 /proc/meminfo: memFree=28380288/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=207264 CPUtime=1797.51 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 50573 0 0 0 179440 311 0 0 20 0 1 0 334733426 212238336 49391 33554432000 134512640 137136520 4294593296 4294592224 134544112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20357/statm: 51816 49391 198 641 0 51172 0 Current children cumulated CPU time (s) 1797.51 Current children cumulated vsize (KiB) 207264 [startup+1798.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20631 /proc/meminfo: memFree=28380288/32873844 swapFree=6872/6872 [pid=20357] ppid=20355 vsize=207264 CPUtime=1797.91 cores=0,2,4,6 /proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 50573 0 0 0 179480 311 0 0 20 0 1 0 334733426 212238336 49391 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20357/statm: 51816 49391 198 641 0 51172 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 207264 Child status: 0 Real time (s): 1798.38 CPU time (s): 1798 CPU user time (s): 1794.88 CPU system time (s): 3.11753 CPU usage (%): 99.9788 Max. virtual memory (cumulated for all children) (KiB): 208236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.88 system time used= 3.11753 maximum resident set size= 198536 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50575 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= 96 involuntary context switches= 2185 runsolver used 3.00454 second user time and 8.18576 second system time The end
Begin job on node106 at 2012-06-03 03:14:09 IDJOB=3731099 IDBENCH=1850 IDSOLVER=2320 FILE ID=node106/3731099-1338686049 RUNJOBID= node106-1338679215-16850 PBS_JOBID= 14636707 Free space on /tmp= 70864 MiB SOLVER NAME= PB09: bsolo 3.1 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 -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731099-1338686049/watcher-3731099-1338686049 -o /tmp/evaluation-result-3731099-1338686049/solver-3731099-1338686049 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3731099-1338686049.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 374deb5d477559ba9c51d0ad1d758624 RANDOM SEED=57751106 node106.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.065 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.13 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.065 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.065 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 : 5331.91 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.065 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.92 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.065 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.065 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.065 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.065 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28568100 kB Buffers: 281588 kB Cached: 2931076 kB SwapCached: 1936 kB Active: 1216684 kB Inactive: 2243852 kB Active(anon): 245380 kB Inactive(anon): 4868 kB Active(file): 971304 kB Inactive(file): 2238984 kB Unevictable: 6872 kB Mlocked: 6872 kB SwapTotal: 67108856 kB SwapFree: 67100520 kB Dirty: 4056 kB Writeback: 0 kB AnonPages: 254796 kB Mapped: 9740 kB Shmem: 0 kB Slab: 702752 kB SReclaimable: 144448 kB SUnreclaim: 558304 kB KernelStack: 1456 kB PageTables: 4508 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 378084 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 163840 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3731099-1338686049.opb Free space on /tmp at the end= 70860 MiB End job on node106 at 2012-06-03 03:44:08