Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | 23 | 1800.06 | 1800.52 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_3.opb |
MD5SUM | 82a3d84200b069df277c7f14e0e883d0 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 23 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 23 |
Optimality of the best value was proved | NO |
Number of variables | 6076 |
Total number of constraints | 21401 |
Number of constraints which are clauses | 21392 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 8 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 666 |
Number of terms in the objective function | 666 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 666 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 31 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 697 |
Number of bits of the biggest sum of numbers | 10 |
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 Parsing PB file... 0.58/0.65 c Converting 21396 PB-constraints to clauses... 0.58/0.65 c -- Unit propagations: (none) 0.58/0.65 c -- Detecting intervals from adjacent constraints: ==== 0.58/0.65 c -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 0.69/0.71 c ---[ 0]---> Adder-cost: 1312 maxlim: 634 bits: 10/10 0.99/1.01 c ==================================[MINISAT+]================================== 0.99/1.01 c | Conflicts | Original | Learnt | Progress | 0.99/1.01 c | | Clauses Literals | Max Clauses Literals LPC | | 0.99/1.01 c ============================================================================== 0.99/1.01 c | 0 | 30521 86320 | 10173 0 0 nan | 0.000 % | 0.99/1.04 c | 100 | 30521 86320 | 11190 100 1692 16.9 | 0.203 % | 0.99/1.08 c | 251 | 30521 86320 | 12309 251 2506 10.0 | 0.203 % | 1.09/1.18 c | 476 | 30514 86296 | 13540 474 4795 10.1 | 0.216 % | 1.29/1.38 c | 813 | 30483 86191 | 14894 805 8738 10.9 | 0.284 % | 1.59/1.61 c | 1319 | 30483 86191 | 16383 1311 19469 14.9 | 0.284 % | 1.79/1.81 c | 2078 | 30474 86162 | 18022 2069 71721 34.7 | 0.311 % | 2.09/2.12 c | 3218 | 30474 86162 | 19824 3209 276557 86.2 | 0.311 % | 2.49/2.55 c | 4929 | 30465 86131 | 21806 4916 484649 98.6 | 0.325 % | 3.18/3.24 c | 7491 | 30439 86041 | 23987 7469 905471 121.2 | 0.379 % | 4.39/4.48 c | 11336 | 30439 86041 | 26386 11314 1538856 136.0 | 0.379 % | 7.28/7.37 c | 17103 | 30430 86010 | 29024 17077 2654907 155.5 | 0.392 % | 13.68/13.73 c | 25752 | 30430 86010 | 31927 25726 4346380 168.9 | 0.392 % | 24.88/24.90 c ============================================================================== 24.88/24.90 c [1mFound solution: 31[0m 24.88/24.90 o 31 24.88/24.91 c ---[ 0]---> Sorter-cost:30038 Base: 25.18/25.28 c ==================================[MINISAT+]================================== 25.18/25.28 c | Conflicts | Original | Learnt | Progress | 25.18/25.28 c | | Clauses Literals | Max Clauses Literals LPC | | 25.18/25.28 c ============================================================================== 25.18/25.28 c | 38366 | 63879 164059 | 21293 19470 2935368 150.8 | 0.392 % | 25.28/25.36 c | 38468 | 63879 164059 | 23422 19572 2950142 150.7 | 0.102 % | 25.38/25.42 c | 38619 | 63879 164059 | 25764 19723 2968647 150.5 | 0.102 % | 25.48/25.56 c | 38845 | 63879 164059 | 28340 19949 2984459 149.6 | 0.102 % | 25.68/25.80 c | 39183 | 63872 164044 | 31175 20009 2990673 149.5 | 0.116 % | 25.98/26.05 c | 39689 | 63872 164044 | 34292 20515 3038883 148.1 | 0.116 % | 26.28/26.39 c | 40448 | 63872 164044 | 37721 21274 3130871 147.2 | 0.116 % | 26.88/26.91 c | 41590 | 63872 164044 | 41494 22416 3249572 145.0 | 0.116 % | 27.38/27.41 c | 43298 | 63872 164044 | 45643 24124 3449502 143.0 | 0.116 % | 28.58/28.64 c ============================================================================== 28.58/28.64 c [1mFound solution: 27[0m 28.58/28.64 o 27 28.58/28.64 c ---[ 0]---> Sorter-cost: 0 Base: 28.88/28.96 c ==================================[MINISAT+]================================== 28.88/28.96 c | Conflicts | Original | Learnt | Progress | 28.88/28.96 c | | Clauses Literals | Max Clauses Literals LPC | | 28.88/28.96 c ============================================================================== 28.88/28.96 c | 45229 | 63897 164107 | 21299 26055 3671944 140.9 | 0.116 % | 28.98/29.07 c | 45329 | 63897 164107 | 23428 13128 1364767 104.0 | 0.123 % | 29.08/29.12 c | 45482 | 63897 164107 | 25771 13281 1373961 103.5 | 0.123 % | 29.18/29.24 c | 45708 | 63897 164107 | 28348 13507 1386577 102.7 | 0.123 % | 29.38/29.44 c | 46045 | 63897 164107 | 31183 13844 1436417 103.8 | 0.123 % | 29.68/29.76 c | 46561 | 63897 164107 | 34302 14360 1489648 103.7 | 0.123 % | 29.98/30.04 c | 47320 | 63897 164107 | 37732 15119 1536345 101.6 | 0.123 % | 30.28/30.36 c | 48460 | 63897 164107 | 41505 16259 1581940 97.3 | 0.123 % | 31.48/31.56 c | 50170 | 63897 164107 | 45656 17969 1818495 101.2 | 0.123 % | 32.18/32.29 c ============================================================================== 32.18/32.29 c [1mFound solution: 26[0m 32.18/32.29 o 26 32.28/32.30 c ---[ 0]---> Sorter-cost: 0 Base: 32.58/32.61 c ==================================[MINISAT+]================================== 32.58/32.61 c | Conflicts | Original | Learnt | Progress | 32.58/32.61 c | | Clauses Literals | Max Clauses Literals LPC | | 32.58/32.62 c ============================================================================== 32.58/32.62 c | 51552 | 61973 159618 | 20657 18948 1919092 101.3 | 0.123 % | 32.68/32.71 c | 51652 | 61973 159618 | 22722 19048 1927586 101.2 | 4.543 % | 32.78/32.82 c | 51804 | 61973 159618 | 24994 19200 1942179 101.2 | 4.543 % | 32.98/33.00 c | 52031 | 61973 159618 | 27494 19427 1956395 100.7 | 4.543 % | 33.18/33.21 c | 52370 | 61973 159618 | 30243 19766 1974144 99.9 | 4.543 % | 33.38/33.43 c | 52876 | 61973 159618 | 33268 20272 2003530 98.8 | 4.543 % | 33.88/33.99 c | 53636 | 61973 159618 | 36595 21032 2107725 100.2 | 4.543 % | 34.98/35.01 c | 54776 | 61973 159618 | 40254 22172 2245879 101.3 | 4.543 % | 36.38/36.41 c | 56484 | 61973 159618 | 44280 23880 2386536 99.9 | 4.543 % | 38.07/38.15 c | 59047 | 61963 159598 | 48708 26433 2540757 96.1 | 4.560 % | 40.78/40.83 c | 62891 | 61963 159598 | 53578 30277 2991566 98.8 | 4.560 % | 43.57/43.67 c | 68659 | 61963 159598 | 58936 36045 3460297 96.0 | 4.560 % | 50.77/50.87 c | 77310 | 61963 159598 | 64830 44696 4185046 93.6 | 4.560 % | 60.37/60.49 c | 90284 | 61963 159598 | 71313 57670 5290201 91.7 | 4.560 % | 82.96/83.07 c | 109745 | 61963 159598 | 78444 77131 7547997 97.9 | 4.560 % | 104.16/104.21 c | 138937 | 61963 159598 | 86289 42976 3793988 88.3 | 4.560 % | 165.44/165.54 c | 182726 | 61963 159598 | 94918 86765 8257253 95.2 | 4.560 % | 185.74/185.85 c ============================================================================== 185.74/185.85 c [1mFound solution: 25[0m 185.74/185.85 o 25 185.74/185.86 c ---[ 0]---> Sorter-cost: 0 Base: 186.14/186.21 c ==================================[MINISAT+]================================== 186.14/186.21 c | Conflicts | Original | Learnt | Progress | 186.14/186.21 c | | Clauses Literals | Max Clauses Literals LPC | | 186.14/186.21 c ============================================================================== 186.14/186.21 c | 202026 | 61977 159634 | 20659 27939 1859405 66.6 | 4.560 % | 186.34/186.44 c | 202127 | 61977 159634 | 22724 14071 843751 60.0 | 4.562 % | 186.44/186.55 c | 202281 | 61977 159634 | 24997 14225 856279 60.2 | 4.562 % | 186.64/186.72 c | 202508 | 61977 159634 | 27497 14452 880826 60.9 | 4.562 % | 186.84/187.00 c | 202847 | 61977 159634 | 30246 14791 926083 62.6 | 4.562 % | 187.24/187.37 c | 203354 | 61977 159634 | 33271 15298 992862 64.9 | 4.562 % | 187.83/187.91 c | 204115 | 61977 159634 | 36598 16059 1094046 68.1 | 4.562 % | 188.84/188.98 c | 205254 | 61977 159634 | 40258 17198 1260049 73.3 | 4.562 % | 190.03/190.14 c | 206962 | 61977 159634 | 44284 18906 1447456 76.6 | 4.562 % | 191.63/191.72 c | 209524 | 61977 159634 | 48712 21468 1648059 76.8 | 4.562 % | 194.33/194.40 c | 213368 | 61977 159634 | 53584 25312 2086165 82.4 | 4.562 % | 198.93/199.08 c | 219135 | 61977 159634 | 58942 31079 2779773 89.4 | 4.562 % | 207.23/207.31 c | 227785 | 61977 159634 | 64836 39729 3613877 91.0 | 4.562 % | 218.23/218.31 c | 240760 | 61977 159634 | 71320 52704 4447067 84.4 | 4.562 % | 241.62/241.74 c | 260221 | 61977 159634 | 78452 72165 5808502 80.5 | 4.562 % | 242.62/242.79 c ============================================================================== 242.62/242.79 c [1mFound solution: 24[0m 242.62/242.79 o 24 242.72/242.80 c ---[ 0]---> Sorter-cost: 0 Base: 243.03/243.18 c ==================================[MINISAT+]================================== 243.03/243.18 c | Conflicts | Original | Learnt | Progress | 243.03/243.18 c | | Clauses Literals | Max Clauses Literals LPC | | 243.03/243.18 c ============================================================================== 243.03/243.18 c | 261077 | 61958 159586 | 20652 73013 5879551 80.5 | 4.562 % | 243.92/244.05 c | 261177 | 61958 159586 | 22717 21806 1286028 59.0 | 4.630 % | 244.12/244.22 c | 261327 | 61958 159586 | 24988 21956 1297786 59.1 | 4.630 % | 244.22/244.39 c | 261552 | 61958 159586 | 27487 22181 1318060 59.4 | 4.630 % | 244.52/244.68 c | 261893 | 61958 159586 | 30236 22522 1363127 60.5 | 4.630 % | 245.32/245.45 c | 262401 | 61958 159586 | 33260 23030 1428514 62.0 | 4.630 % | 245.92/246.02 c | 263160 | 61958 159586 | 36586 23789 1528437 64.2 | 4.630 % | 246.82/246.91 c | 264300 | 61958 159586 | 40244 24929 1637131 65.7 | 4.630 % | 248.02/248.18 c | 266009 | 61958 159586 | 44269 26638 1774742 66.6 | 4.630 % | 250.02/250.12 c | 268574 | 61958 159586 | 48696 29203 2000862 68.5 | 4.630 % | 254.12/254.21 c | 272419 | 61958 159586 | 53565 33048 2484331 75.2 | 4.630 % | 258.72/258.83 c | 278186 | 61958 159586 | 58922 38815 2897453 74.6 | 4.630 % | 268.21/268.34 c | 286837 | 61958 159586 | 64814 47466 3835362 80.8 | 4.630 % | 283.11/283.27 c | 299811 | 61958 159586 | 71296 60440 5037607 83.3 | 4.630 % | 303.52/303.66 c | 319273 | 61958 159586 | 78425 20727 1387323 66.9 | 4.630 % | 333.11/333.25 c | 348467 | 61958 159586 | 86268 49921 4392588 88.0 | 4.630 % | 386.49/386.66 c | 392258 | 61958 159586 | 94895 93712 7816072 83.4 | 4.630 % | 391.09/391.20 c ============================================================================== 391.09/391.20 c [1mFound solution: 23[0m 391.09/391.20 o 23 391.09/391.21 c ---[ 0]---> Sorter-cost: 0 Base: 391.49/391.61 c ==================================[MINISAT+]================================== 391.49/391.61 c | Conflicts | Original | Learnt | Progress | 391.49/391.61 c | | Clauses Literals | Max Clauses Literals LPC | | 391.49/391.61 c ============================================================================== 391.49/391.61 c | 395107 | 61972 159622 | 20657 96561 8070764 83.6 | 4.630 % | 392.29/392.42 c | 395207 | 61972 159622 | 22722 11663 644031 55.2 | 4.632 % | 392.39/392.50 c | 395357 | 61972 159622 | 24994 11813 652698 55.3 | 4.632 % | 392.49/392.67 c | 395582 | 61972 159622 | 27494 12038 683159 56.8 | 4.632 % | 392.79/392.90 c | 395919 | 61972 159622 | 30243 12375 707035 57.1 | 4.632 % | 393.09/393.29 c | 396425 | 61972 159622 | 33268 12881 755274 58.6 | 4.632 % | 393.79/393.94 c | 397187 | 61972 159622 | 36595 13643 810541 59.4 | 4.632 % | 394.59/394.72 c | 398326 | 61972 159622 | 40254 14782 925364 62.6 | 4.632 % | 396.39/396.56 c | 400037 | 61972 159622 | 44280 16493 1036035 62.8 | 4.632 % | 397.98/398.20 c | 402600 | 61972 159622 | 48708 19056 1358513 71.3 | 4.632 % | 401.18/401.35 c | 406444 | 61972 159622 | 53578 22900 1798535 78.5 | 4.632 % | 405.58/405.70 c | 412210 | 61972 159622 | 58936 28666 2156178 75.2 | 4.632 % | 413.18/413.38 c | 420859 | 61972 159622 | 64830 37315 3125877 83.8 | 4.632 % | 428.08/428.28 c | 433833 | 61972 159622 | 71313 50289 4477180 89.0 | 4.632 % | 454.87/455.07 c | 453295 | 61972 159622 | 78444 69751 6329469 90.7 | 4.632 % | 486.36/486.51 c | 482487 | 61972 159622 | 86289 30328 2566931 84.6 | 4.632 % | 537.65/537.85 c | 526278 | 61972 159622 | 94918 74119 8202848 110.7 | 4.632 % | 624.23/624.45 c | 591966 | 61972 159622 | 104410 63366 4808411 75.9 | 4.632 % | 764.79/765.04 c | 690493 | 61972 159622 | 114851 82229 5713714 69.5 | 4.632 % | 1019.92/1020.22 c | 838282 | 61972 159622 | 126336 43539 3489114 80.1 | 4.632 % | 1344.25/1344.68 c | 1059966 | 61972 159622 | 138969 45638 2875631 63.0 | 4.632 % | 1800.04/1800.50 c 1800.04/1800.50 c *** TERMINATED *** 1800.04/1800.50 s SATISFIABLE 1800.04/1800.50 v x1 x363 x532 x696 x859 -x1010 -x1068 -x1126 -x1184 -x1242 -x1300 -x1358 -x1416 -x11 -x1474 x14 -x1501 -x17 -x1528 -x20 -x1555 1800.04/1800.50 v -x23 -x1582 -x26 -x1609 -x29 -x1636 -x1663 -x1690 -x36 -x1717 -x39 -x1744 -x42 -x1771 -x45 -x1798 -x1825 -x50 -x1852 -x53 1800.04/1800.50 v -x1879 -x56 -x1906 -x59 -x1933 -x62 -x1960 -x65 -x1987 -x68 -x2014 -x71 -x2041 -x74 -x2068 -x77 -x2095 x80 -x2122 -x83 -x2149 1800.04/1800.50 v -x86 -x2176 -x89 -x2203 -x2230 -x2232 -x2244 -x2246 -x2258 -x2260 -x2272 -x2274 -x2286 -x2288 -x2300 -x2302 -x2314 -x2316 1800.04/1800.50 v -x2328 -x2330 x2342 x2344 -x2356 -x2358 -x2370 -x2372 -x2384 -x2386 -x2398 -x2400 -x2412 -x2414 -x2426 -x2428 -x2440 -x2442 1800.04/1800.50 v -x2454 -x2456 -x2468 -x2470 -x2482 -x2484 -x2496 -x2498 -x2510 -x2512 -x2524 -x2536 -x2538 -x2550 -x2552 -x2564 -x2566 1800.04/1800.50 v -x2578 -x2580 -x2592 -x2594 -x2606 -x2608 x2620 -x2622 -x2634 -x2636 -x2648 -x2650 -x2662 -x2664 -x2676 -x2678 -x2690 1800.04/1800.50 v -x2692 -x2704 -x2706 -x2718 -x2720 -x2732 -x2734 -x2746 -x2748 -x2760 -x2762 -x2774 -x2776 -x2788 -x2790 -x2802 -x2804 1800.04/1800.50 v -x2816 -x2818 -x2830 -x2832 -x2844 -x2846 -x2858 -x2860 -x2872 -x2874 -x2886 -x2888 -x2900 -x2902 -x2914 -x2916 -x2928 1800.04/1800.50 v -x2930 -x2942 -x2944 -x2956 -x2958 -x2970 -x2972 -x2984 -x2986 -x2998 -x3000 -x3012 -x3017 -x3022 -x3027 -x3032 -x3037 1800.04/1800.50 v -x3042 -x3047 -x3052 -x3057 -x3062 -x3067 -x3072 -x3077 -x3082 -x3087 -x3092 -x3097 -x3102 -x3107 -x3112 -x3117 -x3122 1800.04/1800.50 v -x3127 -x3132 -x3137 -x3142 -x3147 -x3152 -x3157 -x3162 -x3167 -x3172 -x3177 -x3182 -x3187 -x3192 -x3197 -x3202 -x3207 1800.04/1800.50 v -x3212 -x3217 -x3222 -x3227 -x3232 -x3237 -x3242 -x3247 -x3252 -x3257 -x3262 -x3267 -x3272 -x3277 -x3282 -x3287 -x3292 1800.04/1800.50 v -x3297 -x3302 -x3307 -x3312 -x3317 -x3322 -x3327 -x3332 -x3337 -x3342 -x3347 -x3352 -x3357 -x3362 -x3389 -x3416 -x3443 1800.04/1800.50 v -x3470 x3497 -x3524 -x3551 -x3563 -x376 -x3575 -x379 -x3587 -x382 x3599 -x3611 -x3623 -x389 -x3635 x392 -x3647 -x395 -x3659 1800.04/1800.50 v -x398 -x3671 -x401 -x3683 -x404 -x3695 -x407 -x3707 -x3719 -x412 -x3731 -x415 -x3743 x418 -x3755 -x421 -x3767 -x424 -x3779 1800.04/1800.50 v -x3791 -x3803 -x3805 -x3810 -x3812 -x3817 -x3819 -x3824 -x3826 -x3831 -x3833 -x3838 -x3840 -x3845 -x3847 -x3852 -x3854 1800.04/1800.50 v -x3859 -x3864 -x3866 -x3871 -x3873 -x3878 -x3880 -x3885 -x3887 -x3892 -x3894 -x3899 -x3901 -x3906 -x3908 -x3913 -x3915 1800.04/1800.50 v -x3920 -x3922 -x3927 -x3929 -x3934 -x3936 -x3941 -x3943 -x3948 -x3950 -x3955 -x3957 -x3962 -x3964 -x3969 -x3971 -x3976 1800.04/1800.50 v -x3978 -x3983 -x3985 x3990 -x3992 -x3997 -x3999 -x4004 -x4006 -x4011 -x4013 -x4018 -x4020 -x4025 -x4027 -x4032 -x4034 1800.04/1800.50 v -x4039 -x4041 -x4046 x4073 -x4100 -x4127 -x4154 -x4181 -x4208 -x541 -x4235 -x4247 -x546 -x4259 x549 -x4271 -x4283 -x4295 1800.04/1800.50 v -x556 -x4307 -x559 -x4319 -x562 -x4331 -x565 -x4343 -x568 -x4355 -x4367 -x573 -x4379 -x4391 -x4403 -x4415 -x582 -x4427 1800.04/1800.50 v -x4439 -x4451 -x4463 -x591 -x4475 -x4487 -x4489 -x4494 -x4496 -x4501 -x4503 -x4508 -x4510 -x4515 -x4517 -x4522 -x4524 1800.04/1800.50 v -x4529 -x4531 -x4536 -x4541 -x4543 -x4548 -x4550 -x4555 -x4557 -x4562 -x4564 x4569 -x4571 -x4576 -x4578 -x4583 -x4585 1800.04/1800.50 v -x4590 -x4592 -x4597 -x4599 -x4604 -x4606 -x4611 -x4613 -x4618 -x4620 -x4625 -x4627 -x4632 -x4634 -x4639 -x4641 -x4646 1800.04/1800.50 v -x4648 -x4653 -x4655 -x4660 -x4662 -x4667 -x4669 -x4674 -x4679 -x4681 -x4686 -x4688 -x4693 -x4695 -x4700 -x4702 -x4707 1800.04/1800.50 v -x4709 -x4714 -x4716 -x4721 -x4723 -x4728 -x4755 x4782 -x4809 -x4836 -x4863 -x4890 -x4917 -x4929 -x709 -x4941 -x4953 -x4965 1800.04/1800.50 v -x716 -x4977 -x719 -x4989 -x722 -x5001 -x5013 -x5025 -x5037 -x731 -x5049 -x734 -x5061 -x737 -x5073 -x5085 -x742 -x5097 1800.04/1800.50 v -x5109 x747 -x5121 -x5133 -x5145 -x754 -x5157 -x5169 -x5171 -x5176 -x5178 -x5183 -x5185 -x5190 -x5195 -x5197 -x5202 -x5204 1800.04/1800.50 v -x5209 -x5211 -x5216 -x5218 -x5223 -x5225 -x5230 -x5232 -x5237 -x5239 -x5244 -x5246 -x5251 -x5256 -x5258 -x5263 -x5265 1800.04/1800.50 v -x5270 -x5272 -x5277 -x5279 -x5284 -x5286 -x5291 -x5293 -x5298 -x5300 -x5305 -x5307 x5312 -x5314 -x5319 -x5321 -x5326 1800.04/1800.50 v -x5328 -x5333 -x5335 -x5340 -x5342 -x5347 -x5349 -x5354 -x5356 -x5361 -x5363 -x5368 -x5370 -x5375 -x5377 -x5382 -x5384 1800.04/1800.50 v -x5389 -x5391 -x5396 -x5398 -x5403 -x5405 -x5410 -x5437 -x5464 -x5491 -x5518 -x5545 x5572 -x5599 -x5611 -x5623 -x5635 1800.04/1800.50 v -x5647 -x5659 -x5671 -x882 -x5683 -x5695 -x887 -x5707 -x890 -x5719 -x5731 -x5743 -x5755 -x5767 -x901 -x5779 -x5791 x5803 1800.04/1800.50 v -x5815 -x5827 -x5839 -x5851 -x5856 -x5858 -x5863 -x5868 -x5870 -x5875 -x5877 -x5882 -x5884 -x5889 -x5894 -x5896 -x5901 1800.04/1800.50 v -x5903 -x5908 -x5910 -x5915 -x5917 -x5922 -x5924 -x5929 -x5931 -x5936 -x5941 -x5943 -x5948 -x5950 -x5955 -x5960 -x5962 1800.04/1800.50 v -x5967 -x5969 -x5974 -x5976 -x5981 -x5983 -x5988 -x5990 -x5995 -x5997 -x6002 -x6004 -x6009 -x6011 -x6016 -x6018 -x6023 1800.04/1800.50 v -x6025 -x6030 -x6035 -x6040 -x6042 -x6047 -x6049 -x6054 -x6056 -x6061 -x6063 -x6068 -x6070 -x6072 -x10 -x12 -x13 -x15 -x16 1800.04/1800.50 v -x18 -x19 -x21 -x22 -x24 -x25 -x27 -x28 -x30 -x31 -x32 -x33 -x34 -x35 -x37 -x38 -x40 -x41 -x43 -x44 -x46 -x47 -x48 -x49 -x51 -x52 1800.04/1800.50 v -x54 -x55 -x57 -x58 -x60 -x61 -x63 -x64 -x66 -x67 -x69 -x70 -x72 -x73 -x75 -x76 -x78 -x79 -x81 -x82 -x84 -x85 -x87 -x88 -x90 -x92 1800.04/1800.50 v -x91 -x93 -x95 -x94 -x96 -x98 -x97 -x99 -x101 -x100 -x102 -x104 -x103 -x105 -x107 -x106 -x108 -x110 -x109 -x111 -x113 -x112 1800.04/1800.50 v -x114 x116 x115 x117 -x119 -x118 -x120 -x122 -x121 -x123 -x125 -x124 -x126 -x128 -x127 -x129 -x131 -x130 -x132 -x134 -x133 1800.04/1800.50 v -x135 -x137 -x136 -x138 -x140 -x139 -x141 -x143 -x142 -x144 -x146 -x145 -x147 -x149 -x148 -x150 -x152 -x151 -x153 -x154 -x155 1800.04/1800.50 v -x157 -x156 -x158 -x160 -x159 -x161 -x163 -x162 -x164 -x166 -x165 -x167 -x169 -x168 -x170 -x172 -x171 -x173 x175 -x174 -x176 1800.04/1800.50 v -x178 -x177 -x179 -x181 -x180 -x182 -x184 -x183 -x185 -x187 -x186 -x188 -x190 -x189 -x191 -x193 -x192 -x194 -x196 -x195 -x197 1800.04/1800.50 v -x199 -x198 -x200 -x202 -x201 -x203 -x205 -x204 -x206 -x208 -x207 -x209 -x211 -x210 -x212 -x214 -x213 -x215 -x217 -x216 -x218 1800.04/1800.50 v -x220 -x219 -x221 -x223 -x222 -x224 -x226 -x225 -x227 -x229 -x228 -x230 -x232 -x231 -x233 -x235 -x234 -x236 -x238 -x237 -x239 1800.04/1800.50 v -x241 -x240 -x242 -x244 -x243 -x245 -x247 -x246 -x248 -x250 -x249 -x251 -x253 -x252 -x254 -x256 -x255 -x257 -x259 -x258 -x260 1800.04/1800.50 v -x262 -x261 -x263 -x265 -x264 -x266 -x268 -x267 -x269 -x271 -x270 -x272 -x274 -x273 -x275 -x277 -x276 -x278 -x280 -x279 -x281 1800.04/1800.50 v -x283 -x282 -x284 -x286 -x285 -x287 -x289 -x288 -x290 -x292 -x291 -x293 -x295 -x294 -x296 -x298 -x297 -x299 -x301 -x300 -x302 1800.04/1800.50 v -x304 -x303 -x305 -x307 -x306 -x308 -x310 -x309 -x311 -x313 -x312 -x314 -x316 -x315 -x317 -x319 -x318 -x320 -x322 -x321 -x323 1800.04/1800.50 v -x325 -x324 -x326 -x328 -x327 -x329 -x331 -x330 -x332 -x334 -x333 -x335 -x337 -x336 -x338 -x340 -x339 -x341 -x343 -x342 -x344 1800.04/1800.50 v -x346 -x345 -x347 -x349 -x348 -x350 -x352 -x351 -x353 -x355 -x354 -x356 -x358 -x357 -x359 -x361 -x360 -x362 -x2 -x3 -x4 -x5 1800.04/1800.50 v -x6 -x7 -x8 -x9 -x371 -x372 -x373 -x374 -x375 -x377 -x378 -x380 -x381 x383 -x384 -x385 -x386 -x387 -x388 -x390 -x391 -x393 1800.04/1800.50 v -x394 -x396 -x397 -x399 -x400 -x402 -x403 -x405 -x406 -x408 -x409 -x410 -x411 -x413 -x414 -x416 -x417 -x419 -x420 -x422 -x423 1800.04/1800.50 v -x425 -x426 -x427 -x429 -x428 -x430 -x432 -x431 -x433 -x435 -x434 -x436 -x438 -x437 -x439 -x441 -x440 -x442 -x444 -x443 -x445 1800.04/1800.50 v -x447 -x446 -x448 -x450 -x449 -x451 -x452 -x453 -x455 -x454 -x456 -x458 -x457 -x459 -x461 -x460 -x462 -x464 -x463 -x465 -x467 1800.04/1800.50 v -x466 -x468 -x470 -x469 -x471 -x473 -x472 -x474 -x476 -x475 -x477 -x479 -x478 -x480 -x482 -x481 -x483 -x485 -x484 -x486 -x488 1800.04/1800.50 v -x487 -x489 -x491 -x490 -x492 -x494 -x493 -x495 -x497 -x496 -x498 -x500 -x499 -x501 -x503 -x502 -x504 -x506 -x505 -x507 x509 1800.04/1800.50 v -x508 -x510 -x512 -x511 -x513 -x515 -x514 -x516 -x518 -x517 -x519 -x521 -x520 -x522 -x524 -x523 -x525 -x527 -x526 -x528 -x530 1800.04/1800.50 v -x529 -x531 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x540 -x542 -x543 -x544 -x545 -x547 -x548 -x550 -x551 -x552 -x553 -x554 1800.04/1800.50 v -x555 -x557 -x558 -x560 -x561 -x563 -x564 -x566 -x567 -x569 -x570 -x571 -x572 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 1800.04/1800.50 v -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x592 -x594 -x593 -x595 -x597 -x596 -x598 -x600 -x599 -x601 -x603 -x602 -x604 1800.04/1800.50 v -x606 -x605 -x607 -x609 -x608 -x610 -x612 -x611 -x613 -x614 -x615 -x617 -x616 -x618 -x620 -x619 -x621 -x623 -x622 -x624 -x626 1800.04/1800.50 v -x625 -x627 x629 -x628 -x630 -x632 -x631 -x633 -x635 -x634 -x636 -x638 -x637 -x639 -x641 -x640 -x642 -x644 -x643 -x645 -x647 1800.04/1800.50 v -x646 -x648 -x650 -x649 -x651 -x653 -x652 -x654 -x656 -x655 -x657 -x659 -x658 -x660 -x662 -x661 -x663 -x665 -x664 -x666 -x668 1800.04/1800.50 v -x667 -x669 -x671 -x670 -x672 -x673 -x674 -x676 -x675 -x677 -x679 -x678 -x680 -x682 -x681 -x683 -x685 -x684 -x686 -x688 -x687 1800.04/1800.50 v -x689 -x691 -x690 -x692 -x694 -x693 -x695 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x704 -x705 -x706 -x707 -x708 -x710 -x711 1800.04/1800.50 v -x712 -x713 -x714 -x715 -x717 -x718 -x720 -x721 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x732 -x733 -x735 -x736 -x738 1800.04/1800.50 v -x739 -x740 -x741 -x743 -x744 -x745 -x746 -x748 -x749 -x750 -x751 -x752 -x753 -x755 -x757 -x756 -x758 -x760 -x759 -x761 -x763 1800.04/1800.50 v -x762 -x764 -x765 -x766 -x768 -x767 -x769 -x771 -x770 -x772 -x774 -x773 -x775 -x777 -x776 -x778 -x780 -x779 -x781 -x783 -x782 1800.04/1800.50 v -x784 -x786 -x785 -x787 -x789 -x788 -x790 -x791 -x792 -x794 -x793 -x795 -x797 -x796 -x798 -x800 -x799 -x801 -x803 -x802 -x804 1800.04/1800.50 v -x806 -x805 -x807 -x809 -x808 -x810 -x812 -x811 -x813 -x815 -x814 -x816 x818 -x817 -x819 -x821 -x820 -x822 -x824 -x823 -x825 1800.04/1800.50 v -x827 -x826 -x828 -x830 -x829 -x831 -x833 -x832 -x834 -x836 -x835 -x837 -x839 -x838 -x840 -x842 -x841 -x843 -x845 -x844 -x846 1800.04/1800.50 v -x848 -x847 -x849 -x851 -x850 -x852 -x854 -x853 -x855 -x857 -x856 -x858 -x697 -x698 x699 -x700 -x701 -x702 -x703 -x867 -x868 1800.04/1800.50 v -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x883 -x884 -x885 -x886 -x888 -x889 -x891 -x892 1800.04/1800.50 v -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x902 -x903 -x904 -x905 x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 1800.04/1800.50 v -x916 -x915 -x917 -x918 -x919 -x921 -x920 -x922 -x924 -x923 -x925 -x927 -x926 -x928 -x929 -x930 -x932 -x931 -x933 -x935 -x934 1800.04/1800.50 v -x936 -x938 -x937 -x939 -x941 -x940 -x942 -x944 -x943 -x945 -x947 -x946 -x948 -x949 -x950 -x952 -x951 -x953 -x955 -x954 -x956 1800.04/1800.50 v -x957 -x958 -x960 -x959 -x961 -x963 -x962 -x964 -x966 -x965 -x967 -x969 -x968 -x970 -x972 -x971 -x973 -x975 -x974 -x976 -x978 1800.04/1800.50 v -x977 -x979 -x981 -x980 -x982 -x984 -x983 -x985 -x987 -x986 -x988 -x989 -x990 -x991 -x992 -x994 -x993 -x995 -x997 -x996 -x998 1800.04/1800.50 v -x1000 -x999 -x1001 -x1003 -x1002 -x1004 -x1006 -x1005 -x1008 -x1007 -x1009 -x860 -x861 -x862 -x863 -x864 -x865 x866 -x1011 1800.04/1800.50 v -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 1800.04/1800.50 v -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 1800.04/1800.50 v -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 1800.04/1800.50 v -x1063 -x1064 -x1065 -x1066 -x1067 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 1800.04/1800.50 v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 1800.04/1800.50 v -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 1800.04/1800.50 v -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 1800.04/1800.50 v -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 1800.04/1800.50 v -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 1800.04/1800.50 v -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 1800.04/1800.50 v -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 1800.04/1800.50 v -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 1800.04/1800.50 v -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 1800.04/1800.50 v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 1800.04/1800.50 v -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 1800.04/1800.50 v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 1800.04/1800.50 v -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1301 -x1302 x1303 -x1304 -x1305 -x1306 1800.04/1800.50 v -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 1800.04/1800.50 v -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 1800.04/1800.50 v -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 1800.04/1800.50 v -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 1800.04/1800.50 v -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 1800.04/1800.50 v -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 1800.04/1800.50 v -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 1800.04/1800.50 v -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 1800.04/1800.50 v -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 1800.04/1800.50 v -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1475 -x1476 -x1477 -x1478 -x1479 1800.04/1800.50 v -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 1800.04/1800.50 v -x1497 -x1498 -x1499 -x1500 x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 1800.04/1800.50 v -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1529 -x1530 -x1531 -x1532 1800.04/1800.50 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 1800.04/1800.50 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 1800.04/1800.50 v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 x1583 -x1584 -x1585 1800.04/1800.50 v -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 1800.04/1800.50 v -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 1800.04/1800.50 v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1637 -x1638 1800.04/1800.50 v -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 1800.04/1800.50 v -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 1800.04/1800.50 v -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1691 1800.04/1800.50 v -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 1800.04/1800.50 v -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 1800.04/1800.50 v -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 1800.04/1800.50 v -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 1800.04/1800.50 v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 1800.04/1800.50 v -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 1800.04/1800.50 v -x1797 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 1800.04/1800.50 v -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 1800.04/1800.50 v -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 1800.04/1800.50 v -x1850 -x1851 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 1800.04/1800.50 v -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1880 -x1881 -x1882 -x1883 -x1884 -x1885 1800.04/1800.50 v -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 1800.04/1800.50 v -x1903 -x1904 -x1905 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 1800.04/1800.50 v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1934 -x1935 -x1936 -x1937 -x1938 1800.04/1800.50 v -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 1800.04/1800.50 v -x1956 -x1957 -x1958 -x1959 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 1800.04/1800.50 v -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1988 -x1989 -x1990 -x1991 1800.04/1800.50 v -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 1800.04/1800.50 v -x2009 -x2010 -x2011 -x2012 -x2013 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 1800.04/1800.50 v -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2042 -x2043 -x2044 1800.04/1800.50 v -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 1800.04/1800.50 v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 1800.04/1800.50 v -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2096 -x2097 1800.04/1800.50 v -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 1800.04/1800.50 v -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 1800.04/1800.50 v -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 x2144 -x2145 -x2146 -x2147 -x2148 -x2150 1800.04/1800.50 v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 1800.04/1800.50 v -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 1800.04/1800.50 v -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 1800.04/1800.50 v -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 1800.04/1800.50 v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 x2231 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 1800.04/1800.50 v -x2240 -x2241 -x2242 -x2243 x2245 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2259 1800.04/1800.50 v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2273 -x2275 -x2276 -x2277 -x2278 -x2279 1800.04/1800.50 v -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2287 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 1800.04/1800.50 v -x2299 -x2301 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 x2315 -x2317 -x2318 -x2319 1800.04/1800.50 v -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2329 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 1800.04/1800.50 v -x2339 -x2340 -x2341 x2343 x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 x2354 -x2355 x2357 -x2359 -x2360 1800.04/1800.50 v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 x2371 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 1800.04/1800.50 v -x2380 -x2381 -x2382 -x2383 -x2385 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2399 1800.04/1800.50 v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2413 -x2415 -x2416 -x2417 -x2418 -x2419 1800.04/1800.50 v -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2427 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 1800.04/1800.50 v -x2439 -x2441 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2455 -x2457 -x2458 -x2459 1800.04/1800.50 v -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 x2469 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 1800.04/1800.50 v -x2479 -x2480 -x2481 -x2483 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2497 -x2499 1800.04/1800.50 v -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2511 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 1800.04/1800.50 v -x2519 -x2520 -x2521 -x2522 -x2523 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2537 1800.04/1800.50 v -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2551 -x2553 -x2554 -x2555 -x2556 -x2557 1800.04/1800.50 v -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2565 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 1800.04/1800.50 v -x2577 -x2579 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 x2593 -x2595 -x2596 -x2597 1800.04/1800.50 v -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 x2607 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 1800.04/1800.50 v -x2617 -x2618 -x2619 x2621 x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 x2632 -x2633 x2635 -x2637 -x2638 1800.04/1800.50 v -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2649 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 1800.04/1800.50 v -x2658 -x2659 -x2660 -x2661 -x2663 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 x2677 1800.04/1800.50 v -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2691 -x2693 -x2694 -x2695 -x2696 -x2697 1800.04/1800.50 v -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2705 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 1800.04/1800.50 v -x2717 -x2719 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2733 -x2735 -x2736 -x2737 1800.04/1800.50 v -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2747 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 1800.04/1800.50 v -x2757 -x2758 -x2759 -x2761 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2775 -x2777 1800.04/1800.50 v -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2789 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 1800.04/1800.50 v -x2797 -x2798 -x2799 -x2800 -x2801 -x2803 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 1800.04/1800.50 v x2817 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2831 -x2833 -x2834 -x2835 -x2836 1800.04/1800.50 v -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2845 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 1800.04/1800.50 v -x2856 -x2857 -x2859 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2873 -x2875 -x2876 1800.04/1800.50 v -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2887 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 1800.04/1800.50 v -x2896 -x2897 -x2898 -x2899 x2901 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2915 1800.04/1800.50 v -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2929 -x2931 -x2932 -x2933 -x2934 -x2935 1800.04/1800.50 v -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2943 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 1800.04/1800.50 v -x2955 -x2957 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 x2971 x2973 -x2974 x2975 -x2976 1800.04/1800.50 v -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 x2985 x2987 -x2988 -x2989 -x2990 -x2991 -x2992 x2993 -x2994 -x2995 -x2996 1800.04/1800.50 v -x2997 -x2999 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 x3013 -x3014 x3015 -x3016 -x3018 1800.04/1800.50 v -x3019 -x3020 -x3021 -x3023 -x3024 -x3025 -x3026 -x3028 -x3029 -x3030 -x3031 x3033 -x3034 -x3035 -x3036 -x3038 -x3039 1800.04/1800.50 v -x3040 -x3041 -x3043 -x3044 -x3045 -x3046 -x3048 -x3049 -x3050 -x3051 -x3053 -x3054 -x3055 -x3056 -x3058 -x3059 -x3060 1800.04/1800.50 v -x3061 -x3063 -x3064 -x3065 -x3066 -x3068 -x3069 -x3070 -x3071 -x3073 -x3074 -x3075 -x3076 -x3078 -x3079 -x3080 -x3081 1800.04/1800.50 v x3083 -x3084 -x3085 -x3086 -x3088 -x3089 -x3090 -x3091 -x3093 -x3094 -x3095 -x3096 -x3098 -x3099 -x3100 -x3101 -x3103 1800.04/1800.50 v -x3104 -x3105 -x3106 -x3108 -x3109 -x3110 -x3111 -x3113 -x3114 -x3115 -x3116 -x3118 -x3119 -x3120 -x3121 -x3123 -x3124 1800.04/1800.50 v -x3125 -x3126 -x3128 -x3129 -x3130 -x3131 -x3133 -x3134 -x3135 -x3136 -x3138 -x3139 -x3140 -x3141 -x3143 -x3144 -x3145 1800.04/1800.50 v -x3146 -x3148 -x3149 -x3150 -x3151 -x3153 -x3154 -x3155 -x3156 -x3158 -x3159 -x3160 -x3161 -x3163 -x3164 -x3165 -x3166 1800.04/1800.50 v -x3168 -x3169 -x3170 -x3171 x3173 -x3174 -x3175 -x3176 -x3178 -x3179 -x3180 -x3181 -x3183 -x3184 -x3185 -x3186 -x3188 1800.04/1800.50 v -x3189 -x3190 -x3191 -x3193 -x3194 -x3195 -x3196 -x3198 -x3199 -x3200 -x3201 x3203 -x3204 -x3205 -x3206 x3208 -x3209 -x3210 1800.04/1800.50 v -x3211 -x3213 -x3214 -x3215 -x3216 -x3218 -x3219 -x3220 -x3221 x3223 x3224 -x3225 -x3226 x3228 -x3229 -x3230 -x3231 x3233 1800.04/1800.50 v -x3234 -x3235 -x3236 x3238 x3239 -x3240 -x3241 x3243 -x3244 -x3245 -x3246 x3248 -x3249 -x3250 -x3251 -x3253 -x3254 -x3255 1800.04/1800.50 v -x3256 -x3258 -x3259 -x3260 -x3261 -x3263 -x3264 -x3265 -x3266 -x3268 -x3269 -x3270 -x3271 -x3273 -x3274 -x3275 -x3276 1800.04/1800.50 v -x3278 -x3279 -x3280 -x3281 -x3283 -x3284 -x3285 -x3286 -x3288 -x3289 -x3290 -x3291 -x3293 -x3294 -x3295 -x3296 -x3298 1800.04/1800.50 v -x3299 -x3300 -x3301 -x3303 -x3304 -x3305 -x3306 -x3308 -x3309 -x3310 -x3311 -x3313 -x3314 -x3315 -x3316 -x3318 -x3319 1800.04/1800.50 v -x3320 -x3321 -x3323 -x3324 -x3325 -x3326 -x3328 -x3329 -x3330 -x3331 -x3333 -x3334 -x3335 -x3336 x3338 -x3339 -x3340 1800.04/1800.50 v -x3341 -x3343 -x3344 -x3345 -x3346 -x3348 -x3349 -x3350 -x3351 -x3353 -x3354 -x3355 -x3356 -x3358 -x3359 -x3360 -x3361 1800.04/1800.50 v x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 1800.04/1800.50 v -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 1800.04/1800.50 v -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 1800.04/1800.50 v -x3415 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 1800.04/1800.50 v -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 1800.04/1800.50 v -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 1800.04/1800.50 v -x3468 -x3469 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 1800.04/1800.50 v -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 x3498 -x3499 -x3500 -x3501 -x3502 -x3503 1800.04/1800.50 v -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 1800.04/1800.50 v -x3521 -x3522 -x3523 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 1800.04/1800.50 v -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3552 -x3553 -x3554 -x3555 -x3556 1800.04/1800.50 v -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 1800.04/1800.50 v -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 1800.04/1800.50 v -x3594 -x3595 -x3596 -x3597 -x3598 x3600 -x3601 -x3602 x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3612 -x3613 1800.04/1800.50 v -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 1800.04/1800.50 v -x3632 -x3633 -x3634 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3648 -x3649 -x3650 1800.04/1800.50 v -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 1800.04/1800.50 v -x3669 -x3670 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3684 -x3685 -x3686 -x3687 1800.04/1800.50 v -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 1800.04/1800.50 v -x3706 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3720 -x3721 -x3722 -x3723 -x3724 1800.04/1800.50 v -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 1800.04/1800.50 v -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 1800.04/1800.50 v -x3762 -x3763 -x3764 -x3765 -x3766 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3780 1800.04/1800.50 v -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 1800.04/1800.50 v -x3799 -x3800 -x3801 -x3802 -x3804 -x3806 -x3807 -x3808 -x3809 -x3811 -x3813 -x3814 -x3815 -x3816 x3818 x3820 -x3821 -x3822 1800.04/1800.50 v -x3823 -x3825 x3827 -x3828 -x3829 -x3830 -x3832 -x3834 -x3835 -x3836 -x3837 -x3839 -x3841 -x3842 -x3843 -x3844 -x3846 1800.04/1800.50 v -x3848 -x3849 -x3850 -x3851 -x3853 x3855 -x3856 x3857 -x3858 -x3860 -x3861 -x3862 -x3863 -x3865 -x3867 -x3868 -x3869 -x3870 1800.04/1800.50 v -x3872 -x3874 -x3875 -x3876 -x3877 x3879 -x3881 -x3882 -x3883 -x3884 -x3886 x3888 -x3889 -x3890 -x3891 -x3893 -x3895 -x3896 1800.04/1800.50 v -x3897 -x3898 -x3900 -x3902 -x3903 -x3904 -x3905 -x3907 -x3909 -x3910 -x3911 -x3912 x3914 -x3916 -x3917 -x3918 -x3919 1800.04/1800.50 v -x3921 -x3923 -x3924 -x3925 -x3926 -x3928 -x3930 -x3931 -x3932 -x3933 x3935 -x3937 -x3938 -x3939 -x3940 -x3942 -x3944 1800.04/1800.50 v -x3945 -x3946 -x3947 x3949 -x3951 -x3952 -x3953 -x3954 x3956 x3958 -x3959 -x3960 -x3961 x3963 -x3965 -x3966 -x3967 -x3968 1800.04/1800.50 v -x3970 -x3972 -x3973 -x3974 -x3975 -x3977 -x3979 -x3980 -x3981 -x3982 -x3984 -x3986 -x3987 -x3988 -x3989 x3991 -x3993 1800.04/1800.50 v -x3994 -x3995 -x3996 -x3998 -x4000 -x4001 -x4002 -x4003 -x4005 -x4007 -x4008 -x4009 -x4010 -x4012 -x4014 -x4015 -x4016 1800.04/1800.50 v -x4017 -x4019 -x4021 -x4022 -x4023 -x4024 x4026 -x4028 -x4029 -x4030 -x4031 x4033 -x4035 -x4036 -x4037 -x4038 -x4040 -x4042 1800.04/1800.50 v -x4043 -x4044 -x4045 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 1800.04/1800.50 v -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 x4074 -x4075 -x4076 -x4077 -x4078 1800.04/1800.50 v -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 1800.04/1800.50 v -x4096 x4097 -x4098 -x4099 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 1800.04/1800.50 v -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4128 -x4129 -x4130 -x4131 1800.04/1800.50 v -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 1800.04/1800.50 v -x4149 -x4150 -x4151 -x4152 -x4153 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 1800.04/1800.50 v -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4182 -x4183 -x4184 1800.04/1800.50 v -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 1800.04/1800.50 v -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 1800.04/1800.50 v -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4236 -x4237 1800.04/1800.50 v -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 1800.04/1800.50 v -x4256 -x4257 -x4258 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4272 -x4273 -x4274 1800.04/1800.50 v -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 1800.04/1800.50 v -x4293 -x4294 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 x4308 -x4309 -x4310 -x4311 1800.04/1800.50 v -x4312 -x4313 -x4314 x4315 -x4316 -x4317 -x4318 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 1800.04/1800.50 v -x4330 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 x4344 -x4345 -x4346 x4347 -x4348 -x4349 1800.04/1800.50 v -x4350 -x4351 -x4352 -x4353 -x4354 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4368 1800.04/1800.50 v -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 1800.04/1800.50 v -x4387 -x4388 -x4389 -x4390 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4404 -x4405 1800.04/1800.50 v -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 1800.04/1800.50 v -x4424 -x4425 -x4426 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4440 -x4441 -x4442 1800.04/1800.50 v -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 1800.04/1800.50 v -x4461 -x4462 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4476 -x4477 -x4478 -x4479 1800.04/1800.50 v -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4488 -x4490 -x4491 -x4492 -x4493 -x4495 -x4497 -x4498 -x4499 -x4500 1800.04/1800.50 v x4502 x4504 -x4505 -x4506 -x4507 -x4509 x4511 -x4512 -x4513 -x4514 -x4516 -x4518 -x4519 -x4520 -x4521 -x4523 -x4525 -x4526 1800.04/1800.50 v -x4527 -x4528 x4530 -x4532 -x4533 -x4534 -x4535 -x4537 -x4538 -x4539 -x4540 -x4542 -x4544 -x4545 -x4546 -x4547 x4549 -x4551 1800.04/1800.50 v -x4552 -x4553 -x4554 -x4556 -x4558 -x4559 -x4560 -x4561 x4563 -x4565 -x4566 -x4567 -x4568 x4570 x4572 -x4573 -x4574 -x4575 1800.04/1800.50 v x4577 -x4579 -x4580 -x4581 -x4582 -x4584 -x4586 -x4587 -x4588 -x4589 -x4591 x4593 -x4594 -x4595 -x4596 -x4598 -x4600 -x4601 1800.04/1800.50 v -x4602 -x4603 -x4605 x4607 -x4608 x4609 -x4610 -x4612 x4614 -x4615 -x4616 -x4617 -x4619 -x4621 -x4622 -x4623 -x4624 -x4626 1800.04/1800.50 v -x4628 -x4629 -x4630 -x4631 x4633 x4635 -x4636 -x4637 -x4638 -x4640 x4642 -x4643 -x4644 -x4645 x4647 -x4649 -x4650 -x4651 1800.04/1800.50 v -x4652 -x4654 -x4656 -x4657 -x4658 -x4659 -x4661 -x4663 -x4664 -x4665 -x4666 -x4668 -x4670 -x4671 -x4672 -x4673 x4675 1800.04/1800.50 v -x4676 -x4677 -x4678 -x4680 -x4682 -x4683 -x4684 -x4685 x4687 -x4689 -x4690 -x4691 -x4692 -x4694 -x4696 -x4697 -x4698 1800.04/1800.50 v -x4699 -x4701 -x4703 -x4704 -x4705 -x4706 x4708 -x4710 -x4711 -x4712 -x4713 x4715 -x4717 -x4718 -x4719 -x4720 x4722 -x4724 1800.04/1800.50 v -x4725 -x4726 -x4727 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 1800.04/1800.50 v -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4756 -x4757 -x4758 -x4759 -x4760 1800.04/1800.50 v -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 1800.04/1800.50 v -x4778 -x4779 -x4780 -x4781 x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 1800.04/1800.50 v -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 x4806 -x4807 -x4808 -x4810 -x4811 -x4812 -x4813 1800.04/1800.50 v -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 1800.04/1800.50 v -x4831 -x4832 -x4833 -x4834 -x4835 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 1800.04/1800.50 v -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4864 -x4865 -x4866 1800.04/1800.50 v -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 1800.04/1800.50 v -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 1800.04/1800.50 v -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4918 -x4919 1800.04/1800.50 v -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 1800.04/1800.50 v -x4938 -x4939 -x4940 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4954 -x4955 -x4956 1800.04/1800.50 v -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 1800.04/1800.50 v -x4975 -x4976 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 x4990 -x4991 -x4992 -x4993 1800.04/1800.50 v -x4994 -x4995 -x4996 x4997 -x4998 -x4999 -x5000 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 1800.04/1800.50 v -x5012 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5026 -x5027 -x5028 -x5029 -x5030 1800.04/1800.50 v -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 1800.04/1800.50 v -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 1800.04/1800.50 v -x5068 -x5069 -x5070 -x5071 -x5072 x5074 -x5075 -x5076 x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5086 -x5087 1800.04/1800.50 v -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 1800.04/1800.50 v -x5106 -x5107 -x5108 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5122 -x5123 -x5124 1800.04/1800.50 v -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 1800.04/1800.50 v -x5143 -x5144 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5158 -x5159 -x5160 -x5161 1800.04/1800.50 v -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5170 -x5172 -x5173 -x5174 -x5175 -x5177 -x5179 -x5180 -x5181 -x5182 1800.04/1800.50 v x5184 -x5186 -x5187 -x5188 -x5189 -x5191 -x5192 -x5193 -x5194 -x5196 -x5198 -x5199 -x5200 -x5201 -x5203 -x5205 -x5206 1800.04/1800.50 v -x5207 -x5208 x5210 x5212 -x5213 -x5214 -x5215 -x5217 x5219 -x5220 -x5221 -x5222 -x5224 -x5226 -x5227 -x5228 -x5229 x5231 1800.04/1800.50 v -x5233 -x5234 -x5235 -x5236 -x5238 -x5240 -x5241 -x5242 -x5243 x5245 -x5247 -x5248 -x5249 -x5250 x5252 -x5253 -x5254 -x5255 1800.04/1800.50 v x5257 -x5259 -x5260 -x5261 -x5262 -x5264 -x5266 -x5267 -x5268 -x5269 -x5271 x5273 -x5274 -x5275 -x5276 -x5278 -x5280 -x5281 1800.04/1800.50 v -x5282 -x5283 -x5285 x5287 -x5288 x5289 -x5290 -x5292 x5294 -x5295 -x5296 -x5297 -x5299 -x5301 -x5302 -x5303 -x5304 -x5306 1800.04/1800.50 v -x5308 -x5309 -x5310 -x5311 x5313 x5315 -x5316 -x5317 -x5318 -x5320 -x5322 -x5323 -x5324 -x5325 -x5327 -x5329 -x5330 -x5331 1800.04/1800.50 v -x5332 -x5334 -x5336 -x5337 -x5338 -x5339 -x5341 -x5343 -x5344 -x5345 -x5346 -x5348 -x5350 -x5351 -x5352 -x5353 x5355 1800.04/1800.50 v x5357 -x5358 -x5359 -x5360 -x5362 x5364 -x5365 -x5366 -x5367 -x5369 -x5371 -x5372 -x5373 -x5374 -x5376 -x5378 -x5379 -x5380 1800.04/1800.50 v -x5381 -x5383 -x5385 -x5386 -x5387 -x5388 x5390 -x5392 -x5393 -x5394 -x5395 x5397 -x5399 -x5400 -x5401 -x5402 -x5404 -x5406 1800.04/1800.50 v -x5407 -x5408 -x5409 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 1800.04/1800.50 v -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5438 -x5439 -x5440 -x5441 -x5442 1800.04/1800.50 v -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 1800.04/1800.50 v -x5460 -x5461 -x5462 -x5463 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 1800.04/1800.50 v -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 x5492 -x5493 -x5494 -x5495 1800.04/1800.50 v -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 1800.04/1800.50 v -x5513 -x5514 -x5515 -x5516 -x5517 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 1800.04/1800.50 v -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5546 -x5547 -x5548 1800.04/1800.50 v -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 1800.04/1800.50 v -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 1800.04/1800.50 v -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5600 -x5601 1800.04/1800.50 v -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 1800.04/1800.50 v -x5620 -x5621 -x5622 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5636 -x5637 -x5638 1800.04/1800.50 v -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 1800.04/1800.50 v -x5657 -x5658 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5672 -x5673 -x5674 -x5675 1800.04/1800.50 v -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 1800.04/1800.50 v -x5694 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5708 -x5709 -x5710 -x5711 -x5712 1800.04/1800.50 v -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 1800.04/1800.50 v -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 1800.04/1800.50 v -x5750 -x5751 -x5752 -x5753 -x5754 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5768 1800.04/1800.50 v -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 1800.04/1800.50 v -x5787 -x5788 -x5789 -x5790 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 x5804 -x5805 1800.04/1800.50 v -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 x5813 -x5814 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 1800.04/1800.50 v -x5824 -x5825 -x5826 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5840 -x5841 -x5842 1800.04/1800.50 v -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5852 -x5853 -x5854 -x5855 -x5857 -x5859 -x5860 -x5861 -x5862 1800.04/1800.50 v -x5864 -x5865 -x5866 -x5867 -x5869 -x5871 -x5872 -x5873 -x5874 -x5876 -x5878 -x5879 -x5880 -x5881 -x5883 -x5885 -x5886 1800.04/1800.50 v -x5887 -x5888 -x5890 -x5891 -x5892 -x5893 x5895 -x5897 -x5898 -x5899 -x5900 -x5902 -x5904 -x5905 -x5906 -x5907 -x5909 1800.04/1800.50 v -x5911 -x5912 -x5913 -x5914 -x5916 -x5918 -x5919 -x5920 -x5921 -x5923 x5925 -x5926 x5927 -x5928 -x5930 -x5932 -x5933 -x5934 1800.04/1800.50 v -x5935 -x5937 -x5938 -x5939 -x5940 -x5942 -x5944 -x5945 -x5946 -x5947 -x5949 -x5951 -x5952 -x5953 -x5954 -x5956 -x5957 1800.04/1800.50 v -x5958 -x5959 x5961 -x5963 -x5964 -x5965 -x5966 -x5968 -x5970 -x5971 -x5972 -x5973 x5975 -x5977 -x5978 -x5979 -x5980 -x5982 1800.04/1800.50 v -x5984 -x5985 -x5986 -x5987 -x5989 -x5991 -x5992 -x5993 -x5994 x5996 -x5998 -x5999 -x6000 -x6001 x6003 -x6005 -x6006 -x6007 1800.04/1800.50 v -x6008 -x6010 -x6012 -x6013 -x6014 -x6015 -x6017 -x6019 -x6020 -x6021 -x6022 x6024 x6026 -x6027 -x6028 -x6029 x6031 -x6032 1800.04/1800.50 v -x6033 -x6034 -x6036 -x6037 -x6038 -x6039 -x6041 -x6043 -x6044 -x6045 -x6046 x6048 x6050 -x6051 -x6052 -x6053 -x6055 -x6057 1800.04/1800.50 v -x6058 -x6059 -x6060 -x6062 -x6064 -x6065 -x6066 -x6067 -x6069 -x6071 -x6073 -x6074 -x6075 -x6076
OK 23
/tmp/evaluation/372995-1177153891/instance-372995-1177153891.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node70/watcher-372995-1177153891 -o ROOT/results/node70/solver-372995-1177153891 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372995-1177153891/minisat+ /tmp/evaluation/372995-1177153891/instance-372995-1177153891.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.94 1.08 1.04 3/64 27973 /proc/meminfo: memFree=1637048/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=1048 CPUtime=0 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 103 0 0 0 0 0 0 0 19 0 1 0 154926448 1073152 88 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 262 89 67 215 0 44 0 [startup+0.105231 s] /proc/loadavg: 0.94 1.08 1.04 3/64 27973 /proc/meminfo: memFree=1637048/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=2160 CPUtime=0.1 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 387 0 0 0 10 0 0 0 20 0 1 0 154926448 2211840 372 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 540 372 75 215 0 322 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2160 [startup+0.202239 s] /proc/loadavg: 0.94 1.08 1.04 3/64 27973 /proc/meminfo: memFree=1637048/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=3156 CPUtime=0.19 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 629 0 0 0 19 0 0 0 20 0 1 0 154926448 3231744 614 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618819 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 789 614 75 215 0 571 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 3156 [startup+0.30225 s] /proc/loadavg: 0.94 1.08 1.04 3/64 27973 /proc/meminfo: memFree=1637048/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=4156 CPUtime=0.29 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 874 0 0 0 29 0 0 0 20 0 1 0 154926448 4255744 859 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 1039 859 75 215 0 821 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4156 [startup+0.70229 s] /proc/loadavg: 0.94 1.08 1.04 3/64 27973 /proc/meminfo: memFree=1637048/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=8284 CPUtime=0.69 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 1939 0 0 0 66 3 0 0 18 0 1 0 154926448 8482816 1888 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031374 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 2071 1888 87 215 0 1853 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8284 [startup+1.50137 s] /proc/loadavg: 0.94 1.08 1.04 2/65 27974 /proc/meminfo: memFree=1627760/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=10348 CPUtime=1.49 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 2553 0 0 0 146 3 0 0 24 0 1 0 154926448 10596352 2418 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 2587 2418 123 215 0 2369 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10348 [startup+3.10153 s] /proc/loadavg: 0.94 1.08 1.04 2/65 27974 /proc/meminfo: memFree=1627504/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=11268 CPUtime=3.09 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 2770 0 0 0 306 3 0 0 25 0 1 0 154926448 11538432 2635 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 2817 2635 123 215 0 2599 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11268 [startup+6.30185 s] /proc/loadavg: 0.95 1.08 1.04 2/65 27974 /proc/meminfo: memFree=1621808/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=17528 CPUtime=6.29 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 4349 0 0 0 625 4 0 0 25 0 1 0 154926448 17948672 4214 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 4382 4214 123 215 0 4164 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17528 [startup+12.7015 s] /proc/loadavg: 0.95 1.08 1.04 2/65 27974 /proc/meminfo: memFree=1613104/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=25348 CPUtime=12.68 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 6282 0 0 0 1263 5 0 0 25 0 1 0 154926448 25956352 6147 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 6337 6147 123 215 0 6119 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 25348 [startup+25.5018 s] /proc/loadavg: 0.96 1.08 1.04 2/65 27974 /proc/meminfo: memFree=1602544/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=35648 CPUtime=25.48 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 8781 0 0 0 2541 7 0 0 25 0 1 0 154926448 36503552 8641 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 8912 8641 124 215 0 8694 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 35648 [startup+51.1013 s] /proc/loadavg: 0.97 1.07 1.03 2/65 27974 /proc/meminfo: memFree=1602416/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=35876 CPUtime=51.07 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 8828 0 0 0 5100 7 0 0 25 0 1 0 154926448 36737024 8688 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581293 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 8969 8688 124 215 0 8751 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 35876 [startup+102.301 s] /proc/loadavg: 0.99 1.06 1.03 2/65 27974 /proc/meminfo: memFree=1588592/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=49728 CPUtime=102.26 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 12285 0 0 0 10215 11 0 0 25 0 1 0 154926448 50921472 12145 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581412 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 12432 12145 124 215 0 12214 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 49728 [startup+162.301 s] /proc/loadavg: 0.99 1.04 1.02 2/65 27974 /proc/meminfo: memFree=1587952/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=50400 CPUtime=162.24 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 12458 0 0 0 16213 11 0 0 25 0 1 0 154926448 51609600 12318 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 12600 12318 124 215 0 12382 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 50400 [startup+222.306 s] /proc/loadavg: 0.99 1.03 1.02 2/65 27974 /proc/meminfo: memFree=1582512/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=55904 CPUtime=222.23 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 13789 0 0 0 22211 12 0 0 25 0 1 0 154926448 57245696 13649 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 13976 13649 124 215 0 13758 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 55904 [startup+282.301 s] /proc/loadavg: 0.99 1.03 1.01 2/65 27974 /proc/meminfo: memFree=1582448/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=56088 CPUtime=282.21 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 13817 0 0 0 28209 12 0 0 25 0 1 0 154926448 57434112 13677 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134572696 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 14022 13677 124 215 0 13804 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 56088 [startup+342.302 s] /proc/loadavg: 0.99 1.02 1.00 2/65 27974 /proc/meminfo: memFree=1582256/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=56232 CPUtime=342.2 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 13862 0 0 0 34207 13 0 0 25 0 1 0 154926448 57581568 13722 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 14058 13722 124 215 0 13840 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 56232 [startup+402.302 s] /proc/loadavg: 0.99 1.01 1.00 2/65 27974 /proc/meminfo: memFree=1581872/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=56608 CPUtime=402.18 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 13956 0 0 0 40205 13 0 0 25 0 1 0 154926448 57966592 13816 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135006488 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 14152 13816 124 215 0 13934 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 56608 [startup+462.302 s] /proc/loadavg: 0.99 1.01 1.00 2/65 27974 /proc/meminfo: memFree=1581872/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=56608 CPUtime=462.17 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 13956 0 0 0 46204 13 0 0 25 0 1 0 154926448 57966592 13816 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 14152 13816 124 215 0 13934 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 56608 [startup+522.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 27974 /proc/meminfo: memFree=1581808/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=56824 CPUtime=522.15 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 13976 0 0 0 52202 13 0 0 25 0 1 0 154926448 58187776 13836 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 14206 13836 124 215 0 13988 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 56824 [startup+582.303 s] /proc/loadavg: 0.99 1.00 1.00 2/65 27974 /proc/meminfo: memFree=1573424/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=65184 CPUtime=582.14 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 16079 0 0 0 58198 16 0 0 25 0 1 0 154926448 66748416 15939 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 16296 15939 124 215 0 16078 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 65184 [startup+642.303 s] /proc/loadavg: 0.99 1.00 1.00 2/65 27974 /proc/meminfo: memFree=1572848/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=65712 CPUtime=642.12 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 16207 0 0 0 64196 16 0 0 25 0 1 0 154926448 67289088 16067 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 16428 16067 124 215 0 16210 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 65712 ################ # More data... # ################ [startup+822.303 s] /proc/loadavg: 0.99 1.00 1.00 2/65 27974 /proc/meminfo: memFree=1571824/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=66824 CPUtime=822.08 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 16454 0 0 0 82192 16 0 0 25 0 1 0 154926448 68427776 16314 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580819 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 16706 16314 124 215 0 16488 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 66824 [startup+882.305 s] /proc/loadavg: 1.03 1.01 1.00 2/65 27974 /proc/meminfo: memFree=1571824/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=66824 CPUtime=882.07 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 16468 0 0 0 88190 17 0 0 25 0 1 0 154926448 68427776 16328 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 16706 16328 124 215 0 16488 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 66824 [startup+942.302 s] /proc/loadavg: 1.01 1.01 1.00 2/65 27974 /proc/meminfo: memFree=1571824/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=66824 CPUtime=942.05 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 16469 0 0 0 94188 17 0 0 25 0 1 0 154926448 68427776 16329 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581104 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 16706 16329 124 215 0 16488 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 66824 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27974 /proc/meminfo: memFree=1569456/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=69144 CPUtime=1002.03 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 17055 0 0 0 100186 17 0 0 25 0 1 0 154926448 70803456 16915 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 17286 16915 124 215 0 17068 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 69144 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27974 /proc/meminfo: memFree=1569264/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=69276 CPUtime=1062.02 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 17093 0 0 0 106184 18 0 0 25 0 1 0 154926448 70938624 16953 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 17319 16953 124 215 0 17101 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 69276 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27974 /proc/meminfo: memFree=1569008/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=69600 CPUtime=1122 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 17165 0 0 0 112182 18 0 0 25 0 1 0 154926448 71270400 17025 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 17400 17025 124 215 0 17182 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 69600 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27974 /proc/meminfo: memFree=1568496/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=70172 CPUtime=1181.99 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 17299 0 0 0 118181 18 0 0 25 0 1 0 154926448 71856128 17159 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 17543 17159 124 215 0 17325 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 70172 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27974 /proc/meminfo: memFree=1568432/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=70172 CPUtime=1241.97 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 17300 0 0 0 124179 18 0 0 25 0 1 0 154926448 71856128 17160 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 17543 17160 124 215 0 17325 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 70172 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27974 /proc/meminfo: memFree=1567984/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=70728 CPUtime=1301.96 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 17417 0 0 0 130177 19 0 0 25 0 1 0 154926448 72425472 17277 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 17682 17277 124 215 0 17464 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 70728 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27974 /proc/meminfo: memFree=1567792/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=70972 CPUtime=1361.94 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 17470 0 0 0 136175 19 0 0 25 0 1 0 154926448 72675328 17330 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 17743 17330 124 215 0 17525 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 70972 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27974 /proc/meminfo: memFree=1567664/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=71136 CPUtime=1421.93 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 17505 0 0 0 142174 19 0 0 25 0 1 0 154926448 72843264 17365 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580248 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 17784 17365 124 215 0 17566 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 71136 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27974 /proc/meminfo: memFree=1567344/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=71380 CPUtime=1481.91 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 17579 0 0 0 148172 19 0 0 25 0 1 0 154926448 73093120 17439 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 17845 17439 124 215 0 17627 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 71380 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27974 /proc/meminfo: memFree=1567088/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=71940 CPUtime=1541.9 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 17641 0 0 0 154170 20 0 0 25 0 1 0 154926448 73666560 17501 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 17985 17501 124 215 0 17767 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 71940 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27974 /proc/meminfo: memFree=1567088/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=71940 CPUtime=1601.88 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 17641 0 0 0 160168 20 0 0 25 0 1 0 154926448 73666560 17501 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 17985 17501 124 215 0 17767 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 71940 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27974 /proc/meminfo: memFree=1566768/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=72256 CPUtime=1661.87 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 17723 0 0 0 166167 20 0 0 25 0 1 0 154926448 73990144 17583 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 18064 17583 124 215 0 17846 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 72256 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27974 /proc/meminfo: memFree=1566704/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=72504 CPUtime=1721.85 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 17741 0 0 0 172165 20 0 0 25 0 1 0 154926448 74244096 17601 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 18126 17601 124 215 0 17908 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 72504 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27974 /proc/meminfo: memFree=1566704/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=72504 CPUtime=1781.84 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 17742 0 0 0 178164 20 0 0 25 0 1 0 154926448 74244096 17602 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 18126 17602 124 215 0 17908 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 72504 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27974 /proc/meminfo: memFree=1566640/2055920 swapFree=4183764/4192956 [pid=27973] ppid=27971 vsize=72504 CPUtime=1800.04 /proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 17751 0 0 0 179984 20 0 0 25 0 1 0 154926448 74244096 17611 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27973/statm: 18126 17611 124 215 0 17908 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 72504 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.52 CPU time (s): 1800.06 CPU user time (s): 1799.84 CPU system time (s): 0.217966 CPU usage (%): 99.9744 Max. virtual memory (cumulated for all children) (KiB): 72504 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.84 system time used= 0.217966 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17753 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= 137 involuntary context switches= 2664 runsolver used 1.2828 second user time and 3.69544 second system time The end
Begin job on node70 on Sat Apr 21 11:11:31 UTC 2007 IDJOB= 372995 IDBENCH= 25012 IDSOLVER= 156 FILE ID= node70/372995-1177153891 PBS_JOBID= 4648869 Free space on /tmp= 66474 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb COMMAND LINE= /tmp/evaluation/372995-1177153891/minisat+ /tmp/evaluation/372995-1177153891/instance-372995-1177153891.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node70/convwatcher-372995-1177153891 -o ROOT/results/node70/conversion-372995-1177153891 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372995-1177153891/instance-372995-1177153891.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-372995-1177153891 -o ROOT/results/node70/solver-372995-1177153891 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372995-1177153891/minisat+ /tmp/evaluation/372995-1177153891/instance-372995-1177153891.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 82a3d84200b069df277c7f14e0e883d0 RANDOM SEED= 741700916 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node70.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1637456 kB Buffers: 38784 kB Cached: 316948 kB SwapCached: 3172 kB Active: 181820 kB Inactive: 184836 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1637456 kB SwapTotal: 4192956 kB SwapFree: 4183764 kB Dirty: 2928 kB Writeback: 0 kB Mapped: 16704 kB Slab: 37932 kB Committed_AS: 3398800 kB PageTables: 1400 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= 66474 MiB End job on node70 on Sat Apr 21 11:41:34 UTC 2007