0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3708112-1338166144.opb
0.00/0.00	c File size is 484170 bytes.
0.00/0.03	c Highest Coefficient sum: 2646
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.033 s
0.00/0.03	c Var: 5537 Constr: 15855 15855/0/0 Lit: 40714 Watch. Lit: 31451
0.00/0.03	c Obj. Vars: 2646 (47.7876 % of total variables)
0.00/0.08	c Pre-processing Time: 0.081 s
0.00/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.08	c        0   4858    13267    35134    2    26534    4422      0      0 0.08
0.00/0.08	c Switching off lower bounding mode.
0.00/0.08	o 16
29.28/29.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.28/29.34	c        0   4858    13268    37525    2    28912    5422      1      0 0.09
29.28/29.34	c      100   4858    13368    41921    3    29112    5965    101    418 0.24
29.28/29.34	c      350   4858    13630    53629    3    32001    6562    363    532 0.66
29.28/29.34	c      825   4858    14125    80522    5    32991    7219    858    527 1.56
29.28/29.34	c     1639   4858    15057   129782    8    37213    7941   1790    580 2.82
29.28/29.34	c     2959   4858    16478   227578   13    42417    8736   3211    573 5.16
29.28/29.34	c     5040   4858    18637   348799   18    46735    9610   5370    553 9.11
29.28/29.34	c     8264   4858    22196   739191   33    70310   10572   8929    503 16.41
29.28/29.34	c    13200   4858    20972   955479   45    63113   11630   7705    450 29.32
29.28/29.34	o 15
1797.99/1798.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.99/1798.32	c    13204   4858    20978   958140   45    65502    5422   7711    450 29.34
1797.99/1798.32	c    13304   4858    16081   407691   25    36912    5965   2814    450 29.52
1797.99/1798.32	c    13554   4858    16347   417133   25    37444    6562   3080    452 29.94
1797.99/1798.32	c    14029   4858    16865   444704   26    40849    7219   3598    457 30.69
1797.99/1798.32	c    14843   4858    17791   519080   29    42701    7941   4524    461 32.19
1797.99/1798.32	c    16163   4858    19210   681304   35    54986    8736   5943    464 34.79
1797.99/1798.32	c    18245   4858    21434   977346   45    68820    9610   8167    457 39.86
1797.99/1798.32	c    21468   4858    18880   929165   49    63527   10572   5613    443 48.37
1797.99/1798.32	c    26404   4858    24088  1695215   70    78619   11630  10821    441 59.80
1797.99/1798.32	c    33911   4858    25430  1727477   67    81520   12794  12163    433 78.16
1797.99/1798.32	c    45272   4858    22866  1274810   55    78573   14074   9599    422 107.27
1797.99/1798.32	c    62416   4858    25532  1800460   70   137092   15482  12265    402 155.07
1797.99/1798.32	c    88235   4858    27753  1849764   66    88370   17031  14486    386 228.43
1797.99/1798.32	c   127068   4858    30035  2189389   72    76576   18735  16768    408 310.77
1797.99/1798.32	c   185421   4858    28184  1340431   47    75089   20609  14917    424 436.32
1797.99/1798.32	c   273053   4858    27426  1853329   67    98946   22670  14159    417 654.43
1797.99/1798.32	c   404605   4858    27988  1886028   67    83482   24938  14721    412 980.18
1797.99/1798.32	c   602037   4858    25006  1539113   61    61812   27432  11739    413 1455.83
1797.99/1798.32	c Resources Exceeded
1797.99/1798.32	v -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 -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 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1054 -x1056 -x1058 -x1060 -x1061 -x1063 -x1065 -x1066 x1067 -x1069 x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -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 x1189 -x1191 -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 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -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 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -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 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -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 -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 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -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 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -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 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -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 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -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 -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 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -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 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -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 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -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 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3334 -x3336 -x3338 -x3339 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 -x3366 -x3368 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3388 -x3390 -x3392 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3435 -x3437 -x3439 -x3441 -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 -x3531 -x3533 -x3535 -x3537 -x3539 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 -x3807 -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 -x4009 -x4011 -x4013 -x4015 -x4017 -x4019 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4035 -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 -x4094 -x4096 -x4098 -x4100 -x4101 -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 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175 -x4177 -x4179 -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 -x4295 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x4309 -x4310 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x4363 -x4365 -x4367 -x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 -x4398 -x4400 -x4402 -x4404 -x4406 -x4407 -x4409 -x4411 -x4413 -x4415 -x4417 -x4418 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 -x4434 -x4436 x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 -x4461 -x4463 -x4465 -x4467 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 -x4481 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x4499 -x4501 -x4503 -x4505 -x4507 -x4509 -x4511 -x4513 -x4515 -x4517 -x4519 -x4521 -x4523 -x4525 -x4527 -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 -x4589 -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 -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 -x4905 -x4907 -x4909 -x4911 -x4913 -x4915 -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 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x5029 -x5031 -x5033 -x5035 -x5037 -x5039 -x5041 -x5043 -x5045 -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 -x5233 -x5235 -x5237 -x5239 -x5241 -x5243 -x5245 -x5247 -x5249 -x5251 -x5253 -x5255 -x5257 -x5259 -x5261 -x5263 -x5265 -x5267 -x5269 -x5271 -x5273 -x5275 -x5277 -x5279 -x5281 -x5283 -x5284 -x5286 -x5288 -x5290 -x5292 -x5294 -x5296 -x5298 -x5300 -x5302 -x5304 -x5306 -x5308 -x5310 -x5312 -x5314 -x5316 -x5318 -x5320 -x5322 -x5324 -x5326 -x5328 -x5330 -x5332 -x5334 -x5336 -x5338 -x5340 -x5342 -x5344 -x5346 -x5348 -x5350 -x5352 -x5354 -x5356 -x5358 -x5360 -x5362 -x5364 -x5366 -x5368 -x5370 -x5372 -x5374 -x5376 -x5378 -x5380 -x5382 -x5384 -x5386 -x5388 -x5390 -x5392 -x5394 -x5396 -x5398 -x5400 -x5402 -x5404 -x5406 -x5408 -x5410 -x5412 -x5414 -x5416 -x5418 -x5420 -x5422 -x5424 -x5426 -x5428 -x5430 -x5432 -x5434 -x5436 -x5438 -x5440 -x5442 -x5444 -x5446 -x5448 -x5450 -x5452 -x5454 -x5456 -x5458 -x5460 -x5462 -x5464 -x5466 -x5468 -x5470 -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x5500 -x5502 -x5504 -x5506 -x5508 -x5510 -x5512 -x5514 -x5516 -x5518 -x5520 -x5522 -x5524 -x5526 -x5528 -x5529 -x5531 -x5533 -x5535 -x5537 -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 -x1 -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 -x2 -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 -x3 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 x4 -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 -x5 -x641 -x643 -x645 -x647 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x6 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x7 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x8 -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 -x9 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x10 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x11 -x816 -x818 -x820 -x822 -x824 -x826 -x12 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x13 -x852 -x854 -x856 -x858 -x860 -x862 -x14 -x864 -x866 -x868 -x870 -x872 -x874 x15 x876 -x878 -x880 -x16 -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 -x17 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x18 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 x976 x19 -x978 -x980 -x982 -x984 -x986 -x20 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x21 -x1004 -x22 -x1007 -x1009 -x1011 -x1013 -x1015 -x23 -x1017 x24 -x1019 -x1021 x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x25 -x1039 -x1042 -x1044 -x1046 -x26 -x1048 -x1050 -x1052 -x27 -x1055 -x1057 -x28 -x1059 -x1062 x29 -x1064 -x30 x31 -x1068 x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x32 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 x33 -x1149 -x1151 -x1153 -x1155 -x1157 x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x34 -x1171 -x1173 -x1175 -x35 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 x36 -x37 -x1190 -x1193 -x38 x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -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 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -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 -x1387 -x1389 -x1391 -x1393 -x1395 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x39 -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 -x40 -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 -x41 -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 -x42 -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 -x1867 -x1869 -x1871 -x1873 -x43 -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 -x44 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 x45 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2018 -x46 -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 -x47 -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 -x48 -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 -x49 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x50 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x51 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x52 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x53 -x2348 -x2350 -x2352 -x2354 -x2356 -x54 -x2358 -x2360 -x2362 -x2364 -x2366 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -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 -x55 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x56 -x2498 -x2500 -x2502 -x2504 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x57 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x58 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x59 -x2590 -x2592 -x2594 -x2597 -x2599 -x60 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x61 -x2617 -x2619 -x62 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x63 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x64 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x65 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x66 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x67 -x2739 -x2741 -x68 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x69 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x70 -x2775 -x2777 -x71 -x2779 -x2781 -x2783 -x72 -x2785 -x2787 -x2789 x73 -x2791 -x2793 -x74 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x75 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x76 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x77 -x2962 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -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 -x78 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x79 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 x80 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x81 -x3204 -x3206 -x3208 -x3210 -x3212 -x3215 -x82 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x83 -x3229 -x3231 -x3233 -x3235 -x84 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3262 -x85 -x3264 -x3266 -x3268 -x86 -x3270 -x3272 x87 -x3275 -x88 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x89 -x3309 -x3311 -x90 -x3313 -x3315 -x3317 -x91 -x3319 -x3321 -x3324 -x92 -x3326 -x3328 -x3330 -x3332 -x3335 -x93 -x3337 -x94 -x95 -x3341 -x96 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3370 -x97 -x3372 -x3374 -x3376 -x98 -x3378 -x99 -x3380 -x3382 -x3384 -x100 -x3386 -x3389 -x101 -x3391 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x102 -x3423 -x3425 -x3427 -x103 -x3429 -x3431 -x3433 x104 -x105 -x3436 -x3438 -x3440 -x106 x107 -x108 -x109 -x3443 -x3445 -x3447 -x3449 -x110 -x3451 -x3453 -x3455 -x3457 -x3459 -x111 -x112 -x113 -x114 -x3461 -x115 -x3463 -x3465 -x3467 -x3469 -x3471 -x116 -x3473 -x117 -x3475 -x118 x119 -x3477 x3479 x120 -x121 x122 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3532 -x3534 -x3536 -x3538 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -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 -x3681 -x3683 -x3685 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x123 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x124 -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 -x3951 -x3953 -x125 -x3955 -x3957 -x3959 -x3961 -x3963 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x126 -x3999 -x4001 -x4003 -x4005 -x4007 -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 -x4095 -x4097 -x4099 -x127 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x128 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4159 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x4176 -x4178 -x4181 x129 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 -x4195 -x130 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x4215 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x4245 -x4247 -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x4296 -x4298 -x4300 -x131 -x4302 -x4304 -x4306 -x4308 -x4311 -x4313 -x4315 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x132 -x4329 -x4331 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x4366 -x4368 -x133 -x4370 -x4372 -x4374 -x134 -x4376 -x4378 -x4380 -x4382 -x4384 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 -x4408 -x4410 -x4412 -x4414 -x135 -x4416 -x136 -x4419 -x4421 -x4423 -x4425 -x4427 -x4429 -x137 -x4431 -x4433 -x4435 x4437 -x4439 -x4441 -x138 -x4443 -x139 -x4445 -x4447 -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 -x140 -x4544 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556 -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4572 -x4574 -x4576 -x4578 -x141 -x4580 -x4582 -x4584 -x4586 -x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x142 -x4614 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 x143 -x4637 -x4639 x144 x145 x146 -x4641 -x4643 -x4645 -x4647 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 -x4661 -x4663 -x4665 -x4667 -x4669 -x4671 -x147 -x4673 -x4675 -x148 -x4677 -x4679 -x4681 -x149 -x150 -x4683 -x4685 -x151 -x152 -x153 -x4687 x154 -x4689 -x4691 -x4693 -x4695 -x4697 -x4699 -x4701 -x4703 -x4705 -x4707 -x4709 -x4711 -x4713 -x4715 -x4717 -x4719 -x4721 -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 -x4737 -x4739 -x4741 -x4743 -x4745 -x4747 -x4749 -x4751 -x4753 -x4755 -x4757 -x4759 -x4761 -x4763 -x4765 -x4767 -x4769 -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 -x4785 -x4787 -x155 -x4789 -x4791 -x4793 -x4795 -x4797 -x4799 -x4801 -x4803 -x4805 -x4807 -x4809 -x4811 -x4813 -x4815 -x4817 -x4819 -x4821 -x4823 -x156 -x4825 -x4827 -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 -x4841 -x4843 -x157 -x4845 -x4847 x158 -x4849 -x4851 -x4853 -x4855 -x4857 -x4859 -x4861 -x4863 -x159 -x4865 -x4867 -x160 -x161 -x4869 -x4871 -x4873 -x4875 -x4877 -x4879 -x4881 -x4883 -x4885 -x4887 -x4889 -x4891 -x4893 -x4895 -x162 -x4897 -x163 x164 -x165 -x4899 -x166 -x167 x168 -x169 -x4901 -x4903 -x4906 -x4908 -x4910 -x4912 -x4914 -x170 -x171 -x4917 -x172 -x4919 -x173 -x174 -x175 -x4921 -x176 -x4923 -x4925 -x4927 -x4929 -x4931 -x4933 -x4935 -x4937 -x4939 -x4941 -x4943 -x4945 -x4947 -x177 -x4949 -x178 -x179 x180 -x181 x182 -x183 -x184 -x4951 -x4953 -x4955 -x185 -x186 -x187 -x188 x189 -x190 x191 -x192 -x4957 -x4959 -x4961 -x4963 -x4965 -x4967 -x4969 -x4971 -x4973 -x4975 -x4977 -x4979 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991 -x4993 -x4995 -x4997 -x4999 -x5001 -x5003 -x5005 -x5007 -x5009 -x5011 -x5013 -x5015 -x5018 -x5020 -x5022 -x5024 -x5026 -x5028 -x5030 -x5032 -x5034 -x5036 -x5038 -x5040 -x5042 -x193 -x5044 -x5047 -x5049 -x5051 -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 -x5067 -x194 -x5069 -x5071 -x5073 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087 -x5089 -x195 -x5091 -x5093 -x5095 -x196 -x5097 -x5099 -x5101 -x5103 -x5105 -x5107 -x5109 -x5111 -x5113 -x5115 -x5117 -x5119 -x5121 -x5123 -x5125 -x5127 -x5129 -x5131 -x5133 -x5135 -x5137 -x5139 -x5141 -x5143 -x5145 -x5147 -x5149 -x5151 -x5153 -x5155 -x5157 -x5159 -x5161 -x5163 -x5165 -x5167 -x5169 -x5171 -x5173 -x197 -x5175 -x5177 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 -x5193 -x5195 -x198 -x5197 -x5199 -x5201 -x5203 -x5205 -x5207 -x5209 -x5211 -x199 -x5213 -x5215 -x200 -x5217 -x5219 -x5221 -x5223 -x5225 -x5227 -x5229 -x201 -x5231 -x202 -x5234 -x203 -x5236 -x5238 -x5240 -x5242 -x5244 -x5246 -x5248 -x5250 -x5252 -x5254 -x5256 -x5258 -x5260 -x5262 -x5264 -x5266 -x5268 -x5270 -x5272 -x5274 -x5276 -x5278 -x5280 -x5282 -x5285 -x5287 -x5289 -x5291 -x5293 -x5295 -x5297 -x5299 -x5301 -x5303 -x5305 -x5307 -x5309 -x5311 -x5313 -x5315 -x204 -x5317 -x5319 -x5321 -x5323 -x5325 -x5327 -x205 -x5329 -x5331 -x5333 -x5335 -x5337 -x5339 -x5341 -x5343 -x5345 -x5347 -x206 -x5349 -x5351 -x207 -x5353 -x5355 -x208 -x5357 -x209 x210 -x211 -x5359 -x5361 -x5363 -x5365 -x5367 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x5369 -x219 -x5371 -x5373 -x5375 -x5377 -x5379 -x5381 -x5383 -x5385 -x5387 -x5389 -x5391 -x5393 -x5395 -x5397 -x5399 -x5401 -x5403 -x5405 -x5407 -x5409 -x5411 -x5413 -x5415 -x5417 -x5419 -x5421 -x5423 -x5425 -x5427 -x5429 -x5431 -x5433 -x5435 -x5437 -x5439 -x5441 -x220 -x5443 -x5445 -x5447 -x5449 -x5451 -x5453 -x5455 -x5457 -x5459 -x5461 -x221 -x5463 -x5465 -x5467 -x5469 -x5471 -x5473 x222 -x5475 -x223 -x5477 -x5479 -x5481 -x224 -x225 x226 -x227 -x5483 -x5485 -x5487 -x5489 -x5491 -x5493 -x228 -x229 -x230 -x231 -x232 x233 x234 -x235 -x5495 -x5497 -x5499 -x236 -x237 x238 x239 -x240 -x241 -x242 -x243 -x5501 x244 x245 -x246 x247 x248 -x249 x250 -x251 -x5503 -x5505 -x5507 -x5509 -x252 -x253 -x5511 -x5513 -x5515 -x254 -x255 -x256 -x5517 -x5519 -x5521 -x5523 -x5525 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x5527 -x5530 -x5532 x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 -x273 -x274 x275 x276 -x277 x278 -x279 -x5534 -x5536 -x280 -x281 -x282 x283 -x284 -x285 -x286 x287 -x288 -x289 x290 -x291 -x292 x293 x294 -x295 -x296 x297 -x298 -x299 x300 x301 x302 
1797.99/1798.32	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.99/1798.32	c   27   734249 364612  2822796    31299  2286427  18032    408 1798.02
1797.99/1798.32	c Objective: 15
1797.99/1798.32	s SATISFIABLE
1797.99/1798.32	c Total time: 1798.02 s

