Trace number 372934

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.4SAT14 1782.73 1783.27

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir05_area_delay.opb
MD5SUMb0c7ff7d1fa11c8e15b9d528879223a9
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark10.0265
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 14
Optimality of the best value was proved YES
Number of variables3659
Total number of constraints9385
Number of constraints which are clauses9385
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 constraint127
Number of terms in the objective function 1787
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 1787
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1787
Number of bits of the biggest sum of numbers11
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.09/0.18	c starting to Solve
0.09/0.18	c #variables read: 3659 - #constraints read: 9284
0.09/0.18	o 20
0.09/0.18	o 19
0.29/0.32	o 18
5.68/5.76	o 17
11.39/11.45	o 16
39.97/40.09	o 15
1127.45/1127.80	o 14
1782.65/1783.26	c total time              : 1783 s
1782.65/1783.26	s SATISFIABLE
1782.65/1783.26	v -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 x224 -x226 -x228 -x230 -x232 -x234 -x236
1782.65/1783.26	v -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278
1782.65/1783.26	v -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320
1782.65/1783.26	v -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362
1782.65/1783.26	v -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404
1782.65/1783.26	v -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446
1782.65/1783.26	v -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488
1782.65/1783.26	v -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530
1782.65/1783.26	v -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x571
1782.65/1783.26	v -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613
1782.65/1783.26	v -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655
1782.65/1783.26	v -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697
1782.65/1783.26	v -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738
1782.65/1783.26	v -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780
1782.65/1783.26	v -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822
1782.65/1783.26	v -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864
1782.65/1783.26	v -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x903 -x905
1782.65/1783.26	v -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947
1782.65/1783.26	v -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x988
1782.65/1783.26	v -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024
1782.65/1783.26	v -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058
1782.65/1783.26	v -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092
1782.65/1783.26	v -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126
1782.65/1783.26	v -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160
1782.65/1783.26	v -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194
1782.65/1783.26	v -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228
1782.65/1783.26	v -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1255 -x1257 -x1259 -x1261
1782.65/1783.26	v -x1263 -x1265 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293
1782.65/1783.26	v -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327
1782.65/1783.26	v -x1329 -x1331 -x1333 -x1335 -x1337 -x1338 -x1340 -x1342 -x1344 -x1346 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359
1782.65/1783.26	v -x1361 -x1363 -x1365 x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392
1782.65/1783.26	v -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 x1405 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424
1782.65/1783.26	v -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458
1782.65/1783.26	v -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492
1782.65/1783.26	v -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526
1782.65/1783.26	v -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560
1782.65/1783.26	v -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593
1782.65/1783.26	v -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627
1782.65/1783.26	v -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661
1782.65/1783.26	v -x1663 -x1665 -x1667 -x1669 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694
1782.65/1783.26	v -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1721 -x1723 -x1725 -x1727
1782.65/1783.26	v -x1729 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759
1782.65/1783.26	v -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793
1782.65/1783.26	v -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827
1782.65/1783.26	v -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1859
1782.65/1783.26	v -x1861 -x1863 -x1865 -x1867 -x1869 x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1889 -x1891
1782.65/1783.26	v -x1893 -x1895 -x1897 -x1899 -x1901 -x1902 -x1904 -x1906 x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923
1782.65/1783.26	v -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957
1782.65/1783.26	v -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991
1782.65/1783.26	v -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024
1782.65/1783.26	v -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058
1782.65/1783.26	v -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092
1782.65/1783.26	v -x2094 -x2096 -x2098 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125
1782.65/1783.26	v x2127 -x2129 -x2131 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158
1782.65/1783.26	v -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191
1782.65/1783.26	v -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2208 -x2210 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2222
1782.65/1783.26	v -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255
1782.65/1783.26	v -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289
1782.65/1783.26	v -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2320 -x2322
1782.65/1783.26	v -x2324 -x2326 -x2328 -x2330 -x2332 -x2333 -x2335 -x2336 -x2338 -x2340 -x2342 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353
1782.65/1783.26	v -x2355 -x2357 -x2359 x2360 -x2362 -x2363 -x2365 -x2367 -x2369 -x2371 x2373 x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386
1782.65/1783.26	v -x2388 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419
1782.65/1783.26	v -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453
1782.65/1783.26	v -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2484 -x2486
1782.65/1783.26	v -x2488 -x2490 -x2492 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2506 -x2508 x2510 -x2511 -x2513 -x2515 -x2516
1782.65/1783.26	v -x2518 -x2520 x2521 -x2523 -x2525 -x2526 -x2528 x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549
1782.65/1783.26	v -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583
1782.65/1783.26	v -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617
1782.65/1783.26	v -x2619 -x2621 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650
1782.65/1783.26	v -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684
1782.65/1783.26	v -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717
1782.65/1783.26	v -x2719 -x2721 -x2723 -x2725 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750
1782.65/1783.26	v -x2752 -x2754 -x2756 -x2758 -x2760 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783
1782.65/1783.26	v -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816
1782.65/1783.26	v -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850
1782.65/1783.26	v -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884
1782.65/1783.26	v -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917
1782.65/1783.26	v -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951
1782.65/1783.26	v -x2953 -x2955 -x2957 -x2959 -x2961 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2981 -x2983
1782.65/1783.26	v -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3014 -x3016
1782.65/1783.26	v -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050
1782.65/1783.26	v -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084
1782.65/1783.26	v -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117
1782.65/1783.26	v -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3131 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149
1782.65/1783.26	v -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182
1782.65/1783.26	v -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215
1782.65/1783.26	v -x3217 -x3219 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3247
1782.65/1783.26	v -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280
1782.65/1783.26	v -x3282 -x3284 -x3286 -x3288 -x3290 -x3291 -x3293 -x3295 -x3297 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3311
1782.65/1783.26	v -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3328 -x3330 -x3332 -x3334 -x3336 -x3337 -x3339 -x3340 -x3342
1782.65/1783.26	v -x3344 -x3346 -x3348 -x3350 -x3351 -x3353 -x3355 -x3357 -x3359 -x3360 x3361 -x3363 -x3364 -x3366 -x3367 -x3369 -x3370
1782.65/1783.26	v -x3372 -x3374 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3394 -x3396 -x3398 -x3399 -x3401
1782.65/1783.26	v -x3403 -x3405 -x3407 -x3409 -x3411 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 x3430 -x3432 -x3434
1782.65/1783.26	v -x3436 -x3438 -x3440 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3452 -x3454 -x3456 -x3458 -x3459 -x3461 -x3463 -x3464
1782.65/1783.26	v -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488 -x3490 -x3492 -x3493 -x3495 -x3497
1782.65/1783.26	v -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531
1782.65/1783.26	v -x3533 -x3535 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3547 -x3549 -x3551 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562
1782.65/1783.26	v -x3564 -x3565 -x3566 -x3568 -x3570 -x3571 -x3572 -x3573 -x3575 -x3576 -x3577 -x3579 -x3581 -x3583 -x3584 -x3585 -x3586
1782.65/1783.26	v -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3615 -x3616 -x3618
1782.65/1783.26	v -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3631 -x3632 -x3634 -x3636 -x3638 -x3640 -x3641 -x3642 -x3644 -x3646 -x3647
1782.65/1783.26	v -x3649 -x3651 -x3652 -x3654 -x3655 -x3657 -x3658 -x3659 -x195 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215
1782.65/1783.26	v -x217 -x219 -x221 x223 -x225 -x227 -x229 -x231 -x233 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257
1782.65/1783.26	v -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299
1782.65/1783.26	v -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341
1782.65/1783.26	v -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383
1782.65/1783.26	v -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425
1782.65/1783.26	v -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x1 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465
1782.65/1783.26	v -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507
1782.65/1783.26	v -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549
1782.65/1783.26	v -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x572 -x574 -x2 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590
1782.65/1783.26	v -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632
1782.65/1783.26	v -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674
1782.65/1783.26	v -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x3 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x715
1782.65/1783.26	v -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757
1782.65/1783.26	v -x759 -x4 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797
1782.65/1783.26	v -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839
1782.65/1783.26	v -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881
1782.65/1783.26	v -x5 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922
1782.65/1783.26	v -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x6 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962
1782.65/1783.26	v -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x989 -x991 -x993 -x995 -x997 -x999 -x7 -x1001 -x1003
1782.65/1783.26	v -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x8 -x1031 -x1033 -x1035 -x1037
1782.65/1783.26	v -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071
1782.65/1783.26	v -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105
1782.65/1783.26	v -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139
1782.65/1783.26	v -x1141 -x1143 -x1145 -x9 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173
1782.65/1783.26	v -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x10 -x1203 -x1205 -x1207
1782.65/1783.26	v -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241
1782.65/1783.26	v -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1256 -x1258 -x11 -x1260 -x1262 -x1264 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277
1782.65/1783.26	v -x1279 -x1282 -x1284 -x12 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312
1782.65/1783.26	v -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1339 -x13 -x1341 -x1343 -x1345 -x1348
1782.65/1783.26	v -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 x14 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383
1782.65/1783.26	v -x1385 -x1387 -x1389 -x1391 -x1393 x15 -x1395 -x1397 -x1399 -x1401 -x1403 -x16 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417
1782.65/1783.26	v -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451
1782.65/1783.26	v -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485
1782.65/1783.26	v -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519
1782.65/1783.26	v -x1521 -x1523 -x17 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553
1782.65/1783.26	v -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1574 -x1576 -x18 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588
1782.65/1783.26	v -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622
1782.65/1783.26	v -x1624 -x1626 -x1628 -x19 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x20
1782.65/1783.26	v -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689
1782.65/1783.26	v -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x21 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1722 -x1724
1782.65/1783.26	v -x1726 -x1728 -x1731 -x22 -x1733 -x1735 -x1737 -x1739 -x1741 -x1744 -x1746 -x1748 -x23 -x1750 -x1752 -x1754 -x1756 -x1758
1782.65/1783.26	v -x1760 -x24 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792
1782.65/1783.26	v -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x25 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826
1782.65/1783.26	v -x1828 -x1830 -x1832 -x26 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1847 -x1849 -x1851 -x27 -x1853 -x1855 -x1857 -x1860
1782.65/1783.26	v x28 -x1862 -x1864 -x1866 -x1868 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x29 -x1885 -x1887 -x1890 -x1892 -x1894
1782.65/1783.26	v -x30 -x1896 -x1898 -x1900 -x1903 x31 -x1905 -x1908 -x32 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926
1782.65/1783.26	v -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960
1782.65/1783.26	v -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1993 -x1995
1782.65/1783.26	v -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x33 -x2023 -x2025 -x2027 -x2029
1782.65/1783.26	v -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063
1782.65/1783.26	v -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x34 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097
1782.65/1783.26	v -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 x2126 -x2128 -x2130 -x2133
1782.65/1783.26	v -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x35 -x2151 -x2153 -x2155 -x2157 -x2160 -x2162 -x2164 -x2166 -x2168
1782.65/1783.26	v -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x36 -x2198 -x2200 -x2202
1782.65/1783.26	v -x2204 -x2206 -x2209 -x2212 -x2214 -x2216 -x37 -x2218 -x2220 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x38 -x2238
1782.65/1783.26	v -x2240 -x2242 -x2244 -x2246 -x39 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272
1782.65/1783.26	v -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x40 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306
1782.65/1783.26	v -x2308 -x2310 -x41 -x2312 -x2314 -x2316 -x2318 -x2321 -x2323 -x2325 -x2327 -x2329 -x42 -x2331 -x2334 -x2337 -x43 -x2339
1782.65/1783.26	v -x2341 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 x44 -x2356 -x2358 -x2361 -x45 -x2364 -x2366 -x2368 -x2370 x2372 x46 -x47
1782.65/1783.26	v -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408
1782.65/1783.26	v -x2410 -x2412 -x2414 -x2416 -x2418 -x48 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x49 -x2436 -x2438 -x2440
1782.65/1783.26	v -x2442 -x2444 -x2446 -x2448 -x2450 -x50 -x2452 -x2454 -x2456 -x51 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472
1782.65/1783.26	v -x2474 -x52 -x2476 -x2478 -x2480 -x2482 -x53 -x2485 -x54 -x55 -x2487 -x2489 -x2491 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504
1782.65/1783.26	v x56 -x2507 x2509 -x57 -x2512 -x2514 -x58 -x2517 -x2519 x59 -x2522 -x2524 -x60 -x2527 x61 x62 -x2530 -x63 -x2532 -x2534 -x2536
1782.65/1783.26	v -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570
1782.65/1783.26	v -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604
1782.65/1783.26	v -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x64 -x2639
1782.65/1783.26	v -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673
1782.65/1783.26	v -x2675 -x2677 -x2679 -x2681 -x2683 -x65 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2700 -x2702 -x2704 -x2706 -x2708
1782.65/1783.26	v -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x66 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x67 -x2739 -x2741
1782.65/1783.26	v -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776
1782.65/1783.26	v -x2778 -x68 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x69 -x2794 -x2796 -x2798 -x2800 -x2802 -x2805 -x2807 x70
1782.65/1783.26	v -x2809 -x2811 -x2813 -x2815 -x71 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841
1782.65/1783.26	v -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875
1782.65/1783.26	v -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910
1782.65/1783.26	v -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x72 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944
1782.65/1783.26	v -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2963 -x2965 -x2967 -x2969 -x73 -x2971 -x2973 -x2975 -x2977 -x2979
1782.65/1783.26	v -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x74 -x3008 -x3010 -x3012 -x3015
1782.65/1783.26	v -x3017 -x3019 -x75 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049
1782.65/1783.26	v -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x76 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x77 -x3077 -x3079 -x3081
1782.65/1783.26	v -x3083 -x3085 -x78 -x3087 -x3089 -x79 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3106 -x3108 -x3110 -x3112 -x3114
1782.65/1783.26	v -x3116 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x3132 -x3134 -x80 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150
1782.65/1783.26	v -x3152 -x3154 -x3156 -x3158 -x3160 -x81 -x3162 -x3164 -x3166 -x3168 -x82 -x3171 -x3173 -x3175 -x3177 -x83 -x3179 -x3181
1782.65/1783.26	v -x3183 -x3185 -x84 -x85 -x3187 -x3189 -x3191 -x3193 -x3196 x86 -x3198 -x3200 -x3202 -x87 -x3204 -x88 -x89 -x3206 x90 -x3208
1782.65/1783.26	v -x91 -x3210 -x3212 -x3214 -x3216 -x3218 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243
1782.65/1783.26	v -x3245 -x3248 -x3250 -x92 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x93 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x94
1782.65/1783.26	v -x3277 -x3279 -x95 -x3281 -x3283 -x3285 -x3287 -x3289 -x3292 x96 -x3294 -x97 -x3296 x98 -x99 -x3299 -x3301 -x3303 -x3305
1782.65/1783.26	v -x3307 -x3309 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3329 -x3331 -x3333 -x3335 -x100 -x3338 -x3341
1782.65/1783.26	v -x3343 -x3345 -x3347 -x3349 -x101 -x3352 -x3354 -x3356 -x102 -x3358 x103 -x3362 -x3365 -x104 -x3368 -x105 -x106 -x107 -x3371
1782.65/1783.26	v -x3373 -x3376 -x3378 -x3380 -x108 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x109 x110 -x111 -x112 -x113 -x3395 -x3397
1782.65/1783.26	v x114 -x3400 -x115 x116 x117 x118 -x3402 -x3404 -x3406 -x3408 -x3410 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427
1782.65/1783.26	v x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3442 -x3444 -x3446 -x3448 -x3450 -x119 -x3453 -x3455 -x3457 -x3460 -x3462 -x120
1782.65/1783.26	v -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x121 -x3477 x122 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3494 -x3496
1782.65/1783.26	v -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x123 -x3514 -x3516 -x3518 -x124 -x3520 -x3522 -x3524 x125 -x126
1782.65/1783.26	v -x3526 -x127 -x128 x129 -x3528 -x3530 -x3532 -x3534 -x3537 -x3539 -x130 x131 -x3541 x132 -x3543 -x133 -x3545 -x3548 -x3550
1782.65/1783.26	v -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3567 -x134 -x3569 -x135 -x3574 -x136 -x137 -x3578 -x3580 -x3582 -x138 -x139
1782.65/1783.26	v x140 -x141 -x3587 -x3589 -x3591 -x3593 -x3595 x142 -x3597 -x143 -x144 x145 -x146 x147 x148 x149 x150 x151 -x152 -x3599 -x3601
1782.65/1783.26	v -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3617 -x153 -x3619 x154 -x3621 -x3623 x155 x156 -x3625 -x3627 -x157 -x3629 x158
1782.65/1783.26	v -x159 -x3633 -x3635 x160 -x3637 -x161 -x3639 -x162 x163 x164 -x165 -x3643 -x166 x167 -x168 -x169 -x170 x171 x172 x173 x174
1782.65/1783.26	v x175 -x3645 -x176 -x177 x178 -x3648 -x3650 x179 -x180 x181 -x3653 -x3656 -x182 x183 x184 x185 x186 x187 -x188 -x189 x190 x191
1782.65/1783.26	v x192 x193 x194

