Trace number 351811

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.16SAT (TO)331 1800.1 1800.05

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib3/normalized-reduced-mps-v2-20-10-qnet1_o.opb
MD5SUM8b204aeb505cc1c787aa4db3220d0b5a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark319
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 272
Optimality of the best value was proved NO
Number of variables5380
Total number of constraints584
Number of constraints which are clauses32
Number of constraints which are cardinality constraints (but not clauses)48
Number of constraints which are nor clauses,nor cardinality constraints504
Minimum length of a constraint2
Maximum length of a constraint54
Number of terms in the objective function 3720
Biggest coefficient in the objective function 2115
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 527620
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262086
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 527620
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	331

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node16/watcher-351811-1176614421 -o ROOT/results/node16/solver-351811-1176614421 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351811-1176614421/instance-351811-1176614421.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.01 1.03 1.00 3/77 14241
/proc/meminfo: memFree=1702432/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=11856 CPUtime=0
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 109359712 12140544 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7531341 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 2964 335 281 324 0 2003 0

[startup+0.075678 s]
/proc/loadavg: 1.01 1.03 1.00 3/77 14241
/proc/meminfo: memFree=1702432/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=5380 CPUtime=0.06
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 800 0 0 0 6 0 0 0 18 0 1 0 109359712 5509120 728 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 1345 728 312 324 0 414 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5380

[startup+0.102671 s]
/proc/loadavg: 1.01 1.03 1.00 3/77 14241
/proc/meminfo: memFree=1702432/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=5512 CPUtime=0.09
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 822 0 0 0 9 0 0 0 18 0 1 0 109359712 5644288 750 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 1378 750 312 324 0 447 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5512

[startup+0.302629 s]
/proc/loadavg: 1.01 1.03 1.00 3/77 14241
/proc/meminfo: memFree=1702432/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=6300 CPUtime=0.29
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 1003 0 0 0 28 1 0 0 19 0 1 0 109359712 6451200 931 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550953 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 1575 931 313 324 0 644 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6300

[startup+0.701548 s]
/proc/loadavg: 1.01 1.03 1.00 3/77 14241
/proc/meminfo: memFree=1702432/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=7084 CPUtime=0.69
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 1198 0 0 0 67 2 0 0 23 0 1 0 109359712 7254016 1126 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 1771 1126 313 324 0 840 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7084

[startup+1.50138 s]
/proc/loadavg: 1.01 1.03 1.00 2/78 14242
/proc/meminfo: memFree=1698584/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=8380 CPUtime=1.49
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 1530 0 0 0 147 2 0 0 25 0 1 0 109359712 8581120 1458 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 2095 1458 313 324 0 1164 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8380

[startup+3.10105 s]
/proc/loadavg: 1.01 1.03 1.00 2/78 14242
/proc/meminfo: memFree=1696600/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=10980 CPUtime=3.09
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 2181 0 0 0 306 3 0 0 25 0 1 0 109359712 11243520 2109 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 2745 2109 313 324 0 1814 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10980

[startup+6.30139 s]
/proc/loadavg: 1.01 1.03 1.00 2/78 14242
/proc/meminfo: memFree=1690328/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=17180 CPUtime=6.29
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 3752 0 0 0 624 5 0 0 25 0 1 0 109359712 17592320 3680 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 4295 3680 313 324 0 3364 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17180

