Trace number 372598

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.4SAT26 1782.74 1783.25

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_020_area_delay.opb
MD5SUMb63b2d912c01ff826a63051b401330db
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark18.8981
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 23
Optimality of the best value was proved YES
Number of variables4427
Total number of constraints12661
Number of constraints which are clauses12661
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint63
Number of terms in the objective function 2136
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 2136
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2136
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	26

Conversion Script Data (download as text)

/tmp/evaluation/372598-1177111452/instance-372598-1177111452.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/node11/watcher-372598-1177111452 -o ROOT/results/node11/solver-372598-1177111452 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/372598-1177111452/instance-372598-1177111452.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 0.99 3/77 25833
/proc/meminfo: memFree=1764592/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=2552 CPUtime=0
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 152194144 2613248 233 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 8414843 0 0 4096 0 0 0 0 17 0 0 0
/proc/25833/statm: 638 233 193 16 0 77 0

[startup+0.0391661 s]
/proc/loadavg: 1.00 1.00 0.99 3/77 25833
/proc/meminfo: memFree=1764592/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=3352 CPUtime=0.03
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 456 0 0 0 3 0 0 0 18 0 1 0 152194144 3432448 426 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 8379388 0 0 4096 0 0 0 0 17 0 0 0
/proc/25833/statm: 838 426 199 16 0 277 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3352

[startup+0.101173 s]
/proc/loadavg: 1.00 1.00 0.99 3/77 25833
/proc/meminfo: memFree=1764592/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=4148 CPUtime=0.09
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 657 0 0 0 9 0 0 0 18 0 1 0 152194144 4247552 627 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134546737 0 0 4096 0 0 0 0 17 0 0 0
/proc/25833/statm: 1037 627 199 16 0 476 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4148

[startup+0.301196 s]
/proc/loadavg: 1.00 1.00 0.99 3/77 25833
/proc/meminfo: memFree=1764592/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=6052 CPUtime=0.29
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 1074 0 0 0 28 1 0 0 19 0 1 0 152194144 6197248 1044 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/25833/statm: 1513 1044 205 16 0 952 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6052

[startup+0.701244 s]
/proc/loadavg: 1.00 1.00 0.99 3/77 25833
/proc/meminfo: memFree=1764592/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=6052 CPUtime=0.68
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 1074 0 0 0 66 2 0 0 23 0 1 0 152194144 6197248 1044 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 0 0 0
/proc/25833/statm: 1513 1044 205 16 0 952 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6052

