Trace number 37779

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.3SAT291 1782.74 1783.27

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib3/normalized-reduced-mps-v2-20-10-qnet1.opb
MD5SUMa5b00f1ae7deac89a36da7a8be4b1f6d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark291
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 291
Optimality of the best value was proved NO
Number of variables5380
Total number of constraints630
Number of constraints which are clauses40
Number of constraints which are cardinality constraints (but not clauses)48
Number of constraints which are nor clauses,nor cardinality constraints542
Minimum length of a constraint2
Maximum length of a constraint77
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

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

Verifier Data (download as text)

OK	291

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/node92/watcher-37779-1149276129 -o ROOT/results/node92/solver-37779-1149276129 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node92/37779-1149276129/instance-37779-1149276129.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.97 2/67 25543
/proc/meminfo: memFree=1241480/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=2332 CPUtime=0
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 64 0 0 0 0 0 0 0 18 0 1 0 193251823 2387968 49 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 9536239 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 584 55 43 16 0 11 0

[startup+10.0023 s]
/proc/loadavg: 0.93 0.98 0.97 2/67 25543
/proc/meminfo: memFree=1237256/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=6808 CPUtime=9.98
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 1291 0 0 0 968 30 0 0 25 0 1 0 193251823 6971392 1263 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 1702 1263 205 16 0 1142 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 6808

[startup+20.0086 s]
/proc/loadavg: 0.94 0.98 0.97 2/67 25543
/proc/meminfo: memFree=1234888/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=9108 CPUtime=19.99
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 1873 0 0 0 1945 54 0 0 25 0 1 0 193251823 9326592 1845 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 2277 1845 205 16 0 1717 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 9108

[startup+30.0148 s]
/proc/loadavg: 0.95 0.98 0.97 2/67 25543
/proc/meminfo: memFree=1234888/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=9108 CPUtime=29.99
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 1873 0 0 0 2919 80 0 0 25 0 1 0 193251823 9326592 1845 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 2277 1845 205 16 0 1717 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 9108

[startup+40.0211 s]
/proc/loadavg: 0.96 0.98 0.97 2/67 25543
/proc/meminfo: memFree=1234952/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=9108 CPUtime=39.99
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 1873 0 0 0 3910 89 0 0 25 0 1 0 193251823 9326592 1845 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 2277 1845 205 16 0 1717 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 9108

[startup+50.0274 s]
/proc/loadavg: 0.96 0.98 0.97 2/67 25543
/proc/meminfo: memFree=1234952/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=9108 CPUtime=50
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 1873 0 0 0 4896 104 0 0 25 0 1 0 193251823 9326592 1845 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 2277 1845 205 16 0 1717 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 9108

[startup+60.0337 s]
/proc/loadavg: 0.97 0.98 0.97 2/67 25543
/proc/meminfo: memFree=1234952/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=9108 CPUtime=60.01
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 1873 0 0 0 5882 119 0 0 25 0 1 0 193251823 9326592 1845 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 2277 1845 205 16 0 1717 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 9108

[startup+70.04 s]
/proc/loadavg: 0.97 0.98 0.97 2/67 25543
/proc/meminfo: memFree=1234888/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=9108 CPUtime=70
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 1873 0 0 0 6865 135 0 0 25 0 1 0 193251823 9326592 1845 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 2277 1845 205 16 0 1717 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 9108

[startup+80.0463 s]
/proc/loadavg: 0.98 0.98 0.97 2/67 25543
/proc/meminfo: memFree=1234952/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=9108 CPUtime=80.01
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 1873 0 0 0 7850 151 0 0 25 0 1 0 193251823 9326592 1845 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 2277 1845 205 16 0 1717 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 9108

[startup+90.0526 s]
/proc/loadavg: 0.98 0.98 0.97 2/67 25543
/proc/meminfo: memFree=1234952/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=9108 CPUtime=90.01
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 1873 0 0 0 8834 167 0 0 25 0 1 0 193251823 9326592 1845 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 2277 1845 205 16 0 1717 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 9108

