Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 609 | 1800.3 | 1800.83 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air02.opb |
MD5SUM | d237957d2db9f550f313e8cfb724f264 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 313 |
Best CPU time to get the best result obtained on this benchmark | 1.57276 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 313 |
Optimality of the best value was proved | YES |
Number of variables | 6774 |
Total number of constraints | 50 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 50 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 3729 |
Number of terms in the objective function | 6774 |
Biggest coefficient in the objective function | 381 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 527695 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 381 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 527695 |
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.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432758-1177949086/instance-432758-1177949086.opb 0.00/0.00 c File size is 613373 bytes. 0.09/0.12 c Highest Coefficient sum: 527695 0.09/0.12 c Parsing was ok!! 0.09/0.12 c Total parsing time: 0.116 s 0.09/0.13 c Var: 6774 Constr: 100 50/50/0 Lit: 123110 Watch. Lit: 61655 0.09/0.13 c Obj. Vars: 6774 (100 % of total variables) 16.99/17.10 c Pre-processing Time: 17.091 s 17.09/17.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.09/17.10 c 0 6774 100 123110 1231 61655 48269 0 0 17.09 17.09/17.10 c Switching off LPR mode. 18.38/18.46 c 100 6774 200 280865 1404 61855 53096 100 5 17.38 18.38/18.46 c 250 6774 350 475377 1358 62155 58406 250 13 17.93 18.38/18.46 o 2791 18.458 18.79/18.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.79/18.86 c 375 6774 476 653787 1373 69172 61817 376 20 18.46 18.79/18.86 c 475 6774 576 884542 1535 69367 67999 476 25 18.68 18.79/18.86 o 2776 18.852 38.78/38.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 38.78/38.86 c 497 6774 599 917491 1531 76174 61817 499 26 18.86 38.78/38.86 c 597 6774 699 978285 1399 76280 67999 599 31 19.09 38.78/38.86 c 847 6774 949 1340382 1412 76737 74799 849 40 21.10 38.78/38.86 c 1322 6774 1424 1687299 1184 77681 82279 1324 41 31.57 38.78/38.86 o 2748 38.847 38.88/38.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 38.88/38.99 c 1818 6774 1921 2267970 1180 85589 61817 1821 46 38.85 38.88/38.99 o 2263 38.977 39.27/39.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 39.27/39.34 c 1842 6774 1946 2321225 1192 92377 61817 1846 47 38.98 39.27/39.34 o 2084 39.32 39.27/39.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 39.27/39.38 c 1874 6774 1979 2413736 1219 99190 61817 1879 47 39.33 39.27/39.38 o 2081 39.362 39.37/39.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 39.37/39.40 c 1876 6774 1982 2423368 1222 105957 61817 1882 47 39.37 39.37/39.40 o 2066 39.385 39.37/39.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 39.37/39.49 c 1877 6774 1984 2430724 1225 112727 61817 1884 47 39.39 39.37/39.49 o 1962 39.475 45.57/45.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 45.57/45.66 c 1885 6774 1993 2452371 1230 119497 61817 1893 47 39.48 45.57/45.66 c 1985 6774 2093 2566014 1225 119541 67999 1993 49 40.20 45.57/45.66 c 2235 6774 2343 2895617 1235 119834 74799 2243 52 42.98 45.57/45.66 c 2710 6774 2818 3853596 1367 121114 82279 2718 59 45.60 45.57/45.66 o 1458 45.646 46.07/46.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 46.07/46.11 c 2714 6774 2823 3865681 1369 127809 61817 2723 59 45.65 46.07/46.11 o 1363 46.088 75.77/75.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 75.77/75.83 c 2792 6774 2902 4018615 1384 134635 61817 2802 60 46.09 75.77/75.83 c 2892 6774 3002 4214559 1403 134910 67999 2902 61 46.77 75.77/75.83 c 3142 6774 3252 4573338 1406 135285 74799 3152 65 48.17 75.77/75.83 c 3617 6774 3727 4883750 1310 136297 82279 3627 71 50.43 75.77/75.83 c 4430 6774 4540 5504448 1212 137587 90507 4440 77 57.19 75.77/75.83 c 5750 6774 5860 6514784 1111 140287 99558 5760 85 67.31 75.77/75.83 o 1353 75.8 76.26/76.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 76.26/76.31 c 6651 6774 6762 8086790 1195 149055 61817 6662 87 75.81 76.26/76.31 o 1349 76.286 79.76/79.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 79.76/79.89 c 6707 6774 6819 8178317 1199 155928 61817 6719 87 76.29 79.76/79.89 c 6808 6774 6920 8330749 1203 156173 67999 6820 88 76.90 79.76/79.89 c 7058 6774 7170 8568605 1195 156409 74799 7070 90 77.92 79.76/79.89 o 1348 79.865 79.96/80.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 79.96/80.03 c 7266 6774 7379 8679362 1176 163812 61817 7279 90 79.87 79.96/80.03 o 1342 80.001 96.86/96.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 96.86/96.96 c 7281 6774 7395 8723835 1179 170605 61817 7295 91 80.01 96.86/96.96 c 7383 6774 7497 8979581 1197 170845 67999 7397 91 80.57 96.86/96.96 c 7633 6774 7747 9192346 1186 171047 74799 7647 92 82.13 96.86/96.96 c 8108 6774 8222 9798840 1191 171979 82279 8122 92 87.82 96.86/96.96 o 1335 96.926 116.05/116.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 116.05/116.16 c 8636 6774 8751 10290989 1175 180125 61817 8651 89 96.93 116.05/116.16 c 8736 6774 8851 10488131 1184 180102 67999 8751 89 97.52 116.05/116.16 c 8986 6774 9101 10989847 1207 180840 74799 9001 89 100.88 116.05/116.16 c 9461 6774 9576 12029989 1256 181389 82279 9476 89 105.18 116.05/116.16 o 1312 116.122 150.04/150.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 150.04/150.15 c 10136 6774 10252 12738129 1242 189838 61817 10152 87 116.13 150.04/150.15 c 10237 6774 10353 13070885 1262 190034 67999 10253 87 116.86 150.04/150.15 c 10487 6774 10603 13315650 1255 190446 74799 10503 87 119.91 150.04/150.15 c 10962 6774 11078 13569133 1224 191136 82279 10978 84 129.40 150.04/150.15 c 11775 6774 11891 14537052 1222 192596 90507 11791 84 140.02 150.04/150.15 o 1309 150.105 154.84/154.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 154.84/154.99 c 12546 6774 12663 15848672 1251 201414 61817 12563 83 150.11 154.84/154.99 c 12647 6774 12764 16051533 1257 201585 67999 12664 83 151.19 154.84/154.99 c 12897 6774 13014 16152363 1241 201566 74799 12914 84 153.16 154.84/154.99 o 818 154.937 247.01/247.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 247.01/247.14 c 13111 6774 13229 16430347 1241 209262 61817 13129 84 154.94 247.01/247.14 c 13211 6771 13329 16549067 1241 209329 67999 13229 84 156.15 247.01/247.14 c 13461 6771 13579 16978572 1250 209845 74799 13479 84 159.09 247.01/247.14 c 13936 6771 14054 18363356 1306 210583 82279 13954 84 164.71 247.01/247.14 c 14751 6771 14869 20793768 1398 212395 90507 14769 80 184.03 247.01/247.14 c 16071 6771 16189 22749544 1405 215025 99558 16089 74 214.95 247.01/247.14 o 788 247.062 450.46/450.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 450.46/450.67 c 17617 6771 17736 24260618 1367 224687 61811 17636 71 247.07 450.46/450.67 c 17717 6771 17836 24551230 1376 224749 67993 17736 71 248.14 450.46/450.67 c 17967 6771 18086 24945693 1379 225324 74793 17986 71 252.74 450.46/450.67 c 18442 6771 18561 25946849 1397 226469 82273 18461 70 261.45 450.46/450.67 c 19255 6771 19374 26575209 1371 227955 90501 19274 70 271.93 450.46/450.67 c 20575 6771 20694 28029959 1354 230699 99552 20594 69 297.47 450.46/450.67 c 22656 6771 22775 30998336 1361 234421 109508 22675 67 337.33 450.46/450.67 c 25879 6771 25998 37554981 1444 241047 120459 25898 61 423.87 450.46/450.67 o 736 450.537 452.25/452.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 452.25/452.46 c 26579 6771 26699 37911787 1419 249316 61811 26599 58 450.55 452.25/452.46 o 713 452.328 606.60/606.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 606.60/606.85 c 26646 6771 26767 38069166 1422 256214 61811 26667 58 452.34 606.60/606.85 c 26746 6771 26867 38251911 1423 256446 67993 26767 58 458.03 606.60/606.85 c 26996 6771 27117 38808514 1431 256909 74793 27017 56 478.77 606.60/606.85 c 27471 6771 27592 39792088 1442 257959 82273 27492 55 495.57 606.60/606.85 c 28284 6771 28405 42448512 1494 259409 90501 28305 54 519.49 606.60/606.85 c 29604 6771 29725 46888005 1577 262084 99552 29625 53 554.35 606.60/606.85 o 696 606.673 992.30/992.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 992.30/992.69 c 31246 6771 31368 51600318 1644 272165 61811 31268 51 606.68 992.30/992.69 c 31346 6771 31468 51995826 1652 272590 67993 31368 51 609.65 992.30/992.69 c 31596 6771 31718 52500653 1655 272919 74793 31618 51 619.32 992.30/992.69 c 32071 6771 32193 52957320 1644 273459 82273 32093 50 633.80 992.30/992.69 c 32884 6771 33006 53510841 1621 275196 90501 32906 48 672.15 992.30/992.69 c 34204 6771 34326 56910900 1657 277903 99552 34226 47 715.16 992.30/992.69 c 36285 6771 36407 60009506 1648 282345 109508 36307 47 760.25 992.30/992.69 c 39508 6771 39630 66905626 1688 288692 120459 39530 45 877.20 992.30/992.69 o 695 992.398 1007.89/1008.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1007.89/1008.26 c 43313 6771 43436 72674362 1673 303007 61811 43336 43 992.41 1007.89/1008.26 c 43413 6771 43536 72905606 1674 303271 67993 43436 43 996.28 1007.89/1008.26 c 43663 6771 43786 73472151 1677 303660 74793 43686 43 1002.79 1007.89/1008.26 o 659 1007.96 1009.40/1009.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1009.40/1009.76 c 43901 6771 44025 73805492 1676 310910 61811 43925 43 1007.97 1009.40/1009.76 o 658 1009.47 1134.56/1134.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1134.56/1134.99 c 43976 6771 44101 73989734 1677 317817 61811 44001 43 1009.48 1134.56/1134.99 c 44076 6771 44201 74062654 1675 317919 67993 44101 43 1012.46 1134.56/1134.99 c 44328 6771 44453 74322931 1671 318797 74793 44353 43 1022.80 1134.56/1134.99 c 44803 6771 44928 74912268 1667 319558 82273 44828 43 1041.26 1134.56/1134.99 c 45616 6771 45741 75549256 1651 321045 90501 45641 42 1081.74 1134.56/1134.99 o 612 1134.65 1726.09/1726.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1726.09/1726.60 c 46453 6771 46579 76448416 1641 329676 61811 46479 40 1134.66 1726.09/1726.60 c 46553 6771 46679 76702519 1643 329777 67993 46579 40 1141.36 1726.09/1726.60 c 46803 6771 46929 76924557 1639 330103 74793 46829 40 1147.80 1726.09/1726.60 c 47280 6771 47406 77823208 1641 331310 82273 47306 40 1162.78 1726.09/1726.60 c 48093 6771 48219 79561447 1650 332733 90501 48119 40 1195.43 1726.09/1726.60 c 49415 6771 49541 81830801 1651 335587 99552 49441 39 1247.93 1726.09/1726.60 c 51496 6771 51622 86410898 1673 339748 109508 51522 35 1432.83 1726.09/1726.60 c 54719 6771 54845 94907001 1730 346133 120459 54745 34 1566.43 1726.09/1726.60 o 609 1726.1 1800.07/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.07/1800.60 c 57191 6771 57318 100879870 1760 357750 61811 57218 33 1726.11 1800.07/1800.60 c 57292 6771 57419 101090194 1760 357935 67993 57319 33 1728.79 1800.07/1800.60 c 57542 6771 57669 101446477 1759 358397 74793 57569 33 1741.02 1800.07/1800.60 c 58017 6771 58144 101866037 1751 359557 82273 58044 32 1766.45 1800.07/1800.60 c Caught signal: 15 1800.07/1800.60 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.07/1800.60 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.07/1800.60 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1800.07/1800.60 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1800.07/1800.60 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.07/1800.60 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.07/1800.60 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.07/1800.60 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.07/1800.60 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.07/1800.60 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.07/1800.60 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.07/1800.60 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1800.07/1800.60 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1800.07/1800.60 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.07/1800.60 v -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1800.07/1800.60 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 1800.07/1800.60 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1800.07/1800.60 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.07/1800.60 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1800.07/1800.60 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1800.07/1800.60 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.07/1800.60 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1800.07/1800.60 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.07/1800.60 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.07/1800.60 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.07/1800.60 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.07/1800.60 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.07/1800.60 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.07/1800.60 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.07/1800.60 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1800.07/1800.60 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1800.07/1800.60 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1800.07/1800.60 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1800.07/1800.60 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1800.07/1800.60 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1800.07/1800.60 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1800.07/1800.60 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1800.07/1800.60 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1800.07/1800.60 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1800.07/1800.60 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1800.07/1800.60 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1800.07/1800.60 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1800.07/1800.60 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1800.07/1800.60 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1800.07/1800.60 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1800.07/1800.60 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1800.07/1800.60 v -x987 -x988 x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1800.07/1800.60 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1800.07/1800.60 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1800.07/1800.60 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1800.07/1800.60 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1800.07/1800.60 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 1800.07/1800.60 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 1800.07/1800.60 v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.07/1800.60 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 1800.07/1800.60 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 1800.07/1800.60 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 1800.07/1800.60 v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 1800.07/1800.60 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 1800.07/1800.60 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 1800.07/1800.60 v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 1800.07/1800.60 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 1800.07/1800.60 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 1800.07/1800.60 v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 1800.07/1800.60 v -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 1800.07/1800.60 v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 1800.07/1800.60 v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 1800.07/1800.60 v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 1800.07/1800.60 v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 1800.07/1800.60 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 1800.07/1800.60 v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 1800.07/1800.60 v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 1800.07/1800.60 v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 1800.07/1800.60 v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 1800.07/1800.60 v -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 1800.07/1800.60 v -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 1800.07/1800.60 v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 1800.07/1800.60 v -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 1800.07/1800.60 v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 1800.07/1800.60 v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 1800.07/1800.60 v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 1800.07/1800.60 v -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 1800.07/1800.60 v -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 1800.07/1800.60 v -x1619 -x1620 -x1621 x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 1800.07/1800.60 v -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 1800.07/1800.60 v -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 1800.07/1800.60 v -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 1800.07/1800.60 v -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 1800.07/1800.60 v -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 1800.07/1800.60 v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 1800.07/1800.60 v -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 1800.07/1800.60 v -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 1800.07/1800.60 v -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 1800.07/1800.60 v -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 1800.07/1800.60 v -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 1800.07/1800.60 v -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 1800.07/1800.60 v -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 1800.07/1800.60 v -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 1800.07/1800.60 v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 1800.07/1800.60 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 1800.07/1800.60 v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 1800.07/1800.60 v -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 1800.07/1800.60 v -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 1800.07/1800.60 v -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 1800.07/1800.60 v -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 1800.07/1800.60 v -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 1800.07/1800.60 v -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 1800.07/1800.60 v -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 1800.07/1800.60 v -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 1800.07/1800.60 v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 1800.07/1800.60 v -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 1800.07/1800.60 v -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 1800.07/1800.60 v -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 1800.07/1800.60 v -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 1800.07/1800.60 v -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 1800.07/1800.60 v -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 1800.07/1800.60 v -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 1800.07/1800.60 v -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 1800.07/1800.60 v -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 1800.07/1800.60 v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 1800.07/1800.60 v -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 1800.07/1800.60 v -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 1800.07/1800.60 v -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 1800.07/1800.60 v -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 1800.07/1800.60 v -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 1800.07/1800.60 v -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 1800.07/1800.60 v -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 x2361 -x2362 -x2363 -x2364 -x2365 -x2366 1800.07/1800.60 v -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 1800.07/1800.60 v -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 1800.07/1800.60 v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 1800.07/1800.60 v -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 1800.07/1800.60 v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 1800.07/1800.60 v -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 1800.07/1800.60 v -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 1800.07/1800.60 v -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 1800.07/1800.60 v -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 1800.07/1800.60 v -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 1800.07/1800.60 v -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 1800.07/1800.60 v -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 1800.07/1800.60 v -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 1800.07/1800.60 v -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 1800.07/1800.60 v -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 1800.07/1800.60 v -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 1800.07/1800.60 v -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 1800.07/1800.60 v -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 1800.07/1800.60 v -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 1800.07/1800.60 v -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 1800.07/1800.60 v -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 1800.07/1800.60 v -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 1800.07/1800.60 v -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 1800.07/1800.60 v -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 1800.07/1800.60 v -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 1800.07/1800.60 v -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 1800.07/1800.60 v -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 1800.07/1800.60 v -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 1800.07/1800.60 v -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 1800.07/1800.60 v -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 1800.07/1800.60 v -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 1800.07/1800.60 v -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 1800.07/1800.60 v -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 1800.07/1800.60 v -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 1800.07/1800.60 v -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 1800.07/1800.60 v -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 1800.07/1800.60 v -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 1800.07/1800.60 v -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 1800.07/1800.60 v -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 1800.07/1800.60 v -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 1800.07/1800.60 v -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 1800.07/1800.60 v -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 1800.07/1800.60 v -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 1800.07/1800.60 v -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 1800.07/1800.60 v -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 1800.07/1800.60 v -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 1800.07/1800.60 v -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 1800.07/1800.60 v -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 1800.07/1800.60 v -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 1800.07/1800.60 v -x3200 -x3201 -x3202 -x3203 x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 1800.07/1800.60 v -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 1800.07/1800.60 v -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 1800.07/1800.60 v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 1800.07/1800.60 v -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 1800.07/1800.60 v -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 1800.07/1800.60 v -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 1800.07/1800.60 v -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 1800.07/1800.60 v -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 1800.07/1800.60 v -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 1800.07/1800.60 v -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 1800.07/1800.60 v -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 1800.07/1800.60 v -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 1800.07/1800.60 v -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 1800.07/1800.60 v -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 1800.07/1800.60 v -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 1800.07/1800.60 v -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 1800.07/1800.60 v -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 1800.07/1800.60 v -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 1800.07/1800.60 v -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 1800.07/1800.60 v -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 1800.07/1800.60 v -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 1800.07/1800.60 v -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 1800.07/1800.60 v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 1800.07/1800.60 v -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 1800.07/1800.60 v -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 1800.07/1800.60 v -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 1800.07/1800.60 v -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 1800.07/1800.60 v -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 1800.07/1800.60 v -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 1800.07/1800.60 v -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 1800.07/1800.60 v -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 1800.07/1800.60 v -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 1800.07/1800.60 v -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 1800.07/1800.60 v -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 1800.07/1800.60 v -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 1800.07/1800.60 v -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 1800.07/1800.60 v -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 1800.07/1800.60 v -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 1800.07/1800.60 v -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 1800.07/1800.60 v -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 1800.07/1800.60 v -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 1800.07/1800.60 v -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 1800.07/1800.60 v -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 1800.07/1800.60 v -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 1800.07/1800.60 v -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 1800.07/1800.60 v -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 1800.07/1800.60 v -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 1800.07/1800.60 v -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 1800.07/1800.60 v -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 1800.07/1800.60 v -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 1800.07/1800.60 v -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 1800.07/1800.60 v -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 1800.07/1800.60 v -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 1800.07/1800.60 v -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 1800.07/1800.60 v -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 1800.07/1800.60 v -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 1800.07/1800.60 v -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 1800.07/1800.60 v -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 1800.07/1800.60 v -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 1800.07/1800.60 v -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 1800.07/1800.60 v -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 1800.07/1800.60 v -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 1800.07/1800.60 v -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 1800.07/1800.60 v -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 1800.07/1800.60 v -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 1800.07/1800.60 v -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 1800.07/1800.60 v -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 1800.07/1800.60 v -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 1800.07/1800.60 v -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 1800.07/1800.60 v -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 1800.07/1800.60 v -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 1800.07/1800.60 v -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 1800.07/1800.60 v -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 1800.07/1800.60 v -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 1800.07/1800.60 v -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 1800.07/1800.60 v -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 1800.07/1800.60 v -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 1800.07/1800.60 v -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 1800.07/1800.60 v -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 1800.07/1800.60 v -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 1800.07/1800.60 v -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 1800.07/1800.60 v -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 1800.07/1800.60 v -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 1800.07/1800.60 v -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 1800.07/1800.60 v -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 1800.07/1800.60 v -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 1800.07/1800.60 v -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 1800.07/1800.60 v -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 1800.07/1800.60 v -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 1800.07/1800.60 v -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 1800.07/1800.60 v -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 1800.07/1800.60 v -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 1800.07/1800.60 v -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 1800.07/1800.60 v -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 1800.07/1800.60 v -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 1800.07/1800.60 v -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 1800.07/1800.60 v -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 1800.07/1800.60 v -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 1800.07/1800.60 v -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 1800.07/1800.60 v -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 1800.07/1800.60 v -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 1800.07/1800.60 v -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 1800.07/1800.60 v -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 1800.07/1800.60 v -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 1800.07/1800.60 v -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 1800.07/1800.60 v -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 1800.07/1800.60 v -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 1800.07/1800.60 v -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 1800.07/1800.60 v -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 1800.07/1800.60 v -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 1800.07/1800.60 v -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 1800.07/1800.60 v -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 1800.07/1800.60 v -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 1800.07/1800.60 v -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 1800.07/1800.60 v -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 1800.07/1800.60 v -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 1800.07/1800.60 v -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 1800.07/1800.60 v -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 1800.07/1800.60 v -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 1800.07/1800.60 v -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 1800.07/1800.60 v -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 1800.07/1800.60 v -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 1800.07/1800.60 v -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 1800.07/1800.60 v -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 1800.07/1800.60 v -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 1800.07/1800.60 v -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 1800.07/1800.60 v -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 1800.07/1800.60 v -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 1800.07/1800.60 v -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 1800.07/1800.60 v -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 1800.07/1800.60 v -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 1800.07/1800.60 v -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 1800.07/1800.60 v -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 1800.07/1800.60 v -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 1800.07/1800.60 v -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 1800.07/1800.60 v -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 1800.07/1800.60 v -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 1800.07/1800.60 v -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 1800.07/1800.60 v -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 1800.07/1800.60 v -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 1800.07/1800.60 v -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 1800.07/1800.60 v -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 1800.07/1800.60 v -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 1800.07/1800.60 v -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 1800.07/1800.60 v -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 1800.07/1800.60 v -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 1800.07/1800.60 v -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 1800.07/1800.60 v -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 1800.07/1800.60 v -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 1800.07/1800.60 v -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 1800.07/1800.60 v -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 1800.07/1800.60 v -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 1800.07/1800.60 v -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 1800.07/1800.60 v -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 1800.07/1800.60 v -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 1800.07/1800.60 v -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 1800.07/1800.60 v -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 1800.07/1800.60 v -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 1800.07/1800.60 v -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 1800.07/1800.60 v -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 1800.07/1800.60 v -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 1800.07/1800.60 v -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 1800.07/1800.60 v -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 1800.07/1800.60 v -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 1800.07/1800.60 v -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 1800.07/1800.60 v -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 1800.07/1800.60 v -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 1800.07/1800.60 v -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 1800.07/1800.60 v -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 1800.07/1800.60 v -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 1800.07/1800.60 v -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 1800.07/1800.60 v -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 1800.07/1800.60 v -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 1800.07/1800.60 v -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 1800.07/1800.60 v -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 1800.07/1800.60 v -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 1800.07/1800.60 v -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 1800.07/1800.60 v -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 1800.07/1800.60 v -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 1800.07/1800.60 v -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 1800.07/1800.60 v -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 1800.07/1800.60 v -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 1800.07/1800.60 v -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 1800.07/1800.60 v -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 1800.07/1800.60 v -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 1800.07/1800.60 v -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 1800.07/1800.60 v -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 1800.07/1800.60 v -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 1800.07/1800.60 v -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 1800.07/1800.60 v -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 1800.07/1800.60 v -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 1800.07/1800.60 v -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 1800.07/1800.60 v -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 1800.07/1800.60 v -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 1800.07/1800.60 v -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 1800.07/1800.60 v -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 1800.07/1800.60 v -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 1800.07/1800.60 v -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 1800.07/1800.60 v -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 x6599 1800.07/1800.60 v -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 1800.07/1800.60 v -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 1800.07/1800.60 v -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 1800.07/1800.60 v -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 1800.07/1800.60 v -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 1800.07/1800.60 v -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 1800.07/1800.60 v -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 1800.07/1800.60 v -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 1800.07/1800.60 v -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 1800.07/1800.60 v -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 1800.07/1800.60 v -x6770 -x6771 -x6772 -x6773 -x6774 1800.07/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.07/1800.61 c 95 58763 52150 30518950 58890 102642646 58790 32 1800.08 1800.07/1800.61 c Objective: 609 1800.07/1800.61 s SATISFIABLE 1800.07/1800.61 c Total time: 1800.08 s
OK 609
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node71/watcher-432758-1177949086 -o ROOT/results/node71/solver-432758-1177949086 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432758-1177949086/instance-432758-1177949086.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.94 3/64 22752 /proc/meminfo: memFree=1789688/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=12336 CPUtime=0 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 270897959 12632064 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 3084 333 279 324 0 2004 0 [startup+0.00777006 s] /proc/loadavg: 0.92 0.98 0.94 3/64 22752 /proc/meminfo: memFree=1789688/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=12472 CPUtime=0 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 391 0 0 0 0 0 0 0 18 0 1 0 270897959 12771328 361 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 3118 362 283 324 0 2038 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12472 [startup+0.101782 s] /proc/loadavg: 0.92 0.98 0.94 3/64 22752 /proc/meminfo: memFree=1789688/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=14324 CPUtime=0.09 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 969 0 0 0 9 0 0 0 18 0 1 0 270897959 14667776 939 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586828 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 3581 939 405 324 0 2501 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14324 [startup+0.301809 s] /proc/loadavg: 0.92 0.98 0.94 3/64 22752 /proc/meminfo: memFree=1789688/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=15948 CPUtime=0.29 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 1561 0 0 0 29 0 0 0 19 0 1 0 270897959 16330752 1381 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7634975 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 3987 1381 303 324 0 3057 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15948 [startup+0.701864 s] /proc/loadavg: 0.92 0.98 0.94 3/64 22752 /proc/meminfo: memFree=1789688/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=15948 CPUtime=0.69 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 1566 0 0 0 69 0 0 0 22 0 1 0 270897959 16330752 1386 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7635096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 3987 1386 303 324 0 3057 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15948 [startup+1.50197 s] /proc/loadavg: 0.92 0.98 0.94 2/65 22753 /proc/meminfo: memFree=1785264/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=15948 CPUtime=1.49 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 1572 0 0 0 149 0 0 0 25 0 1 0 270897959 16330752 1392 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 3987 1392 303 324 0 3057 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15948 [startup+3.10119 s] /proc/loadavg: 0.92 0.98 0.94 2/65 22753 /proc/meminfo: memFree=1784880/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=15948 CPUtime=3.09 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 1584 0 0 0 309 0 0 0 25 0 1 0 270897959 16330752 1404 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 3987 1404 303 324 0 3057 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15948 [startup+6.30163 s] /proc/loadavg: 0.93 0.98 0.94 2/65 22753 /proc/meminfo: memFree=1784816/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=15948 CPUtime=6.29 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 1587 0 0 0 629 0 0 0 25 0 1 0 270897959 16330752 1407 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134567639 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 3987 1407 303 324 0 3057 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15948 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.94 2/65 22753 /proc/meminfo: memFree=1784952/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=15948 CPUtime=12.69 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 1587 0 0 0 1268 1 0 0 25 0 1 0 270897959 16330752 1407 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7639127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 3987 1407 303 324 0 3057 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15948 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.94 2/65 22753 /proc/meminfo: memFree=1765560/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=27516 CPUtime=25.48 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 7250 0 0 0 2545 3 0 0 25 0 1 0 270897959 28176384 6256 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 6879 6256 310 324 0 5949 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27516 [startup+51.1017 s] /proc/loadavg: 0.96 0.98 0.94 2/65 22753 /proc/meminfo: memFree=1722552/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=71536 CPUtime=51.07 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 18270 0 0 0 5100 7 0 0 25 0 1 0 270897959 73252864 17276 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 17884 17276 310 324 0 16954 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 71536 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.94 2/65 22753 /proc/meminfo: memFree=1637048/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=156440 CPUtime=102.26 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 39495 0 0 0 10208 18 0 0 25 0 1 0 270897959 160194560 38501 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 39110 38501 310 324 0 38180 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 156440 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.94 2/65 22753 /proc/meminfo: memFree=1559160/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=234440 CPUtime=162.24 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 58989 0 0 0 16195 29 0 0 25 0 1 0 270897959 240066560 57995 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 58610 57995 310 324 0 57680 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 234440 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.94 2/65 22753 /proc/meminfo: memFree=1488376/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=304364 CPUtime=222.22 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 76451 0 0 0 22186 36 0 0 25 0 1 0 270897959 311668736 75457 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7638867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 76091 75457 310 324 0 75161 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 304364 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.94 2/65 22753 /proc/meminfo: memFree=1434232/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=359192 CPUtime=282.2 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 90169 0 0 0 28180 40 0 0 25 0 1 0 270897959 367812608 89175 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 89798 89175 310 324 0 88868 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 359192 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.94 2/65 22753 /proc/meminfo: memFree=1382456/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=409960 CPUtime=342.18 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 102853 0 0 0 34173 45 0 0 25 0 1 0 270897959 419799040 101859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551081 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 102490 101859 310 324 0 101560 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 409960 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.94 2/65 22753 /proc/meminfo: memFree=1324856/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=468772 CPUtime=402.17 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 117568 0 0 0 40165 52 0 0 25 0 1 0 270897959 480022528 116574 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 117193 116574 310 324 0 116263 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 468772 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.94 2/65 22753 /proc/meminfo: memFree=1292280/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=500004 CPUtime=462.15 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 125375 0 0 0 46160 55 0 0 25 0 1 0 270897959 512004096 124381 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 125001 124381 310 324 0 124071 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 500004 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.94 2/65 22753 /proc/meminfo: memFree=1231864/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=561176 CPUtime=522.13 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 140661 0 0 0 52151 62 0 0 25 0 1 0 270897959 574644224 139667 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 140294 139667 310 324 0 139364 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 561176 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.94 2/65 22753 /proc/meminfo: memFree=1142968/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=651152 CPUtime=582.11 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 163174 0 0 0 58140 71 0 0 25 0 1 0 270897959 666779648 162180 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 162788 162180 310 324 0 161858 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 651152 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.94 2/65 22753 /proc/meminfo: memFree=1104760/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=687056 CPUtime=642.1 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 172138 0 0 0 64135 75 0 0 25 0 1 0 270897959 703545344 171144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551273 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 171764 171144 310 324 0 170834 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 687056 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.94 2/65 22753 /proc/meminfo: memFree=923576/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=868112 CPUtime=882.03 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 217393 0 0 0 88109 94 0 0 25 0 1 0 270897959 888946688 216399 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 217028 216399 310 324 0 216098 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 868112 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.94 2/65 22753 /proc/meminfo: memFree=886200/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=905924 CPUtime=942.01 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 226864 0 0 0 94103 98 0 0 25 0 1 0 270897959 927666176 225870 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574500 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 226481 225870 310 324 0 225551 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 905924 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 22753 /proc/meminfo: memFree=844216/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=947492 CPUtime=1001.99 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 237255 0 0 0 100097 102 0 0 25 0 1 0 270897959 970231808 236261 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091710 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 236873 236261 310 324 0 235943 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 947492 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 22753 /proc/meminfo: memFree=820408/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=970980 CPUtime=1061.98 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 243116 0 0 0 106093 105 0 0 25 0 1 0 270897959 994283520 242122 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 242745 242122 310 324 0 241815 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 970980 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 22753 /proc/meminfo: memFree=809016/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=982248 CPUtime=1121.95 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 245931 0 0 0 112089 106 0 0 25 0 1 0 270897959 1005821952 244937 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 245562 244937 310 324 0 244632 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 982248 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 22753 /proc/meminfo: memFree=772600/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=1019900 CPUtime=1181.95 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 255342 0 0 0 118084 111 0 0 25 0 1 0 270897959 1044377600 254348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 254975 254348 310 324 0 254045 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 1019900 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 22753 /proc/meminfo: memFree=740600/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=1051112 CPUtime=1241.93 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 263146 0 0 0 124079 114 0 0 25 0 1 0 270897959 1076338688 262152 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7638759 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 262778 262152 310 324 0 261848 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 1051112 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 22753 /proc/meminfo: memFree=711736/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=1079324 CPUtime=1301.91 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 270200 0 0 0 130074 117 0 0 25 0 1 0 270897959 1105227776 269206 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 269831 269206 310 324 0 268901 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1079324 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 22753 /proc/meminfo: memFree=705272/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=1085800 CPUtime=1361.89 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 271830 0 0 0 136071 118 0 0 25 0 1 0 270897959 1111859200 270836 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 271450 270836 310 324 0 270520 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1085800 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.94 2/65 22753 /proc/meminfo: memFree=680504/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=1110524 CPUtime=1421.88 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 277995 0 0 0 142068 120 0 0 25 0 1 0 270897959 1137176576 277001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 277631 277001 310 324 0 276701 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1110524 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 22753 /proc/meminfo: memFree=640440/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=1151592 CPUtime=1481.86 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 288263 0 0 0 148062 124 0 0 25 0 1 0 270897959 1179230208 287269 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 287898 287269 310 324 0 286968 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1151592 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 22753 /proc/meminfo: memFree=595000/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=1196440 CPUtime=1541.83 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 299493 0 0 0 154055 128 0 0 25 0 1 0 270897959 1225154560 298499 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 299110 298499 310 324 0 298180 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1196440 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 22753 /proc/meminfo: memFree=549176/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=1242572 CPUtime=1601.82 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 311026 0 0 0 160049 133 0 0 25 0 1 0 270897959 1272393728 310032 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 310643 310032 310 324 0 309713 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1242572 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 22753 /proc/meminfo: memFree=524280/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=1266752 CPUtime=1661.8 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 317072 0 0 0 166044 136 0 0 25 0 1 0 270897959 1297154048 316078 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551315 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 316688 316078 310 324 0 315758 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1266752 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 22753 /proc/meminfo: memFree=495928/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=1295072 CPUtime=1721.78 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 324129 0 0 0 172038 140 0 0 25 0 1 0 270897959 1326153728 323135 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 323768 323135 310 324 0 322838 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 1295072 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 22753 /proc/meminfo: memFree=476664/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=1314120 CPUtime=1781.77 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 328887 0 0 0 178035 142 0 0 25 0 1 0 270897959 1345658880 327893 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551273 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 328530 327893 310 324 0 327600 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 1314120 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.94 2/65 22753 /proc/meminfo: memFree=469816/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=1320888 CPUtime=1800.07 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 330583 0 0 0 179864 143 0 0 25 0 1 0 270897959 1352589312 329589 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 330222 329589 310 324 0 329292 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1320888 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 0.99 0.98 0.94 2/65 22753 /proc/meminfo: memFree=469816/2055920 swapFree=4184260/4192956 [pid=22752] ppid=22750 vsize=0 CPUtime=1800.26 /proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194308 330587 0 0 0 179864 162 0 0 25 0 1 0 270897959 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/22752/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.83 CPU time (s): 1800.3 CPU user time (s): 1798.65 CPU system time (s): 1.64875 CPU usage (%): 99.9706 Max. virtual memory (cumulated for all children) (KiB): 1320888 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.65 system time used= 1.64875 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 330587 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= 2522 runsolver used 1.42378 second user time and 3.50747 second system time The end
Begin job on node71 on Mon Apr 30 16:04:46 UTC 2007 IDJOB= 432758 IDBENCH= 1765 IDSOLVER= 199 FILE ID= node71/432758-1177949086 PBS_JOBID= 4727528 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air02.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432758-1177949086/instance-432758-1177949086.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-432758-1177949086 -o ROOT/results/node71/solver-432758-1177949086 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432758-1177949086/instance-432758-1177949086.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= d237957d2db9f550f313e8cfb724f264 RANDOM SEED= 971047897 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node71.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1790096 kB Buffers: 32688 kB Cached: 152472 kB SwapCached: 2792 kB Active: 96372 kB Inactive: 98960 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1790096 kB SwapTotal: 4192956 kB SwapFree: 4184260 kB Dirty: 7172 kB Writeback: 0 kB Mapped: 16148 kB Slab: 56488 kB Committed_AS: 3759360 kB PageTables: 1452 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node71 on Mon Apr 30 16:34:49 UTC 2007