Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | 5500543 | 1800.24 | 1800.96 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran12x12.opb |
MD5SUM | 56c71282ea86eaaf05df174b87b01c4e |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3416057 |
Best CPU time to get the best result obtained on this benchmark | 1800.41 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3039236 |
Optimality of the best value was proved | NO |
Number of variables | 4464 |
Total number of constraints | 168 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 168 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 360 |
Number of terms in the objective function | 4464 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 856864234722 |
Number of bits of the sum of numbers in the objective function | 40 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 856864234722 |
Number of bits of the biggest sum of numbers | 40 |
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.05 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.05 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.05 c type "bsolo -h" for help 0.00/0.05 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.05 c Time Limit set to 1800 0.00/0.05 c Memory Limit set to 1800 MB 0.00/0.05 c Instance file /tmp/evaluation/353930-1176688705/instance-353930-1176688705.opb 0.00/0.05 c File size is 226427 bytes. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Highest Coefficient sum: 8.56864e+11 0.00/0.08 c Parsing was ok!! 0.00/0.08 c Total parsing time: 0.036 s 0.00/0.09 c Var: 4464 Constr: 192 0/0/192 Lit: 21744 Watch. Lit: 13152 0.00/0.09 c Obj. Vars: 4464 (100 % of total variables) 0.04/0.13 c Pre-processing Time: 0.085 s 0.14/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.14/0.23 c 0 2132 192 21744 113 13182 43488 0 0 0.09 0.14/0.23 c 100 2132 292 43077 147 14300 47837 100 787 0.13 0.14/0.23 o 8986103 0.18 10.74/10.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.74/10.80 c 196 2132 389 87447 224 16703 47752 197 1082 0.18 10.74/10.80 c 298 2132 491 127796 260 16937 52528 299 1312 0.23 10.74/10.80 c 548 2132 741 161764 218 17008 57781 549 1707 0.32 10.74/10.80 c 1023 2132 1216 235409 193 18180 63560 1024 1971 0.52 10.74/10.80 c 1836 2132 2029 468579 230 19905 69917 1837 2022 0.91 10.74/10.80 c 3157 2132 3350 1083703 323 22694 76909 3158 1192 2.65 10.74/10.80 c 5238 2132 5431 1907357 351 26405 84600 5239 1251 4.18 10.74/10.80 c 8461 2132 8654 3685654 425 33339 93061 8462 1005 8.42 10.74/10.80 c 13397 2132 13590 4728033 347 42734 102368 13398 1258 10.65 10.74/10.80 o 8765998 10.746 10.74/10.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.74/10.90 c 13647 2132 13841 4770833 344 45426 47752 13649 1269 10.75 10.74/10.90 c 13748 2132 13942 4782118 343 45305 52528 13750 1273 10.80 10.74/10.90 o 8745062 10.845 15.03/15.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.03/15.19 c 13785 2132 13980 4792350 342 47678 47752 13788 1270 10.85 15.03/15.19 c 13885 2132 14080 4806419 341 47067 52528 13888 1275 10.89 15.03/15.19 c 14138 2132 14333 4842904 337 47663 57781 14141 1291 10.95 15.03/15.19 c 14615 2132 14810 4911703 331 48616 63560 14618 1322 11.05 15.03/15.19 c 15428 2132 15623 5089903 325 50174 69917 15431 1331 11.59 15.03/15.19 c 16748 2132 16943 5969197 352 53487 76909 16751 1120 14.95 15.03/15.19 o 7633308 15.135 29.53/29.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.53/29.64 c 16894 2132 17090 6002574 351 54282 47752 16898 1116 15.14 29.53/29.64 c 16994 2132 17190 6025232 350 54273 52528 16998 1118 15.20 29.53/29.64 c 17244 2132 17440 6089124 349 54301 57781 17248 1119 15.41 29.53/29.64 c 17719 2132 17915 6348113 354 55493 63560 17723 1107 16.00 29.53/29.64 c 18532 2132 18728 6557220 350 56395 69917 18536 1133 16.35 29.53/29.64 c 19852 2132 20048 7209530 359 59538 76909 19856 1063 18.67 29.53/29.64 c 21935 2132 22131 7809134 352 62578 84600 21939 1098 19.96 29.53/29.64 c 25158 2132 25354 9802825 386 69450 93061 25162 887 28.35 29.53/29.64 o 5500543 29.577 1799.98/1800.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.98/1800.73 c 26588 2132 26785 10065371 375 73052 47752 26593 898 29.58 1799.98/1800.73 c 26688 2132 26885 10130692 376 72979 52528 26693 895 29.80 1799.98/1800.73 c 26939 2132 27136 10202918 375 72835 57781 26944 897 30.01 1799.98/1800.73 c 27414 2132 27611 10282307 372 74001 63560 27419 906 30.23 1799.98/1800.73 c 28227 2132 28424 10840507 381 75833 69917 28232 888 31.77 1799.98/1800.73 c 29548 2132 29745 11113011 373 78092 76909 29553 906 32.59 1799.98/1800.73 c 31629 2132 31826 12122082 380 82043 84600 31634 832 37.99 1799.98/1800.73 c 34853 2132 35050 13078866 373 87852 93061 34858 850 40.96 1799.98/1800.73 c 39789 2132 39986 16185105 404 98238 102368 39794 759 52.39 1799.98/1800.73 c 47302 2132 47499 19706630 414 113074 112605 47307 707 66.82 1799.98/1800.73 c 58667 2132 58864 28683972 487 135437 123866 58672 495 118.30 1799.98/1800.73 c 75811 2132 76008 33522821 441 169580 136253 75816 481 157.39 1799.98/1800.73 c 101630 2132 101827 46975583 461 221356 149879 101635 320 316.73 1799.98/1800.73 c 140470 2132 140667 65242857 463 298902 164867 140475 296 473.65 1799.98/1800.73 c 198822 2132 43375 24202169 557 102714 181354 43183 223 889.05 1799.98/1800.73 c 286454 2132 131007 70724131 539 278170 199490 130815 217 1318.04 1799.98/1800.73 c Resources Exceeded 1799.98/1800.73 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 -x29 -x30 1799.98/1800.73 v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 1799.98/1800.73 v -x57 -x58 -x59 -x60 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 1799.98/1800.73 v -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x2011 -x2012 1799.98/1800.73 v -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 1799.98/1800.73 v -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 1799.98/1800.73 v -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 x2353 x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 1799.98/1800.73 v -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 1799.98/1800.73 v -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 1799.98/1800.73 v -x2699 -x2700 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 1799.98/1800.73 v -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3331 -x3332 1799.98/1800.73 v -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 1799.98/1800.73 v -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 1799.98/1800.73 v -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 1799.98/1800.73 v -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 1799.98/1800.73 v -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 1799.98/1800.73 v -x4018 -x4019 -x4020 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 1799.98/1800.73 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x391 x392 -x393 -x394 -x395 x396 x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 1799.98/1800.73 v -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x721 -x722 -x723 -x724 -x725 1799.98/1800.73 v -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 1799.98/1800.73 v -x747 -x748 -x749 -x750 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 1799.98/1800.73 v -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1381 1799.98/1800.73 v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 1799.98/1800.73 v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1531 -x1532 -x1533 -x1534 -x1535 1799.98/1800.73 v -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 1799.98/1800.73 v -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 1799.98/1800.73 v -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 1799.98/1800.73 v -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 1799.98/1800.73 v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 1799.98/1800.73 v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 1799.98/1800.73 v -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 1799.98/1800.73 v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 1799.98/1800.73 v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 1799.98/1800.73 v -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 1799.98/1800.73 v -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 x1751 -x1752 1799.98/1800.73 v x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 1799.98/1800.73 v -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 1799.98/1800.73 v -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 1799.98/1800.73 v -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 1799.98/1800.73 v -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 1799.98/1800.73 v -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 1799.98/1800.73 v -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 1799.98/1800.73 v -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 1799.98/1800.73 v -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 1799.98/1800.73 v -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 1799.98/1800.73 v -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 1799.98/1800.73 v -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 1799.98/1800.73 v -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 1799.98/1800.73 v -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 1799.98/1800.73 v x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 1799.98/1800.73 v -x2008 -x2009 -x2010 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 1799.98/1800.73 v -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 1799.98/1800.73 v -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 1799.98/1800.73 v -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 1799.98/1800.73 v -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 x2112 -x2113 -x2114 x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 1799.98/1800.73 v -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 1799.98/1800.73 v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 1799.98/1800.73 v -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 1799.98/1800.73 v -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 1799.98/1800.73 v -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 1799.98/1800.73 v -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 1799.98/1800.73 v -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 1799.98/1800.73 v -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 1799.98/1800.73 v -x2260 -x2261 -x2262 x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 1799.98/1800.73 v -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 1799.98/1800.73 v -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 1799.98/1800.73 v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 x2323 -x2324 -x2325 -x2326 -x2327 1799.98/1800.73 v -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2371 -x2372 -x2373 -x2374 1799.98/1800.73 v -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 1799.98/1800.73 v -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 1799.98/1800.73 v -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 1799.98/1800.73 v -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 1799.98/1800.73 v -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 1799.98/1800.73 v -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 1799.98/1800.73 v -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 1799.98/1800.73 v -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 1799.98/1800.73 v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 1799.98/1800.73 v -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 1799.98/1800.73 v -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 1799.98/1800.73 v x2562 -x2563 -x2564 x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 1799.98/1800.73 v -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 1799.98/1800.73 v -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 1799.98/1800.73 v -x2614 -x2615 x2616 x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 1799.98/1800.73 v -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 1799.98/1800.73 v -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 1799.98/1800.73 v -x2666 -x2667 -x2668 -x2669 -x2670 x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 1799.98/1800.73 v -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 1799.98/1800.73 v -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 1799.98/1800.73 v -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 1799.98/1800.73 v -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 1799.98/1800.73 v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 x2796 -x2797 1799.98/1800.73 v x2798 x2799 -x2800 x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 1799.98/1800.73 v -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 x2822 -x2823 -x2824 x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 1799.98/1800.73 v -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 1799.98/1800.73 v -x2851 -x2852 -x2853 x2854 x2855 x2856 x2857 x2858 x2859 x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 1799.98/1800.73 v -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 1799.98/1800.73 v -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 1799.98/1800.73 v -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 x2914 x2915 x2916 x2917 x2918 x2919 x2920 1799.98/1800.73 v -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 1799.98/1800.73 v -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 1799.98/1800.73 v -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 x2971 1799.98/1800.73 v -x2972 x2973 x2974 x2975 x2976 x2977 x2978 x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 1799.98/1800.73 v -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 1799.98/1800.73 v -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 1799.98/1800.73 v -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 1799.98/1800.73 v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 1799.98/1800.73 v -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 1799.98/1800.73 v -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 1799.98/1800.73 v -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 1799.98/1800.73 v -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 1799.98/1800.73 v -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 1799.98/1800.73 v -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 1799.98/1800.73 v -x3190 -x3191 -x3192 -x3193 -x3194 x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 1799.98/1800.73 v -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 1799.98/1800.73 v -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 1799.98/1800.73 v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 1799.98/1800.73 v -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 1799.98/1800.73 v -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 1799.98/1800.73 v -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 1799.98/1800.73 v -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 1799.98/1800.73 v -x3326 -x3327 -x3328 -x3329 -x3330 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 1799.98/1800.73 v -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 1799.98/1800.73 v -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 x3401 -x3402 x3403 -x3404 -x3405 -x3406 -x3407 1799.98/1800.73 v -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 1799.98/1800.73 v -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 1799.98/1800.73 v -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 1799.98/1800.73 v -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 1799.98/1800.73 v -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 1799.98/1800.73 v -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 1799.98/1800.73 v -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 1799.98/1800.73 v -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 1799.98/1800.73 v -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 1799.98/1800.73 v -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 1799.98/1800.73 v -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 1799.98/1800.73 v -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 1799.98/1800.73 v -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 1799.98/1800.73 v -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 1799.98/1800.73 v -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3691 -x3692 1799.98/1800.73 v -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 x3703 x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 1799.98/1800.73 v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 1799.98/1800.73 v -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 1799.98/1800.73 v -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 1799.98/1800.73 v -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 1799.98/1800.73 v -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 1799.98/1800.73 v -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 1799.98/1800.73 v -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 1799.98/1800.73 v -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 1799.98/1800.73 v -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 1799.98/1800.73 v -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 1799.98/1800.73 v -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 1799.98/1800.73 v -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 1799.98/1800.73 v -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 1799.98/1800.73 v -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 x3945 -x3946 -x3947 -x3948 1799.98/1800.73 v -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 1799.98/1800.73 v -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 1799.98/1800.73 v -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 1799.98/1800.73 v -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 1799.98/1800.73 v -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 1799.98/1800.73 v -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 1799.98/1800.73 v -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 1799.98/1800.73 v -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 1799.98/1800.73 v -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 1799.98/1800.73 v -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 1799.98/1800.73 v -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 1799.98/1800.73 v -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 1799.98/1800.73 v -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 1799.98/1800.73 v -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 1799.98/1800.73 v -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 1799.98/1800.73 v -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 1799.98/1800.73 v -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 1799.98/1800.73 v -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 1799.98/1800.73 v -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 1799.98/1800.73 v -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 1799.98/1800.73 v -x4319 -x4320 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 1799.98/1800.73 v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 x127 -x128 -x129 x130 x131 1799.98/1800.73 v -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 x152 1799.98/1800.73 v x153 x154 -x155 x156 x157 x158 x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 1799.98/1800.73 v -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 1799.98/1800.73 v -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 1799.98/1800.73 v -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 1799.98/1800.73 v -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 1799.98/1800.73 v -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 1799.98/1800.73 v -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 1799.98/1800.73 v -x301 -x302 -x303 -x304 -x305 x306 -x307 x308 x309 -x310 x311 x312 x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 1799.98/1800.73 v -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 1799.98/1800.73 v -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 1799.98/1800.73 v -x365 -x366 x367 -x368 -x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 1799.98/1800.73 v -x386 -x387 -x388 -x389 -x390 -x421 x422 -x423 x424 x425 x426 -x427 x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 1799.98/1800.73 v -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 1799.98/1800.73 v -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 1799.98/1800.73 v -x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 x490 x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 1799.98/1800.73 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 1799.98/1800.73 v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 x542 x543 x544 1799.98/1800.73 v x545 x546 x547 x548 x549 x550 x551 -x552 -x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1799.98/1800.73 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1799.98/1800.73 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1799.98/1800.73 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1799.98/1800.73 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1799.98/1800.73 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1799.98/1800.73 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1799.98/1800.73 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1799.98/1800.73 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 x751 x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 1799.98/1800.73 v -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 x784 x785 1799.98/1800.73 v x786 -x787 x788 x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 1799.98/1800.73 v -x807 -x808 -x809 -x810 x811 -x812 x813 -x814 -x815 -x816 x817 -x818 -x819 x820 -x821 -x822 -x823 -x824 x825 -x826 -x827 -x828 1799.98/1800.73 v -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 1799.98/1800.73 v -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 1799.98/1800.73 v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 1799.98/1800.73 v -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 1799.98/1800.73 v -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 1799.98/1800.73 v -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 1799.98/1800.73 v -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 1799.98/1800.73 v -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 1799.98/1800.73 v -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 1799.98/1800.73 v -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 1799.98/1800.73 v -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 1799.98/1800.73 v -x1049 -x1050 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 -x1092 -x1093 -x1094 -x1095 1799.98/1800.73 v -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 1799.98/1800.73 v -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 1799.98/1800.73 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 1799.98/1800.73 v -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 1799.98/1800.73 v -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 1799.98/1800.73 v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 1799.98/1800.73 v -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 1799.98/1800.73 v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 1799.98/1800.73 v -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 1799.98/1800.73 v -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 1799.98/1800.73 v -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 1799.98/1800.73 v -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 1799.98/1800.73 v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 1799.98/1800.73 v -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 1799.98/1800.73 v -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 1799.98/1800.73 v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 1799.98/1800.73 v -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1411 -x1412 -x1413 -x1414 1799.98/1800.73 v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 x1422 x1423 x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 1799.98/1800.73 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 1799.98/1800.73 v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 1799.98/1800.73 v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 1799.98/1800.73 v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 1799.98/1800.73 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 1799.98/1800.73 v -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 x4321 -x4322 -x4377 -x4388 1799.98/1800.73 v x4399 -x4410 -x4421 -x4432 -x4443 -x4454 -x4323 x4334 -x4345 -x4356 -x4367 -x4372 -x4373 -x4374 -x4375 -x4376 -x4378 x4379 1799.98/1800.73 v -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 x4387 -x4389 -x4390 x4391 -x4392 -x4393 -x4394 -x4395 x4396 -x4397 x4398 1799.98/1800.73 v -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 x4406 -x4407 x4408 -x4409 x4411 -x4412 -x4413 x4414 x4415 x4416 -x4417 x4418 1799.98/1800.73 v -x4419 x4420 -x4422 -x4423 -x4424 -x4425 -x4426 x4427 -x4428 -x4429 -x4430 -x4431 -x4433 x4434 -x4435 -x4436 -x4437 -x4438 1799.98/1800.73 v -x4439 -x4440 -x4441 -x4442 x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 x4452 -x4453 -x4455 -x4456 -x4457 -x4458 1799.98/1800.73 v -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 x4324 x4325 x4326 x4327 -x4328 x4329 -x4330 x4331 -x4332 x4333 x4335 x4336 x4337 1799.98/1800.73 v -x4338 x4339 -x4340 -x4341 -x4342 -x4343 -x4344 x4346 x4347 x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 x4357 1799.98/1800.73 v -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 x4368 -x4369 -x4370 -x4371 1799.98/1800.74 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.98/1800.74 c 42 349774 44463 547295 194327 110190224 194135 194 1800.02 1799.98/1800.74 c Objective: 5500543 1799.98/1800.74 s SATISFIABLE 1799.98/1800.74 c Total time: 1800.02 s
OK 5500543
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node24/watcher-353930-1176688705 -o ROOT/results/node24/solver-353930-1176688705 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353930-1176688705/instance-353930-1176688705.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.99 3/77 28277 /proc/meminfo: memFree=1880256/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=2332 CPUtime=0 /proc/28277/stat : 28277 (bsolo3.0.16) D 28275 28277 27169 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 116788564 2387968 26 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 2610183 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/28277/statm: 583 26 20 324 0 3 0 [startup+0.0429071 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28277 /proc/meminfo: memFree=1880256/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=2332 CPUtime=0 /proc/28277/stat : 28277 (bsolo3.0.16) D 28275 28277 27169 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 116788564 2387968 26 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 2610183 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/28277/statm: 583 26 20 324 0 3 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2332 [startup+0.102919 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28277 /proc/meminfo: memFree=1880256/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=5232 CPUtime=0.04 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 762 0 3 0 4 0 0 0 18 0 1 0 116788564 5357568 677 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 3047169 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28277/statm: 1308 677 305 324 0 377 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 5232 [startup+0.302946 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28277 /proc/meminfo: memFree=1880256/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=6860 CPUtime=0.25 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 1184 0 3 0 24 1 0 0 19 0 1 0 116788564 7024640 1075 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28277/statm: 1715 1075 313 324 0 784 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 6860 [startup+0.701984 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28277 /proc/meminfo: memFree=1880256/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=8928 CPUtime=0.64 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 1725 0 3 0 63 1 0 0 23 0 1 0 116788564 9142272 1616 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551551 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28277/statm: 2232 1616 313 324 0 1301 0 Current children cumulated CPU time (s) 0.64 Current children cumulated vsize (KiB) 8928 [startup+1.50106 s] /proc/loadavg: 0.92 0.98 0.99 2/78 28278 /proc/meminfo: memFree=1871864/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=14168 CPUtime=1.44 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 3023 0 3 0 142 2 0 0 25 0 1 0 116788564 14508032 2914 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 3542 2914 313 324 0 2611 0 Current children cumulated CPU time (s) 1.44 Current children cumulated vsize (KiB) 14168 [startup+3.10124 s] /proc/loadavg: 0.92 0.98 0.99 2/78 28278 /proc/meminfo: memFree=1866296/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=21948 CPUtime=3.03 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 4968 0 3 0 300 3 0 0 25 0 1 0 116788564 22474752 4859 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 5487 4859 313 324 0 4556 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 21948 [startup+6.30158 s] /proc/loadavg: 0.93 0.98 0.99 2/78 28278 /proc/meminfo: memFree=1846392/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=41908 CPUtime=6.24 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 9946 0 3 0 617 7 0 0 25 0 1 0 116788564 42913792 9837 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 10477 9837 313 324 0 9546 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 41908 [startup+12.7013 s] /proc/loadavg: 0.93 0.98 0.99 2/78 28278 /proc/meminfo: memFree=1809912/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=76332 CPUtime=12.64 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 18559 0 3 0 1251 13 0 0 25 0 1 0 116788564 78163968 18450 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 19083 18450 313 324 0 18152 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 76332 [startup+25.5027 s] /proc/loadavg: 0.95 0.98 0.99 3/78 28278 /proc/meminfo: memFree=1758712/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=125160 CPUtime=25.43 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 30775 0 3 0 2523 20 0 0 25 0 1 0 116788564 128163840 30666 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 31290 30666 313 324 0 30359 0 Current children cumulated CPU time (s) 25.43 Current children cumulated vsize (KiB) 125160 [startup+51.1024 s] /proc/loadavg: 0.96 0.98 0.99 2/78 28278 /proc/meminfo: memFree=1672952/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=211724 CPUtime=51.01 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 52407 0 3 0 5069 32 0 0 25 0 1 0 116788564 216805376 52298 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 52931 52298 313 324 0 52000 0 Current children cumulated CPU time (s) 51.01 Current children cumulated vsize (KiB) 211724 [startup+102.307 s] /proc/loadavg: 0.98 0.98 0.99 2/78 28278 /proc/meminfo: memFree=1540920/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=341896 CPUtime=102.2 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 84969 0 3 0 10168 52 0 0 25 0 1 0 116788564 350101504 84860 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 85474 84860 313 324 0 84543 0 Current children cumulated CPU time (s) 102.2 Current children cumulated vsize (KiB) 341896 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/84 28350 /proc/meminfo: memFree=1431496/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=450152 CPUtime=162.17 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 112008 0 3 0 16141 76 0 0 25 0 1 0 116788564 460955648 111899 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 112538 111899 313 324 0 111607 0 Current children cumulated CPU time (s) 162.17 Current children cumulated vsize (KiB) 450152 [startup+222.303 s] /proc/loadavg: 1.07 1.00 1.00 3/84 28845 /proc/meminfo: memFree=1338352/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=525384 CPUtime=222 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 130844 0 3 0 22105 95 0 0 25 0 1 0 116788564 537993216 130735 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28277/statm: 131346 130735 313 324 0 130415 0 Current children cumulated CPU time (s) 222 Current children cumulated vsize (KiB) 525384 [startup+282.302 s] /proc/loadavg: 1.03 1.00 1.00 2/78 28886 /proc/meminfo: memFree=1269168/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=581648 CPUtime=281.97 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 144911 0 3 0 28089 108 0 0 25 0 1 0 116788564 595607552 144802 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 145412 144802 313 324 0 144481 0 Current children cumulated CPU time (s) 281.97 Current children cumulated vsize (KiB) 581648 [startup+342.303 s] /proc/loadavg: 1.01 1.00 1.00 2/78 28886 /proc/meminfo: memFree=1197744/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=652296 CPUtime=341.96 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 162542 0 3 0 34071 125 0 0 25 0 1 0 116788564 667951104 162433 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 163074 162433 313 324 0 162143 0 Current children cumulated CPU time (s) 341.96 Current children cumulated vsize (KiB) 652296 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28886 /proc/meminfo: memFree=1102064/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=749428 CPUtime=401.94 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 186840 0 3 0 40050 144 0 0 25 0 1 0 116788564 767414272 186731 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 3047106 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 187357 186731 313 324 0 186426 0 Current children cumulated CPU time (s) 401.94 Current children cumulated vsize (KiB) 749428 [startup+462.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28886 /proc/meminfo: memFree=1012208/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=837568 CPUtime=461.93 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 208886 0 3 0 46031 162 0 0 25 0 1 0 116788564 857669632 208777 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 209392 208777 313 324 0 208461 0 Current children cumulated CPU time (s) 461.93 Current children cumulated vsize (KiB) 837568 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28886 /proc/meminfo: memFree=903352/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=947392 CPUtime=521.91 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 236345 0 3 0 52010 181 0 0 25 0 1 0 116788564 970129408 236236 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 3038964 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 236848 236236 313 324 0 235917 0 Current children cumulated CPU time (s) 521.91 Current children cumulated vsize (KiB) 947392 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28886 /proc/meminfo: memFree=809208/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=1040228 CPUtime=581.89 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 259535 0 3 0 57992 197 0 0 25 0 1 0 116788564 1065193472 259426 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 260057 259426 313 324 0 259126 0 Current children cumulated CPU time (s) 581.89 Current children cumulated vsize (KiB) 1040228 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28886 /proc/meminfo: memFree=788024/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=1060624 CPUtime=641.87 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 264805 0 3 0 63986 201 0 0 25 0 1 0 116788564 1086078976 264531 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 265156 264531 313 324 0 264225 0 Current children cumulated CPU time (s) 641.87 Current children cumulated vsize (KiB) 1060624 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28886 /proc/meminfo: memFree=787896/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=1060624 CPUtime=881.81 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 264805 0 3 0 87973 208 0 0 25 0 1 0 116788564 1086078976 264531 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 265156 264531 313 324 0 264225 0 Current children cumulated CPU time (s) 881.81 Current children cumulated vsize (KiB) 1060624 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28886 /proc/meminfo: memFree=787896/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=1060624 CPUtime=941.79 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 264805 0 3 0 93966 213 0 0 25 0 1 0 116788564 1086078976 264531 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 265156 264531 313 324 0 264225 0 Current children cumulated CPU time (s) 941.79 Current children cumulated vsize (KiB) 1060624 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28886 /proc/meminfo: memFree=787768/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=1060624 CPUtime=1001.78 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 264805 0 3 0 99961 217 0 0 25 0 1 0 116788564 1086078976 264531 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 265156 264531 313 324 0 264225 0 Current children cumulated CPU time (s) 1001.78 Current children cumulated vsize (KiB) 1060624 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28886 /proc/meminfo: memFree=787704/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=1060624 CPUtime=1061.77 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 264805 0 3 0 105957 220 0 0 25 0 1 0 116788564 1086078976 264531 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 265156 264531 313 324 0 264225 0 Current children cumulated CPU time (s) 1061.77 Current children cumulated vsize (KiB) 1060624 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28886 /proc/meminfo: memFree=787640/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=1060624 CPUtime=1121.75 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 264805 0 3 0 111953 222 0 0 25 0 1 0 116788564 1086078976 264531 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551279 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 265156 264531 313 324 0 264225 0 Current children cumulated CPU time (s) 1121.75 Current children cumulated vsize (KiB) 1060624 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28886 /proc/meminfo: memFree=787576/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=1060624 CPUtime=1181.74 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 264805 0 3 0 117948 226 0 0 25 0 1 0 116788564 1086078976 264531 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 265156 264531 313 324 0 264225 0 Current children cumulated CPU time (s) 1181.74 Current children cumulated vsize (KiB) 1060624 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28886 /proc/meminfo: memFree=787448/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=1060624 CPUtime=1241.72 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 264805 0 3 0 123945 227 0 0 25 0 1 0 116788564 1086078976 264531 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551271 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 265156 264531 313 324 0 264225 0 Current children cumulated CPU time (s) 1241.72 Current children cumulated vsize (KiB) 1060624 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28886 /proc/meminfo: memFree=787320/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=1060624 CPUtime=1301.71 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 264805 0 3 0 129942 229 0 0 25 0 1 0 116788564 1086078976 264531 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 265156 264531 313 324 0 264225 0 Current children cumulated CPU time (s) 1301.71 Current children cumulated vsize (KiB) 1060624 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28886 /proc/meminfo: memFree=787256/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=1060624 CPUtime=1361.69 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 264805 0 3 0 135937 232 0 0 25 0 1 0 116788564 1086078976 264531 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 3038868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 265156 264531 313 324 0 264225 0 Current children cumulated CPU time (s) 1361.69 Current children cumulated vsize (KiB) 1060624 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28886 /proc/meminfo: memFree=730808/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=1117220 CPUtime=1421.68 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 278954 0 3 0 141925 243 0 0 25 0 1 0 116788564 1144033280 278680 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 279305 278680 313 324 0 278374 0 Current children cumulated CPU time (s) 1421.68 Current children cumulated vsize (KiB) 1117220 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28886 /proc/meminfo: memFree=653496/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=1194920 CPUtime=1481.65 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 298381 0 3 0 147910 255 0 0 25 0 1 0 116788564 1223598080 298107 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 298730 298107 313 324 0 297799 0 Current children cumulated CPU time (s) 1481.65 Current children cumulated vsize (KiB) 1194920 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28886 /proc/meminfo: memFree=589624/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=1257768 CPUtime=1541.64 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 314088 0 3 0 153898 266 0 0 25 0 1 0 116788564 1287954432 313814 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 314442 313814 313 324 0 313511 0 Current children cumulated CPU time (s) 1541.64 Current children cumulated vsize (KiB) 1257768 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28886 /proc/meminfo: memFree=551160/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=1296528 CPUtime=1601.62 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 323786 0 3 0 159888 274 0 0 25 0 1 0 116788564 1327644672 323512 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 324132 323512 313 324 0 323201 0 Current children cumulated CPU time (s) 1601.62 Current children cumulated vsize (KiB) 1296528 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28886 /proc/meminfo: memFree=512504/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=1334616 CPUtime=1661.61 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 333295 0 3 0 165879 282 0 0 25 0 1 0 116788564 1366646784 333021 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 333654 333021 313 324 0 332723 0 Current children cumulated CPU time (s) 1661.61 Current children cumulated vsize (KiB) 1334616 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28886 /proc/meminfo: memFree=473528/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=1373876 CPUtime=1721.59 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 343119 0 3 0 171870 289 0 0 25 0 1 0 116788564 1406849024 342845 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 343469 342845 313 324 0 342538 0 Current children cumulated CPU time (s) 1721.59 Current children cumulated vsize (KiB) 1373876 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28886 /proc/meminfo: memFree=430712/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=1416028 CPUtime=1781.58 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194304 353663 0 3 0 177861 297 0 0 25 0 1 0 116788564 1450012672 353389 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 3039319 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 354007 353389 313 324 0 353076 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 1416028 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28886 /proc/meminfo: memFree=806840/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=0 CPUtime=1800.07 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194308 356329 0 3 0 179702 305 0 0 17 0 1 0 116788564 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28886 /proc/meminfo: memFree=806840/2055920 swapFree=4159472/4192956 [pid=28277] ppid=28275 vsize=0 CPUtime=1800.17 /proc/28277/stat : 28277 (bsolo3.0.16) R 28275 28277 27169 0 -1 4194308 356329 0 3 0 179702 315 0 0 18 0 1 0 116788564 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28277/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.96 CPU time (s): 1800.24 CPU user time (s): 1797.03 CPU system time (s): 3.21351 CPU usage (%): 99.9599 Max. virtual memory (cumulated for all children) (KiB): 1426664 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.03 system time used= 3.21351 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 356329 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 18 involuntary context switches= 3776 runsolver used 2.10968 second user time and 4.42933 second system time The end
Begin job on node24 on Mon Apr 16 01:58:25 UTC 2007 IDJOB= 353930 IDBENCH= 2294 IDSOLVER= 163 FILE ID= node24/353930-1176688705 PBS_JOBID= 4559980 Free space on /tmp= 66519 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x12.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353930-1176688705/instance-353930-1176688705.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-353930-1176688705 -o ROOT/results/node24/solver-353930-1176688705 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353930-1176688705/instance-353930-1176688705.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 56c71282ea86eaaf05df174b87b01c4e RANDOM SEED= 993348422 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node24.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.238 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.238 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: 1880792 kB Buffers: 3568 kB Cached: 51824 kB SwapCached: 2272 kB Active: 82144 kB Inactive: 34704 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1880792 kB SwapTotal: 4192956 kB SwapFree: 4159472 kB Dirty: 4692 kB Writeback: 0 kB Mapped: 76624 kB Slab: 43724 kB Committed_AS: 1817544 kB PageTables: 1880 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= 66519 MiB End job on node24 on Mon Apr 16 02:28:28 UTC 2007