Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB09: bsolo 3.1 | SAT | 27 | 1798 | 1798.3 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_030_area_delay.opb |
MD5SUM | 55bd571d186b9003e67d2301a4d2bce5 |
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 | 25 |
Best CPU time to get the best result obtained on this benchmark | 1.21081 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | YES |
Number of variables | 4666 |
Total number of constraints | 12693 |
Number of constraints which are clauses | 12693 |
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 | 2273 |
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 | 2273 |
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 | 2273 |
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-3735646-1338722326.opb 0.00/0.00 c File size is 374479 bytes. 0.00/0.02 c Highest Coefficient sum: 2273 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.027 s 0.00/0.03 c Var: 4666 Constr: 12693 12693/0/0 Lit: 30714 Watch. Lit: 25222 0.00/0.03 c Obj. Vars: 2273 (48.7141 % of total variables) 0.00/0.07 c Pre-processing Time: 0.069 s 0.00/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.07 c 0 4336 11917 29130 2 23834 3972 0 0 0.07 0.00/0.07 c Switching off lower bounding mode. 0.00/0.07 o 30 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 0 4336 11918 31239 2 25915 4972 1 0 0.07 0.09/0.12 o 29 638.37/638.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 638.37/638.56 c 56 4336 11979 36024 3 28117 4972 62 451 0.12 638.37/638.56 c 157 4336 12123 38920 3 28405 5470 206 769 0.20 638.37/638.56 c 408 4336 12448 47759 3 29055 6018 531 927 0.44 638.37/638.56 c 884 4336 13014 68343 5 30187 6620 1097 904 0.98 638.37/638.56 c 1697 4336 13874 106660 7 31907 7283 1957 857 1.98 638.37/638.56 c 3017 4336 15256 169067 11 34671 8012 3339 832 3.62 638.37/638.56 c 5098 4336 17394 281235 16 41016 8814 5477 797 6.39 638.37/638.56 c 8321 4336 20793 529932 25 49879 9696 8876 772 10.77 638.37/638.56 c 13258 4336 19284 634814 32 44775 10666 7367 732 18.10 638.37/638.56 c 20764 4336 20123 722107 35 44403 11733 8206 728 28.51 638.37/638.56 c 32125 4336 17785 400354 22 41800 12907 5868 754 42.60 638.37/638.56 c 49271 4336 18913 333749 17 39906 14198 6996 769 64.00 638.37/638.56 c 75091 4336 19288 1015428 52 40656 15618 7371 738 101.69 638.37/638.56 c 113923 4336 21823 967484 44 47804 17180 9906 698 163.09 638.37/638.56 c 172276 4336 20642 504808 24 43364 18899 8725 712 241.96 638.37/638.56 c 259910 4336 24753 753179 30 55739 20789 12836 722 359.67 638.37/638.56 c 391463 4336 30310 3219465 106 79159 22868 18393 718 544.97 638.37/638.56 o 28 1650.51/1650.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1650.51/1650.83 c 451290 4336 27847 1063545 38 61928 4972 15930 706 638.44 1650.51/1650.83 c 451391 4336 14508 251075 17 31097 5470 2591 706 638.69 1650.51/1650.83 c 451641 4336 14832 259454 17 31745 6018 2915 706 638.93 1650.51/1650.83 c 452116 4336 15433 281640 18 32947 6620 3516 707 639.40 1650.51/1650.83 c 452929 4336 16301 328863 20 34683 7283 4384 707 640.37 1650.51/1650.83 c 454249 4336 17670 380573 21 37421 8012 5753 707 641.86 1650.51/1650.83 c 456330 4336 19807 486423 24 41695 8814 7890 708 644.27 1650.51/1650.83 c 459553 4336 17208 301300 17 38574 9696 5291 709 648.03 1650.51/1650.83 c 464489 4336 16766 417468 24 35613 10666 4849 709 654.34 1650.51/1650.83 c 471995 4336 18395 500997 27 40940 11733 6478 711 663.80 1650.51/1650.83 c 483357 4336 23079 674789 29 52392 12907 11162 712 677.92 1650.51/1650.83 c 500501 4336 24557 811797 33 51195 14198 12640 714 700.61 1650.51/1650.83 c 526320 4336 25599 1314851 51 57435 15618 13682 716 735.02 1650.51/1650.83 c 565152 4336 20206 689978 34 44571 17180 8289 717 787.86 1650.51/1650.83 c 623505 4336 20508 674264 32 49320 18899 8591 720 865.54 1650.51/1650.83 c 711138 4336 23492 2255304 96 51114 20789 11575 723 983.12 1650.51/1650.83 c 842691 4336 28167 928677 32 60493 22868 16250 732 1150.71 1650.51/1650.83 c 1040124 4336 34281 1802551 52 70643 25155 22364 737 1410.36 1650.51/1650.83 o 27 1797.90/1798.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.90/1798.29 c 1202039 4336 23276 901079 38 50710 4972 11359 728 1650.72 1797.90/1798.29 c 1202139 4336 14531 221114 15 31144 5470 2614 728 1650.84 1797.90/1798.29 c 1202389 4336 14824 229555 15 31730 6018 2907 728 1651.04 1797.90/1798.29 c 1202865 4336 15449 245468 15 32980 6620 3532 728 1651.40 1797.90/1798.29 c 1203679 4336 16327 287208 17 36815 7283 4410 728 1652.18 1797.90/1798.29 c 1204999 4336 17690 380710 21 39541 8012 5773 728 1653.73 1797.90/1798.29 c 1207080 4336 19886 538702 27 43933 8814 7969 728 1656.09 1797.90/1798.29 c 1210303 4336 17094 366136 21 36270 9696 5177 729 1659.80 1797.90/1798.29 c 1215239 4336 16766 476015 28 35614 10666 4849 729 1665.63 1797.90/1798.29 c 1222745 4336 18215 334355 18 40591 11733 6298 731 1672.67 1797.90/1798.29 c 1234107 4336 22993 896158 38 50143 12907 11076 731 1687.01 1797.90/1798.29 c 1251251 4336 24449 913189 37 53058 14198 12532 732 1707.94 1797.90/1798.29 c 1277070 4336 25408 755638 29 54978 15618 13491 736 1734.64 1797.90/1798.29 c 1315902 4336 27463 1485373 54 59083 17180 15546 738 1781.84 1797.90/1798.29 c Resources Exceeded 1797.90/1798.29 v -x189 -x191 -x193 x195 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -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 -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 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -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 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -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 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -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 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -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 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -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 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 x2449 -x2451 -x2453 -x2455 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -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 -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 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -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 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -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 -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 -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 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -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 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 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 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -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 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -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 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 -x4012 -x4014 -x4016 -x4018 -x4020 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073 -x4075 -x4077 -x4079 x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 x4121 -x4122 -x4124 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4142 -x4144 -x4146 -x4148 -x4150 x4152 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175 -x4177 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 -x4243 -x4245 -x4247 -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4312 -x4314 -x4316 -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 -x4367 -x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 -x4407 -x4409 -x4411 -x4413 -x4415 -x4417 -x4419 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 -x4433 -x4435 -x4437 -x4439 -x4441 -x4442 -x4444 x4446 -x4447 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 x4460 -x4462 -x4464 x4466 -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4481 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x4528 -x4529 -x4531 x4533 -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556 -x4558 x4559 -x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4572 -x4574 -x4576 x4578 -x4579 -x4581 -x4583 x4584 -x4586 -x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 -x4636 -x4638 -x4640 -x4641 -x4643 -x4645 -x4647 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 -x4660 -x4662 x4664 -x4665 x4666 -x188 -x190 -x192 x194 -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x1 -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 -x2 -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 -x3 -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 -x4 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x5 -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 -x6 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x7 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x8 -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 -x9 -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 -x10 -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 -x11 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x12 -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 -x13 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x14 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x15 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x16 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x17 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x18 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x19 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x20 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x21 -x1325 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x22 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x23 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1387 -x1389 -x1391 -x1393 -x1395 -x24 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x25 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x26 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x27 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x28 -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 -x1529 -x1531 -x1533 -x1535 -x29 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x30 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x31 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x32 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x33 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x34 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x35 -x1668 -x1670 -x1672 -x36 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x37 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x38 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x39 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x40 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x41 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x42 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x43 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x44 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x45 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x46 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 x47 x1953 -x1955 -x1957 -x48 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x49 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x50 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x51 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x52 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x53 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x54 -x2137 -x2139 -x2142 -x2144 -x2146 -x2148 -x55 -x2150 -x2152 -x2154 -x2156 -x2159 -x2161 -x56 -x2163 -x2165 -x2167 -x57 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x58 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x59 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x60 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x61 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x62 -x2271 -x2273 -x2275 -x63 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x64 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x65 -x2305 -x2307 -x2309 -x66 -x2311 -x2313 -x2315 -x2317 -x2320 -x2322 -x67 -x2324 -x2326 -x2328 -x68 -x2330 -x2332 -x69 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2390 -x2392 -x2394 -x2396 -x70 -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 -x71 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x72 -x2487 -x2489 -x2491 -x2493 -x2495 -x2498 -x73 -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 -x74 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x75 -x2592 -x2594 -x2596 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x76 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x77 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x78 -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 -x79 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x80 -x2756 -x2758 -x2760 -x2762 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x81 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 x2805 -x2807 -x2809 -x2811 -x2813 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x82 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x83 -x2858 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 x2881 -x2883 -x84 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x85 -x2899 -x2901 -x2903 -x86 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x87 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x88 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x89 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x90 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x91 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x92 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x93 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x94 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x95 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 x96 x3151 -x3153 -x3155 -x97 -x3157 -x3159 -x3161 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3213 -x3215 -x98 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x99 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3267 -x3269 -x3271 -x3273 -x100 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x101 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x102 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x103 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x104 -x3347 -x3349 -x3351 -x3353 -x3355 -x3358 -x105 -x3360 -x3362 -x3364 -x106 -x3366 -x3368 -x3370 -x3372 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x107 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x108 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x109 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3464 -x110 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3487 -x3489 -x3491 -x111 -x3493 -x3495 -x112 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x113 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x114 -x3525 -x3527 -x3529 -x115 -x3531 -x3533 -x3535 -x3538 -x3540 -x3542 -x116 -x3544 -x3546 -x3548 -x117 -x3550 -x3552 -x118 -x3555 x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x119 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x120 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x121 -x3676 -x3678 -x3681 -x3683 -x3685 -x3687 -x122 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x123 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x124 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x125 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x126 -x3793 -x3795 -x3797 -x3799 -x3801 -x3804 -x127 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x128 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x129 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x130 -x3864 -x3866 -x3868 -x131 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x132 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x133 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x134 -x3944 -x3946 -x3948 -x3951 -x3953 -x3955 -x135 -x3957 -x3959 -x3961 -x3963 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x136 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3998 -x137 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x138 -x4013 -x4015 -x4017 -x139 -x4019 -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x4035 -x4037 -x4039 -x4041 -x4043 -x140 -x4046 -x4048 -x4050 -x4052 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 x4080 -x4082 -x4084 -x4086 -x4088 -x141 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x142 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 x143 -x4118 x4120 -x144 -x4123 -x4126 -x4128 -x4130 -x4132 -x4134 -x145 -x4136 -x4138 -x4140 -x4143 -x4145 -x4147 -x4149 x4151 -x146 -x4154 -x4156 -x4158 -x4160 -x4162 -x4164 -x4166 -x147 -x4168 -x4170 -x4172 -x148 -x4174 -x4176 x149 -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 -x4191 x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x150 -x4211 -x4213 -x4215 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x151 -x4241 -x4244 -x4246 -x4248 -x4250 -x4252 -x152 -x4254 -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x153 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4287 -x4289 -x4291 -x4293 -x4295 -x154 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x4309 -x155 -x4311 -x4313 -x4315 -x4318 -x4320 -x4322 -x156 -x4324 -x4326 -x4328 -x157 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 x4348 -x4350 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x4366 -x4368 -x4370 -x4372 -x158 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x159 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 -x4398 -x160 -x4400 -x4402 -x4404 -x161 -x4406 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418 -x162 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 -x163 -x4434 -x4436 x164 -x4438 -x4440 -x4443 x4445 -x4448 -x165 -x4450 -x4452 -x4454 -x166 -x4456 -x4458 x167 -x4461 -x4463 x4465 -x4467 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 -x4482 -x4484 -x4486 -x4488 -x4490 -x168 -x4492 -x4494 -x4496 -x4499 -x4501 -x4503 -x169 -x4505 -x4507 -x4509 -x4511 -x4513 -x4515 -x4517 -x170 -x4519 -x4521 -x4523 -x4525 -x4527 -x4530 x171 x4532 -x4534 -x4536 -x172 -x4538 -x4540 -x4542 -x4544 -x4547 -x4549 -x173 -x4551 -x4553 -x4555 -x4557 -x4561 -x4563 -x4565 -x4567 -x174 -x4569 -x4571 -x4573 -x4575 x4577 -x175 -x4580 -x4582 -x4585 -x4587 -x4589 -x4591 -x4593 -x176 -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x177 -x4609 -x4611 -x4613 -x178 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x179 -x4628 -x4630 -x180 -x4632 -x4634 -x181 -x4637 -x182 -x4639 -x4642 -x4644 -x4646 -x4648 -x183 -x4650 -x4652 -x4654 -x184 -x4656 -x4658 -x185 -x4661 x4663 -x186 x187 1797.90/1798.29 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.90/1798.29 c 50 1329192 867040 5600443 21047 804057 9130 739 1798.00 1797.90/1798.29 c Objective: 27 1797.90/1798.29 s SATISFIABLE 1797.90/1798.29 c Total time: 1798 s
OK 27
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-3735646-1338722326/watcher-3735646-1338722326 -o /tmp/evaluation-result-3735646-1338722326/solver-3735646-1338722326 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3735646-1338722326.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.00 2.00 2.00 3/176 1099 /proc/meminfo: memFree=27850912/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=11304 CPUtime=0 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 349 0 0 0 0 0 0 0 20 0 1 0 338358578 11575296 302 33554432000 134512640 137136520 4288941920 4288939816 136504651 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 2826 303 182 641 0 2090 0 [startup+0.00606911 s] /proc/loadavg: 2.00 2.00 2.00 3/176 1099 /proc/meminfo: memFree=27850912/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=11444 CPUtime=0 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 391 0 0 0 0 0 0 0 20 0 1 0 338358578 11718656 344 33554432000 134512640 137136520 4288941920 4288940448 134517643 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 2861 345 189 641 0 2125 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11444 [startup+0.100185 s] /proc/loadavg: 2.00 2.00 2.00 3/176 1099 /proc/meminfo: memFree=27850912/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=13588 CPUtime=0.09 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 1182 0 0 0 8 1 0 0 20 0 1 0 338358578 13914112 970 33554432000 134512640 137136520 4288941920 4288940512 134616694 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 3397 970 198 641 0 2753 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13588 [startup+0.300102 s] /proc/loadavg: 2.00 2.00 2.00 3/176 1099 /proc/meminfo: memFree=27850912/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=13588 CPUtime=0.29 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 1193 0 0 0 28 1 0 0 20 0 1 0 338358578 13914112 981 33554432000 134512640 137136520 4288941920 4288940848 134543942 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 3397 981 198 641 0 2753 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13588 [startup+0.700096 s] /proc/loadavg: 2.00 2.00 2.00 3/176 1099 /proc/meminfo: memFree=27850912/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=13824 CPUtime=0.69 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 1541 0 0 0 66 3 0 0 20 0 1 0 338358578 14155776 1042 33554432000 134512640 137136520 4288941920 4288940428 136698750 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 3456 1042 198 641 0 2812 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13824 [startup+1.5001 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1100 /proc/meminfo: memFree=27847308/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=14292 CPUtime=1.49 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 3094 0 0 0 146 3 0 0 20 0 1 0 338358578 14635008 1159 33554432000 134512640 137136520 4288941920 4288940428 136698750 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 3573 1159 198 641 0 2929 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14292 [startup+3.10018 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1100 /proc/meminfo: memFree=27846332/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=15336 CPUtime=3.09 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 6535 0 0 0 304 5 0 0 20 0 1 0 338358578 15704064 1388 33554432000 134512640 137136520 4288941920 4288940264 134598516 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 3828 1388 198 641 0 3184 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15336 [startup+6.30012 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1100 /proc/meminfo: memFree=27844108/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=17340 CPUtime=6.29 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 12116 0 0 0 621 8 0 0 20 0 1 0 338358578 17756160 1889 33554432000 134512640 137136520 4288941920 4288940448 134600223 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 4335 1889 198 641 0 3691 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17340 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1100 /proc/meminfo: memFree=27839304/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=22328 CPUtime=12.69 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 19939 0 0 0 1257 12 0 0 20 0 1 0 338358578 22863872 3164 33554432000 134512640 137136520 4288941920 4288940816 134543918 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 5582 3164 198 641 0 4938 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22328 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1100 /proc/meminfo: memFree=27833112/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=28464 CPUtime=25.48 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 30272 0 0 0 2532 16 0 0 20 0 1 0 338358578 29147136 4702 33554432000 134512640 137136520 4288941920 4288940512 134616694 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 7116 4702 198 641 0 6472 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28464 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1100 /proc/meminfo: memFree=27832492/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=28708 CPUtime=51.08 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 30924 0 0 0 5087 21 0 0 20 0 1 0 338358578 29396992 4763 33554432000 134512640 137136520 4288941920 4288940632 136504219 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 7177 4763 198 641 0 6533 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 28708 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/178 1103 /proc/meminfo: memFree=27819468/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=41896 CPUtime=102.28 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 52734 0 0 0 10193 35 0 0 20 0 1 0 338358578 42901504 8060 33554432000 134512640 137136520 4288941920 4288940688 134571834 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 10474 8060 198 641 0 9830 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 41896 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1103 /proc/meminfo: memFree=27819156/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=41880 CPUtime=162.26 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 52740 0 0 0 16183 43 0 0 20 0 1 0 338358578 42885120 8060 33554432000 134512640 137136520 4288941920 4288940512 134616694 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 10470 8060 198 641 0 9826 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 41880 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1104 /proc/meminfo: memFree=27817400/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=41888 CPUtime=222.25 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 52751 0 0 0 22174 51 0 0 20 0 1 0 338358578 42893312 8554 33554432000 134512640 137136520 4288941920 4288914736 134600539 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 10472 8554 198 641 0 9828 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 41888 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/174 1111 /proc/meminfo: memFree=28160976/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=41892 CPUtime=282.23 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 52752 0 0 0 28163 60 0 0 20 0 1 0 338358578 42897408 8555 33554432000 134512640 137136520 4288941920 4288940632 136503529 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 10473 8555 198 641 0 9829 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 41892 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1152 /proc/meminfo: memFree=28190684/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=41892 CPUtime=342.23 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 52752 0 0 0 34152 71 0 0 20 0 1 0 338358578 42897408 8555 33554432000 134512640 137136520 4288941920 4288940328 136502385 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 10473 8555 198 641 0 9829 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 41892 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1152 /proc/meminfo: memFree=28181756/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=41900 CPUtime=402.22 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 52754 0 0 0 40143 79 0 0 20 0 1 0 338358578 42905600 8557 33554432000 134512640 137136520 4288941920 4288940532 134551044 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 10475 8557 198 641 0 9831 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 41900 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 1152 /proc/meminfo: memFree=28181268/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=41900 CPUtime=462.2 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 52754 0 0 0 46134 86 0 0 20 0 1 0 338358578 42905600 8557 33554432000 134512640 137136520 4288941920 4288940848 134543884 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 10475 8557 198 641 0 9831 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 41900 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 1155 /proc/meminfo: memFree=28178164/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=44828 CPUtime=522.19 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 56990 0 0 0 52123 96 0 0 20 0 1 0 338358578 45903872 9289 33554432000 134512640 137136520 4288941920 4288941024 134545039 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 11207 9289 198 641 0 10563 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 44828 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1155 /proc/meminfo: memFree=28144012/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=74524 CPUtime=582.19 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 99228 0 0 0 58103 116 0 0 20 0 1 0 338358578 76312576 16713 33554432000 134512640 137136520 4288941920 4288940500 136295556 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 18631 16713 198 641 0 17987 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 74524 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=28089768/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=74016 CPUtime=1122.09 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 99240 0 0 0 112011 198 0 0 20 0 1 0 338358578 75792384 16586 33554432000 134512640 137136520 4288941920 4288914920 134598538 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 18504 16586 198 641 0 17860 0 Current children cumulated CPU time (s) 1122.09 Current children cumulated vsize (KiB) 74016 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1160 /proc/meminfo: memFree=28073152/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=74016 CPUtime=1182.09 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 99240 0 0 0 118002 207 0 0 20 0 1 0 338358578 75792384 16586 33554432000 134512640 137136520 4288941920 4288941036 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 18504 16586 198 641 0 17860 0 Current children cumulated CPU time (s) 1182.09 Current children cumulated vsize (KiB) 74016 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1160 /proc/meminfo: memFree=28073276/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=74016 CPUtime=1242.08 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 99240 0 0 0 123993 215 0 0 20 0 1 0 338358578 75792384 16586 33554432000 134512640 137136520 4288941920 4288941036 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 18504 16586 198 641 0 17860 0 Current children cumulated CPU time (s) 1242.08 Current children cumulated vsize (KiB) 74016 [startup+1302.3 s] /proc/loadavg: 2.06 2.01 2.00 3/178 1163 /proc/meminfo: memFree=28072896/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=74016 CPUtime=1302.07 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 99240 0 0 0 129983 224 0 0 20 0 1 0 338358578 75792384 16586 33554432000 134512640 137136520 4288941920 4288941036 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 18504 16586 198 641 0 17860 0 Current children cumulated CPU time (s) 1302.07 Current children cumulated vsize (KiB) 74016 [startup+1362.3 s] /proc/loadavg: 2.09 2.03 2.00 3/177 1163 /proc/meminfo: memFree=28072904/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=74016 CPUtime=1362.06 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 99240 0 0 0 135971 235 0 0 20 0 1 0 338358578 75792384 16586 33554432000 134512640 137136520 4288941920 4288940560 134606774 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 18504 16586 198 641 0 17860 0 Current children cumulated CPU time (s) 1362.06 Current children cumulated vsize (KiB) 74016 [startup+1422.31 s] /proc/loadavg: 2.03 2.02 2.00 3/177 1164 /proc/meminfo: memFree=28073032/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=74024 CPUtime=1422.06 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 99242 0 0 0 141962 244 0 0 20 0 1 0 338358578 75800576 16588 33554432000 134512640 137136520 4288941920 4288940688 134573691 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 18506 16588 198 641 0 17862 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 74024 [startup+1482.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 1164 /proc/meminfo: memFree=28073032/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=74028 CPUtime=1482.05 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 99243 0 0 0 147954 251 0 0 20 0 1 0 338358578 75804672 16589 33554432000 134512640 137136520 4288941920 4288940688 134574336 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 18507 16589 198 641 0 17863 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 74028 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 1164 /proc/meminfo: memFree=28073280/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=74028 CPUtime=1542.03 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 99243 0 0 0 153946 257 0 0 20 0 1 0 338358578 75804672 16589 33554432000 134512640 137136520 4288941920 4288941036 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 18507 16589 198 641 0 17863 0 Current children cumulated CPU time (s) 1542.03 Current children cumulated vsize (KiB) 74028 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1164 /proc/meminfo: memFree=28073156/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=74028 CPUtime=1602.02 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 99243 0 0 0 159938 264 0 0 20 0 1 0 338358578 75804672 16589 33554432000 134512640 137136520 4288941920 4288940512 134616694 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 18507 16589 198 641 0 17863 0 Current children cumulated CPU time (s) 1602.02 Current children cumulated vsize (KiB) 74028 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1164 /proc/meminfo: memFree=28073404/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=74016 CPUtime=1662.01 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 99243 0 0 0 165928 273 0 0 20 0 1 0 338358578 75792384 16586 33554432000 134512640 137136520 4288941920 4288941036 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 18504 16586 198 641 0 17860 0 Current children cumulated CPU time (s) 1662.01 Current children cumulated vsize (KiB) 74016 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 1164 /proc/meminfo: memFree=28073536/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=73752 CPUtime=1722 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 99243 0 0 0 171915 285 0 0 20 0 1 0 338358578 75522048 16520 33554432000 134512640 137136520 4288941920 4288940448 134600687 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 18438 16520 198 641 0 17794 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 73752 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1165 /proc/meminfo: memFree=28073032/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=73752 CPUtime=1781.99 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 99243 0 0 0 177904 295 0 0 20 0 1 0 338358578 75522048 16520 33554432000 134512640 137136520 4288941920 4288940504 135982486 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 18438 16520 198 641 0 17794 0 Current children cumulated CPU time (s) 1781.99 Current children cumulated vsize (KiB) 73752 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 1165 /proc/meminfo: memFree=28073032/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=73752 CPUtime=1791.6 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 99243 0 0 0 178862 298 0 0 20 0 1 0 338358578 75522048 16520 33554432000 134512640 137136520 4288941920 4288940244 136498202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 18438 16520 198 641 0 17794 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (KiB) 73752 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1165 /proc/meminfo: memFree=28073032/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=73752 CPUtime=1794.8 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 99243 0 0 0 179182 298 0 0 20 0 1 0 338358578 75522048 16520 33554432000 134512640 137136520 4288941920 4288940688 134574450 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 18438 16520 198 641 0 17794 0 Current children cumulated CPU time (s) 1794.8 Current children cumulated vsize (KiB) 73752 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1165 /proc/meminfo: memFree=28073032/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=73752 CPUtime=1796.39 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 99243 0 0 0 179341 298 0 0 20 0 1 0 338358578 75522048 16520 33554432000 134512640 137136520 4288941920 4288940848 134543918 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 18438 16520 198 641 0 17794 0 Current children cumulated CPU time (s) 1796.39 Current children cumulated vsize (KiB) 73752 [startup+1797.5 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1165 /proc/meminfo: memFree=28073032/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=73752 CPUtime=1797.2 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 99243 0 0 0 179421 299 0 0 20 0 1 0 338358578 75522048 16520 33554432000 134512640 137136520 4288941920 4288940264 134598538 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 18438 16520 198 641 0 17794 0 Current children cumulated CPU time (s) 1797.2 Current children cumulated vsize (KiB) 73752 [startup+1797.9 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1165 /proc/meminfo: memFree=28073032/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=73752 CPUtime=1797.6 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 99243 0 0 0 179461 299 0 0 20 0 1 0 338358578 75522048 16520 33554432000 134512640 137136520 4288941920 4288940584 136502385 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 18438 16520 198 641 0 17794 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (KiB) 73752 [startup+1798.1 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1165 /proc/meminfo: memFree=28073032/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=73752 CPUtime=1797.8 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 99243 0 0 0 179481 299 0 0 20 0 1 0 338358578 75522048 16520 33554432000 134512640 137136520 4288941920 4288941036 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 18438 16520 198 641 0 17794 0 Current children cumulated CPU time (s) 1797.8 Current children cumulated vsize (KiB) 73752 [startup+1798.2 s] /proc/loadavg: 2.00 2.00 2.00 3/177 1165 /proc/meminfo: memFree=28073032/32873648 swapFree=6864/6864 [pid=1099] ppid=1097 vsize=73752 CPUtime=1797.9 cores=0,2,4,6 /proc/1099/stat : 1099 (bsolo) R 1097 1099 31961 0 -1 4202496 99243 0 0 0 179491 299 0 0 20 0 1 0 338358578 75522048 16520 33554432000 134512640 137136520 4288941920 4288940556 134616432 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/1099/statm: 18438 16520 198 641 0 17794 0 Current children cumulated CPU time (s) 1797.9 Current children cumulated vsize (KiB) 73752 Child status: 0 Real time (s): 1798.3 CPU time (s): 1798 CPU user time (s): 1795.01 CPU system time (s): 2.99454 CPU usage (%): 99.9835 Max. virtual memory (cumulated for all children) (KiB): 74524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.01 system time used= 2.99454 maximum resident set size= 66876 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 99245 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= 30 involuntary context switches= 2854 runsolver used 2.72659 second user time and 7.2079 second system time The end
Begin job on node120 at 2012-06-03 13:18:46 IDJOB=3735646 IDBENCH=24982 IDSOLVER=2320 FILE ID=node120/3735646-1338722326 RUNJOBID= node120-1338713480-31977 PBS_JOBID= 14636735 Free space on /tmp= 70720 MiB SOLVER NAME= PB09: bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_030_area_delay.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735646-1338722326/watcher-3735646-1338722326 -o /tmp/evaluation-result-3735646-1338722326/solver-3735646-1338722326 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3735646-1338722326.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 55bd571d186b9003e67d2301a4d2bce5 RANDOM SEED=774137579 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: 27851084 kB Buffers: 566136 kB Cached: 3170284 kB SwapCached: 1580 kB Active: 2109640 kB Inactive: 1982556 kB Active(anon): 347748 kB Inactive(anon): 9224 kB Active(file): 1761892 kB Inactive(file): 1973332 kB Unevictable: 6864 kB Mlocked: 6864 kB SwapTotal: 67108856 kB SwapFree: 67103516 kB Dirty: 4280 kB Writeback: 0 kB AnonPages: 362104 kB Mapped: 11548 kB Shmem: 32 kB Slab: 794384 kB SReclaimable: 238624 kB SUnreclaim: 555760 kB KernelStack: 1480 kB PageTables: 4856 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 475580 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 342016 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-3735646-1338722326.opb Free space on /tmp at the end= 70768 MiB End job on node120 at 2012-06-03 13:48:44