Trace number 372584

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, and are wall clock time (not CPU 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
Pueblo 1.4SAT28 1782.74 1783.34

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 benchmark26.8039
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 (download as text)

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

Verifier Data (download as text)

OK	28

Conversion Script Data (download as text)

/tmp/evaluation/372584-1177108760/instance-372584-1177108760.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node9/watcher-372584-1177108760 -o ROOT/results/node9/solver-372584-1177108760 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/372584-1177108760/instance-372584-1177108760.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.93 1.01 0.99 3/77 29876
/proc/meminfo: memFree=1499632/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=2552 CPUtime=0
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 186913584 2613248 230 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 9129687 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 638 232 193 16 0 77 0

[startup+0.0988371 s]
/proc/loadavg: 0.93 1.01 0.99 3/77 29876
/proc/meminfo: memFree=1499632/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=4016 CPUtime=0.09
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 632 0 0 0 9 0 0 0 18 0 1 0 186913584 4112384 602 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 1004 602 199 16 0 443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4016

[startup+0.101836 s]
/proc/loadavg: 0.93 1.01 0.99 3/77 29876
/proc/meminfo: memFree=1499632/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=4016 CPUtime=0.09
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 641 0 0 0 9 0 0 0 18 0 1 0 186913584 4112384 611 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 9098875 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 1004 612 199 16 0 443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4016

[startup+0.301859 s]
/proc/loadavg: 0.93 1.01 0.99 3/77 29876
/proc/meminfo: memFree=1499632/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=5992 CPUtime=0.29
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 1098 0 0 0 29 0 0 0 19 0 1 0 186913584 6135808 1068 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 1498 1068 205 16 0 937 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5992

[startup+0.701903 s]
/proc/loadavg: 0.93 1.01 0.99 3/77 29876
/proc/meminfo: memFree=1499632/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=5992 CPUtime=0.69
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 1098 0 0 0 67 2 0 0 22 0 1 0 186913584 6135808 1068 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134556221 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 1498 1068 205 16 0 937 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5992

[startup+1.50199 s]
/proc/loadavg: 0.93 1.01 0.99 2/78 29877
/proc/meminfo: memFree=1496104/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=5992 CPUtime=1.49
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 1098 0 0 0 145 4 0 0 25 0 1 0 186913584 6135808 1068 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527978 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 1498 1068 205 16 0 937 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5992

[startup+3.10118 s]
/proc/loadavg: 0.94 1.01 0.99 2/78 29877
/proc/meminfo: memFree=1495912/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=6224 CPUtime=3.09
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 1134 0 0 0 301 8 0 0 25 0 1 0 186913584 6373376 1104 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134529188 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 1556 1104 205 16 0 995 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6224

[startup+6.30154 s]
/proc/loadavg: 0.94 1.01 0.99 2/78 29877
/proc/meminfo: memFree=1494504/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=7904 CPUtime=6.29
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 1569 0 0 0 618 11 0 0 25 0 1 0 186913584 8093696 1539 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 1976 1539 205 16 0 1415 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7904

[startup+12.7013 s]
/proc/loadavg: 0.95 1.00 0.99 2/78 29877
/proc/meminfo: memFree=1493224/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=8752 CPUtime=12.69
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 1786 0 0 0 1250 19 0 0 25 0 1 0 186913584 8962048 1756 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 2188 1756 205 16 0 1627 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8752

[startup+25.5017 s]
/proc/loadavg: 0.95 1.00 0.99 2/78 29877
/proc/meminfo: memFree=1492328/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=9608 CPUtime=25.48
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 1996 0 0 0 2519 29 0 0 25 0 1 0 186913584 9838592 1966 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 2402 1966 205 16 0 1841 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 9608

[startup+51.1016 s]
/proc/loadavg: 0.97 1.00 0.99 2/78 29877
/proc/meminfo: memFree=1489768/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=12336 CPUtime=51.08
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 2641 0 0 0 5055 53 0 0 25 0 1 0 186913584 12632064 2611 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 3084 2611 205 16 0 2523 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 12336

[startup+102.305 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29877
/proc/meminfo: memFree=1488168/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=13980 CPUtime=102.27
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 3052 0 0 0 10146 81 0 0 25 0 1 0 186913584 14315520 3022 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 3495 3022 205 16 0 2934 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 13980

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29877
/proc/meminfo: memFree=1487720/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=14468 CPUtime=162.25
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 3169 0 0 0 16121 104 0 0 25 0 1 0 186913584 14815232 3139 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 3617 3139 205 16 0 3056 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 14468

[startup+222.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29877
/proc/meminfo: memFree=1487144/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=14944 CPUtime=222.23
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 3304 0 0 0 22085 138 0 0 25 0 1 0 186913584 15302656 3274 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 3736 3274 205 16 0 3175 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 14944

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29877
/proc/meminfo: memFree=1485480/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=16636 CPUtime=282.22
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 3709 0 0 0 28053 169 0 0 25 0 1 0 186913584 17035264 3679 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 4159 3679 205 16 0 3598 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 16636

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29877
/proc/meminfo: memFree=1483880/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=18196 CPUtime=342.2
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 4117 0 0 0 34030 190 0 0 25 0 1 0 186913584 18632704 4087 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 4549 4087 205 16 0 3988 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 18196

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29877
/proc/meminfo: memFree=1481896/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=20180 CPUtime=402.18
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 4602 0 0 0 39998 220 0 0 25 0 1 0 186913584 20664320 4572 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 5045 4572 205 16 0 4484 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 20180

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29877
/proc/meminfo: memFree=1481896/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=20180 CPUtime=462.16
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 4606 0 0 0 45961 255 0 0 25 0 1 0 186913584 20664320 4576 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 5045 4576 205 16 0 4484 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 20180

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29877
/proc/meminfo: memFree=1479336/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=22764 CPUtime=522.15
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 5232 0 0 0 51926 289 0 0 25 0 1 0 186913584 23310336 5202 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134557553 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 5691 5202 205 16 0 5130 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 22764

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29877
/proc/meminfo: memFree=1477224/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=24848 CPUtime=582.13
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 5755 0 0 0 57897 316 0 0 25 0 1 0 186913584 25444352 5725 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 6212 5725 205 16 0 5651 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 24848

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29877
/proc/meminfo: memFree=1477224/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=24720 CPUtime=642.13
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 5757 0 0 0 63864 349 0 0 25 0 1 0 186913584 25313280 5709 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558881 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 6180 5709 205 16 0 5619 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 24720


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

/proc/meminfo: memFree=1476584/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=25292 CPUtime=822.07
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 6039 0 0 0 81792 415 0 0 25 0 1 0 186913584 25899008 5853 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 6323 5853 205 16 0 5762 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 25292

[startup+882.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29877
/proc/meminfo: memFree=1476520/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=25456 CPUtime=882.06
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 6072 0 0 0 87769 437 0 0 25 0 1 0 186913584 26066944 5886 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 6364 5886 205 16 0 5803 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 25456

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29877
/proc/meminfo: memFree=1476392/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=25712 CPUtime=942.04
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 6119 0 0 0 93742 462 0 0 25 0 1 0 186913584 26329088 5933 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 6428 5933 205 16 0 5867 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 25712

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29877
/proc/meminfo: memFree=1476392/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=25712 CPUtime=1002.02
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 6121 0 0 0 99718 484 0 0 25 0 1 0 186913584 26329088 5935 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 6428 5935 205 16 0 5867 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 25712

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29877
/proc/meminfo: memFree=1474984/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=27096 CPUtime=1062.01
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 6463 0 0 0 105692 509 0 0 25 0 1 0 186913584 27746304 6277 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 6774 6277 205 16 0 6213 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 27096

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29877
/proc/meminfo: memFree=1474984/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=27096 CPUtime=1121.99
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 6463 0 0 0 111667 532 0 0 25 0 1 0 186913584 27746304 6277 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 6774 6277 205 16 0 6213 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 27096

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29877
/proc/meminfo: memFree=1473000/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=27096 CPUtime=1181.97
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 6954 0 0 0 117644 553 0 0 25 0 1 0 186913584 27746304 6288 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 6774 6288 205 16 0 6213 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 27096

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 29877
/proc/meminfo: memFree=1471720/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=30452 CPUtime=1241.96
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 7815 0 0 0 123616 580 0 0 25 0 1 0 186913584 31182848 7108 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 7613 7108 205 16 0 7052 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 30452

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/84 29903
/proc/meminfo: memFree=1470448/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=30452 CPUtime=1301.94
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 7815 0 0 0 129589 605 0 0 25 0 1 0 186913584 31182848 7108 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 7613 7108 205 16 0 7052 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 30452

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 30074
/proc/meminfo: memFree=1471456/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=30452 CPUtime=1361.82
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 7815 0 0 0 135552 630 0 0 25 0 1 0 186913584 31182848 7108 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134529079 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 7613 7108 205 16 0 7052 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 30452

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 30074
/proc/meminfo: memFree=1471528/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=30452 CPUtime=1421.79
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 7816 0 0 0 141514 665 0 0 25 0 1 0 186913584 31182848 7109 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559447 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 7613 7109 205 16 0 7052 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 30452

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 30074
/proc/meminfo: memFree=1471528/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=30452 CPUtime=1481.77
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 7817 0 0 0 147493 684 0 0 25 0 1 0 186913584 31182848 7110 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 7613 7110 205 16 0 7052 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 30452

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 30074
/proc/meminfo: memFree=1471528/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=30452 CPUtime=1541.76
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 7817 0 0 0 153467 709 0 0 25 0 1 0 186913584 31182848 7110 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528734 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 7613 7110 205 16 0 7052 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 30452

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 30074
/proc/meminfo: memFree=1471656/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=30452 CPUtime=1601.75
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 7817 0 0 0 159441 734 0 0 25 0 1 0 186913584 31182848 7110 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134529031 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 7613 7110 205 16 0 7052 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 30452

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 0.99 3/78 30074
/proc/meminfo: memFree=1471592/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=30452 CPUtime=1661.73
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 7817 0 0 0 165414 759 0 0 25 0 1 0 186913584 31182848 7110 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558893 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 7613 7110 205 16 0 7052 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 30452

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 30074
/proc/meminfo: memFree=1471592/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=30452 CPUtime=1721.71
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 7817 0 0 0 171389 782 0 0 25 0 1 0 186913584 31182848 7110 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528619 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 7613 7110 205 16 0 7052 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 30452

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 30074
/proc/meminfo: memFree=1471656/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=30452 CPUtime=1781.7
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 7817 0 0 0 177361 809 0 0 25 0 1 0 186913584 31182848 7110 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 7613 7110 205 16 0 7052 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 30452

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

[startup+1783.11 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 30074
/proc/meminfo: memFree=1471656/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=30452 CPUtime=1782.5
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 7817 0 0 0 177441 809 0 0 25 0 1 0 186913584 31182848 7110 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 7613 7110 205 16 0 7052 0
Current children cumulated CPU time (s) 1782.5
Current children cumulated vsize (KiB) 30452

[startup+1783.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 30074
/proc/meminfo: memFree=1471656/2055920 swapFree=4152812/4192956
[pid=29876] ppid=29874 vsize=30452 CPUtime=1782.7
/proc/29876/stat : 29876 (Pueblo) R 29874 29876 29058 0 -1 4194304 7817 0 0 0 177461 809 0 0 25 0 1 0 186913584 31182848 7110 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/29876/statm: 7613 7110 205 16 0 7052 0
Current children cumulated CPU time (s) 1782.7
Current children cumulated vsize (KiB) 30452

Child status: 10
Real time (s): 1783.34
CPU time (s): 1782.74
CPU user time (s): 1774.64
CPU system time (s): 8.09977
CPU usage (%): 99.9667
Max. virtual memory (cumulated for all children) (KiB): 30452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1774.64
system time used= 8.09977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7824
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= 15
involuntary context switches= 1953

runsolver used 2.21066 second user time and 4.16037 second system time

The end

Launcher Data (download as text)

Begin job on node9 on Fri Apr 20 22:39:20 UTC 2007

IDJOB= 372584
IDBENCH= 24982
IDSOLVER= 165
FILE ID= node9/372584-1177108760

PBS_JOBID= 4640412

Free space on /tmp= 66426 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_030_area_delay.opb
COMMAND LINE= Pueblo /tmp/evaluation/372584-1177108760/instance-372584-1177108760.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node9/convwatcher-372584-1177108760 -o ROOT/results/node9/conversion-372584-1177108760 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372584-1177108760/instance-372584-1177108760.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-372584-1177108760 -o ROOT/results/node9/solver-372584-1177108760 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/372584-1177108760/instance-372584-1177108760.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  55bd571d186b9003e67d2301a4d2bce5

RANDOM SEED= 536074452

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node9.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1500040 kB
Buffers:         53704 kB
Cached:         434920 kB
SwapCached:       8184 kB
Active:         214112 kB
Inactive:       299316 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1500040 kB
SwapTotal:     4192956 kB
SwapFree:      4152812 kB
Dirty:            2656 kB
Writeback:           0 kB
Mapped:          30872 kB
Slab:            27984 kB
Committed_AS:  6512924 kB
PageTables:       1788 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66426 MiB

End job on node9 on Fri Apr 20 23:09:04 UTC 2007