Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 | SAT | 28 | 1798 | 1797.94 |
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 | 6.03108 |
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.01 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.01 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Learning Strategy: Cardinality Constraint Learning 0.00/0.01 c Time Limit set to 1800 0.00/0.01 c Instance file HOME/instance-3462884-1307179879.opb 0.00/0.01 c File size is 374479 bytes. 0.00/0.03 c Highest Coefficient sum: 2273 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.025 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.03/0.07 c Pre-processing Time: 0.065 s 0.03/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.07 c 0 4336 11917 29130 2 23834 3972 0 0 0.07 0.03/0.07 c Switching off lower bounding mode. 0.03/0.07 o 30 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 0 4336 11918 31239 2 25915 4972 1 0 0.07 0.09/0.13 o 29 52.29/52.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 52.29/52.38 c 56 4336 11979 36024 3 28117 4972 62 437 0.13 52.29/52.38 c 157 4336 12123 38920 3 28405 5470 206 697 0.23 52.29/52.38 c 408 4336 12419 48350 3 28997 6018 502 744 0.55 52.29/52.38 c 883 4336 12951 70408 5 30061 6620 1034 729 1.21 52.29/52.38 c 1696 4336 13841 125084 9 35992 7283 1924 727 2.33 52.29/52.38 c 3016 4336 15184 182124 11 38678 8012 3267 652 4.62 52.29/52.38 c 5098 4336 17391 304144 17 43092 8814 5474 648 7.86 52.29/52.38 c 8321 4336 20781 512318 24 51946 9696 8864 634 13.11 52.29/52.38 c 13257 4336 19115 440134 23 44454 10666 7198 624 21.22 52.29/52.38 c 20763 4336 19921 742681 37 43989 11733 8004 602 34.44 52.29/52.38 o 28 1797.95/1797.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.95/1797.93 c 31177 4336 23047 771180 33 50255 4972 11130 595 52.38 1797.95/1797.93 c 31278 4336 14526 135408 9 31133 5470 2609 595 52.57 1797.95/1797.93 c 31529 4336 14874 144083 9 31829 6018 2957 596 52.84 1797.95/1797.93 c 32004 4336 15368 163391 10 32817 6620 3451 597 53.56 1797.95/1797.93 c 32817 4336 16225 204262 12 34531 7283 4308 599 54.77 1797.95/1797.93 c 34137 4336 17623 267625 15 37327 8012 5706 601 56.71 1797.95/1797.93 c 36218 4336 19765 388749 19 43690 8814 7848 602 60.13 1797.95/1797.93 c 39442 4336 16939 271509 16 35959 9696 5022 599 65.76 1797.95/1797.93 c 44378 4336 16766 249305 14 35613 10666 4849 600 73.90 1797.95/1797.93 c 51885 4336 18012 430461 23 38105 11733 6095 601 86.25 1797.95/1797.93 c 63246 4336 22655 785193 34 49470 12907 10738 589 107.36 1797.95/1797.93 c 80391 4336 24470 803676 32 53100 14198 12553 584 137.59 1797.95/1797.93 c 106210 4336 25514 1027515 40 57263 15618 13597 572 185.43 1797.95/1797.93 c 145044 4336 19727 473596 24 41535 17180 7810 557 260.05 1797.95/1797.93 c 203396 4336 29239 927269 31 64715 18899 17322 565 359.75 1797.95/1797.93 c 291028 4336 30907 1305904 42 65972 20789 18990 563 516.44 1797.95/1797.93 c 422580 4336 22313 921877 41 46707 22868 10396 530 796.32 1797.95/1797.93 c 620013 4336 32863 1282136 39 69885 25155 20946 516 1201.30 1797.95/1797.93 c Resources Exceeded 1797.95/1797.93 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.95/1797.93 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1797.93 c 29 893775 549592 3568628 26343 961328 14426 497 1798.00 1797.95/1797.93 c Objective: 28 1797.95/1797.93 s SATISFIABLE 1797.95/1797.93 c Total time: 1798 s
OK 28
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3462884-1307179879/watcher-3462884-1307179879 -o /tmp/evaluation-result-3462884-1307179879/solver-3462884-1307179879 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462884-1307179879.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.02 2.04 2.00 3/481 15206 /proc/meminfo: memFree=27379124/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=11720 CPUtime=0 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 466 0 0 0 0 0 0 0 25 0 1 0 829587605 12001280 420 33554432000 134512640 137138936 4287872272 18446744073709551615 134538746 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 2930 420 200 642 0 2194 0 [startup+0.037576 s] /proc/loadavg: 2.02 2.04 2.00 3/481 15206 /proc/meminfo: memFree=27379124/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=13240 CPUtime=0.03 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 1004 0 0 0 3 0 0 0 25 0 1 0 829587605 13557760 866 33554432000 134512640 137138936 4287872272 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 3310 866 184 642 0 2666 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 13240 [startup+0.100564 s] /proc/loadavg: 2.02 2.04 2.00 3/481 15206 /proc/meminfo: memFree=27379124/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=13588 CPUtime=0.09 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 1175 0 0 0 8 1 0 0 25 0 1 0 829587605 13914112 964 33554432000 134512640 137138936 4287872272 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 3397 964 192 642 0 2753 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13588 [startup+0.300589 s] /proc/loadavg: 2.02 2.04 2.00 3/481 15206 /proc/meminfo: memFree=27379124/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=13588 CPUtime=0.29 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 1182 0 0 0 27 2 0 0 25 0 1 0 829587605 13914112 971 33554432000 134512640 137138936 4287872272 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 3397 971 192 642 0 2753 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13588 [startup+0.700512 s] /proc/loadavg: 2.02 2.04 2.00 3/481 15206 /proc/meminfo: memFree=27379124/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=13740 CPUtime=0.68 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 1519 0 0 0 66 2 0 0 25 0 1 0 829587605 14069760 1015 33554432000 134512640 137138936 4287872272 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 3434 1014 192 642 0 2790 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 13740 [startup+1.50036 s] /proc/loadavg: 2.02 2.04 2.00 3/482 15207 /proc/meminfo: memFree=27375412/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=14324 CPUtime=1.49 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 2854 0 0 0 145 4 0 0 25 0 1 0 829587605 14667776 1161 33554432000 134512640 137138936 4287872272 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 3581 1161 192 642 0 2937 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14324 [startup+3.10099 s] /proc/loadavg: 2.02 2.04 2.00 3/482 15207 /proc/meminfo: memFree=27373800/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=15228 CPUtime=3.08 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 4738 0 0 0 304 4 0 0 25 0 1 0 829587605 15593472 1386 33554432000 134512640 137138936 4287872272 18446744073709551615 134606598 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 3807 1386 192 642 0 3163 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 15228 [startup+6.30045 s] /proc/loadavg: 2.02 2.04 2.00 3/482 15207 /proc/meminfo: memFree=27372064/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=16736 CPUtime=6.29 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 8016 0 0 0 622 7 0 0 25 0 1 0 829587605 17137664 1763 33554432000 134512640 137138936 4287872272 18446744073709551615 134607601 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 4184 1763 192 642 0 3540 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16736 [startup+12.7002 s] /proc/loadavg: 2.02 2.03 2.00 3/482 15207 /proc/meminfo: memFree=27367616/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=20456 CPUtime=12.68 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 14425 0 0 0 1258 10 0 0 25 0 1 0 829587605 20946944 2694 33554432000 134512640 137138936 4287872272 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 5114 2694 192 642 0 4470 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 20456 [startup+25.5008 s] /proc/loadavg: 2.02 2.03 2.00 3/482 15208 /proc/meminfo: memFree=27364796/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=22888 CPUtime=25.48 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 20315 0 0 0 2533 15 0 0 25 0 1 0 829587605 23437312 3301 33554432000 134512640 137138936 4287872272 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 5722 3301 192 642 0 5078 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 22888 [startup+51.1009 s] /proc/loadavg: 2.01 2.03 2.00 3/482 15208 /proc/meminfo: memFree=27357536/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=30132 CPUtime=51.09 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 33306 0 0 0 5087 22 0 0 25 0 1 0 829587605 30855168 5109 33554432000 134512640 137138936 4287872272 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 7533 5109 192 642 0 6889 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 30132 [startup+102.318 s] /proc/loadavg: 2.00 2.02 2.00 3/482 15210 /proc/meminfo: memFree=27357520/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=30068 CPUtime=102.31 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 33306 0 0 0 10197 34 0 0 25 0 1 0 829587605 30789632 5097 33554432000 134512640 137138936 4287872272 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 7517 5097 192 642 0 6873 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 30068 [startup+162.301 s] /proc/loadavg: 2.00 2.02 2.00 3/482 15211 /proc/meminfo: memFree=27355768/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=30080 CPUtime=162.29 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 33309 0 0 0 16183 46 0 0 25 0 1 0 829587605 30801920 5100 33554432000 134512640 137138936 4287872272 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 7520 5100 192 642 0 6876 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 30080 [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.00 4/482 15213 /proc/meminfo: memFree=27351156/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=31984 CPUtime=222.29 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 36331 0 0 0 22170 59 0 0 25 0 1 0 829587605 32751616 5576 33554432000 134512640 137138936 4287872272 18446744073709551615 134575200 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 7996 5576 192 642 0 7352 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 31984 [startup+282.301 s] /proc/loadavg: 2.00 2.01 2.00 3/482 15215 /proc/meminfo: memFree=27351636/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=31956 CPUtime=282.3 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 36333 0 0 0 28158 72 0 0 25 0 1 0 829587605 32722944 5569 33554432000 134512640 137138936 4287872272 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 7989 5569 192 642 0 7345 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 31956 [startup+342.3 s] /proc/loadavg: 2.26 2.06 2.02 3/482 15216 /proc/meminfo: memFree=27349760/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=34260 CPUtime=342.3 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 40591 0 0 0 34148 82 0 0 25 0 1 0 829587605 35082240 6145 33554432000 134512640 137138936 4287872272 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 8565 6145 192 642 0 7921 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 34260 [startup+402.301 s] /proc/loadavg: 2.23 2.08 2.02 3/482 15218 /proc/meminfo: memFree=27344780/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=39476 CPUtime=402.3 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 50168 0 0 0 40133 97 0 0 25 0 1 0 829587605 40423424 7445 33554432000 134512640 137138936 4287872272 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 9869 7445 192 642 0 9225 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 39476 [startup+462.3 s] /proc/loadavg: 2.08 2.06 2.02 3/482 15219 /proc/meminfo: memFree=27340544/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=42504 CPUtime=462.31 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 57080 0 0 0 46112 119 0 0 25 0 1 0 829587605 43524096 8206 33554432000 134512640 137138936 4287872272 18446744073709551615 134602734 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 10626 8206 192 642 0 9982 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 42504 [startup+522.301 s] /proc/loadavg: 2.03 2.05 2.01 4/482 15221 /proc/meminfo: memFree=27344488/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=38708 CPUtime=522.31 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 57082 0 0 0 52097 134 0 0 25 0 1 0 829587605 39636992 7257 33554432000 134512640 137138936 4287872272 18446744073709551615 134599706 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 9677 7257 192 642 0 9033 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 38708 [startup+582.301 s] /proc/loadavg: 2.01 2.04 2.01 3/482 15223 /proc/meminfo: memFree=27338644/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=44796 CPUtime=582.31 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 69271 0 0 0 58087 144 0 0 25 0 1 0 829587605 45871104 8779 33554432000 134512640 137138936 4287872272 18446744073709551615 134602816 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 11199 8779 192 642 0 10555 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 44796 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27332840/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=59164 CPUtime=1062.33 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 99246 0 0 0 105994 239 0 0 25 0 1 0 829587605 60583936 12371 33554432000 134512640 137138936 4287872272 18446744073709551615 134604267 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 14791 12371 192 642 0 14147 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 59164 [startup+1122.3 s] /proc/loadavg: 2.00 2.02 2.00 3/482 15372 /proc/meminfo: memFree=27320628/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=59164 CPUtime=1122.33 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 99246 0 0 0 111983 250 0 0 25 0 1 0 829587605 60583936 12371 33554432000 134512640 137138936 4287872272 18446744073709551615 134618336 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 14791 12371 192 642 0 14147 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 59164 [startup+1182.3 s] /proc/loadavg: 2.00 2.02 2.00 3/482 15374 /proc/meminfo: memFree=27313900/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=59160 CPUtime=1182.33 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 99246 0 0 0 117976 257 0 0 25 0 1 0 829587605 60579840 12370 33554432000 134512640 137138936 4287872272 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 14790 12370 192 642 0 14146 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 59160 [startup+1242.3 s] /proc/loadavg: 2.08 2.04 2.01 3/482 15375 /proc/meminfo: memFree=27306804/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=59160 CPUtime=1242.33 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 99248 0 0 0 123967 266 0 0 25 0 1 0 829587605 60579840 12370 33554432000 134512640 137138936 4287872272 18446744073709551615 136296997 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 14790 12370 192 642 0 14146 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 59160 [startup+1302.3 s] /proc/loadavg: 2.07 2.05 2.01 3/482 15377 /proc/meminfo: memFree=27297448/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=59160 CPUtime=1302.35 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 99248 0 0 0 129962 273 0 0 25 0 1 0 829587605 60579840 12370 33554432000 134512640 137138936 4287872272 18446744073709551615 134542093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 14790 12370 192 642 0 14146 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 59160 [startup+1362.3 s] /proc/loadavg: 2.02 2.03 2.00 3/482 15378 /proc/meminfo: memFree=27297668/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=59164 CPUtime=1362.34 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 99249 0 0 0 135954 280 0 0 25 0 1 0 829587605 60583936 12371 33554432000 134512640 137138936 4287872272 18446744073709551615 136504116 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 14791 12371 192 642 0 14147 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 59164 [startup+1422.32 s] /proc/loadavg: 2.06 2.04 2.00 3/482 15380 /proc/meminfo: memFree=27295884/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=61000 CPUtime=1422.36 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 102471 0 0 0 141948 288 0 0 25 0 1 0 829587605 62464000 12830 33554432000 134512640 137138936 4287872272 18446744073709551615 134575833 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 15250 12830 192 642 0 14606 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 61000 [startup+1482.3 s] /proc/loadavg: 2.02 2.03 2.00 3/482 15409 /proc/meminfo: memFree=27334220/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=62808 CPUtime=1482.35 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 106010 0 0 0 147942 293 0 0 25 0 1 0 829587605 64315392 13282 33554432000 134512640 137138936 4287872272 18446744073709551615 134599216 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 15702 13282 192 642 0 15058 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 62808 [startup+1542.3 s] /proc/loadavg: 2.01 2.02 2.00 3/482 15437 /proc/meminfo: memFree=27324936/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=62804 CPUtime=1542.35 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 106010 0 0 0 153939 296 0 0 25 0 1 0 829587605 64311296 13281 33554432000 134512640 137138936 4287872272 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 15701 13281 192 642 0 15057 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 62804 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/482 15439 /proc/meminfo: memFree=27313868/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=73608 CPUtime=1602.35 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 119058 0 0 0 159930 305 0 0 25 0 1 0 829587605 75374592 15976 33554432000 134512640 137138936 4287872272 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 18402 15976 192 642 0 17758 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 73608 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/482 15440 /proc/meminfo: memFree=27313328/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=73568 CPUtime=1662.35 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 119058 0 0 0 165921 314 0 0 25 0 1 0 829587605 75333632 15972 33554432000 134512640 137138936 4287872272 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 18392 15972 192 642 0 17748 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 73568 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/482 15469 /proc/meminfo: memFree=27319036/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=73560 CPUtime=1722.35 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 119058 0 0 0 171914 321 0 0 25 0 1 0 829587605 75325440 15970 33554432000 134512640 137138936 4287872272 18446744073709551615 135984561 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 18390 15970 192 642 0 17746 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 73560 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/482 15480 /proc/meminfo: memFree=27315640/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=73516 CPUtime=1782.36 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 119058 0 0 0 177908 328 0 0 25 0 1 0 829587605 75280384 15959 33554432000 134512640 137138936 4287872272 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 18379 15959 192 642 0 17735 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 73516 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 2.00 3/482 15480 /proc/meminfo: memFree=27316384/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=73516 CPUtime=1785.55 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 119058 0 0 0 178227 328 0 0 25 0 1 0 829587605 75280384 15959 33554432000 134512640 137138936 4287872272 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 18379 15959 192 642 0 17735 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (KiB) 73516 [startup+1791.92 s] /proc/loadavg: 2.00 2.00 2.00 3/482 15480 /proc/meminfo: memFree=27317464/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=73516 CPUtime=1791.97 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 119058 0 0 0 178868 329 0 0 25 0 1 0 829587605 75280384 15959 33554432000 134512640 137138936 4287872272 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 18379 15959 192 642 0 17735 0 Current children cumulated CPU time (s) 1791.97 Current children cumulated vsize (KiB) 73516 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/482 15480 /proc/meminfo: memFree=27317428/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=73516 CPUtime=1795.17 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 119058 0 0 0 179188 329 0 0 25 0 1 0 829587605 75280384 15959 33554432000 134512640 137138936 4287872272 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 18379 15959 192 642 0 17735 0 Current children cumulated CPU time (s) 1795.17 Current children cumulated vsize (KiB) 73516 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/482 15480 /proc/meminfo: memFree=27316932/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=73516 CPUtime=1796.75 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 119058 0 0 0 179346 329 0 0 25 0 1 0 829587605 75280384 15959 33554432000 134512640 137138936 4287872272 18446744073709551615 136506092 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 18379 15959 192 642 0 17735 0 Current children cumulated CPU time (s) 1796.75 Current children cumulated vsize (KiB) 73516 [startup+1797.5 s] /proc/loadavg: 2.00 2.00 2.00 3/482 15480 /proc/meminfo: memFree=27316672/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=73516 CPUtime=1797.55 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 119058 0 0 0 179426 329 0 0 25 0 1 0 829587605 75280384 15959 33554432000 134512640 137138936 4287872272 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 18379 15959 192 642 0 17735 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (KiB) 73516 [startup+1797.9 s] /proc/loadavg: 2.00 2.00 2.00 3/482 15480 /proc/meminfo: memFree=27316672/32950928 swapFree=39617324/67111528 [pid=15206] ppid=15204 vsize=73516 CPUtime=1797.95 cores=1,3,5,7 /proc/15206/stat : 15206 (bsolo) R 15204 15206 13533 0 -1 4202496 119058 0 0 0 179466 329 0 0 25 0 1 0 829587605 75280384 15959 33554432000 134512640 137138936 4287872272 18446744073709551615 134543403 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15206/statm: 18379 15959 192 642 0 17735 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 73516 Child status: 0 Real time (s): 1797.94 CPU time (s): 1798 CPU user time (s): 1794.7 CPU system time (s): 3.3035 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 73608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.7 system time used= 3.3035 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 119059 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= 6 involuntary context switches= 2655 runsolver used 8.14276 second user time and 19.791 second system time The end
Begin job on node127 at 2011-06-04 11:31:19 IDJOB=3462884 IDBENCH=24982 IDSOLVER=1955 FILE ID=node127/3462884-1307179879 RUNJOBID= node127-1307175344-14622 PBS_JOBID= 13508856 Free space on /tmp= 73944 MiB SOLVER NAME= bsolo 3.2 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_030_area_delay.opb COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462884-1307179879/watcher-3462884-1307179879 -o /tmp/evaluation-result-3462884-1307179879/solver-3462884-1307179879 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462884-1307179879.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 55bd571d186b9003e67d2301a4d2bce5 RANDOM SEED=3590115 node127.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 27379404 kB Buffers: 330336 kB Cached: 927936 kB SwapCached: 59160 kB Active: 3288504 kB Inactive: 1995636 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 27379404 kB SwapTotal: 67111528 kB SwapFree: 39617324 kB Dirty: 4272 kB Writeback: 0 kB AnonPages: 3973320 kB Mapped: 22856 kB Slab: 123384 kB PageTables: 94528 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 119769396 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73940 MiB End job on node127 at 2011-06-04 12:01:17