Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | 31 | 1798.02 | 1798.55 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_014_area_delay.opb |
MD5SUM | 525408a019e1cf8f47f95fb4bdf20c0f |
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 | 27 |
Best CPU time to get the best result obtained on this benchmark | 74.1707 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 30 |
Optimality of the best value was proved | NO |
Number of variables | 5256 |
Total number of constraints | 15614 |
Number of constraints which are clauses | 15614 |
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 | 2531 |
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 | 2531 |
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 | 2531 |
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.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1876907-1245182986.opb 0.00/0.00 c File size is 462714 bytes. 0.00/0.06 c Highest Coefficient sum: 2531 0.00/0.06 c Parsing was ok!! 0.00/0.06 c Total parsing time: 0.067 s 0.06/0.07 c Var: 5256 Constr: 15614 15614/0/0 Lit: 38247 Watch. Lit: 31006 0.06/0.07 c Obj. Vars: 2531 (48.1545 % of total variables) 0.09/0.18 c Pre-processing Time: 0.182 s 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 0 4802 13650 34006 2 27300 4549 0 0 0.18 0.09/0.18 c Switching off lower bounding mode. 0.09/0.19 o 33 0.79/0.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.90 c 7 4802 13661 36485 2 29598 5549 11 36 0.19 0.79/0.90 c 108 4802 13791 40321 2 29858 6104 141 251 0.43 0.79/0.90 c 358 4802 14207 47415 3 30690 6715 557 486 0.74 0.79/0.90 o 32 83.06/83.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 83.06/83.15 c 449 4802 14348 52126 3 33249 5549 698 498 0.90 83.06/83.15 c 549 4802 14453 56937 3 33459 6104 803 466 1.18 83.06/83.15 c 800 4802 14736 68200 4 34025 6715 1086 430 1.86 83.06/83.15 c 1275 4802 15240 85730 5 35033 7387 1590 403 3.16 83.06/83.15 c 2088 4802 16099 126712 7 36751 8126 2449 374 5.58 83.06/83.15 c 3408 4802 17472 217575 12 39497 8939 3822 344 9.90 83.06/83.15 c 5491 4802 19630 336691 17 43813 9833 5980 345 15.89 83.06/83.15 c 8714 4802 22959 521619 22 50471 10817 9309 330 26.35 83.06/83.15 c 13651 4802 20532 435981 21 45615 11899 6882 316 43.19 83.06/83.15 c 21157 4802 20553 392118 19 45658 13089 6903 309 68.41 83.06/83.15 o 31 1797.96/1798.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.54 c 25463 4802 25101 665665 26 57032 5549 11451 306 83.13 1797.96/1798.54 c 25563 4802 16564 199584 12 35406 6104 2914 306 83.43 1797.96/1798.54 c 25813 4802 16929 209480 12 36136 6715 3279 307 84.03 1797.96/1798.54 c 26289 4802 17523 228949 13 37324 7387 3873 307 85.36 1797.96/1798.54 c 27103 4802 18372 266313 14 39022 8126 4722 309 87.67 1797.96/1798.54 c 28423 4802 19719 327441 16 41716 8939 6069 309 91.97 1797.96/1798.54 c 30505 4802 21833 442139 20 45944 9833 8183 309 98.66 1797.96/1798.54 c 33728 4802 18568 278010 14 39414 10817 4918 308 109.28 1797.96/1798.54 c 38664 4802 23911 523498 21 50100 11899 10261 310 124.36 1797.96/1798.54 c 46172 4802 23553 665459 28 56196 13089 9903 306 150.56 1797.96/1798.54 c 57534 4802 20196 376835 18 42670 14398 6546 302 190.00 1797.96/1798.54 c 74678 4802 20850 399748 19 43978 15838 7200 298 249.91 1797.96/1798.54 c 100498 4802 27374 692130 25 59300 17422 13724 296 339.26 1797.96/1798.54 c 139333 4802 23889 1302273 54 50056 19165 10239 274 508.43 1797.96/1798.54 c 197685 4802 26460 1134149 42 55198 21082 12810 269 732.59 1797.96/1798.54 c 285317 4802 29571 1154484 39 61420 23191 15921 257 1110.09 1797.96/1798.54 c 416869 4802 28057 1072106 38 62933 25511 14407 251 1654.82 1797.96/1798.54 c Resources Exceeded 1797.96/1798.54 v -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 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -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 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -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 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -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 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 x1188 -x1190 -x1192 -x1194 -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 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -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 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -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 -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 -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 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -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 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -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 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -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 -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 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -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 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x3394 -x3396 -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 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -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 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 -x4012 -x4014 -x4016 -x4018 -x4020 x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x4082 -x4084 -x4086 -x4088 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -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 -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 x4350 -x4352 -x4354 x4356 -x4358 -x4360 -x4362 -x4364 -x4366 x4368 -x4370 -x4372 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 x4398 -x4400 -x4402 -x4404 -x4406 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 -x4434 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x4450 -x4452 -x4454 -x4456 -x4458 -x4460 -x4462 -x4464 -x4466 -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 -x4486 -x4488 -x4490 -x4492 -x4494 -x4496 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x4528 -x4530 -x4532 -x4534 -x4536 -x4538 -x4540 -x4542 -x4544 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556 -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4572 -x4574 -x4576 -x4578 -x4580 -x4582 -x4584 -x4586 -x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 -x4636 -x4638 -x4640 -x4642 -x4644 -x4646 -x4648 -x4650 -x4652 -x4654 -x4656 -x4658 -x4660 -x4662 -x4664 -x4666 -x4668 -x4670 -x4672 -x4674 -x4676 -x4678 -x4680 -x4682 -x4684 -x4686 -x4688 -x4690 -x4692 -x4694 -x4696 -x4698 -x4700 -x4702 -x4704 -x4706 -x4708 -x4710 -x4712 -x4714 -x4716 -x4718 -x4720 -x4722 -x4724 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738 -x4740 -x4742 -x4744 -x4746 -x4748 -x4750 -x4752 -x4754 -x4756 -x4758 -x4760 -x4762 -x4764 -x4766 -x4768 -x4770 -x4772 -x4774 -x4776 -x4778 -x4780 -x4782 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x4798 -x4800 -x4802 -x4804 -x4806 -x4808 -x4810 -x4812 -x4814 -x4816 -x4818 -x4820 -x4822 -x4824 -x4826 -x4828 -x4830 -x4832 -x4834 -x4836 -x4838 -x4840 -x4842 -x4844 -x4846 -x4848 -x4850 -x4852 -x4854 -x4856 -x4858 -x4860 -x4862 -x4864 -x4866 -x4868 -x4870 -x4872 -x4874 -x4876 -x4878 -x4880 -x4882 -x4884 -x4886 -x4888 -x4890 -x4892 -x4894 -x4896 -x4898 -x4900 -x4902 -x4904 -x4906 -x4908 -x4910 -x4912 -x4914 -x4916 -x4918 -x4920 -x4922 -x4924 -x4926 -x4928 -x4930 -x4932 -x4934 -x4936 -x4938 -x4940 -x4942 -x4944 -x4946 -x4948 -x4950 -x4952 -x4954 -x4956 -x4958 -x4960 -x4962 -x4964 -x4966 -x4968 -x4970 -x4972 -x4974 -x4976 -x4978 -x4980 -x4982 -x4984 -x4986 -x4988 -x4990 -x4992 -x4994 -x4996 -x4998 -x5000 -x5002 x5004 -x5006 -x5008 -x5010 -x5012 -x5014 -x5016 -x5018 -x5020 -x5022 -x5024 -x5026 -x5028 -x5030 -x5032 -x5034 -x5036 -x5038 -x5040 -x5042 -x5044 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x5058 -x5060 -x5062 -x5064 -x5066 x5068 -x5070 -x5072 -x5074 -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5092 -x5094 -x5096 -x5098 -x5100 -x5102 -x5104 -x5106 -x5108 x5110 -x5112 -x5114 -x5116 -x5118 -x5120 -x5122 -x5124 -x5126 -x5128 -x5130 -x5132 -x5134 -x5136 -x5138 -x5140 -x5142 -x5144 -x5146 -x5148 -x5150 -x5152 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5166 -x5168 -x5170 x5172 -x5174 -x5176 -x5178 -x5180 -x5182 -x5184 -x5186 -x5188 -x5190 -x5192 -x5194 x5196 -x5198 -x5200 x5202 -x5204 -x5206 -x5208 -x5210 -x5212 -x5214 -x5216 -x5218 x5220 -x5222 -x5224 -x5226 -x5228 -x5230 x5232 -x5234 -x5236 -x5238 -x5240 x5242 -x5244 -x5246 -x5248 -x5250 -x5252 x5254 x5256 -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 -x1 -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x2 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x3 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x4 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x5 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x6 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x7 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 x611 -x613 -x615 -x617 -x619 -x621 -x623 -x8 -x625 -x627 -x629 -x631 -x633 -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 -x9 -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 -x10 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x11 -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 -x12 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x13 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x14 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x15 -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 -x16 -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 -x17 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x18 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x19 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x20 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x21 -x1109 -x1111 -x1113 -x22 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x23 -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 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x24 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x25 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x26 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x27 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x28 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x29 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x30 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x31 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 x32 x1397 -x1399 -x1401 -x33 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x34 -x1417 -x1419 -x1421 -x35 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x36 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x37 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x38 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x39 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x40 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x1601 -x41 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x42 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x43 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x44 -x1661 -x1663 -x1665 -x45 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x46 -x1681 -x1683 -x1685 -x47 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x48 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x49 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x50 -x1745 -x1747 -x1749 -x51 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 x1765 -x1767 -x1769 -x52 -x1771 -x1773 -x1775 -x53 -x1777 -x1779 -x1781 -x1783 x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x54 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x55 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x56 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -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 -x57 -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 -x58 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x59 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x60 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x61 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x62 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x63 -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 -x64 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x65 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x66 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 x2409 -x2411 -x2413 -x2415 -x2417 -x67 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x68 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x69 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x70 -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 -x71 -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 -x72 -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 -x73 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x74 -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 -x2815 -x2817 -x2819 -x2821 -x2823 -x75 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x76 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x77 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x78 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -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 -x79 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x80 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x81 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x82 -x3123 -x3125 -x3127 -x3129 -x3131 -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 -x83 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x84 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x85 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x86 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x87 -x3255 -x3257 -x3259 -x88 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x89 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x90 -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x91 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x92 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x93 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 -x94 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x95 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x96 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x97 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x98 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x99 -x3591 -x3593 -x3595 -x100 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x101 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x102 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x103 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x104 -x3685 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x105 -x3699 -x3701 -x106 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x107 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x108 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x109 -x3761 -x3763 -x3765 -x110 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x111 -x3781 -x3783 -x3785 -x112 -x3787 -x3789 -x3791 -x113 -x3793 -x114 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x115 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x116 -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 -x117 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x118 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 -x3953 -x3955 -x3957 -x119 -x3959 -x3961 -x3963 -x3965 -x3967 -x3969 -x3971 -x120 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4001 -x121 -x4003 -x4005 -x4007 -x4009 -x4011 -x4013 -x4015 x122 -x4017 -x4019 x4021 -x4023 -x4025 -x4027 -x4029 -x123 -x4031 -x4033 -x4035 -x124 -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 -x125 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x126 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175 -x4177 -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x4215 -x4217 -x4219 -x127 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x4245 -x4247 -x4249 -x128 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x129 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x130 -x4295 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x131 -x4309 -x4311 -x4313 -x4315 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 x4349 -x4351 -x4353 x4355 -x4357 -x4359 -x4361 -x4363 -x4365 x132 x4367 -x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 x4397 -x4399 -x4401 -x133 -x4403 -x4405 -x4407 -x4409 -x4411 -x4413 -x4415 -x134 -x4417 -x4419 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 -x4433 -x4435 -x4437 -x4439 -x4441 -x4443 -x4445 -x135 -x4447 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 -x136 -x4461 -x4463 -x4465 -x4467 -x4469 -x4471 -x4473 -x137 -x4475 -x4477 -x4479 -x138 -x4481 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x139 -x4495 -x4497 -x4499 -x140 -x4501 -x4503 -x4505 -x4507 -x4509 -x4511 -x4513 -x141 -x4515 -x4517 -x4519 -x142 -x4521 -x4523 -x4525 -x143 -x4527 -x144 -x4529 -x4531 -x4533 -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4547 -x4549 -x4551 -x4553 -x4555 -x4557 -x4559 -x4561 -x4563 -x4565 -x4567 -x4569 -x4571 -x4573 -x4575 -x4577 -x4579 -x4581 -x4583 -x4585 -x4587 -x145 -x4589 -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x146 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 -x4637 -x4639 -x4641 -x4643 -x4645 -x4647 -x147 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 -x4661 -x148 -x4663 -x4665 -x4667 -x4669 -x4671 -x4673 -x4675 -x4677 -x4679 -x4681 -x4683 -x4685 -x4687 -x4689 -x4691 -x149 -x4693 -x4695 -x4697 -x4699 -x4701 -x4703 -x4705 -x150 -x4707 -x4709 -x4711 -x4713 -x4715 -x4717 -x4719 -x4721 -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 -x151 -x4737 -x4739 -x4741 -x4743 -x4745 -x4747 -x4749 -x152 -x4751 -x4753 -x4755 -x4757 -x4759 -x4761 -x4763 -x153 -x4765 -x4767 -x4769 -x154 -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 -x4785 -x4787 -x4789 -x4791 -x4793 -x4795 -x4797 -x155 -x4799 -x4801 -x4803 -x4805 -x4807 -x4809 -x4811 -x4813 -x4815 -x4817 -x4819 -x4821 -x4823 -x4825 -x4827 -x156 -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 -x4841 -x157 -x4843 -x4845 -x4847 -x4849 -x4851 -x4853 -x4855 -x4857 -x4859 -x4861 -x4863 -x4865 -x4867 -x4869 -x4871 -x158 -x4873 -x4875 -x4877 -x4879 -x4881 -x4883 -x159 -x4885 -x4887 -x4889 -x4891 -x4893 -x4895 -x4897 -x160 -x4899 -x4901 -x4903 -x161 -x4905 -x4907 -x4909 -x4911 -x4913 -x4915 -x4917 -x162 -x4919 -x4921 -x4923 -x4925 -x4927 -x4929 -x4931 -x163 -x4933 -x4935 -x164 -x4937 -x4939 -x4941 -x4943 -x4945 -x4947 -x4949 -x165 -x4951 -x4953 -x4955 -x166 -x4957 -x4959 -x4961 -x167 -x4963 -x168 -x4965 -x4967 -x4969 -x4971 -x4973 -x4975 -x4977 -x4979 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991 -x4993 -x4995 -x4997 -x4999 -x5001 x5003 -x5005 -x5007 -x169 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x5029 -x5031 -x5033 -x5035 -x5037 -x170 -x5039 -x5041 -x5043 -x5045 -x5047 -x5049 -x5051 -x171 -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 x172 x5067 -x5069 -x5071 -x173 -x5073 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087 -x5089 -x5091 -x5093 -x5095 -x5097 -x5099 -x5101 x174 -x5103 -x5105 -x5107 x5109 -x5111 -x5113 -x5115 -x175 -x5117 -x5119 -x5121 -x5123 -x5125 -x5127 -x5129 -x176 -x5131 -x5133 -x5135 -x177 -x5137 -x5139 -x5141 -x5143 -x5145 -x5147 -x5149 -x178 -x5151 -x5153 -x5155 -x179 -x5157 -x5159 -x5161 -x180 -x5163 -x5165 -x5167 -x5169 x5171 -x5173 -x5175 -x5177 -x181 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 x182 -x5193 x5195 -x5197 x183 -x5199 x5201 -x5203 -x5205 -x5207 -x5209 -x5211 -x184 -x5213 -x5215 x185 -x5217 x5219 -x5221 -x186 -x5223 x187 -x5225 -x5227 -x5229 x5231 -x5233 -x5235 -x188 -x5237 -x5239 x5241 x189 -x5243 -x5245 -x5247 -x190 -x5249 -x191 -x5251 x5253 x192 x5255 x193 x194 1797.96/1798.54 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.54 c 30 451834 286727 1831205 33042 1042975 19392 251 1798.01 1797.96/1798.54 c Objective: 31 1797.96/1798.54 s SATISFIABLE 1797.96/1798.54 c Total time: 1798.01 s
OK 31
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876907-1245182986/watcher-1876907-1245182986 -o /tmp/evaluation-result-1876907-1245182986/solver-1876907-1245182986 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876907-1245182986.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3842 /proc/meminfo: memFree=1854112/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=19008 CPUtime=0 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 274 0 0 0 0 0 0 0 18 0 1 0 185891527 19464192 258 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 4752 258 175 640 0 3995 0 [startup+0.0687141 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3842 /proc/meminfo: memFree=1854112/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=12528 CPUtime=0.06 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 834 0 0 0 6 0 0 0 18 0 1 0 185891527 12828672 705 1992294400 134512640 137136520 4294956256 18446744073709551615 134549040 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 3132 705 184 640 0 2488 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 12528 [startup+0.101718 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3842 /proc/meminfo: memFree=1854112/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=13820 CPUtime=0.09 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 1131 0 0 0 9 0 0 0 18 0 1 0 185891527 14151680 1002 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 3455 1002 189 640 0 2811 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13820 [startup+0.301745 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3842 /proc/meminfo: memFree=1854112/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=13964 CPUtime=0.29 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 1255 0 0 0 27 2 0 0 19 0 1 0 185891527 14299136 1076 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 3491 1076 198 640 0 2847 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13964 [startup+0.701802 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3842 /proc/meminfo: memFree=1854112/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=14068 CPUtime=0.69 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 1267 0 0 0 66 3 0 0 22 0 1 0 185891527 14405632 1088 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 3517 1088 198 640 0 2873 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14068 [startup+1.50191 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3843 /proc/meminfo: memFree=1850456/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=14232 CPUtime=1.49 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 2473 0 0 0 145 4 0 0 25 0 1 0 185891527 14573568 1148 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 3558 1148 198 640 0 2914 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14232 [startup+3.10214 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3843 /proc/meminfo: memFree=1850008/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=14580 CPUtime=3.09 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 5841 0 0 0 302 7 0 0 25 0 1 0 185891527 14929920 1233 1992294400 134512640 137136520 4294956256 18446744073709551615 134573563 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 3645 1233 198 640 0 3001 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14580 [startup+6.30159 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3843 /proc/meminfo: memFree=1849240/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=15396 CPUtime=6.28 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 11966 0 0 0 618 10 0 0 25 0 1 0 185891527 15765504 1439 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 3849 1439 198 640 0 3205 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 15396 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3843 /proc/meminfo: memFree=1847384/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=17184 CPUtime=12.68 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 23669 0 0 0 1251 17 0 0 25 0 1 0 185891527 17596416 1887 1992294400 134512640 137136520 4294956256 18446744073709551615 136509115 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 4296 1887 198 640 0 3652 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 17184 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3843 /proc/meminfo: memFree=1843672/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=20728 CPUtime=25.48 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 48913 0 0 0 2515 33 0 0 25 0 1 0 185891527 21225472 2773 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 5182 2773 198 640 0 4538 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20728 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3843 /proc/meminfo: memFree=1840344/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=24092 CPUtime=51.07 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 70393 0 0 0 5057 50 0 0 25 0 1 0 185891527 24670208 3614 1992294400 134512640 137136520 4294956256 18446744073709551615 134606731 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 6023 3614 198 640 0 5379 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 24092 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3843 /proc/meminfo: memFree=1839320/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=25056 CPUtime=102.25 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 77362 0 0 0 10164 61 0 0 25 0 1 0 185891527 25657344 3855 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 6264 3855 198 640 0 5620 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 25056 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3843 /proc/meminfo: memFree=1838424/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=26036 CPUtime=162.24 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 79958 0 0 0 16150 74 0 0 25 0 1 0 185891527 26660864 4100 1992294400 134512640 137136520 4294956256 18446744073709551615 134544821 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 6509 4100 198 640 0 5865 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 26036 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3843 /proc/meminfo: memFree=1837784/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=26484 CPUtime=222.21 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 81793 0 0 0 22139 82 0 0 25 0 1 0 185891527 27119616 4210 1992294400 134512640 137136520 4294956256 18446744073709551615 134607060 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 6621 4210 198 640 0 5977 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 26484 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3843 /proc/meminfo: memFree=1836696/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=27824 CPUtime=282.2 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 86527 0 0 0 28128 92 0 0 25 0 1 0 185891527 28491776 4520 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 6956 4520 198 640 0 6312 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 27824 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3843 /proc/meminfo: memFree=1834520/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=29620 CPUtime=342.18 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 99285 0 0 0 34109 109 0 0 25 0 1 0 185891527 30330880 4996 1992294400 134512640 137136520 4294956256 18446744073709551615 134573545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 7405 4996 198 640 0 6761 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 29620 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3843 /proc/meminfo: memFree=1834520/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=29624 CPUtime=402.16 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 99286 0 0 0 40102 114 0 0 25 0 1 0 185891527 30334976 4997 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 7406 4997 198 640 0 6762 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 29624 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3843 /proc/meminfo: memFree=1827288/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=36808 CPUtime=462.15 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 126326 0 0 0 46076 139 0 0 25 0 1 0 185891527 37691392 6793 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 9202 6793 198 640 0 8558 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 36808 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3843 /proc/meminfo: memFree=1817304/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=46836 CPUtime=522.13 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 171424 0 0 0 52041 172 0 0 25 0 1 0 185891527 47960064 9300 1992294400 134512640 137136520 4294956256 18446744073709551615 134543760 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 11709 9300 198 640 0 11065 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 46836 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3843 /proc/meminfo: memFree=1817240/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=46812 CPUtime=582.11 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 171426 0 0 0 58033 178 0 0 25 0 1 0 185891527 47935488 9294 1992294400 134512640 137136520 4294956256 18446744073709551615 134573557 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 11703 9294 198 640 0 11059 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 46812 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3843 /proc/meminfo: memFree=1817432/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=46528 CPUtime=642.1 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 171426 0 0 0 64025 185 0 0 25 0 1 0 185891527 47644672 9223 1992294400 134512640 137136520 4294956256 18446744073709551615 136295683 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 11632 9223 198 640 0 10988 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 46528 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1804632/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=59292 CPUtime=1061.97 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 209556 0 0 0 105947 250 0 0 25 0 1 0 185891527 60715008 12414 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 14823 12414 198 640 0 14179 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 59292 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3843 /proc/meminfo: memFree=1804568/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=59292 CPUtime=1121.96 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 209556 0 0 0 111939 257 0 0 25 0 1 0 185891527 60715008 12414 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 14823 12414 198 640 0 14179 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 59292 [startup+1182.3 s] /proc/loadavg: 1.03 1.01 1.00 2/65 3843 /proc/meminfo: memFree=1804632/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=59296 CPUtime=1181.93 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 209557 0 0 0 117929 264 0 0 25 0 1 0 185891527 60719104 12415 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 14824 12415 198 640 0 14180 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 59296 [startup+1242.3 s] /proc/loadavg: 1.01 1.01 1.00 2/65 3843 /proc/meminfo: memFree=1804568/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=59300 CPUtime=1241.92 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 209558 0 0 0 123919 273 0 0 25 0 1 0 185891527 60723200 12416 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 14825 12416 198 640 0 14181 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 59300 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3843 /proc/meminfo: memFree=1804504/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=59300 CPUtime=1301.91 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 209558 0 0 0 129911 280 0 0 25 0 1 0 185891527 60723200 12416 1992294400 134512640 137136520 4294956256 18446744073709551615 136518971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 14825 12416 198 640 0 14181 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 59300 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3843 /proc/meminfo: memFree=1804440/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=59296 CPUtime=1361.89 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 209558 0 0 0 135902 287 0 0 25 0 1 0 185891527 60719104 12415 1992294400 134512640 137136520 4294956256 18446744073709551615 134616680 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 14824 12415 198 640 0 14180 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 59296 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3843 /proc/meminfo: memFree=1804632/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=59296 CPUtime=1421.87 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 209558 0 0 0 141896 291 0 0 25 0 1 0 185891527 60719104 12415 1992294400 134512640 137136520 4294956256 18446744073709551615 134616484 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 14824 12415 198 640 0 14180 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 59296 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3843 /proc/meminfo: memFree=1804568/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=59296 CPUtime=1481.85 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 209558 0 0 0 147889 296 0 0 25 0 1 0 185891527 60719104 12415 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 14824 12415 198 640 0 14180 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 59296 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3843 /proc/meminfo: memFree=1804504/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=59296 CPUtime=1541.83 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 209558 0 0 0 153879 304 0 0 25 0 1 0 185891527 60719104 12415 1992294400 134512640 137136520 4294956256 18446744073709551615 134606752 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 14824 12415 198 640 0 14180 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 59296 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3843 /proc/meminfo: memFree=1804504/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=59296 CPUtime=1601.81 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 209558 0 0 0 159869 312 0 0 25 0 1 0 185891527 60719104 12415 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 14824 12415 198 640 0 14180 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 59296 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3843 /proc/meminfo: memFree=1804504/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=59296 CPUtime=1661.8 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 209558 0 0 0 165860 320 0 0 25 0 1 0 185891527 60719104 12415 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 14824 12415 198 640 0 14180 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 59296 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3843 /proc/meminfo: memFree=1804440/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=59304 CPUtime=1721.78 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 209560 0 0 0 171854 324 0 0 25 0 1 0 185891527 60727296 12417 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 14826 12417 198 640 0 14182 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 59304 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3843 /proc/meminfo: memFree=1804440/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=59304 CPUtime=1781.76 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 209560 0 0 0 177846 330 0 0 25 0 1 0 185891527 60727296 12417 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 14826 12417 198 640 0 14182 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 59304 Solver just ended. Dumping a history of the last processes samples [startup+1791.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3843 /proc/meminfo: memFree=1804440/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=59304 CPUtime=1791.36 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 209560 0 0 0 178805 331 0 0 25 0 1 0 185891527 60727296 12417 1992294400 134512640 137136520 4294956256 18446744073709551615 136518953 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 14826 12417 198 640 0 14182 0 Current children cumulated CPU time (s) 1791.36 Current children cumulated vsize (KiB) 59304 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3843 /proc/meminfo: memFree=1804440/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=59304 CPUtime=1794.56 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 209560 0 0 0 179124 332 0 0 25 0 1 0 185891527 60727296 12417 1992294400 134512640 137136520 4294956256 18446744073709551615 135982525 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 14826 12417 198 640 0 14182 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (KiB) 59304 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3843 /proc/meminfo: memFree=1804440/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=59304 CPUtime=1796.16 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 209560 0 0 0 179284 332 0 0 25 0 1 0 185891527 60727296 12417 1992294400 134512640 137136520 4294956256 18446744073709551615 134571834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 14826 12417 198 640 0 14182 0 Current children cumulated CPU time (s) 1796.16 Current children cumulated vsize (KiB) 59304 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3843 /proc/meminfo: memFree=1804440/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=59304 CPUtime=1796.96 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 209560 0 0 0 179364 332 0 0 25 0 1 0 185891527 60727296 12417 1992294400 134512640 137136520 4294956256 18446744073709551615 134601736 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 14826 12417 198 640 0 14182 0 Current children cumulated CPU time (s) 1796.96 Current children cumulated vsize (KiB) 59304 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3843 /proc/meminfo: memFree=1804440/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=59304 CPUtime=1797.75 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 209560 0 0 0 179443 332 0 0 25 0 1 0 185891527 60727296 12417 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 14826 12417 198 640 0 14182 0 Current children cumulated CPU time (s) 1797.75 Current children cumulated vsize (KiB) 59304 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3843 /proc/meminfo: memFree=1804440/2055920 swapFree=4181384/4192956 [pid=3842] ppid=3840 vsize=59304 CPUtime=1797.96 /proc/3842/stat : 3842 (bsolo) R 3840 3842 3260 0 -1 4194304 209560 0 0 0 179464 332 0 0 25 0 1 0 185891527 60727296 12417 1992294400 134512640 137136520 4294956256 18446744073709551615 134606731 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3842/statm: 14826 12417 198 640 0 14182 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 59304 Child status: 0 Real time (s): 1798.55 CPU time (s): 1798.02 CPU user time (s): 1794.68 CPU system time (s): 3.33649 CPU usage (%): 99.9702 Max. virtual memory (cumulated for all children) (KiB): 59304 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.68 system time used= 3.33649 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 209562 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= 2 involuntary context switches= 2869 runsolver used 1.45878 second user time and 4.10038 second system time The end
Begin job on node49 at 2009-06-16 22:09:46 IDJOB=1876907 IDBENCH=24999 IDSOLVER=699 FILE ID=node49/1876907-1245182986 PBS_JOBID= 9363886 Free space on /tmp= 66028 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_014_area_delay.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876907-1245182986/watcher-1876907-1245182986 -o /tmp/evaluation-result-1876907-1245182986/solver-1876907-1245182986 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876907-1245182986.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 525408a019e1cf8f47f95fb4bdf20c0f RANDOM SEED=2002449760 node49.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.232 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.232 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: 1854592 kB Buffers: 48800 kB Cached: 84320 kB SwapCached: 4580 kB Active: 29124 kB Inactive: 112116 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1854592 kB SwapTotal: 4192956 kB SwapFree: 4181384 kB Dirty: 4396 kB Writeback: 0 kB Mapped: 13852 kB Slab: 45876 kB Committed_AS: 172228 kB PageTables: 1388 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876907-1245182986.opb Free space on /tmp at the end= 66024 MiB End job on node49 at 2009-06-16 22:39:45