Verifier Data (download as text)

OK	14

Conversion Script Data (download as text)

/tmp/evaluation/372934-1177147663/instance-372934-1177147663.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/node74/watcher-372934-1177147663 -o ROOT/results/node74/solver-372934-1177147663 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/372934-1177147663/instance-372934-1177147663.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 0.99 0.99 3/66 14377
/proc/meminfo: memFree=1663568/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=2552 CPUtime=0
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 162681028 2613248 230 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 10223319 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 638 232 193 16 0 77 0

[startup+0.028567 s]
/proc/loadavg: 0.93 0.99 0.99 3/66 14377
/proc/meminfo: memFree=1663568/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=3084 CPUtime=0.02
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 391 0 0 0 2 0 0 0 18 0 1 0 162681028 3158016 361 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 10223319 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 771 361 199 16 0 210 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3084

[startup+0.101574 s]
/proc/loadavg: 0.93 0.99 0.99 3/66 14377
/proc/meminfo: memFree=1663568/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=4016 CPUtime=0.09
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 622 0 0 0 9 0 0 0 18 0 1 0 162681028 4112384 592 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 10223319 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 1004 594 199 16 0 443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4016

[startup+0.301597 s]
/proc/loadavg: 0.93 0.99 0.99 3/66 14377
/proc/meminfo: memFree=1663568/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=5056 CPUtime=0.29
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 887 0 0 0 28 1 0 0 19 0 1 0 162681028 5177344 857 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 1264 857 205 16 0 703 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5056

