0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2656348-1276636523.opb
0.00/0.00	c File size is 462714 bytes.
0.04/0.07	c Highest Coefficient sum: 2531
0.04/0.07	c Parsing was ok!!
0.04/0.07	c Total parsing time: 0.076 s
0.04/0.08	c Var: 5256 Constr: 15614 15614/0/0 Lit: 38247 Watch. Lit: 31006
0.04/0.08	c Obj. Vars: 2531 (48.1545 % of total variables)
0.09/0.19	c Pre-processing Time: 0.194 s
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c        0   4802    13650    34006    2    27300    4549      0      0 0.19
0.09/0.19	c Switching off lower bounding mode.
0.19/0.20	o 33
1.89/1.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.99	c        7   4802    13661    36485    2    29598    5549     11     34 0.20
1.89/1.99	c      108   4802    13791    40321    2    29858    6104    141    221 0.49
1.89/1.99	c      358   4802    14207    47423    3    30690    6715    557    427 0.84
1.89/1.99	o 32
83.76/83.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
83.76/83.89	c      744   4802    14677    70807    4    33907    5549   1027    373 1.99
83.76/83.89	c      845   4802    14838    74126    4    34229    6104   1188    380 2.22
83.76/83.89	c     1097   4802    15131    84951    5    34815    6715   1481    366 3.00
83.76/83.89	c     1572   4802    15647   104581    6    35847    7387   1997    348 4.51
83.76/83.89	c     2385   4802    16525   142454    8    37603    8126   2875    324 7.34
83.76/83.89	c     3705   4802    17900   228177   12    40353    8939   4250    293 12.62
83.76/83.89	c     5787   4802    20040   321614   16    44633    9833   6390    296 19.52
83.76/83.89	c     9010   4802    23428   557602   23    51409   10817   9778    277 32.52
83.76/83.89	c    13947   4802    21433   461463   21    47417   11899   7783    272 51.26
83.76/83.89	c    21453   4802    22210   559248   25    46697   13089   8560    264 81.23
83.76/83.89	o 31
1797.95/1798.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.95/1798.55	c    22159   4802    22977   592138   25    50509    5550   9327    264 83.87
1797.95/1798.55	c    22260   4802    16542   180838   10    35362    6106   2892    264 84.26
1797.95/1798.55	c    22510   4802    16805   191832   11    35888    6717   3155    264 85.12
1797.95/1798.55	c    22985   4802    17357   217345   12    36992    7389   3707    264 86.84
1797.95/1798.55	c    23799   4802    18194   248316   13    38666    8128   4544    265 89.50
1797.95/1798.55	c    25122   4802    19688   330708   16    41654    8941   6038    267 93.75
1797.95/1798.55	c    27204   4802    21921   469142   21    46120    9836   8271    267 101.55
1797.95/1798.55	c    30427   4802    18569   337475   18    39416   10820   4919    266 114.11
1797.95/1798.55	c    35364   4802    23902   628520   26    50082   11903  10252    265 132.99
1797.95/1798.55	c    42870   4802    23768   530663   22    49814   13094  10118    267 160.32
1797.95/1798.55	c    54232   4802    27049   929082   34    63193   14404  13399    262 206.91
1797.95/1798.55	c    71378   4802    26031   975110   37    56616   15845  12381    250 284.89
1797.95/1798.55	c    97197   4802    24258   746665   30    50794   17430  10608    249 389.99
1797.95/1798.55	c   136029   4802    22366   691629   30    47010   19174   8716    237 572.83
1797.95/1798.55	c   194381   4802    24045   508531   21    52643   21092  10395    226 859.24
1797.95/1798.55	c   282013   4802    24581   557256   22    51440   23202  10931    219 1284.09
1797.95/1798.55	c Resources Exceeded
1797.95/1798.55	v -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 x3782 -x3784 -x3786 -x3788 -x3790 x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 -x4012 -x4014 -x4016 -x4018 -x4020 -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x4082 -x4084 -x4086 -x4088 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x4158 -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 x4200 -x4202 -x4204 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x4234 -x4236 -x4238 -x4240 -x4242 -x4244 -x4246 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328 -x4330 -x4332 -x4334 -x4336 x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x4352 -x4354 -x4356 x4358 -x4360 -x4362 -x4364 -x4366 -x4368 -x4370 -x4372 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x4386 x4388 -x4390 -x4392 -x4394 -x4396 -x4398 -x4400 -x4402 -x4404 -x4406 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 -x4434 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x4450 -x4452 -x4454 -x4456 -x4458 -x4460 -x4462 -x4464 -x4466 -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 -x4486 -x4488 -x4490 -x4492 -x4494 -x4496 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x4528 -x4530 -x4532 -x4534 -x4536 -x4538 -x4540 -x4542 -x4544 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556 -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4572 -x4574 -x4576 -x4578 -x4580 -x4582 -x4584 -x4586 -x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 -x4636 -x4638 -x4640 -x4642 -x4644 -x4646 -x4648 -x4650 -x4652 -x4654 -x4656 -x4658 -x4660 -x4662 -x4664 -x4666 -x4668 -x4670 -x4672 -x4674 -x4676 -x4678 -x4680 -x4682 -x4684 -x4686 -x4688 -x4690 -x4692 -x4694 -x4696 -x4698 -x4700 -x4702 -x4704 -x4706 -x4708 -x4710 -x4712 -x4714 -x4716 -x4718 -x4720 -x4722 -x4724 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738 -x4740 -x4742 -x4744 -x4746 -x4748 -x4750 -x4752 -x4754 -x4756 -x4758 -x4760 -x4762 -x4764 -x4766 -x4768 -x4770 -x4772 -x4774 -x4776 -x4778 -x4780 -x4782 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x4798 -x4800 -x4802 -x4804 -x4806 -x4808 -x4810 -x4812 -x4814 -x4816 -x4818 -x4820 -x4822 -x4824 -x4826 -x4828 -x4830 -x4832 -x4834 -x4836 -x4838 -x4840 -x4842 -x4844 -x4846 -x4848 -x4850 -x4852 -x4854 -x4856 -x4858 -x4860 -x4862 -x4864 -x4866 -x4868 -x4870 -x4872 -x4874 -x4876 -x4878 -x4880 -x4882 -x4884 -x4886 -x4888 -x4890 -x4892 -x4894 -x4896 -x4898 x4900 -x4902 -x4904 -x4906 -x4908 -x4910 -x4912 -x4914 -x4916 -x4918 -x4920 -x4922 -x4924 -x4926 -x4928 -x4930 -x4932 -x4934 -x4936 -x4938 -x4940 -x4942 -x4944 -x4946 -x4948 x4950 -x4952 -x4954 -x4956 -x4958 -x4960 -x4962 -x4964 -x4966 -x4968 -x4970 -x4972 -x4974 -x4976 -x4978 -x4980 -x4982 -x4984 -x4986 -x4988 -x4990 -x4992 -x4994 -x4996 x4998 -x5000 -x5002 -x5004 -x5006 -x5008 -x5010 -x5012 -x5014 -x5016 -x5018 -x5020 -x5022 -x5024 -x5026 -x5028 -x5030 -x5032 -x5034 -x5036 -x5038 -x5040 -x5042 -x5044 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x5058 -x5060 -x5062 -x5064 -x5066 -x5068 -x5070 -x5072 -x5074 -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5092 -x5094 -x5096 -x5098 -x5100 -x5102 -x5104 -x5106 -x5108 -x5110 -x5112 -x5114 -x5116 -x5118 -x5120 -x5122 -x5124 -x5126 -x5128 -x5130 x5132 -x5134 -x5136 -x5138 -x5140 -x5142 -x5144 -x5146 x5148 -x5150 -x5152 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5166 -x5168 -x5170 -x5172 x5174 -x5176 -x5178 -x5180 -x5182 -x5184 -x5186 -x5188 -x5190 -x5192 -x5194 -x5196 -x5198 -x5200 -x5202 -x5204 -x5206 -x5208 -x5210 x5212 -x5214 -x5216 -x5218 -x5220 x5222 -x5224 -x5226 -x5228 -x5230 -x5232 -x5234 -x5236 -x5238 -x5240 -x5242 -x5244 -x5246 -x5248 -x5250 -x5252 x5254 -x5256 -x195 -x197 -x199 -x201 -x203 -x205 -x207 -x209 x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x1 -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x2 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x3 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x4 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x5 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x6 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x7 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 x615 -x617 -x619 -x621 -x623 -x8 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x9 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x10 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x11 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x12 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x13 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x14 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x15 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x16 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x17 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x18 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x19 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x20 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x21 -x1109 -x1111 -x1113 -x22 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x23 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x24 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x25 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x26 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x27 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x28 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x29 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x30 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x31 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x32 -x1397 -x1399 -x1401 -x33 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x34 -x1417 -x1419 -x1421 -x35 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x36 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x37 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x38 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x39 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x40 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x1601 -x41 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x42 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x43 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x44 -x1661 -x1663 -x1665 x45 -x1667 -x1669 -x1671 x1673 -x1675 -x1677 -x1679 -x46 -x1681 -x1683 -x1685 -x47 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x48 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x49 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x50 -x1745 -x1747 -x1749 -x51 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 x1765 -x1767 -x1769 -x52 -x1771 -x1773 -x1775 -x53 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x54 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x55 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x56 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x57 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x58 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x59 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x60 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x61 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x62 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x63 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x64 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x65 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x66 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 x2415 -x2417 -x67 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x68 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x69 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x70 -x2477 -x2479 -x2481 -x2483 -x2485 x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x71 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x72 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x73 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x74 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x75 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x76 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x77 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x78 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 x3043 -x3045 -x3047 -x3049 -x3051 -x79 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x80 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x81 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x82 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x83 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x84 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x85 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x86 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 x87 -x3255 x3257 -x3259 -x88 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x89 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x90 -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x91 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x92 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x93 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 -x94 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x95 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x96 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x97 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x98 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x99 -x3591 -x3593 -x3595 -x100 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x101 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x102 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 x103 -x3671 -x3673 x3675 -x3677 -x3679 -x3681 -x3683 -x104 -x3685 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x105 -x3699 -x3701 -x106 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x107 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x108 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x109 -x3761 -x3763 -x3765 -x110 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 x111 x3781 -x3783 -x3785 -x112 -x3787 -x3789 x3791 x113 -x3793 -x114 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x115 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x116 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x117 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x118 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 -x3953 -x3955 -x3957 -x119 -x3959 -x3961 -x3963 -x3965 -x3967 -x3969 -x3971 -x120 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4001 -x121 -x4003 -x4005 -x4007 -x4009 -x4011 -x4013 -x4015 -x122 -x4017 -x4019 -x4021 -x4023 -x4025 -x4027 -x4029 -x123 -x4031 -x4033 -x4035 -x124 -x4037 -x4039 -x4041 -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073 -x4075 -x4077 -x4079 -x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x125 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x126 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175 -x4177 -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x4215 -x4217 -x4219 -x127 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x4245 -x4247 -x4249 -x128 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x129 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x130 -x4295 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x131 -x4309 -x4311 -x4313 -x4315 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4333 -x4335 x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x4351 -x4353 -x4355 x4357 -x4359 -x4361 -x4363 -x4365 -x132 -x4367 -x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x133 -x4403 -x4405 -x4407 -x4409 -x4411 -x4413 -x4415 -x134 -x4417 -x4419 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 -x4433 -x4435 -x4437 -x4439 -x4441 -x4443 -x4445 -x135 -x4447 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 -x136 -x4461 -x4463 -x4465 -x4467 -x4469 -x4471 -x4473 -x137 -x4475 -x4477 -x4479 -x138 -x4481 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x139 -x4495 -x4497 -x4499 -x140 -x4501 -x4503 -x4505 -x4507 -x4509 -x4511 -x4513 -x141 -x4515 -x4517 -x4519 -x142 -x4521 -x4523 -x4525 -x143 -x4527 -x144 -x4529 -x4531 -x4533 -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4547 -x4549 -x4551 -x4553 -x4555 -x4557 -x4559 -x4561 -x4563 -x4565 -x4567 -x4569 -x4571 -x4573 -x4575 -x4577 -x4579 -x4581 -x4583 -x4585 -x4587 -x145 -x4589 -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x146 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 -x4637 -x4639 -x4641 -x4643 -x4645 -x4647 -x147 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 -x4661 -x148 -x4663 -x4665 -x4667 -x4669 -x4671 -x4673 -x4675 -x4677 -x4679 -x4681 -x4683 -x4685 -x4687 -x4689 -x4691 -x149 -x4693 -x4695 -x4697 -x4699 -x4701 -x4703 -x4705 -x150 -x4707 -x4709 -x4711 -x4713 -x4715 -x4717 -x4719 -x4721 -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 -x151 -x4737 -x4739 -x4741 -x4743 -x4745 -x4747 -x4749 -x152 -x4751 -x4753 -x4755 -x4757 -x4759 -x4761 -x4763 -x153 -x4765 -x4767 -x4769 -x154 -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 -x4785 -x4787 -x4789 -x4791 -x4793 -x4795 -x4797 -x155 -x4799 -x4801 -x4803 -x4805 -x4807 -x4809 -x4811 -x4813 -x4815 -x4817 -x4819 -x4821 -x4823 -x4825 -x4827 -x156 -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 -x4841 -x157 -x4843 -x4845 -x4847 -x4849 -x4851 -x4853 -x4855 -x4857 -x4859 -x4861 -x4863 -x4865 -x4867 -x4869 -x4871 -x158 -x4873 -x4875 -x4877 -x4879 -x4881 -x4883 -x159 -x4885 -x4887 -x4889 -x4891 -x4893 -x4895 -x4897 x160 x4899 -x4901 -x4903 -x161 -x4905 -x4907 -x4909 -x4911 -x4913 -x4915 -x4917 -x162 -x4919 -x4921 -x4923 -x4925 -x4927 -x4929 -x4931 -x163 -x4933 -x4935 -x164 -x4937 -x4939 -x4941 -x4943 -x4945 -x4947 x4949 x165 -x4951 -x4953 -x4955 -x166 -x4957 -x4959 -x4961 -x167 -x4963 -x168 -x4965 -x4967 -x4969 -x4971 -x4973 -x4975 -x4977 -x4979 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991 -x4993 -x4995 x4997 -x4999 -x5001 -x5003 -x5005 -x5007 -x169 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x5029 -x5031 -x5033 -x5035 -x5037 -x170 -x5039 -x5041 -x5043 -x5045 -x5047 -x5049 -x5051 -x171 -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 -x172 -x5067 -x5069 -x5071 -x173 -x5073 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087 -x5089 -x5091 -x5093 -x5095 -x5097 -x5099 -x5101 -x174 -x5103 -x5105 -x5107 -x5109 -x5111 -x5113 -x5115 -x175 -x5117 -x5119 -x5121 -x5123 -x5125 -x5127 -x5129 x176 x5131 -x5133 -x5135 x177 -x5137 -x5139 -x5141 -x5143 -x5145 x5147 -x5149 -x178 -x5151 -x5153 -x5155 -x179 -x5157 -x5159 -x5161 -x180 -x5163 -x5165 -x5167 -x5169 -x5171 x5173 -x5175 -x5177 -x181 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 -x182 -x5193 -x5195 -x5197 -x183 -x5199 -x5201 -x5203 -x5205 -x5207 -x5209 x5211 x184 -x5213 -x5215 -x185 -x5217 -x5219 x5221 x186 -x5223 -x187 -x5225 -x5227 -x5229 -x5231 -x5233 -x5235 -x188 -x5237 -x5239 -x5241 -x189 -x5243 -x5245 -x5247 -x190 -x5249 -x191 -x5251 x5253 x192 -x5255 -x193 x194 
1797.95/1798.55	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1798.55	c   29   389785 238851  1506036    31195  1218818  17545    216 1798.01
1797.95/1798.55	c Objective: 31
1797.95/1798.55	s SATISFIABLE
1797.95/1798.55	c Total time: 1798.01 s

