Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | 4324 | 1800.29 | 1801.07 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-air05.opb |
MD5SUM | 2b7e03ead6dfd4071784021865da4458 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 4324 |
Best CPU time to get the best result obtained on this benchmark | 1800.35 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4324 |
Optimality of the best value was proved | NO |
Number of variables | 7195 |
Total number of constraints | 426 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 426 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 404 |
Number of terms in the objective function | 7195 |
Biggest coefficient in the objective function | 360 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 527812 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 360 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 527812 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/351590-1176605875/instance-351590-1176605875.opb 0.00/0.00 c File size is 536059 bytes. 0.09/0.11 c Highest Coefficient sum: 527812 0.09/0.11 c Parsing was ok!! 0.09/0.11 c Total parsing time: 0.106 s 0.09/0.12 c Var: 7195 Constr: 852 426/426/0 Lit: 104242 Watch. Lit: 52973 0.09/0.12 c Obj. Vars: 7195 (100 % of total variables) 2.09/2.14 c Pre-processing Time: 2.143 s 2.09/2.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.14 c 0 6334 694 89093 128 45997 304220 0 0 2.14 2.09/2.14 c Switching off LPR mode. 2.09/2.15 o 4324 2.152 1800.02/1800.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.02/1800.81 c 3 6334 698 96054 137 52268 316888 4 1 2.16 1800.02/1800.81 c 103 6334 798 137006 171 52457 348577 104 46 2.22 1800.02/1800.81 c 353 6334 1048 156065 148 52934 383435 354 137 2.56 1800.02/1800.81 c 828 6334 1523 198851 130 53883 421779 829 255 3.24 1800.02/1800.81 c 1642 6334 2337 284775 121 55551 463957 1643 424 3.86 1800.02/1800.81 c 2962 6334 3657 821273 224 58210 510353 2963 518 5.71 1800.02/1800.81 c 5043 6333 5738 1376980 239 62373 561389 5044 665 7.58 1800.02/1800.81 c 8266 6325 8961 1885741 210 68751 617528 8267 669 12.35 1800.02/1800.81 c 13202 6325 13897 2861613 205 78657 679281 13203 643 20.51 1800.02/1800.81 c 20708 6324 21403 5238910 244 93689 747210 20709 605 34.18 1800.02/1800.81 c 32070 6320 32765 8330598 254 116415 821932 32071 509 62.91 1800.02/1800.81 c 49214 6317 49909 15441960 309 150695 904126 49215 403 121.83 1800.02/1800.81 c 75033 6311 75728 22938037 302 202302 994539 75034 282 266.06 1800.02/1800.81 c 113866 6308 114561 41948051 366 279994 500000 113867 216 526.31 1800.02/1800.81 c 172219 6304 172914 81154672 469 396696 550001 172220 170 1012.01 1800.02/1800.81 c Caught signal: 15 1800.02/1800.81 v -x1 x1112 x2223 x3334 x4445 x5556 x6667 x6974 x7085 -x2 x113 x224 x335 x446 x557 x668 x779 x890 x1001 x1113 x1224 x1335 x1446 1800.02/1800.81 v x1557 x1668 x1779 -x1890 -x2001 x2112 x2224 x2335 -x2446 x2557 x2668 x2779 -x2890 x3001 -x3112 x3223 x3335 x3446 -x3557 1800.02/1800.81 v x3668 -x3779 -x3890 x4001 x4112 x4223 x4334 x4446 x4557 x4668 x4779 x4890 x5001 x5112 x5223 x5334 x5445 x5557 x5668 x5779 1800.02/1800.81 v x5890 x6001 x6112 -x6223 x6334 x6445 x6556 -x6668 x6779 -x6886 -x6897 -x6908 -x6919 -x6930 -x6941 -x6952 -x6963 -x6975 1800.02/1800.81 v -x6986 -x6997 -x7008 -x7019 -x7030 -x7041 -x7052 -x7063 -x7074 -x7086 -x7097 -x7108 -x7119 -x7130 -x7141 -x7152 -x7163 1800.02/1800.81 v -x7174 x7185 -x3 -x14 -x25 -x36 -x47 -x58 -x69 -x80 -x91 -x102 -x114 -x125 -x136 -x147 -x158 x169 x180 -x191 -x202 -x213 -x225 1800.02/1800.81 v -x236 -x247 -x258 -x269 x280 -x291 -x302 -x313 -x324 -x336 -x347 -x358 -x369 -x380 -x391 -x402 -x413 -x424 -x435 -x447 -x458 1800.02/1800.81 v -x469 -x480 -x491 -x502 -x513 -x524 -x535 -x546 -x558 -x569 -x580 -x591 -x602 -x613 -x624 -x635 -x646 -x657 -x669 -x680 -x691 1800.02/1800.81 v -x702 -x713 -x724 -x735 -x746 -x757 -x768 -x780 -x791 -x802 -x813 -x824 -x835 -x846 -x857 -x868 -x879 -x891 -x902 -x913 -x924 1800.02/1800.81 v -x935 -x946 -x957 -x968 -x979 -x990 -x1002 -x1013 -x1024 -x1035 -x1046 -x1057 -x1068 -x1079 -x1090 -x1101 -x1114 -x1125 1800.02/1800.81 v -x1136 -x1147 -x1158 -x1169 -x1180 -x1191 -x1202 -x1213 -x1225 -x1236 -x1247 -x1258 -x1269 -x1280 -x1291 -x1302 -x1313 1800.02/1800.81 v -x1324 -x1336 -x1347 -x1358 -x1369 -x1380 -x1391 -x1402 -x1413 -x1424 -x1435 -x1447 -x1458 -x1469 -x1480 -x1491 -x1502 1800.02/1800.81 v -x1513 -x1524 -x1535 -x1546 -x1558 -x1569 -x1580 -x1591 -x1602 -x1613 -x1624 -x1635 -x1646 x1657 -x1669 -x1680 -x1691 1800.02/1800.81 v -x1702 -x1713 -x1724 -x1735 -x1746 -x1757 -x1768 -x1780 -x1791 -x1802 -x1813 x1824 -x1835 -x1846 -x1857 -x1868 -x1879 1800.02/1800.81 v -x1891 x1902 x1913 -x1924 -x1935 -x1946 -x1957 -x1968 -x1979 -x1990 -x2002 -x2013 -x2024 -x2035 -x2046 -x2057 -x2068 -x2079 1800.02/1800.81 v -x2090 -x2101 x2113 -x2124 -x2135 -x2146 -x2157 -x2168 -x2179 -x2190 x2201 x2212 -x2225 -x2236 -x2247 -x2258 -x2269 -x2280 1800.02/1800.81 v -x2291 -x2302 -x2313 -x2324 -x2336 -x2347 -x2358 -x2369 -x2380 -x2391 -x2402 -x2413 -x2424 -x2435 -x2447 -x2458 -x2469 1800.02/1800.81 v -x2480 -x2491 -x2502 -x2513 -x2524 -x2535 -x2546 -x2558 -x2569 -x2580 -x2591 -x2602 -x2613 -x2624 -x2635 -x2646 -x2657 1800.02/1800.81 v -x2669 -x2680 -x2691 -x2702 -x2713 -x2724 -x2735 -x2746 -x2757 -x2768 -x2780 -x2791 -x2802 -x2813 -x2824 -x2835 -x2846 1800.02/1800.81 v -x2857 -x2868 x2879 -x2891 -x2902 -x2913 -x2924 -x2935 -x2946 -x2957 -x2968 -x2979 -x2990 -x3002 -x3013 -x3024 -x3035 1800.02/1800.81 v -x3046 -x3057 -x3068 -x3079 -x3090 -x3101 -x3113 -x3124 x3135 -x3146 -x3157 -x3168 -x3179 -x3190 -x3201 -x3212 -x3224 1800.02/1800.81 v -x3235 -x3246 -x3257 -x3268 -x3279 -x3290 -x3301 -x3312 -x3323 -x3336 -x3347 -x3358 -x3369 -x3380 -x3391 -x3402 -x3413 1800.02/1800.81 v -x3424 -x3435 -x3447 -x3458 -x3469 -x3480 -x3491 -x3502 -x3513 -x3524 -x3535 -x3546 -x3558 -x3569 -x3580 -x3591 -x3602 1800.02/1800.81 v -x3613 -x3624 -x3635 -x3646 -x3657 -x3669 -x3680 -x3691 -x3702 -x3713 -x3724 -x3735 -x3746 -x3757 -x3768 -x3780 -x3791 1800.02/1800.81 v -x3802 -x3813 x3824 -x3835 -x3846 -x3857 -x3868 -x3879 -x3891 -x3902 -x3913 -x3924 -x3935 -x3946 -x3957 -x3968 -x3979 1800.02/1800.81 v -x3990 -x4002 -x4013 -x4024 -x4035 x4046 -x4057 -x4068 -x4079 -x4090 -x4101 -x4113 -x4124 -x4135 -x4146 -x4157 -x4168 1800.02/1800.81 v -x4179 -x4190 -x4201 -x4212 -x4224 -x4235 -x4246 -x4257 -x4268 -x4279 -x4290 -x4301 -x4312 -x4323 -x4335 -x4346 -x4357 1800.02/1800.81 v -x4368 -x4379 -x4390 -x4401 -x4412 -x4423 -x4434 -x4447 -x4458 -x4469 -x4480 -x4491 -x4502 -x4513 -x4524 -x4535 -x4546 1800.02/1800.81 v -x4558 -x4569 -x4580 -x4591 -x4602 -x4613 -x4624 -x4635 -x4646 -x4657 -x4669 -x4680 -x4691 -x4702 -x4713 -x4724 -x4735 1800.02/1800.81 v -x4746 -x4757 -x4768 -x4780 -x4791 -x4802 -x4813 -x4824 -x4835 -x4846 -x4857 -x4868 -x4879 -x4891 -x4902 -x4913 -x4924 1800.02/1800.81 v -x4935 -x4946 -x4957 -x4968 -x4979 -x4990 -x5002 -x5013 -x5024 -x5035 -x5046 -x5057 -x5068 -x5079 -x5090 -x5101 -x5113 1800.02/1800.81 v -x5124 -x5135 -x5146 -x5157 -x5168 -x5179 -x5190 -x5201 -x5212 -x5224 -x5235 -x5246 -x5257 -x5268 -x5279 -x5290 -x5301 1800.02/1800.81 v -x5312 -x5323 -x5335 -x5346 -x5357 -x5368 -x5379 -x5390 -x5401 -x5412 -x5423 -x5434 -x5446 -x5457 -x5468 -x5479 -x5490 1800.02/1800.81 v -x5501 -x5512 -x5523 -x5534 -x5545 -x5558 -x5569 -x5580 -x5591 -x5602 -x5613 -x5624 -x5635 -x5646 -x5657 -x5669 -x5680 1800.02/1800.81 v -x5691 -x5702 -x5713 -x5724 -x5735 -x5746 -x5757 -x5768 -x5780 -x5791 -x5802 -x5813 -x5824 -x5835 -x5846 -x5857 -x5868 1800.02/1800.81 v -x5879 -x5891 -x5902 -x5913 -x5924 -x5935 -x5946 -x5957 -x5968 -x5979 -x5990 -x6002 -x6013 -x6024 -x6035 -x6046 -x6057 1800.02/1800.81 v -x6068 -x6079 -x6090 -x6101 -x6113 -x6124 -x6135 -x6146 -x6157 -x6168 -x6179 -x6190 -x6201 -x6212 -x6224 -x6235 -x6246 1800.02/1800.81 v -x6257 -x6268 -x6279 -x6290 -x6301 -x6312 -x6323 -x6335 -x6346 -x6357 -x6368 -x6379 -x6390 -x6401 -x6412 -x6423 -x6434 1800.02/1800.81 v -x6446 -x6457 -x6468 -x6479 -x6490 -x6501 -x6512 -x6523 -x6534 -x6545 -x6557 -x6568 -x6579 -x6590 -x6601 -x6612 -x6623 1800.02/1800.81 v -x6634 -x6645 -x6656 -x6669 -x6680 -x6691 -x6702 -x6713 -x6724 -x6735 -x6746 -x6757 -x6768 -x6780 -x6791 -x6802 -x6813 1800.02/1800.81 v -x6824 -x6835 -x6846 -x6857 -x6868 -x6879 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6898 1800.02/1800.81 v -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 1800.02/1800.81 v -x6917 -x6918 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6931 -x6932 -x6933 -x6934 -x6935 1800.02/1800.81 v -x6936 -x6937 -x6938 -x6939 -x6940 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6953 -x6954 1800.02/1800.81 v -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 1800.02/1800.81 v -x6973 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 1800.02/1800.81 v -x6993 -x6994 -x6995 -x6996 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7009 -x7010 -x7011 1800.02/1800.81 v -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 1800.02/1800.81 v -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 1800.02/1800.81 v -x7049 -x7050 -x7051 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7064 -x7065 -x7066 -x7067 1800.02/1800.81 v -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7087 1800.02/1800.81 v -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 1800.02/1800.81 v -x7106 -x7107 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7120 -x7121 -x7122 -x7123 -x7124 1800.02/1800.81 v -x7125 -x7126 -x7127 -x7128 -x7129 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7142 -x7143 1800.02/1800.81 v -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 1800.02/1800.81 v -x7162 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 1800.02/1800.81 v -x7181 -x7182 -x7183 -x7184 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x4 -x5 -x6 -x7 -x8 -x9 1800.02/1800.81 v -x10 -x11 -x12 -x13 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x37 -x38 1800.02/1800.81 v -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 1800.02/1800.81 v -x67 -x68 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x92 -x93 -x94 -x95 1800.02/1800.81 v -x96 -x97 -x98 -x99 -x100 -x101 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x115 -x116 -x117 -x118 -x119 1800.02/1800.81 v -x120 -x121 -x122 -x123 -x124 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x137 -x138 -x139 -x140 -x141 -x142 1800.02/1800.81 v -x143 -x144 -x145 -x146 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x159 -x160 -x161 -x162 -x163 -x164 -x165 1800.02/1800.81 v -x166 -x167 -x168 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.02/1800.81 v -x189 -x190 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 1800.02/1800.81 v -x212 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 1800.02/1800.81 v -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x259 1800.02/1800.81 v -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x281 -x282 1800.02/1800.81 v -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x303 -x304 -x305 1800.02/1800.81 v -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x325 -x326 -x327 -x328 1800.02/1800.81 v -x329 -x330 -x331 -x332 -x333 -x334 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x348 -x349 -x350 -x351 -x352 1800.02/1800.81 v -x353 -x354 -x355 -x356 -x357 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x370 -x371 -x372 -x373 -x374 -x375 1800.02/1800.81 v -x376 -x377 -x378 -x379 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.02/1800.81 v -x399 -x400 -x401 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 1800.02/1800.81 v -x422 -x423 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 1800.02/1800.81 v -x445 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 1800.02/1800.81 v -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x492 1800.02/1800.81 v -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x514 -x515 1800.02/1800.81 v -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x536 -x537 -x538 1800.02/1800.81 v -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x559 -x560 -x561 -x562 1800.02/1800.81 v -x563 -x564 -x565 -x566 -x567 -x568 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x581 -x582 -x583 -x584 -x585 1800.02/1800.81 v -x586 -x587 -x588 -x589 -x590 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x603 -x604 -x605 -x606 -x607 -x608 1800.02/1800.81 v -x609 -x610 -x611 -x612 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x625 -x626 -x627 -x628 -x629 -x630 -x631 1800.02/1800.81 v -x632 -x633 -x634 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 1800.02/1800.81 v -x655 -x656 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 1800.02/1800.81 v -x679 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 1800.02/1800.81 v -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x725 1800.02/1800.81 v -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x747 -x748 1800.02/1800.81 v -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x769 -x770 -x771 1800.02/1800.81 v -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x792 -x793 -x794 -x795 1800.02/1800.81 v -x796 -x797 -x798 -x799 -x800 -x801 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x814 -x815 -x816 -x817 -x818 1800.02/1800.81 v -x819 -x820 -x821 -x822 -x823 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x836 -x837 -x838 -x839 -x840 -x841 1800.02/1800.81 v -x842 -x843 -x844 -x845 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x858 -x859 -x860 -x861 -x862 -x863 -x864 1800.02/1800.81 v -x865 -x866 -x867 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 1800.02/1800.81 v -x888 -x889 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 1800.02/1800.81 v -x912 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 1800.02/1800.81 v -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x958 1800.02/1800.81 v -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x980 -x981 1800.02/1800.81 v -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1003 -x1004 1800.02/1800.81 v -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1800.02/1800.81 v -x1023 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 1800.02/1800.81 v -x1042 -x1043 -x1044 -x1045 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1058 -x1059 -x1060 1800.02/1800.81 v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 1800.02/1800.81 v -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 1800.02/1800.81 v -x1098 -x1099 -x1100 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1115 -x1116 -x1117 -x1118 1800.02/1800.81 v -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1137 1800.02/1800.81 v -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 1800.02/1800.81 v -x1156 -x1157 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1170 -x1171 -x1172 -x1173 -x1174 1800.02/1800.81 v -x1175 -x1176 -x1177 -x1178 -x1179 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1192 -x1193 1800.02/1800.81 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 1800.02/1800.81 v -x1212 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 1800.02/1800.81 v -x1232 -x1233 -x1234 -x1235 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1248 -x1249 -x1250 1800.02/1800.81 v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 1800.02/1800.81 v -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 1800.02/1800.81 v -x1288 -x1289 -x1290 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1303 -x1304 -x1305 -x1306 1800.02/1800.81 v -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1325 1800.02/1800.81 v -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 1800.02/1800.81 v -x1345 -x1346 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1359 -x1360 -x1361 -x1362 -x1363 1800.02/1800.81 v -x1364 -x1365 -x1366 -x1367 -x1368 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1381 -x1382 1800.02/1800.81 v -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 1800.02/1800.81 v -x1401 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 1800.02/1800.81 v -x1420 -x1421 -x1422 -x1423 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1436 -x1437 -x1438 1800.02/1800.81 v -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 1800.02/1800.81 v -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 1800.02/1800.81 v -x1477 -x1478 -x1479 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1492 -x1493 -x1494 -x1495 1800.02/1800.81 v -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1514 1800.02/1800.81 v -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 1800.02/1800.81 v -x1533 -x1534 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1547 -x1548 -x1549 -x1550 -x1551 1800.02/1800.81 v -x1552 -x1553 -x1554 -x1555 -x1556 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1570 -x1571 1800.02/1800.81 v -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 1800.02/1800.81 v -x1590 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 1800.02/1800.81 v -x1609 -x1610 -x1611 -x1612 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1625 -x1626 -x1627 1800.02/1800.81 v -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 1800.02/1800.81 v -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 1800.02/1800.81 v -x1665 -x1666 -x1667 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1681 -x1682 -x1683 -x1684 1800.02/1800.81 v -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1703 1800.02/1800.81 v -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 1800.02/1800.81 v -x1722 -x1723 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1736 -x1737 -x1738 -x1739 -x1740 1800.02/1800.81 v -x1741 -x1742 -x1743 -x1744 -x1745 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1758 -x1759 1800.02/1800.81 v -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 1800.02/1800.81 v -x1778 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 1800.02/1800.81 v -x1798 -x1799 -x1800 -x1801 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1814 -x1815 -x1816 1800.02/1800.81 v -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 1800.02/1800.81 v -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 1800.02/1800.81 v -x1854 -x1855 -x1856 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1869 -x1870 -x1871 -x1872 1800.02/1800.81 v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1892 1800.02/1800.81 v -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 1800.02/1800.81 v -x1911 -x1912 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1925 -x1926 -x1927 -x1928 -x1929 1800.02/1800.81 v -x1930 -x1931 -x1932 -x1933 -x1934 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1947 -x1948 1800.02/1800.81 v -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 1800.02/1800.81 v -x1967 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 1800.02/1800.81 v -x1986 -x1987 -x1988 -x1989 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2003 -x2004 -x2005 1800.02/1800.81 v -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 1800.02/1800.81 v -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 1800.02/1800.81 v -x2043 -x2044 -x2045 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2058 -x2059 -x2060 -x2061 1800.02/1800.81 v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2080 1800.02/1800.81 v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 1800.02/1800.81 v -x2099 -x2100 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2114 -x2115 -x2116 -x2117 -x2118 1800.02/1800.81 v -x2119 -x2120 -x2121 -x2122 -x2123 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2136 -x2137 1800.02/1800.81 v -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 1800.02/1800.81 v -x2156 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 1800.02/1800.81 v -x2175 -x2176 -x2177 -x2178 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2191 -x2192 -x2193 1800.02/1800.81 v -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 1800.02/1800.81 v -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 1800.02/1800.81 v -x2233 -x2234 -x2235 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2248 -x2249 -x2250 -x2251 1800.02/1800.81 v -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2270 1800.02/1800.81 v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 1800.02/1800.81 v -x2289 -x2290 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2303 -x2304 -x2305 -x2306 -x2307 1800.02/1800.81 v -x2308 -x2309 -x2310 -x2311 -x2312 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2325 -x2326 1800.02/1800.81 v -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 1800.02/1800.81 v -x2346 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 1800.02/1800.81 v -x2365 -x2366 -x2367 -x2368 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2381 -x2382 -x2383 1800.02/1800.81 v -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 1800.02/1800.81 v -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 1800.02/1800.81 v -x2421 -x2422 -x2423 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2436 -x2437 -x2438 -x2439 1800.02/1800.81 v -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2459 1800.02/1800.81 v -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 1800.02/1800.81 v -x2478 -x2479 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2492 -x2493 -x2494 -x2495 -x2496 1800.02/1800.81 v -x2497 -x2498 -x2499 -x2500 -x2501 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2514 -x2515 1800.02/1800.81 v -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 1800.02/1800.81 v -x2534 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 1800.02/1800.81 v -x2553 -x2554 -x2555 -x2556 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2570 -x2571 -x2572 1800.02/1800.81 v -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 1800.02/1800.81 v -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 1800.02/1800.81 v -x2610 -x2611 -x2612 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2625 -x2626 -x2627 -x2628 1800.02/1800.81 v -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2647 1800.02/1800.81 v -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 1800.02/1800.81 v -x2666 -x2667 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2681 -x2682 -x2683 -x2684 -x2685 1800.02/1800.81 v -x2686 -x2687 -x2688 -x2689 -x2690 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2703 -x2704 1800.02/1800.81 v -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 1800.02/1800.81 v -x2723 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 1800.02/1800.81 v -x2742 -x2743 -x2744 -x2745 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2758 -x2759 -x2760 1800.02/1800.81 v -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 1800.02/1800.81 v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 1800.02/1800.81 v -x2799 -x2800 -x2801 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2814 -x2815 -x2816 -x2817 1800.02/1800.81 v -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2836 1800.02/1800.81 v -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 1800.02/1800.81 v -x2855 -x2856 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2869 -x2870 -x2871 -x2872 -x2873 1800.02/1800.81 v -x2874 -x2875 -x2876 -x2877 -x2878 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2892 -x2893 1800.02/1800.81 v -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 1800.02/1800.81 v -x2912 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 1800.02/1800.81 v -x2931 -x2932 -x2933 -x2934 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2947 -x2948 -x2949 1800.02/1800.81 v -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 1800.02/1800.81 v -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 1800.02/1800.81 v -x2987 -x2988 -x2989 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3003 -x3004 -x3005 -x3006 1800.02/1800.81 v -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3025 1800.02/1800.81 v -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 1800.02/1800.81 v -x3044 -x3045 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3058 -x3059 -x3060 -x3061 -x3062 1800.02/1800.81 v -x3063 -x3064 -x3065 -x3066 -x3067 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3080 -x3081 1800.02/1800.81 v -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 1800.02/1800.81 v -x3100 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 1800.02/1800.81 v -x3120 -x3121 -x3122 -x3123 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3136 -x3137 -x3138 1800.02/1800.81 v -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 1800.02/1800.81 v -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 1800.02/1800.81 v -x3176 -x3177 -x3178 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3191 -x3192 -x3193 -x3194 1800.02/1800.81 v -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3213 1800.02/1800.81 v -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 1800.02/1800.81 v -x3233 -x3234 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3247 -x3248 -x3249 -x3250 -x3251 1800.02/1800.81 v -x3252 -x3253 -x3254 -x3255 -x3256 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3269 -x3270 1800.02/1800.81 v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 1800.02/1800.81 v -x3289 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 1800.02/1800.81 v -x3308 -x3309 -x3310 -x3311 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3324 -x3325 -x3326 1800.02/1800.81 v -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 1800.02/1800.81 v -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 1800.02/1800.81 v -x3366 -x3367 -x3368 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3381 -x3382 -x3383 -x3384 1800.02/1800.81 v -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3403 1800.02/1800.81 v -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 1800.02/1800.81 v -x3422 -x3423 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3436 -x3437 -x3438 -x3439 -x3440 1800.02/1800.81 v -x3441 -x3442 -x3443 -x3444 -x3445 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3459 -x3460 1800.02/1800.81 v -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 1800.02/1800.81 v -x3479 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 1800.02/1800.81 v -x3498 -x3499 -x3500 -x3501 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3514 -x3515 -x3516 1800.02/1800.81 v -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 1800.02/1800.81 v -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 1800.02/1800.81 v -x3554 -x3555 -x3556 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3570 -x3571 -x3572 -x3573 1800.02/1800.81 v -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3592 1800.02/1800.81 v -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 1800.02/1800.81 v -x3611 -x3612 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3625 -x3626 -x3627 -x3628 -x3629 1800.02/1800.81 v -x3630 -x3631 -x3632 -x3633 -x3634 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3647 -x3648 1800.02/1800.81 v -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 1800.02/1800.81 v -x3667 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 1800.02/1800.81 v -x3687 -x3688 -x3689 -x3690 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3703 -x3704 -x3705 1800.02/1800.81 v -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 1800.02/1800.81 v -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 1800.02/1800.81 v -x3743 -x3744 -x3745 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3758 -x3759 -x3760 -x3761 1800.02/1800.81 v -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3781 1800.02/1800.81 v -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 1800.02/1800.81 v -x3800 -x3801 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3814 -x3815 -x3816 -x3817 -x3818 1800.02/1800.81 v -x3819 -x3820 -x3821 -x3822 -x3823 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3836 -x3837 1800.02/1800.81 v -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 1800.02/1800.81 v -x3856 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 1800.02/1800.81 v -x3875 -x3876 -x3877 -x3878 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3892 -x3893 -x3894 1800.02/1800.81 v -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 1800.02/1800.81 v -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 1800.02/1800.81 v -x3932 -x3933 -x3934 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3947 -x3948 -x3949 -x3950 1800.02/1800.81 v -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3969 1800.02/1800.81 v -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 1800.02/1800.81 v -x3988 -x3989 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4003 -x4004 -x4005 -x4006 -x4007 1800.02/1800.81 v -x4008 -x4009 -x4010 -x4011 -x4012 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4025 -x4026 1800.02/1800.81 v -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 1800.02/1800.81 v -x4045 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 1800.02/1800.81 v -x4064 -x4065 -x4066 -x4067 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4080 -x4081 -x4082 1800.02/1800.81 v -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 1800.02/1800.81 v -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 1800.02/1800.81 v -x4121 -x4122 -x4123 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4136 -x4137 -x4138 -x4139 1800.02/1800.81 v -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4158 1800.02/1800.81 v -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 1800.02/1800.81 v -x4177 -x4178 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4191 -x4192 -x4193 -x4194 -x4195 1800.02/1800.81 v -x4196 -x4197 -x4198 -x4199 -x4200 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4213 -x4214 1800.02/1800.81 v -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 1800.02/1800.81 v -x4234 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 1800.02/1800.81 v -x4253 -x4254 -x4255 -x4256 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4269 -x4270 -x4271 1800.02/1800.81 v -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 1800.02/1800.81 v -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 1800.02/1800.81 v -x4309 -x4310 -x4311 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4324 -x4325 -x4326 -x4327 1800.02/1800.81 v -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4347 1800.02/1800.81 v -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 1800.02/1800.81 v -x4366 -x4367 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4380 -x4381 -x4382 -x4383 -x4384 1800.02/1800.81 v -x4385 -x4386 -x4387 -x4388 -x4389 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4402 -x4403 1800.02/1800.81 v -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 1800.02/1800.81 v -x4422 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 1800.02/1800.81 v -x4441 -x4442 -x4443 -x4444 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4459 -x4460 -x4461 1800.02/1800.81 v -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 1800.02/1800.81 v -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 1800.02/1800.81 v -x4499 -x4500 -x4501 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4514 -x4515 -x4516 -x4517 1800.02/1800.81 v -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4536 1800.02/1800.81 v -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 1800.02/1800.81 v -x4555 -x4556 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4570 -x4571 -x4572 -x4573 -x4574 1800.02/1800.81 v -x4575 -x4576 -x4577 -x4578 -x4579 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4592 -x4593 1800.02/1800.81 v -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 1800.02/1800.81 v -x4612 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 1800.02/1800.81 v -x4631 -x4632 -x4633 -x4634 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4647 -x4648 -x4649 1800.02/1800.81 v -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 1800.02/1800.81 v -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 1800.02/1800.81 v -x4688 -x4689 -x4690 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4703 -x4704 -x4705 -x4706 1800.02/1800.81 v -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4725 1800.02/1800.81 v -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 1800.02/1800.81 v -x4744 -x4745 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4758 -x4759 -x4760 -x4761 -x4762 1800.02/1800.81 v -x4763 -x4764 -x4765 -x4766 -x4767 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4781 -x4782 1800.02/1800.81 v -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 1800.02/1800.81 v -x4801 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 1800.02/1800.81 v -x4820 -x4821 -x4822 -x4823 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4836 -x4837 -x4838 1800.02/1800.81 v -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 1800.02/1800.81 v -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 1800.02/1800.81 v -x4876 -x4877 -x4878 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4892 -x4893 -x4894 -x4895 1800.02/1800.81 v -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4914 1800.02/1800.81 v -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 1800.02/1800.81 v -x4933 -x4934 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4947 -x4948 -x4949 -x4950 -x4951 1800.02/1800.81 v -x4952 -x4953 -x4954 -x4955 -x4956 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4969 -x4970 1800.02/1800.81 v -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 1800.02/1800.81 v -x4989 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 1800.02/1800.81 v -x5009 -x5010 -x5011 -x5012 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5025 -x5026 -x5027 1800.02/1800.81 v -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 1800.02/1800.81 v -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 1800.02/1800.81 v -x5065 -x5066 -x5067 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5080 -x5081 -x5082 -x5083 1800.02/1800.81 v -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5102 1800.02/1800.81 v -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 1800.02/1800.81 v -x5122 -x5123 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5136 -x5137 -x5138 -x5139 -x5140 1800.02/1800.81 v -x5141 -x5142 -x5143 -x5144 -x5145 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5158 -x5159 1800.02/1800.81 v -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 1800.02/1800.81 v -x5178 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 1800.02/1800.81 v -x5197 -x5198 -x5199 -x5200 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5213 -x5214 -x5215 1800.02/1800.81 v -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 1800.02/1800.81 v -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 1800.02/1800.81 v -x5254 -x5255 -x5256 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5269 -x5270 -x5271 -x5272 1800.02/1800.81 v -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5291 1800.02/1800.81 v -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 1800.02/1800.81 v -x5310 -x5311 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5324 -x5325 -x5326 -x5327 -x5328 1800.02/1800.81 v -x5329 -x5330 -x5331 -x5332 -x5333 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5347 -x5348 1800.02/1800.81 v -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 1800.02/1800.81 v -x5367 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 1800.02/1800.81 v -x5386 -x5387 -x5388 -x5389 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5402 -x5403 -x5404 1800.02/1800.81 v -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 1800.02/1800.81 v -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 1800.02/1800.81 v -x5442 -x5443 -x5444 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5458 -x5459 -x5460 -x5461 1800.02/1800.81 v -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5480 1800.02/1800.81 v -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 1800.02/1800.81 v -x5499 -x5500 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5513 -x5514 -x5515 -x5516 -x5517 1800.02/1800.81 v -x5518 -x5519 -x5520 -x5521 -x5522 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5535 -x5536 1800.02/1800.81 v -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 1800.02/1800.81 v -x5555 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 1800.02/1800.81 v -x5576 -x5577 -x5578 -x5579 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5592 -x5593 -x5594 1800.02/1800.81 v -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 1800.02/1800.81 v -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 1800.02/1800.81 v -x5632 -x5633 -x5634 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5647 -x5648 -x5649 -x5650 1800.02/1800.81 v -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5670 1800.02/1800.81 v -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 1800.02/1800.81 v -x5689 -x5690 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5703 -x5704 -x5705 -x5706 -x5707 1800.02/1800.81 v -x5708 -x5709 -x5710 -x5711 -x5712 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5725 -x5726 1800.02/1800.81 v -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 1800.02/1800.81 v -x5745 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 1800.02/1800.81 v -x5764 -x5765 -x5766 -x5767 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5781 -x5782 -x5783 1800.02/1800.81 v -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 1800.02/1800.81 v -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 1800.02/1800.81 v -x5821 -x5822 -x5823 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5836 -x5837 -x5838 -x5839 1800.02/1800.81 v -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5858 1800.02/1800.81 v -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 1800.02/1800.81 v -x5877 -x5878 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5892 -x5893 -x5894 -x5895 -x5896 1800.02/1800.81 v -x5897 -x5898 -x5899 -x5900 -x5901 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5914 -x5915 1800.02/1800.81 v -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 1800.02/1800.81 v -x5934 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 1800.02/1800.81 v -x5953 -x5954 -x5955 -x5956 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5969 -x5970 -x5971 1800.02/1800.81 v -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 1800.02/1800.81 v -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 1800.02/1800.81 v -x6010 -x6011 -x6012 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6025 -x6026 -x6027 -x6028 1800.02/1800.81 v -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6047 1800.02/1800.81 v -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 1800.02/1800.81 v -x6066 -x6067 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6080 -x6081 -x6082 -x6083 -x6084 1800.02/1800.81 v -x6085 -x6086 -x6087 -x6088 -x6089 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6102 -x6103 1800.02/1800.81 v -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 1800.02/1800.81 v -x6123 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 1800.02/1800.81 v -x6142 -x6143 -x6144 -x6145 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6158 -x6159 -x6160 1800.02/1800.81 v -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 1800.02/1800.81 v -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 1800.02/1800.81 v -x6198 -x6199 -x6200 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6213 -x6214 -x6215 -x6216 1800.02/1800.81 v -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6236 1800.02/1800.81 v -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 1800.02/1800.81 v -x6255 -x6256 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6269 -x6270 -x6271 -x6272 -x6273 1800.02/1800.81 v -x6274 -x6275 -x6276 -x6277 -x6278 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6291 -x6292 1800.02/1800.81 v -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 1800.02/1800.81 v -x6311 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 1800.02/1800.81 v -x6330 -x6331 -x6332 -x6333 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6347 -x6348 -x6349 1800.02/1800.81 v -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 1800.02/1800.81 v -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 1800.02/1800.81 v -x6387 -x6388 -x6389 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6402 -x6403 -x6404 -x6405 1800.02/1800.81 v -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6424 1800.02/1800.81 v -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 1800.02/1800.81 v -x6443 -x6444 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6458 -x6459 -x6460 -x6461 -x6462 1800.02/1800.81 v -x6463 -x6464 -x6465 -x6466 -x6467 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6480 -x6481 1800.02/1800.81 v -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 1800.02/1800.81 v -x6500 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 1800.02/1800.81 v -x6519 -x6520 -x6521 -x6522 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6535 -x6536 -x6537 1800.02/1800.81 v -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 1800.02/1800.81 v -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 1800.02/1800.81 v -x6576 -x6577 -x6578 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6591 -x6592 -x6593 -x6594 1800.02/1800.81 v -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6613 1800.02/1800.81 v -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 1800.02/1800.81 v -x6632 -x6633 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6646 -x6647 -x6648 -x6649 -x6650 1800.02/1800.81 v -x6651 -x6652 -x6653 -x6654 -x6655 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6670 -x6671 1800.02/1800.81 v -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 1800.02/1800.81 v -x6690 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 1800.02/1800.81 v -x6709 -x6710 -x6711 -x6712 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6725 -x6726 -x6727 1800.02/1800.81 v -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 1800.02/1800.81 v -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 1800.02/1800.81 v -x6765 -x6766 -x6767 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6781 -x6782 -x6783 -x6784 1800.02/1800.81 v -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6803 1800.02/1800.81 v -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 1800.02/1800.81 v -x6822 -x6823 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6836 -x6837 -x6838 -x6839 -x6840 1800.02/1800.81 v -x6841 -x6842 -x6843 -x6844 -x6845 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6858 -x6859 1800.02/1800.81 v -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 1800.02/1800.81 v -x6878 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 1800.02/1800.81 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.02/1800.81 c 15 243222 123191 6311407 243917 132958887 243223 135 1800.03 1800.02/1800.81 c Objective: 4324 1800.02/1800.81 s SATISFIABLE 1800.02/1800.81 c Total time: 1800.03 s
OK 4324
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node66/watcher-351590-1176605875 -o ROOT/results/node66/solver-351590-1176605875 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351590-1176605875/instance-351590-1176605875.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 1.00 1.05 3/64 32404 /proc/meminfo: memFree=1529264/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=12260 CPUtime=0 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 136577070 12554240 335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 3065 336 281 324 0 2003 0 [startup+0.104903 s] /proc/loadavg: 0.92 1.00 1.05 3/64 32404 /proc/meminfo: memFree=1529264/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=6272 CPUtime=0.09 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 950 0 0 0 9 0 0 0 18 0 1 0 136577070 6422528 918 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10274427 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 1568 918 405 324 0 506 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6272 [startup+0.201923 s] /proc/loadavg: 0.92 1.00 1.05 3/64 32404 /proc/meminfo: memFree=1529264/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=7660 CPUtime=0.19 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 1436 0 0 0 19 0 0 0 18 0 1 0 136577070 7843840 1273 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 1915 1273 305 324 0 984 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 7660 [startup+0.301942 s] /proc/loadavg: 0.92 1.00 1.05 3/64 32404 /proc/meminfo: memFree=1529264/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=7660 CPUtime=0.29 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 1436 0 0 0 29 0 0 0 19 0 1 0 136577070 7843840 1273 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 1915 1273 305 324 0 984 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7660 [startup+0.702022 s] /proc/loadavg: 0.92 1.00 1.05 3/64 32404 /proc/meminfo: memFree=1529264/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=7660 CPUtime=0.69 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 1436 0 0 0 68 1 0 0 22 0 1 0 136577070 7843840 1273 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 1915 1273 305 324 0 984 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7660 [startup+1.50118 s] /proc/loadavg: 0.92 1.00 1.05 2/65 32405 /proc/meminfo: memFree=1525288/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=7660 CPUtime=1.49 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 1438 0 0 0 148 1 0 0 25 0 1 0 136577070 7843840 1275 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 1915 1275 305 324 0 984 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7660 [startup+3.1015 s] /proc/loadavg: 0.92 1.00 1.05 2/65 32405 /proc/meminfo: memFree=1524776/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=8792 CPUtime=3.09 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 2258 0 0 0 295 14 0 0 25 0 1 0 136577070 9003008 1564 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10274427 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 2198 1564 312 324 0 1267 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8792 [startup+6.30114 s] /proc/loadavg: 0.93 1.00 1.05 2/65 32405 /proc/meminfo: memFree=1517096/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=18680 CPUtime=6.29 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 4745 0 0 0 596 33 0 0 25 0 1 0 136577070 19128320 4051 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 4670 4051 312 324 0 3739 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18680 [startup+12.7014 s] /proc/loadavg: 0.93 1.00 1.05 2/65 32405 /proc/meminfo: memFree=1501544/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=31580 CPUtime=12.68 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 7955 0 0 0 1207 61 0 0 25 0 1 0 136577070 32337920 7261 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 7895 7261 312 324 0 6964 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 31580 [startup+25.502 s] /proc/loadavg: 0.95 1.00 1.05 2/65 32405 /proc/meminfo: memFree=1482792/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=50044 CPUtime=25.48 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 12584 0 0 0 2438 110 0 0 25 0 1 0 136577070 51245056 11890 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134574692 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 12511 11890 312 324 0 11580 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 50044 [startup+51.1011 s] /proc/loadavg: 0.96 1.00 1.05 2/65 32405 /proc/meminfo: memFree=1435368/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=97812 CPUtime=51.07 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 24527 0 0 0 4960 147 0 0 25 0 1 0 136577070 100159488 23833 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10268703 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 24453 23833 312 324 0 23522 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 97812 [startup+102.301 s] /proc/loadavg: 0.98 1.00 1.04 2/65 32405 /proc/meminfo: memFree=1364136/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=168184 CPUtime=102.26 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 42115 0 0 0 10031 195 0 0 25 0 1 0 136577070 172220416 41421 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 42046 41421 312 324 0 41115 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 168184 [startup+162.301 s] /proc/loadavg: 0.99 1.00 1.04 2/65 32405 /proc/meminfo: memFree=1290728/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=241844 CPUtime=162.23 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 60537 0 0 0 15990 233 0 0 25 0 1 0 136577070 247648256 59843 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 60461 59843 312 324 0 59530 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 241844 [startup+222.305 s] /proc/loadavg: 1.14 1.04 1.05 2/71 32571 /proc/meminfo: memFree=1244600/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=286160 CPUtime=222.13 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 71604 0 0 0 21942 271 0 0 25 0 1 0 136577070 293027840 70910 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 71540 70910 312 324 0 70609 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 286160 [startup+282.301 s] /proc/loadavg: 1.05 1.03 1.04 2/65 32603 /proc/meminfo: memFree=1214376/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=318064 CPUtime=282.09 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 79577 0 0 0 27900 309 0 0 25 0 1 0 136577070 325697536 78883 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10268732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 79516 78883 312 324 0 78585 0 Current children cumulated CPU time (s) 282.09 Current children cumulated vsize (KiB) 318064 [startup+342.301 s] /proc/loadavg: 1.02 1.02 1.03 2/65 32603 /proc/meminfo: memFree=1143336/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=388288 CPUtime=342.06 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 97154 0 0 0 33879 327 0 0 25 0 1 0 136577070 397606912 96460 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 97072 96460 312 324 0 96141 0 Current children cumulated CPU time (s) 342.06 Current children cumulated vsize (KiB) 388288 [startup+402.301 s] /proc/loadavg: 1.00 1.02 1.03 2/65 32603 /proc/meminfo: memFree=1096424/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=435432 CPUtime=402.04 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 108937 0 0 0 39857 347 0 0 25 0 1 0 136577070 445882368 108243 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 108858 108243 312 324 0 107927 0 Current children cumulated CPU time (s) 402.04 Current children cumulated vsize (KiB) 435432 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.02 2/65 32603 /proc/meminfo: memFree=1049512/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=482580 CPUtime=462.01 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 120723 0 0 0 45833 368 0 0 25 0 1 0 136577070 494161920 120029 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 120645 120029 312 324 0 119714 0 Current children cumulated CPU time (s) 462.01 Current children cumulated vsize (KiB) 482580 [startup+522.301 s] /proc/loadavg: 1.00 1.01 1.02 2/65 32603 /proc/meminfo: memFree=983208/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=548668 CPUtime=521.99 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 137223 0 0 0 51821 378 0 0 25 0 1 0 136577070 561836032 136529 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 137167 136529 312 324 0 136236 0 Current children cumulated CPU time (s) 521.99 Current children cumulated vsize (KiB) 548668 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.01 2/65 32603 /proc/meminfo: memFree=953512/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=577680 CPUtime=581.97 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 144493 0 0 0 57797 400 0 0 25 0 1 0 136577070 591544320 143799 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 144420 143799 312 324 0 143489 0 Current children cumulated CPU time (s) 581.97 Current children cumulated vsize (KiB) 577680 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.01 2/65 32603 /proc/meminfo: memFree=907944/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=624536 CPUtime=641.94 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 156195 0 0 0 63777 417 0 0 25 0 1 0 136577070 639524864 155501 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10272276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 156134 155501 312 324 0 155203 0 Current children cumulated CPU time (s) 641.94 Current children cumulated vsize (KiB) 624536 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32603 /proc/meminfo: memFree=535592/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=995136 CPUtime=941.83 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 248870 0 0 0 93712 471 0 0 25 0 1 0 136577070 1019019264 248176 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 248784 248176 312 324 0 247853 0 Current children cumulated CPU time (s) 941.83 Current children cumulated vsize (KiB) 995136 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32603 /proc/meminfo: memFree=483240/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=1047020 CPUtime=1001.81 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 261829 0 0 0 99703 478 0 0 25 0 1 0 136577070 1072148480 261135 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10268741 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 261755 261135 312 324 0 260824 0 Current children cumulated CPU time (s) 1001.81 Current children cumulated vsize (KiB) 1047020 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32603 /proc/meminfo: memFree=457832/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=1073040 CPUtime=1061.79 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 268322 0 0 0 105686 493 0 0 25 0 1 0 136577070 1098792960 267628 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10272493 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 268260 267628 312 324 0 267329 0 Current children cumulated CPU time (s) 1061.79 Current children cumulated vsize (KiB) 1073040 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32603 /proc/meminfo: memFree=406888/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=1123556 CPUtime=1121.76 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 280957 0 0 0 111674 502 0 0 25 0 1 0 136577070 1150521344 280263 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 280889 280263 312 324 0 279958 0 Current children cumulated CPU time (s) 1121.76 Current children cumulated vsize (KiB) 1123556 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32603 /proc/meminfo: memFree=346216/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=1184484 CPUtime=1181.74 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 296191 0 0 0 117665 509 0 0 25 0 1 0 136577070 1212911616 295497 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 296121 295497 312 324 0 295190 0 Current children cumulated CPU time (s) 1181.74 Current children cumulated vsize (KiB) 1184484 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32603 /proc/meminfo: memFree=300392/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=1229844 CPUtime=1241.72 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 307530 0 0 0 123651 521 0 0 25 0 1 0 136577070 1259360256 306836 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10272196 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 307461 306836 312 324 0 306530 0 Current children cumulated CPU time (s) 1241.72 Current children cumulated vsize (KiB) 1229844 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32603 /proc/meminfo: memFree=273256/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=1256748 CPUtime=1301.7 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 314247 0 0 0 129636 534 0 0 25 0 1 0 136577070 1286909952 313553 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 314187 313553 312 324 0 313256 0 Current children cumulated CPU time (s) 1301.7 Current children cumulated vsize (KiB) 1256748 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32603 /proc/meminfo: memFree=221352/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=1308900 CPUtime=1361.67 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 327287 0 0 0 135623 544 0 0 25 0 1 0 136577070 1340313600 326593 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 327225 326593 312 324 0 326294 0 Current children cumulated CPU time (s) 1361.67 Current children cumulated vsize (KiB) 1308900 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32603 /proc/meminfo: memFree=161320/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=1368220 CPUtime=1421.66 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 342119 0 0 0 141613 553 0 0 25 0 1 0 136577070 1401057280 341425 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 342055 341425 312 324 0 341124 0 Current children cumulated CPU time (s) 1421.66 Current children cumulated vsize (KiB) 1368220 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32603 /proc/meminfo: memFree=101800/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=1428364 CPUtime=1481.63 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 357171 0 0 0 147600 563 0 0 25 0 1 0 136577070 1462644736 356477 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 357091 356477 312 324 0 356160 0 Current children cumulated CPU time (s) 1481.63 Current children cumulated vsize (KiB) 1428364 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32603 /proc/meminfo: memFree=44008/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=1485428 CPUtime=1541.61 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 371417 0 0 0 153589 572 0 0 25 0 1 0 136577070 1521078272 370723 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 371357 370723 312 324 0 370426 0 Current children cumulated CPU time (s) 1541.61 Current children cumulated vsize (KiB) 1485428 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32603 /proc/meminfo: memFree=15656/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=1549056 CPUtime=1601.58 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 387338 0 0 0 159579 579 0 0 25 0 1 0 136577070 1586233344 386644 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 387264 386644 312 324 0 386333 0 Current children cumulated CPU time (s) 1601.58 Current children cumulated vsize (KiB) 1549056 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32603 /proc/meminfo: memFree=15464/2055920 swapFree=4184728/4192956 [pid=32404] ppid=32402 vsize=1611096 CPUtime=1661.56 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 402845 0 0 0 165565 591 0 0 25 0 1 0 136577070 1649762304 402151 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551273 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 402774 402151 312 324 0 401843 0 Current children cumulated CPU time (s) 1661.56 Current children cumulated vsize (KiB) 1611096 [startup+1722.3 s] /proc/loadavg: 1.03 1.01 1.00 2/65 32603 /proc/meminfo: memFree=15016/2055920 swapFree=4184568/4192956 [pid=32404] ppid=32402 vsize=1659572 CPUtime=1721.54 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 414950 0 0 0 171556 598 0 0 25 0 1 0 136577070 1699401728 414256 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 414893 414256 312 324 0 413962 0 Current children cumulated CPU time (s) 1721.54 Current children cumulated vsize (KiB) 1659572 [startup+1782.3 s] /proc/loadavg: 1.01 1.01 1.00 2/65 32603 /proc/meminfo: memFree=14888/2055920 swapFree=4184568/4192956 [pid=32404] ppid=32402 vsize=1709896 CPUtime=1781.52 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 427542 0 0 0 177547 605 0 0 25 0 1 0 136577070 1750933504 426848 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 427474 426848 312 324 0 426543 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (KiB) 1709896 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.81 s] /proc/loadavg: 1.01 1.00 1.00 2/65 32603 /proc/meminfo: memFree=16232/2055920 swapFree=4184568/4192956 [pid=32404] ppid=32402 vsize=1723112 CPUtime=1800.02 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194304 430837 0 0 0 179395 607 0 0 25 0 1 0 136577070 1764466688 430143 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32404/statm: 430778 430143 312 324 0 429847 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1723112 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.01 1.00 1.00 2/65 32603 /proc/meminfo: memFree=16232/2055920 swapFree=4184568/4192956 [pid=32404] ppid=32402 vsize=0 CPUtime=1800.11 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194308 430838 0 0 0 179395 616 0 0 25 0 1 0 136577070 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 0 0 0 /proc/32404/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 0 [startup+1801 s] /proc/loadavg: 1.01 1.00 1.00 2/65 32603 /proc/meminfo: memFree=16232/2055920 swapFree=4184568/4192956 [pid=32404] ppid=32402 vsize=0 CPUtime=1800.21 /proc/32404/stat : 32404 (bsolo3.0.16) R 32402 32404 28333 0 -1 4194308 430838 0 0 0 179395 626 0 0 25 0 1 0 136577070 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 0 0 0 /proc/32404/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1801.07 CPU time (s): 1800.29 CPU user time (s): 1793.96 CPU system time (s): 6.33304 CPU usage (%): 99.9563 Max. virtual memory (cumulated for all children) (KiB): 1723112 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.96 system time used= 6.33304 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 430838 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 13 involuntary context switches= 2138 runsolver used 1.34579 second user time and 3.69444 second system time The end
Begin job on node66 on Sun Apr 15 02:57:55 UTC 2007 IDJOB= 351590 IDBENCH= 1779 IDSOLVER= 163 FILE ID= node66/351590-1176605875 PBS_JOBID= 4557005 Free space on /tmp= 66559 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-air05.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351590-1176605875/instance-351590-1176605875.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-351590-1176605875 -o ROOT/results/node66/solver-351590-1176605875 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351590-1176605875/instance-351590-1176605875.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 2b7e03ead6dfd4071784021865da4458 RANDOM SEED= 266120094 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node66.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.281 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.281 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: 1529672 kB Buffers: 29124 kB Cached: 359396 kB SwapCached: 2208 kB Active: 232740 kB Inactive: 206008 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1529672 kB SwapTotal: 4192956 kB SwapFree: 4184728 kB Dirty: 4904 kB Writeback: 0 kB Mapped: 47016 kB Slab: 73504 kB Committed_AS: 313488 kB PageTables: 1460 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= 66559 MiB End job on node66 on Sun Apr 15 03:27:58 UTC 2007