Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: bsolo 3.0.17 | SAT (TO) | 24 | 1800.09 | 1800.41 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_020_area_delay.opb |
MD5SUM | b63b2d912c01ff826a63051b401330db |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 23 |
Best CPU time to get the best result obtained on this benchmark | 1.09583 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 23 |
Optimality of the best value was proved | YES |
Number of variables | 4427 |
Total number of constraints | 12661 |
Number of constraints which are clauses | 12661 |
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 | 63 |
Number of terms in the objective function | 2136 |
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 | 2136 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 2136 |
Number of bits of the biggest sum of numbers | 12 |
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.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 15500 MB 0.00/0.00 c Instance file HOME/instance-3735655-1338705672.opb 0.00/0.00 c File size is 373906 bytes. 0.00/0.03 c Highest Coefficient sum: 2136 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.032 s 0.00/0.04 c Var: 4427 Constr: 12661 12661/0/0 Lit: 30901 Watch. Lit: 25157 0.00/0.04 c Obj. Vars: 2136 (48.2494 % of total variables) 0.00/0.07 c Pre-processing Time: 0.069 s 0.00/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.07 c 0 4020 10948 27163 2 21896 3649 0 0 0.07 0.00/0.07 c Switching off LPR mode. 0.00/0.07 o 25 0.07 0.00/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.08 c 0 4020 10949 29134 2 23845 4649 1 0 0.07 0.00/0.08 o 24 0.073 1800.08/1800.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.08/1800.40 c 5 4020 10955 31409 2 25805 4649 7 68 0.07 1800.08/1800.40 c 105 4020 11055 34951 3 26005 5114 107 1071 0.10 1800.08/1800.40 c 355 4020 11305 46231 4 26505 5626 357 2052 0.17 1800.08/1800.40 c 831 4020 11781 60821 5 27457 6189 833 2715 0.31 1800.08/1800.40 c 1644 4020 12594 95846 7 29083 6808 1646 2810 0.58 1800.08/1800.40 c 2964 4020 13914 140611 10 31723 7489 2966 2027 1.46 1800.08/1800.40 c 5046 4020 15996 242606 15 35887 8238 5048 2320 2.17 1800.08/1800.40 c 8269 4020 19219 385657 20 42333 9062 8271 2474 3.34 1800.08/1800.40 c 13205 4020 17859 403381 22 37666 9969 6911 2653 4.98 1800.08/1800.40 c 20711 4020 18665 633241 33 39278 10966 7717 2639 7.85 1800.08/1800.40 c 32072 4020 16481 267233 16 34910 12063 5533 2469 12.99 1800.08/1800.40 c 49216 4020 18263 506568 27 38474 13270 7315 2545 19.33 1800.08/1800.40 c 75035 4020 19596 537423 27 41140 14598 8648 2568 29.22 1800.08/1800.40 c 113867 4020 22636 769976 34 47220 16058 11688 2210 51.51 1800.08/1800.40 c 172219 4020 23503 1027129 43 48954 17664 12555 2009 85.72 1800.08/1800.40 c 259852 4020 26520 1453389 54 54988 19431 15572 1960 132.54 1800.08/1800.40 c 391404 4020 23540 813268 34 49028 21375 12592 1963 199.35 1800.08/1800.40 c 588838 4020 24340 1144239 47 50628 23513 13392 1876 313.86 1800.08/1800.40 c 885091 4020 30334 1355664 44 62616 25865 19386 1860 475.66 1800.08/1800.40 c 1329573 4020 24205 1104471 45 50358 28452 13257 1631 814.75 1800.08/1800.40 c 1996400 4020 27315 1425163 52 56578 31298 16367 1556 1282.86 1800.08/1800.40 c Caught signal: 15 1800.08/1800.40 v -x176 -x178 -x180 -x182 -x184 -x186 -x188 -x190 -x192 -x194 -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 x1584 -x1586 -x1588 x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2814 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 x3480 -x3482 -x3484 -x3486 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 x3528 -x3530 -x3532 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x4013 -x4015 -x4017 -x4019 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4035 -x4037 -x4039 -x4041 -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073 -x4075 -x4077 -x4079 -x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4158 -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x4202 -x4204 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x4234 -x4236 -x4238 -x4240 -x4242 -x4244 -x4246 -x4248 -x4250 -x4252 -x4254 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 x4277 -x4279 -x4281 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 -x4299 -x4301 -x4303 -x4305 x4307 -x4309 -x4311 -x4313 -x4315 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x4352 -x4354 -x4356 -x4358 -x4360 -x4361 -x4363 -x4365 -x4367 -x4369 -x4371 -x4373 x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 x4403 -x4405 -x4407 -x4409 -x4411 -x4413 -x4415 x4417 x4419 -x4421 x4423 x4425 x4427 -x175 -x177 -x179 -x181 -x183 -x185 -x187 -x189 -x191 -x193 -x195 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 -x235 -x237 -x239 -x241 x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x1 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x2 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x3 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x4 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x5 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x6 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x7 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x8 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x9 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x10 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x11 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x12 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x13 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x14 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x15 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x16 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x17 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x18 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x19 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x20 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x21 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x22 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x23 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x24 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x25 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x26 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x27 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x28 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x29 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x30 -x1331 -x1333 -x1335 -x31 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1364 -x32 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x33 -x1380 -x1382 -x1384 -x1386 -x1389 -x34 -x1391 -x1393 -x1395 -x35 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x36 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x37 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x38 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x39 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x40 -x1513 -x1515 -x1517 -x41 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x42 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 x1545 -x1547 -x1549 -x1551 -x43 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x44 -x1567 -x1569 -x1571 -x45 -x1573 -x1575 -x1577 -x46 -x1579 -x1581 x1583 x47 -x1585 -x1587 x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x48 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x49 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x50 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x51 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x52 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x53 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x54 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x55 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x56 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x57 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x58 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x59 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x60 -x1961 -x1963 -x1965 -x61 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1992 -x1994 -x62 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x63 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x64 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x65 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x66 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x67 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x68 -x2112 -x2114 -x2116 -x69 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x70 -x2148 -x2150 -x2152 -x2154 -x2156 -x2159 -x71 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x72 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x73 -x2189 -x2191 -x2193 -x74 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x75 -x2209 -x2211 -x76 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x77 -x2227 -x2229 -x2231 -x78 -x2233 -x2235 -x2237 -x79 -x2239 -x2241 -x2243 -x80 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x81 -x2373 -x2375 -x2377 -x2379 -x2381 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x82 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x83 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x84 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x85 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x86 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x87 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x88 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x89 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x90 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x91 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x92 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x93 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x94 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x95 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x96 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x97 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x98 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x99 -x2989 -x2991 -x2993 -x100 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x101 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x102 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x103 -x3117 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x104 -x3131 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x105 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x106 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x107 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x108 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x109 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x110 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x111 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x112 -x3359 -x3361 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x113 -x3388 -x3390 -x3392 -x3394 -x3396 -x3399 -x114 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x115 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x116 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x117 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x118 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x119 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x120 -x3523 -x3525 x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x121 -x3543 -x3545 -x3547 -x122 -x3549 -x3551 -x3553 -x123 -x3555 -x124 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x125 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x3676 x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x126 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x127 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x128 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x129 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x130 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x131 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 -x3854 -x132 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x133 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x134 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x135 -x3914 -x3916 -x3918 -x136 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x137 -x3949 -x3951 -x3953 -x3955 -x3957 -x3959 -x3961 -x138 -x3963 -x3965 -x3967 -x3969 -x3971 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x3986 -x3988 -x3990 -x139 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x140 -x4004 -x4006 -x4008 -x4010 -x4012 -x4014 -x4016 -x141 -x4018 -x4020 -x4022 -x142 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x143 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x144 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x145 -x4082 -x4084 -x146 -x4086 -x4088 -x4090 -x4092 -x4094 -x4096 x4098 -x4100 -x4102 -x4104 -x147 -x4106 -x4108 -x4110 -x148 -x4112 -x149 -x4114 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x150 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x151 -x4173 -x4175 -x4177 -x4179 -x4181 -x4183 -x4185 -x152 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x4215 -x153 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x154 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x155 -x4245 -x4247 -x4249 -x156 -x4251 -x4253 -x4256 -x4258 -x4260 -x4262 -x157 -x4264 -x4266 -x4268 -x4270 -x4272 -x4274 x4276 -x4278 -x4280 -x4282 -x158 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x159 -x4298 -x4300 -x4302 x160 -x4304 x4306 -x4308 -x161 -x4310 -x162 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328 -x4330 -x4333 -x4335 -x163 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x164 -x4351 -x4353 -x4355 -x4357 -x4359 -x4362 -x165 -x4364 -x4366 -x4368 x166 -x4370 -x4372 x4374 -x4376 -x4378 -x4380 -x4382 -x167 -x4384 -x4386 -x168 -x4388 -x4390 -x4392 -x169 -x4394 -x4396 -x4398 -x4400 x4402 -x4404 -x4406 -x170 -x4408 -x4410 -x4412 -x4414 x4416 x4418 -x4420 x171 x4422 x4424 x172 x4426 x173 x174 1800.08/1800.40 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.08/1800.40 c 22 2768152 1667517 10790430 39618 1701684 28670 1537 1800.09 1800.08/1800.40 c Objective: 24 1800.08/1800.40 s SATISFIABLE 1800.08/1800.40 c Total time: 1800.09 s
OK 24
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-3735655-1338705672/watcher-3735655-1338705672 -o /tmp/evaluation-result-3735655-1338705672/solver-3735655-1338705672 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3735655-1338705672.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.05 2.01 2.00 3/176 12141 /proc/meminfo: memFree=26855900/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=2660 CPUtime=0 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) D 12139 12141 9030 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 336693258 2723840 48 33554432000 134512640 135840783 4292600848 4292598884 5551044 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0 /proc/12141/statm: 665 48 37 325 0 32 0 [startup+0.0893591 s] /proc/loadavg: 2.05 2.01 2.00 3/176 12141 /proc/meminfo: memFree=26855900/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=7280 CPUtime=0.07 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 1266 0 0 0 7 0 0 0 20 0 1 0 336693258 7454720 1081 33554432000 134512640 135840783 4292600848 4292600084 6068787 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/12141/statm: 1820 1081 349 325 0 756 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 7280 [startup+0.100219 s] /proc/loadavg: 2.05 2.01 2.00 3/176 12141 /proc/meminfo: memFree=26855900/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=7280 CPUtime=0.08 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 1266 0 0 0 8 0 0 0 20 0 1 0 336693258 7454720 1081 33554432000 134512640 135840783 4292600848 4292600136 1419462 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/12141/statm: 1820 1081 349 325 0 756 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 7280 [startup+0.300174 s] /proc/loadavg: 2.05 2.01 2.00 3/176 12141 /proc/meminfo: memFree=26855900/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=7544 CPUtime=0.28 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 1326 0 0 0 28 0 0 0 20 0 1 0 336693258 7725056 1141 33554432000 134512640 135840783 4292600848 4292600208 134551186 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/12141/statm: 1886 1141 349 325 0 822 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 7544 [startup+0.700169 s] /proc/loadavg: 2.05 2.01 2.00 3/176 12141 /proc/meminfo: memFree=26855900/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=8064 CPUtime=0.68 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 1482 0 0 0 68 0 0 0 20 0 1 0 336693258 8257536 1297 33554432000 134512640 135840783 4292600848 4292600320 134552320 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/12141/statm: 2016 1298 349 325 0 952 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 8064 [startup+1.50017 s] /proc/loadavg: 2.04 2.01 2.00 3/177 12142 /proc/meminfo: memFree=26852032/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=8840 CPUtime=1.48 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 1678 0 0 0 148 0 0 0 20 0 1 0 336693258 9052160 1493 33554432000 134512640 135840783 4292600848 4292600320 134552379 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/12141/statm: 2210 1493 349 325 0 1146 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 8840 [startup+3.10017 s] /proc/loadavg: 2.04 2.01 2.00 3/177 12142 /proc/meminfo: memFree=26849792/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=11992 CPUtime=3.08 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 2435 0 0 0 308 0 0 0 20 0 1 0 336693258 12279808 2250 33554432000 134512640 135840783 4292600848 4292600144 134572675 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/12141/statm: 2998 2250 349 325 0 1934 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 11992 [startup+6.30018 s] /proc/loadavg: 2.04 2.01 2.00 3/177 12142 /proc/meminfo: memFree=26844708/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=17188 CPUtime=6.28 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 3744 0 0 0 628 0 0 0 20 0 1 0 336693258 17600512 3559 33554432000 134512640 135840783 4292600848 4292600144 134572580 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/12141/statm: 4297 3559 349 325 0 3233 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 17188 [startup+12.7001 s] /proc/loadavg: 2.04 2.01 2.00 3/177 12142 /proc/meminfo: memFree=26840888/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=18472 CPUtime=12.68 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 4072 0 0 0 1268 0 0 0 20 0 1 0 336693258 18915328 3887 33554432000 134512640 135840783 4292600848 4292600208 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/12141/statm: 4618 3887 349 325 0 3554 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 18472 [startup+25.5002 s] /proc/loadavg: 2.03 2.01 2.00 3/177 12142 /proc/meminfo: memFree=26839024/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=19996 CPUtime=25.47 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 4451 0 0 0 2547 0 0 0 20 0 1 0 336693258 20475904 4266 33554432000 134512640 135840783 4292600848 4292600208 134550893 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/12141/statm: 4999 4266 349 325 0 3935 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 19996 [startup+51.1001 s] /proc/loadavg: 2.02 2.01 2.00 3/177 12142 /proc/meminfo: memFree=26836620/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=23372 CPUtime=51.07 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 5296 0 0 0 5106 1 0 0 20 0 1 0 336693258 23932928 5111 33554432000 134512640 135840783 4292600848 4292600020 6058046 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/12141/statm: 5843 5111 349 325 0 4779 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 23372 [startup+102.306 s] /proc/loadavg: 2.01 2.00 2.00 3/177 12143 /proc/meminfo: memFree=26828340/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=31932 CPUtime=102.26 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 7450 0 0 0 10224 2 0 0 20 0 1 0 336693258 32698368 7253 33554432000 134512640 135840783 4292600848 4292600208 134550863 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/12141/statm: 7983 7253 349 325 0 6919 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 31932 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12143 /proc/meminfo: memFree=26736208/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=31932 CPUtime=162.25 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 7452 0 0 0 16223 2 0 0 20 0 1 0 336693258 32698368 7255 33554432000 134512640 135840783 4292600848 4292600160 134550916 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/12141/statm: 7983 7255 349 325 0 6919 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 31932 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12143 /proc/meminfo: memFree=26645316/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=31936 CPUtime=222.24 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 7454 0 0 0 22222 2 0 0 20 0 1 0 336693258 32702464 7257 33554432000 134512640 135840783 4292600848 4292599936 6061219 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/12141/statm: 7984 7257 349 325 0 6920 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 31936 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12182 /proc/meminfo: memFree=27282624/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=36616 CPUtime=282.23 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 8634 0 0 0 28221 2 0 0 20 0 1 0 336693258 37494784 8437 33554432000 134512640 135840783 4292600848 4292600144 134573166 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/12141/statm: 9154 8437 349 325 0 8090 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 36616 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12220 /proc/meminfo: memFree=27257864/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=36624 CPUtime=342.21 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 8638 0 0 0 34219 2 0 0 20 0 1 0 336693258 37502976 8439 33554432000 134512640 135840783 4292600848 4292600160 134551455 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/12141/statm: 9156 8439 349 325 0 8092 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 36624 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12221 /proc/meminfo: memFree=27205084/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=45224 CPUtime=402.2 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 10787 0 0 0 40217 3 0 0 20 0 1 0 336693258 46309376 10584 33554432000 134512640 135840783 4292600848 4292600144 134571997 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/12141/statm: 11306 10584 349 325 0 10242 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 45224 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12259 /proc/meminfo: memFree=27263324/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=45216 CPUtime=462.19 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 10787 0 0 0 46216 3 0 0 20 0 1 0 336693258 46301184 10584 33554432000 134512640 135840783 4292600848 4292600144 134571829 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/12141/statm: 11304 10584 349 325 0 10240 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 45216 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12259 /proc/meminfo: memFree=27259352/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=48348 CPUtime=522.18 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 11579 0 0 0 52215 3 0 0 20 0 1 0 336693258 49508352 11370 33554432000 134512640 135840783 4292600848 4292600208 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/12141/statm: 12087 11370 349 325 0 11023 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 48348 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 12262 /proc/meminfo: memFree=27245356/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=48248 CPUtime=582.17 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 11579 0 0 0 58214 3 0 0 20 0 1 0 336693258 49405952 11345 33554432000 134512640 135840783 4292600848 4292600208 134551324 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/12141/statm: 12062 11345 349 325 0 10998 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 48248 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12263 /proc/meminfo: memFree=27245744/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=48248 CPUtime=822.13 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 11582 0 0 0 82210 3 0 0 20 0 1 0 336693258 49405952 11345 33554432000 134512640 135840783 4292600848 4292600160 1815081 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/12141/statm: 12062 11345 349 325 0 10998 0 Current children cumulated CPU time (s) 822.13 Current children cumulated vsize (KiB) 48248 [startup+882.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12263 /proc/meminfo: memFree=27232352/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=61668 CPUtime=882.12 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 14935 0 0 0 88208 4 0 0 20 0 1 0 336693258 63148032 14698 33554432000 134512640 135840783 4292600848 4292600208 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/12141/statm: 15417 14698 349 325 0 14353 0 Current children cumulated CPU time (s) 882.12 Current children cumulated vsize (KiB) 61668 [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12263 /proc/meminfo: memFree=27232836/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=61180 CPUtime=942.1 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 14941 0 0 0 94206 4 0 0 20 0 1 0 336693258 62648320 14578 33554432000 134512640 135840783 4292600848 4292600208 134551513 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/12141/statm: 15295 14578 349 325 0 14231 0 Current children cumulated CPU time (s) 942.1 Current children cumulated vsize (KiB) 61180 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12264 /proc/meminfo: memFree=27232836/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=61180 CPUtime=1002.09 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 14941 0 0 0 100205 4 0 0 20 0 1 0 336693258 62648320 14578 33554432000 134512640 135840783 4292600848 4292600208 134551186 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/12141/statm: 15295 14578 349 325 0 14231 0 Current children cumulated CPU time (s) 1002.09 Current children cumulated vsize (KiB) 61180 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12264 /proc/meminfo: memFree=27232220/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=61180 CPUtime=1062.09 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 14941 0 0 0 106205 4 0 0 20 0 1 0 336693258 62648320 14578 33554432000 134512640 135840783 4292600848 4292600208 134551400 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/12141/statm: 15295 14578 349 325 0 14231 0 Current children cumulated CPU time (s) 1062.09 Current children cumulated vsize (KiB) 61180 [startup+1122.3 s] /proc/loadavg: 2.14 2.03 2.01 3/177 12264 /proc/meminfo: memFree=27225828/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=67264 CPUtime=1122.08 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 16465 0 0 0 112203 5 0 0 20 0 1 0 336693258 68878336 16099 33554432000 134512640 135840783 4292600848 4292600208 134551058 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/12141/statm: 16816 16099 349 325 0 15752 0 Current children cumulated CPU time (s) 1122.08 Current children cumulated vsize (KiB) 67264 [startup+1182.3 s] /proc/loadavg: 2.05 2.02 2.00 3/178 12267 /proc/meminfo: memFree=27226812/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=67068 CPUtime=1182.07 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 16465 0 0 0 118202 5 0 0 20 0 1 0 336693258 68677632 16050 33554432000 134512640 135840783 4292600848 4292600144 134571985 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/12141/statm: 16767 16050 349 325 0 15703 0 Current children cumulated CPU time (s) 1182.07 Current children cumulated vsize (KiB) 67068 [startup+1242.3 s] /proc/loadavg: 2.02 2.02 2.00 3/178 12290 /proc/meminfo: memFree=27227000/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=66732 CPUtime=1242.06 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 16465 0 0 0 124201 5 0 0 20 0 1 0 336693258 68333568 15966 33554432000 134512640 135840783 4292600848 4292600208 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/12141/statm: 16683 15966 349 325 0 15619 0 Current children cumulated CPU time (s) 1242.06 Current children cumulated vsize (KiB) 66732 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 12291 /proc/meminfo: memFree=27227256/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=66584 CPUtime=1302.06 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 16467 0 0 0 130201 5 0 0 20 0 1 0 336693258 68182016 15929 33554432000 134512640 135840783 4292600848 4292600208 134551294 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/12141/statm: 16646 15929 349 325 0 15582 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 66584 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 12291 /proc/meminfo: memFree=27227008/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=66584 CPUtime=1362.04 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 16467 0 0 0 136199 5 0 0 20 0 1 0 336693258 68182016 15929 33554432000 134512640 135840783 4292600848 4292600368 134551981 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/12141/statm: 16646 15929 349 325 0 15582 0 Current children cumulated CPU time (s) 1362.04 Current children cumulated vsize (KiB) 66584 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12291 /proc/meminfo: memFree=27227132/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=66584 CPUtime=1422.04 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 16467 0 0 0 142199 5 0 0 20 0 1 0 336693258 68182016 15929 33554432000 134512640 135840783 4292600848 4292600208 134551058 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/12141/statm: 16646 15929 349 325 0 15582 0 Current children cumulated CPU time (s) 1422.04 Current children cumulated vsize (KiB) 66584 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12291 /proc/meminfo: memFree=27227012/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=66584 CPUtime=1482.02 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 16467 0 0 0 148197 5 0 0 20 0 1 0 336693258 68182016 15929 33554432000 134512640 135840783 4292600848 4292600368 134551970 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/12141/statm: 16646 15929 349 325 0 15582 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 66584 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12291 /proc/meminfo: memFree=27227012/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=66584 CPUtime=1542.01 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 16467 0 0 0 154196 5 0 0 20 0 1 0 336693258 68182016 15929 33554432000 134512640 135840783 4292600848 4292600208 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/12141/statm: 16646 15929 349 325 0 15582 0 Current children cumulated CPU time (s) 1542.01 Current children cumulated vsize (KiB) 66584 [startup+1602.3 s] /proc/loadavg: 2.08 2.02 2.01 3/177 12292 /proc/meminfo: memFree=27227384/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=66584 CPUtime=1602.01 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 16467 0 0 0 160196 5 0 0 20 0 1 0 336693258 68182016 15929 33554432000 134512640 135840783 4292600848 4292600208 134551692 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/12141/statm: 16646 15929 349 325 0 15582 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 66584 [startup+1662.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 12292 /proc/meminfo: memFree=27227136/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=66584 CPUtime=1662 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 16467 0 0 0 166195 5 0 0 20 0 1 0 336693258 68182016 15929 33554432000 134512640 135840783 4292600848 4292600208 134551321 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/12141/statm: 16646 15929 349 325 0 15582 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 66584 [startup+1722.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 12292 /proc/meminfo: memFree=27225648/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=66584 CPUtime=1721.99 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 16467 0 0 0 172194 5 0 0 20 0 1 0 336693258 68182016 15929 33554432000 134512640 135840783 4292600848 4292600208 134550567 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/12141/statm: 16646 15929 349 325 0 15582 0 Current children cumulated CPU time (s) 1721.99 Current children cumulated vsize (KiB) 66584 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 12295 /proc/meminfo: memFree=27225520/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=66584 CPUtime=1781.98 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 16467 0 0 0 178193 5 0 0 20 0 1 0 336693258 68182016 15929 33554432000 134512640 135840783 4292600848 4292600208 134550570 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/12141/statm: 16646 15929 349 325 0 15582 0 Current children cumulated CPU time (s) 1781.98 Current children cumulated vsize (KiB) 66584 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12295 /proc/meminfo: memFree=27225900/32873648 swapFree=6860/6860 [pid=12141] ppid=12139 vsize=66584 CPUtime=1800.08 cores=0,2,4,6 /proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 16467 0 0 0 180003 5 0 0 20 0 1 0 336693258 68182016 15929 33554432000 134512640 135840783 4292600848 4292600144 134571979 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/12141/statm: 16646 15929 349 325 0 15582 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 66584 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.41 CPU time (s): 1800.09 CPU user time (s): 1800.04 CPU system time (s): 0.056991 CPU usage (%): 99.9825 Max. virtual memory (cumulated for all children) (KiB): 67276 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.04 system time used= 0.056991 maximum resident set size= 64396 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16470 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= 42 involuntary context switches= 2220 runsolver used 3.35149 second user time and 8.78266 second system time The end
Begin job on node116 at 2012-06-03 08:41:12 IDJOB=3735655 IDBENCH=24983 IDSOLVER=2318 FILE ID=node116/3735655-1338705672 RUNJOBID= node116-1338678620-9049 PBS_JOBID= 14636697 Free space on /tmp= 70988 MiB SOLVER NAME= PB07: bsolo 3.0.17 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_020_area_delay.opb COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735655-1338705672/watcher-3735655-1338705672 -o /tmp/evaluation-result-3735655-1338705672/solver-3735655-1338705672 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3735655-1338705672.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b63b2d912c01ff826a63051b401330db RANDOM SEED=471883544 node116.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 : 2666.556 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 : 5333.11 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 : 2666.556 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 : 2666.556 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 : 5438.54 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 : 2666.556 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 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.92 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 : 2666.556 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.92 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 : 2666.556 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.90 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 : 2666.556 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: 32873648 kB MemFree: 26856164 kB Buffers: 546716 kB Cached: 4118120 kB SwapCached: 3028 kB Active: 2672832 kB Inactive: 2432088 kB Active(anon): 430096 kB Inactive(anon): 8500 kB Active(file): 2242736 kB Inactive(file): 2423588 kB Unevictable: 6860 kB Mlocked: 6860 kB SwapTotal: 67108856 kB SwapFree: 67103480 kB Dirty: 6836 kB Writeback: 0 kB AnonPages: 441256 kB Mapped: 13324 kB Shmem: 68 kB Slab: 773608 kB SReclaimable: 218164 kB SUnreclaim: 555444 kB KernelStack: 1448 kB PageTables: 4852 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 552324 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 344064 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71024 MiB End job on node116 at 2012-06-03 09:11:14