[startup+1.50134 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25834
/proc/meminfo: memFree=1761128/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=6052 CPUtime=1.49
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 1074 0 0 0 146 3 0 0 25 0 1 0 152194144 6197248 1044 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/25833/statm: 1513 1044 205 16 0 952 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6052

[startup+3.10153 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25834
/proc/meminfo: memFree=1761000/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=6284 CPUtime=3.09
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 1153 0 0 0 304 5 0 0 25 0 1 0 152194144 6434816 1123 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/25833/statm: 1571 1123 205 16 0 1010 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6284

[startup+6.30191 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25834
/proc/meminfo: memFree=1759400/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=7760 CPUtime=6.29
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 1503 0 0 0 621 8 0 0 25 0 1 0 152194144 7946240 1473 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 0 0 0
/proc/25833/statm: 1940 1473 205 16 0 1379 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7760

[startup+12.7027 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25834
/proc/meminfo: memFree=1758448/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=8956 CPUtime=12.68
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 1806 0 0 0 1253 15 0 0 25 0 1 0 152194144 9170944 1776 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558844 0 0 4096 0 0 0 0 17 1 0 0
/proc/25833/statm: 2239 1776 205 16 0 1678 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 8956

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25834
/proc/meminfo: memFree=1756912/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=10132 CPUtime=25.47
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 2110 0 0 0 2518 29 0 0 25 0 1 0 152194144 10375168 2080 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559313 0 0 4096 0 0 0 0 17 1 0 0
/proc/25833/statm: 2533 2080 205 16 0 1972 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 10132

[startup+51.102 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25834
/proc/meminfo: memFree=1755440/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=11404 CPUtime=51.06
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 2425 0 0 0 5065 41 0 0 25 0 1 0 152194144 11677696 2395 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25833/statm: 2851 2395 205 16 0 2290 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 11404

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25834
/proc/meminfo: memFree=1753136/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=13716 CPUtime=102.24
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 2996 0 0 0 10153 71 0 0 25 0 1 0 152194144 14045184 2966 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25833/statm: 3429 2966 205 16 0 2868 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 13716

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25834
/proc/meminfo: memFree=1751984/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=14936 CPUtime=162.23
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 3274 0 0 0 16121 102 0 0 25 0 1 0 152194144 15294464 3244 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527975 0 0 4096 0 0 0 0 17 1 0 0
/proc/25833/statm: 3734 3244 205 16 0 3173 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 14936

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25834
/proc/meminfo: memFree=1748528/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=18544 CPUtime=222.21
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 4134 0 0 0 22073 148 0 0 25 0 1 0 152194144 18989056 4104 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558760 0 0 4096 0 0 0 0 17 1 0 0
/proc/25833/statm: 4636 4104 205 16 0 4075 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 18544

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25834
/proc/meminfo: memFree=1745008/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=22036 CPUtime=282.2
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 5011 0 0 0 28040 180 0 0 25 0 1 0 152194144 22564864 4981 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/25833/statm: 5509 4981 205 16 0 4948 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 22036

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25834
/proc/meminfo: memFree=1744944/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=22036 CPUtime=342.18
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 5015 0 0 0 34014 204 0 0 25 0 1 0 152194144 22564864 4985 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528572 0 0 4096 0 0 0 0 17 1 0 0
/proc/25833/statm: 5509 4985 205 16 0 4948 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 22036

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25834
/proc/meminfo: memFree=1744944/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=22036 CPUtime=402.17
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 5015 0 0 0 39982 235 0 0 25 0 1 0 152194144 22564864 4985 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527664 0 0 4096 0 0 0 0 17 1 0 0
/proc/25833/statm: 5509 4985 205 16 0 4948 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 22036

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25834
/proc/meminfo: memFree=1744944/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=22036 CPUtime=462.14
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 5017 0 0 0 45946 268 0 0 25 0 1 0 152194144 22564864 4987 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558960 0 0 4096 0 0 0 0 17 1 0 0
/proc/25833/statm: 5509 4987 205 16 0 4948 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 22036

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25834
/proc/meminfo: memFree=1744880/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=22036 CPUtime=522.13
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 5023 0 0 0 51907 306 0 0 25 0 1 0 152194144 22564864 4993 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558652 0 0 4096 0 0 0 0 17 1 0 0
/proc/25833/statm: 5509 4993 205 16 0 4948 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 22036

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25834
/proc/meminfo: memFree=1737520/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=29444 CPUtime=582.12
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 6875 0 0 0 57872 340 0 0 25 0 1 0 152194144 30150656 6845 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0
/proc/25833/statm: 7361 6845 205 16 0 6800 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 29444

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25834
/proc/meminfo: memFree=1737456/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=29408 CPUtime=642.1
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 6877 0 0 0 63833 377 0 0 25 0 1 0 152194144 30113792 6843 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25833/statm: 7352 6843 205 16 0 6791 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 29408


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

/proc/meminfo: memFree=1737456/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=29408 CPUtime=882.03
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 6882 0 0 0 87697 506 0 0 25 0 1 0 152194144 30113792 6848 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 8413362 0 0 4096 0 0 0 0 17 1 0 0
/proc/25833/statm: 7352 6848 205 16 0 6791 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 29408

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25834
/proc/meminfo: memFree=1737520/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=29408 CPUtime=942.02
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 6882 0 0 0 93662 540 0 0 25 0 1 0 152194144 30113792 6848 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558790 0 0 4096 0 0 0 0 17 1 0 0
/proc/25833/statm: 7352 6848 205 16 0 6791 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 29408

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25834
/proc/meminfo: memFree=1737456/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=29408 CPUtime=1002
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 6883 0 0 0 99633 567 0 0 25 0 1 0 152194144 30113792 6849 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0
/proc/25833/statm: 7352 6849 205 16 0 6791 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 29408

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25834
/proc/meminfo: memFree=1737456/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=29408 CPUtime=1061.98
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 6883 0 0 0 105599 599 0 0 25 0 1 0 152194144 30113792 6849 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25833/statm: 7352 6849 205 16 0 6791 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 29408

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25834
/proc/meminfo: memFree=1737456/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=29408 CPUtime=1121.97
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 6884 0 0 0 111567 630 0 0 25 0 1 0 152194144 30113792 6850 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134519934 0 0 4096 0 0 0 0 17 1 0 0
/proc/25833/statm: 7352 6850 205 16 0 6791 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 29408

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25836
/proc/meminfo: memFree=1737456/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=29408 CPUtime=1181.95
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 6884 0 0 0 117532 663 0 0 25 0 1 0 152194144 30113792 6850 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25833/statm: 7352 6850 205 16 0 6791 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 29408

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25836
/proc/meminfo: memFree=1736048/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=31132 CPUtime=1241.93
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 7283 0 0 0 123495 698 0 0 25 0 1 0 152194144 31879168 7249 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134516704 0 0 4096 0 0 0 0 17 1 0 0
/proc/25833/statm: 7783 7249 205 16 0 7222 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 31132

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25836
/proc/meminfo: memFree=1735920/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=31132 CPUtime=1301.92
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 7285 0 0 0 129451 741 0 0 25 0 1 0 152194144 31879168 7251 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25833/statm: 7783 7251 205 16 0 7222 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 31132

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25836
/proc/meminfo: memFree=1735856/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=31132 CPUtime=1361.9
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 7286 0 0 0 135386 804 0 0 25 0 1 0 152194144 31879168 7252 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25833/statm: 7783 7252 205 16 0 7222 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 31132

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25836
/proc/meminfo: memFree=1735856/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=31132 CPUtime=1421.89
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 7286 0 0 0 141325 864 0 0 25 0 1 0 152194144 31879168 7252 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134556363 0 0 4096 0 0 0 0 17 1 0 0
/proc/25833/statm: 7783 7252 205 16 0 7222 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 31132

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25836
/proc/meminfo: memFree=1732912/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=34056 CPUtime=1481.87
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 8018 0 0 0 147277 910 0 0 25 0 1 0 152194144 34873344 7984 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25833/statm: 8514 7984 205 16 0 7953 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 34056

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25836
/proc/meminfo: memFree=1732976/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=34056 CPUtime=1541.85
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 8018 0 0 0 153233 952 0 0 25 0 1 0 152194144 34873344 7984 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134557768 0 0 4096 0 0 0 0 17 1 0 0
/proc/25833/statm: 8514 7984 205 16 0 7953 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 34056

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25836
/proc/meminfo: memFree=1732912/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=34056 CPUtime=1601.84
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 8018 0 0 0 159192 992 0 0 25 0 1 0 152194144 34873344 7984 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25833/statm: 8514 7984 205 16 0 7953 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 34056

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25836
/proc/meminfo: memFree=1732976/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=34056 CPUtime=1661.83
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 8018 0 0 0 165154 1029 0 0 25 0 1 0 152194144 34873344 7984 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25833/statm: 8514 7984 205 16 0 7953 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 34056

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25836
/proc/meminfo: memFree=1732912/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=34056 CPUtime=1721.81
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 8018 0 0 0 171105 1076 0 0 25 0 1 0 152194144 34873344 7984 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25833/statm: 8514 7984 205 16 0 7953 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 34056

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25836
/proc/meminfo: memFree=1732976/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=34056 CPUtime=1781.79
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 8018 0 0 0 177061 1118 0 0 25 0 1 0 152194144 34873344 7984 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25833/statm: 8514 7984 205 16 0 7953 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 34056

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

[startup+1782.7 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25836
/proc/meminfo: memFree=1732976/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=34056 CPUtime=1782.19
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 8018 0 0 0 177101 1118 0 0 25 0 1 0 152194144 34873344 7984 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/25833/statm: 8514 7984 205 16 0 7953 0
Current children cumulated CPU time (s) 1782.19
Current children cumulated vsize (KiB) 34056

[startup+1783.11 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25836
/proc/meminfo: memFree=1732976/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=34056 CPUtime=1782.6
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 8018 0 0 0 177141 1119 0 0 25 0 1 0 152194144 34873344 7984 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25833/statm: 8514 7984 205 16 0 7953 0
Current children cumulated CPU time (s) 1782.6
Current children cumulated vsize (KiB) 34056

[startup+1783.2 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 25836
/proc/meminfo: memFree=1732976/2055920 swapFree=4150632/4192956
[pid=25833] ppid=25831 vsize=34056 CPUtime=1782.69
/proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 8018 0 0 0 177150 1119 0 0 25 0 1 0 152194144 34873344 7984 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25833/statm: 8514 7984 205 16 0 7953 0
Current children cumulated CPU time (s) 1782.69
Current children cumulated vsize (KiB) 34056

Child status: 10
Real time (s): 1783.25
CPU time (s): 1782.74
CPU user time (s): 1771.54
CPU system time (s): 11.2003
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 34056

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

runsolver used 1.9797 second user time and 4.06838 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Fri Apr 20 23:24:12 UTC 2007

IDJOB= 372598
IDBENCH= 24983
IDSOLVER= 165
FILE ID= node11/372598-1177111452

PBS_JOBID= 4640424

Free space on /tmp= 66255 MiB

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

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

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  b63b2d912c01ff826a63051b401330db

RANDOM SEED= 399793196

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node11.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.235
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.235
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:       1765064 kB
Buffers:         37372 kB
Cached:         166864 kB
SwapCached:      10916 kB
Active:         112060 kB
Inactive:       115592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1765064 kB
SwapTotal:     4192956 kB
SwapFree:      4150632 kB
Dirty:            2664 kB
Writeback:           0 kB
Mapped:          30496 kB
Slab:            48728 kB
Committed_AS:  6240028 kB
PageTables:       1848 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= 66255 MiB

End job on node11 on Fri Apr 20 23:53:55 UTC 2007