Trace number 36618

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.4SAT319 1782.74 1783.22

General information on the benchmark

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

Verifier Data (download as text)

OK	319

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node87/watcher-36618-1149268922 -o ROOT/results/node87/solver-36618-1149268922 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node87/36618-1149268922/instance-36618-1149268922.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.99 2/67 23942
/proc/meminfo: memFree=1559928/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=2576 CPUtime=0
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 257 0 0 0 0 0 0 0 18 0 1 0 192531371 2637824 229 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 11706807 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 644 229 191 16 0 84 0

[startup+10.0025 s]
/proc/loadavg: 0.93 0.97 0.99 2/67 23942
/proc/meminfo: memFree=1555512/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=6916 CPUtime=9.99
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 1318 0 0 0 927 72 0 0 25 0 1 0 192531371 7081984 1290 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 1729 1290 205 16 0 1169 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 6916

[startup+20.0086 s]
/proc/loadavg: 0.94 0.97 0.99 2/67 23942
/proc/meminfo: memFree=1554808/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=7700 CPUtime=20
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 1499 0 0 0 1860 140 0 0 25 0 1 0 192531371 7884800 1471 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 1925 1471 205 16 0 1365 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 7700

[startup+30.0148 s]
/proc/loadavg: 0.95 0.97 0.99 2/67 23942
/proc/meminfo: memFree=1549048/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=13356 CPUtime=30
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 2938 0 0 0 2810 190 0 0 25 0 1 0 192531371 13676544 2910 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 3339 2910 205 16 0 2779 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 13356

[startup+40.021 s]
/proc/loadavg: 0.95 0.97 0.99 2/67 23942
/proc/meminfo: memFree=1548600/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=13868 CPUtime=40
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 3054 0 0 0 3808 192 0 0 25 0 1 0 192531371 14200832 3026 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527978 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 3467 3026 205 16 0 2907 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 13868

[startup+50.0271 s]
/proc/loadavg: 0.96 0.97 0.99 2/67 23942
/proc/meminfo: memFree=1548600/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=13868 CPUtime=50
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 3054 0 0 0 4804 196 0 0 25 0 1 0 192531371 14200832 3026 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 3467 3026 205 16 0 2907 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 13868

[startup+60.0323 s]
/proc/loadavg: 0.97 0.97 0.99 2/67 23942
/proc/meminfo: memFree=1548600/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=13868 CPUtime=60.01
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 3054 0 0 0 5804 197 0 0 25 0 1 0 192531371 14200832 3026 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 3467 3026 205 16 0 2907 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 13868

[startup+70.0385 s]
/proc/loadavg: 0.97 0.97 0.99 2/67 23942
/proc/meminfo: memFree=1548600/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=13868 CPUtime=70.01
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 3054 0 0 0 6802 199 0 0 25 0 1 0 192531371 14200832 3026 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 3467 3026 205 16 0 2907 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 13868

[startup+80.0446 s]
/proc/loadavg: 0.98 0.97 0.99 2/67 23942
/proc/meminfo: memFree=1548664/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=13868 CPUtime=80.02
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 3055 0 0 0 7748 254 0 0 25 0 1 0 192531371 14200832 3027 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 3467 3027 205 16 0 2907 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 13868

[startup+90.0508 s]
/proc/loadavg: 0.98 0.97 0.99 2/67 23942
/proc/meminfo: memFree=1545912/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=16556 CPUtime=90.01
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 3731 0 0 0 8746 255 0 0 25 0 1 0 192531371 16953344 3703 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528609 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 4139 3703 205 16 0 3579 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 16556

[startup+100.057 s]
/proc/loadavg: 0.98 0.97 0.99 2/67 23942
/proc/meminfo: memFree=1545656/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=16808 CPUtime=100.02
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 3799 0 0 0 9745 257 0 0 25 0 1 0 192531371 17211392 3771 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528635 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 4202 3771 205 16 0 3642 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 16808

[startup+110.063 s]
/proc/loadavg: 0.98 0.97 0.99 2/67 23942
/proc/meminfo: memFree=1545080/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=17440 CPUtime=110.02
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 3936 0 0 0 10744 258 0 0 25 0 1 0 192531371 17858560 3908 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 4360 3908 205 16 0 3800 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 17440

