Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | 8554 | 1800.26 | 1800.93 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-air02.opb |
MD5SUM | 3f00532e02ccc246cb25b1a4f0a837d4 |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 4200 |
Best CPU time to get the best result obtained on this benchmark | 1800.56 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3905 |
Optimality of the best value was proved | YES |
Number of variables | 6774 |
Total number of constraints | 50 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 50 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 3729 |
Number of terms in the objective function | 6774 |
Biggest coefficient in the objective function | 4804 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 6613094 |
Number of bits of the sum of numbers in the objective function | 23 |
Biggest number in a constraint | 4804 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 6613094 |
Number of bits of the biggest sum of numbers | 23 |
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 bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/362142-1177007211/instance-362142-1177007211.opb 0.00/0.00 c File size is 621422 bytes. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Highest Coefficient sum: 6.61309e+06 0.09/0.12 c Parsing was ok!! 0.09/0.12 c Total parsing time: 0.116 s 0.09/0.13 c Var: 6774 Constr: 100 50/50/0 Lit: 123110 Watch. Lit: 61655 0.09/0.13 c Obj. Vars: 6774 (100 % of total variables) 16.28/16.38 c Pre-processing Time: 16.374 s 17.88/17.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.88/17.93 c 0 6774 100 123110 1231 61655 48269 0 0 16.37 17.88/17.93 c 100 6774 200 280865 1404 61855 53096 100 5 16.67 17.88/17.93 c 250 6774 350 475377 1358 62155 58406 250 14 17.25 17.88/17.93 o 35132 17.922 19.08/19.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 19.08/19.15 c 375 6774 476 653787 1373 69172 61817 376 20 17.93 19.08/19.15 c 478 6774 579 941234 1625 69371 67999 479 26 18.20 19.08/19.15 o 34971 19.14 24.18/24.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.18/24.26 c 726 6774 828 1510896 1824 76639 61817 728 37 19.15 24.18/24.26 c 826 6774 928 1633366 1760 76759 67999 828 42 19.56 24.18/24.26 c 1076 6774 1178 1929009 1637 77236 74799 1078 44 23.93 24.18/24.26 o 28068 24.249 24.28/24.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.28/24.34 c 1097 6774 1200 1972475 1643 84134 61817 1100 45 24.26 24.28/24.34 o 27303 24.327 24.68/24.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.68/24.71 c 1101 6774 1205 1989752 1651 90903 61817 1105 45 24.33 24.68/24.71 o 26700 24.704 24.68/24.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.68/24.77 c 1181 6774 1286 2157109 1677 97800 61817 1186 47 24.71 24.68/24.77 o 26484 24.758 24.78/24.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.78/24.85 c 1183 6774 1289 2168891 1682 104581 61817 1189 47 24.76 24.78/24.85 o 25826 24.84 24.88/24.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.88/24.97 c 1185 6774 1292 2179696 1687 111353 61817 1192 47 24.85 24.88/24.97 o 25686 24.961 24.98/25.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.98/25.04 c 1205 6774 1313 2213324 1685 118158 61817 1213 48 24.97 24.98/25.04 o 25637 25.033 24.98/25.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.98/25.08 c 1208 6774 1317 2225891 1690 124916 61817 1217 48 25.04 24.98/25.08 o 25224 25.068 25.28/25.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 25.28/25.31 c 1209 6774 1319 2233998 1693 131697 61817 1219 48 25.07 25.28/25.31 o 24686 25.302 31.98/32.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.98/32.07 c 1266 6774 1377 2332362 1693 138573 61817 1277 50 25.31 31.98/32.07 c 1366 6774 1477 2521548 1707 138443 67999 1377 52 25.97 31.98/32.07 c 1616 6774 1727 2991548 1732 138793 74799 1627 59 27.32 31.98/32.07 c 2091 6774 2202 3884548 1764 139512 82279 2102 70 29.63 31.98/32.07 o 24669 32.053 47.97/48.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 47.97/48.04 c 2642 6774 2754 4927826 1789 148084 61817 2654 82 32.06 47.97/48.04 c 2742 6774 2854 5004406 1753 148030 67999 2754 84 32.32 47.97/48.04 c 2992 6774 3104 5193965 1673 148361 74799 3004 89 33.33 47.97/48.04 c 3467 6774 3579 5540170 1547 149128 82279 3479 94 36.87 47.97/48.04 c 4280 6774 4392 6215845 1415 151132 90507 4292 102 41.90 47.97/48.04 o 24493 48.026 70.46/70.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 70.46/70.58 c 5062 6774 5175 7017007 1355 159672 61817 5075 105 48.03 70.46/70.58 c 5163 6774 5276 7157588 1356 159882 67999 5176 106 48.53 70.46/70.58 c 5413 6774 5526 7718770 1396 159948 74799 5426 108 49.84 70.46/70.58 c 5888 6774 6001 8633214 1438 161300 82279 5901 109 53.98 70.46/70.58 c 6701 6774 6814 10227966 1501 162994 90507 6714 104 64.33 70.46/70.58 c 8021 6774 8134 12626602 1552 165590 99558 8034 113 70.49 70.46/70.58 o 17702 70.551 90.96/91.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 90.96/91.00 c 8027 6774 8141 12653751 1554 172279 61817 8041 113 70.56 90.96/91.00 c 8127 6774 8241 12930464 1569 172494 67999 8141 114 70.98 90.96/91.00 c 8377 6774 8491 13369824 1574 172857 74799 8391 115 72.52 90.96/91.00 c 8852 6774 8966 14151874 1578 173890 82279 8866 116 75.76 90.96/91.00 c 9665 6774 9779 15023317 1536 174783 90507 9679 110 87.55 90.96/91.00 o 17168 90.97 90.96/91.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 90.96/91.05 c 9922 6774 10037 15709367 1565 182601 61817 9937 109 90.98 90.96/91.05 o 16711 91.019 91.45/91.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 91.45/91.59 c 9926 6774 10042 15719306 1565 189355 61817 9942 109 91.03 91.45/91.59 o 16467 91.556 146.14/146.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 146.14/146.25 c 10021 6774 10138 15881681 1566 196330 61817 10038 109 91.56 146.14/146.25 c 10121 6774 10238 16060554 1568 196603 67999 10138 109 92.56 146.14/146.25 c 10371 6774 10488 16633915 1585 197151 74799 10388 109 94.52 146.14/146.25 c 10846 6774 10963 17709464 1615 197881 82279 10863 110 98.31 146.14/146.25 c 11659 6774 11776 19092706 1621 199370 90507 11676 106 109.47 146.14/146.25 c 12979 6774 13096 22284831 1701 202169 99558 12996 89 144.93 146.14/146.25 o 16384 146.2 205.91/206.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 205.91/206.09 c 13101 6774 13219 22669118 1714 209124 61817 13119 89 146.21 205.91/206.09 c 13201 6774 13319 23073870 1732 209511 67999 13219 89 147.30 205.91/206.09 c 13452 6774 13570 23698718 1746 209958 74799 13470 89 150.82 205.91/206.09 c 13927 6774 14045 24711463 1759 210914 82279 13945 88 157.39 205.91/206.09 c 14740 6774 14858 26170254 1761 212503 90507 14758 82 179.72 205.91/206.09 c 16060 6774 16178 28536592 1763 214768 99558 16078 78 204.95 205.91/206.09 o 16359 206.008 357.06/357.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 357.06/357.28 c 16192 6774 16311 28956219 1775 222100 61817 16211 78 206.01 357.06/357.28 c 16292 6774 16411 29093097 1772 222129 67999 16311 78 207.14 357.06/357.28 c 16542 6774 16661 29325374 1760 222410 74799 16561 77 212.22 357.06/357.28 c 17018 6774 17137 29739244 1735 223509 82279 17037 76 223.64 357.06/357.28 c 17831 6774 17950 31203865 1738 225146 90507 17850 74 238.78 357.06/357.28 c 19151 6774 19270 33660126 1746 227970 99558 19170 71 267.49 357.06/357.28 c 21232 6774 21351 36456134 1707 231698 109514 21251 67 316.66 357.06/357.28 o 16341 357.143 362.95/363.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 362.95/363.12 c 23396 6774 23516 40721785 1731 243353 61817 23416 65 357.15 362.95/363.12 c 23496 6774 23616 41074432 1739 243540 67999 23516 65 358.50 362.95/363.12 c 23746 6774 23866 41875167 1754 243652 74799 23766 65 359.81 362.95/363.12 o 16332 362.983 423.73/423.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 423.73/423.97 c 24108 6774 24229 42921769 1771 251523 61817 24129 66 362.99 423.73/423.97 c 24208 6774 24329 43081770 1770 251631 67999 24229 64 375.52 423.73/423.97 c 24458 6774 24579 43614101 1774 252218 74799 24479 64 378.93 423.73/423.97 c 24933 6774 25054 44292743 1767 253195 82279 24954 64 384.74 423.73/423.97 c 25748 6774 25869 45107581 1743 254898 90507 25769 63 406.76 423.73/423.97 c 27068 6774 27189 47984728 1764 257410 99558 27089 64 418.32 423.73/423.97 o 16252 423.814 503.80/504.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 503.80/504.06 c 27340 6774 27462 48685573 1772 264684 61817 27362 64 423.82 503.80/504.06 c 27440 6774 27562 49016803 1778 264805 67999 27462 64 425.87 503.80/504.06 c 27690 6774 27812 49836589 1791 265392 74799 27712 64 428.33 503.80/504.06 c 28165 6774 28287 50417903 1782 266336 82279 28187 62 449.39 503.80/504.06 c 28978 6774 29100 52626560 1808 267937 90507 29000 63 458.41 503.80/504.06 c 30298 6774 30420 56112422 1844 270540 99558 30320 63 477.77 503.80/504.06 o 16171 503.868 1145.07/1145.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1145.07/1145.54 c 31630 6774 31753 59328227 1868 280010 61817 31653 62 503.88 1145.07/1145.54 c 31730 6774 31853 59734168 1875 279976 67999 31753 62 506.63 1145.07/1145.54 c 31980 6774 32103 60177707 1874 280027 74799 32003 62 513.32 1145.07/1145.54 c 32455 6774 32578 61243091 1879 280662 82279 32478 61 525.01 1145.07/1145.54 c 33268 6774 33391 62533075 1872 282363 90507 33291 60 550.90 1145.07/1145.54 c 34588 6774 34711 65482191 1886 285930 99558 34611 60 574.63 1145.07/1145.54 c 36669 6774 36792 69022653 1876 290021 109514 36692 58 628.89 1145.07/1145.54 c 39896 6774 40019 73917161 1847 296537 120466 39919 35 1133.21 1145.07/1145.54 o 15905 1145.12 1161.66/1162.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1161.66/1162.12 c 40329 6774 40453 75051178 1855 304177 61817 40353 35 1145.13 1161.66/1162.12 c 40429 6774 40553 75183127 1853 304189 67999 40453 35 1146.82 1161.66/1162.12 c 40679 6774 40803 75351982 1846 304104 74799 40703 35 1150.42 1161.66/1162.12 c 41154 6774 41278 75974688 1840 305722 82279 41178 35 1160.54 1161.66/1162.12 o 15854 1161.7 1201.45/1201.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1201.45/1201.92 c 41169 6774 41294 76005154 1840 312598 61817 41194 35 1161.70 1201.45/1201.92 c 41269 6774 41394 76091646 1838 312862 67999 41294 35 1163.39 1201.45/1201.92 c 41519 6774 41644 76439191 1835 312595 74799 41544 35 1169.59 1201.45/1201.92 c 42000 6774 42125 77236254 1833 314179 82279 42025 35 1183.36 1201.45/1201.92 o 15723 1201.48 1229.94/1230.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1229.94/1230.46 c 42693 6774 42819 78681963 1837 322407 61817 42719 35 1201.48 1229.94/1230.46 c 42793 6774 42919 78874588 1837 322079 67999 42819 35 1202.74 1229.94/1230.46 c 43043 6774 43169 79396824 1839 322337 74799 43069 35 1206.87 1229.94/1230.46 c 43518 6774 43644 80332184 1840 323083 82279 43544 35 1214.55 1229.94/1230.46 o 15422 1230 1231.83/1232.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1231.83/1232.31 c 44182 6774 44309 81564754 1840 332098 61817 44209 35 1230.01 1231.83/1232.31 o 15387 1231.85 1415.56/1416.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1415.56/1416.12 c 44228 6774 44356 81687639 1841 339003 61817 44256 35 1231.86 1415.56/1416.12 c 44328 6774 44456 81872877 1841 338782 67999 44356 35 1234.31 1415.56/1416.12 c 44578 6774 44706 82315770 1841 339599 74799 44606 35 1240.93 1415.56/1416.12 c 45053 6774 45181 83171203 1840 339618 82279 45081 35 1253.41 1415.56/1416.12 c 45866 6774 45994 84646945 1840 342260 90507 45894 35 1283.36 1415.56/1416.12 c 47186 6774 47314 87525646 1849 344836 99558 47214 36 1302.52 1415.56/1416.12 c 49268 6774 49396 93499358 1892 349047 109514 49296 36 1347.16 1415.56/1416.12 c 52491 6774 52619 98719754 1876 355500 120466 52519 37 1414.29 1415.56/1416.12 o 8554 1415.59 1800.03/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.03/1800.70 c 52529 6774 52658 98810017 1876 362187 61817 52558 37 1415.60 1800.03/1800.70 c 52630 6774 52759 99089249 1878 362245 67999 52659 36 1426.47 1800.03/1800.70 c 52880 6774 53009 99765634 1882 362333 74799 52909 36 1435.79 1800.03/1800.70 c 53355 6774 53484 101014892 1888 362882 82279 53384 36 1453.59 1800.03/1800.70 c 54168 6774 54297 102479356 1887 365137 90507 54197 36 1492.07 1800.03/1800.70 c 55488 6774 55617 104400459 1877 367865 99558 55517 36 1534.07 1800.03/1800.70 c Caught signal: 15 1800.03/1800.70 v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.03/1800.70 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.03/1800.70 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1800.03/1800.70 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1800.03/1800.70 v -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.03/1800.70 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.03/1800.70 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.03/1800.70 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.03/1800.70 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.03/1800.70 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.03/1800.70 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.03/1800.70 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1800.03/1800.70 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1800.03/1800.70 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.03/1800.70 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 1800.03/1800.70 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1800.03/1800.70 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1800.03/1800.70 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.03/1800.70 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1800.03/1800.70 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1800.03/1800.70 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.03/1800.70 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1800.03/1800.70 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.03/1800.70 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.03/1800.70 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.03/1800.70 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.03/1800.70 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.03/1800.70 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.03/1800.70 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.03/1800.70 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1800.03/1800.70 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1800.03/1800.70 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1800.03/1800.70 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1800.03/1800.70 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1800.03/1800.70 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1800.03/1800.70 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1800.03/1800.70 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1800.03/1800.70 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1800.03/1800.70 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1800.03/1800.70 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1800.03/1800.70 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1800.03/1800.70 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1800.03/1800.70 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1800.03/1800.70 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1800.03/1800.70 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1800.03/1800.70 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1800.03/1800.70 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1800.03/1800.70 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1800.03/1800.70 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1800.03/1800.70 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1800.03/1800.70 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 1800.03/1800.70 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1800.03/1800.70 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 1800.03/1800.70 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1800.03/1800.70 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 1800.03/1800.70 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1800.03/1800.70 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1800.03/1800.70 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1800.03/1800.70 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1800.03/1800.70 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1800.03/1800.70 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 1800.03/1800.70 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 1800.03/1800.70 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 1800.03/1800.70 v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 1800.03/1800.70 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 1800.03/1800.70 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 1800.03/1800.70 v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 1800.03/1800.70 v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 1800.03/1800.70 v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1800.03/1800.70 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 1800.03/1800.70 v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 1800.03/1800.70 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 1800.03/1800.70 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 1800.03/1800.70 v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 1800.03/1800.70 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 1800.03/1800.70 v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 1800.03/1800.70 v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 1800.03/1800.70 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 1800.03/1800.70 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 1800.03/1800.70 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 1800.03/1800.70 v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 1800.03/1800.70 v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 1800.03/1800.70 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 1800.03/1800.70 v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 1800.03/1800.70 v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 1800.03/1800.70 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 1800.03/1800.70 v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 1800.03/1800.70 v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 1800.03/1800.70 v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 1800.03/1800.70 v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 1800.03/1800.70 v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 1800.03/1800.70 v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 1800.03/1800.70 v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 1800.03/1800.70 v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 1800.03/1800.70 v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 1800.03/1800.70 v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 1800.03/1800.70 v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 1800.03/1800.70 v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1800.03/1800.70 v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 1800.03/1800.70 v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 1800.03/1800.70 v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 1800.03/1800.70 v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 1800.03/1800.70 v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 1800.03/1800.70 v -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 1800.03/1800.70 v -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 1800.03/1800.70 v -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 1800.03/1800.70 v -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 1800.03/1800.70 v -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 1800.03/1800.70 v -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 1800.03/1800.70 v -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 1800.03/1800.70 v -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 1800.03/1800.70 v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 1800.03/1800.70 v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 1800.03/1800.70 v -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 1800.03/1800.70 v -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 1800.03/1800.70 v -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 1800.03/1800.70 v -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 1800.03/1800.70 v -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 1800.03/1800.70 v -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 1800.03/1800.70 v -x2230 -x2231 x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 1800.03/1800.70 v -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 1800.03/1800.70 v -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 1800.03/1800.70 v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 1800.03/1800.70 v -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 1800.03/1800.70 v -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 1800.03/1800.70 v -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 1800.03/1800.70 v -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 1800.03/1800.70 v -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 1800.03/1800.70 v -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 1800.03/1800.70 v -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 1800.03/1800.70 v -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 1800.03/1800.70 v -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 1800.03/1800.70 v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 1800.03/1800.70 v -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 1800.03/1800.70 v -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 1800.03/1800.70 v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 1800.03/1800.70 v -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 1800.03/1800.70 v -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 1800.03/1800.70 v -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 1800.03/1800.70 v -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 1800.03/1800.70 v -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 1800.03/1800.70 v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 1800.03/1800.70 v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 1800.03/1800.70 v -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 1800.03/1800.70 v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 1800.03/1800.70 v -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 1800.03/1800.70 v -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 1800.03/1800.70 v -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 1800.03/1800.70 v -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 1800.03/1800.70 v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 1800.03/1800.70 v -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 1800.03/1800.70 v -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 1800.03/1800.70 v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 1800.03/1800.70 v -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 1800.03/1800.70 v -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 1800.03/1800.70 v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 1800.03/1800.70 v -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 1800.03/1800.70 v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 1800.03/1800.70 v -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 1800.03/1800.70 v -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 1800.03/1800.70 v -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 1800.03/1800.70 v -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 1800.03/1800.70 v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 1800.03/1800.70 v -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 1800.03/1800.70 v -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 1800.03/1800.70 v -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 1800.03/1800.70 v -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 1800.03/1800.70 v -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 1800.03/1800.70 v -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 1800.03/1800.70 v -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 1800.03/1800.70 v -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 1800.03/1800.70 v -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 1800.03/1800.70 v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 1800.03/1800.70 v -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 1800.03/1800.70 v -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 1800.03/1800.70 v -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 1800.03/1800.70 v -x3199 -x3200 -x3201 -x3202 -x3203 x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 1800.03/1800.70 v -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 1800.03/1800.70 v -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 1800.03/1800.70 v -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 1800.03/1800.70 v -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 1800.03/1800.70 v -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 1800.03/1800.70 v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 1800.03/1800.70 v -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 1800.03/1800.70 v -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 1800.03/1800.70 v -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 1800.03/1800.70 v -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 1800.03/1800.70 v -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 1800.03/1800.70 v -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 1800.03/1800.70 v -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 1800.03/1800.70 v -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 1800.03/1800.70 v -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 1800.03/1800.70 v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 1800.03/1800.70 v -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 1800.03/1800.70 v -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 1800.03/1800.70 v -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 1800.03/1800.70 v -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 1800.03/1800.70 v -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 1800.03/1800.70 v -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 1800.03/1800.70 v -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 1800.03/1800.70 v -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 1800.03/1800.70 v -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 1800.03/1800.70 v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 1800.03/1800.70 v -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 1800.03/1800.70 v -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 1800.03/1800.70 v -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 1800.03/1800.70 v -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 1800.03/1800.70 v -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 1800.03/1800.70 v -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 1800.03/1800.70 v -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 1800.03/1800.70 v -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 1800.03/1800.70 v -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 1800.03/1800.70 v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 1800.03/1800.70 v -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 1800.03/1800.70 v -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 1800.03/1800.70 v -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 1800.03/1800.70 v -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 1800.03/1800.70 v -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 1800.03/1800.70 v -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 1800.03/1800.70 v -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 1800.03/1800.70 v -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 1800.03/1800.70 v -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 1800.03/1800.70 v -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 1800.03/1800.70 v -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 1800.03/1800.70 v -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 1800.03/1800.70 v -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 1800.03/1800.70 v -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 1800.03/1800.70 v -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 1800.03/1800.70 v -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 1800.03/1800.70 v -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 1800.03/1800.70 v -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 1800.03/1800.70 v -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 1800.03/1800.70 v -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 1800.03/1800.70 v -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 1800.03/1800.70 v -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 1800.03/1800.70 v -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 1800.03/1800.70 v -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 1800.03/1800.70 v -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 1800.03/1800.70 v -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 1800.03/1800.70 v -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 1800.03/1800.70 v -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 1800.03/1800.70 v -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 1800.03/1800.70 v -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 1800.03/1800.70 v -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 1800.03/1800.70 v -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 1800.03/1800.70 v -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 1800.03/1800.70 v -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 1800.03/1800.70 v -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 1800.03/1800.70 v -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 1800.03/1800.70 v -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 1800.03/1800.70 v -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 1800.03/1800.70 v -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 1800.03/1800.70 v -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 1800.03/1800.70 v -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 1800.03/1800.70 v -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 1800.03/1800.70 v -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 1800.03/1800.70 v -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 1800.03/1800.70 v -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 1800.03/1800.70 v -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 1800.03/1800.70 v -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 1800.03/1800.70 v -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 1800.03/1800.70 v -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 1800.03/1800.70 v -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 1800.03/1800.70 v -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 1800.03/1800.70 v -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 1800.03/1800.70 v -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 1800.03/1800.70 v -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 1800.03/1800.70 v -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 1800.03/1800.70 v -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 1800.03/1800.70 v -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 1800.03/1800.70 v -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 1800.03/1800.70 v -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 1800.03/1800.70 v -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 1800.03/1800.70 v -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 1800.03/1800.70 v -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 1800.03/1800.70 v -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 1800.03/1800.70 v -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 1800.03/1800.70 v -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 1800.03/1800.70 v -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 1800.03/1800.70 v -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 1800.03/1800.70 v -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 1800.03/1800.70 v -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 1800.03/1800.70 v -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 1800.03/1800.70 v -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 1800.03/1800.70 v -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 1800.03/1800.70 v -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 1800.03/1800.70 v -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 1800.03/1800.70 v -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 1800.03/1800.70 v -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 1800.03/1800.70 v -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 1800.03/1800.70 v -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 1800.03/1800.70 v -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 1800.03/1800.70 v -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 1800.03/1800.70 v -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 1800.03/1800.70 v -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 1800.03/1800.70 v -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 1800.03/1800.70 v -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 1800.03/1800.70 v -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 1800.03/1800.70 v -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 1800.03/1800.70 v -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 1800.03/1800.70 v -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 1800.03/1800.70 v -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 1800.03/1800.70 v -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 1800.03/1800.70 v -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 1800.03/1800.70 v -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 1800.03/1800.70 v -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 1800.03/1800.70 v -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 1800.03/1800.70 v -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 1800.03/1800.70 v -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 1800.03/1800.70 v -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 1800.03/1800.70 v -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 1800.03/1800.70 v -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 1800.03/1800.70 v -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 1800.03/1800.70 v -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 1800.03/1800.70 v -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 1800.03/1800.70 v -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 1800.03/1800.70 v -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 1800.03/1800.70 v -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 1800.03/1800.70 v -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 1800.03/1800.70 v -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 1800.03/1800.70 v -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 1800.03/1800.70 v -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 1800.03/1800.70 v -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 1800.03/1800.70 v -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 1800.03/1800.70 v -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 1800.03/1800.70 v -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 1800.03/1800.70 v -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 1800.03/1800.70 v -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 1800.03/1800.70 v -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 1800.03/1800.70 v -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 1800.03/1800.70 v -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 1800.03/1800.70 v -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 1800.03/1800.70 v -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 1800.03/1800.70 v -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 1800.03/1800.70 v -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 1800.03/1800.70 v -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 1800.03/1800.70 v -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 1800.03/1800.70 v -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 1800.03/1800.70 v -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 1800.03/1800.70 v -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 1800.03/1800.70 v -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 1800.03/1800.70 v -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 1800.03/1800.70 v -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 1800.03/1800.70 v -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 1800.03/1800.70 v -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 1800.03/1800.70 v -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 1800.03/1800.70 v -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 1800.03/1800.70 v -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 1800.03/1800.70 v -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 1800.03/1800.70 v -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 1800.03/1800.70 v -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 1800.03/1800.70 v -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 1800.03/1800.70 v -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 1800.03/1800.70 v -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 1800.03/1800.70 v -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 1800.03/1800.70 v -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 1800.03/1800.70 v -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 1800.03/1800.70 v -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 1800.03/1800.70 v -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 1800.03/1800.70 v -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 1800.03/1800.70 v -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 1800.03/1800.70 v -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 1800.03/1800.70 v -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 1800.03/1800.70 v -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 1800.03/1800.70 v -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 1800.03/1800.70 v -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 1800.03/1800.70 v -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 1800.03/1800.70 v -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 1800.03/1800.70 v -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 1800.03/1800.70 v -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 1800.03/1800.70 v -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 1800.03/1800.70 v -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 1800.03/1800.70 v -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 1800.03/1800.70 v -x6548 x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 1800.03/1800.70 v -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 1800.03/1800.70 v -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 1800.03/1800.70 v -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 1800.03/1800.70 v -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 1800.03/1800.70 v -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 1800.03/1800.70 v -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 1800.03/1800.70 v -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 1800.03/1800.70 v -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 1800.03/1800.70 v -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 1800.03/1800.70 v -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 1800.03/1800.70 v -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 1800.03/1800.70 v -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 1800.03/1800.70 v -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 1800.03/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.03/1800.71 c 106 56185 49664 27035550 56314 105475053 56214 31 1800.04 1800.03/1800.71 c Objective: 8554 1800.03/1800.71 s SATISFIABLE 1800.03/1800.71 c Total time: 1800.04 s
OK 8554
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node42/watcher-362142-1177007211 -o ROOT/results/node42/solver-362142-1177007211 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362142-1177007211/instance-362142-1177007211.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.99 0.98 0.98 2/77 9393 /proc/meminfo: memFree=1562608/2055920 swapFree=4138768/4192956 [pid=9393] ppid=9391 vsize=12344 CPUtime=0 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 148632989 12640256 333 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 3086 333 281 324 0 2003 0 [startup+0.0474269 s] /proc/loadavg: 0.99 0.98 0.98 2/77 9393 /proc/meminfo: memFree=1562608/2055920 swapFree=4138768/4192956 [pid=9393] ppid=9391 vsize=13388 CPUtime=0.04 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 677 0 0 0 4 0 0 0 18 0 1 0 148632989 13709312 645 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12873343 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 3347 645 339 324 0 2264 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 13388 [startup+0.101436 s] /proc/loadavg: 0.99 0.98 0.98 2/77 9393 /proc/meminfo: memFree=1562608/2055920 swapFree=4138768/4192956 [pid=9393] ppid=9391 vsize=14216 CPUtime=0.09 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 958 0 0 0 9 0 0 0 18 0 1 0 148632989 14557184 926 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 3554 926 409 324 0 2471 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14216 [startup+0.301474 s] /proc/loadavg: 0.99 0.98 0.98 2/77 9393 /proc/meminfo: memFree=1562608/2055920 swapFree=4138768/4192956 [pid=9393] ppid=9391 vsize=15948 CPUtime=0.29 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 1567 0 0 0 29 0 0 0 20 0 1 0 148632989 16330752 1383 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 3987 1383 305 324 0 3056 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15948 [startup+0.701549 s] /proc/loadavg: 0.99 0.98 0.98 2/77 9393 /proc/meminfo: memFree=1562608/2055920 swapFree=4138768/4192956 [pid=9393] ppid=9391 vsize=15948 CPUtime=0.69 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 1572 0 0 0 69 0 0 0 23 0 1 0 148632989 16330752 1388 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12524657 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 3987 1388 305 324 0 3056 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15948 [startup+1.5017 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9394 /proc/meminfo: memFree=1558248/2055920 swapFree=4138768/4192956 [pid=9393] ppid=9391 vsize=15948 CPUtime=1.49 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 1578 0 0 0 149 0 0 0 25 0 1 0 148632989 16330752 1394 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 3987 1394 305 324 0 3056 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15948 [startup+3.10201 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9394 /proc/meminfo: memFree=1557928/2055920 swapFree=4138768/4192956 [pid=9393] ppid=9391 vsize=15948 CPUtime=3.08 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 1590 0 0 0 308 0 0 0 25 0 1 0 148632989 16330752 1406 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 3987 1406 305 324 0 3056 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 15948 [startup+6.30162 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9394 /proc/meminfo: memFree=1557864/2055920 swapFree=4138768/4192956 [pid=9393] ppid=9391 vsize=15948 CPUtime=6.28 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 1593 0 0 0 628 0 0 0 25 0 1 0 148632989 16330752 1409 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134520488 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 3987 1409 305 324 0 3056 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 15948 [startup+12.7018 s] /proc/loadavg: 0.99 0.98 0.98 3/78 9394 /proc/meminfo: memFree=1557928/2055920 swapFree=4138768/4192956 [pid=9393] ppid=9391 vsize=15948 CPUtime=12.69 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 1593 0 0 0 1268 1 0 0 25 0 1 0 148632989 16330752 1409 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551904 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 3987 1409 305 324 0 3056 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15948 [startup+25.5013 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9394 /proc/meminfo: memFree=1529064/2055920 swapFree=4138768/4192956 [pid=9393] ppid=9391 vsize=38564 CPUtime=25.47 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 10007 0 0 0 2486 61 0 0 25 0 1 0 148632989 39489536 9009 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 9641 9009 312 324 0 8710 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 38564 [startup+51.1011 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9394 /proc/meminfo: memFree=1457640/2055920 swapFree=4138768/4192956 [pid=9393] ppid=9391 vsize=110172 CPUtime=51.07 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 27914 0 0 0 4833 274 0 0 25 0 1 0 148632989 112816128 26916 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 27543 26916 312 324 0 26612 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 110172 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9394 /proc/meminfo: memFree=1324776/2055920 swapFree=4138768/4192956 [pid=9393] ppid=9391 vsize=241268 CPUtime=102.26 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 60686 0 0 0 9793 433 0 0 25 0 1 0 148632989 247058432 59688 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 60317 59688 312 324 0 59386 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 241268 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9394 /proc/meminfo: memFree=1239720/2055920 swapFree=4138828/4192956 [pid=9393] ppid=9391 vsize=326048 CPUtime=162.23 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 81893 0 0 0 15750 473 0 0 25 0 1 0 148632989 333873152 80895 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 81512 80895 312 324 0 80581 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 326048 [startup+222.303 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9394 /proc/meminfo: memFree=1177128/2055920 swapFree=4138828/4192956 [pid=9393] ppid=9391 vsize=388484 CPUtime=222.21 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 97496 0 0 0 21625 596 0 0 25 0 1 0 148632989 397807616 96498 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12840787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 97121 96498 312 324 0 96190 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 388484 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9394 /proc/meminfo: memFree=1116200/2055920 swapFree=4138884/4192956 [pid=9393] ppid=9391 vsize=449704 CPUtime=282.18 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 112807 0 0 0 27478 740 0 0 25 0 1 0 148632989 460496896 111809 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 112426 111809 312 324 0 111495 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 449704 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9394 /proc/meminfo: memFree=1062568/2055920 swapFree=4138884/4192956 [pid=9393] ppid=9391 vsize=502892 CPUtime=342.17 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 126093 0 0 0 33367 850 0 0 25 0 1 0 148632989 514961408 125095 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 125723 125095 312 324 0 124792 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 502892 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9394 /proc/meminfo: memFree=982568/2055920 swapFree=4138884/4192956 [pid=9393] ppid=9391 vsize=582796 CPUtime=402.14 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 146087 0 0 0 39261 953 0 0 25 0 1 0 148632989 596783104 145089 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 145699 145089 312 324 0 144768 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 582796 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9394 /proc/meminfo: memFree=874280/2055920 swapFree=4138944/4192956 [pid=9393] ppid=9391 vsize=691900 CPUtime=462.11 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 173352 0 0 0 45237 974 0 0 25 0 1 0 148632989 708505600 172354 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 172975 172354 312 324 0 172044 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 691900 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9394 /proc/meminfo: memFree=777896/2055920 swapFree=4138944/4192956 [pid=9393] ppid=9391 vsize=788068 CPUtime=522.1 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 197385 0 0 0 51169 1041 0 0 25 0 1 0 148632989 806981632 196387 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 197017 196387 312 324 0 196086 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 788068 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9394 /proc/meminfo: memFree=712296/2055920 swapFree=4139000/4192956 [pid=9393] ppid=9391 vsize=852836 CPUtime=582.08 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 213590 0 0 0 57098 1110 0 0 25 0 1 0 148632989 873304064 212592 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551563 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 213209 212592 312 324 0 212278 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 852836 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9394 /proc/meminfo: memFree=671016/2055920 swapFree=4139000/4192956 [pid=9393] ppid=9391 vsize=893540 CPUtime=642.06 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 223758 0 0 0 63075 1131 0 0 25 0 1 0 148632989 914984960 222760 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 223385 222760 312 324 0 222454 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 893540 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9396 /proc/meminfo: memFree=660776/2055920 swapFree=4139116/4192956 [pid=9393] ppid=9391 vsize=903536 CPUtime=941.95 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 226248 0 0 0 93043 1152 0 0 25 0 1 0 148632989 925220864 225250 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 225884 225250 312 324 0 224953 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 903536 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9396 /proc/meminfo: memFree=659816/2055920 swapFree=4139172/4192956 [pid=9393] ppid=9391 vsize=904480 CPUtime=1001.92 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 226509 0 0 0 99038 1154 0 0 25 0 1 0 148632989 926187520 225511 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 226120 225511 312 324 0 225189 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 904480 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9396 /proc/meminfo: memFree=655400/2055920 swapFree=4139172/4192956 [pid=9393] ppid=9391 vsize=909148 CPUtime=1061.89 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 227670 0 0 0 105031 1158 0 0 25 0 1 0 148632989 930967552 226672 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 227287 226672 312 324 0 226356 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 909148 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9396 /proc/meminfo: memFree=622184/2055920 swapFree=4139172/4192956 [pid=9393] ppid=9391 vsize=942152 CPUtime=1121.88 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 235915 0 0 0 111019 1169 0 0 25 0 1 0 148632989 964763648 234917 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 235538 234917 312 324 0 234607 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 942152 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9396 /proc/meminfo: memFree=569448/2055920 swapFree=4139224/4192956 [pid=9393] ppid=9391 vsize=995068 CPUtime=1181.85 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 249152 0 0 0 116930 1255 0 0 25 0 1 0 148632989 1018949632 248154 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 248767 248154 312 324 0 247836 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 995068 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9396 /proc/meminfo: memFree=501992/2055920 swapFree=4139224/4192956 [pid=9393] ppid=9391 vsize=1062248 CPUtime=1241.83 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 265952 0 0 0 122822 1361 0 0 25 0 1 0 148632989 1087741952 264954 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 265562 264954 312 324 0 264631 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 1062248 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9396 /proc/meminfo: memFree=438056/2055920 swapFree=4139284/4192956 [pid=9393] ppid=9391 vsize=1125644 CPUtime=1301.81 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 281787 0 0 0 128699 1482 0 0 25 0 1 0 148632989 1152659456 280789 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 281411 280789 312 324 0 280480 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 1125644 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9396 /proc/meminfo: memFree=342696/2055920 swapFree=4139284/4192956 [pid=9393] ppid=9391 vsize=1222000 CPUtime=1361.79 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 305880 0 0 0 134658 1521 0 0 25 0 1 0 148632989 1251328000 304882 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 305500 304882 312 324 0 304569 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 1222000 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9396 /proc/meminfo: memFree=290088/2055920 swapFree=4139284/4192956 [pid=9393] ppid=9391 vsize=1273112 CPUtime=1421.77 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 318669 0 0 0 140611 1566 0 0 25 0 1 0 148632989 1303666688 317671 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 318278 317671 312 324 0 317347 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 1273112 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9396 /proc/meminfo: memFree=252520/2055920 swapFree=4139344/4192956 [pid=9393] ppid=9391 vsize=1310908 CPUtime=1481.74 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 328098 0 0 0 146544 1630 0 0 25 0 1 0 148632989 1342369792 327100 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 327727 327100 312 324 0 326796 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 1310908 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9396 /proc/meminfo: memFree=219176/2055920 swapFree=4139344/4192956 [pid=9393] ppid=9391 vsize=1343844 CPUtime=1541.72 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 336343 0 0 0 152524 1648 0 0 25 0 1 0 148632989 1376096256 335345 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12838741 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 335961 335345 312 324 0 335030 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 1343844 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9396 /proc/meminfo: memFree=207976/2055920 swapFree=4139404/4192956 [pid=9393] ppid=9391 vsize=1355036 CPUtime=1601.7 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 339139 0 0 0 158514 1656 0 0 25 0 1 0 148632989 1387556864 338141 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 338759 338141 312 324 0 337828 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 1355036 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9396 /proc/meminfo: memFree=207656/2055920 swapFree=4139404/4192956 [pid=9393] ppid=9391 vsize=1355440 CPUtime=1661.67 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 339228 0 0 0 164510 1657 0 0 25 0 1 0 148632989 1387970560 338230 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 338860 338230 312 324 0 337929 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 1355440 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9396 /proc/meminfo: memFree=207528/2055920 swapFree=4139404/4192956 [pid=9393] ppid=9391 vsize=1355560 CPUtime=1721.66 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 339257 0 0 0 170508 1658 0 0 25 0 1 0 148632989 1388093440 338259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 338890 338259 312 324 0 337959 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 1355560 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9396 /proc/meminfo: memFree=207336/2055920 swapFree=4139456/4192956 [pid=9393] ppid=9391 vsize=1355688 CPUtime=1781.63 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 339296 0 0 0 176505 1658 0 0 25 0 1 0 148632989 1388224512 338298 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 338922 338298 312 324 0 337991 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 1355688 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9396 /proc/meminfo: memFree=206248/2055920 swapFree=4139456/4192956 [pid=9393] ppid=9391 vsize=1356752 CPUtime=1800.03 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 339570 0 0 0 178344 1659 0 0 25 0 1 0 148632989 1389314048 338572 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 339188 338572 312 324 0 338257 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1356752 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9396 /proc/meminfo: memFree=206248/2055920 swapFree=4139456/4192956 [pid=9393] ppid=9391 vsize=0 CPUtime=1800.12 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194308 339571 0 0 0 178344 1668 0 0 25 0 1 0 148632989 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 [startup+1800.9 s] /proc/loadavg: 0.99 0.98 0.98 2/78 9396 /proc/meminfo: memFree=206248/2055920 swapFree=4139456/4192956 [pid=9393] ppid=9391 vsize=0 CPUtime=1800.22 /proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194308 339571 0 0 0 178344 1678 0 0 25 0 1 0 148632989 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/9393/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.93 CPU time (s): 1800.26 CPU user time (s): 1783.45 CPU system time (s): 16.8144 CPU usage (%): 99.9629 Max. virtual memory (cumulated for all children) (KiB): 1356752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1783.45 system time used= 16.8144 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 339571 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 13 involuntary context switches= 37272 runsolver used 2.21266 second user time and 4.23836 second system time The end
Begin job on node42 on Thu Apr 19 18:26:51 UTC 2007 IDJOB= 362142 IDBENCH= 1510 IDSOLVER= 163 FILE ID= node42/362142-1177007211 PBS_JOBID= 4630520 Free space on /tmp= 66444 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air02.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362142-1177007211/instance-362142-1177007211.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-362142-1177007211 -o ROOT/results/node42/solver-362142-1177007211 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362142-1177007211/instance-362142-1177007211.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 3f00532e02ccc246cb25b1a4f0a837d4 RANDOM SEED= 348517897 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node42.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.277 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.277 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: 1563080 kB Buffers: 25660 kB Cached: 377868 kB SwapCached: 18684 kB Active: 76644 kB Inactive: 359960 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1563080 kB SwapTotal: 4192956 kB SwapFree: 4138768 kB Dirty: 5084 kB Writeback: 0 kB Mapped: 39780 kB Slab: 41668 kB Committed_AS: 2996408 kB PageTables: 1912 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= 66444 MiB End job on node42 on Thu Apr 19 18:56:54 UTC 2007