Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Pueblo 1.4 | SAT | 51.8841 | 51.9007 |
Name | normalized-PB07/PURE-SAT/SAT07/crafted/Medium/ contest05/others/QG7a-gensys-ukn001.sat05-3841.reshuffled-07.opb |
MD5SUM | f00594134d0b6cffe6c631152619a30c |
Bench Category | PURE-SAT (instances containing only clauses) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 51.8841 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of variables | 2737 |
Total number of constraints | 18375 |
Number of constraints which are clauses | 18375 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 13 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 11 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 24 |
Number of bits of the biggest sum of numbers | 5 |
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 Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 0.59/0.61 c starting to Solve 0.59/0.61 c #variables read: 2737 - #constraints read: 17999 51.78/51.89 c total time : 51.88 s 51.78/51.89 s SATISFIABLE 51.78/51.89 v -x1117 -x1241 x583 -x1360 -x653 -x183 x247 x1432 x843 -x2369 -x1229 -x2687 x396 -x1825 x1295 x1876 -x1511 -x270 x253 -x2016 51.78/51.89 v -x657 x2649 -x1641 -x1660 -x1739 x569 x2595 -x841 -x2069 -x2294 -x1409 x1914 -x284 -x2165 -x2645 -x2251 -x1144 x2039 -x1231 51.78/51.89 v -x875 -x1596 x2346 -x2072 -x537 x1175 x1811 x1752 x1014 x243 -x1179 -x812 -x968 -x1430 -x357 -x675 -x1711 -x472 -x2293 -x1788 51.78/51.89 v -x2226 -x1299 x424 -x2581 -x577 x2726 x1271 -x2051 -x823 -x1645 x1721 -x487 -x2106 -x2573 -x1673 -x2533 -x2611 -x2340 -x1223 51.78/51.89 v -x352 x1315 -x2657 -x1085 -x1478 x1466 -x339 -x207 x178 x1015 -x790 -x2514 -x1681 -x2670 -x2290 x883 -x1763 -x1499 -x1947 51.78/51.89 v -x2104 -x1840 -x2082 -x2368 -x711 x1615 x1818 x1940 -x1261 -x2597 -x698 -x1075 -x773 -x96 x854 x1809 -x17 -x1317 -x373 -x1472 51.78/51.89 v -x2578 -x1780 -x1797 -x1640 -x1591 -x2071 -x139 -x1868 -x667 -x2695 x931 x921 -x1758 -x1795 -x2055 x245 x1130 x2652 x579 51.78/51.89 v x2216 -x909 x755 -x2209 x2678 -x2654 -x1953 -x1259 -x171 x478 x614 -x544 -x1191 -x384 -x1603 -x115 -x453 -x353 x2027 -x399 51.78/51.89 v -x1786 -x776 x311 -x1096 x2098 -x2201 -x1330 -x174 -x420 x1659 x2177 -x565 -x2308 -x1587 x338 -x541 x1851 x1112 -x307 -x1771 51.78/51.89 v x1312 x1244 -x1839 x728 -x369 -x2731 x570 -x431 x2586 -x2629 x1139 -x2653 x2541 -x1707 -x252 -x1320 x2186 -x456 -x2584 -x378 51.78/51.89 v -x2152 -x2048 x1687 -x623 -x1022 -x701 x1196 -x1733 x1160 -x684 -x1442 -x1102 -x962 x2582 -x2631 -x1003 -x515 -x1726 x1479 51.78/51.89 v -x101 -x1331 x443 x2026 x1049 -x1853 x2416 -x161 -x7 -x1397 -x116 -x858 x1803 x2386 -x1379 x2622 x1361 x944 -x757 x970 -x123 51.78/51.89 v -x1372 x1350 x2560 -x1465 -x2737 -x2712 -x1306 -x1171 -x2433 -x1913 -x2403 -x2650 -x1163 -x1485 -x890 -x2285 -x72 -x388 51.78/51.89 v -x482 -x363 -x983 -x2120 -x668 -x1286 x1828 -x1827 -x1446 -x1972 -x2415 x2342 x2441 x2545 x2535 x678 -x530 x2119 x2401 x308 51.78/51.89 v -x502 -x2115 x2667 x1907 x804 -x1898 -x2020 -x1421 -x1874 -x263 -x505 x1393 x540 x249 -x262 x1957 x111 -x1334 -x961 -x359 51.78/51.89 v x2510 x1184 -x2713 -x2221 -x881 x1419 -x188 -x196 -x229 -x2344 -x2674 -x646 -x1064 x1401 x1743 -x2503 x943 x2083 -x163 -x1990 51.78/51.89 v -x2227 x1998 -x1901 -x219 -x634 x1016 -x296 x2675 -x106 -x960 -x1964 -x2381 -x2424 -x1439 -x2307 -x2118 -x1974 x2643 -x2534 51.78/51.89 v -x1616 -x1440 -x1665 -x2709 -x1382 -x2458 x871 x1567 x218 -x340 -x1569 -x1199 -x708 -x774 x2334 -x607 -x2592 -x2568 -x1451 51.78/51.89 v -x674 -x30 -x109 -x2720 -x582 x2661 x1536 x2068 -x1979 -x141 -x1821 -x2310 -x430 -x524 -x1568 x1667 -x1404 x2429 x489 -x2215 51.78/51.89 v -x2178 -x1704 -x761 x458 x633 -x844 x1365 x2192 -x346 -x414 -x2203 -x1683 -x1798 x1017 -x2409 -x1861 x811 x15 x444 -x2515 51.78/51.89 v -x850 -x331 x971 -x2163 -x194 x86 -x1528 -x1942 -x1746 x870 -x1753 -x85 -x793 x244 -x201 x727 -x442 x2160 x526 x222 -x1108 51.78/51.89 v x935 -x2159 x651 x1169 -x956 x504 x1173 x152 -x590 x293 x1246 -x1274 -x319 -x986 -x2176 -x1376 -x2015 -x2488 -x1731 -x1341 51.78/51.89 v -x1186 -x306 -x2680 -x899 -x2188 -x44 -x1954 x2054 -x1190 x78 -x1177 x460 -x169 x1325 -x679 x1549 -x589 x1517 -x1407 x1756 51.78/51.89 v x867 x1810 -x438 -x2583 x900 -x468 x2198 -x1209 -x1921 -x1658 -x462 -x567 -x2575 x1348 x1089 x710 x366 x1941 -x220 x1748 51.78/51.89 v -x2452 -x451 -x645 x1238 -x301 -x652 -x1582 -x2638 x1434 -x467 x210 x1545 -x238 x2287 -x2064 -x2218 -x2418 -x2565 -x1688 51.78/51.89 v -x1923 -x1065 x1352 -x466 -x2422 -x153 -x1805 -x2108 -x1476 -x1720 -x1120 -x1600 x1104 -x1448 -x2517 -x328 -x2291 x758 51.78/51.89 v -x155 -x1703 -x143 -x2499 -x747 -x327 -x2288 -x538 x782 -x784 -x1534 -x1732 -x356 -x51 x1652 -x12 -x1920 x343 -x2553 -x405 51.78/51.89 v x866 -x603 -x147 -x2281 -x2379 -x1018 x1149 -x732 -x914 x1912 -x429 x2212 x1533 -x1958 -x797 x181 -x745 -x335 -x2519 -x1029 51.78/51.89 v -x990 -x1095 x1254 -x1814 -x1036 -x45 -x1460 -x122 -x2561 x2011 -x609 -x1493 -x780 -x1468 -x1970 -x383 -x87 -x2383 -x2338 51.78/51.89 v -x1950 -x1481 -x1663 x490 -x1303 -x302 -x985 -x1441 -x1980 -x2540 -x1043 -x2292 -x2388 x1284 -x2004 -x1172 -x2096 -x972 51.78/51.89 v -x2580 x173 x2398 -x2543 -x2207 x2210 x2425 -x889 -x403 -x347 -x2624 -x994 -x2722 x1996 x691 x2260 -x742 -x832 x1852 -x584 51.78/51.89 v x1583 -x2672 -x1608 -x543 -x2511 x1566 -x2077 -x904 -x915 -x683 -x640 -x1832 -x135 x2593 x2471 x1557 x256 -x2538 x2633 -x361 51.78/51.89 v -x2391 -x2187 -x1236 -x2018 -x1048 -x693 -x2280 -x2462 -x2080 x2213 x820 -x436 -x1668 -x1383 -x1193 -x1740 -x1426 -x1116 51.78/51.89 v x848 -x1858 -x297 -x2217 x254 -x510 -x1109 -x240 -x2616 x2554 x1135 -x89 x2702 x2111 -x2092 x1078 -x936 x1879 x741 -x2364 51.78/51.89 v -x586 x2102 -x1906 -x217 -x1724 -x2500 -x2139 -x500 x315 -x2724 x1082 -x576 -x2267 x1985 -x2410 x2250 -x2623 x637 -x1718 51.78/51.89 v -x2065 -x1318 -x1322 -x1301 -x2199 -x2572 x2230 -x1342 -x67 -x1497 -x1960 -x690 x794 -x2546 x2326 -x2523 x2626 x2555 x2421 51.78/51.89 v -x325 x2025 -x573 x2009 -x372 -x1835 -x2042 -x840 -x1831 x1700 x1773 -x2598 -x2366 x2614 -x1201 -x65 -x1519 -x1107 -x447 51.78/51.89 v -x418 -x613 -x2428 -x1323 -x1046 -x1384 -x1945 -x1766 -x1180 -x275 -x303 -x2556 -x1830 -x827 x1512 -x83 -x989 -x1540 -x2301 51.78/51.89 v x1188 -x1695 x1897 x1625 -x2696 x605 -x2646 -x2419 x525 x1042 -x1883 -x341 -x2350 -x1183 -x617 -x807 -x1894 -x992 x2336 51.78/51.89 v -x2220 -x2235 -x2225 x1882 -x492 -x6 -x2035 -x2087 x1131 -x1664 -x421 -x781 -x1262 -x770 -x358 -x2156 -x408 x2298 -x2348 51.78/51.89 v -x610 -x2091 -x2282 -x600 x1850 -x2164 x2352 -x861 -x1343 -x1859 x16 -x2436 -x1157 x407 -x2266 -x1973 -x1744 -x948 -x2529 51.78/51.89 v -x1269 -x286 -x809 x834 -x1636 -x1219 -x1498 x215 x879 x125 -x2689 -x1072 -x1063 -x783 -x2375 -x1329 x1399 x718 x1749 x2319 51.78/51.89 v x2497 -x1470 -x2609 -x1607 -x282 -x1521 -x1546 -x2277 -x825 -x2430 -x280 x1870 -x2590 -x2143 x326 -x635 -x2006 -x1167 -x234 51.78/51.89 v -x2153 -x92 -x1378 -x2481 x2468 -x1682 -x2532 -x2146 -x2132 -x227 -x1038 -x1669 x261 -x2619 -x1300 -x81 -x629 -x1357 -x1520 51.78/51.89 v x2099 x2269 x1502 x1991 -x885 -x946 -x738 x475 -x186 x2528 x1562 -x1392 -x852 -x1030 -x1457 -x1674 -x1794 x1563 x53 -x523 51.78/51.89 v x20 -x1975 -x82 x2370 -x1363 -x1019 -x1073 -x2034 -x1458 x1632 x1345 -x129 -x1775 -x1560 -x1433 -x2604 -x176 -x137 -x1192 51.78/51.89 v -x1265 -x988 -x2610 -x1817 -x518 -x973 -x2236 -x1025 -x404 -x2588 x398 -x2189 -x2518 -x2173 -x2306 -x979 -x2564 -x2478 51.78/51.89 v -x2049 x2389 -x2402 -x1550 -x1525 -x476 -x2526 -x1755 -x2625 -x2242 -x2505 -x2585 -x124 x365 x2208 -x2184 -x704 -x434 -x1986 51.78/51.89 v -x333 -x283 -x200 -x891 -x2705 -x265 -x597 -x532 -x903 -x1484 -x1692 -x760 -x602 -x1097 -x1594 -x1800 -x2205 -x2606 -x136 51.78/51.89 v -x1237 -x2141 -x1416 -x276 -x2297 -x1388 -x1812 x1643 x2574 -x1997 x810 x2655 -x2378 -x2126 -x1770 -x1586 -x1264 -x1243 51.78/51.89 v -x878 x2450 -x279 -x2252 x721 x1630 -x513 -x1391 -x1071 -x1884 -x2651 -x945 -x1514 -x1028 -x2367 x777 -x2380 -x2181 x271 51.78/51.89 v -x876 -x1490 -x2710 x1504 -x1513 -x2316 x1423 -x1362 -x298 x1398 -x386 -x1993 -x1837 -x2605 -x334 -x1893 -x713 -x1431 -x97 51.78/51.89 v -x2276 -x522 -x120 x2182 x140 -x48 -x2664 -x1260 -x2137 -x991 -x23 -x687 -x1529 -x1778 -x190 -x74 -x1326 -x1848 -x1132 x2105 51.78/51.89 v x995 x1784 -x611 x1787 x1538 -x1212 -x1670 -x2552 -x4 -x175 -x401 -x98 -x1984 -x348 -x213 -x833 -x56 -x503 -x2520 -x1281 51.78/51.89 v -x2485 -x1885 -x984 -x1208 -x170 -x799 -x964 -x1067 -x1181 -x1561 -x1929 -x730 -x507 -x1200 -x88 -x938 -x3 -x1298 x1359 51.78/51.89 v -x374 -x2668 -x1206 -x2547 x863 -x224 -x2487 x2317 x759 -x1249 x1878 -x768 x251 -x1491 -x953 -x666 -x2112 -x1552 -x310 -x1471 51.78/51.89 v -x1531 -x630 x802 x2372 -x647 -x1624 -x187 -x2444 -x1435 -x561 -x480 -x289 -x2204 -x2493 x517 -x1450 -x2615 -x1601 -x1962 51.78/51.89 v -x1464 -x108 -x39 -x412 -x1001 -x2454 -x1807 -x1150 -x1353 -x351 -x1887 -x2097 -x2684 -x195 -x1459 -x461 x849 -x1971 x2358 51.78/51.89 v -x2476 -x559 x955 -x2587 -x1461 -x2539 -x1332 -x2522 -x1578 -x2161 -x2117 -x902 -x2081 -x299 -x2671 -x413 -x1847 -x1981 51.78/51.89 v -x394 x2223 -x895 x2630 -x2727 -x1654 -x1925 -x2641 -x568 -x264 -x250 -x2240 -x1189 -x94 -x2001 -x836 -x1691 -x1579 -x2362 51.78/51.89 v -x324 -x50 -x893 -x2296 -x2309 -x808 -x1556 -x1542 x1592 x1936 -x2273 -x102 -x103 -x107 -x2056 -x1310 x2634 -x1967 -x1437 51.78/51.89 v -x1496 -x367 -x381 -x2613 x2246 -x1588 -x2304 -x43 -x496 -x1368 -x1872 -x2040 -x958 -x2442 -x1769 -x1187 -x865 -x1011 -x2558 51.78/51.89 v -x521 -x33 -x1699 -x2154 -x1006 -x625 -x1621 -x2084 -x534 -x1302 -x2439 -x260 -x2142 -x336 -x382 -x117 x1598 x2059 x486 51.78/51.89 v -x1767 -x22 -x1356 -x292 -x2494 -x2263 -x2095 -x1606 -x2144 x1411 -x1182 -x156 -x1152 -x21 -x312 -x1335 -x901 -x621 -x415 51.78/51.89 v -x2412 x267 -x1919 x1701 -x1747 -x779 -x112 x712 -x1400 -x2708 -x2045 -x2275 -x499 -x676 -x1678 -x2461 -x1052 -x2257 -x2349 51.78/51.89 v -x1620 -x2264 -x1705 -x159 x2268 -x2311 -x2570 -x2167 x1639 -x1462 -x1904 -x433 -x1280 -x204 -x664 -x1866 -x149 -x619 -x731 51.78/51.89 v -x1344 -x616 -x1007 -x1004 x1337 -x1595 -x1875 -x80 -x2214 -x2390 -x2692 -x596 -x1757 -x1227 -x2656 x1100 -x370 -x1133 51.78/51.89 v -x2038 -x332 -x59 -x641 -x1084 -x1653 -x2037 -x2124 -x128 -x126 -x2363 -x2211 -x2339 -x258 -x1819 -x2698 -x2190 -x1576 51.78/51.89 v -x1738 -x2109 -x2085 -x192 -x427 -x66 -x2202 -x1590 -x2090 x2062 -x2005 -x2131 -x355 -x1044 -x817 -x1103 -x450 -x856 -x1599 51.78/51.89 v -x2321 -x2557 -x771 -x2365 -x2700 -x2331 -x545 -x259 -x2033 -x2239 -x829 -x2041 -x1455 -x46 -x18 -x857 -x2621 -x801 -x860 51.78/51.89 v -x918 x739 -x1314 -x719 x553 x1526 -x395 -x1574 -x323 -x1849 -x859 -x580 -x1076 -x805 -x1158 -x1791 -x1121 -x1742 -x2691 51.78/51.89 v -x1617 -x1390 -x1287 -x835 -x980 -x1948 -x2175 -x892 -x2354 -x2328 -x1037 -x886 x911 x236 x1134 -x581 -x1251 -x1143 -x1090 51.78/51.89 v -x2256 -x1813 -x1032 -x1211 -x2682 -x529 -x2567 -x1456 -x585 -x2249 x1706 -x796 -x1672 -x1364 -x2734 -x2465 -x1009 -x2460 51.78/51.89 v -x1148 -x838 -x1965 -x2008 -x743 -x737 -x2075 -x2299 -x2599 x1373 x736 x715 x907 -x28 -x1294 -x1995 -x1010 -x2602 -x1257 51.78/51.89 v -x1420 -x1138 -x91 -x2686 -x449 -x2601 -x1224 -x2504 -x1714 -x556 -x563 -x608 -x1 -x2351 -x851 -x257 -x179 -x432 -x1543 51.78/51.89 v x2300 x940 x754 x1829 -x1275 -x2387 x2107 x1824 x375 -x1424 -x1381 -x2677 -x905 -x2259 -x952 -x19 -x2058 -x1873 -x493 -x2484 51.78/51.89 v -x1137 -x99 -x2716 -x377 -x947 -x574 -x1110 -x148 x1394 x620 -x2733 -x1978 -x426 -x1092 -x2089 -x47 x1272 x725 -x906 -x682 51.78/51.89 v -x1989 -x25 -x1952 -x2155 -x1245 -x735 x1256 -x1066 x2185 x1987 -x2157 -x304 -x406 -x1750 -x862 -x2286 -x2361 -x1937 -x1710 51.78/51.89 v -x2384 -x2324 -x1880 -x2571 -x1671 -x463 -x2357 -x1402 -x277 -x1422 -x2113 -x775 x1541 x70 x2483 -x2063 -x2078 -x1804 -x285 51.78/51.89 v -x1273 -x592 x1339 -x700 x1293 -x160 x185 -x2627 -x1903 -x1584 -x1754 -x1911 -x2636 -x806 -x550 -x1290 -x1741 -x226 -x342 51.78/51.89 v -x2 -x2644 -x95 -x733 -x1801 -x2019 -x2431 -x1408 -x2443 -x1410 -x1233 -x1865 -x1050 -x1988 -x746 -x1077 -x2548 -x31 -x740 51.78/51.89 v -x2002 -x2596 -x2509 -x2374 -x425 -x2231 -x205 -x211 -x1351 -x1369 -x762 -x750 -x2356 -x1713 -x744 -x1161 -x1796 -x1976 51.78/51.89 v -x1564 -x1445 -x1031 -x1367 -x965 x2536 -x223 -x1963 -x1024 -x1735 -x189 -x1506 -x2715 -x1307 -x2110 -x2512 -x13 -x1039 51.78/51.89 v -x1675 -x595 -x884 -x1354 -x1820 -x1604 -x853 -x2551 -x996 -x491 -x548 -x959 -x164 -x993 -x978 -x752 -x887 -x785 -x1159 51.78/51.89 v -x2248 -x1634 -x1637 -x748 -x680 -x751 -x1888 x2472 -x1429 -x2265 -x1507 -x2446 -x127 -x512 -x138 -x888 -x1012 -x2673 -x2706 51.78/51.89 v -x1113 -x445 -x2067 -x1086 -x1475 -x880 -x1638 -x1489 -x1580 -x52 -x587 -x2473 -x819 -x1283 -x792 -x1864 -x2333 -x376 -x2408 51.78/51.89 v -x2279 -x389 -x157 -x208 -x344 -x2312 -x2278 -x2524 -x2228 -x469 -x598 -x527 -x1932 -x2254 x1194 -x2603 -x1833 x2150 -x842 51.78/51.89 v -x1057 -x855 -x1221 -x1760 -x2373 -x1061 -x551 -x976 x2088 x2103 x1296 -x1886 -x1734 -x2193 -x2486 -x2061 -x2714 -x1021 51.78/51.89 v -x2464 -x2086 -x316 -x1111 -x1905 -x2145 -x2693 -x1708 -x787 -x917 -x2302 -x1547 -x2699 -x1474 -x557 -x1101 -x1816 -x1168 51.78/51.89 v -x1934 -x1789 -x1909 -x2066 -x2660 -x2685 -x1374 x1263 -x1128 -x2628 x206 x1248 -x11 -x417 -x1069 -x772 -x2550 x1697 x1418 51.78/51.89 v -x1572 -x2243 -x1047 -x1609 -x2323 -x1902 -x896 -x484 -x1355 -x1235 -x1154 -x2480 -x32 -x2031 -x624 -x1910 -x1651 -x1203 51.78/51.89 v -x520 -x2735 -x926 -x1623 -x643 -x2608 -x134 -x1926 -x2502 -x868 -x474 -x1045 -x2224 -x1002 -x1094 -x729 -x321 -x2470 -x749 51.78/51.89 v -x1340 -x9 -x572 -x121 -x950 -x1370 -x2191 -x84 -x1308 -x1267 x622 -x1413 x2070 x1931 -x2014 -x1679 -x2371 -x1170 -x364 51.78/51.89 v -x882 -x2168 -x2320 -x2060 -x2496 -x1836 -x2232 -x659 -x1537 -x894 x131 x791 -x439 -x716 -x501 -x1469 -x2711 -x320 -x1793 51.78/51.89 v -x349 -x379 -x29 -x1899 x1772 x1068 -x2128 x435 -x2000 x549 -x350 -x1088 -x786 -x1347 x54 -x669 -x390 -x932 x636 -x1736 -x2247 51.78/51.89 v -x1765 -x1558 -x182 x2229 x1055 x2589 -x1661 -x214 -x1890 -x1662 -x1843 -x2030 -x813 -x2314 -x2359 -x2525 -x1349 -x235 51.78/51.89 v -x2355 -x1802 -x2576 -x2076 -x1612 -x1389 -x2194 -x305 -x345 -x177 -x1684 -x2531 -x2074 -x1589 -x877 -x705 -x154 -x1647 51.78/51.89 v -x1311 -x452 -x686 -x291 -x1737 -x1761 -x564 x910 -x2057 -x1856 -x1482 -x1122 -x422 -x473 -x2382 -x506 -x2012 -x1054 -x981 51.78/51.89 v -x142 -x951 -x1838 -x322 -x2136 -x1857 -x1225 -x846 -x2400 -x954 -x2196 x766 -x560 -x295 -x1197 -x1503 -x604 -x221 -x661 51.78/51.89 v -x650 -x1053 -x869 -x1928 -x1510 -x2258 -x281 -x470 -x1725 -x1226 -x410 -x1854 x593 -x1722 -x2579 -x2688 -x1358 -x648 -x2489 51.78/51.89 v -x816 -x1516 -x481 -x485 -x233 -x2332 -x2506 x26 x1896 x5 -x58 x385 x1151 x1702 -x2047 -x999 -x387 -x1554 -x2690 -x2270 -x2133 51.78/51.89 v -x248 -x1505 -x562 -x1403 -x1156 x927 -x1863 -x788 -x100 x2404 -x2100 x1867 x57 -x824 -x337 -x1083 x1686 x288 -x1319 x1522 51.78/51.89 v -x242 -x2219 -x241 -x1551 -x416 -x2591 -x2134 -x158 -x1559 -x1846 -x167 -x2050 -x2114 -x2507 -x232 -x2681 -x795 -x68 -x1215 51.78/51.89 v -x2683 -x1174 -x62 -x1155 -x937 -x1895 -x225 -x1336 -x2171 -x726 -x27 -x132 -x1327 -x1666 -x542 -x1585 x969 -x1908 x2347 51.78/51.89 v -x1999 -x2241 -x2376 -x1969 -x2704 -x1785 -x800 -x2640 -x778 -x818 -x599 -x1966 -x578 -x2730 -x497 -x14 -x934 -x1452 -x2662 51.78/51.89 v x2719 x402 x1544 -x1841 -x2129 -x2315 -x2044 x1570 -x1593 -x2637 -x1900 -x2122 -x24 -x428 -x1428 -x1815 -x555 -x1844 -x1165 51.78/51.89 v -x2130 -x2206 -x702 -x2427 -x2303 -x1217 -x1252 -x2717 -x1494 -x274 -x1944 -x1145 -x963 -x2079 -x448 -x1509 -x1051 -x1278 51.78/51.89 v -x1240 -x1657 x2094 -x1463 -x1656 -x1304 -x1619 -x528 -x1869 -x2658 -x873 -x1062 -x2007 -x2166 -x1232 -x1783 -x660 -x2345 51.78/51.89 v -x672 -x2420 -x632 -x2397 -x1058 -x1218 -x1074 -x2537 -x2659 -x409 -x1136 -x1289 -x696 -x536 x104 -x329 -x2448 -x912 -x2449 51.78/51.89 v x1313 -x1473 -x839 -x165 -x2618 -x1709 -x2200 -x2701 -x2234 -x1631 -x2158 -x1501 -x287 -x2495 -x1270 -x2172 -x2434 -x2729 51.78/51.89 v -x2456 -x1719 -x1553 -x1577 -x677 -x1992 -x558 -x464 -x2639 -x2253 -x1080 -x601 -x2162 -x2451 -x2665 -x441 -x1877 -x2028 51.78/51.89 v -x2271 -x826 -x514 -x547 -x1140 -x2073 -x2721 -x495 -x2024 -x662 -x1694 -x90 -x847 -x1385 -x2577 -x2566 -x1492 -x2426 -x114 51.78/51.89 v -x151 -x1443 x2135 x64 -x180 -x615 -x566 -x864 -x2475 -x939 -x929 -x1483 -x411 -x255 -x2140 -x930 -x828 -x2222 -x2508 -x1091 51.78/51.89 v -x2013 -x228 -x1366 -x2329 -x446 -x2003 -x2455 -x1723 -x1677 -x1930 -x1436 -x2377 -x1425 -x845 -x61 -x1955 -x1123 -x1268 51.78/51.89 v -x1087 -x1959 -x209 x479 -x1727 -x2607 -x237 -x1013 -x457 -x35 -x2440 x1023 x368 -x2335 -x198 -x2392 -x1716 -x216 -x671 51.78/51.89 v -x2244 -x2482 -x2498 -x2600 -x803 -x2411 -x246 -x1917 -x1316 -x1573 -x1729 -x1266 -x1115 -x2238 -x1680 -x756 -x1106 -x239 51.78/51.89 v -x2466 -x998 -x697 -x1712 -x2437 -x2353 -x1305 -x1644 -x2617 -x1642 -x1764 -x1487 -x2245 -x300 -x273 -x1276 -x1685 -x1628 51.78/51.89 v -x2703 -x1822 -x2121 -x1253 -x2341 -x2179 -x437 -x1881 -x1118 -x2183 -x2233 -x2385 -x1622 -x354 -x2343 -x1371 -x1380 -x928 51.78/51.89 v -x2305 -x2559 -x1597 -x2170 -x2284 -x2513 -x1255 -x2327 -x1008 -x2036 -x60 -x508 -x1611 -x1142 -x689 -x1532 -x1495 -x2542 51.78/51.89 v -x714 -x1994 -x1889 x922 -x79 -x37 -x1204 -x1129 -x1855 -x2732 -x1467 -x317 -x1386 -x1527 -x1153 -x1860 x638 x1127 -x670 51.78/51.89 v -x1968 -x1098 -x720 -x2447 -x1222 -x1633 -x1946 -x477 -x1239 -x2457 -x974 -x1779 -x40 -x2642 -x1250 -x2053 -x199 -x606 51.78/51.89 v -x8 -x2594 -x949 -x2322 -x1147 -x203 -x330 -x133 -x1210 -x1613 -x1982 -x2491 -x2707 -x2414 -x1938 -x49 -x2666 -x1649 -x821 51.78/51.89 v -x1781 -x34 x1438 -x145 -x2728 -x1412 -x2022 -x519 x649 -x688 x483 x764 -x2679 -x925 -x197 -x1650 -x1524 -x706 -x2283 -x1614 51.78/51.89 v -x392 -x1414 -x658 -x73 -x628 -x1924 -x1309 -x1799 -x2237 -x2569 -x1060 -x831 -x371 -x1500 -x1214 -x2549 -x639 -x923 -x1635 51.78/51.89 v -x113 -x798 -x1951 -x162 -x380 -x1020 -x1933 -x230 -x1213 -x2676 -x695 -x1776 -x71 -x546 -x1291 -x2052 -x1689 -x1141 -x1417 51.78/51.89 v -x1777 x594 -x2663 -x631 -x2544 -x591 -x1730 -x1792 -x459 -x2395 -x1427 -x1515 -x2479 x1035 x535 -x1565 -x55 -x920 -x272 51.78/51.89 v -x1202 -x692 -x1026 -x1216 -x1759 -x2453 -x38 -x1258 -x1823 -x941 -x2295 -x2413 -x2490 -x2620 -x1698 -x1648 -x707 -x699 51.78/51.89 v -x1126 -x1205 -x1059 -x1447 -x1195 -x423 -x763 x1162 x2116 x644 x1220 -x93 -x1523 -x1918 -x2632 -x1629 -x2149 -x455 -x2010 51.78/51.89 v -x552 -x942 -x1626 -x166 -x2527 -x1321 -x908 -x2394 -x1871 -x1922 -x1862 -x724 -x1943 -x269 -x913 -x119 -x2147 -x2501 -x391 51.78/51.89 v -x1717 -x1166 -x1146 -x231 -x130 -x313 -x2694 -x1927 -x2101 -x150 -x393 -x1396 -x2289 -x2360 x694 -x627 -x2463 x1488 -x1292 51.78/51.89 v -x1762 -x1555 -x1207 -x278 -x1581 -x1655 -x765 -x1480 -x1454 -x77 -x488 -x202 -x837 -x1826 -x266 -x1486 -x1956 -x1234 -x2438 51.78/51.89 v -x2023 -x1105 -x1395 -x2272 -x654 -x1285 -x975 -x1977 -x982 -x1453 -x1164 -x1939 -x1983 -x618 -x465 -x1178 -x2647 -x673 51.78/51.89 v -x191 -x1768 -x2635 x2396 -x1247 -x1033 -x554 -x1693 -x1297 -x294 -x815 -x440 -x118 -x723 -x2469 -x1806 -x2021 -x977 -x1338 51.78/51.89 v -x539 -x575 x360 -x1198 -x2262 -x2393 -x703 -x1539 -x769 -x1696 -x1079 -x531 -x1627 -x656 -x172 -x1093 -x1000 -x1790 x1834 51.78/51.89 v x1288 x2125 -x2477 -x1228 -x1602 -x2405 -x916 -x2138 -x10 -x2736 -x1508 -x1282 -x734 -x2521 -x397 -x1575 -x2325 -x193 -x2406 51.78/51.89 v -x1676 -x642 -x318 -x1324 -x69 -x1935 -x290 -x2337 -x105 -x309 -x709 -x75 -x830 -x2274 x897 -x2195 -x685 -x42 -x1477 -x1745 51.78/51.89 v -x1728 -x2467 -x2563 -x2032 -x717 -x2151 -x967 -x1646 -x2718 -x814 -x1230 -x36 -x681 -x2046 -x2330 -x957 -x1056 -x2562 51.78/51.89 v -x1842 -x997 -x76 -x110 -x663 -x1891 -x2445 -x588 -x2399 -x1040 -x655 -x1530 -x2043 -x2474 -x1185 -x1916 -x1119 -x2432 51.78/51.89 v -x63 -x400 -x2148 -x1375 -x41 -x1099 -x471 -x1242 -x2407 -x2093 -x767 -x2180 -x184 -x1535 -x2459 -x1415 -x1845 -x1346 -x2174 51.78/51.89 v -x822 -x966 -x1005 -x212 -x612 -x146 -x511 -x2318 -x1176 -x1949 -x2725 -x1081 -x419 -x1571 -x2492 -x268 -x1892 -x1377 -x1125 51.78/51.89 v -x509 -x1915 -x753 -x1449 -x722 -x314 -x1041 -x1605 -x919 -x2516 -x2313 -x2648 -x1808 -x2029 -x1961 -x789 -x2197 -x1333 51.78/51.89 v -x1782 -x898 -x1610 -x1279 -x1715 -x494 -x2723 -x2697 -x2423 -x626 -x533 -x933 -x362 -x2255 -x665 -x1405 -x1518 -x1690 51.78/51.89 v -x2123 -x924 -x1444 -x2417 -x2127 -x2530 -x1114 -x1618 -x2017 -x872 x2612 -x2435 -x2669 -x1406 -x144 -x498 -x1034 -x1548 51.78/51.89 v -x1124 -x1277 -x1387 -x168 -x1328 -x1070 -x1774 -x571 -x454 -x987 -x2261 -x874 -x516 -x1027 -x2169 -x1751
OK 0
/tmp/evaluation/420596-1177427678/instance-420596-1177427678.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node2/watcher-420596-1177427678 -o ROOT/results/node2/solver-420596-1177427678 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/420596-1177427678/instance-420596-1177427678.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.98 3/77 11800 /proc/meminfo: memFree=1908016/2055920 swapFree=4148972/4192956 [pid=11800] ppid=11798 vsize=2552 CPUtime=0 /proc/11800/stat : 11800 (Pueblo) R 11798 11800 11406 0 -1 4194304 265 0 0 0 0 0 0 0 18 0 1 0 218805585 2613248 236 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 11001559 0 0 4096 0 0 0 0 17 1 0 0 /proc/11800/statm: 638 236 199 16 0 77 0 [startup+0.066149 s] /proc/loadavg: 0.99 0.97 0.98 3/77 11800 /proc/meminfo: memFree=1908016/2055920 swapFree=4148972/4192956 [pid=11800] ppid=11798 vsize=3216 CPUtime=0.06 /proc/11800/stat : 11800 (Pueblo) R 11798 11800 11406 0 -1 4194304 435 0 0 0 6 0 0 0 18 0 1 0 218805585 3293184 406 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11800/statm: 804 406 199 16 0 243 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3216 [startup+0.102153 s] /proc/loadavg: 0.99 0.97 0.98 3/77 11800 /proc/meminfo: memFree=1908016/2055920 swapFree=4148972/4192956 [pid=11800] ppid=11798 vsize=3484 CPUtime=0.09 /proc/11800/stat : 11800 (Pueblo) R 11798 11800 11406 0 -1 4194304 507 0 0 0 9 0 0 0 18 0 1 0 218805585 3567616 478 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 10970747 0 0 4096 0 0 0 0 17 1 0 0 /proc/11800/statm: 871 478 199 16 0 310 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3484 [startup+0.301172 s] /proc/loadavg: 0.99 0.97 0.98 3/77 11800 /proc/meminfo: memFree=1908016/2055920 swapFree=4148972/4192956 [pid=11800] ppid=11798 vsize=5084 CPUtime=0.29 /proc/11800/stat : 11800 (Pueblo) R 11798 11800 11406 0 -1 4194304 889 0 0 0 29 0 0 0 19 0 1 0 218805585 5206016 860 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 10970747 0 0 4096 0 0 0 0 17 1 0 0 /proc/11800/statm: 1271 860 199 16 0 710 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5084 [startup+0.701215 s] /proc/loadavg: 0.99 0.97 0.98 3/77 11800 /proc/meminfo: memFree=1908016/2055920 swapFree=4148972/4192956 [pid=11800] ppid=11798 vsize=7708 CPUtime=0.69 /proc/11800/stat : 11800 (Pueblo) R 11798 11800 11406 0 -1 4194304 1534 0 0 0 69 0 0 0 23 0 1 0 218805585 7892992 1505 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559555 0 0 4096 0 0 0 0 17 1 0 0 /proc/11800/statm: 1927 1505 205 16 0 1366 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7708 [startup+1.5013 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11801 /proc/meminfo: memFree=1902696/2055920 swapFree=4148972/4192956 [pid=11800] ppid=11798 vsize=7708 CPUtime=1.49 /proc/11800/stat : 11800 (Pueblo) R 11798 11800 11406 0 -1 4194304 1534 0 0 0 149 0 0 0 25 0 1 0 218805585 7892992 1505 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/11800/statm: 1927 1505 205 16 0 1366 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7708 [startup+3.10146 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11801 /proc/meminfo: memFree=1902568/2055920 swapFree=4148972/4192956 [pid=11800] ppid=11798 vsize=7708 CPUtime=3.09 /proc/11800/stat : 11800 (Pueblo) R 11798 11800 11406 0 -1 4194304 1534 0 0 0 308 1 0 0 25 0 1 0 218805585 7892992 1505 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519958 0 0 4096 0 0 0 0 17 1 0 0 /proc/11800/statm: 1927 1505 205 16 0 1366 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7708 [startup+6.30179 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11801 /proc/meminfo: memFree=1901288/2055920 swapFree=4148972/4192956 [pid=11800] ppid=11798 vsize=8808 CPUtime=6.29 /proc/11800/stat : 11800 (Pueblo) R 11798 11800 11406 0 -1 4194304 1807 0 0 0 628 1 0 0 25 0 1 0 218805585 9019392 1778 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/11800/statm: 2202 1778 205 16 0 1641 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8808 [startup+12.7015 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11801 /proc/meminfo: memFree=1901032/2055920 swapFree=4148972/4192956 [pid=11800] ppid=11798 vsize=9196 CPUtime=12.69 /proc/11800/stat : 11800 (Pueblo) R 11798 11800 11406 0 -1 4194304 1899 0 0 0 1268 1 0 0 25 0 1 0 218805585 9416704 1870 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/11800/statm: 2299 1870 205 16 0 1738 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9196 [startup+25.5028 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11801 /proc/meminfo: memFree=1899048/2055920 swapFree=4148972/4192956 [pid=11800] ppid=11798 vsize=11144 CPUtime=25.49 /proc/11800/stat : 11800 (Pueblo) R 11798 11800 11406 0 -1 4194304 2384 0 0 0 2547 2 0 0 25 0 1 0 218805585 11411456 2355 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559564 0 0 4096 0 0 0 0 17 1 0 0 /proc/11800/statm: 2786 2355 205 16 0 2225 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11144 [startup+51.1025 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11801 /proc/meminfo: memFree=1897000/2055920 swapFree=4148972/4192956 [pid=11800] ppid=11798 vsize=13216 CPUtime=51.08 /proc/11800/stat : 11800 (Pueblo) R 11798 11800 11406 0 -1 4194304 2902 0 0 0 5105 3 0 0 25 0 1 0 218805585 13533184 2873 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 1 0 0 /proc/11800/statm: 3304 2873 205 16 0 2743 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 13216 Solver just ended. Dumping a history of the last processes samples [startup+51.5025 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11801 /proc/meminfo: memFree=1897000/2055920 swapFree=4148972/4192956 [pid=11800] ppid=11798 vsize=13476 CPUtime=51.48 /proc/11800/stat : 11800 (Pueblo) R 11798 11800 11406 0 -1 4194304 2957 0 0 0 5145 3 0 0 25 0 1 0 218805585 13799424 2928 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 10974741 0 0 4096 0 0 0 0 17 1 0 0 /proc/11800/statm: 3369 2928 205 16 0 2808 0 Current children cumulated CPU time (s) 51.48 Current children cumulated vsize (KiB) 13476 [startup+51.7045 s] /proc/loadavg: 0.99 0.97 0.98 3/78 11801 /proc/meminfo: memFree=1896680/2055920 swapFree=4148972/4192956 [pid=11800] ppid=11798 vsize=13476 CPUtime=51.68 /proc/11800/stat : 11800 (Pueblo) R 11798 11800 11406 0 -1 4194304 2984 0 0 0 5165 3 0 0 25 0 1 0 218805585 13799424 2955 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/11800/statm: 3369 2955 205 16 0 2808 0 Current children cumulated CPU time (s) 51.68 Current children cumulated vsize (KiB) 13476 [startup+51.8015 s] /proc/loadavg: 0.99 0.97 0.98 3/78 11801 /proc/meminfo: memFree=1896680/2055920 swapFree=4148972/4192956 [pid=11800] ppid=11798 vsize=13612 CPUtime=51.78 /proc/11800/stat : 11800 (Pueblo) R 11798 11800 11406 0 -1 4194304 3001 0 0 0 5175 3 0 0 25 0 1 0 218805585 13938688 2972 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/11800/statm: 3403 2972 205 16 0 2842 0 Current children cumulated CPU time (s) 51.78 Current children cumulated vsize (KiB) 13612 Child status: 10 Real time (s): 51.9007 CPU time (s): 51.8841 CPU user time (s): 51.8471 CPU system time (s): 0.036994 CPU usage (%): 99.968 Max. virtual memory (cumulated for all children) (KiB): 13612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 51.8471 system time used= 0.036994 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3026 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= 16 involuntary context switches= 1046 runsolver used 0.041993 second user time and 0.112982 second system time The end
Begin job on node2 on Tue Apr 24 15:14:38 UTC 2007 IDJOB= 420596 IDBENCH= 47856 IDSOLVER= 165 FILE ID= node2/420596-1177427678 PBS_JOBID= 4675750 Free space on /tmp= 66401 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/others/QG7a-gensys-ukn001.sat05-3841.reshuffled-07.opb COMMAND LINE= Pueblo /tmp/evaluation/420596-1177427678/instance-420596-1177427678.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node2/convwatcher-420596-1177427678 -o ROOT/results/node2/conversion-420596-1177427678 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/420596-1177427678/instance-420596-1177427678.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-420596-1177427678 -o ROOT/results/node2/solver-420596-1177427678 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/420596-1177427678/instance-420596-1177427678.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= f00594134d0b6cffe6c631152619a30c RANDOM SEED= 317828204 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node2.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1908360 kB Buffers: 18528 kB Cached: 64736 kB SwapCached: 12752 kB Active: 68508 kB Inactive: 38356 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1908360 kB SwapTotal: 4192956 kB SwapFree: 4148972 kB Dirty: 3512 kB Writeback: 0 kB Mapped: 30104 kB Slab: 26080 kB Committed_AS: 8275684 kB PageTables: 1860 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66401 MiB End job on node2 on Tue Apr 24 15:15:30 UTC 2007