[startup+0.701643 s]
/proc/loadavg: 0.93 0.99 0.99 3/66 14377
/proc/meminfo: memFree=1663568/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=5056 CPUtime=0.69
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 887 0 0 0 67 2 0 0 22 0 1 0 162681028 5177344 857 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 1264 857 205 16 0 703 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5056

[startup+1.50174 s]
/proc/loadavg: 0.93 0.99 0.99 2/67 14378
/proc/meminfo: memFree=1660936/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=5056 CPUtime=1.48
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 887 0 0 0 146 2 0 0 25 0 1 0 162681028 5177344 857 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 1264 857 205 16 0 703 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 5056

[startup+3.10192 s]
/proc/loadavg: 0.93 0.99 0.99 2/67 14378
/proc/meminfo: memFree=1660744/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=5552 CPUtime=3.09
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 1034 0 0 0 305 4 0 0 25 0 1 0 162681028 5685248 1004 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 1388 1004 205 16 0 827 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5552

[startup+6.30129 s]
/proc/loadavg: 0.93 0.99 0.99 2/67 14378
/proc/meminfo: memFree=1659656/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=6084 CPUtime=6.28
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 1140 0 0 0 620 8 0 0 25 0 1 0 162681028 6230016 1110 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 1521 1110 205 16 0 960 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 6084

