Trace number 351863

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
bsolo 3.0.16SAT316 1800.05 1800.59

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 benchmark301
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

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	316

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node34/watcher-351863-1176615635 -o ROOT/results/node34/solver-351863-1176615635 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351863-1176615635/instance-351863-1176615635.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.12 1.12 1.08 3/77 17150
/proc/meminfo: memFree=1599112/2055920 swapFree=4150240/4192956
[pid=17150] ppid=17148 vsize=2520 CPUtime=0
/proc/17150/stat : 17150 (bsolo3.0.16) D 17148 17150 16357 0 -1 4194304 57 0 1 0 0 0 0 0 18 0 1 0 109479002 2580480 41 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7721764 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/17150/statm: 630 41 32 324 0 8 0

[startup+0.0275249 s]
/proc/loadavg: 1.12 1.12 1.08 3/77 17150
/proc/meminfo: memFree=1599112/2055920 swapFree=4150240/4192956
[pid=17150] ppid=17148 vsize=4516 CPUtime=0.01
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 502 0 3 0 1 0 0 0 18 0 1 0 109479002 4624384 473 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8156795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 1129 473 300 324 0 166 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4516

[startup+0.102528 s]
/proc/loadavg: 1.12 1.12 1.08 3/77 17150
/proc/meminfo: memFree=1599112/2055920 swapFree=4150240/4192956
[pid=17150] ppid=17148 vsize=5528 CPUtime=0.08
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 834 0 3 0 7 1 0 0 18 0 1 0 109479002 5660672 763 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8156795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 1382 763 312 324 0 451 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5528

[startup+0.301544 s]
/proc/loadavg: 1.12 1.12 1.08 3/77 17150
/proc/meminfo: memFree=1599112/2055920 swapFree=4150240/4192956
[pid=17150] ppid=17148 vsize=6072 CPUtime=0.28
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 945 0 3 0 26 2 0 0 19 0 1 0 109479002 6217728 874 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 1518 874 313 324 0 587 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6072

[startup+0.702576 s]
/proc/loadavg: 1.12 1.12 1.08 3/77 17150
/proc/meminfo: memFree=1599112/2055920 swapFree=4150240/4192956
[pid=17150] ppid=17148 vsize=6976 CPUtime=0.69
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 1191 0 3 0 66 3 0 0 22 0 1 0 109479002 7143424 1120 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8156795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 1744 1120 313 324 0 813 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6976

[startup+1.50164 s]
/proc/loadavg: 1.12 1.12 1.08 2/78 17151
/proc/meminfo: memFree=1593920/2055920 swapFree=4150240/4192956
[pid=17150] ppid=17148 vsize=9972 CPUtime=1.49
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 1928 0 3 0 145 4 0 0 25 0 1 0 109479002 10211328 1857 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 2493 1857 313 324 0 1562 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9972

[startup+3.10177 s]
/proc/loadavg: 1.12 1.12 1.08 2/78 17151
/proc/meminfo: memFree=1590336/2055920 swapFree=4150240/4192956
[pid=17150] ppid=17148 vsize=13492 CPUtime=3.08
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 2802 0 3 0 304 4 0 0 25 0 1 0 109479002 13815808 2731 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 3373 2731 313 324 0 2442 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13492

[startup+6.30202 s]
/proc/loadavg: 1.11 1.12 1.08 2/78 17151
/proc/meminfo: memFree=1584000/2055920 swapFree=4150240/4192956
[pid=17150] ppid=17148 vsize=19584 CPUtime=6.28
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 4326 0 3 0 621 7 0 0 25 0 1 0 109479002 20054016 4255 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 4896 4255 313 324 0 3965 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19584

[startup+12.7015 s]
/proc/loadavg: 1.10 1.11 1.08 2/78 17151
/proc/meminfo: memFree=1571584/2055920 swapFree=4150240/4192956
[pid=17150] ppid=17148 vsize=32432 CPUtime=12.68
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 7555 0 3 0 1257 11 0 0 25 0 1 0 109479002 33210368 7484 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 8108 7484 313 324 0 7177 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 32432

[startup+25.5015 s]
/proc/loadavg: 1.08 1.11 1.08 2/78 17151
/proc/meminfo: memFree=1545024/2055920 swapFree=4150240/4192956
[pid=17150] ppid=17148 vsize=57528 CPUtime=25.47
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 13810 0 3 0 2529 18 0 0 25 0 1 0 109479002 58908672 13739 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 14382 13739 313 324 0 13451 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 57528

