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