Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 | SAT | 30 | 1798.01 | 1797.98 |
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 | 28.1547 |
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.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Instance file HOME/instance-3462901-1307180731.opb 0.00/0.00 c File size is 462714 bytes. 0.00/0.03 c Highest Coefficient sum: 2531 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.03 s 0.00/0.03 c Var: 5256 Constr: 15614 15614/0/0 Lit: 38247 Watch. Lit: 31006 0.00/0.03 c Obj. Vars: 2531 (48.1545 % of total variables) 0.00/0.08 c Pre-processing Time: 0.084 s 0.00/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.08 c 0 4802 13650 34006 2 27300 4549 0 0 0.08 0.00/0.08 c Switching off lower bounding mode. 0.00/0.08 o 33 0.89/0.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.91 c 7 4802 13661 36485 2 29598 5549 11 79 0.09 0.89/0.91 c 108 4802 13791 40321 2 29858 6104 141 477 0.23 0.89/0.91 c 358 4802 14207 47423 3 30690 6715 557 922 0.39 0.89/0.91 o 32 37.89/37.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.89/37.94 c 744 4802 14677 70807 4 33907 5549 1027 810 0.92 37.89/37.94 c 845 4802 14838 74126 4 34229 6104 1188 826 1.02 37.89/37.94 c 1097 4802 15131 84951 5 34815 6715 1481 793 1.38 37.89/37.94 c 1572 4802 15647 104581 6 35847 7387 1997 753 2.09 37.89/37.94 c 2385 4802 16525 142454 8 37603 8126 2875 705 3.38 37.89/37.94 c 3705 4802 17900 228177 12 40353 8939 4250 643 5.76 37.89/37.94 c 5787 4802 20040 321614 16 44633 9833 6390 645 8.97 37.89/37.94 c 9010 4802 23428 557602 23 51409 10817 9778 609 14.79 37.89/37.94 c 13947 4802 21433 461463 21 47417 11899 7783 598 23.28 37.89/37.94 c 21453 4802 22210 559248 25 46697 13089 8560 583 36.76 37.89/37.94 o 31 1733.32/1733.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1733.32/1733.31 c 22159 4802 22977 592138 25 50509 5550 9327 583 37.95 1733.32/1733.31 c 22260 4802 16542 180838 10 35362 6106 2892 583 38.12 1733.32/1733.31 c 22510 4802 16805 191832 11 35888 6717 3155 584 38.52 1733.32/1733.31 c 22985 4802 17357 217345 12 36992 7389 3707 584 39.30 1733.32/1733.31 c 23799 4802 18194 248316 13 38666 8128 4544 586 40.55 1733.32/1733.31 c 25122 4802 19688 330708 16 41654 8941 6038 591 42.50 1733.32/1733.31 c 27204 4802 21921 469142 21 46120 9836 8271 590 46.06 1733.32/1733.31 c 30427 4802 18569 337475 18 39416 10820 4919 587 51.77 1733.32/1733.31 c 35364 4802 23902 628520 26 50082 11903 10252 587 60.22 1733.32/1733.31 c 42870 4802 23768 530663 22 49814 13094 10118 588 72.81 1733.32/1733.31 c 54232 4802 27049 929082 34 63193 14404 13399 576 94.14 1733.32/1733.31 c 71378 4802 26031 975110 37 56616 15845 12381 553 128.84 1733.32/1733.31 c 97197 4802 24258 746665 30 50794 17430 10608 549 176.80 1733.32/1733.31 c 136029 4802 22366 691629 30 47010 19174 8716 525 258.81 1733.32/1733.31 c 194381 4802 24045 508531 21 52643 21092 10395 501 387.63 1733.32/1733.31 c 282013 4802 24581 557256 22 51440 23202 10931 489 575.87 1733.32/1733.31 c 413565 4802 28665 1723206 60 68670 25523 15015 480 861.03 1733.32/1733.31 c 610997 4802 27247 1267508 46 56772 28076 13597 441 1383.93 1733.32/1733.31 o 30 1797.92/1797.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1797.97 c 750117 4802 30378 1393619 45 65313 5549 16728 432 1733.34 1797.92/1797.97 c 750217 4802 16565 190009 11 35409 6104 2915 432 1733.67 1797.92/1797.97 c 750467 4802 16924 198352 11 36127 6715 3274 432 1733.98 1797.92/1797.97 c 750942 4802 17495 224484 12 37269 7387 3845 432 1734.70 1797.92/1797.97 c 751755 4802 18330 255679 13 38939 8126 4680 433 1735.98 1797.92/1797.97 c 753075 4802 19709 326677 16 41697 8939 6059 433 1738.38 1797.92/1797.97 c 755156 4802 21910 475540 21 46099 9833 8260 433 1742.15 1797.92/1797.97 c 758379 4802 18568 277548 14 39415 10817 4918 433 1747.64 1797.92/1797.97 c 763316 4802 23726 492391 20 49731 11899 10076 434 1756.60 1797.92/1797.97 c 770823 4802 23594 706298 29 49467 13089 9944 435 1770.55 1797.92/1797.97 c 782184 4802 26871 959945 35 58298 14398 13221 436 1792.04 1797.92/1797.97 c Resources Exceeded 1797.92/1797.97 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.92/1797.97 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1797.97 c 42 785439 454991 2812828 21214 431341 7564 436 1798.01 1797.92/1797.97 c Objective: 30 1797.92/1797.97 s SATISFIABLE 1797.92/1797.97 c Total time: 1798.01 s
OK 30
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3462901-1307180731/watcher-3462901-1307180731 -o /tmp/evaluation-result-3462901-1307180731/solver-3462901-1307180731 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462901-1307180731.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.08 2.05 2.01 2/489 31049 /proc/meminfo: memFree=27092656/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=12076 CPUtime=0.01 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 538 0 0 0 1 0 0 0 25 0 1 0 829671607 12365824 493 33554432000 134512640 137138936 4286928016 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 3019 493 214 642 0 2262 0 [startup+0.099819 s] /proc/loadavg: 2.08 2.05 2.01 2/489 31049 /proc/meminfo: memFree=27092656/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=13988 CPUtime=0.09 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 1279 0 0 0 9 0 0 0 25 0 1 0 829671607 14323712 1071 33554432000 134512640 137138936 4286928016 18446744073709551615 134599813 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 3497 1071 192 642 0 2853 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13988 [startup+0.100818 s] /proc/loadavg: 2.08 2.05 2.01 2/489 31049 /proc/meminfo: memFree=27092656/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=13988 CPUtime=0.09 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 1279 0 0 0 9 0 0 0 25 0 1 0 829671607 14323712 1071 33554432000 134512640 137138936 4286928016 18446744073709551615 134575744 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 3497 1071 192 642 0 2853 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13988 [startup+0.300784 s] /proc/loadavg: 2.08 2.05 2.01 2/489 31049 /proc/meminfo: memFree=27092656/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=13988 CPUtime=0.29 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 1284 0 0 0 28 1 0 0 25 0 1 0 829671607 14323712 1076 33554432000 134512640 137138936 4286928016 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 3497 1076 192 642 0 2853 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13988 [startup+0.700742 s] /proc/loadavg: 2.08 2.05 2.01 2/489 31049 /proc/meminfo: memFree=27092656/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=14160 CPUtime=0.69 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 1584 0 0 0 68 1 0 0 25 0 1 0 829671607 14499840 1120 33554432000 134512640 137138936 4286928016 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 3540 1120 192 642 0 2896 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14160 [startup+1.50062 s] /proc/loadavg: 2.08 2.05 2.01 3/490 31050 /proc/meminfo: memFree=27087812/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=14600 CPUtime=1.49 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 3788 0 0 0 147 2 0 0 25 0 1 0 829671607 14950400 1230 33554432000 134512640 137138936 4286928016 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 3650 1230 192 642 0 3006 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14600 [startup+3.10034 s] /proc/loadavg: 2.08 2.05 2.01 3/490 31050 /proc/meminfo: memFree=27086324/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=15344 CPUtime=3.09 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 9343 0 0 0 305 4 0 0 25 0 1 0 829671607 15712256 1415 33554432000 134512640 137138936 4286928016 18446744073709551615 134606691 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 3836 1415 192 642 0 3192 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15344 [startup+6.30078 s] /proc/loadavg: 2.08 2.05 2.01 3/490 31050 /proc/meminfo: memFree=27084228/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=16924 CPUtime=6.29 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 20564 0 0 0 623 6 0 0 25 0 1 0 829671607 17330176 1811 33554432000 134512640 137138936 4286928016 18446744073709551615 134606686 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 4231 1811 192 642 0 3587 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16924 [startup+12.7007 s] /proc/loadavg: 2.07 2.05 2.01 3/490 31050 /proc/meminfo: memFree=27079948/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=20384 CPUtime=12.7 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 40760 0 0 0 1260 10 0 0 25 0 1 0 829671607 20873216 2676 33554432000 134512640 137138936 4286928016 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 5096 2676 192 642 0 4452 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 20384 [startup+25.5006 s] /proc/loadavg: 2.12 2.06 2.01 3/490 31052 /proc/meminfo: memFree=27076476/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=23648 CPUtime=25.49 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 62827 0 0 0 2535 14 0 0 25 0 1 0 829671607 24215552 3492 33554432000 134512640 137138936 4286928016 18446744073709551615 134542866 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 5912 3492 192 642 0 5268 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 23648 [startup+51.1003 s] /proc/loadavg: 2.15 2.07 2.01 3/490 31053 /proc/meminfo: memFree=27074872/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=25320 CPUtime=51.09 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 68812 0 0 0 5091 18 0 0 25 0 1 0 829671607 25927680 3909 33554432000 134512640 137138936 4286928016 18446744073709551615 134607009 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 6330 3909 192 642 0 5686 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 25320 [startup+102.319 s] /proc/loadavg: 2.06 2.06 2.01 3/490 31055 /proc/meminfo: memFree=27070268/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=29996 CPUtime=102.31 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 83275 0 0 0 10206 25 0 0 25 0 1 0 829671607 30715904 5079 33554432000 134512640 137138936 4286928016 18446744073709551615 134607615 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 7499 5079 192 642 0 6855 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 29996 [startup+162.301 s] /proc/loadavg: 2.02 2.05 2.00 3/490 31056 /proc/meminfo: memFree=27065032/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=34100 CPUtime=162.3 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 98833 0 0 0 16196 34 0 0 25 0 1 0 829671607 34918400 6105 33554432000 134512640 137138936 4286928016 18446744073709551615 134618106 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 8525 6105 192 642 0 7881 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 34100 [startup+222.301 s] /proc/loadavg: 2.01 2.03 2.00 3/490 31058 /proc/meminfo: memFree=27065256/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=34080 CPUtime=222.3 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 98835 0 0 0 22191 39 0 0 25 0 1 0 829671607 34897920 6100 33554432000 134512640 137138936 4286928016 18446744073709551615 134606693 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 8520 6100 192 642 0 7876 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 34080 [startup+282.3 s] /proc/loadavg: 2.00 2.03 2.00 3/490 31061 /proc/meminfo: memFree=27063612/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=35836 CPUtime=282.3 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 105935 0 0 0 28187 43 0 0 25 0 1 0 829671607 36696064 6539 33554432000 134512640 137138936 4286928016 18446744073709551615 134552075 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 8959 6539 192 642 0 8315 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 35836 [startup+342.3 s] /proc/loadavg: 2.00 2.02 2.00 3/490 31062 /proc/meminfo: memFree=27062576/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=36956 CPUtime=342.29 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 111100 0 0 0 34183 46 0 0 25 0 1 0 829671607 37842944 6819 33554432000 134512640 137138936 4286928016 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 9239 6819 192 642 0 8595 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 36956 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.00 3/490 31065 /proc/meminfo: memFree=27060536/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=36956 CPUtime=402.3 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 111100 0 0 0 40179 51 0 0 25 0 1 0 829671607 37842944 6819 33554432000 134512640 137138936 4286928016 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 9239 6819 192 642 0 8595 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 36956 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.00 3/490 31067 /proc/meminfo: memFree=27060856/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=36940 CPUtime=462.3 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 111102 0 0 0 46175 55 0 0 25 0 1 0 829671607 37826560 6815 33554432000 134512640 137138936 4286928016 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 9235 6815 192 642 0 8591 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 36940 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/490 31070 /proc/meminfo: memFree=27060936/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=36940 CPUtime=522.3 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 111102 0 0 0 52170 60 0 0 25 0 1 0 829671607 37826560 6815 33554432000 134512640 137138936 4286928016 18446744073709551615 134603182 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 9235 6815 192 642 0 8591 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 36940 [startup+582.301 s] /proc/loadavg: 2.15 2.03 2.01 3/490 31072 /proc/meminfo: memFree=27061016/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=36940 CPUtime=582.3 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 111102 0 0 0 58166 64 0 0 25 0 1 0 829671607 37826560 6815 33554432000 134512640 137138936 4286928016 18446744073709551615 134606686 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 9235 6815 192 642 0 8591 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 36940 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=27026160/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=57792 CPUtime=1062.31 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 167352 0 0 0 106125 106 0 0 25 0 1 0 829671607 59179008 12027 33554432000 134512640 137138936 4286928016 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 14448 12027 192 642 0 13804 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 57792 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.00 3/490 31105 /proc/meminfo: memFree=27021540/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=62148 CPUtime=1122.31 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 177535 0 0 0 112121 110 0 0 25 0 1 0 829671607 63639552 13117 33554432000 134512640 137138936 4286928016 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 15537 13117 192 642 0 14893 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 62148 [startup+1182.3 s] /proc/loadavg: 2.07 2.03 2.01 3/490 31108 /proc/meminfo: memFree=27011576/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=72364 CPUtime=1182.31 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204498 0 0 0 118113 118 0 0 25 0 1 0 829671607 74100736 15671 33554432000 134512640 137138936 4286928016 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 18091 15671 192 642 0 17447 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 72364 [startup+1242.3 s] /proc/loadavg: 2.16 2.07 2.02 3/490 31109 /proc/meminfo: memFree=27004592/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=72360 CPUtime=1242.31 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204498 0 0 0 124110 121 0 0 25 0 1 0 829671607 74096640 15670 33554432000 134512640 137138936 4286928016 18446744073709551615 134606628 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 18090 15670 192 642 0 17446 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 72360 [startup+1302.3 s] /proc/loadavg: 2.06 2.05 2.01 3/490 31111 /proc/meminfo: memFree=26988284/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=72360 CPUtime=1302.33 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204498 0 0 0 130109 124 0 0 25 0 1 0 829671607 74096640 15670 33554432000 134512640 137138936 4286928016 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 18090 15670 192 642 0 17446 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 72360 [startup+1362.3 s] /proc/loadavg: 2.02 2.04 2.00 3/490 31112 /proc/meminfo: memFree=26988468/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=72352 CPUtime=1362.31 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204498 0 0 0 136103 128 0 0 25 0 1 0 829671607 74088448 15668 33554432000 134512640 137138936 4286928016 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 18088 15668 192 642 0 17444 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 72352 [startup+1422.32 s] /proc/loadavg: 2.01 2.03 2.00 3/490 31115 /proc/meminfo: memFree=26988428/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=72336 CPUtime=1422.33 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204500 0 0 0 142100 133 0 0 25 0 1 0 829671607 74072064 15664 33554432000 134512640 137138936 4286928016 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 18084 15664 192 642 0 17440 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 72336 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/490 31117 /proc/meminfo: memFree=26985896/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=72336 CPUtime=1482.31 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204500 0 0 0 148094 137 0 0 25 0 1 0 829671607 74072064 15664 33554432000 134512640 137138936 4286928016 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 18084 15664 192 642 0 17440 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 72336 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 2.00 3/490 31118 /proc/meminfo: memFree=26983736/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=72336 CPUtime=1542.32 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204500 0 0 0 154091 141 0 0 25 0 1 0 829671607 74072064 15664 33554432000 134512640 137138936 4286928016 18446744073709551615 134606683 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 18084 15664 192 642 0 17440 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 72336 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/490 31236 /proc/meminfo: memFree=26990192/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=72336 CPUtime=1602.32 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204500 0 0 0 160088 144 0 0 25 0 1 0 829671607 74072064 15664 33554432000 134512640 137138936 4286928016 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 18084 15664 192 642 0 17440 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 72336 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/490 31237 /proc/meminfo: memFree=26896436/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=72328 CPUtime=1662.31 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204500 0 0 0 166083 148 0 0 25 0 1 0 829671607 74063872 15662 33554432000 134512640 137138936 4286928016 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 18082 15662 192 642 0 17438 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 72328 [startup+1722.3 s] /proc/loadavg: 2.11 2.03 2.01 3/490 31239 /proc/meminfo: memFree=26830556/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=72328 CPUtime=1722.32 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204501 0 0 0 172080 152 0 0 25 0 1 0 829671607 74063872 15662 33554432000 134512640 137138936 4286928016 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 18082 15662 192 642 0 17438 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 72328 [startup+1782.3 s] /proc/loadavg: 2.24 2.07 2.02 3/490 31241 /proc/meminfo: memFree=26766772/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=72320 CPUtime=1782.32 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204501 0 0 0 178073 159 0 0 25 0 1 0 829671607 74055680 15660 33554432000 134512640 137138936 4286928016 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 18080 15660 192 642 0 17436 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 72320 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.22 2.07 2.02 3/490 31241 /proc/meminfo: memFree=26763300/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=72320 CPUtime=1785.52 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204501 0 0 0 178393 159 0 0 25 0 1 0 829671607 74055680 15660 33554432000 134512640 137138936 4286928016 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 18080 15660 192 642 0 17436 0 Current children cumulated CPU time (s) 1785.52 Current children cumulated vsize (KiB) 72320 [startup+1791.92 s] /proc/loadavg: 2.20 2.07 2.02 3/490 31241 /proc/meminfo: memFree=26759440/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=72320 CPUtime=1791.94 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204501 0 0 0 179034 160 0 0 25 0 1 0 829671607 74055680 15660 33554432000 134512640 137138936 4286928016 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 18080 15660 192 642 0 17436 0 Current children cumulated CPU time (s) 1791.94 Current children cumulated vsize (KiB) 72320 [startup+1795.1 s] /proc/loadavg: 2.19 2.07 2.02 3/490 31241 /proc/meminfo: memFree=26756216/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=72320 CPUtime=1795.13 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204501 0 0 0 179353 160 0 0 25 0 1 0 829671607 74055680 15660 33554432000 134512640 137138936 4286928016 18446744073709551615 134607604 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 18080 15660 192 642 0 17436 0 Current children cumulated CPU time (s) 1795.13 Current children cumulated vsize (KiB) 72320 [startup+1796.7 s] /proc/loadavg: 2.19 2.07 2.02 3/490 31241 /proc/meminfo: memFree=26754976/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=72320 CPUtime=1796.72 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204501 0 0 0 179512 160 0 0 25 0 1 0 829671607 74055680 15660 33554432000 134512640 137138936 4286928016 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 18080 15660 192 642 0 17436 0 Current children cumulated CPU time (s) 1796.72 Current children cumulated vsize (KiB) 72320 [startup+1797.5 s] /proc/loadavg: 2.19 2.07 2.02 3/490 31241 /proc/meminfo: memFree=26753364/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=72316 CPUtime=1797.52 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204501 0 0 0 179592 160 0 0 25 0 1 0 829671607 74051584 15659 33554432000 134512640 137138936 4286928016 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 18079 15659 192 642 0 17435 0 Current children cumulated CPU time (s) 1797.52 Current children cumulated vsize (KiB) 72316 [startup+1797.9 s] /proc/loadavg: 2.19 2.07 2.02 3/490 31241 /proc/meminfo: memFree=26753364/32951124 swapFree=63649284/67111528 [pid=31049] ppid=31046 vsize=72316 CPUtime=1797.92 cores=0,2,4,6 /proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204501 0 0 0 179632 160 0 0 25 0 1 0 829671607 74051584 15659 33554432000 134512640 137138936 4286928016 18446744073709551615 134551466 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/31049/statm: 18079 15659 192 642 0 17435 0 Current children cumulated CPU time (s) 1797.92 Current children cumulated vsize (KiB) 72316 Child status: 0 Real time (s): 1797.98 CPU time (s): 1798.01 CPU user time (s): 1796.4 CPU system time (s): 1.61076 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 72364 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.4 system time used= 1.61075 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 204502 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= 5 involuntary context switches= 2936 runsolver used 9.37957 second user time and 19.0361 second system time The end
Begin job on node130 at 2011-06-04 11:45:31 IDJOB=3462901 IDBENCH=24999 IDSOLVER=1955 FILE ID=node130/3462901-1307180731 RUNJOBID= node130-1307175073-30136 PBS_JOBID= 13508832 Free space on /tmp= 73852 MiB SOLVER NAME= bsolo 3.2 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_014_area_delay.opb COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462901-1307180731/watcher-3462901-1307180731 -o /tmp/evaluation-result-3462901-1307180731/solver-3462901-1307180731 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462901-1307180731.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 525408a019e1cf8f47f95fb4bdf20c0f RANDOM SEED=1329058262 node130.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 27092696 kB Buffers: 286564 kB Cached: 454880 kB SwapCached: 9700 kB Active: 5192936 kB Inactive: 383480 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 27092696 kB SwapTotal: 67111528 kB SwapFree: 63649284 kB Dirty: 4312 kB Writeback: 0 kB AnonPages: 4833564 kB Mapped: 31452 kB Slab: 158228 kB PageTables: 54204 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 145154552 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73848 MiB End job on node130 at 2011-06-04 12:15:29