[startup+51.1016 s]
/proc/loadavg: 1.05 1.10 1.08 2/78 17151
/proc/meminfo: memFree=1508224/2055920 swapFree=4150240/4192956
[pid=17150] ppid=17148 vsize=94296 CPUtime=51.06
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 22997 0 3 0 5077 29 0 0 25 0 1 0 109479002 96559104 22926 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 23574 22926 313 324 0 22643 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 94296

[startup+102.306 s]
/proc/loadavg: 1.02 1.08 1.07 2/78 17151
/proc/meminfo: memFree=1465344/2055920 swapFree=4150304/4192956
[pid=17150] ppid=17148 vsize=136588 CPUtime=102.26
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 33576 0 3 0 10182 44 0 0 25 0 1 0 109479002 139866112 33505 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551149 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 34147 33505 313 324 0 33216 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 136588

[startup+162.301 s]
/proc/loadavg: 1.01 1.06 1.07 2/78 17151
/proc/meminfo: memFree=1422528/2055920 swapFree=4150304/4192956
[pid=17150] ppid=17148 vsize=179308 CPUtime=162.24
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 44282 0 3 0 16163 61 0 0 25 0 1 0 109479002 183611392 44211 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 44827 44211 313 324 0 43896 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 179308

[startup+222.301 s]
/proc/loadavg: 1.00 1.05 1.06 2/78 17151
/proc/meminfo: memFree=1418944/2055920 swapFree=4150368/4192956
[pid=17150] ppid=17148 vsize=182572 CPUtime=222.22
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 45218 0 3 0 22158 64 0 0 25 0 1 0 109479002 186953728 45014 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 45643 45014 313 324 0 44712 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 182572

[startup+282.302 s]
/proc/loadavg: 1.00 1.04 1.06 2/78 17151
/proc/meminfo: memFree=1418944/2055920 swapFree=4150368/4192956
[pid=17150] ppid=17148 vsize=182572 CPUtime=282.21
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 45218 0 3 0 28154 67 0 0 25 0 1 0 109479002 186953728 45014 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 45643 45014 313 324 0 44712 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 182572

[startup+342.302 s]
/proc/loadavg: 1.00 1.03 1.05 2/78 17151
/proc/meminfo: memFree=1418944/2055920 swapFree=4150368/4192956
[pid=17150] ppid=17148 vsize=182572 CPUtime=342.2
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 45218 0 3 0 34149 71 0 0 25 0 1 0 109479002 186953728 45014 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 45643 45014 313 324 0 44712 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 182572

[startup+402.301 s]
/proc/loadavg: 1.00 1.02 1.04 2/78 17151
/proc/meminfo: memFree=1418880/2055920 swapFree=4150432/4192956
[pid=17150] ppid=17148 vsize=182572 CPUtime=402.19
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 45218 0 3 0 40141 78 0 0 25 0 1 0 109479002 186953728 45014 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 45643 45014 313 324 0 44712 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 182572

[startup+462.301 s]
/proc/loadavg: 1.00 1.02 1.04 2/78 17151
/proc/meminfo: memFree=1418816/2055920 swapFree=4150432/4192956
[pid=17150] ppid=17148 vsize=182572 CPUtime=462.17
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 45218 0 3 0 46136 81 0 0 25 0 1 0 109479002 186953728 45014 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 45643 45014 313 324 0 44712 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 182572

[startup+522.302 s]
/proc/loadavg: 1.00 1.01 1.03 2/78 17151
/proc/meminfo: memFree=1418752/2055920 swapFree=4150496/4192956
[pid=17150] ppid=17148 vsize=182572 CPUtime=522.15
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 45218 0 3 0 52133 82 0 0 25 0 1 0 109479002 186953728 45014 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 45643 45014 313 324 0 44712 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 182572

[startup+582.303 s]
/proc/loadavg: 1.00 1.00 1.03 2/78 17151
/proc/meminfo: memFree=1418688/2055920 swapFree=4150496/4192956
[pid=17150] ppid=17148 vsize=182572 CPUtime=582.14
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 45218 0 3 0 58130 84 0 0 25 0 1 0 109479002 186953728 45014 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 45643 45014 313 324 0 44712 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 182572

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.02 2/78 17151
/proc/meminfo: memFree=1418560/2055920 swapFree=4150560/4192956
[pid=17150] ppid=17148 vsize=182572 CPUtime=642.14
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 45218 0 3 0 64128 86 0 0 25 0 1 0 109479002 186953728 45014 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 45643 45014 313 324 0 44712 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 182572


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