[startup+100.059 s]
/proc/loadavg: 0.98 0.98 0.97 2/67 25543
/proc/meminfo: memFree=1234952/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=9108 CPUtime=100.02
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 1873 0 0 0 9820 182 0 0 25 0 1 0 193251823 9326592 1845 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 2277 1845 205 16 0 1717 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 9108

[startup+110.065 s]
/proc/loadavg: 0.98 0.98 0.97 2/67 25543
/proc/meminfo: memFree=1234952/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=9108 CPUtime=110.02
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 1873 0 0 0 10806 196 0 0 25 0 1 0 193251823 9326592 1845 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 2277 1845 205 16 0 1717 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 9108

[startup+120.071 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 25543
/proc/meminfo: memFree=1234952/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=9108 CPUtime=120.03
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 1873 0 0 0 11791 212 0 0 25 0 1 0 193251823 9326592 1845 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 2277 1845 205 16 0 1717 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 9108

[startup+130.078 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 25543
/proc/meminfo: memFree=1234952/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=9108 CPUtime=130.03
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 1873 0 0 0 12774 229 0 0 25 0 1 0 193251823 9326592 1845 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 2277 1845 205 16 0 1717 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 9108

[startup+140.084 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 25543
/proc/meminfo: memFree=1233608/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=10532 CPUtime=140.03
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 2214 0 0 0 13765 238 0 0 25 0 1 0 193251823 10784768 2186 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 2633 2186 205 16 0 2073 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 10532

[startup+150.09 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 25543
/proc/meminfo: memFree=1232136/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=11956 CPUtime=150.03
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 2574 0 0 0 14763 240 0 0 25 0 1 0 193251823 12242944 2546 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 2989 2546 205 16 0 2429 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 11956

[startup+160.097 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 25543
/proc/meminfo: memFree=1231880/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=12080 CPUtime=160.04
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 2625 0 0 0 15762 242 0 0 25 0 1 0 193251823 12369920 2597 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528577 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 3020 2597 205 16 0 2460 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 12080

[startup+170.103 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 25543
/proc/meminfo: memFree=1231880/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=12080 CPUtime=170.04
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 2625 0 0 0 16744 260 0 0 25 0 1 0 193251823 12369920 2597 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 3020 2597 205 16 0 2460 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 12080

[startup+180.109 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 25543
/proc/meminfo: memFree=1231176/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=12860 CPUtime=180.05
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 2799 0 0 0 17723 282 0 0 25 0 1 0 193251823 13168640 2771 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 3215 2771 205 16 0 2655 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 12860

[startup+190.116 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 25543
/proc/meminfo: memFree=1231176/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=12988 CPUtime=190.05
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 2824 0 0 0 18680 325 0 0 25 0 1 0 193251823 13299712 2796 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 3247 2796 205 16 0 2687 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 12988

[startup+200.122 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 25543
/proc/meminfo: memFree=1231112/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=12988 CPUtime=200.06
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 2824 0 0 0 19669 337 0 0 25 0 1 0 193251823 13299712 2796 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 3247 2796 205 16 0 2687 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 12988

[startup+210.128 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 25543
/proc/meminfo: memFree=1231112/2055892 swapFree=4084900/4096564

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

/proc/25543/statm: 7165 6639 205 16 0 6605 0
Current children cumulated CPU time (s) 1590.57
Current children cumulated vsize (Kb) 28660

[startup+1601.04 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 25545
/proc/meminfo: memFree=1215560/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=28660 CPUtime=1600.57
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 6776 0 0 0 158305 1752 0 0 25 0 1 0 193251823 29347840 6639 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 7165 6639 205 16 0 6605 0
Current children cumulated CPU time (s) 1600.57
Current children cumulated vsize (Kb) 28660

[startup+1611.05 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 25545
/proc/meminfo: memFree=1215496/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=28660 CPUtime=1610.58
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 6776 0 0 0 159298 1760 0 0 25 0 1 0 193251823 29347840 6639 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 9985902 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 7165 6639 205 16 0 6605 0
Current children cumulated CPU time (s) 1610.58
Current children cumulated vsize (Kb) 28660

[startup+1621.05 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 25545
/proc/meminfo: memFree=1215560/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=28660 CPUtime=1620.59
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 6776 0 0 0 160297 1762 0 0 25 0 1 0 193251823 29347840 6639 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527969 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 7165 6639 205 16 0 6605 0
Current children cumulated CPU time (s) 1620.59
Current children cumulated vsize (Kb) 28660

[startup+1631.06 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 25545
/proc/meminfo: memFree=1215560/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=28660 CPUtime=1630.59
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 6776 0 0 0 161296 1763 0 0 25 0 1 0 193251823 29347840 6639 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 7165 6639 205 16 0 6605 0
Current children cumulated CPU time (s) 1630.59
Current children cumulated vsize (Kb) 28660

[startup+1641.06 s]
/proc/loadavg: 0.99 0.98 0.97 3/67 25545
/proc/meminfo: memFree=1215560/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=28660 CPUtime=1640.59
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 6776 0 0 0 162295 1764 0 0 25 0 1 0 193251823 29347840 6639 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528531 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 7165 6639 205 16 0 6605 0
Current children cumulated CPU time (s) 1640.59
Current children cumulated vsize (Kb) 28660

[startup+1651.07 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 25545
/proc/meminfo: memFree=1215560/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=28660 CPUtime=1650.59
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 6776 0 0 0 163294 1765 0 0 25 0 1 0 193251823 29347840 6639 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527947 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 7165 6639 205 16 0 6605 0
Current children cumulated CPU time (s) 1650.59
Current children cumulated vsize (Kb) 28660

[startup+1661.08 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 25545
/proc/meminfo: memFree=1215560/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=28660 CPUtime=1660.6
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 6776 0 0 0 164294 1766 0 0 25 0 1 0 193251823 29347840 6639 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 7165 6639 205 16 0 6605 0
Current children cumulated CPU time (s) 1660.6
Current children cumulated vsize (Kb) 28660

[startup+1671.08 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 25545
/proc/meminfo: memFree=1215560/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=28660 CPUtime=1670.6
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 6776 0 0 0 165293 1767 0 0 25 0 1 0 193251823 29347840 6639 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 7165 6639 205 16 0 6605 0
Current children cumulated CPU time (s) 1670.6
Current children cumulated vsize (Kb) 28660

[startup+1681.09 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 25545
/proc/meminfo: memFree=1215560/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=28660 CPUtime=1680.66
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 6776 0 0 0 166298 1768 0 0 25 0 1 0 193251823 29347840 6639 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 7165 6639 205 16 0 6605 0
Current children cumulated CPU time (s) 1680.66
Current children cumulated vsize (Kb) 28660

[startup+1691.16 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 25545
/proc/meminfo: memFree=1215560/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=28660 CPUtime=1690.67
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 6776 0 0 0 167297 1770 0 0 25 0 1 0 193251823 29347840 6639 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 7165 6639 205 16 0 6605 0
Current children cumulated CPU time (s) 1690.67
Current children cumulated vsize (Kb) 28660

[startup+1701.16 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 25545
/proc/meminfo: memFree=1215496/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=28660 CPUtime=1700.67
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 6776 0 0 0 168283 1784 0 0 25 0 1 0 193251823 29347840 6639 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516727 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 7165 6639 205 16 0 6605 0
Current children cumulated CPU time (s) 1700.67
Current children cumulated vsize (Kb) 28660

[startup+1711.17 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 25545
/proc/meminfo: memFree=1214408/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=29812 CPUtime=1710.68
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 7062 0 0 0 169274 1794 0 0 25 0 1 0 193251823 30527488 6925 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 7453 6925 205 16 0 6893 0
Current children cumulated CPU time (s) 1710.68
Current children cumulated vsize (Kb) 29812

[startup+1721.18 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 25545
/proc/meminfo: memFree=1214344/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=29812 CPUtime=1720.67
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 7062 0 0 0 170267 1800 0 0 25 0 1 0 193251823 30527488 6925 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 7453 6925 205 16 0 6893 0
Current children cumulated CPU time (s) 1720.67
Current children cumulated vsize (Kb) 29812

[startup+1731.18 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 25545
/proc/meminfo: memFree=1214344/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=29812 CPUtime=1730.68
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 7062 0 0 0 171263 1805 0 0 25 0 1 0 193251823 30527488 6925 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 7453 6925 205 16 0 6893 0
Current children cumulated CPU time (s) 1730.68
Current children cumulated vsize (Kb) 29812

[startup+1741.19 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 25545
/proc/meminfo: memFree=1214344/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=29812 CPUtime=1740.69
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 7062 0 0 0 172261 1808 0 0 25 0 1 0 193251823 30527488 6925 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 7453 6925 205 16 0 6893 0
Current children cumulated CPU time (s) 1740.69
Current children cumulated vsize (Kb) 29812

[startup+1751.19 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 25545
/proc/meminfo: memFree=1214408/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=29812 CPUtime=1750.69
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 7062 0 0 0 173257 1812 0 0 25 0 1 0 193251823 30527488 6925 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 7453 6925 205 16 0 6893 0
Current children cumulated CPU time (s) 1750.69
Current children cumulated vsize (Kb) 29812

[startup+1761.2 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 25545
/proc/meminfo: memFree=1214408/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=29812 CPUtime=1760.69
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 7062 0 0 0 174254 1815 0 0 25 0 1 0 193251823 30527488 6925 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 7453 6925 205 16 0 6893 0
Current children cumulated CPU time (s) 1760.69
Current children cumulated vsize (Kb) 29812

[startup+1771.21 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 25545
/proc/meminfo: memFree=1214408/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=29812 CPUtime=1770.69
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 7062 0 0 0 175252 1817 0 0 25 0 1 0 193251823 30527488 6925 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 7453 6925 205 16 0 6893 0
Current children cumulated CPU time (s) 1770.69
Current children cumulated vsize (Kb) 29812

[startup+1781.21 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 25545
/proc/meminfo: memFree=1214408/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=29812 CPUtime=1780.7
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 7062 0 0 0 176251 1819 0 0 25 0 1 0 193251823 30527488 6925 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 7453 6925 205 16 0 6893 0
Current children cumulated CPU time (s) 1780.7
Current children cumulated vsize (Kb) 29812

[startup+1782.22 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 25545
/proc/meminfo: memFree=1214408/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=29812 CPUtime=1781.71
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 7062 0 0 0 176351 1820 0 0 25 0 1 0 193251823 30527488 6925 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520015 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 7453 6925 205 16 0 6893 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (Kb) 29812

[startup+1783.23 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 25545
/proc/meminfo: memFree=1214408/2055892 swapFree=4084900/4096564
[pid=25543] ppid=25541 vsize=29812 CPUtime=1782.71
/proc/25543/stat : 25543 (Pueblo13) R 25541 25543 25497 0 -1 4194304 7062 0 0 0 176451 1820 0 0 25 0 1 0 193251823 30527488 6925 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/25543/statm: 7453 6925 205 16 0 6893 0
Current children cumulated CPU time (s) 1782.71
Current children cumulated vsize (Kb) 29812

Child status: 10
Real time (s): 1783.27
CPU time (s): 1782.74
CPU user time (s): 1764.53
CPU system time (s): 18.2092
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (Kb): 29812

Launcher Data (download as text)

Begin job on node92 on Fri Jun  2 19:22:09 UTC 2006


FILE ID= 37779-1149276129

PBS_JOBID= 301639

BENCH NAME= ROOT/tmp/node92/37779-1149276129/instance-37779-1149276129.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node92/37779-1149276129/instance-37779-1149276129.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node92/watcher-37779-1149276129 -o ROOT/results/node92/solver-37779-1149276129 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node92/37779-1149276129/instance-37779-1149276129.opb

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  a5b00f1ae7deac89a36da7a8be4b1f6d

RANDOM SEED= 732281993


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


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1241688 kB
Buffers:         38792 kB
Cached:         699656 kB
SwapCached:       2956 kB
Active:          54724 kB
Inactive:       692516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1241688 kB
SwapTotal:     4096564 kB
SwapFree:      4084900 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          15196 kB
Slab:            53684 kB
Committed_AS:   269184 kB
PageTables:       1256 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node92 on Fri Jun  2 19:51:53 UTC 2006