[startup+120.068 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 23942
/proc/meminfo: memFree=1544632/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=17824 CPUtime=120.03
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 4055 0 0 0 11743 260 0 0 25 0 1 0 192531371 18251776 4027 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528604 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 4456 4027 205 16 0 3896 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 17824

[startup+130.074 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 23942
/proc/meminfo: memFree=1544632/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=17824 CPUtime=130.03
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 4057 0 0 0 12741 262 0 0 25 0 1 0 192531371 18251776 4029 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 4456 4029 205 16 0 3896 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 17824

[startup+140.081 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 23942
/proc/meminfo: memFree=1544440/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=18080 CPUtime=140.03
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 4097 0 0 0 13740 263 0 0 25 0 1 0 192531371 18513920 4069 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528619 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 4520 4069 205 16 0 3960 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 18080

[startup+150.087 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 23942
/proc/meminfo: memFree=1544312/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=18224 CPUtime=150.04
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 4134 0 0 0 14735 269 0 0 25 0 1 0 192531371 18661376 4106 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 4556 4106 205 16 0 3996 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 18224

[startup+160.093 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 23942
/proc/meminfo: memFree=1544312/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=18224 CPUtime=160.04
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 4134 0 0 0 15701 303 0 0 25 0 1 0 192531371 18661376 4106 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 4556 4106 205 16 0 3996 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 18224

[startup+170.099 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 23942
/proc/meminfo: memFree=1544312/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=18224 CPUtime=170.04
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 4134 0 0 0 16701 303 0 0 25 0 1 0 192531371 18661376 4106 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557734 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 4556 4106 205 16 0 3996 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 18224

[startup+180.105 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 23942
/proc/meminfo: memFree=1544312/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=18224 CPUtime=180.04
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 4134 0 0 0 17700 304 0 0 25 0 1 0 192531371 18661376 4106 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 4556 4106 205 16 0 3996 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 18224

[startup+190.111 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 23942
/proc/meminfo: memFree=1544312/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=18224 CPUtime=190.05
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 4134 0 0 0 18700 305 0 0 25 0 1 0 192531371 18661376 4106 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 4556 4106 205 16 0 3996 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 18224

[startup+200.118 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 23942
/proc/meminfo: memFree=1544248/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=18224 CPUtime=200.06
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 4134 0 0 0 19682 324 0 0 25 0 1 0 192531371 18661376 4106 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 4556 4106 205 16 0 3996 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 18224

[startup+210.124 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 23942
/proc/meminfo: memFree=1544248/2055888 swapFree=4085412/4096564

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

/proc/23942/statm: 7451 6986 205 16 0 6891 0
Current children cumulated CPU time (s) 1590.52
Current children cumulated vsize (Kb) 29804

[startup+1600.96 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 23944
/proc/meminfo: memFree=1532600/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=29804 CPUtime=1600.52
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 7032 0 0 0 157797 2255 0 0 25 0 1 0 192531371 30519296 6986 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528563 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 7451 6986 205 16 0 6891 0
Current children cumulated CPU time (s) 1600.52
Current children cumulated vsize (Kb) 29804

[startup+1610.97 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 23944
/proc/meminfo: memFree=1532600/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=29804 CPUtime=1610.53
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 7032 0 0 0 158796 2257 0 0 25 0 1 0 192531371 30519296 6986 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 7451 6986 205 16 0 6891 0
Current children cumulated CPU time (s) 1610.53
Current children cumulated vsize (Kb) 29804

[startup+1620.97 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 23944
/proc/meminfo: memFree=1532600/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=29804 CPUtime=1620.53
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 7032 0 0 0 159794 2259 0 0 25 0 1 0 192531371 30519296 6986 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528604 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 7451 6986 205 16 0 6891 0
Current children cumulated CPU time (s) 1620.53
Current children cumulated vsize (Kb) 29804

[startup+1630.98 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 23944
/proc/meminfo: memFree=1532600/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=29804 CPUtime=1630.53
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 7032 0 0 0 160792 2261 0 0 25 0 1 0 192531371 30519296 6986 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 7451 6986 205 16 0 6891 0
Current children cumulated CPU time (s) 1630.53
Current children cumulated vsize (Kb) 29804

[startup+1640.98 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 23944
/proc/meminfo: memFree=1532600/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=29804 CPUtime=1640.53
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 7032 0 0 0 161790 2263 0 0 25 0 1 0 192531371 30519296 6986 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528577 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 7451 6986 205 16 0 6891 0
Current children cumulated CPU time (s) 1640.53
Current children cumulated vsize (Kb) 29804

[startup+1650.99 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 23944
/proc/meminfo: memFree=1532536/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=29804 CPUtime=1650.54
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 7032 0 0 0 162788 2266 0 0 25 0 1 0 192531371 30519296 6986 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 7451 6986 205 16 0 6891 0
Current children cumulated CPU time (s) 1650.54
Current children cumulated vsize (Kb) 29804

[startup+1660.99 s]
/proc/loadavg: 1.06 0.99 0.99 2/67 23944
/proc/meminfo: memFree=1532536/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=29804 CPUtime=1660.54
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 7032 0 0 0 163786 2268 0 0 25 0 1 0 192531371 30519296 6986 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 7451 6986 205 16 0 6891 0
Current children cumulated CPU time (s) 1660.54
Current children cumulated vsize (Kb) 29804

[startup+1671 s]
/proc/loadavg: 1.05 0.99 0.99 2/67 23944
/proc/meminfo: memFree=1532536/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=29804 CPUtime=1670.55
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 7032 0 0 0 164785 2270 0 0 25 0 1 0 192531371 30519296 6986 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 7451 6986 205 16 0 6891 0
Current children cumulated CPU time (s) 1670.55
Current children cumulated vsize (Kb) 29804

[startup+1681.01 s]
/proc/loadavg: 1.04 0.99 0.99 2/67 23944
/proc/meminfo: memFree=1532600/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=29804 CPUtime=1680.55
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 7032 0 0 0 165783 2272 0 0 25 0 1 0 192531371 30519296 6986 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528066 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 7451 6986 205 16 0 6891 0
Current children cumulated CPU time (s) 1680.55
Current children cumulated vsize (Kb) 29804

[startup+1691.01 s]
/proc/loadavg: 1.04 0.99 0.99 3/67 23944
/proc/meminfo: memFree=1532600/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=29804 CPUtime=1690.55
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 7032 0 0 0 166782 2273 0 0 25 0 1 0 192531371 30519296 6986 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 7451 6986 205 16 0 6891 0
Current children cumulated CPU time (s) 1690.55
Current children cumulated vsize (Kb) 29804

[startup+1701.02 s]
/proc/loadavg: 1.03 0.99 0.99 2/67 23944
/proc/meminfo: memFree=1532600/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=29804 CPUtime=1700.55
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 7032 0 0 0 167780 2275 0 0 25 0 1 0 192531371 30519296 6986 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527658 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 7451 6986 205 16 0 6891 0
Current children cumulated CPU time (s) 1700.55
Current children cumulated vsize (Kb) 29804

[startup+1711.02 s]
/proc/loadavg: 1.03 0.99 0.99 2/67 23944
/proc/meminfo: memFree=1532600/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=29804 CPUtime=1710.56
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 7032 0 0 0 168778 2278 0 0 25 0 1 0 192531371 30519296 6986 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 7451 6986 205 16 0 6891 0
Current children cumulated CPU time (s) 1710.56
Current children cumulated vsize (Kb) 29804

[startup+1721.03 s]
/proc/loadavg: 1.02 0.99 0.99 2/67 23944
/proc/meminfo: memFree=1532600/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=29804 CPUtime=1720.56
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 7032 0 0 0 169776 2280 0 0 25 0 1 0 192531371 30519296 6986 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134558602 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 7451 6986 205 16 0 6891 0
Current children cumulated CPU time (s) 1720.56
Current children cumulated vsize (Kb) 29804

[startup+1731.04 s]
/proc/loadavg: 1.02 0.99 0.99 2/67 23944
/proc/meminfo: memFree=1532600/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=29804 CPUtime=1730.56
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 7032 0 0 0 170774 2282 0 0 25 0 1 0 192531371 30519296 6986 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 7451 6986 205 16 0 6891 0
Current children cumulated CPU time (s) 1730.56
Current children cumulated vsize (Kb) 29804

[startup+1741.04 s]
/proc/loadavg: 1.01 0.99 0.99 2/67 23944
/proc/meminfo: memFree=1532536/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=29932 CPUtime=1740.57
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 7039 0 0 0 171772 2285 0 0 25 0 1 0 192531371 30650368 6993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 7483 6993 205 16 0 6923 0
Current children cumulated CPU time (s) 1740.57
Current children cumulated vsize (Kb) 29932

[startup+1751.05 s]
/proc/loadavg: 1.01 0.99 0.99 2/67 23944
/proc/meminfo: memFree=1532536/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=29932 CPUtime=1750.58
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 7044 0 0 0 172771 2287 0 0 25 0 1 0 192531371 30650368 6998 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 11673864 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 7483 6998 205 16 0 6923 0
Current children cumulated CPU time (s) 1750.58
Current children cumulated vsize (Kb) 29932

[startup+1761.05 s]
/proc/loadavg: 1.01 0.99 0.99 2/67 23944
/proc/meminfo: memFree=1532472/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=29932 CPUtime=1760.57
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 7057 0 0 0 173768 2289 0 0 25 0 1 0 192531371 30650368 7011 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 7483 7011 205 16 0 6923 0
Current children cumulated CPU time (s) 1760.57
Current children cumulated vsize (Kb) 29932

[startup+1771.06 s]
/proc/loadavg: 1.01 0.99 0.99 2/67 23944
/proc/meminfo: memFree=1532472/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=29932 CPUtime=1770.58
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 7057 0 0 0 174767 2291 0 0 25 0 1 0 192531371 30650368 7011 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 7483 7011 205 16 0 6923 0
Current children cumulated CPU time (s) 1770.58
Current children cumulated vsize (Kb) 29932

[startup+1781.07 s]
/proc/loadavg: 1.01 0.99 0.99 2/67 23944
/proc/meminfo: memFree=1532472/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=29932 CPUtime=1780.58
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 7057 0 0 0 175765 2293 0 0 25 0 1 0 192531371 30650368 7011 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528622 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 7483 7011 205 16 0 6923 0
Current children cumulated CPU time (s) 1780.58
Current children cumulated vsize (Kb) 29932

[startup+1782.07 s]
/proc/loadavg: 1.01 0.99 0.99 2/67 23944
/proc/meminfo: memFree=1532472/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=29932 CPUtime=1781.58
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 7057 0 0 0 175865 2293 0 0 25 0 1 0 192531371 30650368 7011 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 7483 7011 205 16 0 6923 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (Kb) 29932

[startup+1783.08 s]
/proc/loadavg: 1.01 0.99 0.99 2/67 23944
/proc/meminfo: memFree=1532472/2055888 swapFree=4085412/4096564
[pid=23942] ppid=23940 vsize=29932 CPUtime=1782.59
/proc/23942/stat : 23942 (Pueblo) R 23940 23942 23896 0 -1 4194304 7057 0 0 0 175965 2294 0 0 25 0 1 0 192531371 30650368 7011 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528580 0 0 4096 0 0 0 0 17 1 0 0
/proc/23942/statm: 7483 7011 205 16 0 6923 0
Current children cumulated CPU time (s) 1782.59
Current children cumulated vsize (Kb) 29932

Child status: 10
Real time (s): 1783.22
CPU time (s): 1782.74
CPU user time (s): 1759.79
CPU system time (s): 22.9445
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (Kb): 29932

Launcher Data (download as text)

Begin job on node87 on Fri Jun  2 17:22:02 UTC 2006


FILE ID= 36618-1149268922

PBS_JOBID= 301491

BENCH NAME= ROOT/tmp/node87/36618-1149268922/instance-36618-1149268922.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node87/36618-1149268922/instance-36618-1149268922.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node87/watcher-36618-1149268922 -o ROOT/results/node87/solver-36618-1149268922 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node87/36618-1149268922/instance-36618-1149268922.opb

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  8b204aeb505cc1c787aa4db3220d0b5a

RANDOM SEED= 770054530


/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.234
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	: 6006.17
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.234
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	: 5999.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1560136 kB
Buffers:         31584 kB
Cached:         389816 kB
SwapCached:       2512 kB
Active:          96860 kB
Inactive:       333296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1560136 kB
SwapTotal:     4096564 kB
SwapFree:      4085412 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          16812 kB
Slab:            52292 kB
Committed_AS:   233160 kB
PageTables:       1280 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node87 on Fri Jun  2 17:51:46 UTC 2006