OK	31

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656348-1276636523/watcher-2656348-1276636523 -o /tmp/evaluation-result-2656348-1276636523/solver-2656348-1276636523 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656348-1276636523.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.05 1.03 1.03 3/106 4705
/proc/meminfo: memFree=1618428/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=11384 CPUtime=0
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 39254026 11657216 293 1992294400 134512640 137138936 4292801408 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 2846 294 177 642 0 2089 0

[startup+0.0517579 s]
/proc/loadavg: 1.05 1.03 1.03 3/106 4705
/proc/meminfo: memFree=1618428/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=12484 CPUtime=0.04
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 691 0 0 0 4 0 0 0 20 0 1 0 39254026 12783616 609 1992294400 134512640 137138936 4292801408 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 3121 609 239 642 0 2364 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12484

[startup+0.100763 s]
/proc/loadavg: 1.05 1.03 1.03 3/106 4705
/proc/meminfo: memFree=1618428/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=13844 CPUtime=0.09
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 1194 0 0 0 9 0 0 0 20 0 1 0 39254026 14176256 999 1992294400 134512640 137138936 4292801408 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 3461 999 184 642 0 2817 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13844

[startup+0.300784 s]
/proc/loadavg: 1.05 1.03 1.03 3/106 4705
/proc/meminfo: memFree=1618428/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=13988 CPUtime=0.29
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 1317 0 0 0 27 2 0 0 20 0 1 0 39254026 14323712 1072 1992294400 134512640 137138936 4292801408 18446744073709551615 134552064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 3497 1072 192 642 0 2853 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13988