[startup+12.7011 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 14242
/proc/meminfo: memFree=1679512/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=27576 CPUtime=12.69
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 6349 0 0 0 1261 8 0 0 25 0 1 0 109359712 28237824 6277 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134573272 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 6894 6277 313 324 0 5963 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27576

[startup+25.5014 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 14242
/proc/meminfo: memFree=1661208/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=45028 CPUtime=25.49
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 10702 0 0 0 2536 13 0 0 25 0 1 0 109359712 46108672 10630 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 11257 10630 313 324 0 10326 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 45028

[startup+51.1011 s]
/proc/loadavg: 1.07 1.04 1.00 2/78 14242
/proc/meminfo: memFree=1629528/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=77728 CPUtime=51.09
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 18859 0 0 0 5086 23 0 0 25 0 1 0 109359712 79593472 18787 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 19432 18787 313 324 0 18501 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 77728

[startup+102.306 s]
/proc/loadavg: 1.08 1.05 1.00 2/78 14242
/proc/meminfo: memFree=1575960/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=130048 CPUtime=102.3
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 31962 0 0 0 10192 38 0 0 25 0 1 0 109359712 133169152 31890 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 32512 31890 313 324 0 31581 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 130048

[startup+162.301 s]
/proc/loadavg: 1.03 1.03 1.00 2/78 14242
/proc/meminfo: memFree=1537048/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=168868 CPUtime=162.29
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 41670 0 0 0 16177 52 0 0 25 0 1 0 109359712 172920832 41598 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 42217 41598 313 324 0 41286 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 168868

[startup+222.303 s]
/proc/loadavg: 1.01 1.03 1.00 2/78 14242
/proc/meminfo: memFree=1533528/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=171960 CPUtime=222.3
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 42543 0 0 0 22174 56 0 0 25 0 1 0 109359712 176087040 42369 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 42990 42369 313 324 0 42059 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 171960

[startup+282.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 14242
/proc/meminfo: memFree=1533528/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=171960 CPUtime=282.3
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 42543 0 0 0 28167 63 0 0 25 0 1 0 109359712 176087040 42369 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 42990 42369 313 324 0 42059 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 171960

[startup+342.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 14242
/proc/meminfo: memFree=1533528/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=171960 CPUtime=342.3
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 42543 0 0 0 34162 68 0 0 25 0 1 0 109359712 176087040 42369 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 42990 42369 313 324 0 42059 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 171960

[startup+402.303 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 14242
/proc/meminfo: memFree=1525976/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=180708 CPUtime=402.31
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 44707 0 0 0 40154 77 0 0 25 0 1 0 109359712 185044992 44533 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 45177 44533 313 324 0 44246 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 180708

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14242
/proc/meminfo: memFree=1488792/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=217064 CPUtime=462.3
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 53798 0 0 0 46141 89 0 0 25 0 1 0 109359712 222273536 53624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 54266 53624 313 324 0 53335 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 217064

[startup+522.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14242
/proc/meminfo: memFree=1474648/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=230664 CPUtime=522.3
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 57329 0 0 0 52136 94 0 0 25 0 1 0 109359712 236199936 57033 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 57666 57033 313 324 0 56735 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 230664

[startup+582.302 s]
/proc/loadavg: 1.08 1.02 1.01 2/78 14242
/proc/meminfo: memFree=1474648/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=230664 CPUtime=582.31
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 57329 0 0 0 58133 98 0 0 25 0 1 0 109359712 236199936 57033 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 57666 57033 313 324 0 56735 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 230664

[startup+642.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 14242
/proc/meminfo: memFree=1474648/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=230664 CPUtime=642.32
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 57329 0 0 0 64130 102 0 0 25 0 1 0 109359712 236199936 57033 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 57666 57033 313 324 0 56735 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 230664


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14242
/proc/meminfo: memFree=1474584/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=230664 CPUtime=822.31
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 57329 0 0 0 82119 112 0 0 25 0 1 0 109359712 236199936 57033 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 57666 57033 313 324 0 56735 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 230664

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14244
/proc/meminfo: memFree=1474648/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=230664 CPUtime=882.32
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 57329 0 0 0 88113 119 0 0 25 0 1 0 109359712 236199936 57033 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 57666 57033 313 324 0 56735 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 230664

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14244
/proc/meminfo: memFree=1474648/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=230664 CPUtime=942.31
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 57329 0 0 0 94108 123 0 0 25 0 1 0 109359712 236199936 57033 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 57666 57033 313 324 0 56735 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 230664

[startup+1002.3 s]
/proc/loadavg: 1.08 1.03 1.01 2/78 14244
/proc/meminfo: memFree=1474584/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=230676 CPUtime=1002.32
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 57332 0 0 0 100106 126 0 0 25 0 1 0 109359712 236212224 57036 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 57669 57036 313 324 0 56738 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 230676

[startup+1062.3 s]
/proc/loadavg: 1.03 1.02 1.00 2/78 14244
/proc/meminfo: memFree=1474520/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=230952 CPUtime=1062.33
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 57391 0 0 0 106105 128 0 0 25 0 1 0 109359712 236494848 57095 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 57738 57095 313 324 0 56807 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 230952

[startup+1122.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 14244
/proc/meminfo: memFree=1469464/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=235620 CPUtime=1122.33
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 58689 0 0 0 112102 131 0 0 25 0 1 0 109359712 241274880 58259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 58905 58259 313 324 0 57974 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 235620

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 14244
/proc/meminfo: memFree=1469464/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=235620 CPUtime=1182.32
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 58689 0 0 0 118101 131 0 0 25 0 1 0 109359712 241274880 58259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 58905 58259 313 324 0 57974 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 235620

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14244
/proc/meminfo: memFree=1469464/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=235620 CPUtime=1242.33
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 58689 0 0 0 124099 134 0 0 25 0 1 0 109359712 241274880 58259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7636897 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 58905 58259 313 324 0 57974 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 235620

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14244
/proc/meminfo: memFree=1469464/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=235620 CPUtime=1302.33
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 58689 0 0 0 130094 139 0 0 25 0 1 0 109359712 241274880 58259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 58905 58259 313 324 0 57974 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 235620

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14244
/proc/meminfo: memFree=1469464/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=235620 CPUtime=1362.33
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 58689 0 0 0 136090 143 0 0 25 0 1 0 109359712 241274880 58259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 58905 58259 313 324 0 57974 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 235620

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14244
/proc/meminfo: memFree=1469464/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=235620 CPUtime=1422.33
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 58689 0 0 0 142087 146 0 0 25 0 1 0 109359712 241274880 58259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 58905 58259 313 324 0 57974 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 235620

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14244
/proc/meminfo: memFree=1469464/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=235620 CPUtime=1482.34
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 58689 0 0 0 148085 149 0 0 25 0 1 0 109359712 241274880 58259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 58905 58259 313 324 0 57974 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 235620

[startup+1542.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/78 14244
/proc/meminfo: memFree=1469464/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=235620 CPUtime=1542.33
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 58689 0 0 0 154082 151 0 0 25 0 1 0 109359712 241274880 58259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 58905 58259 313 324 0 57974 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 235620

[startup+1602.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 14244
/proc/meminfo: memFree=1469400/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=235620 CPUtime=1602.33
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 58689 0 0 0 160075 158 0 0 25 0 1 0 109359712 241274880 58259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 58905 58259 313 324 0 57974 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 235620

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14244
/proc/meminfo: memFree=1469400/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=235620 CPUtime=1662.34
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 58689 0 0 0 166067 167 0 0 25 0 1 0 109359712 241274880 58259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 58905 58259 313 324 0 57974 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 235620

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14244
/proc/meminfo: memFree=1469400/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=235620 CPUtime=1722.34
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 58689 0 0 0 172061 173 0 0 25 0 1 0 109359712 241274880 58259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7646882 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 58905 58259 313 324 0 57974 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 235620

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14244
/proc/meminfo: memFree=1469336/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=235660 CPUtime=1782.34
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 58699 0 0 0 178056 178 0 0 25 0 1 0 109359712 241315840 58269 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 58915 58269 313 324 0 57984 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 235660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14244
/proc/meminfo: memFree=1469080/2055920 swapFree=4158176/4192956
[pid=14241] ppid=14239 vsize=235672 CPUtime=1800.04
/proc/14241/stat : 14241 (bsolo3.0.16) R 14239 14241 13306 0 -1 4194304 58848 0 0 0 179825 179 0 0 25 0 1 0 109359712 241328128 58272 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14241/statm: 58918 58272 313 324 0 57987 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 235672

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 15
Real time (s): 1800.05
CPU time (s): 1800.1
CPU user time (s): 1798.26
CPU system time (s): 1.83672
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 236256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.26
system time used= 1.83672
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58849
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 36181

runsolver used 1.9717 second user time and 4.5833 second system time

The end

Launcher Data (download as text)

Begin job on node16 on Sun Apr 15 05:20:21 UTC 2007

IDJOB= 351811
IDBENCH= 1820
IDSOLVER= 163
FILE ID= node16/351811-1176614421

PBS_JOBID= 4556832

Free space on /tmp= 66516 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_o.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351811-1176614421/instance-351811-1176614421.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node16/watcher-351811-1176614421 -o ROOT/results/node16/solver-351811-1176614421 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351811-1176614421/instance-351811-1176614421.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  8b204aeb505cc1c787aa4db3220d0b5a

RANDOM SEED= 91030621

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node16.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.232
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.232
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:       1702904 kB
Buffers:         42688 kB
Cached:         227476 kB
SwapCached:       2720 kB
Active:         113076 kB
Inactive:       182388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1702904 kB
SwapTotal:     4192956 kB
SwapFree:      4158176 kB
Dirty:            4508 kB
Writeback:           0 kB
Mapped:          31212 kB
Slab:            43124 kB
Committed_AS:  3116376 kB
PageTables:       1836 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= 66516 MiB

End job on node16 on Sun Apr 15 05:50:23 UTC 2007