/proc/meminfo: memFree=1351296/2055920 swapFree=4150688/4192956
[pid=17150] ppid=17148 vsize=249044 CPUtime=1062.03
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 62000 0 3 0 106089 114 0 0 25 0 1 0 109479002 255021056 61635 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 62261 61635 313 324 0 61330 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 249044

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17151
/proc/meminfo: memFree=1351296/2055920 swapFree=4150752/4192956
[pid=17150] ppid=17148 vsize=249044 CPUtime=1122.02
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 62000 0 3 0 112087 115 0 0 25 0 1 0 109479002 255021056 61635 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 62261 61635 313 324 0 61330 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 249044

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17151
/proc/meminfo: memFree=1351296/2055920 swapFree=4150752/4192956
[pid=17150] ppid=17148 vsize=249044 CPUtime=1182.01
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 62000 0 3 0 118081 120 0 0 25 0 1 0 109479002 255021056 61635 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 62261 61635 313 324 0 61330 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 249044

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 17241
/proc/meminfo: memFree=1349696/2055920 swapFree=4150816/4192956
[pid=17150] ppid=17148 vsize=249044 CPUtime=1241.94
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 62000 0 3 0 124067 127 0 0 25 0 1 0 109479002 255021056 61635 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 62261 61635 313 324 0 61330 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 249044

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17349
/proc/meminfo: memFree=1350784/2055920 swapFree=4150816/4192956
[pid=17150] ppid=17148 vsize=249044 CPUtime=1301.87
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 62000 0 3 0 130050 137 0 0 25 0 1 0 109479002 255021056 61635 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 62261 61635 313 324 0 61330 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 249044

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17349
/proc/meminfo: memFree=1339072/2055920 swapFree=4150816/4192956
[pid=17150] ppid=17148 vsize=261764 CPUtime=1361.85
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 65164 0 3 0 136037 148 0 0 25 0 1 0 109479002 268046336 64799 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 65441 64799 313 324 0 64510 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 261764

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17349
/proc/meminfo: memFree=1299840/2055920 swapFree=4150880/4192956
[pid=17150] ppid=17148 vsize=300100 CPUtime=1421.85
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 74772 0 3 0 142023 162 0 0 25 0 1 0 109479002 307302400 74407 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551271 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 75025 74407 313 324 0 74094 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 300100

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17349
/proc/meminfo: memFree=1278144/2055920 swapFree=4150880/4192956
[pid=17150] ppid=17148 vsize=321604 CPUtime=1481.83
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 80302 0 3 0 148013 170 0 0 25 0 1 0 109479002 329322496 79759 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 80401 79759 313 324 0 79470 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 321604

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17349
/proc/meminfo: memFree=1278144/2055920 swapFree=4150944/4192956
[pid=17150] ppid=17148 vsize=321604 CPUtime=1541.81
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 80302 0 3 0 154009 172 0 0 25 0 1 0 109479002 329322496 79759 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 80401 79759 313 324 0 79470 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 321604

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17349
/proc/meminfo: memFree=1278144/2055920 swapFree=4150944/4192956
[pid=17150] ppid=17148 vsize=321604 CPUtime=1601.8
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 80302 0 3 0 160003 177 0 0 25 0 1 0 109479002 329322496 79759 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 80401 79759 313 324 0 79470 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 321604