[startup+0.700828 s]
/proc/loadavg: 1.05 1.03 1.03 3/106 4705
/proc/meminfo: memFree=1618428/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=14092 CPUtime=0.69
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 1324 0 0 0 67 2 0 0 20 0 1 0 39254026 14430208 1079 1992294400 134512640 137138936 4292801408 18446744073709551615 134607598 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 3523 1079 192 642 0 2879 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14092

[startup+1.50092 s]
/proc/loadavg: 1.05 1.03 1.03 2/107 4706
/proc/meminfo: memFree=1614824/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=14160 CPUtime=1.49
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 1631 0 0 0 146 3 0 0 22 0 1 0 39254026 14499840 1121 1992294400 134512640 137138936 4292801408 18446744073709551615 134575894 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 3540 1121 192 642 0 2896 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14160

[startup+3.10109 s]
/proc/loadavg: 1.05 1.03 1.03 2/107 4706
/proc/meminfo: memFree=1614204/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=14704 CPUtime=3.09
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 4024 0 0 0 302 7 0 0 25 0 1 0 39254026 15056896 1232 1992294400 134512640 137138936 4292801408 18446744073709551615 134603195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 3676 1232 192 642 0 3032 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14704

[startup+6.30045 s]
/proc/loadavg: 1.05 1.03 1.03 2/107 4706
/proc/meminfo: memFree=1613336/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=15276 CPUtime=6.29
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 9489 0 0 0 617 12 0 0 25 0 1 0 39254026 15642624 1400 1992294400 134512640 137138936 4292801408 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 3819 1400 192 642 0 3175 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15276

