Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 57799 | 1800.14 | 1800.91 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-air04.opb |
MD5SUM | 015f32a31b4a3d7bbfc82031e4222c83 |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 57799 |
Best CPU time to get the best result obtained on this benchmark | 1800.14 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 57799 |
Optimality of the best value was proved | NO |
Number of variables | 8904 |
Total number of constraints | 823 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 823 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 368 |
Number of terms in the objective function | 8904 |
Biggest coefficient in the objective function | 2258 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 5135151 |
Number of bits of the sum of numbers in the objective function | 23 |
Biggest number in a constraint | 2258 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 5135151 |
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/432534-1177944608/instance-432534-1177944608.opb 0.00/0.00 c File size is 750277 bytes. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.19/0.28 c Highest Coefficient sum: 5.13515e+06 0.19/0.28 c Parsing was ok!! 0.19/0.28 c Total parsing time: 0.278 s 0.19/0.29 c Var: 8904 Constr: 1646 825/821/0 Lit: 145930 Watch. Lit: 74611 0.19/0.29 c Obj. Vars: 8904 (100 % of total variables) 2.10/2.19 c Pre-processing Time: 2.191 s 2.10/2.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.10/2.20 c 0 7525 1234 112687 91 58002 514800 0 0 2.19 2.10/2.20 o 57952 2.196 2.19/2.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.21 c 0 7525 1235 120212 97 65430 529850 1 0 2.20 2.19/2.21 o 57799 2.208 1800.04/1800.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.04/1800.80 c 0 7525 1236 127737 103 72858 544900 2 0 2.21 1800.04/1800.80 c 100 7525 1336 141688 106 72994 599391 102 43 2.27 1800.04/1800.80 c 350 7525 1586 156352 98 73431 659331 352 136 2.57 1800.04/1800.80 c 825 7525 2061 185487 89 74346 725265 827 273 3.02 1800.04/1800.80 c 1638 7523 2874 233659 81 75960 797792 1640 436 3.75 1800.04/1800.80 c 2960 7522 4196 324582 77 78564 877572 2962 635 4.66 1800.04/1800.80 c 5041 7515 6277 556602 88 82695 965330 5043 786 6.41 1800.04/1800.80 c 8265 7511 9501 1073344 112 89127 500000 8267 854 9.68 1800.04/1800.80 c 13201 7510 14437 1997897 138 98992 550001 13203 799 16.51 1800.04/1800.80 c 20709 7509 21945 3480043 158 114028 605002 20711 651 31.78 1800.04/1800.80 c 32070 7505 33306 5795725 174 136669 665503 32072 504 63.53 1800.04/1800.80 c 49214 7500 50450 9695276 192 170984 732054 49216 352 139.66 1800.04/1800.80 c 75033 7499 76269 17588923 230 222553 805260 75035 230 325.30 1800.04/1800.80 c 113865 7496 115101 29049043 252 300242 885787 113867 161 704.53 1800.04/1800.80 c 172218 7492 173454 47261191 272 416914 974366 172220 109 1568.55 1800.04/1800.80 c Caught signal: 15 1800.04/1800.80 v -x1 x1112 x2223 x3334 x4445 x5556 x6667 x7778 x8794 x2 x113 x224 x335 x446 x557 x668 x779 x890 x1001 x1113 x1224 x1335 x1446 1800.04/1800.80 v x1557 x1668 x1779 x1890 x2001 x2112 x2224 x2335 x2446 x2557 x2668 x2779 x2890 x3001 x3112 x3223 x3335 x3446 x3557 x3668 x3779 1800.04/1800.80 v x3890 x4001 x4112 x4223 x4334 x4446 x4557 x4668 x4779 x4890 x5001 x5112 x5223 x5334 x5445 x5557 x5668 x5779 x5890 x6001 -x6112 1800.04/1800.80 v x6223 x6334 x6445 x6556 x6668 x6779 x6890 x7001 x7112 x7223 x7334 x7445 x7556 x7667 x7779 x7890 x8001 x8112 x8223 x8334 x8445 1800.04/1800.80 v x8556 x8667 x8778 x8795 x8806 x8817 x8828 x8839 x8850 x8861 x8872 x8883 x8894 x3 x14 x25 x36 x47 -x58 -x69 -x80 -x91 -x102 -x114 1800.04/1800.80 v -x125 -x136 -x147 -x158 -x169 -x180 -x191 -x202 -x213 -x225 -x236 -x247 -x258 -x269 -x280 -x291 -x302 -x313 -x324 -x336 -x347 1800.04/1800.80 v -x358 -x369 -x380 -x391 -x402 -x413 -x424 -x435 -x447 -x458 -x469 -x480 -x491 -x502 -x513 -x524 -x535 -x546 -x558 -x569 -x580 1800.04/1800.80 v -x591 -x602 -x613 -x624 -x635 -x646 -x657 -x669 -x680 -x691 -x702 -x713 -x724 -x735 -x746 -x757 -x768 -x780 -x791 -x802 -x813 1800.04/1800.80 v -x824 -x835 -x846 -x857 -x868 -x879 -x891 -x902 -x913 -x924 -x935 -x946 -x957 -x968 -x979 -x990 -x1002 -x1013 -x1024 -x1035 1800.04/1800.80 v -x1046 -x1057 -x1068 -x1079 -x1090 -x1101 -x1114 -x1125 -x1136 -x1147 -x1158 -x1169 -x1180 -x1191 -x1202 -x1213 -x1225 1800.04/1800.80 v -x1236 -x1247 -x1258 -x1269 -x1280 -x1291 -x1302 -x1313 -x1324 -x1336 -x1347 -x1358 -x1369 -x1380 -x1391 -x1402 -x1413 1800.04/1800.80 v -x1424 -x1435 -x1447 -x1458 -x1469 -x1480 -x1491 -x1502 -x1513 -x1524 -x1535 -x1546 -x1558 -x1569 -x1580 -x1591 -x1602 1800.04/1800.80 v -x1613 -x1624 -x1635 -x1646 -x1657 -x1669 -x1680 -x1691 -x1702 -x1713 -x1724 -x1735 -x1746 -x1757 -x1768 -x1780 -x1791 1800.04/1800.80 v -x1802 -x1813 -x1824 -x1835 -x1846 -x1857 -x1868 -x1879 -x1891 -x1902 -x1913 -x1924 -x1935 -x1946 -x1957 -x1968 -x1979 1800.04/1800.80 v -x1990 -x2002 -x2013 -x2024 -x2035 -x2046 -x2057 -x2068 -x2079 -x2090 -x2101 -x2113 -x2124 -x2135 -x2146 -x2157 -x2168 1800.04/1800.80 v -x2179 -x2190 -x2201 -x2212 -x2225 -x2236 -x2247 -x2258 -x2269 -x2280 -x2291 -x2302 -x2313 -x2324 -x2336 -x2347 -x2358 1800.04/1800.80 v -x2369 -x2380 -x2391 -x2402 -x2413 -x2424 -x2435 -x2447 -x2458 -x2469 -x2480 -x2491 -x2502 -x2513 -x2524 -x2535 -x2546 1800.04/1800.80 v -x2558 -x2569 -x2580 -x2591 -x2602 -x2613 -x2624 -x2635 -x2646 -x2657 -x2669 -x2680 -x2691 -x2702 -x2713 -x2724 -x2735 1800.04/1800.80 v -x2746 -x2757 -x2768 -x2780 -x2791 -x2802 -x2813 -x2824 -x2835 -x2846 -x2857 -x2868 -x2879 -x2891 -x2902 -x2913 -x2924 1800.04/1800.80 v -x2935 -x2946 -x2957 -x2968 -x2979 -x2990 -x3002 -x3013 -x3024 -x3035 -x3046 -x3057 -x3068 -x3079 -x3090 -x3101 -x3113 1800.04/1800.80 v -x3124 -x3135 -x3146 -x3157 -x3168 -x3179 -x3190 -x3201 -x3212 -x3224 -x3235 -x3246 -x3257 -x3268 -x3279 -x3290 -x3301 1800.04/1800.80 v -x3312 -x3323 -x3336 -x3347 -x3358 -x3369 -x3380 -x3391 -x3402 -x3413 -x3424 -x3435 -x3447 -x3458 -x3469 -x3480 -x3491 1800.04/1800.80 v -x3502 -x3513 -x3524 -x3535 -x3546 -x3558 -x3569 -x3580 -x3591 -x3602 -x3613 -x3624 -x3635 -x3646 -x3657 -x3669 -x3680 1800.04/1800.80 v -x3691 -x3702 -x3713 -x3724 -x3735 -x3746 -x3757 -x3768 -x3780 -x3791 -x3802 -x3813 -x3824 -x3835 -x3846 -x3857 -x3868 1800.04/1800.80 v -x3879 -x3891 -x3902 -x3913 -x3924 -x3935 -x3946 -x3957 -x3968 -x3979 -x3990 -x4002 -x4013 -x4024 -x4035 -x4046 -x4057 1800.04/1800.80 v -x4068 -x4079 -x4090 -x4101 -x4113 -x4124 -x4135 -x4146 -x4157 -x4168 -x4179 -x4190 -x4201 -x4212 -x4224 -x4235 -x4246 1800.04/1800.80 v -x4257 -x4268 -x4279 -x4290 -x4301 -x4312 -x4323 -x4335 -x4346 -x4357 -x4368 -x4379 -x4390 -x4401 -x4412 -x4423 -x4434 1800.04/1800.80 v -x4447 -x4458 -x4469 -x4480 -x4491 -x4502 -x4513 -x4524 -x4535 -x4546 -x4558 -x4569 -x4580 -x4591 -x4602 -x4613 -x4624 1800.04/1800.80 v -x4635 -x4646 -x4657 -x4669 -x4680 -x4691 -x4702 -x4713 -x4724 -x4735 -x4746 -x4757 -x4768 -x4780 -x4791 -x4802 -x4813 1800.04/1800.80 v -x4824 -x4835 -x4846 -x4857 -x4868 -x4879 -x4891 -x4902 -x4913 -x4924 -x4935 -x4946 -x4957 -x4968 -x4979 -x4990 -x5002 1800.04/1800.80 v -x5013 -x5024 -x5035 -x5046 -x5057 -x5068 -x5079 -x5090 -x5101 -x5113 -x5124 -x5135 -x5146 -x5157 -x5168 -x5179 -x5190 1800.04/1800.80 v -x5201 -x5212 -x5224 -x5235 -x5246 -x5257 -x5268 -x5279 -x5290 -x5301 -x5312 -x5323 -x5335 -x5346 -x5357 -x5368 -x5379 1800.04/1800.80 v -x5390 -x5401 -x5412 -x5423 -x5434 -x5446 -x5457 -x5468 -x5479 -x5490 -x5501 -x5512 -x5523 -x5534 -x5545 -x5558 -x5569 1800.04/1800.80 v -x5580 -x5591 -x5602 -x5613 -x5624 x5635 -x5646 -x5657 -x5669 -x5680 -x5691 -x5702 -x5713 -x5724 -x5735 -x5746 -x5757 1800.04/1800.80 v -x5768 -x5780 -x5791 -x5802 -x5813 x5824 -x5835 -x5846 -x5857 -x5868 -x5879 -x5891 -x5902 -x5913 -x5924 -x5935 -x5946 1800.04/1800.80 v -x5957 -x5968 -x5979 -x5990 -x6002 -x6013 -x6024 -x6035 -x6046 -x6057 -x6068 -x6079 -x6090 -x6101 -x6113 -x6124 -x6135 1800.04/1800.80 v -x6146 -x6157 -x6168 -x6179 -x6190 -x6201 -x6212 -x6224 -x6235 -x6246 -x6257 -x6268 -x6279 -x6290 -x6301 -x6312 -x6323 1800.04/1800.80 v -x6335 -x6346 -x6357 -x6368 -x6379 -x6390 -x6401 -x6412 -x6423 -x6434 -x6446 -x6457 -x6468 -x6479 -x6490 -x6501 -x6512 1800.04/1800.80 v -x6523 -x6534 -x6545 -x6557 -x6568 -x6579 -x6590 -x6601 -x6612 -x6623 -x6634 -x6645 -x6656 -x6669 -x6680 -x6691 -x6702 1800.04/1800.80 v -x6713 -x6724 -x6735 -x6746 -x6757 -x6768 -x6780 -x6791 -x6802 -x6813 -x6824 -x6835 -x6846 -x6857 -x6868 -x6879 -x6891 1800.04/1800.80 v -x6902 -x6913 -x6924 -x6935 -x6946 -x6957 -x6968 -x6979 -x6990 -x7002 -x7013 -x7024 -x7035 -x7046 -x7057 -x7068 -x7079 1800.04/1800.80 v -x7090 -x7101 -x7113 -x7124 -x7135 -x7146 -x7157 -x7168 -x7179 -x7190 -x7201 -x7212 -x7224 -x7235 -x7246 -x7257 -x7268 1800.04/1800.80 v -x7279 -x7290 -x7301 -x7312 -x7323 -x7335 -x7346 -x7357 -x7368 -x7379 -x7390 -x7401 -x7412 -x7423 -x7434 -x7446 -x7457 1800.04/1800.80 v -x7468 -x7479 -x7490 -x7501 -x7512 -x7523 -x7534 -x7545 -x7557 -x7568 -x7579 -x7590 -x7601 -x7612 -x7623 -x7634 -x7645 1800.04/1800.80 v -x7656 -x7668 -x7679 -x7690 -x7701 -x7712 -x7723 -x7734 -x7745 -x7756 -x7767 -x7780 -x7791 -x7802 -x7813 -x7824 -x7835 1800.04/1800.80 v -x7846 -x7857 -x7868 -x7879 -x7891 -x7902 -x7913 -x7924 -x7935 -x7946 -x7957 -x7968 -x7979 -x7990 -x8002 -x8013 -x8024 1800.04/1800.80 v -x8035 -x8046 -x8057 -x8068 -x8079 -x8090 -x8101 -x8113 -x8124 -x8135 -x8146 -x8157 -x8168 -x8179 -x8190 -x8201 -x8212 1800.04/1800.80 v -x8224 -x8235 -x8246 -x8257 -x8268 -x8279 -x8290 -x8301 -x8312 -x8323 -x8335 -x8346 -x8357 -x8368 -x8379 -x8390 -x8401 1800.04/1800.80 v -x8412 -x8423 -x8434 -x8446 -x8457 -x8468 -x8479 -x8490 -x8501 -x8512 -x8523 -x8534 -x8545 -x8557 -x8568 -x8579 -x8590 1800.04/1800.80 v -x8601 -x8612 -x8623 -x8634 -x8645 -x8656 -x8668 -x8679 -x8690 -x8701 -x8712 -x8723 -x8734 -x8745 -x8756 -x8767 -x8779 1800.04/1800.80 v -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 1800.04/1800.80 v -x8804 -x8805 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8818 -x8819 -x8820 -x8821 -x8822 1800.04/1800.80 v -x8823 -x8824 -x8825 -x8826 -x8827 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8840 -x8841 1800.04/1800.80 v -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 1800.04/1800.80 v -x8860 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 1800.04/1800.80 v -x8879 -x8880 -x8881 -x8882 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8895 -x8896 -x8897 1800.04/1800.80 v -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x15 -x16 -x17 -x18 -x19 -x20 -x21 1800.04/1800.80 v -x22 -x23 -x24 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x48 -x49 -x50 1800.04/1800.80 v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 1800.04/1800.80 v -x79 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x103 -x104 -x105 1800.04/1800.80 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x126 -x127 -x128 -x129 1800.04/1800.80 v -x130 -x131 -x132 -x133 -x134 -x135 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x148 -x149 -x150 -x151 -x152 1800.04/1800.80 v -x153 -x154 -x155 -x156 -x157 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x170 -x171 -x172 -x173 -x174 -x175 1800.04/1800.80 v -x176 -x177 -x178 -x179 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x192 -x193 -x194 -x195 -x196 -x197 -x198 1800.04/1800.80 v -x199 -x200 -x201 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 1800.04/1800.80 v -x222 -x223 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 1800.04/1800.80 v -x246 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 1800.04/1800.80 v -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x292 1800.04/1800.80 v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x314 -x315 1800.04/1800.80 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x337 -x338 -x339 1800.04/1800.80 v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x359 -x360 -x361 -x362 1800.04/1800.80 v -x363 -x364 -x365 -x366 -x367 -x368 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x381 -x382 -x383 -x384 -x385 1800.04/1800.80 v -x386 -x387 -x388 -x389 -x390 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x403 -x404 -x405 -x406 -x407 -x408 1800.04/1800.80 v -x409 -x410 -x411 -x412 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x425 -x426 -x427 -x428 -x429 -x430 -x431 1800.04/1800.80 v -x432 -x433 -x434 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 1800.04/1800.80 v -x456 -x457 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 1800.04/1800.80 v -x479 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 1800.04/1800.80 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x525 1800.04/1800.80 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x547 -x548 1800.04/1800.80 v -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x570 -x571 -x572 1800.04/1800.80 v -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x592 -x593 -x594 -x595 1800.04/1800.80 v -x596 -x597 -x598 -x599 -x600 -x601 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x614 -x615 -x616 -x617 -x618 1800.04/1800.80 v -x619 -x620 -x621 -x622 -x623 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x636 -x637 -x638 -x639 -x640 -x641 1800.04/1800.80 v -x642 -x643 -x644 -x645 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x658 -x659 -x660 -x661 -x662 -x663 -x664 1800.04/1800.80 v -x665 -x666 -x667 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 1800.04/1800.80 v -x689 -x690 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 1800.04/1800.80 v -x712 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1800.04/1800.80 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x758 1800.04/1800.80 v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x781 -x782 1800.04/1800.80 v -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x803 -x804 -x805 1800.04/1800.80 v -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x825 -x826 -x827 -x828 1800.04/1800.80 v -x829 -x830 -x831 -x832 -x833 -x834 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x847 -x848 -x849 -x850 -x851 1800.04/1800.80 v -x852 -x853 -x854 -x855 -x856 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x869 -x870 -x871 -x872 -x873 -x874 1800.04/1800.80 v -x875 -x876 -x877 -x878 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x892 -x893 -x894 -x895 -x896 -x897 -x898 1800.04/1800.80 v -x899 -x900 -x901 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 1800.04/1800.80 v -x922 -x923 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1800.04/1800.80 v -x945 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 1800.04/1800.80 v -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x991 1800.04/1800.80 v -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 1800.04/1800.80 v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 1800.04/1800.80 v -x1032 -x1033 -x1034 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1047 -x1048 -x1049 -x1050 1800.04/1800.80 v -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1069 1800.04/1800.80 v -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 1800.04/1800.80 v -x1088 -x1089 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1102 -x1103 -x1104 -x1105 -x1106 1800.04/1800.80 v -x1107 -x1108 -x1109 -x1110 -x1111 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1126 -x1127 1800.04/1800.80 v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 1800.04/1800.80 v -x1146 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 1800.04/1800.80 v -x1165 -x1166 -x1167 -x1168 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1181 -x1182 -x1183 1800.04/1800.80 v -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 1800.04/1800.80 v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 1800.04/1800.80 v -x1221 -x1222 -x1223 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1237 -x1238 -x1239 -x1240 1800.04/1800.80 v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1259 1800.04/1800.80 v -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 1800.04/1800.80 v -x1278 -x1279 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1292 -x1293 -x1294 -x1295 -x1296 1800.04/1800.80 v -x1297 -x1298 -x1299 -x1300 -x1301 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1314 -x1315 1800.04/1800.80 v -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 1800.04/1800.80 v -x1334 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 1800.04/1800.80 v -x1354 -x1355 -x1356 -x1357 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1370 -x1371 -x1372 1800.04/1800.80 v -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 1800.04/1800.80 v -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 1800.04/1800.80 v -x1410 -x1411 -x1412 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1425 -x1426 -x1427 -x1428 1800.04/1800.80 v -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1448 1800.04/1800.80 v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 1800.04/1800.80 v -x1467 -x1468 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1481 -x1482 -x1483 -x1484 -x1485 1800.04/1800.80 v -x1486 -x1487 -x1488 -x1489 -x1490 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1503 -x1504 1800.04/1800.80 v -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 1800.04/1800.80 v -x1523 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 1800.04/1800.80 v -x1542 -x1543 -x1544 -x1545 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1559 -x1560 -x1561 1800.04/1800.80 v -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 1800.04/1800.80 v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 1800.04/1800.80 v -x1599 -x1600 -x1601 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1614 -x1615 -x1616 -x1617 1800.04/1800.80 v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1636 1800.04/1800.80 v -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 1800.04/1800.80 v -x1655 -x1656 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1670 -x1671 -x1672 -x1673 -x1674 1800.04/1800.80 v -x1675 -x1676 -x1677 -x1678 -x1679 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1692 -x1693 1800.04/1800.80 v -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 1800.04/1800.80 v -x1712 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 1800.04/1800.80 v -x1731 -x1732 -x1733 -x1734 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1747 -x1748 -x1749 1800.04/1800.80 v -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 1800.04/1800.80 v -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 1800.04/1800.80 v -x1788 -x1789 -x1790 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1803 -x1804 -x1805 -x1806 1800.04/1800.80 v -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1825 1800.04/1800.80 v -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 1800.04/1800.80 v -x1844 -x1845 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1858 -x1859 -x1860 -x1861 -x1862 1800.04/1800.80 v -x1863 -x1864 -x1865 -x1866 -x1867 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1880 -x1881 1800.04/1800.80 v -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 1800.04/1800.80 v -x1901 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 1800.04/1800.80 v -x1920 -x1921 -x1922 -x1923 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1936 -x1937 -x1938 1800.04/1800.80 v -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 1800.04/1800.80 v -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 1800.04/1800.80 v -x1976 -x1977 -x1978 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1991 -x1992 -x1993 -x1994 1800.04/1800.80 v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2014 1800.04/1800.80 v -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 1800.04/1800.80 v -x2033 -x2034 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2047 -x2048 -x2049 -x2050 -x2051 1800.04/1800.80 v -x2052 -x2053 -x2054 -x2055 -x2056 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2069 -x2070 1800.04/1800.80 v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 1800.04/1800.80 v -x2089 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 1800.04/1800.80 v -x2108 -x2109 -x2110 -x2111 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2125 -x2126 -x2127 1800.04/1800.80 v -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 1800.04/1800.80 v -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 1800.04/1800.80 v -x2165 -x2166 -x2167 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2180 -x2181 -x2182 -x2183 1800.04/1800.80 v -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2202 1800.04/1800.80 v -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 1800.04/1800.80 v -x2221 -x2222 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2237 -x2238 -x2239 -x2240 -x2241 1800.04/1800.80 v -x2242 -x2243 -x2244 -x2245 -x2246 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2259 -x2260 1800.04/1800.80 v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 1800.04/1800.80 v -x2279 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 1800.04/1800.80 v -x2298 -x2299 -x2300 -x2301 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2314 -x2315 -x2316 1800.04/1800.80 v -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 1800.04/1800.80 v -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 1800.04/1800.80 v -x2355 -x2356 -x2357 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2370 -x2371 -x2372 -x2373 1800.04/1800.80 v -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2392 1800.04/1800.80 v -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 1800.04/1800.80 v -x2411 -x2412 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2425 -x2426 -x2427 -x2428 -x2429 1800.04/1800.80 v -x2430 -x2431 -x2432 -x2433 -x2434 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2448 -x2449 1800.04/1800.80 v -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 1800.04/1800.80 v -x2468 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 1800.04/1800.80 v -x2487 -x2488 -x2489 -x2490 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2503 -x2504 -x2505 1800.04/1800.80 v -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 1800.04/1800.80 v -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 1800.04/1800.80 v -x2543 -x2544 -x2545 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2559 -x2560 -x2561 -x2562 1800.04/1800.80 v -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2581 1800.04/1800.80 v -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 1800.04/1800.80 v -x2600 -x2601 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2614 -x2615 -x2616 -x2617 -x2618 1800.04/1800.80 v -x2619 -x2620 -x2621 -x2622 -x2623 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2636 -x2637 1800.04/1800.80 v -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 1800.04/1800.80 v -x2656 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 1800.04/1800.80 v -x2676 -x2677 -x2678 -x2679 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2692 -x2693 -x2694 1800.04/1800.80 v -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 1800.04/1800.80 v -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 1800.04/1800.80 v -x2732 -x2733 -x2734 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2747 -x2748 -x2749 -x2750 1800.04/1800.80 v -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2769 1800.04/1800.80 v -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 1800.04/1800.80 v -x2789 -x2790 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2803 -x2804 -x2805 -x2806 -x2807 1800.04/1800.80 v -x2808 -x2809 -x2810 -x2811 -x2812 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2825 -x2826 1800.04/1800.80 v -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 1800.04/1800.80 v -x2845 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 1800.04/1800.80 v -x2864 -x2865 -x2866 -x2867 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2880 -x2881 -x2882 1800.04/1800.80 v -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 1800.04/1800.80 v -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 1800.04/1800.80 v -x2921 -x2922 -x2923 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2936 -x2937 -x2938 -x2939 1800.04/1800.80 v -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2958 1800.04/1800.80 v -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 1800.04/1800.80 v -x2977 -x2978 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2991 -x2992 -x2993 -x2994 -x2995 1800.04/1800.80 v -x2996 -x2997 -x2998 -x2999 -x3000 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3014 -x3015 1800.04/1800.80 v -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 1800.04/1800.80 v -x3034 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 1800.04/1800.80 v -x3053 -x3054 -x3055 -x3056 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3069 -x3070 -x3071 1800.04/1800.80 v -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 1800.04/1800.80 v -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 1800.04/1800.80 v -x3109 -x3110 -x3111 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3125 -x3126 -x3127 -x3128 1800.04/1800.80 v -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3147 1800.04/1800.80 v -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 1800.04/1800.80 v -x3166 -x3167 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3180 -x3181 -x3182 -x3183 -x3184 1800.04/1800.80 v -x3185 -x3186 -x3187 -x3188 -x3189 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3202 -x3203 1800.04/1800.80 v -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 1800.04/1800.80 v -x3222 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 1800.04/1800.80 v -x3242 -x3243 -x3244 -x3245 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3258 -x3259 -x3260 1800.04/1800.80 v -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 1800.04/1800.80 v -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 1800.04/1800.80 v -x3298 -x3299 -x3300 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3313 -x3314 -x3315 -x3316 1800.04/1800.80 v -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3337 1800.04/1800.80 v -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 1800.04/1800.80 v -x3356 -x3357 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3370 -x3371 -x3372 -x3373 -x3374 1800.04/1800.80 v -x3375 -x3376 -x3377 -x3378 -x3379 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3392 -x3393 1800.04/1800.80 v -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 1800.04/1800.80 v -x3412 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 1800.04/1800.80 v -x3431 -x3432 -x3433 -x3434 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3448 -x3449 -x3450 1800.04/1800.80 v -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 1800.04/1800.80 v -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 1800.04/1800.80 v -x3488 -x3489 -x3490 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3503 -x3504 -x3505 -x3506 1800.04/1800.80 v -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3525 1800.04/1800.80 v -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 1800.04/1800.80 v -x3544 -x3545 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3559 -x3560 -x3561 -x3562 -x3563 1800.04/1800.80 v -x3564 -x3565 -x3566 -x3567 -x3568 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3581 -x3582 1800.04/1800.80 v -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 1800.04/1800.80 v -x3601 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 1800.04/1800.80 v -x3620 -x3621 -x3622 -x3623 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3636 -x3637 -x3638 1800.04/1800.80 v -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 1800.04/1800.80 v -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 1800.04/1800.80 v -x3677 -x3678 -x3679 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3692 -x3693 -x3694 -x3695 1800.04/1800.80 v -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3714 1800.04/1800.80 v -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 1800.04/1800.80 v -x3733 -x3734 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3747 -x3748 -x3749 -x3750 -x3751 1800.04/1800.80 v -x3752 -x3753 -x3754 -x3755 -x3756 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3769 -x3770 1800.04/1800.80 v -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 1800.04/1800.80 v -x3790 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 1800.04/1800.80 v -x3809 -x3810 -x3811 -x3812 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3825 -x3826 -x3827 1800.04/1800.80 v -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 1800.04/1800.80 v -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 1800.04/1800.80 v -x3865 -x3866 -x3867 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3880 -x3881 -x3882 -x3883 1800.04/1800.80 v -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3903 1800.04/1800.80 v -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 1800.04/1800.80 v -x3922 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3936 -x3937 -x3938 -x3939 -x3940 1800.04/1800.80 v -x3941 -x3942 -x3943 -x3944 -x3945 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3958 -x3959 1800.04/1800.80 v -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 1800.04/1800.80 v -x3978 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 1800.04/1800.80 v -x3997 -x3998 -x3999 -x4000 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4014 -x4015 -x4016 1800.04/1800.80 v -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 1800.04/1800.80 v -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 1800.04/1800.80 v -x4054 -x4055 -x4056 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4069 -x4070 -x4071 -x4072 1800.04/1800.80 v -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4091 1800.04/1800.80 v -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 1800.04/1800.80 v -x4110 -x4111 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4125 -x4126 -x4127 -x4128 -x4129 1800.04/1800.80 v -x4130 -x4131 -x4132 -x4133 -x4134 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4147 -x4148 1800.04/1800.80 v -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 1800.04/1800.80 v -x4167 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 1800.04/1800.80 v -x4186 -x4187 -x4188 -x4189 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4202 -x4203 -x4204 1800.04/1800.80 v -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 1800.04/1800.80 v -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 1800.04/1800.80 v -x4243 -x4244 -x4245 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4258 -x4259 -x4260 -x4261 1800.04/1800.80 v -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4280 1800.04/1800.80 v -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 1800.04/1800.80 v -x4299 -x4300 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4313 -x4314 -x4315 -x4316 -x4317 1800.04/1800.80 v -x4318 -x4319 -x4320 -x4321 -x4322 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4336 -x4337 1800.04/1800.80 v -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 1800.04/1800.80 v -x4356 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 1800.04/1800.80 v -x4375 -x4376 -x4377 -x4378 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4391 -x4392 -x4393 1800.04/1800.80 v -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 1800.04/1800.80 v -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 1800.04/1800.80 v -x4431 -x4432 -x4433 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4448 -x4449 -x4450 -x4451 1800.04/1800.80 v -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4470 1800.04/1800.80 v -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 1800.04/1800.80 v -x4489 -x4490 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4503 -x4504 -x4505 -x4506 -x4507 1800.04/1800.80 v -x4508 -x4509 -x4510 -x4511 -x4512 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4525 -x4526 1800.04/1800.80 v -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 1800.04/1800.80 v -x4545 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 1800.04/1800.80 v -x4565 -x4566 -x4567 -x4568 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4581 -x4582 -x4583 1800.04/1800.80 v -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 1800.04/1800.80 v -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 1800.04/1800.80 v -x4621 -x4622 -x4623 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4636 -x4637 -x4638 -x4639 1800.04/1800.80 v -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4658 1800.04/1800.80 v -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 1800.04/1800.80 v -x4678 -x4679 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4692 -x4693 -x4694 -x4695 -x4696 1800.04/1800.80 v -x4697 -x4698 -x4699 -x4700 -x4701 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4714 -x4715 1800.04/1800.80 v -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 1800.04/1800.80 v -x4734 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 1800.04/1800.80 v -x4753 -x4754 -x4755 -x4756 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4769 -x4770 -x4771 1800.04/1800.80 v -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 1800.04/1800.80 v -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 1800.04/1800.80 v -x4810 -x4811 -x4812 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4825 -x4826 -x4827 -x4828 1800.04/1800.80 v -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4847 1800.04/1800.80 v -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 1800.04/1800.80 v -x4866 -x4867 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4880 -x4881 -x4882 -x4883 -x4884 1800.04/1800.80 v -x4885 -x4886 -x4887 -x4888 -x4889 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4903 -x4904 1800.04/1800.80 v -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 1800.04/1800.80 v -x4923 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 1800.04/1800.80 v -x4942 -x4943 -x4944 -x4945 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4958 -x4959 -x4960 1800.04/1800.80 v -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 1800.04/1800.80 v -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 1800.04/1800.80 v -x4998 -x4999 -x5000 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5014 -x5015 -x5016 -x5017 1800.04/1800.80 v -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5036 1800.04/1800.80 v -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 1800.04/1800.80 v -x5055 -x5056 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5069 -x5070 -x5071 -x5072 -x5073 1800.04/1800.80 v -x5074 -x5075 -x5076 -x5077 -x5078 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5091 -x5092 1800.04/1800.80 v -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 1800.04/1800.80 v -x5111 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 1800.04/1800.80 v -x5131 -x5132 -x5133 -x5134 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5147 -x5148 -x5149 1800.04/1800.80 v -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 1800.04/1800.80 v -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 1800.04/1800.80 v -x5187 -x5188 -x5189 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5202 -x5203 -x5204 -x5205 1800.04/1800.80 v -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5225 1800.04/1800.80 v -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 1800.04/1800.80 v -x5244 -x5245 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5258 -x5259 -x5260 -x5261 -x5262 1800.04/1800.80 v -x5263 -x5264 -x5265 -x5266 -x5267 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5280 -x5281 1800.04/1800.80 v -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 1800.04/1800.80 v -x5300 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 1800.04/1800.80 v -x5319 -x5320 -x5321 -x5322 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5336 -x5337 -x5338 1800.04/1800.80 v -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 1800.04/1800.80 v -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 1800.04/1800.80 v -x5376 -x5377 -x5378 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5391 -x5392 -x5393 -x5394 1800.04/1800.80 v -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5413 1800.04/1800.80 v -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 1800.04/1800.80 v -x5432 -x5433 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5447 -x5448 -x5449 -x5450 -x5451 1800.04/1800.80 v -x5452 -x5453 -x5454 -x5455 -x5456 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5469 -x5470 1800.04/1800.80 v -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 1800.04/1800.80 v -x5489 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 1800.04/1800.80 v -x5508 -x5509 -x5510 -x5511 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5524 -x5525 -x5526 1800.04/1800.80 v -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 1800.04/1800.80 v -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 1800.04/1800.80 v -x5566 -x5567 -x5568 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5581 -x5582 -x5583 -x5584 1800.04/1800.80 v -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5603 1800.04/1800.80 v -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 1800.04/1800.80 v -x5622 -x5623 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5636 -x5637 -x5638 -x5639 -x5640 1800.04/1800.80 v -x5641 -x5642 -x5643 -x5644 -x5645 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5658 -x5659 1800.04/1800.80 v -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 1800.04/1800.80 v -x5679 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 1800.04/1800.80 v -x5698 -x5699 -x5700 -x5701 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5714 -x5715 -x5716 1800.04/1800.80 v -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 1800.04/1800.80 v -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 1800.04/1800.80 v -x5754 -x5755 -x5756 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5769 -x5770 -x5771 -x5772 1800.04/1800.80 v -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5792 1800.04/1800.80 v -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 1800.04/1800.80 v -x5811 -x5812 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5825 -x5826 -x5827 -x5828 -x5829 1800.04/1800.80 v -x5830 -x5831 -x5832 -x5833 -x5834 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5847 -x5848 1800.04/1800.80 v -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 1800.04/1800.80 v -x5867 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 1800.04/1800.80 v -x5886 -x5887 -x5888 -x5889 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5903 -x5904 -x5905 1800.04/1800.80 v -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 1800.04/1800.80 v -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 1800.04/1800.80 v -x5943 -x5944 -x5945 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5958 -x5959 -x5960 -x5961 1800.04/1800.80 v -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5980 1800.04/1800.80 v -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 1800.04/1800.80 v -x5999 -x6000 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6014 -x6015 -x6016 -x6017 -x6018 1800.04/1800.80 v -x6019 -x6020 -x6021 -x6022 -x6023 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6036 -x6037 1800.04/1800.80 v -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 1800.04/1800.80 v -x6056 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 1800.04/1800.80 v -x6075 -x6076 -x6077 -x6078 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6091 -x6092 -x6093 1800.04/1800.80 v -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 1800.04/1800.80 v -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 1800.04/1800.80 v -x6132 -x6133 -x6134 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6147 -x6148 -x6149 -x6150 1800.04/1800.80 v -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6169 1800.04/1800.80 v -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 1800.04/1800.80 v -x6188 -x6189 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6202 -x6203 -x6204 -x6205 -x6206 1800.04/1800.80 v -x6207 -x6208 -x6209 -x6210 -x6211 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6225 -x6226 1800.04/1800.80 v -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 1800.04/1800.80 v -x6245 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 1800.04/1800.80 v -x6264 -x6265 -x6266 -x6267 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6280 -x6281 -x6282 1800.04/1800.80 v -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 1800.04/1800.80 v -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 1800.04/1800.80 v -x6320 -x6321 -x6322 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6336 -x6337 -x6338 -x6339 1800.04/1800.80 v -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6358 1800.04/1800.80 v -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 1800.04/1800.80 v -x6377 -x6378 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6391 -x6392 -x6393 -x6394 -x6395 1800.04/1800.80 v -x6396 -x6397 -x6398 -x6399 -x6400 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6413 -x6414 1800.04/1800.80 v -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 1800.04/1800.80 v -x6433 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 1800.04/1800.80 v -x6453 -x6454 -x6455 -x6456 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6469 -x6470 -x6471 1800.04/1800.80 v -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 1800.04/1800.80 v -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 1800.04/1800.80 v -x6509 -x6510 -x6511 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6524 -x6525 -x6526 -x6527 1800.04/1800.80 v -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6546 1800.04/1800.80 v -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 1800.04/1800.80 v -x6566 -x6567 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6580 -x6581 -x6582 -x6583 -x6584 1800.04/1800.80 v -x6585 -x6586 -x6587 -x6588 -x6589 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6602 -x6603 1800.04/1800.80 v -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 1800.04/1800.80 v -x6622 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 1800.04/1800.80 v -x6641 -x6642 -x6643 -x6644 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6657 -x6658 -x6659 1800.04/1800.80 v -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 1800.04/1800.80 v -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 1800.04/1800.80 v -x6699 -x6700 -x6701 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6714 -x6715 -x6716 -x6717 1800.04/1800.80 v -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6736 1800.04/1800.80 v -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 1800.04/1800.80 v -x6755 -x6756 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6769 -x6770 -x6771 -x6772 -x6773 1800.04/1800.80 v -x6774 -x6775 -x6776 -x6777 -x6778 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6792 -x6793 1800.04/1800.80 v -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 1800.04/1800.80 v -x6812 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 1800.04/1800.80 v -x6831 -x6832 -x6833 -x6834 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6847 -x6848 -x6849 1800.04/1800.80 v -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 1800.04/1800.80 v -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 1800.04/1800.80 v -x6887 -x6888 -x6889 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6903 -x6904 -x6905 -x6906 1800.04/1800.80 v -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6925 1800.04/1800.80 v -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 1800.04/1800.80 v -x6944 -x6945 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6958 -x6959 -x6960 -x6961 -x6962 1800.04/1800.80 v -x6963 -x6964 -x6965 -x6966 -x6967 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6980 -x6981 1800.04/1800.80 v -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 1800.04/1800.80 v -x7000 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 1800.04/1800.80 v -x7020 -x7021 -x7022 -x7023 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7036 -x7037 -x7038 1800.04/1800.80 v -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 1800.04/1800.80 v -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 1800.04/1800.80 v -x7076 -x7077 -x7078 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7091 -x7092 -x7093 -x7094 1800.04/1800.80 v -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7114 1800.04/1800.80 v -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 1800.04/1800.80 v -x7133 -x7134 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7147 -x7148 -x7149 -x7150 -x7151 1800.04/1800.80 v -x7152 -x7153 -x7154 -x7155 -x7156 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7169 -x7170 1800.04/1800.80 v -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 1800.04/1800.80 v -x7189 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 1800.04/1800.80 v -x7208 -x7209 -x7210 -x7211 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7225 -x7226 -x7227 1800.04/1800.80 v -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 1800.04/1800.80 v -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 1800.04/1800.80 v -x7265 -x7266 -x7267 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7280 -x7281 -x7282 -x7283 1800.04/1800.80 v -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7302 1800.04/1800.80 v -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 1800.04/1800.80 v -x7321 -x7322 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7336 -x7337 -x7338 -x7339 -x7340 1800.04/1800.80 v -x7341 -x7342 -x7343 -x7344 -x7345 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7358 -x7359 1800.04/1800.80 v -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 1800.04/1800.80 v -x7378 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 1800.04/1800.80 v -x7397 -x7398 -x7399 -x7400 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7413 -x7414 -x7415 1800.04/1800.80 v -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 1800.04/1800.80 v -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 1800.04/1800.80 v -x7454 -x7455 -x7456 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7469 -x7470 -x7471 -x7472 1800.04/1800.80 v -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7491 1800.04/1800.80 v -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 1800.04/1800.80 v -x7510 -x7511 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7524 -x7525 -x7526 -x7527 -x7528 1800.04/1800.80 v -x7529 -x7530 -x7531 -x7532 -x7533 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7546 -x7547 1800.04/1800.80 v -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 1800.04/1800.80 v -x7567 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 1800.04/1800.80 v -x7586 -x7587 -x7588 -x7589 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7602 -x7603 -x7604 1800.04/1800.80 v -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 1800.04/1800.80 v -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 1800.04/1800.80 v -x7642 -x7643 -x7644 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7657 -x7658 -x7659 -x7660 1800.04/1800.80 v -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7680 1800.04/1800.80 v -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 1800.04/1800.80 v -x7699 -x7700 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7713 -x7714 -x7715 -x7716 -x7717 1800.04/1800.80 v -x7718 -x7719 -x7720 -x7721 -x7722 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7735 -x7736 1800.04/1800.80 v -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 1800.04/1800.80 v -x7755 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 1800.04/1800.80 v -x7774 -x7775 -x7776 -x7777 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7792 -x7793 -x7794 1800.04/1800.80 v -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 1800.04/1800.80 v -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 1800.04/1800.80 v -x7832 -x7833 -x7834 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7847 -x7848 -x7849 -x7850 1800.04/1800.80 v -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7869 1800.04/1800.80 v -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 1800.04/1800.80 v -x7888 -x7889 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7903 -x7904 -x7905 -x7906 -x7907 1800.04/1800.80 v -x7908 -x7909 -x7910 -x7911 -x7912 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7925 -x7926 1800.04/1800.80 v -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 1800.04/1800.80 v -x7945 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 1800.04/1800.80 v -x7964 -x7965 -x7966 -x7967 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7980 -x7981 -x7982 1800.04/1800.80 v -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 1800.04/1800.80 v -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 1800.04/1800.80 v -x8021 -x8022 -x8023 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8036 -x8037 -x8038 -x8039 1800.04/1800.80 v -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8058 1800.04/1800.80 v -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 1800.04/1800.80 v -x8077 -x8078 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8091 -x8092 -x8093 -x8094 -x8095 1800.04/1800.80 v -x8096 -x8097 -x8098 -x8099 -x8100 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8114 -x8115 1800.04/1800.80 v -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 1800.04/1800.80 v -x8134 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 1800.04/1800.80 v -x8153 -x8154 -x8155 -x8156 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8169 -x8170 -x8171 1800.04/1800.80 v -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 1800.04/1800.80 v -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 1800.04/1800.80 v -x8209 -x8210 -x8211 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8225 -x8226 -x8227 -x8228 1800.04/1800.80 v -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8247 1800.04/1800.80 v -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 1800.04/1800.80 v -x8266 -x8267 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8280 -x8281 -x8282 -x8283 -x8284 1800.04/1800.80 v -x8285 -x8286 -x8287 -x8288 -x8289 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8302 -x8303 1800.04/1800.80 v -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 1800.04/1800.80 v -x8322 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 1800.04/1800.80 v -x8342 -x8343 -x8344 -x8345 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8358 -x8359 -x8360 1800.04/1800.80 v -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 1800.04/1800.80 v -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 1800.04/1800.80 v -x8398 -x8399 -x8400 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8413 -x8414 -x8415 -x8416 1800.04/1800.80 v -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8435 1800.04/1800.80 v -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 1800.04/1800.80 v -x8455 -x8456 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8469 -x8470 -x8471 -x8472 -x8473 1800.04/1800.80 v -x8474 -x8475 -x8476 -x8477 -x8478 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8491 -x8492 1800.04/1800.80 v -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 1800.04/1800.80 v -x8511 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 1800.04/1800.80 v -x8530 -x8531 -x8532 -x8533 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8546 -x8547 -x8548 1800.04/1800.80 v -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 1800.04/1800.80 v -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 1800.04/1800.80 v -x8587 -x8588 -x8589 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8602 -x8603 -x8604 -x8605 1800.04/1800.80 v -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8624 1800.04/1800.80 v -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 1800.04/1800.80 v -x8643 -x8644 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8657 -x8658 -x8659 -x8660 -x8661 1800.04/1800.80 v -x8662 -x8663 -x8664 -x8665 -x8666 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8680 -x8681 1800.04/1800.80 v -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 1800.04/1800.80 v -x8700 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 1800.04/1800.80 v -x8719 -x8720 -x8721 -x8722 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8735 -x8736 -x8737 1800.04/1800.80 v -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 1800.04/1800.80 v -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 1800.04/1800.80 v -x8775 -x8776 -x8777 -x8780 -x8781 -x8782 -x8783 -x8784 1800.04/1800.81 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.04/1800.81 c 16 181958 112683 4807953 183194 50078583 181960 101 1800.05 1800.04/1800.81 c Objective: 57799 1800.04/1800.81 s SATISFIABLE 1800.04/1800.81 c Total time: 1800.05 s
OK 57799
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node13/watcher-432534-1177944608 -o ROOT/results/node13/solver-432534-1177944608 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432534-1177944608/instance-432534-1177944608.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.95 0.81 3/77 10479 /proc/meminfo: memFree=1457424/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=20284 CPUtime=0 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 360 0 0 0 0 0 0 0 18 0 1 0 242378718 20770816 330 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 3118 331 279 324 0 2004 0 [startup+0.0721701 s] /proc/loadavg: 0.91 0.95 0.81 3/77 10479 /proc/meminfo: memFree=1457424/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=5588 CPUtime=0.06 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 644 0 0 0 6 0 0 0 18 0 1 0 242378718 5722112 614 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 1397 614 326 324 0 283 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 5588 [startup+0.101175 s] /proc/loadavg: 0.91 0.95 0.81 3/77 10479 /proc/meminfo: memFree=1457424/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=5848 CPUtime=0.09 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 722 0 0 0 9 0 0 0 18 0 1 0 242378718 5988352 692 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 1462 693 345 324 0 348 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5848 [startup+0.301217 s] /proc/loadavg: 0.91 0.95 0.81 3/77 10479 /proc/meminfo: memFree=1457424/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=8996 CPUtime=0.29 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 1812 0 0 0 29 0 0 0 19 0 1 0 242378718 9211904 1598 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 2249 1598 303 324 0 1319 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8996 [startup+0.701302 s] /proc/loadavg: 0.91 0.95 0.81 3/77 10479 /proc/meminfo: memFree=1457424/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=8996 CPUtime=0.69 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 1816 0 0 0 69 0 0 0 23 0 1 0 242378718 9211904 1602 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 2249 1602 303 324 0 1319 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8996 [startup+1.50147 s] /proc/loadavg: 0.91 0.95 0.81 2/78 10480 /proc/meminfo: memFree=1452104/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=8996 CPUtime=1.49 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 1817 0 0 0 149 0 0 0 25 0 1 0 242378718 9211904 1603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 2249 1603 303 324 0 1319 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8996 [startup+3.10181 s] /proc/loadavg: 0.91 0.95 0.81 2/78 10480 /proc/meminfo: memFree=1451720/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=9732 CPUtime=3.09 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 2351 0 0 0 308 1 0 0 25 0 1 0 242378718 9965568 1821 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527325 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 2433 1821 310 324 0 1503 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9732 [startup+6.30249 s] /proc/loadavg: 0.92 0.95 0.82 2/78 10480 /proc/meminfo: memFree=1447240/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=14616 CPUtime=6.29 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 3556 0 0 0 627 2 0 0 25 0 1 0 242378718 14966784 3026 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573658 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 3654 3026 310 324 0 2724 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14616 [startup+12.7019 s] /proc/loadavg: 0.93 0.95 0.82 2/78 10480 /proc/meminfo: memFree=1434376/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=28176 CPUtime=12.69 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 6955 0 0 0 1265 4 0 0 25 0 1 0 242378718 28852224 6425 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12309809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 7044 6425 310 324 0 6114 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28176 [startup+25.5016 s] /proc/loadavg: 0.94 0.96 0.82 2/78 10480 /proc/meminfo: memFree=1414856/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=46980 CPUtime=25.48 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 11645 0 0 0 2541 7 0 0 25 0 1 0 242378718 48107520 11115 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 11745 11115 310 324 0 10815 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 46980 [startup+51.102 s] /proc/loadavg: 0.96 0.96 0.82 2/78 10480 /proc/meminfo: memFree=1391240/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=70056 CPUtime=51.07 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 17418 0 0 0 5096 11 0 0 25 0 1 0 242378718 71737344 16888 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 17514 16888 310 324 0 16584 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 70056 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.83 2/78 10480 /proc/meminfo: memFree=1346952/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=113896 CPUtime=102.26 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 28374 0 0 0 10207 19 0 0 25 0 1 0 242378718 116629504 27844 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 28474 27844 310 324 0 27544 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 113896 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.83 2/78 10480 /proc/meminfo: memFree=1309704/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=151132 CPUtime=162.23 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 37697 0 0 0 16199 24 0 0 25 0 1 0 242378718 154759168 37167 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091730 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 37783 37167 310 324 0 36853 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 151132 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.84 2/78 10480 /proc/meminfo: memFree=1274120/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=186576 CPUtime=222.21 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 46537 0 0 0 22188 33 0 0 25 0 1 0 242378718 191053824 46007 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12312114 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 46644 46007 310 324 0 45714 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 186576 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.84 2/78 10480 /proc/meminfo: memFree=1243592/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=217436 CPUtime=282.18 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 54264 0 0 0 28178 40 0 0 25 0 1 0 242378718 222654464 53734 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 54359 53734 310 324 0 53429 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 217436 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.85 2/78 10480 /proc/meminfo: memFree=1212552/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=247960 CPUtime=342.17 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 61881 0 0 0 34171 46 0 0 25 0 1 0 242378718 253911040 61351 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551532 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 61990 61351 310 324 0 61060 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 247960 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.86 2/78 10480 /proc/meminfo: memFree=1189192/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=271968 CPUtime=402.15 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 67880 0 0 0 40164 51 0 0 25 0 1 0 242378718 278495232 67350 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 67992 67350 310 324 0 67062 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 271968 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.86 2/78 10480 /proc/meminfo: memFree=1144840/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=315544 CPUtime=462.12 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 78788 0 0 0 46154 58 0 0 25 0 1 0 242378718 323117056 78258 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 78886 78258 310 324 0 77956 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 315544 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.87 2/78 10480 /proc/meminfo: memFree=1129416/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=331000 CPUtime=522.1 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 82661 0 0 0 52148 62 0 0 25 0 1 0 242378718 338944000 82131 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12308549 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 82750 82131 310 324 0 81820 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 331000 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.87 2/78 10480 /proc/meminfo: memFree=1107592/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=352752 CPUtime=582.08 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 88087 0 0 0 58141 67 0 0 25 0 1 0 242378718 361218048 87557 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 88188 87557 310 324 0 87258 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 352752 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.88 2/78 10480 /proc/meminfo: memFree=1089736/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=370424 CPUtime=642.06 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 92519 0 0 0 64136 70 0 0 25 0 1 0 242378718 379314176 91989 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 92606 91989 310 324 0 91676 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 370424 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.90 2/78 10678 /proc/meminfo: memFree=1018312/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=441476 CPUtime=881.87 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 110286 0 0 0 88101 86 0 0 25 0 1 0 242378718 452071424 109756 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 110369 109756 310 324 0 109439 0 Current children cumulated CPU time (s) 881.87 Current children cumulated vsize (KiB) 441476 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10678 /proc/meminfo: memFree=1003144/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=456644 CPUtime=941.85 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 114079 0 0 0 94096 89 0 0 25 0 1 0 242378718 467603456 113549 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 114161 113549 310 324 0 113231 0 Current children cumulated CPU time (s) 941.85 Current children cumulated vsize (KiB) 456644 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10678 /proc/meminfo: memFree=976072/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=483860 CPUtime=1001.82 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 120858 0 0 0 100089 93 0 0 25 0 1 0 242378718 495472640 120328 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 120965 120328 310 324 0 120035 0 Current children cumulated CPU time (s) 1001.82 Current children cumulated vsize (KiB) 483860 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10678 /proc/meminfo: memFree=956296/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=503604 CPUtime=1061.8 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 125803 0 0 0 106083 97 0 0 25 0 1 0 242378718 515690496 125273 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 125901 125273 310 324 0 124971 0 Current children cumulated CPU time (s) 1061.8 Current children cumulated vsize (KiB) 503604 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10678 /proc/meminfo: memFree=939976/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=519968 CPUtime=1121.78 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 129894 0 0 0 112077 101 0 0 25 0 1 0 242378718 532447232 129364 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 129992 129364 310 324 0 129062 0 Current children cumulated CPU time (s) 1121.78 Current children cumulated vsize (KiB) 519968 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10678 /proc/meminfo: memFree=927112/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=532792 CPUtime=1181.76 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 133109 0 0 0 118072 104 0 0 25 0 1 0 242378718 545579008 132579 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 133198 132579 310 324 0 132268 0 Current children cumulated CPU time (s) 1181.76 Current children cumulated vsize (KiB) 532792 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10678 /proc/meminfo: memFree=908936/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=550944 CPUtime=1241.74 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 137636 0 0 0 124067 107 0 0 25 0 1 0 242378718 564166656 137106 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572566 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 137736 137106 310 324 0 136806 0 Current children cumulated CPU time (s) 1241.74 Current children cumulated vsize (KiB) 550944 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10678 /proc/meminfo: memFree=897736/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=561960 CPUtime=1301.72 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 140408 0 0 0 130063 109 0 0 25 0 1 0 242378718 575447040 139878 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 140490 139878 310 324 0 139560 0 Current children cumulated CPU time (s) 1301.72 Current children cumulated vsize (KiB) 561960 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10678 /proc/meminfo: memFree=884104/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=575668 CPUtime=1361.69 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 143829 0 0 0 136057 112 0 0 25 0 1 0 242378718 589484032 143299 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12312212 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 143917 143299 310 324 0 142987 0 Current children cumulated CPU time (s) 1361.69 Current children cumulated vsize (KiB) 575668 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10678 /proc/meminfo: memFree=869192/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=590476 CPUtime=1421.68 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 147530 0 0 0 142053 115 0 0 25 0 1 0 242378718 604647424 147000 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12310357 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 147619 147000 310 324 0 146689 0 Current children cumulated CPU time (s) 1421.68 Current children cumulated vsize (KiB) 590476 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10678 /proc/meminfo: memFree=848072/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=611892 CPUtime=1481.65 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 152880 0 0 0 148046 119 0 0 25 0 1 0 242378718 626577408 152350 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134559677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 152973 152350 310 324 0 152043 0 Current children cumulated CPU time (s) 1481.65 Current children cumulated vsize (KiB) 611892 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10678 /proc/meminfo: memFree=836872/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=622856 CPUtime=1541.63 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 155608 0 0 0 154042 121 0 0 25 0 1 0 242378718 637804544 155078 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 155714 155078 310 324 0 154784 0 Current children cumulated CPU time (s) 1541.63 Current children cumulated vsize (KiB) 622856 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10678 /proc/meminfo: memFree=827016/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=632676 CPUtime=1601.6 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 158073 0 0 0 160037 123 0 0 25 0 1 0 242378718 647860224 157543 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 158169 157543 310 324 0 157239 0 Current children cumulated CPU time (s) 1601.6 Current children cumulated vsize (KiB) 632676 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10678 /proc/meminfo: memFree=817544/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=642244 CPUtime=1661.59 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 160449 0 0 0 166033 126 0 0 25 0 1 0 242378718 657657856 159919 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 160561 159919 310 324 0 159631 0 Current children cumulated CPU time (s) 1661.59 Current children cumulated vsize (KiB) 642244 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10678 /proc/meminfo: memFree=808456/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=651392 CPUtime=1721.56 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 162752 0 0 0 172028 128 0 0 25 0 1 0 242378718 667025408 162222 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12320485 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 162848 162222 310 324 0 161918 0 Current children cumulated CPU time (s) 1721.56 Current children cumulated vsize (KiB) 651392 [startup+1782.3 s] /proc/loadavg: 1.03 0.99 0.91 2/78 10678 /proc/meminfo: memFree=798088/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=661528 CPUtime=1781.54 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 165295 0 0 0 178023 131 0 0 25 0 1 0 242378718 677404672 164765 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 165382 164765 310 324 0 164452 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (KiB) 661528 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.02 0.99 0.91 2/78 10678 /proc/meminfo: memFree=795144/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=664456 CPUtime=1800.04 /proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 166007 0 0 0 179873 131 0 0 25 0 1 0 242378718 680402944 165477 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10479/statm: 166114 165477 310 324 0 165184 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 664456 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 1.02 0.99 0.91 2/78 10678 /proc/meminfo: memFree=795144/2055920 swapFree=4159412/4192956 [pid=10479] ppid=10477 vsize=0 CPUtime=1800.13 /proc/10479/stat : 10479 (bsolo3.0.17) D 10477 10479 10317 0 -1 4194308 166011 0 0 0 179873 140 0 0 25 0 1 0 242378718 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 18446744072100051646 0 0 17 0 0 0 /proc/10479/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.91 CPU time (s): 1800.14 CPU user time (s): 1798.73 CPU system time (s): 1.40979 CPU usage (%): 99.9576 Max. virtual memory (cumulated for all children) (KiB): 664456 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.73 system time used= 1.40978 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 166011 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= 14 involuntary context switches= 37415 runsolver used 1.34679 second user time and 4.02839 second system time The end
Begin job on node13 on Mon Apr 30 14:50:09 UTC 2007 IDJOB= 432534 IDBENCH= 1523 IDSOLVER= 199 FILE ID= node13/432534-1177944608 PBS_JOBID= 4727829 Free space on /tmp= 66557 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air04.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432534-1177944608/instance-432534-1177944608.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-432534-1177944608 -o ROOT/results/node13/solver-432534-1177944608 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432534-1177944608/instance-432534-1177944608.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 015f32a31b4a3d7bbfc82031e4222c83 RANDOM SEED= 56288589 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node13.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.259 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.259 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: 1457832 kB Buffers: 45936 kB Cached: 463112 kB SwapCached: 12852 kB Active: 364600 kB Inactive: 167648 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1457832 kB SwapTotal: 4192956 kB SwapFree: 4159412 kB Dirty: 7328 kB Writeback: 0 kB Mapped: 30144 kB Slab: 51232 kB Committed_AS: 6961252 kB PageTables: 1872 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= 66557 MiB End job on node13 on Mon Apr 30 15:20:12 UTC 2007