Trace number 3720321

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: Pueblo 1.4SAT28 1783 1783.31

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_030_area_delay.opb
MD5SUM55bd571d186b9003e67d2301a4d2bce5
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark1.21081
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved YES
Number of variables4666
Total number of constraints12693
Number of constraints which are clauses12693
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint63
Number of terms in the objective function 2273
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2273
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2273
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

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

Verifier Data

OK	28

Watcher Data

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-3720321-1338509654/watcher-3720321-1338509654 -o /tmp/evaluation-result-3720321-1338509654/solver-3720321-1338509654 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720321-1338509654.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 24698
/proc/meminfo: memFree=28047940/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=3100 CPUtime=0 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 317089842 3174400 262 33554432000 134512640 134579096 4292718672 4292585972 13714161 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 775 262 213 17 0 81 0

[startup+0.0966639 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 24698
/proc/meminfo: memFree=28047940/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=6124 CPUtime=0.09 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 1021 0 0 0 9 0 0 0 20 0 1 0 317089842 6270976 958 33554432000 134512640 134579096 4292718672 4292717632 134532448 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 1531 958 225 17 0 837 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6124

[startup+0.100221 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 24698
/proc/meminfo: memFree=28047940/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=6124 CPUtime=0.09 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 1021 0 0 0 9 0 0 0 20 0 1 0 317089842 6270976 958 33554432000 134512640 134579096 4292718672 4292717632 134532440 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 1531 958 225 17 0 837 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6124

[startup+0.300182 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 24698
/proc/meminfo: memFree=28047940/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=6540 CPUtime=0.29 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 1152 0 0 0 28 1 0 0 20 0 1 0 317089842 6696960 1089 33554432000 134512640 134579096 4292718672 4292717504 134517933 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 1635 1089 227 17 0 941 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6540

[startup+0.70018 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 24698
/proc/meminfo: memFree=28047940/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=6540 CPUtime=0.69 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 1152 0 0 0 67 2 0 0 20 0 1 0 317089842 6696960 1089 33554432000 134512640 134579096 4292718672 4292717472 134528560 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 1635 1089 227 17 0 941 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6540

[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 24699
/proc/meminfo: memFree=28044444/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=6540 CPUtime=1.48 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 1152 0 0 0 145 3 0 0 20 0 1 0 317089842 6696960 1089 33554432000 134512640 134579096 4292718672 4292717240 12963065 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 1635 1089 227 17 0 941 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 6540

[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 24699
/proc/meminfo: memFree=28044088/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=7812 CPUtime=3.09 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 1460 0 0 0 304 5 0 0 20 0 1 0 317089842 7999488 1405 33554432000 134512640 134579096 4292718672 4292717392 134529182 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 1953 1405 227 17 0 1259 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7812

[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 24699
/proc/meminfo: memFree=28041172/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=9268 CPUtime=6.29 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 1808 0 0 0 620 9 0 0 20 0 1 0 317089842 9490432 1753 33554432000 134512640 134579096 4292718672 4292717492 134556279 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 2317 1753 227 17 0 1623 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9268

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 24747
/proc/meminfo: memFree=29299492/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=10128 CPUtime=12.68 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 2052 0 0 0 1253 15 0 0 20 0 1 0 317089842 10371072 1998 33554432000 134512640 134579096 4292718672 4292717552 134557412 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 2532 1998 227 17 0 1838 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 10128

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 24747
/proc/meminfo: memFree=29292752/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=12832 CPUtime=25.48 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 2702 0 0 0 2524 24 0 0 20 0 1 0 317089842 13139968 2662 33554432000 134512640 134579096 4292718672 4292717508 134528030 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 3208 2662 227 17 0 2514 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 12832

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 24747
/proc/meminfo: memFree=29288416/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=13688 CPUtime=51.07 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 2917 0 0 0 5069 38 0 0 20 0 1 0 317089842 14016512 2877 33554432000 134512640 134579096 4292718672 4292717472 134528817 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 3422 2877 227 17 0 2728 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 13688

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 24747
/proc/meminfo: memFree=29281096/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=15004 CPUtime=102.27 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 3223 0 0 0 10164 63 0 0 20 0 1 0 317089842 15364096 3196 33554432000 134512640 134579096 4292718672 4292717568 134516720 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 3751 3196 227 17 0 3057 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 15004

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 24747
/proc/meminfo: memFree=29267756/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=18744 CPUtime=162.26 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 4159 0 0 0 16131 95 0 0 20 0 1 0 317089842 19193856 4134 33554432000 134512640 134579096 4292718672 4292717536 134520000 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 4686 4134 227 17 0 3992 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 18744

[startup+222.3 s]
/proc/loadavg: 2.07 2.02 1.92 3/177 24748
/proc/meminfo: memFree=29266144/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=20676 CPUtime=222.24 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 4640 0 0 0 22100 124 0 0 20 0 1 0 317089842 21172224 4636 33554432000 134512640 134579096 4292718672 4292717472 134528815 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 5169 4636 227 17 0 4475 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 20676

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/177 24748
/proc/meminfo: memFree=29261616/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=25404 CPUtime=282.23 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 5790 0 0 0 28068 155 0 0 20 0 1 0 317089842 26013696 5793 33554432000 134512640 134579096 4292718672 4292717644 15303728 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24698/statm: 6351 5793 227 17 0 5657 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 25404

[startup+342.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 24748
/proc/meminfo: memFree=29261304/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=25372 CPUtime=342.22 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 5791 0 0 0 34036 186 0 0 20 0 1 0 317089842 25980928 5800 33554432000 134512640 134579096 4292718672 4292717520 134527993 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 6343 5800 227 17 0 5649 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 25372

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 24751
/proc/meminfo: memFree=29260304/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=25836 CPUtime=402.21 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 6024 0 0 0 40008 213 0 0 20 0 1 0 317089842 26456064 5928 33554432000 134512640 134579096 4292718672 4292717600 134559528 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 6459 5928 227 17 0 5765 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 25836

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 24751
/proc/meminfo: memFree=29253920/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=26220 CPUtime=462.2 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 6106 0 0 0 45983 237 0 0 20 0 1 0 317089842 26849280 6010 33554432000 134512640 134579096 4292718672 4292717536 134520021 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 6555 6010 227 17 0 5861 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 26220

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 24752
/proc/meminfo: memFree=29247776/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=27628 CPUtime=522.19 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 6450 0 0 0 51956 263 0 0 20 0 1 0 317089842 28291072 6354 33554432000 134512640 134579096 4292718672 4292717552 134557832 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 6907 6354 227 17 0 6213 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 27628

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 24752
/proc/meminfo: memFree=29247152/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=27572 CPUtime=582.18 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 6944 0 0 0 57932 286 0 0 20 0 1 0 317089842 28233728 6363 33554432000 134512640 134579096 4292718672 4292717600 134559533 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 6893 6363 227 17 0 6199 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 27572

[startup+642.3 s]

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

/proc/meminfo: memFree=29240264/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=30968 CPUtime=822.14 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 7783 0 0 0 81824 390 0 0 20 0 1 0 317089842 31711232 7200 33554432000 134512640 134579096 4292718672 4292717520 134528063 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 7742 7200 227 17 0 7048 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 30968

[startup+882.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/177 24753
/proc/meminfo: memFree=29240388/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=30968 CPUtime=882.13 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 7783 0 0 0 87801 412 0 0 20 0 1 0 317089842 31711232 7200 33554432000 134512640 134579096 4292718672 4292717520 134527978 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 7742 7200 227 17 0 7048 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 30968

[startup+942.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/177 24753
/proc/meminfo: memFree=29233812/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=30968 CPUtime=942.12 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 7783 0 0 0 93768 444 0 0 20 0 1 0 317089842 31711232 7200 33554432000 134512640 134579096 4292718672 4292717472 134528604 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 7742 7200 227 17 0 7048 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 30968

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 24756
/proc/meminfo: memFree=29227848/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=33728 CPUtime=1002.11 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 8474 0 0 0 99741 470 0 0 20 0 1 0 317089842 34537472 7891 33554432000 134512640 134579096 4292718672 4292717600 134559528 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 8432 7891 227 17 0 7738 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 33728

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 24756
/proc/meminfo: memFree=29224440/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=36328 CPUtime=1062.1 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 9125 0 0 0 105718 492 0 0 20 0 1 0 317089842 37199872 8544 33554432000 134512640 134579096 4292718672 4292717600 134559566 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 9082 8544 227 17 0 8388 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 36328

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 24757
/proc/meminfo: memFree=29208676/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=36328 CPUtime=1122.09 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 9126 0 0 0 111690 519 0 0 20 0 1 0 317089842 37199872 8551 33554432000 134512640 134579096 4292718672 4292717520 134527969 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 9082 8551 227 17 0 8388 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 36328

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 24757
/proc/meminfo: memFree=29208676/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=36328 CPUtime=1182.08 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 9126 0 0 0 117666 542 0 0 20 0 1 0 317089842 37199872 8551 33554432000 134512640 134579096 4292718672 4292717580 134519884 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 9082 8551 227 17 0 8388 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 36328

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 24757
/proc/meminfo: memFree=29208304/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=36532 CPUtime=1242.07 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 9212 0 0 0 123644 563 0 0 20 0 1 0 317089842 37408768 8596 33554432000 134512640 134579096 4292718672 4292717452 134528838 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 9133 8596 227 17 0 8439 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 36532

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 24758
/proc/meminfo: memFree=29204204/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=40200 CPUtime=1302.07 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 10387 0 0 0 129618 589 0 0 20 0 1 0 317089842 41164800 9507 33554432000 134512640 134579096 4292718672 4292717472 134558957 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 10050 9507 227 17 0 9356 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 40200

[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 1.93 3/177 24758
/proc/meminfo: memFree=29204704/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=40084 CPUtime=1362.05 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 10388 0 0 0 135590 615 0 0 20 0 1 0 317089842 41046016 9485 33554432000 134512640 134579096 4292718672 4292717472 134558942 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 10021 9485 227 17 0 9327 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 40084

[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 24759
/proc/meminfo: memFree=29204580/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=40084 CPUtime=1422.05 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 10388 0 0 0 141567 638 0 0 20 0 1 0 317089842 41046016 9485 33554432000 134512640 134579096 4292718672 4292717472 134528815 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 10021 9485 227 17 0 9327 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 40084

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 24759
/proc/meminfo: memFree=29204580/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=40084 CPUtime=1482.03 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 10388 0 0 0 147544 659 0 0 20 0 1 0 317089842 41046016 9485 33554432000 134512640 134579096 4292718672 4292717520 134527652 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 10021 9485 227 17 0 9327 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 40084

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 24759
/proc/meminfo: memFree=29204456/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=40084 CPUtime=1542.02 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 10388 0 0 0 153519 683 0 0 20 0 1 0 317089842 41046016 9485 33554432000 134512640 134579096 4292718672 4292717580 134519884 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 10021 9485 227 17 0 9327 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 40084

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 24762
/proc/meminfo: memFree=29204448/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=40084 CPUtime=1602.01 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 10388 0 0 0 159495 706 0 0 20 0 1 0 317089842 41046016 9485 33554432000 134512640 134579096 4292718672 4292717600 134559572 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 10021 9485 227 17 0 9327 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 40084

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 24762
/proc/meminfo: memFree=29204456/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=40084 CPUtime=1662 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 10388 0 0 0 165472 728 0 0 20 0 1 0 317089842 41046016 9485 33554432000 134512640 134579096 4292718672 4292717644 15303728 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 10021 9485 227 17 0 9327 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 40084

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 24763
/proc/meminfo: memFree=29204332/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=40084 CPUtime=1722 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 10388 0 0 0 171445 755 0 0 20 0 1 0 317089842 41046016 9485 33554432000 134512640 134579096 4292718672 4292717492 134556388 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 10021 9485 227 17 0 9327 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 40084

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/177 24763
/proc/meminfo: memFree=29203960/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=40084 CPUtime=1781.99 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 10388 0 0 0 177417 782 0 0 20 0 1 0 317089842 41046016 9485 33554432000 134512640 134579096 4292718672 4292717392 134529044 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 10021 9485 227 17 0 9327 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 40084

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

[startup+1783.11 s]
/proc/loadavg: 2.03 2.01 1.94 3/177 24763
/proc/meminfo: memFree=29204084/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=40084 CPUtime=1782.79 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 10388 0 0 0 177497 782 0 0 20 0 1 0 317089842 41046016 9485 33554432000 134512640 134579096 4292718672 4292717488 134558790 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 10021 9485 227 17 0 9327 0
Current children cumulated CPU time (s) 1782.79
Current children cumulated vsize (KiB) 40084

[startup+1783.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/177 24763
/proc/meminfo: memFree=29204084/32873844 swapFree=7644/7644
[pid=24698] ppid=24696 vsize=40084 CPUtime=1782.99 cores=0,2,4,6
/proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 10388 0 0 0 177517 782 0 0 20 0 1 0 317089842 41046016 9485 33554432000 134512640 134579096 4292718672 4292717644 15303728 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24698/statm: 10021 9485 227 17 0 9327 0
Current children cumulated CPU time (s) 1782.99
Current children cumulated vsize (KiB) 40084

Child status: 10
Real time (s): 1783.31
CPU time (s): 1783
CPU user time (s): 1775.18
CPU system time (s): 7.82181
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 41332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1775.18
system time used= 7.82181
maximum resident set size= 39084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10393
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= 26
involuntary context switches= 2675

runsolver used 2.6536 second user time and 7.07792 second system time

The end

Launcher Data

Begin job on node147 at 2012-06-01 02:14:14
IDJOB=3720321
IDBENCH=24982
IDSOLVER=2305
FILE ID=node147/3720321-1338509654
RUNJOBID= node147-1338505993-24360
PBS_JOBID= 14635745
Free space on /tmp= 70792 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_030_area_delay.opb
COMMAND LINE= Pueblo BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3720321-1338509654/watcher-3720321-1338509654 -o /tmp/evaluation-result-3720321-1338509654/solver-3720321-1338509654 -C 1800 -W 1900 -M 15500  Pueblo HOME/instance-3720321-1338509654.opb

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

MD5SUM BENCH= 55bd571d186b9003e67d2301a4d2bce5
RANDOM SEED=132161624

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
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	: 5333.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28048212 kB
Buffers:          386596 kB
Cached:          2318980 kB
SwapCached:         3384 kB
Active:          2609832 kB
Inactive:        1364756 kB
Active(anon):    1264696 kB
Inactive(anon):     5920 kB
Active(file):    1345136 kB
Inactive(file):  1358836 kB
Unevictable:        7644 kB
Mlocked:            7644 kB
SwapTotal:      67108856 kB
SwapFree:       67100232 kB
Dirty:              2724 kB
Writeback:             0 kB
AnonPages:       1275428 kB
Mapped:            10064 kB
Shmem:                 0 kB
Slab:             710560 kB
SReclaimable:     151900 kB
SUnreclaim:       558660 kB
KernelStack:        1472 kB
PageTables:         6496 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1394300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1245184 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3720321-1338509654.opb

Free space on /tmp at the end= 70792 MiB
End job on node147 at 2012-06-01 02:43:58