Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB09: bsolo 3.1 | SAT | 28 | 1798 | 1798.3 |
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 | 9.00163 |
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 15500 MB 0.00/0.00 c Instance file HOME/instance-3735833-1338724415.opb 0.00/0.00 c File size is 462714 bytes. 0.01/0.03 c Highest Coefficient sum: 2531 0.01/0.03 c Parsing was ok!! 0.01/0.03 c Total parsing time: 0.032 s 0.01/0.03 c Var: 5256 Constr: 15614 15614/0/0 Lit: 38247 Watch. Lit: 31006 0.01/0.03 c Obj. Vars: 2531 (48.1545 % of total variables) 0.01/0.08 c Pre-processing Time: 0.085 s 0.01/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.08 c 0 4802 13650 34006 2 27300 4549 0 0 0.09 0.01/0.08 c Switching off lower bounding mode. 0.01/0.09 o 33 0.38/0.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.38/0.42 c 7 4802 13661 36485 2 29598 5549 11 78 0.09 0.38/0.42 c 108 4802 13791 40321 2 29858 6104 141 532 0.20 0.38/0.42 c 358 4802 14207 47415 3 30690 6715 557 1031 0.35 0.38/0.42 o 32 36.38/36.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 36.38/36.45 c 449 4802 14348 52126 3 33249 5549 698 1058 0.42 36.38/36.45 c 549 4802 14453 56937 3 33459 6104 803 989 0.56 36.38/36.45 c 800 4802 14736 68200 4 34025 6715 1086 919 0.87 36.38/36.45 c 1275 4802 15240 85730 5 35033 7387 1590 858 1.49 36.38/36.45 c 2088 4802 16099 126712 7 36751 8126 2449 802 2.60 36.38/36.45 c 3408 4802 17472 217575 12 39497 8939 3822 751 4.54 36.38/36.45 c 5491 4802 19630 336691 17 43813 9833 5980 748 7.33 36.38/36.45 c 8714 4802 22959 521619 22 50471 10817 9309 720 12.09 36.38/36.45 c 13651 4802 20532 435981 21 45615 11899 6882 697 19.57 36.38/36.45 c 21157 4802 20553 392118 19 45658 13089 6903 695 30.40 36.38/36.45 o 31 889.83/890.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 889.83/890.01 c 25463 4802 25101 665665 26 57032 5549 11451 698 36.44 889.83/890.01 c 25563 4802 16564 199584 12 35406 6104 2914 699 36.55 889.83/890.01 c 25813 4802 16929 209480 12 36136 6715 3279 701 36.80 889.83/890.01 c 26289 4802 17523 228949 13 37324 7387 3873 703 37.34 889.83/890.01 c 27103 4802 18372 266313 14 39022 8126 4722 707 38.32 889.83/890.01 c 28423 4802 19719 327441 16 41716 8939 6069 708 40.09 889.83/890.01 c 30505 4802 21833 442139 20 45944 9833 8183 712 42.82 889.83/890.01 c 33728 4802 18568 278010 14 39414 10817 4918 716 47.08 889.83/890.01 c 38664 4802 23911 523498 21 50100 11899 10261 727 53.15 889.83/890.01 c 46172 4802 23553 665459 28 56196 13089 9903 725 63.64 889.83/890.01 c 57534 4802 20196 376835 18 42670 14398 6546 723 79.50 889.83/890.01 c 74678 4802 20850 399748 19 43978 15838 7200 726 102.80 889.83/890.01 c 100498 4802 27374 692130 25 59300 17422 13724 729 137.70 889.83/890.01 c 139333 4802 23889 1302273 54 50056 19165 10239 696 200.09 889.83/890.01 c 197685 4802 26460 1134149 42 55198 21082 12810 698 283.18 889.83/890.01 c 285317 4802 29571 1154484 39 61420 23191 15921 678 420.21 889.83/890.01 c 416869 4802 28057 1072106 38 62933 25511 14407 679 613.65 889.83/890.01 o 30 1056.30/1056.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1056.30/1056.58 c 602340 4802 31070 979556 31 66697 5549 17420 676 889.86 1056.30/1056.58 c 602440 4802 16597 158400 9 35473 6104 2947 676 889.99 1056.30/1056.58 c 602690 4802 16946 168232 9 36171 6715 3296 677 890.23 1056.30/1056.58 c 603165 4802 17580 188079 10 37439 7387 3930 677 890.73 1056.30/1056.58 c 603978 4802 18393 214751 11 39065 8126 4743 677 891.88 1056.30/1056.58 c 605298 4802 19762 288154 14 41803 8939 6112 677 893.60 1056.30/1056.58 c 607379 4802 21951 402397 18 46181 9833 8301 677 896.36 1056.30/1056.58 c 610604 4802 18568 389742 20 39415 10817 4918 677 900.80 1056.30/1056.58 c 615540 4802 23874 724386 30 50027 11899 10224 678 907.51 1056.30/1056.58 c 623046 4802 23555 732426 31 49389 13089 9905 678 918.31 1056.30/1056.58 c 634407 4802 26383 668365 25 55045 14398 12733 679 933.82 1056.30/1056.58 c 651552 4802 25571 948352 37 55696 15838 11921 679 958.90 1056.30/1056.58 c 677371 4802 23675 1481873 62 49629 17422 10025 676 1001.69 1056.30/1056.58 c 716203 4802 22362 625736 27 47003 19165 8712 678 1054.95 1056.30/1056.58 o 28 1797.89/1798.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.89/1798.29 c 717450 4802 23891 691177 28 52342 5549 10241 679 1056.40 1797.89/1798.29 c 717552 4802 16594 192590 11 35469 6104 2944 679 1056.52 1797.89/1798.29 c 717802 4802 16883 206132 12 36047 6715 3233 679 1056.81 1797.89/1798.29 c 718277 4802 17398 230002 13 37077 7387 3748 679 1057.39 1797.89/1798.29 c 719090 4802 18243 296459 16 38767 8126 4593 679 1058.51 1797.89/1798.29 c 720411 4802 19638 373661 19 41557 8939 5988 679 1060.26 1797.89/1798.29 c 722492 4802 21802 495194 22 45885 9833 8152 679 1062.93 1797.89/1798.29 c 725716 4802 18568 345555 18 39417 10817 4918 679 1067.31 1797.89/1798.29 c 730652 4802 23527 505253 21 49335 11899 9877 680 1073.87 1797.89/1798.29 c 738158 4802 23322 537496 23 48925 13089 9672 681 1083.58 1797.89/1798.29 c 749520 4802 26836 829859 30 55953 14398 13186 681 1100.03 1797.89/1798.29 c 766664 4802 26043 804838 30 54367 15838 12393 681 1124.57 1797.89/1798.29 c 792483 4802 24058 842944 35 52669 17422 10408 682 1161.93 1797.89/1798.29 c 831316 4802 22703 706499 31 52245 19165 9053 680 1220.91 1797.89/1798.29 c 889668 4802 24710 597861 24 51701 21082 11060 681 1305.89 1797.89/1798.29 c 977300 4802 29070 1186443 40 62698 23191 15420 682 1432.95 1797.89/1798.29 c 1108853 4802 34567 2031117 58 73690 25511 20917 675 1642.67 1797.89/1798.29 c Resources Exceeded 1797.89/1798.29 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.89/1798.29 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.89/1798.29 c 61 1210611 766195 4821165 28975 876978 15325 673 1798.00 1797.89/1798.29 c Objective: 28 1797.89/1798.29 s SATISFIABLE 1797.89/1798.29 c Total time: 1798 s
OK 28
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3735833-1338724415/watcher-3735833-1338724415 -o /tmp/evaluation-result-3735833-1338724415/solver-3735833-1338724415 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3735833-1338724415.opb running on 4 cores: 1,3,5,7 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.00 2.00 2.00 3/176 1264 /proc/meminfo: memFree=28225512/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=19064 CPUtime=0 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 289 0 0 0 0 0 0 0 20 0 1 0 338567480 19521536 243 33554432000 134512640 137136520 4292693872 4292692136 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 4766 243 172 641 0 4009 0 [startup+0.0184371 s] /proc/loadavg: 2.00 2.00 2.00 3/176 1264 /proc/meminfo: memFree=28225512/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=12212 CPUtime=0.01 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 568 0 0 0 1 0 0 0 20 0 1 0 338567480 12505088 522 33554432000 134512640 137136520 4292693872 4292692400 136575102 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 3053 523 224 641 0 2296 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12212 [startup+0.10021 s] /proc/loadavg: 2.00 2.00 2.00 3/176 1264 /proc/meminfo: memFree=28225512/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=13988 CPUtime=0.08 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 1286 0 0 0 8 0 0 0 20 0 1 0 338567480 14323712 1077 33554432000 134512640 137136520 4292693872 4292692368 136498241 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 3497 1077 198 641 0 2853 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 13988 [startup+0.300122 s] /proc/loadavg: 2.00 2.00 2.00 3/176 1264 /proc/meminfo: memFree=28225512/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=14092 CPUtime=0.29 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 1293 0 0 0 28 1 0 0 20 0 1 0 338567480 14430208 1084 33554432000 134512640 137136520 4292693872 4292692988 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 3523 1084 198 641 0 2879 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14092 [startup+0.700179 s] /proc/loadavg: 2.00 2.00 2.00 3/176 1264 /proc/meminfo: memFree=28225512/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=14252 CPUtime=0.68 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 2455 0 0 0 67 1 0 0 20 0 1 0 338567480 14594048 1147 33554432000 134512640 137136520 4292693872 4292692988 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 3563 1147 198 641 0 2919 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 14252 [startup+1.50018 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1265 /proc/meminfo: memFree=28221388/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=14604 CPUtime=1.49 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 5904 0 0 0 146 3 0 0 20 0 1 0 338567480 14954496 1237 33554432000 134512640 137136520 4292693872 4292692988 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 3651 1237 198 641 0 3007 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14604 [startup+3.10018 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1265 /proc/meminfo: memFree=28220520/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=15528 CPUtime=3.08 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 12803 0 0 0 304 4 0 0 20 0 1 0 338567480 15900672 1468 33554432000 134512640 137136520 4292693872 4292692364 136698750 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 3882 1468 198 641 0 3238 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 15528 [startup+6.30012 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1265 /proc/meminfo: memFree=28218784/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=17648 CPUtime=6.28 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 26088 0 0 0 620 8 0 0 20 0 1 0 338567480 18071552 1972 33554432000 134512640 137136520 4292693872 4292692140 136698750 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 4412 1972 198 641 0 3768 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 17648 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1265 /proc/meminfo: memFree=28213972/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=21312 CPUtime=12.69 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 52190 0 0 0 1254 15 0 0 20 0 1 0 338567480 21823488 2914 33554432000 134512640 137136520 4292693872 4292692380 136698750 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 5328 2914 198 641 0 4684 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21312 [startup+25.5001 s] /proc/loadavg: 2.07 2.02 2.00 3/177 1265 /proc/meminfo: memFree=28210184/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=24120 CPUtime=25.48 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 70127 0 0 0 2528 20 0 0 20 0 1 0 338567480 24698880 3621 33554432000 134512640 137136520 4292693872 4292692640 134574468 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 6030 3621 198 641 0 5386 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 24120 [startup+51.1002 s] /proc/loadavg: 2.20 2.05 2.01 3/177 1265 /proc/meminfo: memFree=28209432/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=25080 CPUtime=51.07 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 76998 0 0 0 5079 28 0 0 20 0 1 0 338567480 25681920 3861 33554432000 134512640 137136520 4292693872 4292692988 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 6270 3861 198 641 0 5626 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 25080 [startup+102.306 s] /proc/loadavg: 2.12 2.05 2.01 3/177 1265 /proc/meminfo: memFree=28208304/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=26508 CPUtime=102.28 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 81314 0 0 0 10189 39 0 0 20 0 1 0 338567480 27144192 4217 33554432000 134512640 137136520 4292693872 4292692988 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 6627 4217 198 641 0 5983 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 26508 [startup+162.3 s] /proc/loadavg: 2.04 2.04 2.01 3/177 1265 /proc/meminfo: memFree=28205080/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=29648 CPUtime=162.25 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 99531 0 0 0 16174 51 0 0 20 0 1 0 338567480 30359552 5003 33554432000 134512640 137136520 4292693872 4292692584 136502797 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 7412 5003 198 641 0 6768 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 29648 [startup+222.3 s] /proc/loadavg: 2.01 2.03 2.00 3/177 1265 /proc/meminfo: memFree=28186772/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=46560 CPUtime=222.24 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 171677 0 0 0 22152 72 0 0 20 0 1 0 338567480 47677440 9231 33554432000 134512640 137136520 4292693872 4292692452 136498324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 11640 9231 198 641 0 10996 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 46560 [startup+282.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 1266 /proc/meminfo: memFree=28187352/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=46424 CPUtime=282.23 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 171677 0 0 0 28144 79 0 0 20 0 1 0 338567480 47538176 9197 33554432000 134512640 137136520 4292693872 4292692800 134543636 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 11606 9197 198 641 0 10962 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 46424 [startup+342.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 1266 /proc/meminfo: memFree=28186548/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=46432 CPUtime=342.22 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 171679 0 0 0 34135 87 0 0 20 0 1 0 338567480 47546368 9199 33554432000 134512640 137136520 4292693872 4292692976 134545120 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 11608 9199 198 641 0 10964 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 46432 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.00 3/178 1269 /proc/meminfo: memFree=28172780/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=59316 CPUtime=402.21 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 210554 0 0 0 40120 101 0 0 20 0 1 0 338567480 60739584 12420 33554432000 134512640 137136520 4292693872 4292692800 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 14829 12420 198 641 0 14185 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 59316 [startup+462.3 s] /proc/loadavg: 2.07 2.02 2.00 3/178 1292 /proc/meminfo: memFree=28166244/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=59320 CPUtime=462.2 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 210562 0 0 0 46110 110 0 0 20 0 1 0 338567480 60743680 12421 33554432000 134512640 137136520 4292693872 4292692988 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 14830 12421 198 641 0 14186 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 59320 [startup+522.3 s] /proc/loadavg: 2.07 2.03 2.00 3/177 1292 /proc/meminfo: memFree=28166572/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=59316 CPUtime=522.19 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 210562 0 0 0 52100 119 0 0 20 0 1 0 338567480 60739584 12420 33554432000 134512640 137136520 4292693872 4292692800 134543793 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 14829 12420 198 641 0 14185 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 59316 [startup+582.3 s] /proc/loadavg: 2.02 2.02 2.00 3/177 1293 /proc/meminfo: memFree=28166572/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=59308 CPUtime=582.17 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 210562 0 0 0 58090 127 0 0 20 0 1 0 338567480 60731392 12418 33554432000 134512640 137136520 4292693872 4292692800 134544357 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 14827 12418 198 641 0 14183 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 59308 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=28161992/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=59032 CPUtime=1122.09 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 210564 0 0 0 112004 205 0 0 20 0 1 0 338567480 60448768 12349 33554432000 134512640 137136520 4292693872 4292692800 134543965 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 14758 12349 198 641 0 14114 0 Current children cumulated CPU time (s) 1122.09 Current children cumulated vsize (KiB) 59032 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1298 /proc/meminfo: memFree=28162120/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=59032 CPUtime=1182.08 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 210564 0 0 0 117995 213 0 0 20 0 1 0 338567480 60448768 12349 33554432000 134512640 137136520 4292693872 4292692988 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 14758 12349 198 641 0 14114 0 Current children cumulated CPU time (s) 1182.08 Current children cumulated vsize (KiB) 59032 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1298 /proc/meminfo: memFree=28161872/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=59032 CPUtime=1242.07 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 210564 0 0 0 123987 220 0 0 20 0 1 0 338567480 60448768 12349 33554432000 134512640 137136520 4292693872 4292692464 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 14758 12349 198 641 0 14114 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 59032 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1298 /proc/meminfo: memFree=28161624/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=59032 CPUtime=1302.07 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 210564 0 0 0 129979 228 0 0 20 0 1 0 338567480 60448768 12349 33554432000 134512640 137136520 4292693872 4292664672 134600709 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 14758 12349 198 641 0 14114 0 Current children cumulated CPU time (s) 1302.07 Current children cumulated vsize (KiB) 59032 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1298 /proc/meminfo: memFree=28161872/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=59032 CPUtime=1362.06 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 210564 0 0 0 135970 236 0 0 20 0 1 0 338567480 60448768 12349 33554432000 134512640 137136520 4292693872 4292692988 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 14758 12349 198 641 0 14114 0 Current children cumulated CPU time (s) 1362.06 Current children cumulated vsize (KiB) 59032 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1298 /proc/meminfo: memFree=28161996/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=59032 CPUtime=1422.06 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 210564 0 0 0 141961 245 0 0 20 0 1 0 338567480 60448768 12349 33554432000 134512640 137136520 4292693872 4292692512 134606731 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 14758 12349 198 641 0 14114 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 59032 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1299 /proc/meminfo: memFree=28161500/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=59032 CPUtime=1482.04 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 210564 0 0 0 147952 252 0 0 20 0 1 0 338567480 60448768 12349 33554432000 134512640 137136520 4292693872 4292692464 134616593 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 14758 12349 198 641 0 14114 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 59032 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1349 /proc/meminfo: memFree=28104008/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=59032 CPUtime=1542.03 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 210564 0 0 0 153943 260 0 0 20 0 1 0 338567480 60448768 12349 33554432000 134512640 137136520 4292693872 4292692724 136509123 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 14758 12349 198 641 0 14114 0 Current children cumulated CPU time (s) 1542.03 Current children cumulated vsize (KiB) 59032 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 1353 /proc/meminfo: memFree=28008800/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=59032 CPUtime=1602.02 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 210564 0 0 0 159935 267 0 0 20 0 1 0 338567480 60448768 12349 33554432000 134512640 137136520 4292693872 4292692512 134606731 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 14758 12349 198 641 0 14114 0 Current children cumulated CPU time (s) 1602.02 Current children cumulated vsize (KiB) 59032 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1353 /proc/meminfo: memFree=27954648/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=59032 CPUtime=1662.01 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 210564 0 0 0 165927 274 0 0 20 0 1 0 338567480 60448768 12349 33554432000 134512640 137136520 4292693872 4292692988 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 14758 12349 198 641 0 14114 0 Current children cumulated CPU time (s) 1662.01 Current children cumulated vsize (KiB) 59032 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1353 /proc/meminfo: memFree=27931080/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=59032 CPUtime=1722.01 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 210564 0 0 0 171921 280 0 0 20 0 1 0 338567480 60448768 12349 33554432000 134512640 137136520 4292693872 4292692632 135982525 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 14758 12349 198 641 0 14114 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 59032 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1354 /proc/meminfo: memFree=27901816/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=59032 CPUtime=1782 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 210564 0 0 0 177914 286 0 0 20 0 1 0 338567480 60448768 12349 33554432000 134512640 137136520 4292693872 4292692988 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 14758 12349 198 641 0 14114 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 59032 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1354 /proc/meminfo: memFree=27901940/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=59032 CPUtime=1791.6 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 210564 0 0 0 178874 286 0 0 20 0 1 0 338567480 60448768 12349 33554432000 134512640 137136520 4292693872 4292692388 136509072 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 14758 12349 198 641 0 14114 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (KiB) 59032 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1354 /proc/meminfo: memFree=27901940/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=59032 CPUtime=1794.8 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 210564 0 0 0 179193 287 0 0 20 0 1 0 338567480 60448768 12349 33554432000 134512640 137136520 4292693872 4292692512 134606742 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 14758 12349 198 641 0 14114 0 Current children cumulated CPU time (s) 1794.8 Current children cumulated vsize (KiB) 59032 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1354 /proc/meminfo: memFree=27901940/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=59032 CPUtime=1796.4 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 210564 0 0 0 179353 287 0 0 20 0 1 0 338567480 60448768 12349 33554432000 134512640 137136520 4292693872 4292692988 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 14758 12349 198 641 0 14114 0 Current children cumulated CPU time (s) 1796.4 Current children cumulated vsize (KiB) 59032 [startup+1797.5 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1354 /proc/meminfo: memFree=27901940/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=59032 CPUtime=1797.19 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 210564 0 0 0 179432 287 0 0 20 0 1 0 338567480 60448768 12349 33554432000 134512640 137136520 4292693872 4292692468 136500517 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 14758 12349 198 641 0 14114 0 Current children cumulated CPU time (s) 1797.19 Current children cumulated vsize (KiB) 59032 [startup+1797.9 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1354 /proc/meminfo: memFree=27901940/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=59032 CPUtime=1797.59 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 210564 0 0 0 179472 287 0 0 20 0 1 0 338567480 60448768 12349 33554432000 134512640 137136520 4292693872 4292692640 134573191 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 14758 12349 198 641 0 14114 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (KiB) 59032 [startup+1798.1 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1354 /proc/meminfo: memFree=27901940/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=59032 CPUtime=1797.79 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 210564 0 0 0 179492 287 0 0 20 0 1 0 338567480 60448768 12349 33554432000 134512640 137136520 4292693872 4292692988 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 14758 12349 198 641 0 14114 0 Current children cumulated CPU time (s) 1797.79 Current children cumulated vsize (KiB) 59032 [startup+1798.2 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1354 /proc/meminfo: memFree=27901940/32873648 swapFree=6864/6864 [pid=1264] ppid=1262 vsize=59032 CPUtime=1797.89 cores=1,3,5,7 /proc/1264/stat : 1264 (bsolo) R 1262 1264 31961 0 -1 4202496 210564 0 0 0 179502 287 0 0 20 0 1 0 338567480 60448768 12349 33554432000 134512640 137136520 4292693872 4292692988 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/1264/statm: 14758 12349 198 641 0 14114 0 Current children cumulated CPU time (s) 1797.89 Current children cumulated vsize (KiB) 59032 Child status: 0 Real time (s): 1798.3 CPU time (s): 1798 CPU user time (s): 1795.13 CPU system time (s): 2.87356 CPU usage (%): 99.9835 Max. virtual memory (cumulated for all children) (KiB): 59320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.13 system time used= 2.87356 maximum resident set size= 49708 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 210566 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= 24 involuntary context switches= 1850 runsolver used 2.84457 second user time and 8.79366 second system time The end
Begin job on node120 at 2012-06-03 13:53:35 IDJOB=3735833 IDBENCH=24999 IDSOLVER=2320 FILE ID=node120/3735833-1338724415 RUNJOBID= node120-1338713480-31978 PBS_JOBID= 14636735 Free space on /tmp= 70772 MiB SOLVER NAME= PB09: 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-3735833-1338724415/watcher-3735833-1338724415 -o /tmp/evaluation-result-3735833-1338724415/solver-3735833-1338724415 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3735833-1338724415.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 525408a019e1cf8f47f95fb4bdf20c0f RANDOM SEED=2043311207 node120.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.88 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 28225908 kB Buffers: 566396 kB Cached: 3119408 kB SwapCached: 1580 kB Active: 1734928 kB Inactive: 1982632 kB Active(anon): 23864 kB Inactive(anon): 9224 kB Active(file): 1711064 kB Inactive(file): 1973408 kB Unevictable: 6864 kB Mlocked: 6864 kB SwapTotal: 67108856 kB SwapFree: 67103516 kB Dirty: 4372 kB Writeback: 0 kB AnonPages: 35492 kB Mapped: 11588 kB Shmem: 32 kB Slab: 794440 kB SReclaimable: 238660 kB SUnreclaim: 555780 kB KernelStack: 1472 kB PageTables: 4236 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 153252 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3735833-1338724415.opb Free space on /tmp at the end= 70768 MiB End job on node120 at 2012-06-03 14:23:33