[startup+12.7012 s]
/proc/loadavg: 1.04 1.03 1.03 2/107 4706
/proc/meminfo: memFree=1611724/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=16728 CPUtime=12.69
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 19265 0 0 0 1250 19 0 0 25 0 1 0 39254026 17129472 1763 1992294400 134512640 137138936 4292801408 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 4182 1763 192 642 0 3538 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16728

[startup+25.5006 s]
/proc/loadavg: 1.03 1.03 1.02 2/107 4706
/proc/meminfo: memFree=1608872/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=19788 CPUtime=25.48
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 38661 0 0 0 2516 32 0 0 25 0 1 0 39254026 20262912 2528 1992294400 134512640 137138936 4292801408 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 4947 2528 192 642 0 4303 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19788

[startup+51.1014 s]
/proc/loadavg: 1.02 1.02 1.02 2/107 4708
/proc/meminfo: memFree=1604904/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=23648 CPUtime=51.08
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 64416 0 0 0 5054 54 0 0 25 0 1 0 39254026 24215552 3493 1992294400 134512640 137138936 4292801408 18446744073709551615 136505205 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 5912 3493 192 642 0 5268 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 23648

[startup+102.308 s]
/proc/loadavg: 1.01 1.02 1.02 2/107 4708
/proc/meminfo: memFree=1602920/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=25324 CPUtime=102.26
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 70613 0 0 0 10158 68 0 0 25 0 1 0 39254026 25931776 3911 1992294400 134512640 137138936 4292801408 18446744073709551615 134599712 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 6331 3911 192 642 0 5687 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 25324

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 1.01 2/107 4710
/proc/meminfo: memFree=1602920/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=25324 CPUtime=162.24
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 70613 0 0 0 16147 77 0 0 25 0 1 0 39254026 25931776 3911 1992294400 134512640 137138936 4292801408 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 6331 3911 192 642 0 5687 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 25324