OK	15

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3708112-1338166144/watcher-3708112-1338166144 -o /tmp/evaluation-result-3708112-1338166144/solver-3708112-1338166144 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708112-1338166144.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9378
/proc/meminfo: memFree=29821308/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=11416 CPUtime=0 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 348 0 0 0 0 0 0 0 20 0 1 0 282738792 11689984 301 33554432000 134512640 137138936 4288221216 4288219568 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 2854 301 178 642 0 2091 0

[startup+0.08973 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9378
/proc/meminfo: memFree=29821308/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=14088 CPUtime=0.07 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 1282 0 0 0 7 0 0 0 20 0 1 0 282738792 14426112 1080 33554432000 134512640 137138936 4288221216 4288219968 134575067 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 3522 1080 192 642 0 2878 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14088

[startup+0.100284 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9378
/proc/meminfo: memFree=29821308/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=14088 CPUtime=0.09 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 1287 0 0 0 9 0 0 0 20 0 1 0 282738792 14426112 1085 33554432000 134512640 137138936 4288221216 4288220068 136511125 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 3522 1085 192 642 0 2878 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14088

[startup+0.300226 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9378
/proc/meminfo: memFree=29821308/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=14088 CPUtime=0.29 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 1289 0 0 0 29 0 0 0 20 0 1 0 282738792 14426112 1087 33554432000 134512640 137138936 4288221216 4288191040 134603204 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 3522 1087 192 642 0 2878 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14088

[startup+0.700227 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9378
/proc/meminfo: memFree=29821308/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=14128 CPUtime=0.69 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 1310 0 0 0 69 0 0 0 20 0 1 0 282738792 14467072 1108 33554432000 134512640 137138936 4288221216 4288219968 134575368 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 3532 1108 192 642 0 2888 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14128

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9379
/proc/meminfo: memFree=29817672/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=14404 CPUtime=1.49 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 4338 0 0 0 148 1 0 0 20 0 1 0 282738792 14749696 1181 33554432000 134512640 137138936 4288221216 4288220332 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 3601 1181 192 642 0 2957 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14404

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9379
/proc/meminfo: memFree=29816804/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=15340 CPUtime=3.09 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 10253 0 0 0 307 2 0 0 20 0 1 0 282738792 15708160 1415 33554432000 134512640 137138936 4288221216 4288219656 136504212 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 3835 1415 192 642 0 3191 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15340

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9379
/proc/meminfo: memFree=29814332/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=17264 CPUtime=6.29 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 19896 0 0 0 623 6 0 0 20 0 1 0 282738792 17678336 1871 33554432000 134512640 137138936 4288221216 4288219484 136700814 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 4316 1871 192 642 0 3672 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17264

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9379
/proc/meminfo: memFree=29810240/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=21380 CPUtime=12.68 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 38986 0 0 0 1259 9 0 0 20 0 1 0 282738792 21893120 2925 33554432000 134512640 137138936 4288221216 4288220332 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 5345 2925 192 642 0 4701 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21380

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9380
/proc/meminfo: memFree=29802432/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=28644 CPUtime=25.49 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 62642 0 0 0 2533 16 0 0 20 0 1 0 282738792 29331456 4746 33554432000 134512640 137138936 4288221216 4288219640 134606670 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 7161 4746 192 642 0 6517 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28644

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9380
/proc/meminfo: memFree=29797772/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=33476 CPUtime=51.07 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 78226 0 0 0 5087 20 0 0 20 0 1 0 282738792 34279424 5954 33554432000 134512640 137138936 4288221216 4288219892 136511176 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 8369 5954 192 642 0 7725 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 33476

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9383
/proc/meminfo: memFree=29790572/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=40496 CPUtime=102.27 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 111363 0 0 0 10196 31 0 0 20 0 1 0 282738792 41467904 7709 33554432000 134512640 137138936 4288221216 4288220144 134542805 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 10124 7709 192 642 0 9480 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 40496

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9383
/proc/meminfo: memFree=29785732/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=45296 CPUtime=162.25 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 116750 0 0 0 16189 36 0 0 20 0 1 0 282738792 46383104 8908 33554432000 134512640 137138936 4288221216 4288219640 134606964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 11324 8908 192 642 0 10680 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 45296

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9383
/proc/meminfo: memFree=29784300/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=46688 CPUtime=222.23 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 121265 0 0 0 22182 41 0 0 20 0 1 0 282738792 47808512 9257 33554432000 134512640 137138936 4288221216 4288219968 134575204 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 11672 9257 192 642 0 11028 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 46688

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9421
/proc/meminfo: memFree=29722664/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=46684 CPUtime=282.23 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 121266 0 0 0 28176 47 0 0 20 0 1 0 282738792 47804416 9256 33554432000 134512640 137138936 4288221216 4288190372 136500388 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 11671 9256 192 642 0 11027 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 46684

[startup+342.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 9422
/proc/meminfo: memFree=29659644/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=47584 CPUtime=342.22 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 124564 0 0 0 34171 51 0 0 20 0 1 0 282738792 48726016 9464 33554432000 134512640 137138936 4288221216 4288190340 136500305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 11896 9464 192 642 0 11252 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 47584

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9422
/proc/meminfo: memFree=29658816/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=47356 CPUtime=402.21 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 124569 0 0 0 40166 55 0 0 20 0 1 0 282738792 48492544 9424 33554432000 134512640 137138936 4288221216 4288219732 134551018 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 11839 9424 192 642 0 11195 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 47356

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9422
/proc/meminfo: memFree=29658876/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=47364 CPUtime=462.21 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 124572 0 0 0 46161 60 0 0 20 0 1 0 282738792 48500736 9426 33554432000 134512640 137138936 4288221216 4288219872 134618359 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 11841 9426 192 642 0 11197 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 47364

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9422
/proc/meminfo: memFree=29654908/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=51552 CPUtime=522.19 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 143718 0 0 0 52152 67 0 0 20 0 1 0 282738792 52789248 10473 33554432000 134512640 137138936 4288221216 4288219712 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 12888 10473 192 642 0 12244 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 51552

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9422
/proc/meminfo: memFree=29654908/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=51608 CPUtime=582.18 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 143974 0 0 0 58147 71 0 0 20 0 1 0 282738792 52846592 10487 33554432000 134512640 137138936 4288221216 4288219640 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 12902 10487 192 642 0 12258 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 51608

[startup+642.3 s]

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

/proc/meminfo: memFree=29421932/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=62028 CPUtime=1062.11 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 200333 0 0 0 106095 116 0 0 20 0 1 0 282738792 63516672 13092 33554432000 134512640 137138936 4288221216 4288219964 135984576 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 15507 13092 192 642 0 14863 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 62028

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9450
/proc/meminfo: memFree=29413684/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=70288 CPUtime=1122.1 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 247820 0 0 0 112081 129 0 0 20 0 1 0 282738792 71974912 15157 33554432000 134512640 137138936 4288221216 4288220068 136511212 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 17572 15157 192 642 0 16928 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 70288

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9450
/proc/meminfo: memFree=29414040/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=70164 CPUtime=1182.08 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 247828 0 0 0 118075 133 0 0 20 0 1 0 282738792 71847936 15126 33554432000 134512640 137138936 4288221216 4288220144 134542752 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 17541 15126 192 642 0 16897 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 70164

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9450
/proc/meminfo: memFree=29414412/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=69572 CPUtime=1242.08 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 247828 0 0 0 124070 138 0 0 20 0 1 0 282738792 71241728 14978 33554432000 134512640 137138936 4288221216 4288219752 136504187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 17393 14978 192 642 0 16749 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 69572

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9454
/proc/meminfo: memFree=29414404/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=69572 CPUtime=1302.07 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 247828 0 0 0 130064 143 0 0 20 0 1 0 282738792 71241728 14978 33554432000 134512640 137138936 4288221216 4288220144 134542613 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 17393 14978 192 642 0 16749 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 69572

[startup+1362.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 9454
/proc/meminfo: memFree=29414908/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=69568 CPUtime=1362.06 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 247828 0 0 0 136059 147 0 0 20 0 1 0 282738792 71237632 14977 33554432000 134512640 137138936 4288221216 4288220144 134542226 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 17392 14977 192 642 0 16748 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 69568

[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 9454
/proc/meminfo: memFree=29414784/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=69568 CPUtime=1422.05 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 247828 0 0 0 142054 151 0 0 20 0 1 0 282738792 71237632 14977 33554432000 134512640 137138936 4288221216 4288187832 134600665 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 17392 14977 192 642 0 16748 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 69568

[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 9454
/proc/meminfo: memFree=29414536/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=69568 CPUtime=1482.04 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 247828 0 0 0 148046 158 0 0 20 0 1 0 282738792 71237632 14977 33554432000 134512640 137138936 4288221216 4288220144 134542495 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 17392 14977 192 642 0 16748 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 69568

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9454
/proc/meminfo: memFree=29414536/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=70044 CPUtime=1542.03 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 249769 0 0 0 154040 163 0 0 20 0 1 0 282738792 71725056 15092 33554432000 134512640 137138936 4288221216 4288219712 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 17511 15092 192 642 0 16867 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 70044

[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 9455
/proc/meminfo: memFree=29412180/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=72540 CPUtime=1602.02 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 260936 0 0 0 160027 175 0 0 20 0 1 0 282738792 74280960 15720 33554432000 134512640 137138936 4288221216 4288219636 136511212 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 18135 15720 192 642 0 17491 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 72540

[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 9455
/proc/meminfo: memFree=29412924/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=71020 CPUtime=1662.01 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 260936 0 0 0 166017 184 0 0 20 0 1 0 282738792 72724480 15340 33554432000 134512640 137138936 4288221216 4288219968 134575204 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 17755 15340 192 642 0 17111 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 71020

[startup+1722.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/178 9455
/proc/meminfo: memFree=29413048/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=71292 CPUtime=1722 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 262559 0 0 0 172010 190 0 0 20 0 1 0 282738792 73003008 15408 33554432000 134512640 137138936 4288221216 4288220144 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 17823 15408 192 642 0 17179 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 71292

[startup+1782.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/178 9455
/proc/meminfo: memFree=29412612/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=71188 CPUtime=1782 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 262559 0 0 0 178007 193 0 0 20 0 1 0 282738792 72896512 15382 33554432000 134512640 137138936 4288221216 4288219752 136504035 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 17797 15382 192 642 0 17153 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 71188

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

[startup+1791.91 s]
/proc/loadavg: 2.09 2.06 2.01 3/178 9455
/proc/meminfo: memFree=29413108/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=71188 CPUtime=1791.6 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 262559 0 0 0 178967 193 0 0 20 0 1 0 282738792 72896512 15382 33554432000 134512640 137138936 4288221216 4288219732 134551664 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 17797 15382 192 642 0 17153 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 71188

[startup+1795.1 s]
/proc/loadavg: 2.09 2.06 2.01 3/178 9455
/proc/meminfo: memFree=29413232/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=71188 CPUtime=1794.8 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 262559 0 0 0 179286 194 0 0 20 0 1 0 282738792 72896512 15382 33554432000 134512640 137138936 4288221216 4288220144 134542202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 17797 15382 192 642 0 17153 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 71188

[startup+1796.7 s]
/proc/loadavg: 2.09 2.06 2.01 3/178 9455
/proc/meminfo: memFree=29413232/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=71188 CPUtime=1796.39 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 262559 0 0 0 179445 194 0 0 20 0 1 0 282738792 72896512 15382 33554432000 134512640 137138936 4288221216 4288219900 136521030 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 17797 15382 192 642 0 17153 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 71188

[startup+1797.5 s]
/proc/loadavg: 2.09 2.06 2.01 3/178 9455
/proc/meminfo: memFree=29413232/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=71188 CPUtime=1797.19 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 262559 0 0 0 179525 194 0 0 20 0 1 0 282738792 72896512 15382 33554432000 134512640 137138936 4288221216 4288220332 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 17797 15382 192 642 0 17153 0
Current children cumulated CPU time (s) 1797.19
Current children cumulated vsize (KiB) 71188

[startup+1797.9 s]
/proc/loadavg: 2.09 2.06 2.01 3/178 9455
/proc/meminfo: memFree=29413232/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=71188 CPUtime=1797.59 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 262559 0 0 0 179565 194 0 0 20 0 1 0 282738792 72896512 15382 33554432000 134512640 137138936 4288221216 4288190096 134609379 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 17797 15382 192 642 0 17153 0
Current children cumulated CPU time (s) 1797.59
Current children cumulated vsize (KiB) 71188

[startup+1798.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/178 9455
/proc/meminfo: memFree=29413232/32873844 swapFree=7628/7628
[pid=9378] ppid=9376 vsize=71188 CPUtime=1797.99 cores=1,3,5,7
/proc/9378/stat : 9378 (bsolo) R 9376 9378 8717 0 -1 4202496 262559 0 0 0 179605 194 0 0 20 0 1 0 282738792 72896512 15382 33554432000 134512640 137138936 4288221216 4288219928 136506283 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9378/statm: 17797 15382 192 642 0 17153 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 71188

Child status: 0
Real time (s): 1798.32
CPU time (s): 1798.02
CPU user time (s): 1796.08
CPU system time (s): 1.9427
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 72540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.08
system time used= 1.9427
maximum resident set size= 62924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262560
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= 31
involuntary context switches= 1848

runsolver used 3.2815 second user time and 7.9008 second system time

The end

Begin job on node145 at 2012-05-28 02:49:04
IDJOB=3708112
IDBENCH=25010
IDSOLVER=2286
FILE ID=node145/3708112-1338166144
RUNJOBID= node145-1338157126-8734
PBS_JOBID= 14624528
Free space on /tmp= 71552 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir06_area_delay.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708112-1338166144/watcher-3708112-1338166144 -o /tmp/evaluation-result-3708112-1338166144/solver-3708112-1338166144 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3708112-1338166144.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 21fb64899a6dc4867ccfcbb30d44d536
RANDOM SEED=1153334579

node145.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5313.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29821308 kB
Buffers:          327876 kB
Cached:          1836460 kB
SwapCached:            0 kB
Active:           740460 kB
Inactive:        1493320 kB
Active(anon):      60536 kB
Inactive(anon):    10912 kB
Active(file):     679924 kB
Inactive(file):  1482408 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              4376 kB
Writeback:             0 kB
AnonPages:         76192 kB
Mapped:            14972 kB
Shmem:               200 kB
Slab:             678444 kB
SReclaimable:     120164 kB
SUnreclaim:       558280 kB
KernelStack:        1456 kB
PageTables:         4176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     190424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     55296 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71548 MiB
End job on node145 at 2012-05-28 03:19:03