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