[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.01 2/107 4712
/proc/meminfo: memFree=1598332/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=29996 CPUtime=222.22
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 85273 0 0 0 22123 99 0 0 25 0 1 0 39254026 30715904 5080 1992294400 134512640 137138936 4292801408 18446744073709551615 136520986 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 7499 5080 192 642 0 6855 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 29996

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4714
/proc/meminfo: memFree=1598332/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=29992 CPUtime=282.21
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 85273 0 0 0 28114 107 0 0 25 0 1 0 39254026 30711808 5079 1992294400 134512640 137138936 4292801408 18446744073709551615 134604041 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 7498 5079 192 642 0 6854 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 29992

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4716
/proc/meminfo: memFree=1594240/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=34048 CPUtime=342.19
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 100818 0 0 0 34093 126 0 0 25 0 1 0 39254026 34865152 6093 1992294400 134512640 137138936 4292801408 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 8512 6093 192 642 0 7868 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 34048

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4716
/proc/meminfo: memFree=1594116/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=34084 CPUtime=402.17
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 100933 0 0 0 40079 138 0 0 25 0 1 0 39254026 34902016 6102 1992294400 134512640 137138936 4292801408 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 8521 6102 192 642 0 7877 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 34084

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4718
/proc/meminfo: memFree=1594116/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=34088 CPUtime=462.14
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 100935 0 0 0 46068 146 0 0 25 0 1 0 39254026 34906112 6103 1992294400 134512640 137138936 4292801408 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 8522 6103 192 642 0 7878 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 34088

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4720
/proc/meminfo: memFree=1593372/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=35192 CPUtime=522.13
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 104283 0 0 0 52057 156 0 0 25 0 1 0 39254026 36036608 6354 1992294400 134512640 137138936 4292801408 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 8798 6354 192 642 0 8154 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 35192

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4722
/proc/meminfo: memFree=1592380/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=35832 CPUtime=582.11
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 107358 0 0 0 58044 167 0 0 25 0 1 0 39254026 36691968 6539 1992294400 134512640 137138936 4292801408 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 8958 6539 192 642 0 8314 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 35832

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4724
/proc/meminfo: memFree=1592380/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=35840 CPUtime=642.1
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 107360 0 0 0 64036 174 0 0 25 0 1 0 39254026 36700160 6541 1992294400 134512640 137138936 4292801408 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 8960 6541 192 642 0 8316 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 35840

[startup+702.301 s]

################
# More data... #
################

/proc/meminfo: memFree=1590768/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=36952 CPUtime=1061.97
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 112438 0 0 0 105967 230 0 0 25 0 1 0 39254026 37838848 6819 1992294400 134512640 137138936 4292801408 18446744073709551615 134543004 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 9238 6819 192 642 0 8594 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 36952

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4736
/proc/meminfo: memFree=1590768/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=36952 CPUtime=1121.95
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 112438 0 0 0 111957 238 0 0 25 0 1 0 39254026 37838848 6819 1992294400 134512640 137138936 4292801408 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 9238 6819 192 642 0 8594 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 36952

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4738
/proc/meminfo: memFree=1590768/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=36952 CPUtime=1181.94
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 112438 0 0 0 117948 246 0 0 25 0 1 0 39254026 37838848 6819 1992294400 134512640 137138936 4292801408 18446744073709551615 136500274 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 9238 6819 192 642 0 8594 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 36952

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4740
/proc/meminfo: memFree=1590520/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=36952 CPUtime=1241.91
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 112438 0 0 0 123938 253 0 0 25 0 1 0 39254026 37838848 6819 1992294400 134512640 137138936 4292801408 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 9238 6819 192 642 0 8594 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 36952

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4740
/proc/meminfo: memFree=1590520/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=36948 CPUtime=1301.9
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 112438 0 0 0 129927 263 0 0 25 0 1 0 39254026 37834752 6818 1992294400 134512640 137138936 4292801408 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 9237 6818 192 642 0 8593 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 36948

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4742
/proc/meminfo: memFree=1590520/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=36952 CPUtime=1361.88
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 112439 0 0 0 135917 271 0 0 25 0 1 0 39254026 37838848 6819 1992294400 134512640 137138936 4292801408 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 9238 6819 192 642 0 8594 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 36952

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4744
/proc/meminfo: memFree=1590520/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=37112 CPUtime=1421.87
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 117746 0 0 0 141897 290 0 0 25 0 1 0 39254026 38002688 6859 1992294400 134512640 137138936 4292801408 18446744073709551615 134606628 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 9278 6859 192 642 0 8634 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 37112

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4746
/proc/meminfo: memFree=1587420/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=40368 CPUtime=1481.84
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 137438 0 0 0 147858 326 0 0 25 0 1 0 39254026 41336832 7673 1992294400 134512640 137138936 4292801408 18446744073709551615 134603210 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 10092 7673 192 642 0 9448 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 40368

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4748
/proc/meminfo: memFree=1587296/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=40360 CPUtime=1541.83
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 137438 0 0 0 153846 337 0 0 25 0 1 0 39254026 41328640 7671 1992294400 134512640 137138936 4292801408 18446744073709551615 134551857 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 10090 7671 192 642 0 9446 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 40360

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4748
/proc/meminfo: memFree=1587296/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=40360 CPUtime=1601.81
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 137438 0 0 0 159836 345 0 0 25 0 1 0 39254026 41328640 7671 1992294400 134512640 137138936 4292801408 18446744073709551615 134602878 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 10090 7671 192 642 0 9446 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 40360

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4750
/proc/meminfo: memFree=1587296/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=40360 CPUtime=1661.78
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 137438 0 0 0 165822 356 0 0 25 0 1 0 39254026 41328640 7671 1992294400 134512640 137138936 4292801408 18446744073709551615 136504029 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 10090 7671 192 642 0 9446 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 40360

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4752
/proc/meminfo: memFree=1587296/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=40360 CPUtime=1721.77
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 137438 0 0 0 171812 365 0 0 25 0 1 0 39254026 41328640 7671 1992294400 134512640 137138936 4292801408 18446744073709551615 134618200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 10090 7671 192 642 0 9446 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 40360

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4754
/proc/meminfo: memFree=1587048/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=40356 CPUtime=1781.75
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 137438 0 0 0 177802 373 0 0 25 0 1 0 39254026 41324544 7670 1992294400 134512640 137138936 4292801408 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 10089 7670 192 642 0 9445 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 40356

Solver just ended. Dumping a history of the last processes samples

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4754
/proc/meminfo: memFree=1587048/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=40356 CPUtime=1791.36
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 137438 0 0 0 178762 374 0 0 25 0 1 0 39254026 41324544 7670 1992294400 134512640 137138936 4292801408 18446744073709551615 136297742 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 10089 7670 192 642 0 9445 0
Current children cumulated CPU time (s) 1791.36
Current children cumulated vsize (KiB) 40356

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4754
/proc/meminfo: memFree=1587048/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=40356 CPUtime=1794.56
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 137438 0 0 0 179081 375 0 0 25 0 1 0 39254026 41324544 7670 1992294400 134512640 137138936 4292801408 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 10089 7670 192 642 0 9445 0
Current children cumulated CPU time (s) 1794.56
Current children cumulated vsize (KiB) 40356

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4754
/proc/meminfo: memFree=1587048/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=40356 CPUtime=1796.15
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 137438 0 0 0 179240 375 0 0 25 0 1 0 39254026 41324544 7670 1992294400 134512640 137138936 4292801408 18446744073709551615 134575356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 10089 7670 192 642 0 9445 0
Current children cumulated CPU time (s) 1796.15
Current children cumulated vsize (KiB) 40356

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4754
/proc/meminfo: memFree=1587048/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=40356 CPUtime=1796.95
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 137438 0 0 0 179320 375 0 0 25 0 1 0 39254026 41324544 7670 1992294400 134512640 137138936 4292801408 18446744073709551615 134598916 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 10089 7670 192 642 0 9445 0
Current children cumulated CPU time (s) 1796.95
Current children cumulated vsize (KiB) 40356

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4754
/proc/meminfo: memFree=1587048/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=40356 CPUtime=1797.75
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 137438 0 0 0 179400 375 0 0 25 0 1 0 39254026 41324544 7670 1992294400 134512640 137138936 4292801408 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 10089 7670 192 642 0 9445 0
Current children cumulated CPU time (s) 1797.75
Current children cumulated vsize (KiB) 40356

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4754
/proc/meminfo: memFree=1587048/2059040 swapFree=4140260/4192956
[pid=4705] ppid=4703 vsize=40356 CPUtime=1797.95
/proc/4705/stat : 4705 (bsolo_pb10) R 4703 4705 4680 0 -1 4202496 137438 0 0 0 179420 375 0 0 25 0 1 0 39254026 41324544 7670 1992294400 134512640 137138936 4292801408 18446744073709551615 134618135 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4705/statm: 10089 7670 192 642 0 9445 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 40356

Child status: 0
Real time (s): 1798.56
CPU time (s): 1798.02
CPU user time (s): 1794.26
CPU system time (s): 3.76143
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 40368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.26
system time used= 3.76143
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137439
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= 1
involuntary context switches= 4749

runsolver used 2.79657 second user time and 8.66068 second system time

The end

Begin job on node009 at 2010-06-15 23:15:23
IDJOB=2656348
IDBENCH=24999
IDSOLVER=1162
FILE ID=node009/2656348-1276636523
PBS_JOBID= 11172400
Free space on /tmp= 62556 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_014_area_delay.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656348-1276636523/watcher-2656348-1276636523 -o /tmp/evaluation-result-2656348-1276636523/solver-2656348-1276636523 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2656348-1276636523.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 525408a019e1cf8f47f95fb4bdf20c0f
RANDOM SEED=1082311734

node009.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.199
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.39
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.199
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1618956 kB
Buffers:        135132 kB
Cached:         221572 kB
SwapCached:       6532 kB
Active:         121976 kB
Inactive:       248276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1618956 kB
SwapTotal:     4192956 kB
SwapFree:      4140260 kB
Dirty:            4672 kB
Writeback:           0 kB
AnonPages:       11492 kB
Mapped:          13008 kB
Slab:            48068 kB
PageTables:       4104 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180464 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62552 MiB
End job on node009 at 2010-06-15 23:45:21