Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | 20 | 1800.03 | 1800.63 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_6.opb |
MD5SUM | d25f6086317f033c233c4700493f03d1 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 20 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 20 |
Optimality of the best value was proved | NO |
Number of variables | 6027 |
Total number of constraints | 21278 |
Number of constraints which are clauses | 21267 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 10 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 650 |
Number of terms in the objective function | 650 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 650 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 31 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 681 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 0.59/0.65 c Converting 21273 PB-constraints to clauses... 0.59/0.65 c -- Unit propagations: (none) 0.59/0.65 c -- Detecting intervals from adjacent constraints: ========= 0.59/0.65 c -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 0.69/0.71 c ---[ 0]---> Adder-cost: 1282 maxlim: 618 bits: 10/10 0.89/1.00 c ==================================[MINISAT+]================================== 0.89/1.00 c | Conflicts | Original | Learnt | Progress | 0.89/1.00 c | | Clauses Literals | Max Clauses Literals LPC | | 0.89/1.00 c ============================================================================== 0.89/1.00 c | 0 | 30173 85211 | 10057 0 0 nan | 0.000 % | 0.99/1.04 c | 100 | 30166 85188 | 11062 99 2161 21.8 | 0.205 % | 0.99/1.09 c | 250 | 30130 85066 | 12168 243 3534 14.5 | 0.287 % | 1.10/1.19 c | 475 | 30113 85005 | 13385 465 5611 12.1 | 0.314 % | 1.29/1.31 c | 812 | 30081 84897 | 14724 797 10400 13.0 | 0.397 % | 1.39/1.49 c | 1318 | 30072 84868 | 16196 1302 27232 20.9 | 0.424 % | 1.49/1.55 c | 2078 | 30072 84868 | 17816 2062 44275 21.5 | 0.424 % | 1.79/1.88 c | 3217 | 30072 84868 | 19598 3201 125499 39.2 | 0.424 % | 2.39/2.42 c | 4925 | 30072 84868 | 21558 4909 318394 64.9 | 0.424 % | 3.09/3.16 c | 7487 | 29998 84615 | 23713 7449 656438 88.1 | 0.602 % | 4.29/4.33 c | 11336 | 29998 84615 | 26085 11298 1092614 96.7 | 0.602 % | 6.29/6.34 c | 17103 | 29998 84615 | 28693 17065 1853924 108.6 | 0.602 % | 11.29/11.37 c | 25754 | 29998 84615 | 31563 25716 3262564 126.9 | 0.602 % | 11.99/12.07 c ============================================================================== 11.99/12.07 c [1mFound solution: 31[0m 11.99/12.07 o 31 11.99/12.08 c ---[ 0]---> Sorter-cost:29182 Base: 12.39/12.43 c ==================================[MINISAT+]================================== 12.39/12.43 c | Conflicts | Original | Learnt | Progress | 12.39/12.43 c | | Clauses Literals | Max Clauses Literals LPC | | 12.39/12.43 c ============================================================================== 12.39/12.43 c | 26837 | 62149 159678 | 20716 26799 3430399 128.0 | 0.602 % | 12.49/12.50 c | 26937 | 62149 159678 | 22787 13500 1744203 129.2 | 0.158 % | 12.49/12.59 c | 27089 | 62149 159678 | 25066 13652 1759476 128.9 | 0.158 % | 12.69/12.71 c | 27315 | 62149 159678 | 27572 13878 1785196 128.6 | 0.158 % | 12.79/12.87 c | 27652 | 62149 159678 | 30330 14215 1831005 128.8 | 0.158 % | 13.10/13.15 c | 28158 | 62149 159678 | 33363 14721 1949978 132.5 | 0.158 % | 13.49/13.51 c | 28918 | 62149 159678 | 36699 15481 2110255 136.3 | 0.158 % | 13.79/13.84 c | 30057 | 62149 159678 | 40369 16620 2228856 134.1 | 0.158 % | 13.89/13.91 c ============================================================================== 13.89/13.91 c [1mFound solution: 27[0m 13.89/13.91 o 27 13.89/13.91 c ---[ 0]---> Sorter-cost: 0 Base: 14.19/14.21 c ==================================[MINISAT+]================================== 14.19/14.21 c | Conflicts | Original | Learnt | Progress | 14.19/14.21 c | | Clauses Literals | Max Clauses Literals LPC | | 14.19/14.21 c ============================================================================== 14.19/14.21 c | 30156 | 62173 159738 | 20724 16719 2236433 133.8 | 0.158 % | 14.19/14.28 c | 30257 | 62173 159738 | 22796 16820 2250746 133.8 | 0.162 % | 14.29/14.32 c | 30407 | 62173 159738 | 25076 16970 2261310 133.3 | 0.162 % | 14.29/14.38 c | 30633 | 62173 159738 | 27583 17196 2275180 132.3 | 0.162 % | 14.39/14.48 c | 30972 | 62173 159738 | 30342 17535 2293015 130.8 | 0.162 % | 14.59/14.69 c | 31479 | 62173 159738 | 33376 18042 2330500 129.2 | 0.162 % | 14.99/15.07 c | 32238 | 62173 159738 | 36713 18801 2399563 127.6 | 0.162 % | 15.39/15.48 c | 33377 | 62173 159738 | 40385 19940 2522161 126.5 | 0.162 % | 15.99/16.05 c | 35085 | 62173 159738 | 44423 21648 2754537 127.2 | 0.162 % | 17.29/17.32 c | 37647 | 62173 159738 | 48866 24210 3141199 129.7 | 0.162 % | 18.89/18.98 c | 41492 | 62173 159738 | 53752 28055 3485201 124.2 | 0.162 % | 22.09/22.10 c | 47259 | 62173 159738 | 59127 33822 4085091 120.8 | 0.162 % | 22.39/22.42 c ============================================================================== 22.39/22.42 c [1mFound solution: 24[0m 22.39/22.42 o 24 22.39/22.43 c ---[ 0]---> Sorter-cost: 0 Base: 22.69/22.75 c ==================================[MINISAT+]================================== 22.69/22.75 c | Conflicts | Original | Learnt | Progress | 22.69/22.75 c | | Clauses Literals | Max Clauses Literals LPC | | 22.69/22.75 c ============================================================================== 22.69/22.75 c | 47886 | 62167 159725 | 20722 34401 4132776 120.1 | 0.162 % | 22.89/22.94 c | 47989 | 62167 159725 | 22794 14146 1267059 89.6 | 0.232 % | 22.99/23.02 c | 48139 | 62167 159725 | 25073 14296 1291708 90.4 | 0.232 % | 23.09/23.15 c | 48366 | 62167 159725 | 27580 14523 1313943 90.5 | 0.232 % | 23.19/23.24 c | 48703 | 62167 159725 | 30339 14860 1330659 89.5 | 0.232 % | 23.29/23.39 c | 49212 | 62167 159725 | 33372 15369 1362001 88.6 | 0.232 % | 23.79/23.85 c | 49971 | 62167 159725 | 36710 16128 1500527 93.0 | 0.232 % | 24.59/24.65 c | 51111 | 62167 159725 | 40381 17268 1772263 102.6 | 0.232 % | 25.59/25.69 c | 52820 | 62167 159725 | 44419 18977 1940622 102.3 | 0.232 % | 26.99/27.08 c | 55383 | 62167 159725 | 48861 21540 2143624 99.5 | 0.232 % | 28.89/28.90 c | 59231 | 62167 159725 | 53747 25388 2439960 96.1 | 0.232 % | 33.68/33.73 c | 64998 | 62167 159725 | 59122 31155 3126900 100.4 | 0.232 % | 42.88/42.95 c | 73647 | 62167 159725 | 65034 39804 3987748 100.2 | 0.232 % | 58.87/58.97 c | 86621 | 62167 159725 | 71537 52778 5271813 99.9 | 0.232 % | 89.76/89.80 c | 106082 | 62167 159725 | 78691 72239 6727043 93.1 | 0.232 % | 118.76/118.87 c ============================================================================== 118.76/118.87 c [1mFound solution: 23[0m 118.76/118.87 o 23 118.76/118.88 c ---[ 0]---> Sorter-cost: 0 Base: 119.15/119.21 c ==================================[MINISAT+]================================== 119.15/119.21 c | Conflicts | Original | Learnt | Progress | 119.15/119.21 c | | Clauses Literals | Max Clauses Literals LPC | | 119.15/119.21 c ============================================================================== 119.15/119.21 c | 128754 | 62181 159761 | 20727 35147 2303083 65.5 | 0.232 % | 119.35/119.49 c | 128854 | 62181 159761 | 22799 17087 1093276 64.0 | 0.236 % | 119.45/119.58 c | 129005 | 62181 159761 | 25079 17238 1100625 63.8 | 0.236 % | 119.76/119.80 c | 129230 | 62181 159761 | 27587 17463 1137657 65.1 | 0.236 % | 119.95/120.05 c | 129567 | 62181 159761 | 30346 17800 1189354 66.8 | 0.236 % | 120.35/120.48 c | 130073 | 62181 159761 | 33381 18306 1237795 67.6 | 0.236 % | 120.86/120.93 c | 130834 | 62181 159761 | 36719 19067 1280279 67.1 | 0.236 % | 121.96/122.04 c | 131974 | 62181 159761 | 40391 20207 1457479 72.1 | 0.236 % | 122.75/122.88 c | 133682 | 62181 159761 | 44430 21915 1577029 72.0 | 0.236 % | 124.65/124.79 c | 136247 | 62181 159761 | 48873 24480 1907770 77.9 | 0.236 % | 126.95/127.09 c | 140094 | 62181 159761 | 53760 28327 2297911 81.1 | 0.236 % | 129.85/129.91 c | 145860 | 62181 159761 | 59136 34093 2580502 75.7 | 0.236 % | 137.65/137.80 c | 154512 | 62181 159761 | 65050 42745 3482569 81.5 | 0.236 % | 141.35/141.41 c ============================================================================== 141.35/141.41 c [1mFound solution: 22[0m 141.35/141.41 o 22 141.35/141.42 c ---[ 0]---> Sorter-cost: 0 Base: 141.65/141.77 c ==================================[MINISAT+]================================== 141.65/141.77 c | Conflicts | Original | Learnt | Progress | 141.65/141.77 c | | Clauses Literals | Max Clauses Literals LPC | | 141.65/141.77 c ============================================================================== 141.65/141.77 c | 158152 | 61921 159150 | 20640 41585 3335899 80.2 | 0.236 % | 141.95/142.05 c | 158253 | 61921 159150 | 22704 14421 1080491 74.9 | 0.883 % | 142.05/142.15 c | 158403 | 61921 159150 | 24974 14571 1092375 75.0 | 0.883 % | 142.25/142.32 c | 158630 | 61921 159150 | 27471 14798 1113412 75.2 | 0.883 % | 142.55/142.63 c | 158967 | 61921 159150 | 30219 15135 1145373 75.7 | 0.883 % | 142.95/143.07 c | 159473 | 61921 159150 | 33240 15641 1217013 77.8 | 0.883 % | 143.45/143.56 c | 160232 | 61921 159150 | 36565 16400 1280655 78.1 | 0.883 % | 144.55/144.66 c | 161371 | 61921 159150 | 40221 17539 1390233 79.3 | 0.883 % | 145.85/145.96 c | 163079 | 61921 159150 | 44243 19247 1539415 80.0 | 0.883 % | 147.75/147.81 c | 165643 | 61921 159150 | 48668 21811 1745676 80.0 | 0.883 % | 151.85/151.98 c | 169487 | 61921 159150 | 53534 25655 2201883 85.8 | 0.883 % | 157.54/157.62 c | 175253 | 61921 159150 | 58888 31421 2750587 87.5 | 0.883 % | 165.25/165.38 c | 183904 | 61921 159150 | 64777 40072 3325764 83.0 | 0.883 % | 179.85/179.97 c | 196878 | 61921 159150 | 71254 53046 4115117 77.6 | 0.883 % | 206.84/206.95 c | 216340 | 61921 159150 | 78380 72508 5556075 76.6 | 0.883 % | 244.62/244.76 c | 245533 | 61921 159150 | 86218 43689 2416593 55.3 | 0.883 % | 298.71/298.85 c | 289323 | 61921 159150 | 94840 87479 5154681 58.9 | 0.883 % | 334.40/334.55 c ============================================================================== 334.40/334.55 c [1mFound solution: 21[0m 334.40/334.55 o 21 334.40/334.56 c ---[ 0]---> Sorter-cost: 0 Base: 334.80/334.90 c ==================================[MINISAT+]================================== 334.80/334.90 c | Conflicts | Original | Learnt | Progress | 334.80/334.90 c | | Clauses Literals | Max Clauses Literals LPC | | 334.80/334.90 c ============================================================================== 334.80/334.90 c | 318799 | 61934 159183 | 20644 45976 2337197 50.8 | 0.883 % | 335.20/335.37 c | 318899 | 61934 159183 | 22708 11557 609751 52.8 | 0.886 % | 335.30/335.42 c | 319049 | 61934 159183 | 24979 11707 622774 53.2 | 0.886 % | 335.30/335.50 c | 319275 | 61934 159183 | 27477 11933 637712 53.4 | 0.886 % | 335.50/335.65 c | 319612 | 61934 159183 | 30224 12270 654477 53.3 | 0.886 % | 335.80/335.96 c | 320122 | 61934 159183 | 33247 12780 690897 54.1 | 0.886 % | 336.40/336.53 c | 320883 | 61934 159183 | 36572 13541 777054 57.4 | 0.886 % | 337.10/337.23 c | 322026 | 61934 159183 | 40229 14684 956513 65.1 | 0.886 % | 338.00/338.15 c | 323734 | 61934 159183 | 44252 16392 1083632 66.1 | 0.886 % | 340.10/340.20 c | 326296 | 61934 159183 | 48677 18954 1355895 71.5 | 0.886 % | 343.50/343.67 c | 330140 | 61934 159183 | 53545 22798 1711786 75.1 | 0.886 % | 346.89/347.06 c | 335906 | 61934 159183 | 58899 28564 2114864 74.0 | 0.886 % | 356.69/356.88 c | 344555 | 61934 159183 | 64789 37213 2829352 76.0 | 0.886 % | 371.59/371.72 c | 357531 | 61934 159183 | 71268 50189 3947141 78.6 | 0.886 % | 401.59/401.72 c | 376992 | 61934 159183 | 78395 69650 5622025 80.7 | 0.886 % | 441.67/441.80 c | 406184 | 61934 159183 | 86235 41720 2930785 70.2 | 0.886 % | 513.96/514.10 c | 449975 | 61934 159183 | 94858 85511 6684129 78.2 | 0.886 % | 627.03/627.29 c | 515660 | 61934 159183 | 104344 75675 6997666 92.5 | 0.886 % | 666.51/666.72 c ============================================================================== 666.51/666.72 c [1mFound solution: 20[0m 666.51/666.72 o 20 666.51/666.72 c ---[ 0]---> Sorter-cost: 0 Base: 666.91/667.11 c ==================================[MINISAT+]================================== 666.91/667.11 c | Conflicts | Original | Learnt | Progress | 666.91/667.11 c | | Clauses Literals | Max Clauses Literals LPC | | 666.91/667.11 c ============================================================================== 666.91/667.11 c | 532905 | 61912 159131 | 20637 92828 7974945 85.9 | 0.886 % | 668.61/668.82 c | 533005 | 61912 159131 | 22700 12847 596007 46.4 | 0.963 % | 668.71/668.91 c | 533156 | 61912 159131 | 24970 12998 605135 46.6 | 0.963 % | 668.81/669.04 c | 533382 | 61912 159131 | 27467 13224 616995 46.7 | 0.963 % | 669.01/669.21 c | 533720 | 61912 159131 | 30214 13562 632458 46.6 | 0.963 % | 669.21/669.41 c | 534229 | 61912 159131 | 33236 14071 669357 47.6 | 0.963 % | 669.71/669.92 c | 534988 | 61912 159131 | 36559 14830 721845 48.7 | 0.963 % | 670.71/670.96 c | 536129 | 61912 159131 | 40215 15971 850616 53.3 | 0.963 % | 672.11/672.39 c | 537838 | 61912 159131 | 44237 17680 1071256 60.6 | 0.963 % | 674.21/674.48 c | 540404 | 61912 159131 | 48660 20246 1445704 71.4 | 0.963 % | 678.11/678.33 c | 544250 | 61912 159131 | 53527 24092 1845931 76.6 | 0.963 % | 683.91/684.13 c | 550017 | 61912 159131 | 58879 29859 2396549 80.3 | 0.963 % | 693.71/693.94 c | 558666 | 61912 159131 | 64767 38508 3205520 83.2 | 0.963 % | 705.81/706.08 c | 571645 | 61912 159131 | 71244 51487 4196660 81.5 | 0.963 % | 733.90/734.17 c | 591109 | 61912 159131 | 78368 70951 5496287 77.5 | 0.963 % | 772.79/773.01 c | 620303 | 61912 159131 | 86205 45981 2706673 58.9 | 0.963 % | 836.07/836.38 c | 664092 | 61912 159131 | 94826 27674 1776367 64.2 | 0.963 % | 927.12/927.52 c | 729776 | 61890 159087 | 104309 93356 7072978 75.8 | 0.967 % | 1109.88/1110.36 c | 828303 | 61890 159087 | 114740 28927 1929007 66.7 | 0.967 % | 1325.62/1326.11 c | 976093 | 61890 159087 | 126214 87000 5232658 60.1 | 0.967 % | 1703.32/1703.96 c | 1197781 | 61890 159087 | 138835 102107 6516693 63.8 | 0.967 % | 1800.00/1800.60 c 1800.00/1800.60 c *** TERMINATED *** 1800.00/1800.60 s SATISFIABLE 1800.00/1800.60 v x1 x176 x346 x700 x840 -x994 -x1021 -x1048 -x1075 -x1102 -x1129 -x1156 -x10 -x1183 -x13 -x1195 -x16 -x1207 -x19 -x1219 -x22 1800.00/1800.60 v -x1231 -x25 -x1243 -x28 -x1255 -x31 -x1267 x34 x1279 -x37 -x1291 -x40 -x1303 -x43 -x1315 -x46 -x1327 -x49 -x1339 x52 -x1351 1800.00/1800.60 v -x55 -x1363 -x58 -x1375 -x1387 -x63 -x1399 -x66 -x1411 -x69 -x1423 -x1435 -x1437 -x1442 -x1444 -x1449 -x1451 -x1456 -x1458 1800.00/1800.60 v -x1463 -x1465 -x1470 -x1472 -x1477 -x1479 -x1484 -x1486 x1491 -x1493 -x1498 -x1500 -x1505 -x1507 -x1512 -x1514 -x1519 1800.00/1800.60 v -x1521 -x1526 -x1528 -x1533 -x1535 -x1540 -x1542 -x1547 -x1549 -x1554 -x1556 -x1561 -x1563 -x1568 x1570 -x1575 -x1577 1800.00/1800.60 v -x1582 -x1584 -x1589 -x1591 -x1596 -x1598 -x1603 -x1605 -x1610 -x1612 -x1617 -x1619 -x1624 -x1626 -x1631 -x1633 -x1638 1800.00/1800.60 v -x1640 -x1645 -x1647 -x1652 -x1654 -x1659 -x1661 -x1666 -x1668 -x1673 -x1675 -x1680 -x1707 -x1734 -x1761 x1788 -x1815 1800.00/1800.60 v -x1842 -x185 -x1869 -x1881 -x190 -x1893 -x193 -x1905 -x196 -x1917 -x199 -x1929 -x202 -x1941 -x1953 -x207 -x1965 -x210 -x1977 1800.00/1800.60 v -x1989 -x215 -x2001 -x2013 -x220 -x2025 -x2037 -x225 -x2049 -x2061 -x230 -x2073 -x233 -x2085 -x236 -x2097 -x239 -x2109 1800.00/1800.60 v -x2121 -x2123 x2128 -x2130 -x2135 -x2137 -x2142 -x2144 -x2149 -x2151 -x2156 -x2158 -x2163 -x2165 -x2170 -x2172 -x2177 1800.00/1800.60 v -x2179 -x2184 -x2186 -x2191 -x2193 -x2198 -x2200 -x2205 -x2207 -x2212 -x2214 -x2219 -x2221 -x2226 -x2228 -x2233 -x2235 1800.00/1800.60 v -x2240 -x2242 -x2247 -x2249 -x2254 -x2256 -x2261 -x2263 -x2268 -x2270 -x2275 -x2277 -x2282 -x2284 -x2289 -x2291 -x2296 1800.00/1800.60 v -x2298 -x2303 -x2305 -x2310 -x2312 -x2317 -x2319 -x2324 x2326 -x2331 -x2333 -x2338 -x2340 -x2345 -x2347 -x2352 -x2354 1800.00/1800.60 v -x2359 -x2361 -x2366 -x2424 -x2482 -x2540 -x2598 -x2656 -x2714 x2772 -x356 -x2830 x359 -x2857 -x362 -x2884 -x365 -x2911 1800.00/1800.60 v -x2938 -x370 -x2965 -x373 -x2992 -x376 -x3019 -x3046 -x3073 -x3100 -x385 -x3127 -x3154 -x3181 -x392 -x3208 -x395 -x3235 1800.00/1800.60 v -x3262 -x400 -x3289 -x3316 -x405 -x3343 -x3370 -x410 -x3397 -x413 -x3424 x416 -x3451 -x419 -x3478 -x3505 -x424 -x3532 -x427 1800.00/1800.60 v -x3559 -x3586 -x3588 -x3600 -x3602 -x3614 -x3616 -x3628 -x3630 -x3642 -x3644 -x3656 -x3658 -x3670 -x3672 -x3684 -x3686 1800.00/1800.60 v x3698 -x3700 -x3712 -x3714 -x3726 -x3728 -x3740 -x3742 -x3754 -x3756 -x3768 -x3770 -x3782 -x3784 -x3796 -x3798 -x3810 1800.00/1800.60 v -x3812 -x3824 -x3826 -x3838 -x3840 -x3852 -x3854 -x3866 -x3868 -x3880 -x3882 -x3894 -x3896 -x3908 -x3910 -x3922 -x3924 1800.00/1800.60 v -x3936 -x3938 -x3950 -x3962 -x3964 -x3976 -x3978 -x3990 x3992 -x4004 -x4006 -x4018 -x4020 -x4032 -x4034 -x4046 -x4048 1800.00/1800.60 v -x4060 -x4062 -x4074 -x4076 -x4088 -x4090 -x4102 -x4104 -x4116 -x4128 -x4130 -x4142 -x4144 -x4156 -x4158 -x4170 -x4172 1800.00/1800.60 v -x4184 -x4186 -x4198 -x4200 -x4212 -x4214 -x4226 -x4228 -x4240 -x4242 -x4254 -x4256 -x4268 -x4270 -x4282 -x4284 -x4296 1800.00/1800.60 v -x4298 -x4310 -x4312 -x4324 -x4326 -x4338 -x4340 -x4352 -x4354 -x4366 -x4371 -x4376 -x4381 -x4386 -x4391 -x4396 -x4401 1800.00/1800.60 v -x4406 -x4411 -x4416 -x4421 -x4426 -x4431 -x4436 -x4441 -x4446 -x4451 -x4456 -x4461 -x4466 -x4471 -x4476 -x4481 -x4486 1800.00/1800.60 v -x4491 -x4496 -x4501 -x4506 -x4511 -x4516 -x4521 -x4526 -x4531 -x4536 -x4541 -x4546 -x4551 -x4556 -x4561 -x4566 -x4571 1800.00/1800.60 v -x4576 -x4581 -x4586 -x4591 -x4596 -x4601 -x4606 -x4611 -x4616 -x4621 -x4626 -x4631 -x4636 -x4641 -x4646 -x4651 -x4656 1800.00/1800.60 v -x4661 -x4666 -x4671 -x4676 -x4681 -x4686 -x4691 -x4696 -x4701 -x4706 -x4711 -x4716 -x4743 -x4770 -x4797 x4824 -x4851 1800.00/1800.60 v -x4878 -x4905 -x4917 -x4929 -x4941 -x4953 -x4965 -x4977 -x4989 -x725 -x5001 -x5013 -x5025 -x5037 -x5049 -x5061 -x5073 1800.00/1800.60 v -x5085 -x5097 -x5109 -x5121 -x5133 -x5145 -x5157 -x5159 -x5164 -x5166 -x5168 -x5173 -x5175 -x5180 -x5182 -x5187 -x5192 1800.00/1800.60 v -x5194 -x5196 -x5201 -x5206 -x5208 -x5213 -x5215 -x5220 -x5225 -x5227 -x5232 -x5234 -x5239 -x5241 -x5246 -x5251 -x5253 1800.00/1800.60 v -x5258 -x5260 -x5265 -x5267 -x5272 -x5274 -x5279 -x5284 -x5289 -x5291 -x5293 -x5298 -x5303 -x5305 -x5310 -x5312 -x5317 1800.00/1800.60 v -x5322 -x5327 -x5332 -x5337 -x5339 -x5344 -x5346 -x5351 -x5356 -x5361 -x5388 -x5415 -x5442 -x5469 -x5496 -x5523 -x5550 1800.00/1800.60 v -x5562 -x5574 -x855 -x5586 -x858 -x5598 -x5610 -x863 -x5622 -x5634 -x868 -x5646 -x5658 -x5670 -x875 -x5682 x5694 -x880 1800.00/1800.60 v -x5706 -x5718 -x5730 -x5742 -x5754 -x5766 -x893 -x5778 -x5790 -x5802 -x5804 -x5809 -x5814 -x5816 -x5821 -x5823 -x5828 1800.00/1800.60 v -x5833 -x5835 -x5840 -x5842 -x5847 -x5849 -x5854 -x5859 -x5861 -x5866 -x5868 -x5873 -x5878 -x5880 -x5885 -x5887 -x5892 1800.00/1800.60 v -x5894 -x5899 -x5901 -x5906 -x5908 -x5913 -x5915 -x5920 -x5922 -x5927 -x5929 -x5934 -x5939 -x5944 -x5946 -x5951 -x5953 1800.00/1800.60 v -x5958 -x5960 -x5965 -x5967 -x5972 -x5974 -x5979 -x5981 -x5986 -x5988 -x5990 -x5995 -x5997 -x6002 -x6007 -x6009 -x6014 1800.00/1800.60 v -x6016 -x6021 -x6023 -x9 -x11 -x12 -x14 -x15 -x17 -x18 -x20 -x21 -x23 -x24 -x26 -x27 -x29 -x30 -x32 x33 x35 -x36 -x38 -x39 -x41 1800.00/1800.60 v -x42 -x44 -x45 -x47 -x48 -x50 -x51 -x53 -x54 -x56 -x57 -x59 -x60 -x61 -x62 -x64 -x65 -x67 -x68 -x70 -x72 -x71 -x73 -x75 -x74 -x76 1800.00/1800.60 v -x78 -x77 -x79 -x81 -x80 -x82 -x84 -x83 -x85 -x87 -x86 -x88 -x90 -x89 -x91 -x93 -x92 -x94 x96 -x95 -x97 -x99 -x98 -x100 -x102 1800.00/1800.60 v -x101 -x103 -x105 -x104 -x106 -x108 -x107 -x109 -x111 -x110 -x112 -x114 -x113 -x115 -x117 -x116 -x118 -x120 -x119 -x121 -x123 1800.00/1800.60 v -x122 -x124 -x126 -x125 -x127 -x129 -x128 x130 -x132 -x131 -x133 -x135 -x134 -x136 -x138 -x137 -x139 -x141 -x140 -x142 -x144 1800.00/1800.60 v -x143 -x145 -x147 -x146 -x148 -x150 -x149 -x151 -x153 -x152 -x154 -x156 -x155 -x157 -x159 -x158 -x160 -x162 -x161 -x163 -x165 1800.00/1800.60 v -x164 -x166 -x168 -x167 -x169 -x171 -x170 -x172 -x174 -x173 -x175 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x184 -x186 -x187 -x188 -x189 1800.00/1800.60 v -x191 -x192 -x194 -x195 -x197 -x198 -x200 -x201 -x203 -x204 -x205 -x206 -x208 -x209 -x211 -x212 -x213 -x214 -x216 -x217 -x218 1800.00/1800.60 v -x219 -x221 -x222 -x223 -x224 -x226 -x227 -x228 -x229 -x231 -x232 -x234 -x235 -x237 -x238 -x240 -x242 -x241 -x243 x245 -x244 1800.00/1800.60 v -x246 -x248 -x247 -x249 -x251 -x250 -x252 -x254 -x253 -x255 -x257 -x256 -x258 -x260 -x259 -x261 -x263 -x262 -x264 -x266 -x265 1800.00/1800.60 v -x267 -x269 -x268 -x270 -x272 -x271 -x273 -x275 -x274 -x276 -x278 -x277 -x279 -x281 -x280 -x282 -x284 -x283 -x285 -x287 -x286 1800.00/1800.60 v -x288 -x290 -x289 -x291 -x293 -x292 -x294 -x296 -x295 -x297 -x299 -x298 -x300 -x302 -x301 -x303 -x305 -x304 -x306 -x308 -x307 1800.00/1800.60 v -x309 -x311 -x310 -x312 -x314 -x313 -x315 -x317 -x316 -x318 -x320 -x319 -x321 -x323 -x322 -x324 -x326 -x325 -x327 -x329 -x328 1800.00/1800.60 v x330 -x332 -x331 -x333 -x335 -x334 -x336 -x338 -x337 -x339 -x341 -x340 -x342 -x344 -x343 -x345 -x177 -x178 -x179 -x180 x181 1800.00/1800.60 v -x182 -x183 -x355 -x357 -x358 -x360 -x361 -x363 -x364 -x366 -x367 -x368 -x369 -x371 -x372 -x374 -x375 -x377 -x378 -x379 -x380 1800.00/1800.60 v -x381 -x382 -x383 -x384 -x386 -x387 -x388 -x389 -x390 -x391 -x393 -x394 -x396 -x397 -x398 -x399 -x401 -x402 -x403 -x404 -x406 1800.00/1800.60 v -x407 -x408 -x409 -x411 -x412 -x414 -x415 -x417 -x418 -x420 -x421 -x422 -x423 -x425 -x426 -x428 -x430 -x429 -x431 -x433 -x432 1800.00/1800.60 v -x434 -x436 -x435 -x437 -x439 -x438 -x440 -x442 -x441 -x443 -x445 -x444 -x446 -x448 -x447 -x449 -x451 -x450 -x452 x454 -x453 1800.00/1800.60 v -x455 -x457 -x456 -x458 -x460 -x459 -x461 -x463 -x462 -x464 -x466 -x465 -x467 -x469 -x468 -x470 -x472 -x471 -x473 -x475 -x474 1800.00/1800.60 v -x476 -x478 -x477 -x479 -x481 -x480 -x482 -x484 -x483 -x485 -x487 -x486 -x488 -x490 -x489 -x491 -x493 -x492 -x494 -x496 -x495 1800.00/1800.60 v -x497 -x499 -x498 -x500 -x502 -x501 -x503 -x505 -x504 -x506 -x507 -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x516 -x515 x517 1800.00/1800.60 v -x519 -x518 -x520 -x522 -x521 -x523 -x525 -x524 -x526 -x528 -x527 -x529 -x531 -x530 -x532 -x534 -x533 -x535 -x537 -x536 -x538 1800.00/1800.60 v -x540 -x539 -x541 -x542 -x543 -x545 -x544 -x546 -x548 -x547 -x549 -x551 -x550 -x552 -x554 -x553 -x555 -x557 -x556 -x558 -x560 1800.00/1800.60 v -x559 -x561 -x563 -x562 -x564 -x566 -x565 -x567 -x569 -x568 -x570 -x572 -x571 -x573 -x575 -x574 -x576 -x578 -x577 -x579 -x581 1800.00/1800.60 v -x580 -x582 -x584 -x583 -x585 -x587 -x586 -x588 -x590 -x589 -x591 -x593 -x592 -x594 -x596 -x595 -x597 -x599 -x598 -x600 -x602 1800.00/1800.60 v -x601 -x603 -x605 -x604 -x606 -x608 -x607 -x609 -x611 -x610 -x612 -x614 -x613 -x615 -x617 -x616 -x618 -x620 -x619 -x621 -x623 1800.00/1800.60 v -x622 -x624 -x626 -x625 -x627 -x629 -x628 -x630 -x632 -x631 -x633 -x635 -x634 -x636 -x638 -x637 -x639 -x641 -x640 -x642 -x644 1800.00/1800.60 v -x643 -x645 -x647 -x646 -x648 -x650 -x649 -x651 -x653 -x652 -x654 -x656 -x655 -x657 -x659 -x658 -x660 -x662 -x661 -x663 -x665 1800.00/1800.60 v -x664 -x666 -x668 -x667 -x669 -x671 -x670 -x672 -x674 -x673 -x675 -x677 -x676 -x678 -x680 -x679 -x681 -x683 -x682 -x684 -x686 1800.00/1800.60 v -x685 -x687 -x689 -x688 -x690 -x692 -x691 -x693 -x695 -x694 -x696 -x698 -x697 -x699 -x347 -x348 -x349 -x350 -x351 -x352 -x353 1800.00/1800.60 v x354 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x726 -x727 -x728 1800.00/1800.60 v -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 1800.00/1800.60 v -x750 -x752 -x751 -x753 -x755 -x754 -x757 -x756 -x758 -x760 -x759 -x761 -x763 -x762 -x764 -x765 -x766 -x768 -x767 -x770 -x769 1800.00/1800.60 v -x771 -x772 -x773 -x775 -x774 -x776 -x778 -x777 -x779 -x780 -x781 -x783 -x782 -x784 -x786 -x785 -x787 -x789 -x788 -x790 -x791 1800.00/1800.60 v -x792 -x794 -x793 -x795 -x797 -x796 -x798 -x800 -x799 -x801 -x803 -x802 -x804 -x805 -x806 -x807 -x808 -x810 -x809 -x812 -x811 1800.00/1800.60 v -x813 -x814 -x815 -x817 -x816 -x818 -x820 -x819 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x831 -x830 -x832 -x834 1800.00/1800.60 v -x833 -x835 -x836 -x837 -x838 -x839 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x856 1800.00/1800.60 v -x857 -x859 -x860 -x861 -x862 -x864 -x865 -x866 -x867 -x869 -x870 -x871 -x872 -x873 -x874 -x876 x877 x878 -x879 -x881 -x882 1800.00/1800.60 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x894 -x895 -x896 -x898 -x897 -x899 -x900 -x901 -x903 -x902 -x904 1800.00/1800.60 v -x906 -x905 -x907 -x908 -x909 -x911 -x910 -x912 -x914 -x913 -x915 -x917 -x916 -x918 -x919 -x920 -x922 -x921 -x923 -x925 -x924 1800.00/1800.60 v -x926 -x927 -x928 -x930 -x929 -x931 -x933 -x932 -x934 -x936 -x935 -x937 -x939 -x938 -x940 -x942 -x941 -x943 -x945 -x944 -x946 1800.00/1800.60 v -x948 -x947 -x949 -x951 -x950 -x952 -x953 -x954 -x955 -x956 -x958 -x957 -x959 -x961 -x960 -x962 -x964 -x963 -x965 -x967 -x966 1800.00/1800.60 v -x968 -x970 -x969 -x971 -x973 -x972 -x974 -x976 -x975 -x978 -x977 -x979 -x981 -x980 -x982 -x983 -x984 -x986 -x985 -x987 -x989 1800.00/1800.60 v -x988 -x990 -x992 -x991 -x993 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 1800.00/1800.60 v -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 1800.00/1800.60 v -x1020 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 1800.00/1800.60 v -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 1800.00/1800.60 v -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 1800.00/1800.60 v -x1073 -x1074 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 1800.00/1800.60 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1800.00/1800.60 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 1800.00/1800.60 v -x1127 -x1128 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 1800.00/1800.60 v -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 1800.00/1800.60 v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 1800.00/1800.60 v -x1180 -x1181 -x1182 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1196 -x1197 -x1198 1800.00/1800.60 v -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 1800.00/1800.60 v -x1217 -x1218 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1232 -x1233 -x1234 -x1235 1800.00/1800.60 v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 1800.00/1800.60 v -x1254 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1268 -x1269 -x1270 -x1271 -x1272 1800.00/1800.60 v -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 1800.00/1800.60 v -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 1800.00/1800.60 v -x1310 -x1311 -x1312 -x1313 -x1314 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1328 1800.00/1800.60 v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 1800.00/1800.60 v -x1347 -x1348 -x1349 -x1350 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 x1364 -x1365 1800.00/1800.60 v -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 -x1384 1800.00/1800.60 v -x1385 -x1386 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1400 -x1401 -x1402 -x1403 1800.00/1800.60 v -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 1800.00/1800.60 v -x1422 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1436 -x1438 -x1439 -x1440 -x1441 1800.00/1800.60 v -x1443 -x1445 -x1446 -x1447 -x1448 x1450 -x1452 -x1453 -x1454 -x1455 -x1457 -x1459 -x1460 -x1461 -x1462 -x1464 -x1466 1800.00/1800.60 v -x1467 -x1468 -x1469 -x1471 -x1473 -x1474 -x1475 -x1476 -x1478 -x1480 -x1481 -x1482 -x1483 -x1485 -x1487 -x1488 -x1489 1800.00/1800.60 v -x1490 x1492 -x1494 -x1495 -x1496 -x1497 -x1499 -x1501 -x1502 -x1503 -x1504 -x1506 x1508 -x1509 x1510 -x1511 -x1513 -x1515 1800.00/1800.60 v -x1516 -x1517 -x1518 -x1520 -x1522 -x1523 -x1524 -x1525 -x1527 -x1529 -x1530 -x1531 -x1532 -x1534 -x1536 -x1537 -x1538 1800.00/1800.60 v -x1539 -x1541 -x1543 -x1544 -x1545 -x1546 x1548 -x1550 -x1551 -x1552 -x1553 -x1555 -x1557 -x1558 -x1559 -x1560 x1562 -x1564 1800.00/1800.60 v -x1565 -x1566 -x1567 x1569 x1571 -x1572 -x1573 -x1574 -x1576 x1578 -x1579 -x1580 -x1581 -x1583 -x1585 -x1586 -x1587 -x1588 1800.00/1800.60 v x1590 x1592 -x1593 -x1594 -x1595 x1597 -x1599 -x1600 -x1601 -x1602 -x1604 -x1606 -x1607 -x1608 -x1609 -x1611 -x1613 -x1614 1800.00/1800.60 v -x1615 -x1616 -x1618 -x1620 -x1621 -x1622 -x1623 x1625 -x1627 -x1628 -x1629 -x1630 -x1632 -x1634 -x1635 -x1636 -x1637 1800.00/1800.60 v x1639 -x1641 -x1642 -x1643 -x1644 x1646 -x1648 -x1649 -x1650 -x1651 -x1653 x1655 -x1656 -x1657 -x1658 -x1660 -x1662 -x1663 1800.00/1800.60 v -x1664 -x1665 -x1667 -x1669 -x1670 -x1671 -x1672 -x1674 -x1676 -x1677 -x1678 -x1679 -x1681 -x1682 -x1683 -x1684 -x1685 1800.00/1800.60 v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 1800.00/1800.60 v -x1703 -x1704 -x1705 -x1706 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 1800.00/1800.60 v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1735 -x1736 -x1737 -x1738 1800.00/1800.60 v -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 1800.00/1800.60 v -x1756 -x1757 -x1758 -x1759 -x1760 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 1800.00/1800.60 v -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1789 -x1790 -x1791 1800.00/1800.60 v -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 1800.00/1800.60 v -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 1800.00/1800.60 v -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1843 -x1844 1800.00/1800.60 v -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 1800.00/1800.60 v -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 1800.00/1800.60 v -x1880 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1894 -x1895 -x1896 -x1897 -x1898 1800.00/1800.60 v -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 1800.00/1800.60 v -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 1800.00/1800.60 v -x1936 -x1937 -x1938 -x1939 -x1940 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1954 1800.00/1800.60 v -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 1800.00/1800.60 v -x1973 -x1974 -x1975 -x1976 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1990 -x1991 1800.00/1800.60 v -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 1800.00/1800.60 v -x2010 -x2011 -x2012 x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2026 -x2027 -x2028 1800.00/1800.60 v -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 1800.00/1800.60 v -x2047 -x2048 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2062 -x2063 -x2064 -x2065 1800.00/1800.60 v -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 1800.00/1800.60 v -x2084 x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 x2095 -x2096 x2098 -x2099 -x2100 -x2101 -x2102 -x2103 1800.00/1800.60 v -x2104 -x2105 -x2106 -x2107 -x2108 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2122 1800.00/1800.60 v -x2124 -x2125 -x2126 -x2127 x2129 -x2131 -x2132 -x2133 -x2134 -x2136 -x2138 -x2139 -x2140 -x2141 -x2143 -x2145 -x2146 1800.00/1800.60 v -x2147 -x2148 -x2150 -x2152 -x2153 -x2154 -x2155 -x2157 -x2159 -x2160 -x2161 -x2162 -x2164 -x2166 -x2167 -x2168 -x2169 1800.00/1800.60 v -x2171 -x2173 -x2174 -x2175 -x2176 x2178 -x2180 -x2181 -x2182 -x2183 -x2185 -x2187 -x2188 -x2189 -x2190 -x2192 -x2194 1800.00/1800.60 v -x2195 -x2196 -x2197 -x2199 -x2201 -x2202 -x2203 -x2204 -x2206 x2208 -x2209 x2210 -x2211 -x2213 -x2215 -x2216 -x2217 -x2218 1800.00/1800.60 v -x2220 -x2222 -x2223 -x2224 -x2225 x2227 -x2229 -x2230 -x2231 -x2232 -x2234 -x2236 -x2237 -x2238 -x2239 -x2241 -x2243 1800.00/1800.60 v -x2244 -x2245 -x2246 x2248 -x2250 -x2251 -x2252 -x2253 x2255 -x2257 -x2258 -x2259 -x2260 x2262 -x2264 -x2265 -x2266 -x2267 1800.00/1800.60 v x2269 -x2271 -x2272 -x2273 -x2274 -x2276 -x2278 -x2279 -x2280 -x2281 -x2283 -x2285 -x2286 -x2287 -x2288 -x2290 -x2292 1800.00/1800.60 v -x2293 -x2294 -x2295 -x2297 -x2299 -x2300 -x2301 -x2302 -x2304 -x2306 -x2307 -x2308 -x2309 x2311 -x2313 -x2314 -x2315 1800.00/1800.60 v -x2316 -x2318 x2320 -x2321 -x2322 -x2323 x2325 x2327 -x2328 -x2329 -x2330 x2332 x2334 -x2335 -x2336 -x2337 -x2339 -x2341 1800.00/1800.60 v -x2342 -x2343 -x2344 -x2346 -x2348 -x2349 -x2350 -x2351 -x2353 -x2355 -x2356 -x2357 -x2358 -x2360 x2362 -x2363 -x2364 1800.00/1800.60 v -x2365 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 1800.00/1800.60 v -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 1800.00/1800.60 v -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 1800.00/1800.60 v -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 1800.00/1800.60 v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 1800.00/1800.60 v -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 1800.00/1800.60 v -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2483 -x2484 -x2485 -x2486 1800.00/1800.60 v -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 1800.00/1800.60 v -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 1800.00/1800.60 v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 1800.00/1800.60 v -x2538 -x2539 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 1800.00/1800.60 v -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 1800.00/1800.60 v -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 1800.00/1800.60 v -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 1800.00/1800.60 v -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 1800.00/1800.60 v -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 1800.00/1800.60 v -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2657 -x2658 -x2659 1800.00/1800.60 v -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 1800.00/1800.60 v -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 1800.00/1800.60 v -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 1800.00/1800.60 v -x2711 -x2712 -x2713 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 1800.00/1800.60 v -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 1800.00/1800.60 v -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 1800.00/1800.60 v -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 1800.00/1800.60 v x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 1800.00/1800.60 v -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 1800.00/1800.60 v -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2831 -x2832 1800.00/1800.60 v -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 1800.00/1800.60 v -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 1800.00/1800.60 v -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2885 1800.00/1800.60 v -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 1800.00/1800.60 v -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 1800.00/1800.60 v -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 1800.00/1800.60 v -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 1800.00/1800.60 v -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 1800.00/1800.60 v -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 1800.00/1800.60 v -x2991 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 1800.00/1800.60 v -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 1800.00/1800.60 v -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 1800.00/1800.60 v -x3044 -x3045 x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 1800.00/1800.60 v -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 1800.00/1800.60 v -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 1800.00/1800.60 v -x3097 -x3098 -x3099 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 1800.00/1800.60 v -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3128 -x3129 -x3130 -x3131 -x3132 1800.00/1800.60 v -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 1800.00/1800.60 v -x3150 -x3151 -x3152 -x3153 x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 1800.00/1800.60 v -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3182 -x3183 -x3184 -x3185 1800.00/1800.60 v -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 1800.00/1800.60 v -x3203 -x3204 -x3205 -x3206 -x3207 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 1800.00/1800.60 v -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3236 -x3237 -x3238 1800.00/1800.60 v -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 1800.00/1800.60 v -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 1800.00/1800.60 v -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3290 -x3291 1800.00/1800.60 v -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 1800.00/1800.60 v -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 1800.00/1800.60 v -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3344 1800.00/1800.60 v -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 1800.00/1800.60 v -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 1800.00/1800.60 v -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 1800.00/1800.60 v x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 1800.00/1800.60 v -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 1800.00/1800.60 v -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 1800.00/1800.60 v -x3450 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 1800.00/1800.60 v -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 1800.00/1800.60 v -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 1800.00/1800.60 v -x3503 -x3504 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 1800.00/1800.60 v -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 1800.00/1800.60 v -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 1800.00/1800.60 v -x3556 -x3557 -x3558 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 1800.00/1800.60 v -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 x3587 -x3589 -x3590 -x3591 -x3592 1800.00/1800.60 v -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 x3601 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 1800.00/1800.60 v -x3612 -x3613 -x3615 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3629 -x3631 -x3632 1800.00/1800.60 v -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3643 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 1800.00/1800.60 v -x3652 -x3653 -x3654 -x3655 -x3657 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 x3671 1800.00/1800.60 v -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 x3685 -x3687 -x3688 -x3689 -x3690 -x3691 1800.00/1800.60 v -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 x3699 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 1800.00/1800.60 v -x3711 x3713 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 x3727 -x3729 -x3730 -x3731 -x3732 1800.00/1800.60 v -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3741 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 1800.00/1800.60 v -x3752 -x3753 -x3755 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3769 -x3771 -x3772 1800.00/1800.60 v -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3783 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 1800.00/1800.60 v -x3792 -x3793 -x3794 -x3795 -x3797 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 x3811 1800.00/1800.60 v -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3825 -x3827 -x3828 -x3829 -x3830 -x3831 1800.00/1800.60 v -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3839 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 1800.00/1800.60 v -x3851 -x3853 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3867 -x3869 -x3870 -x3871 1800.00/1800.60 v -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 x3881 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 1800.00/1800.60 v -x3891 -x3892 -x3893 -x3895 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3909 -x3911 1800.00/1800.60 v -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 1800.00/1800.60 v -x3931 -x3932 -x3933 -x3934 -x3935 -x3937 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 1800.00/1800.60 v -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 x3963 -x3965 -x3966 -x3967 -x3968 -x3969 1800.00/1800.60 v -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 x3977 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 1800.00/1800.60 v -x3989 x3991 x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 x4002 -x4003 -x4005 -x4007 -x4008 -x4009 -x4010 1800.00/1800.60 v -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 x4019 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 1800.00/1800.60 v -x4030 -x4031 -x4033 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4047 -x4049 -x4050 1800.00/1800.60 v -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4061 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 1800.00/1800.60 v -x4070 -x4071 -x4072 -x4073 -x4075 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4089 1800.00/1800.60 v -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4103 -x4105 -x4106 -x4107 -x4108 -x4109 1800.00/1800.60 v -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 1800.00/1800.60 v -x4129 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4143 -x4145 -x4146 -x4147 -x4148 1800.00/1800.60 v -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 x4157 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 1800.00/1800.60 v -x4168 -x4169 -x4171 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4185 -x4187 -x4188 1800.00/1800.60 v -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4199 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 1800.00/1800.60 v -x4208 -x4209 -x4210 -x4211 -x4213 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4227 1800.00/1800.60 v -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 x4241 -x4243 -x4244 -x4245 -x4246 -x4247 1800.00/1800.60 v -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4255 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 1800.00/1800.60 v -x4267 -x4269 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4283 -x4285 -x4286 -x4287 1800.00/1800.60 v -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4297 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 1800.00/1800.60 v -x4307 -x4308 -x4309 x4311 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4325 -x4327 1800.00/1800.60 v -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 x4339 x4341 -x4342 -x4343 -x4344 -x4345 -x4346 x4347 1800.00/1800.60 v -x4348 -x4349 -x4350 -x4351 -x4353 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 x4367 1800.00/1800.60 v -x4368 x4369 -x4370 -x4372 -x4373 -x4374 -x4375 -x4377 -x4378 -x4379 -x4380 -x4382 -x4383 -x4384 -x4385 x4387 -x4388 -x4389 1800.00/1800.60 v -x4390 -x4392 -x4393 -x4394 -x4395 -x4397 -x4398 -x4399 -x4400 -x4402 -x4403 -x4404 -x4405 -x4407 -x4408 -x4409 -x4410 1800.00/1800.60 v -x4412 -x4413 -x4414 -x4415 -x4417 -x4418 -x4419 -x4420 -x4422 -x4423 -x4424 -x4425 -x4427 -x4428 -x4429 -x4430 -x4432 1800.00/1800.60 v -x4433 -x4434 -x4435 -x4437 -x4438 -x4439 -x4440 -x4442 -x4443 -x4444 -x4445 -x4447 -x4448 -x4449 -x4450 -x4452 -x4453 1800.00/1800.60 v -x4454 -x4455 -x4457 -x4458 -x4459 -x4460 -x4462 -x4463 -x4464 -x4465 -x4467 -x4468 -x4469 -x4470 -x4472 -x4473 -x4474 1800.00/1800.60 v -x4475 -x4477 -x4478 -x4479 -x4480 -x4482 -x4483 -x4484 -x4485 -x4487 -x4488 -x4489 -x4490 -x4492 -x4493 -x4494 -x4495 1800.00/1800.60 v -x4497 -x4498 -x4499 -x4500 -x4502 -x4503 -x4504 -x4505 -x4507 -x4508 -x4509 -x4510 -x4512 -x4513 -x4514 -x4515 -x4517 1800.00/1800.60 v -x4518 -x4519 -x4520 -x4522 -x4523 -x4524 -x4525 x4527 -x4528 -x4529 -x4530 -x4532 -x4533 -x4534 -x4535 -x4537 -x4538 1800.00/1800.60 v -x4539 -x4540 -x4542 -x4543 -x4544 -x4545 -x4547 -x4548 -x4549 -x4550 -x4552 -x4553 -x4554 -x4555 x4557 -x4558 -x4559 1800.00/1800.60 v -x4560 -x4562 -x4563 -x4564 -x4565 x4567 x4568 -x4569 -x4570 -x4572 -x4573 -x4574 -x4575 -x4577 -x4578 -x4579 -x4580 -x4582 1800.00/1800.60 v -x4583 -x4584 -x4585 x4587 -x4588 -x4589 -x4590 -x4592 -x4593 -x4594 -x4595 x4597 -x4598 -x4599 -x4600 x4602 x4603 -x4604 1800.00/1800.60 v -x4605 -x4607 -x4608 -x4609 -x4610 -x4612 -x4613 -x4614 -x4615 -x4617 -x4618 -x4619 -x4620 -x4622 -x4623 -x4624 -x4625 1800.00/1800.60 v -x4627 -x4628 -x4629 -x4630 -x4632 -x4633 -x4634 -x4635 -x4637 -x4638 -x4639 -x4640 -x4642 -x4643 -x4644 -x4645 -x4647 1800.00/1800.60 v -x4648 -x4649 -x4650 -x4652 -x4653 -x4654 -x4655 -x4657 -x4658 -x4659 -x4660 -x4662 -x4663 -x4664 -x4665 -x4667 -x4668 1800.00/1800.60 v -x4669 -x4670 -x4672 -x4673 -x4674 -x4675 -x4677 -x4678 -x4679 -x4680 -x4682 -x4683 -x4684 -x4685 -x4687 -x4688 -x4689 1800.00/1800.60 v -x4690 -x4692 -x4693 -x4694 -x4695 -x4697 -x4698 -x4699 -x4700 -x4702 -x4703 -x4704 -x4705 -x4707 -x4708 -x4709 -x4710 1800.00/1800.60 v -x4712 -x4713 -x4714 -x4715 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 1800.00/1800.60 v -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4744 -x4745 -x4746 -x4747 1800.00/1800.60 v -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 1800.00/1800.60 v -x4765 -x4766 -x4767 -x4768 -x4769 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 1800.00/1800.60 v -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4798 -x4799 -x4800 1800.00/1800.60 v -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 1800.00/1800.60 v -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 1800.00/1800.60 v -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 x4847 -x4848 -x4849 -x4850 -x4852 -x4853 1800.00/1800.60 v -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 1800.00/1800.60 v -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 1800.00/1800.60 v -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4906 1800.00/1800.60 v -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 1800.00/1800.60 v -x4925 -x4926 -x4927 -x4928 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 x4942 -x4943 1800.00/1800.60 v -x4944 -x4945 -x4946 -x4947 -x4948 x4949 -x4950 -x4951 -x4952 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 1800.00/1800.60 v -x4962 -x4963 -x4964 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4978 -x4979 -x4980 1800.00/1800.60 v -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 1800.00/1800.60 v -x4999 -x5000 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5014 -x5015 -x5016 -x5017 1800.00/1800.60 v -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 1800.00/1800.60 v -x5036 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5050 -x5051 -x5052 -x5053 -x5054 1800.00/1800.60 v -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 1800.00/1800.60 v -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 1800.00/1800.60 v -x5092 -x5093 -x5094 -x5095 -x5096 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5110 1800.00/1800.60 v -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 x5122 -x5123 -x5124 -x5125 -x5126 -x5127 x5128 -x5129 1800.00/1800.60 v -x5130 -x5131 -x5132 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5146 -x5147 -x5148 1800.00/1800.60 v -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5158 -x5160 -x5161 -x5162 -x5163 x5165 -x5167 -x5169 -x5170 1800.00/1800.60 v -x5171 -x5172 -x5174 -x5176 -x5177 -x5178 -x5179 -x5181 -x5183 -x5184 -x5185 -x5186 -x5188 -x5189 -x5190 -x5191 -x5193 1800.00/1800.60 v -x5195 -x5197 -x5198 -x5199 -x5200 x5202 -x5203 -x5204 -x5205 -x5207 -x5209 -x5210 -x5211 -x5212 -x5214 -x5216 -x5217 1800.00/1800.60 v -x5218 -x5219 -x5221 -x5222 -x5223 -x5224 -x5226 x5228 -x5229 x5230 -x5231 -x5233 x5235 -x5236 -x5237 -x5238 -x5240 -x5242 1800.00/1800.60 v -x5243 -x5244 -x5245 -x5247 -x5248 -x5249 -x5250 -x5252 -x5254 -x5255 -x5256 -x5257 -x5259 -x5261 -x5262 -x5263 -x5264 1800.00/1800.60 v x5266 -x5268 -x5269 -x5270 -x5271 x5273 x5275 -x5276 -x5277 -x5278 x5280 -x5281 -x5282 -x5283 -x5285 -x5286 -x5287 -x5288 1800.00/1800.60 v -x5290 -x5292 -x5294 -x5295 -x5296 -x5297 -x5299 -x5300 -x5301 -x5302 -x5304 -x5306 -x5307 -x5308 -x5309 -x5311 -x5313 1800.00/1800.60 v -x5314 -x5315 -x5316 -x5318 -x5319 -x5320 -x5321 -x5323 -x5324 -x5325 -x5326 x5328 -x5329 -x5330 -x5331 -x5333 -x5334 1800.00/1800.60 v -x5335 -x5336 -x5338 x5340 -x5341 -x5342 -x5343 -x5345 -x5347 -x5348 -x5349 -x5350 -x5352 -x5353 -x5354 -x5355 -x5357 1800.00/1800.60 v -x5358 -x5359 -x5360 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 1800.00/1800.60 v -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5389 -x5390 -x5391 -x5392 -x5393 1800.00/1800.60 v -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 1800.00/1800.60 v -x5411 -x5412 -x5413 -x5414 x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 1800.00/1800.60 v -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5443 -x5444 -x5445 -x5446 1800.00/1800.60 v -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 1800.00/1800.60 v -x5464 -x5465 -x5466 -x5467 -x5468 x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 1800.00/1800.60 v -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 x5497 -x5498 -x5499 1800.00/1800.60 v -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 1800.00/1800.60 v -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 1800.00/1800.60 v -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5551 -x5552 1800.00/1800.60 v -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 1800.00/1800.60 v -x5571 -x5572 -x5573 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5587 -x5588 -x5589 1800.00/1800.60 v -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 1800.00/1800.60 v -x5608 -x5609 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5623 -x5624 -x5625 -x5626 1800.00/1800.60 v -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 1800.00/1800.60 v -x5645 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5659 -x5660 -x5661 -x5662 -x5663 1800.00/1800.60 v -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 1800.00/1800.60 v -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 x5695 -x5696 -x5697 -x5698 -x5699 -x5700 1800.00/1800.60 v -x5701 -x5702 -x5703 -x5704 -x5705 x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5719 1800.00/1800.60 v -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 1800.00/1800.60 v -x5738 -x5739 -x5740 -x5741 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5755 -x5756 1800.00/1800.60 v -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 1800.00/1800.60 v -x5775 -x5776 -x5777 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 x5791 -x5792 -x5793 1800.00/1800.60 v -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 x5800 -x5801 x5803 -x5805 -x5806 -x5807 -x5808 -x5810 -x5811 -x5812 -x5813 -x5815 1800.00/1800.60 v -x5817 -x5818 -x5819 -x5820 -x5822 -x5824 -x5825 -x5826 -x5827 x5829 -x5830 x5831 -x5832 x5834 -x5836 -x5837 -x5838 -x5839 1800.00/1800.60 v x5841 -x5843 -x5844 -x5845 -x5846 x5848 -x5850 -x5851 -x5852 -x5853 -x5855 -x5856 -x5857 -x5858 -x5860 -x5862 -x5863 -x5864 1800.00/1800.60 v -x5865 x5867 -x5869 -x5870 -x5871 -x5872 -x5874 -x5875 -x5876 -x5877 -x5879 -x5881 -x5882 -x5883 -x5884 -x5886 -x5888 1800.00/1800.60 v -x5889 -x5890 -x5891 -x5893 x5895 -x5896 x5897 -x5898 x5900 -x5902 -x5903 -x5904 -x5905 x5907 -x5909 -x5910 -x5911 -x5912 1800.00/1800.60 v -x5914 -x5916 -x5917 -x5918 -x5919 -x5921 -x5923 -x5924 -x5925 -x5926 x5928 -x5930 -x5931 -x5932 -x5933 -x5935 -x5936 1800.00/1800.60 v -x5937 -x5938 -x5940 -x5941 -x5942 -x5943 -x5945 -x5947 -x5948 -x5949 -x5950 -x5952 x5954 x5955 -x5956 -x5957 -x5959 -x5961 1800.00/1800.60 v -x5962 -x5963 -x5964 x5966 -x5968 -x5969 -x5970 -x5971 x5973 -x5975 -x5976 -x5977 -x5978 -x5980 -x5982 -x5983 -x5984 -x5985 1800.00/1800.60 v x5987 x5989 x5991 -x5992 -x5993 -x5994 -x5996 x5998 -x5999 -x6000 -x6001 -x6003 -x6004 -x6005 -x6006 -x6008 -x6010 -x6011 1800.00/1800.60 v -x6012 -x6013 x6015 -x6017 -x6018 -x6019 -x6020 -x6022 x6024 -x6025 x6026 -x6027
OK 20
/tmp/evaluation/373037-1177159599/instance-373037-1177159599.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node19/watcher-373037-1177159599 -o ROOT/results/node19/solver-373037-1177159599 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/373037-1177159599/minisat+ /tmp/evaluation/373037-1177159599/instance-373037-1177159599.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: 0.91 0.97 0.99 3/77 2107 /proc/meminfo: memFree=1766960/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=1180 CPUtime=0 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 144 0 0 0 0 0 0 0 18 0 1 0 163877272 1208320 129 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134628455 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 295 129 75 215 0 77 0 [startup+0.010369 s] /proc/loadavg: 0.91 0.97 0.99 3/77 2107 /proc/meminfo: memFree=1766960/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=1320 CPUtime=0 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 159 0 0 0 0 0 0 0 18 0 1 0 163877272 1351680 144 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007864 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 330 144 75 215 0 112 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1320 [startup+0.101378 s] /proc/loadavg: 0.91 0.97 0.99 3/77 2107 /proc/meminfo: memFree=1766960/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=2224 CPUtime=0.09 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 385 0 0 0 9 0 0 0 18 0 1 0 163877272 2277376 370 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 556 370 75 215 0 338 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2224 [startup+0.3014 s] /proc/loadavg: 0.91 0.97 0.99 3/77 2107 /proc/meminfo: memFree=1766960/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=4012 CPUtime=0.29 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 850 0 0 0 29 0 0 0 19 0 1 0 163877272 4108288 835 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 1003 835 75 215 0 785 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4012 [startup+0.701447 s] /proc/loadavg: 0.91 0.97 0.99 3/77 2107 /proc/meminfo: memFree=1766960/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=8152 CPUtime=0.69 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 1892 0 0 0 67 2 0 0 18 0 1 0 163877272 8347648 1877 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031374 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 2038 1878 87 215 0 1820 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8152 [startup+1.50153 s] /proc/loadavg: 0.91 0.97 0.99 2/78 2114 /proc/meminfo: memFree=1757736/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=10264 CPUtime=1.49 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 2491 0 0 0 146 3 0 0 23 0 1 0 163877272 10510336 2401 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588807 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 2566 2401 123 215 0 2348 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10264 [startup+3.10171 s] /proc/loadavg: 0.91 0.97 0.99 2/78 2114 /proc/meminfo: memFree=1757608/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=10396 CPUtime=3.09 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 2522 0 0 0 306 3 0 0 25 0 1 0 163877272 10645504 2432 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580405 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 2599 2432 123 215 0 2381 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10396 [startup+6.30105 s] /proc/loadavg: 0.92 0.97 0.99 2/78 2114 /proc/meminfo: memFree=1753320/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=15776 CPUtime=6.29 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 3850 0 0 0 625 4 0 0 25 0 1 0 163877272 16154624 3760 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 3944 3760 123 215 0 3726 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15776 [startup+12.7017 s] /proc/loadavg: 0.93 0.97 0.99 2/78 2114 /proc/meminfo: memFree=1745128/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=26252 CPUtime=12.69 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 6380 0 0 0 1263 6 0 0 25 0 1 0 163877272 26882048 6290 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 6563 6290 124 215 0 6345 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26252 [startup+25.5011 s] /proc/loadavg: 0.94 0.97 0.99 2/78 2114 /proc/meminfo: memFree=1737896/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=30324 CPUtime=25.49 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 7395 0 0 0 2542 7 0 0 25 0 1 0 163877272 31051776 7305 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580738 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 7581 7305 124 215 0 7363 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 30324 [startup+51.1019 s] /proc/loadavg: 0.96 0.97 0.99 2/78 2114 /proc/meminfo: memFree=1734568/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=33984 CPUtime=51.08 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 8293 0 0 0 5100 8 0 0 25 0 1 0 163877272 34799616 8198 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 8496 8198 124 215 0 8278 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 33984 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.99 2/78 2114 /proc/meminfo: memFree=1722408/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=46164 CPUtime=102.27 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 11315 0 0 0 10216 11 0 0 25 0 1 0 163877272 47271936 11220 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 11541 11220 124 215 0 11323 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 46164 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 2114 /proc/meminfo: memFree=1721832/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=46676 CPUtime=162.25 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 11435 0 0 0 16213 12 0 0 25 0 1 0 163877272 47796224 11340 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581173 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 11669 11340 124 215 0 11451 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 46676 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 2114 /proc/meminfo: memFree=1721128/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=47468 CPUtime=222.23 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 11604 0 0 0 22211 12 0 0 25 0 1 0 163877272 48607232 11509 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134568556 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 11867 11509 124 215 0 11649 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 47468 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 2114 /proc/meminfo: memFree=1721064/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=47468 CPUtime=282.22 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 11605 0 0 0 28209 13 0 0 25 0 1 0 163877272 48607232 11510 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 11867 11510 124 215 0 11649 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 47468 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 2114 /proc/meminfo: memFree=1720616/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=47992 CPUtime=342.2 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 11715 0 0 0 34207 13 0 0 25 0 1 0 163877272 49143808 11620 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 11998 11620 124 215 0 11780 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 47992 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 2114 /proc/meminfo: memFree=1720552/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=48128 CPUtime=402.19 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 11725 0 0 0 40205 14 0 0 25 0 1 0 163877272 49283072 11630 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576114 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 12032 11630 124 215 0 11814 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 48128 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 2114 /proc/meminfo: memFree=1720296/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=48436 CPUtime=462.17 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 11800 0 0 0 46203 14 0 0 25 0 1 0 163877272 49598464 11705 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576660 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 12109 11705 124 215 0 11891 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 48436 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 2114 /proc/meminfo: memFree=1718824/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=50468 CPUtime=522.15 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 12267 0 0 0 52200 15 0 0 25 0 1 0 163877272 51679232 12172 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 12617 12172 124 215 0 12399 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 50468 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 2114 /proc/meminfo: memFree=1713256/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=55732 CPUtime=582.13 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 13563 0 0 0 58197 16 0 0 25 0 1 0 163877272 57069568 13468 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 13933 13468 124 215 0 13715 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 55732 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 2114 /proc/meminfo: memFree=1711656/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=57388 CPUtime=642.12 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 13964 0 0 0 64195 17 0 0 25 0 1 0 163877272 58765312 13869 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581189 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 14347 13869 124 215 0 14129 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 57388 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 2114 /proc/meminfo: memFree=1711272/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=57860 CPUtime=822.08 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 14072 0 0 0 82189 19 0 0 25 0 1 0 163877272 59248640 13977 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 14465 13977 124 215 0 14247 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 57860 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.99 2/84 2230 /proc/meminfo: memFree=1709872/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=57860 CPUtime=881.99 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 14074 0 0 0 88179 20 0 0 25 0 1 0 163877272 59248640 13979 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 14465 13979 124 215 0 14247 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 57860 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 2312 /proc/meminfo: memFree=1710760/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=58104 CPUtime=941.91 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 14129 0 0 0 94171 20 0 0 25 0 1 0 163877272 59498496 14034 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580962 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 14526 14034 124 215 0 14308 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 58104 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 2312 /proc/meminfo: memFree=1709928/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=59188 CPUtime=1001.9 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 14369 0 0 0 100169 21 0 0 25 0 1 0 163877272 60608512 14274 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 14797 14274 124 215 0 14579 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 59188 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 2312 /proc/meminfo: memFree=1709736/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=59352 CPUtime=1061.88 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 14423 0 0 0 106167 21 0 0 25 0 1 0 163877272 60776448 14328 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 14838 14328 124 215 0 14620 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 59352 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 2312 /proc/meminfo: memFree=1706344/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=62652 CPUtime=1121.87 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 15256 0 0 0 112164 23 0 0 25 0 1 0 163877272 64155648 15161 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 15663 15161 124 215 0 15445 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 62652 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 2312 /proc/meminfo: memFree=1706280/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=63012 CPUtime=1181.85 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 15312 0 0 0 118162 23 0 0 25 0 1 0 163877272 64524288 15217 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134579560 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 15753 15217 124 215 0 15535 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 63012 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 2312 /proc/meminfo: memFree=1706024/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=63176 CPUtime=1241.84 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 15362 0 0 0 124160 24 0 0 25 0 1 0 163877272 64692224 15267 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134568543 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 15794 15267 124 215 0 15576 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 63176 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 2312 /proc/meminfo: memFree=1706024/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=63176 CPUtime=1301.83 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 15362 0 0 0 130159 24 0 0 25 0 1 0 163877272 64692224 15267 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 15794 15267 124 215 0 15576 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 63176 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 2312 /proc/meminfo: memFree=1705960/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=63332 CPUtime=1361.81 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 15388 0 0 0 136156 25 0 0 25 0 1 0 163877272 64851968 15293 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 15833 15293 124 215 0 15615 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 63332 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/78 2312 /proc/meminfo: memFree=1705512/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=63552 CPUtime=1421.8 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 15479 0 0 0 142155 25 0 0 25 0 1 0 163877272 65077248 15384 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 15888 15384 124 215 0 15670 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 63552 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 2312 /proc/meminfo: memFree=1705576/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=63552 CPUtime=1481.77 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 15480 0 0 0 148152 25 0 0 25 0 1 0 163877272 65077248 15385 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 15888 15385 124 215 0 15670 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 63552 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 2312 /proc/meminfo: memFree=1705128/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=63984 CPUtime=1541.76 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 15591 0 0 0 154150 26 0 0 25 0 1 0 163877272 65519616 15488 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576849 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 15996 15488 124 215 0 15778 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 63984 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 2312 /proc/meminfo: memFree=1705064/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=64104 CPUtime=1601.75 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 15600 0 0 0 160148 27 0 0 25 0 1 0 163877272 65642496 15497 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580355 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 16026 15497 124 215 0 15808 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 64104 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 2312 /proc/meminfo: memFree=1705128/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=64104 CPUtime=1661.73 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 15600 0 0 0 166146 27 0 0 25 0 1 0 163877272 65642496 15497 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 16026 15497 124 215 0 15808 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 64104 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 2312 /proc/meminfo: memFree=1705000/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=64184 CPUtime=1721.71 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 15625 0 0 0 172144 27 0 0 25 0 1 0 163877272 65724416 15522 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 16046 15522 124 215 0 15828 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 64184 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 2312 /proc/meminfo: memFree=1703720/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=65868 CPUtime=1781.7 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 15948 0 0 0 178142 28 0 0 25 0 1 0 163877272 67448832 15845 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581153 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 16467 15845 124 215 0 16249 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 65868 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.99 2/78 2312 /proc/meminfo: memFree=1703720/2055920 swapFree=4159420/4192956 [pid=2107] ppid=2105 vsize=65868 CPUtime=1800 /proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 15948 0 0 0 179972 28 0 0 25 0 1 0 163877272 67448832 15845 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576727 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2107/statm: 16467 15845 124 215 0 16249 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 65868 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.63 CPU time (s): 1800.03 CPU user time (s): 1799.73 CPU system time (s): 0.296954 CPU usage (%): 99.9668 Max. virtual memory (cumulated for all children) (KiB): 65868 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.73 system time used= 0.296954 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15951 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= 155 involuntary context switches= 2643 runsolver used 2.22266 second user time and 4.26835 second system time The end
Begin job on node19 on Sat Apr 21 12:46:39 UTC 2007 IDJOB= 373037 IDBENCH= 25015 IDSOLVER= 156 FILE ID= node19/373037-1177159599 PBS_JOBID= 4648888 Free space on /tmp= 66463 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb COMMAND LINE= /tmp/evaluation/373037-1177159599/minisat+ /tmp/evaluation/373037-1177159599/instance-373037-1177159599.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node19/convwatcher-373037-1177159599 -o ROOT/results/node19/conversion-373037-1177159599 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/373037-1177159599/instance-373037-1177159599.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-373037-1177159599 -o ROOT/results/node19/solver-373037-1177159599 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/373037-1177159599/minisat+ /tmp/evaluation/373037-1177159599/instance-373037-1177159599.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= d25f6086317f033c233c4700493f03d1 RANDOM SEED= 407116708 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node19.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.213 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.213 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: 1767304 kB Buffers: 51376 kB Cached: 140732 kB SwapCached: 2236 kB Active: 100172 kB Inactive: 122300 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1767304 kB SwapTotal: 4192956 kB SwapFree: 4159420 kB Dirty: 3004 kB Writeback: 0 kB Mapped: 37364 kB Slab: 51660 kB Committed_AS: 4651400 kB PageTables: 1800 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= 66463 MiB End job on node19 on Sat Apr 21 13:16:42 UTC 2007