[startup+12.701 s]
/proc/loadavg: 0.94 0.99 0.99 2/67 14378
/proc/meminfo: memFree=1659280/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=6464 CPUtime=12.68
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 1236 0 0 0 1252 16 0 0 25 0 1 0 162681028 6619136 1206 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 1616 1206 205 16 0 1055 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 6464

[startup+25.5015 s]
/proc/loadavg: 0.95 0.99 0.99 2/67 14378
/proc/meminfo: memFree=1658384/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=7216 CPUtime=25.49
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 1441 0 0 0 2524 25 0 0 25 0 1 0 162681028 7389184 1411 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 1804 1411 205 16 0 1243 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 7216

[startup+51.1015 s]
/proc/loadavg: 0.97 0.99 0.99 2/67 14378
/proc/meminfo: memFree=1658064/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=7628 CPUtime=51.08
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 1523 0 0 0 5055 53 0 0 25 0 1 0 162681028 7811072 1493 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 1907 1493 205 16 0 1346 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 7628

[startup+102.305 s]
/proc/loadavg: 0.98 0.99 0.99 2/67 14378
/proc/meminfo: memFree=1656464/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=9292 CPUtime=102.26
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 1929 0 0 0 10131 95 0 0 25 0 1 0 162681028 9515008 1899 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 2323 1899 205 16 0 1762 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 9292

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 14378
/proc/meminfo: memFree=1655376/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=10496 CPUtime=162.24
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 2202 0 0 0 16083 141 0 0 25 0 1 0 162681028 10747904 2172 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 2624 2172 205 16 0 2063 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 10496

