Trace number 372892

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.4SAT11 1782.73 1783.55

General information on the benchmark

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

Verifier Data (download as text)

OK	11

Conversion Script Data (download as text)

/tmp/evaluation/372892-1177145850/instance-372892-1177145850.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/node10/watcher-372892-1177145850 -o ROOT/results/node10/solver-372892-1177145850 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/372892-1177145850/instance-372892-1177145850.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.92 0.98 0.99 3/77 13196
/proc/meminfo: memFree=1688456/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=2552 CPUtime=0
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 190622499 2613248 230 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 9371351 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 638 230 193 16 0 77 0

[startup+0.00991597 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 13196
/proc/meminfo: memFree=1688456/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=2684 CPUtime=0
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 190622499 2748416 267 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 9371351 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 671 267 193 16 0 110 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2684

[startup+0.101934 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 13196
/proc/meminfo: memFree=1688456/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=3884 CPUtime=0.09
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 618 0 0 0 9 0 0 0 18 0 1 0 190622499 3977216 588 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 9371351 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 971 588 199 16 0 410 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3884

[startup+0.301978 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 13196
/proc/meminfo: memFree=1688456/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=5084 CPUtime=0.29
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 893 0 0 0 29 0 0 0 19 0 1 0 190622499 5206016 863 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 1271 863 205 16 0 710 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5084

[startup+0.701065 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 13196
/proc/meminfo: memFree=1688456/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=5084 CPUtime=0.69
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 893 0 0 0 68 1 0 0 23 0 1 0 190622499 5206016 863 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 1271 863 205 16 0 710 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5084

[startup+1.50123 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 13197
/proc/meminfo: memFree=1685824/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=5084 CPUtime=1.49
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 893 0 0 0 148 1 0 0 25 0 1 0 190622499 5206016 863 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134519989 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 1271 863 205 16 0 710 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5084

[startup+3.10158 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 13197
/proc/meminfo: memFree=1685632/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=5464 CPUtime=3.09
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 1007 0 0 0 307 2 0 0 25 0 1 0 190622499 5595136 977 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 1366 977 205 16 0 805 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5464

[startup+6.30227 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 13197
/proc/meminfo: memFree=1684800/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=6216 CPUtime=6.29
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 1173 0 0 0 624 5 0 0 25 0 1 0 190622499 6365184 1143 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 1554 1143 205 16 0 993 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6216

[startup+12.7017 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 13197
/proc/meminfo: memFree=1684160/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=6472 CPUtime=12.68
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 1228 0 0 0 1259 9 0 0 25 0 1 0 190622499 6627328 1198 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 1618 1198 205 16 0 1057 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 6472

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 13197
/proc/meminfo: memFree=1682496/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=8012 CPUtime=25.48
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 1640 0 0 0 2531 17 0 0 25 0 1 0 190622499 8204288 1610 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 2003 1610 205 16 0 1442 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 8012

[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 13197
/proc/meminfo: memFree=1681152/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=9436 CPUtime=51.07
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 1991 0 0 0 5077 30 0 0 25 0 1 0 190622499 9662464 1961 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559515 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 2359 1961 205 16 0 1798 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 9436

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 13197
/proc/meminfo: memFree=1680256/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=10536 CPUtime=102.25
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 2211 0 0 0 10176 49 0 0 25 0 1 0 190622499 10788864 2181 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 2634 2181 205 16 0 2073 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 10536

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13197
/proc/meminfo: memFree=1679616/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=11040 CPUtime=162.23
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 2368 0 0 0 16144 79 0 0 25 0 1 0 190622499 11304960 2338 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 2760 2338 205 16 0 2199 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 11040

[startup+222.302 s]
/proc/loadavg: 1.22 1.03 1.01 2/84 13271
/proc/meminfo: memFree=1676856/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=12420 CPUtime=222.17
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 2708 0 0 0 22110 107 0 0 25 0 1 0 190622499 12718080 2678 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 3105 2678 205 16 0 2544 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 12420

[startup+282.302 s]
/proc/loadavg: 1.08 1.02 1.00 2/78 13395
/proc/meminfo: memFree=1677824/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=12552 CPUtime=282.07
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 2717 0 0 0 28082 125 0 0 25 0 1 0 190622499 12853248 2687 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 3138 2687 205 16 0 2577 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 12552

[startup+342.302 s]
/proc/loadavg: 1.03 1.02 1.00 2/78 13395
/proc/meminfo: memFree=1676736/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=13720 CPUtime=342.04
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 3021 0 0 0 34060 144 0 0 25 0 1 0 190622499 14049280 2991 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559515 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 3430 2991 205 16 0 2869 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 13720

[startup+402.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 13395
/proc/meminfo: memFree=1675968/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=14544 CPUtime=402.02
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 3211 0 0 0 40033 169 0 0 25 0 1 0 190622499 14893056 3181 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 9336753 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 3636 3181 205 16 0 3075 0
Current children cumulated CPU time (s) 402.02
Current children cumulated vsize (KiB) 14544

[startup+462.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 13395
/proc/meminfo: memFree=1676032/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=14544 CPUtime=462
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 3212 0 0 0 46001 199 0 0 25 0 1 0 190622499 14893056 3182 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 3636 3182 205 16 0 3075 0
Current children cumulated CPU time (s) 462
Current children cumulated vsize (KiB) 14544

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13395
/proc/meminfo: memFree=1675520/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=15032 CPUtime=521.97
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 3334 0 0 0 51966 231 0 0 25 0 1 0 190622499 15392768 3304 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558939 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 3758 3304 205 16 0 3197 0
Current children cumulated CPU time (s) 521.97
Current children cumulated vsize (KiB) 15032

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13395
/proc/meminfo: memFree=1673792/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=16772 CPUtime=581.95
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 3773 0 0 0 57940 255 0 0 25 0 1 0 190622499 17174528 3743 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 4193 3743 205 16 0 3632 0
Current children cumulated CPU time (s) 581.95
Current children cumulated vsize (KiB) 16772

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13395
/proc/meminfo: memFree=1673792/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=16772 CPUtime=641.93
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 3773 0 0 0 63913 280 0 0 25 0 1 0 190622499 17174528 3743 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558652 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 4193 3743 205 16 0 3632 0
Current children cumulated CPU time (s) 641.93
Current children cumulated vsize (KiB) 16772


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

/proc/meminfo: memFree=1673664/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=17024 CPUtime=821.86
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 3819 0 0 0 81833 353 0 0 25 0 1 0 190622499 17432576 3789 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559596 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 4256 3789 205 16 0 3695 0
Current children cumulated CPU time (s) 821.86
Current children cumulated vsize (KiB) 17024

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13395
/proc/meminfo: memFree=1672192/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=18516 CPUtime=881.84
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4201 0 0 0 87812 372 0 0 25 0 1 0 190622499 18960384 4171 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 4629 4171 205 16 0 4068 0
Current children cumulated CPU time (s) 881.84
Current children cumulated vsize (KiB) 18516

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13395
/proc/meminfo: memFree=1672128/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=18444 CPUtime=941.81
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4202 0 0 0 93790 391 0 0 25 0 1 0 190622499 18886656 4170 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558925 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 4611 4170 205 16 0 4050 0
Current children cumulated CPU time (s) 941.81
Current children cumulated vsize (KiB) 18444

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13395
/proc/meminfo: memFree=1672128/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=18432 CPUtime=1001.78
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4204 0 0 0 99763 415 0 0 25 0 1 0 190622499 18874368 4169 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558821 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 4608 4169 205 16 0 4047 0
Current children cumulated CPU time (s) 1001.78
Current children cumulated vsize (KiB) 18432

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13395
/proc/meminfo: memFree=1672128/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=18368 CPUtime=1061.76
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4208 0 0 0 105731 445 0 0 25 0 1 0 190622499 18808832 4157 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 4592 4157 205 16 0 4031 0
Current children cumulated CPU time (s) 1061.76
Current children cumulated vsize (KiB) 18368

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13395
/proc/meminfo: memFree=1672192/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=18368 CPUtime=1121.74
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4209 0 0 0 111703 471 0 0 25 0 1 0 190622499 18808832 4158 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 4592 4158 205 16 0 4031 0
Current children cumulated CPU time (s) 1121.74
Current children cumulated vsize (KiB) 18368

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13395
/proc/meminfo: memFree=1672256/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=18368 CPUtime=1181.72
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4211 0 0 0 117674 498 0 0 25 0 1 0 190622499 18808832 4160 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 4592 4160 205 16 0 4031 0
Current children cumulated CPU time (s) 1181.72
Current children cumulated vsize (KiB) 18368

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13395
/proc/meminfo: memFree=1672192/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=18368 CPUtime=1241.69
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4214 0 0 0 123646 523 0 0 25 0 1 0 190622499 18808832 4163 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559578 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 4592 4163 205 16 0 4031 0
Current children cumulated CPU time (s) 1241.69
Current children cumulated vsize (KiB) 18368

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13395
/proc/meminfo: memFree=1672256/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=18368 CPUtime=1301.67
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4215 0 0 0 129612 555 0 0 25 0 1 0 190622499 18808832 4164 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 4592 4164 205 16 0 4031 0
Current children cumulated CPU time (s) 1301.67
Current children cumulated vsize (KiB) 18368

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13395
/proc/meminfo: memFree=1672256/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=18368 CPUtime=1361.65
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4216 0 0 0 135572 593 0 0 25 0 1 0 190622499 18808832 4165 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 4592 4165 205 16 0 4031 0
Current children cumulated CPU time (s) 1361.65
Current children cumulated vsize (KiB) 18368

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13395
/proc/meminfo: memFree=1672000/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=18640 CPUtime=1421.62
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4274 0 0 0 141545 617 0 0 25 0 1 0 190622499 19087360 4223 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134553149 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 4660 4223 205 16 0 4099 0
Current children cumulated CPU time (s) 1421.62
Current children cumulated vsize (KiB) 18640

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13395
/proc/meminfo: memFree=1671616/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=19176 CPUtime=1481.6
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4377 0 0 0 147516 644 0 0 25 0 1 0 190622499 19636224 4326 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 4794 4326 205 16 0 4233 0
Current children cumulated CPU time (s) 1481.6
Current children cumulated vsize (KiB) 19176

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13395
/proc/meminfo: memFree=1671552/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=19324 CPUtime=1541.57
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4402 0 0 0 153479 678 0 0 25 0 1 0 190622499 19787776 4351 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 4831 4351 205 16 0 4270 0
Current children cumulated CPU time (s) 1541.57
Current children cumulated vsize (KiB) 19324

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13395
/proc/meminfo: memFree=1671488/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=19324 CPUtime=1601.55
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4402 0 0 0 159445 710 0 0 25 0 1 0 190622499 19787776 4351 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 4831 4351 205 16 0 4270 0
Current children cumulated CPU time (s) 1601.55
Current children cumulated vsize (KiB) 19324

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13395
/proc/meminfo: memFree=1671488/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=19324 CPUtime=1661.53
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4402 0 0 0 165412 741 0 0 25 0 1 0 190622499 19787776 4351 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 4831 4351 205 16 0 4270 0
Current children cumulated CPU time (s) 1661.53
Current children cumulated vsize (KiB) 19324

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13395
/proc/meminfo: memFree=1669504/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=21260 CPUtime=1721.51
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4905 0 0 0 171383 768 0 0 25 0 1 0 190622499 21770240 4854 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559548 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 5315 4854 205 16 0 4754 0
Current children cumulated CPU time (s) 1721.51
Current children cumulated vsize (KiB) 21260

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13395
/proc/meminfo: memFree=1669504/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=21184 CPUtime=1781.48
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4905 0 0 0 177352 796 0 0 25 0 1 0 190622499 21692416 4847 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527973 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 5296 4847 205 16 0 4735 0
Current children cumulated CPU time (s) 1781.48
Current children cumulated vsize (KiB) 21184

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

[startup+1783.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13395
/proc/meminfo: memFree=1669504/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=21184 CPUtime=1782.28
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4905 0 0 0 177432 796 0 0 25 0 1 0 190622499 21692416 4847 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 5296 4847 205 16 0 4735 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 21184

[startup+1783.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13395
/proc/meminfo: memFree=1669504/2055920 swapFree=4152380/4192956
[pid=13196] ppid=13194 vsize=21176 CPUtime=1782.67
/proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4905 0 0 0 177471 796 0 0 25 0 1 0 190622499 21684224 4845 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13196/statm: 5294 4845 205 16 0 4733 0
Current children cumulated CPU time (s) 1782.67
Current children cumulated vsize (KiB) 21176

Child status: 10
Real time (s): 1783.55
CPU time (s): 1782.73
CPU user time (s): 1774.76
CPU system time (s): 7.97379
CPU usage (%): 99.9544
Max. virtual memory (cumulated for all children) (KiB): 21312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1774.76
system time used= 7.97379
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4912
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= 37089

runsolver used 1.9477 second user time and 4.07138 second system time

The end

Launcher Data (download as text)

Begin job on node10 on Sat Apr 21 08:57:30 UTC 2007

IDJOB= 372892
IDBENCH= 25004
IDSOLVER= 165
FILE ID= node10/372892-1177145850

PBS_JOBID= 4648837

Free space on /tmp= 66270 MiB

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

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

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  2b747b2caed6577698c928a521fdc3c2

RANDOM SEED= 392981987

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node10.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.259
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.259
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:       1688928 kB
Buffers:         38880 kB
Cached:         253020 kB
SwapCached:       8864 kB
Active:         130948 kB
Inactive:       184196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1688928 kB
SwapTotal:     4192956 kB
SwapFree:      4152380 kB
Dirty:            2588 kB
Writeback:           0 kB
Mapped:          30244 kB
Slab:            37448 kB
Committed_AS:  3638136 kB
PageTables:       1708 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= 66270 MiB

End job on node10 on Sat Apr 21 09:27:14 UTC 2007