[startup+1662.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 17349
/proc/meminfo: memFree=1278144/2055920 swapFree=4150944/4192956
[pid=17150] ppid=17148 vsize=321604 CPUtime=1661.79
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 80302 0 3 0 165998 181 0 0 25 0 1 0 109479002 329322496 79759 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 80401 79759 313 324 0 79470 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 321604

[startup+1722.3 s]
/proc/loadavg: 1.08 1.04 1.01 2/78 17349
/proc/meminfo: memFree=1278080/2055920 swapFree=4151008/4192956
[pid=17150] ppid=17148 vsize=321604 CPUtime=1721.78
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 80302 0 3 0 171994 184 0 0 25 0 1 0 109479002 329322496 79759 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 80401 79759 313 324 0 79470 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 321604

[startup+1782.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/78 17349
/proc/meminfo: memFree=1277888/2055920 swapFree=4151008/4192956
[pid=17150] ppid=17148 vsize=321604 CPUtime=1781.76
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 80302 0 3 0 177990 186 0 0 25 0 1 0 109479002 329322496 79759 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 80401 79759 313 324 0 79470 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 321604

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

[startup+1791.91 s]
/proc/loadavg: 1.02 1.03 1.00 2/78 17349
/proc/meminfo: memFree=1277888/2055920 swapFree=4151008/4192956
[pid=17150] ppid=17148 vsize=321604 CPUtime=1791.36
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 80302 0 3 0 178949 187 0 0 25 0 1 0 109479002 329322496 79759 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 80401 79759 313 324 0 79470 0
Current children cumulated CPU time (s) 1791.36
Current children cumulated vsize (KiB) 321604

[startup+1795.1 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 17349
/proc/meminfo: memFree=1277888/2055920 swapFree=4151008/4192956
[pid=17150] ppid=17148 vsize=321604 CPUtime=1794.56
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 80302 0 3 0 179269 187 0 0 25 0 1 0 109479002 329322496 79759 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 80401 79759 313 324 0 79470 0
Current children cumulated CPU time (s) 1794.56
Current children cumulated vsize (KiB) 321604

[startup+1798.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 17349
/proc/meminfo: memFree=1277888/2055920 swapFree=4151008/4192956
[pid=17150] ppid=17148 vsize=321604 CPUtime=1797.75
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 80302 0 3 0 179588 187 0 0 25 0 1 0 109479002 329322496 79759 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 80401 79759 313 324 0 79470 0
Current children cumulated CPU time (s) 1797.75
Current children cumulated vsize (KiB) 321604

[startup+1799.9 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 17349
/proc/meminfo: memFree=1277824/2055920 swapFree=4151008/4192956
[pid=17150] ppid=17148 vsize=321604 CPUtime=1799.35
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 80302 0 3 0 179748 187 0 0 25 0 1 0 109479002 329322496 79759 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 80401 79759 313 324 0 79470 0
Current children cumulated CPU time (s) 1799.35
Current children cumulated vsize (KiB) 321604

[startup+1800.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 17349
/proc/meminfo: memFree=1277824/2055920 swapFree=4151008/4192956
[pid=17150] ppid=17148 vsize=321604 CPUtime=1799.75
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 80302 0 3 0 179788 187 0 0 25 0 1 0 109479002 329322496 79759 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 80401 79759 313 324 0 79470 0
Current children cumulated CPU time (s) 1799.75
Current children cumulated vsize (KiB) 321604

[startup+1800.5 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 17349
/proc/meminfo: memFree=1277824/2055920 swapFree=4151008/4192956
[pid=17150] ppid=17148 vsize=321604 CPUtime=1799.95
/proc/17150/stat : 17150 (bsolo3.0.16) R 17148 17150 16357 0 -1 4194304 80302 0 3 0 179808 187 0 0 25 0 1 0 109479002 329322496 79759 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17150/statm: 80401 79759 313 324 0 79470 0
Current children cumulated CPU time (s) 1799.95
Current children cumulated vsize (KiB) 321604

Child status: 0
Real time (s): 1800.59
CPU time (s): 1800.05
CPU user time (s): 1798.13
CPU system time (s): 1.92271
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 322316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.13
system time used= 1.92271
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80303
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19
involuntary context switches= 5214

runsolver used 2.14367 second user time and 4.34934 second system time

The end

Launcher Data (download as text)

Begin job on node34 on Sun Apr 15 05:40:36 UTC 2007

IDJOB= 351863
IDBENCH= 1831
IDSOLVER= 163
FILE ID= node34/351863-1176615635

PBS_JOBID= 4557044

Free space on /tmp= 66560 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-qnet1.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351863-1176615635/instance-351863-1176615635.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node34/watcher-351863-1176615635 -o ROOT/results/node34/solver-351863-1176615635 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351863-1176615635/instance-351863-1176615635.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  a5b00f1ae7deac89a36da7a8be4b1f6d

RANDOM SEED= 864401176

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node34.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1599520 kB
Buffers:         13156 kB
Cached:         229556 kB
SwapCached:       2632 kB
Active:         176828 kB
Inactive:       210812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1599520 kB
SwapTotal:     4192956 kB
SwapFree:      4150240 kB
Dirty:            4528 kB
Writeback:           0 kB
Mapped:         159628 kB
Slab:            54084 kB
Committed_AS:   405732 kB
PageTables:       1980 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66560 MiB

End job on node34 on Sun Apr 15 06:10:36 UTC 2007