[startup+222.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 14378
/proc/meminfo: memFree=1655248/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=10496 CPUtime=222.21
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 2226 0 0 0 22037 184 0 0 25 0 1 0 162681028 10747904 2196 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 2624 2196 205 16 0 2063 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 10496

[startup+282.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 14378
/proc/meminfo: memFree=1651536/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=14312 CPUtime=282.2
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3148 0 0 0 28006 214 0 0 25 0 1 0 162681028 14655488 3118 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 3578 3118 205 16 0 3017 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 14312

[startup+342.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 14378
/proc/meminfo: memFree=1651472/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=14312 CPUtime=342.18
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3153 0 0 0 33965 253 0 0 25 0 1 0 162681028 14655488 3123 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 3578 3123 205 16 0 3017 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 14312

[startup+402.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 14378
/proc/meminfo: memFree=1651408/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=14312 CPUtime=402.16
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3154 0 0 0 39930 286 0 0 25 0 1 0 162681028 14655488 3124 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 3578 3124 205 16 0 3017 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 14312

[startup+462.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 14378
/proc/meminfo: memFree=1651408/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=14312 CPUtime=462.15
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3155 0 0 0 45900 315 0 0 25 0 1 0 162681028 14655488 3125 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 3578 3125 205 16 0 3017 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 14312

[startup+522.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 14378
/proc/meminfo: memFree=1651408/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=14312 CPUtime=522.13
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3157 0 0 0 51863 350 0 0 25 0 1 0 162681028 14655488 3127 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 3578 3127 205 16 0 3017 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 14312

[startup+582.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 14378
/proc/meminfo: memFree=1651408/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=14312 CPUtime=582.12
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3158 0 0 0 57827 385 0 0 25 0 1 0 162681028 14655488 3128 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 3578 3128 205 16 0 3017 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 14312

[startup+642.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 14378
/proc/meminfo: memFree=1651408/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=14312 CPUtime=642.1
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3158 0 0 0 63792 418 0 0 25 0 1 0 162681028 14655488 3128 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558837 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 3578 3128 205 16 0 3017 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 14312


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

/proc/meminfo: memFree=1651408/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=14312 CPUtime=882.02
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3162 0 0 0 87633 569 0 0 25 0 1 0 162681028 14655488 3132 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 3578 3132 205 16 0 3017 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 14312

[startup+942.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 14380
/proc/meminfo: memFree=1651216/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=14440 CPUtime=942.01
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3195 0 0 0 93583 618 0 0 25 0 1 0 162681028 14786560 3165 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 3610 3165 205 16 0 3049 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 14440

[startup+1002.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 14380
/proc/meminfo: memFree=1650832/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=14840 CPUtime=1001.99
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3302 0 0 0 99523 676 0 0 25 0 1 0 162681028 15196160 3272 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 3710 3272 205 16 0 3149 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 14840

[startup+1062.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 14380
/proc/meminfo: memFree=1650768/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=14840 CPUtime=1061.97
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3320 0 0 0 105464 733 0 0 25 0 1 0 162681028 15196160 3290 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 3710 3290 205 16 0 3149 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 14840

[startup+1122.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 14380
/proc/meminfo: memFree=1650512/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=15172 CPUtime=1121.95
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3382 0 0 0 111416 779 0 0 25 0 1 0 162681028 15536128 3352 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134556352 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 3793 3352 205 16 0 3232 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 15172

[startup+1182.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 14380
/proc/meminfo: memFree=1650256/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=15444 CPUtime=1181.93
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3445 0 0 0 117373 820 0 0 25 0 1 0 162681028 15814656 3415 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 3861 3415 205 16 0 3300 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 15444

[startup+1242.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 14380
/proc/meminfo: memFree=1650256/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=15444 CPUtime=1241.92
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3446 0 0 0 123330 862 0 0 25 0 1 0 162681028 15814656 3416 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 3861 3416 205 16 0 3300 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 15444

[startup+1302.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 14380
/proc/meminfo: memFree=1650256/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=15444 CPUtime=1301.9
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3448 0 0 0 129286 904 0 0 25 0 1 0 162681028 15814656 3418 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 3861 3418 205 16 0 3300 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 15444

[startup+1362.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 14380
/proc/meminfo: memFree=1650064/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=15732 CPUtime=1361.88
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3502 0 0 0 135244 944 0 0 25 0 1 0 162681028 16109568 3472 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 3933 3472 205 16 0 3372 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 15732

[startup+1422.31 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 14380
/proc/meminfo: memFree=1650000/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=15732 CPUtime=1421.87
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3503 0 0 0 141199 988 0 0 25 0 1 0 162681028 16109568 3473 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 3933 3473 205 16 0 3372 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 15732

[startup+1482.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 14380
/proc/meminfo: memFree=1650000/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=15732 CPUtime=1481.85
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3510 0 0 0 147152 1033 0 0 25 0 1 0 162681028 16109568 3480 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 3933 3480 205 16 0 3372 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 15732

[startup+1542.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 14380
/proc/meminfo: memFree=1649616/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=16260 CPUtime=1541.83
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3611 0 0 0 153116 1067 0 0 25 0 1 0 162681028 16650240 3581 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 4065 3581 205 16 0 3504 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 16260

[startup+1602.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 14380
/proc/meminfo: memFree=1649616/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=16232 CPUtime=1601.82
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3619 0 0 0 159075 1107 0 0 25 0 1 0 162681028 16621568 3589 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 4058 3589 205 16 0 3497 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 16232

[startup+1662.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 14380
/proc/meminfo: memFree=1649552/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=16212 CPUtime=1661.8
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3622 0 0 0 165040 1140 0 0 25 0 1 0 162681028 16601088 3592 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 4053 3592 205 16 0 3492 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 16212

[startup+1722.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 14380
/proc/meminfo: memFree=1649488/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=16200 CPUtime=1721.77
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3628 0 0 0 170999 1178 0 0 25 0 1 0 162681028 16588800 3598 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 4050 3598 205 16 0 3489 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 16200

[startup+1782.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 14380
/proc/meminfo: memFree=1648464/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=17372 CPUtime=1781.76
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3897 0 0 0 176958 1218 0 0 25 0 1 0 162681028 17788928 3867 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 4343 3867 205 16 0 3782 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 17372

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

[startup+1782.7 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 14380
/proc/meminfo: memFree=1648464/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=17372 CPUtime=1782.16
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3897 0 0 0 176998 1218 0 0 25 0 1 0 162681028 17788928 3867 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 4343 3867 205 16 0 3782 0
Current children cumulated CPU time (s) 1782.16
Current children cumulated vsize (KiB) 17372

[startup+1783.11 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 14380
/proc/meminfo: memFree=1648464/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=17372 CPUtime=1782.56
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3897 0 0 0 177038 1218 0 0 25 0 1 0 162681028 17788928 3867 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 4343 3867 205 16 0 3782 0
Current children cumulated CPU time (s) 1782.56
Current children cumulated vsize (KiB) 17372

[startup+1783.2 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 14380
/proc/meminfo: memFree=1648464/2055920 swapFree=4183056/4192956
[pid=14377] ppid=14375 vsize=17372 CPUtime=1782.65
/proc/14377/stat : 14377 (Pueblo) R 14375 14377 13629 0 -1 4194304 3897 0 0 0 177047 1218 0 0 25 0 1 0 162681028 17788928 3867 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14377/statm: 4343 3867 205 16 0 3782 0
Current children cumulated CPU time (s) 1782.65
Current children cumulated vsize (KiB) 17372

Child status: 10
Real time (s): 1783.27
CPU time (s): 1782.73
CPU user time (s): 1770.54
CPU system time (s): 12.1921
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 17372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1770.54
system time used= 12.1921
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3904
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= 16
involuntary context switches= 2815

runsolver used 1.2848 second user time and 3.87341 second system time

The end

Launcher Data (download as text)

Begin job on node74 on Sat Apr 21 09:27:43 UTC 2007

IDJOB= 372934
IDBENCH= 25007
IDSOLVER= 165
FILE ID= node74/372934-1177147663

PBS_JOBID= 4648853

Free space on /tmp= 103203 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir05_area_delay.opb
COMMAND LINE= Pueblo /tmp/evaluation/372934-1177147663/instance-372934-1177147663.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node74/convwatcher-372934-1177147663 -o ROOT/results/node74/conversion-372934-1177147663 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372934-1177147663/instance-372934-1177147663.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  b0c7ff7d1fa11c8e15b9d528879223a9

RANDOM SEED= 952795323

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node74.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.213
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.213
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:       1664040 kB
Buffers:         59496 kB
Cached:         258100 kB
SwapCached:       3024 kB
Active:         168388 kB
Inactive:       160356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1664040 kB
SwapTotal:     4192956 kB
SwapFree:      4183056 kB
Dirty:            2556 kB
Writeback:           0 kB
Mapped:          15936 kB
Slab:            48948 kB
Committed_AS:  3923244 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 103203 MiB

End job on node74 on Sat Apr 21 09:57:26 UTC 2007