Trace number 372318

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.4SAT11486 1782.74 1783.3

General information on the benchmark

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

Verifier Data (download as text)

OK	11486

Conversion Script Data (download as text)

/tmp/evaluation/372318-1177087551/instance-372318-1177087551.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/node45/watcher-372318-1177087551 -o ROOT/results/node45/solver-372318-1177087551 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/372318-1177087551/instance-372318-1177087551.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: 1.00 1.00 1.00 3/77 10067
/proc/meminfo: memFree=1793416/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=2552 CPUtime=0
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 63600703 2613248 232 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 5193431 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 638 232 193 16 0 77 0

[startup+0.029391 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 10067
/proc/meminfo: memFree=1793416/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=3084 CPUtime=0.02
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 407 0 0 0 2 0 0 0 18 0 1 0 63600703 3158016 377 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 5193431 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 771 377 199 16 0 210 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3084

[startup+0.101393 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 10067
/proc/meminfo: memFree=1793416/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=4016 CPUtime=0.09
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 630 0 0 0 9 0 0 0 18 0 1 0 63600703 4112384 600 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 1004 602 199 16 0 443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4016

[startup+0.301408 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 10067
/proc/meminfo: memFree=1793416/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=4952 CPUtime=0.29
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 872 0 0 0 29 0 0 0 19 0 1 0 63600703 5070848 842 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 1238 842 205 16 0 677 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4952

[startup+0.701448 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 10067
/proc/meminfo: memFree=1793416/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=4952 CPUtime=0.69
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 872 0 0 0 67 2 0 0 22 0 1 0 63600703 5070848 842 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 1238 842 205 16 0 677 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4952

[startup+1.50153 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10068
/proc/meminfo: memFree=1790784/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=5204 CPUtime=1.49
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 941 0 0 0 144 5 0 0 25 0 1 0 63600703 5328896 911 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 1301 911 205 16 0 740 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5204

[startup+3.10169 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10068
/proc/meminfo: memFree=1790080/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=6112 CPUtime=3.1
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 1173 0 0 0 301 9 0 0 25 0 1 0 63600703 6258688 1143 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527658 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 1528 1143 205 16 0 967 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 6112

[startup+6.30202 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10068
/proc/meminfo: memFree=1788864/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=6884 CPUtime=6.29
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 1338 0 0 0 616 13 0 0 25 0 1 0 63600703 7049216 1308 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527931 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 1721 1308 205 16 0 1160 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6884

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10068
/proc/meminfo: memFree=1787080/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=8456 CPUtime=12.69
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 1737 0 0 0 1245 24 0 0 25 0 1 0 63600703 8658944 1707 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 2114 1707 205 16 0 1553 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8456

[startup+25.503 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 10068
/proc/meminfo: memFree=1786440/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=9100 CPUtime=25.49
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 1903 0 0 0 2509 40 0 0 25 0 1 0 63600703 9318400 1873 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 2275 1873 205 16 0 1714 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 9100

[startup+51.1026 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10068
/proc/meminfo: memFree=1785864/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=9616 CPUtime=51.08
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 2035 0 0 0 5038 70 0 0 25 0 1 0 63600703 9846784 2005 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 2404 2005 205 16 0 1843 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9616

[startup+102.307 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 10068
/proc/meminfo: memFree=1782280/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=13200 CPUtime=102.27
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 2933 0 0 0 10106 121 0 0 25 0 1 0 63600703 13516800 2903 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 3300 2903 205 16 0 2739 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 13200

[startup+162.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10068
/proc/meminfo: memFree=1777032/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=18580 CPUtime=162.26
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 4264 0 0 0 16043 183 0 0 25 0 1 0 63600703 19025920 4234 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 4645 4234 205 16 0 4084 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 18580

[startup+222.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10068
/proc/meminfo: memFree=1771720/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=23812 CPUtime=222.24
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 5574 0 0 0 21997 227 0 0 25 0 1 0 63600703 24383488 5544 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528604 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 5953 5544 205 16 0 5392 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 23812

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10068
/proc/meminfo: memFree=1771656/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=23812 CPUtime=282.22
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 5574 0 0 0 27936 286 0 0 25 0 1 0 63600703 24383488 5544 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134557715 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 5953 5544 205 16 0 5392 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 23812

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10068
/proc/meminfo: memFree=1771656/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=23812 CPUtime=342.2
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 5575 0 0 0 33871 349 0 0 25 0 1 0 63600703 24383488 5545 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 5953 5545 205 16 0 5392 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 23812

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10068
/proc/meminfo: memFree=1771592/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=23812 CPUtime=402.19
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 5575 0 0 0 39799 420 0 0 25 0 1 0 63600703 24383488 5545 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528560 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 5953 5545 205 16 0 5392 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 23812

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10068
/proc/meminfo: memFree=1771784/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=23812 CPUtime=462.17
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 5575 0 0 0 45713 504 0 0 25 0 1 0 63600703 24383488 5545 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528061 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 5953 5545 205 16 0 5392 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 23812

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10068
/proc/meminfo: memFree=1770440/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=25100 CPUtime=522.16
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 5894 0 0 0 51649 567 0 0 25 0 1 0 63600703 25702400 5864 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134557416 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 6275 5864 205 16 0 5714 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 25100

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10068
/proc/meminfo: memFree=1766984/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=28652 CPUtime=582.14
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 6769 0 0 0 57584 630 0 0 25 0 1 0 63600703 29339648 6739 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559548 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 7163 6739 205 16 0 6602 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 28652

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10068
/proc/meminfo: memFree=1766280/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=29360 CPUtime=642.13
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 6943 0 0 0 63531 682 0 0 25 0 1 0 63600703 30064640 6913 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527993 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 7340 6913 205 16 0 6779 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 29360


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

/proc/meminfo: memFree=1749640/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=45600 CPUtime=882.07
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11087 0 0 0 87298 909 0 0 25 0 1 0 63600703 46694400 10985 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 11400 10985 205 16 0 10839 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 45600

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 10232
/proc/meminfo: memFree=1748488/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=45600 CPUtime=941.97
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11087 0 0 0 93244 953 0 0 25 0 1 0 63600703 46694400 10985 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 11400 10985 205 16 0 10839 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 45600

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10266
/proc/meminfo: memFree=1749704/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=45600 CPUtime=1001.93
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11087 0 0 0 99182 1011 0 0 25 0 1 0 63600703 46694400 10985 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 11400 10985 205 16 0 10839 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 45600

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10266
/proc/meminfo: memFree=1749704/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=45600 CPUtime=1061.91
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11087 0 0 0 105122 1069 0 0 25 0 1 0 63600703 46694400 10985 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558823 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 11400 10985 205 16 0 10839 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 45600

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10266
/proc/meminfo: memFree=1749640/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=45600 CPUtime=1121.9
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11087 0 0 0 111044 1146 0 0 25 0 1 0 63600703 46694400 10985 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 11400 10985 205 16 0 10839 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 45600

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10266
/proc/meminfo: memFree=1749704/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=45600 CPUtime=1181.88
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11087 0 0 0 116992 1196 0 0 25 0 1 0 63600703 46694400 10985 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527724 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 11400 10985 205 16 0 10839 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 45600

[startup+1242.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 10266
/proc/meminfo: memFree=1749640/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=45600 CPUtime=1241.87
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11088 0 0 0 122914 1273 0 0 25 0 1 0 63600703 46694400 10986 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 11400 10986 205 16 0 10839 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 45600

[startup+1302.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 10266
/proc/meminfo: memFree=1749640/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=45600 CPUtime=1301.86
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11088 0 0 0 128842 1344 0 0 25 0 1 0 63600703 46694400 10986 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 11400 10986 205 16 0 10839 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 45600

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10268
/proc/meminfo: memFree=1749704/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=45600 CPUtime=1361.83
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11090 0 0 0 134793 1390 0 0 25 0 1 0 63600703 46694400 10988 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 11400 10988 205 16 0 10839 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 45600

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10268
/proc/meminfo: memFree=1749768/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=45600 CPUtime=1421.83
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11090 0 0 0 140740 1443 0 0 25 0 1 0 63600703 46694400 10988 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 11400 10988 205 16 0 10839 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 45600

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10268
/proc/meminfo: memFree=1749832/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=45600 CPUtime=1481.81
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11090 0 0 0 146697 1484 0 0 25 0 1 0 63600703 46694400 10988 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 11400 10988 205 16 0 10839 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 45600

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10268
/proc/meminfo: memFree=1749768/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=45600 CPUtime=1541.8
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11091 0 0 0 152632 1548 0 0 25 0 1 0 63600703 46694400 10989 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 11400 10989 205 16 0 10839 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 45600

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10268
/proc/meminfo: memFree=1749768/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=45600 CPUtime=1601.78
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11091 0 0 0 158556 1622 0 0 25 0 1 0 63600703 46694400 10989 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 11400 10989 205 16 0 10839 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 45600

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10268
/proc/meminfo: memFree=1749832/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=45600 CPUtime=1661.76
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11091 0 0 0 164484 1692 0 0 25 0 1 0 63600703 46694400 10989 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 11400 10989 205 16 0 10839 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 45600

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10268
/proc/meminfo: memFree=1749768/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=45600 CPUtime=1721.74
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11091 0 0 0 170417 1757 0 0 25 0 1 0 63600703 46694400 10989 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 11400 10989 205 16 0 10839 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 45600

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10268
/proc/meminfo: memFree=1749768/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=45600 CPUtime=1781.73
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11091 0 0 0 176310 1863 0 0 25 0 1 0 63600703 46694400 10989 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 11400 10989 205 16 0 10839 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 45600

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

[startup+1782.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10268
/proc/meminfo: memFree=1749768/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=45600 CPUtime=1782.14
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11091 0 0 0 176350 1864 0 0 25 0 1 0 63600703 46694400 10989 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 11400 10989 205 16 0 10839 0
Current children cumulated CPU time (s) 1782.14
Current children cumulated vsize (KiB) 45600

[startup+1783.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10268
/proc/meminfo: memFree=1749768/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=45600 CPUtime=1782.53
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11091 0 0 0 176389 1864 0 0 25 0 1 0 63600703 46694400 10989 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 11400 10989 205 16 0 10839 0
Current children cumulated CPU time (s) 1782.53
Current children cumulated vsize (KiB) 45600

[startup+1783.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10268
/proc/meminfo: memFree=1749768/2055920 swapFree=4158476/4192956
[pid=10067] ppid=10065 vsize=45600 CPUtime=1782.63
/proc/10067/stat : 10067 (Pueblo) R 10065 10067 9255 0 -1 4194304 11091 0 0 0 176399 1864 0 0 25 0 1 0 63600703 46694400 10989 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10067/statm: 11400 10989 205 16 0 10839 0
Current children cumulated CPU time (s) 1782.63
Current children cumulated vsize (KiB) 45600

Child status: 10
Real time (s): 1783.3
CPU time (s): 1782.74
CPU user time (s): 1764.08
CPU system time (s): 18.6552
CPU usage (%): 99.9685
Max. virtual memory (cumulated for all children) (KiB): 45892

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

runsolver used 2.13068 second user time and 4.35334 second system time

The end

Launcher Data (download as text)

Begin job on node45 on Fri Apr 20 16:45:51 UTC 2007

IDJOB= 372318
IDBENCH= 24963
IDSOLVER= 165
FILE ID= node45/372318-1177087551

PBS_JOBID= 4640308

Free space on /tmp= 66445 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir09_trarea_ac.opb
COMMAND LINE= Pueblo /tmp/evaluation/372318-1177087551/instance-372318-1177087551.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node45/convwatcher-372318-1177087551 -o ROOT/results/node45/conversion-372318-1177087551 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372318-1177087551/instance-372318-1177087551.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  83e4cddd78ca4f87cfb13af1d930e0cc

RANDOM SEED= 81041341

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node45.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.218
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.218
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:       1793888 kB
Buffers:         37476 kB
Cached:         158488 kB
SwapCached:      14564 kB
Active:         128540 kB
Inactive:        91300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1793888 kB
SwapTotal:     4192956 kB
SwapFree:      4158476 kB
Dirty:            2548 kB
Writeback:           0 kB
Mapped:          32016 kB
Slab:            27812 kB
Committed_AS:  1244632 kB
PageTables:       1732 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= 66445 MiB

End job on node45 on Fri Apr 20 17:15:34 UTC 2007