| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 339 | 3600.12 | 3614.47 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb |
| MD5SUM | 9792288b3bfa4387008e61c6fa17d472 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 245 |
| Best CPU time to get the best result obtained on this benchmark | 3558.03 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 10000 |
| Total number of constraints | 656900 |
| Number of constraints which are clauses | 656900 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 10000 |
| Biggest coefficient in the objective function | 99 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 495293 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 99 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 495293 |
| Number of bits of the biggest sum of numbers | 19 |
| 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 RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 2.47/2.58 c #variables 10000 #constraints 656900 4.57/4.67 c bounds - >= 0 @ 1.75455 4.57/4.67 c rational objective 185.072 32.89/33.10 c bounds 5925 >= 0 @ 8.01125 32.89/33.10 c bounds 5563 >= 0 @ 8.01631 32.89/33.10 c bounds 5557 >= 0 @ 8.02026 32.89/33.10 c bounds 5472 >= 0 @ 8.02509 32.89/33.10 c bounds 5087 >= 0 @ 8.02902 32.89/33.10 c bounds 5063 >= 0 @ 8.03477 32.89/33.10 c bounds 5049 >= 0 @ 8.03982 32.89/33.10 c bounds 5021 >= 0 @ 8.04479 32.89/33.10 c bounds 4992 >= 0 @ 8.05067 32.89/33.10 c bounds 4983 >= 0 @ 8.44022 32.89/33.10 c bounds 4956 >= 0 @ 8.46539 32.89/33.10 c bounds 4883 >= 0 @ 8.47713 32.89/33.10 c bounds 4877 >= 0 @ 8.48706 32.89/33.10 c bounds 4860 >= 0 @ 8.6836 32.89/33.10 c bounds 4856 >= 0 @ 8.84553 32.89/33.10 c bounds 4843 >= 0 @ 8.85747 32.89/33.10 c bounds 4823 >= 0 @ 8.86161 32.89/33.10 c bounds 4779 >= 0 @ 8.95949 32.89/33.10 c bounds 4772 >= 0 @ 8.97086 32.89/33.10 c bounds 4766 >= 0 @ 8.97677 32.89/33.10 c bounds 4732 >= 0 @ 8.98401 32.89/33.10 c bounds 4715 >= 0 @ 9.01347 32.89/33.10 c bounds 4556 >= 0 @ 9.02146 32.89/33.10 c bounds 4549 >= 0 @ 9.02964 32.89/33.10 c bounds 4416 >= 0 @ 9.03795 32.89/33.10 c bounds 4306 >= 0 @ 9.04454 32.89/33.10 c bounds 4225 >= 0 @ 9.05255 32.89/33.10 c bounds 4205 >= 0 @ 9.06305 32.89/33.10 c bounds 4178 >= 0 @ 9.07239 32.89/33.10 c bounds 4152 >= 0 @ 9.08074 32.89/33.10 c bounds 4143 >= 0 @ 9.08573 32.89/33.10 c bounds 4065 >= 0 @ 9.09165 32.89/33.10 c bounds 4060 >= 0 @ 9.10338 32.89/33.10 c bounds 3925 >= 0 @ 9.10909 32.89/33.10 c bounds 3913 >= 0 @ 9.11912 32.89/33.10 c bounds 3868 >= 0 @ 9.13124 32.89/33.10 c bounds 3807 >= 0 @ 9.1379 32.89/33.10 c bounds 3796 >= 0 @ 9.2352 32.89/33.10 c bounds 3774 >= 0 @ 9.24473 32.89/33.10 c bounds 3723 >= 0 @ 9.24941 32.89/33.10 c bounds 3704 >= 0 @ 9.25393 32.89/33.10 c bounds 3700 >= 0 @ 9.33335 32.89/33.10 c bounds 3684 >= 0 @ 10.1295 32.89/33.10 c bounds 3670 >= 0 @ 10.136 32.89/33.10 c bounds 3664 >= 0 @ 10.1517 32.89/33.10 c bounds 3583 >= 0 @ 10.1588 32.89/33.10 c bounds 3546 >= 0 @ 10.1867 32.89/33.10 c bounds 3522 >= 0 @ 10.193 32.89/33.10 c bounds 3490 >= 0 @ 10.2087 32.89/33.10 c bounds 3484 >= 0 @ 10.221 32.89/33.10 c bounds 3483 >= 0 @ 10.2283 32.89/33.10 c bounds 3465 >= 0 @ 10.2699 32.89/33.10 c bounds 3400 >= 0 @ 10.286 32.89/33.10 c bounds 3380 >= 0 @ 10.2942 32.89/33.10 c bounds 3361 >= 0 @ 10.3005 32.89/33.10 c bounds 3324 >= 0 @ 10.307 32.89/33.10 c bounds 3270 >= 0 @ 10.3153 32.89/33.10 c bounds 3267 >= 0 @ 10.3497 32.89/33.10 c bounds 3169 >= 0 @ 10.3558 32.89/33.10 c bounds 3121 >= 0 @ 10.3636 32.89/33.10 c bounds 3110 >= 0 @ 10.3715 32.89/33.10 c bounds 3056 >= 0 @ 10.3819 32.89/33.10 c bounds 3016 >= 0 @ 10.4142 32.89/33.10 c bounds 3013 >= 0 @ 10.4263 32.89/33.10 c bounds 2954 >= 0 @ 10.436 32.89/33.10 c bounds 2928 >= 0 @ 10.4447 32.89/33.10 c bounds 2924 >= 0 @ 10.5775 32.89/33.10 c bounds 2915 >= 0 @ 10.5866 32.89/33.10 c bounds 2913 >= 0 @ 10.5933 32.89/33.10 c bounds 2891 >= 0 @ 10.6887 32.89/33.10 c bounds 2842 >= 0 @ 10.6974 32.89/33.10 c bounds 2834 >= 0 @ 10.7069 32.89/33.10 c bounds 2824 >= 0 @ 10.7146 32.89/33.10 c bounds 2796 >= 0 @ 10.7265 32.89/33.10 c bounds 2789 >= 0 @ 10.7337 32.89/33.10 c bounds 2772 >= 0 @ 10.7407 32.89/33.10 c bounds 2745 >= 0 @ 10.7525 32.89/33.10 c bounds 2647 >= 0 @ 10.7646 32.89/33.10 c bounds 2639 >= 0 @ 10.7718 32.89/33.10 c bounds 2616 >= 0 @ 10.7795 32.89/33.10 c bounds 2615 >= 0 @ 10.786 32.89/33.10 c bounds 2520 >= 0 @ 10.7927 32.89/33.10 c bounds 2496 >= 0 @ 10.803 32.89/33.10 c bounds 2459 >= 0 @ 10.8098 32.89/33.10 c bounds 2452 >= 0 @ 11.1233 32.89/33.10 c bounds 2433 >= 0 @ 11.1303 32.89/33.10 c bounds 2342 >= 0 @ 11.1398 32.89/33.10 c bounds 2300 >= 0 @ 11.1452 32.89/33.10 c bounds 2239 >= 0 @ 11.1522 32.89/33.10 c #Conflicts: 1000 | #Constraints: 658001 32.89/33.10 c bounds 2189 >= 0 @ 11.1668 32.89/33.10 c bounds 2154 >= 0 @ 11.1751 32.89/33.10 c bounds 2145 >= 0 @ 11.2052 32.89/33.10 c bounds 2072 >= 0 @ 11.2149 32.89/33.10 c bounds 1964 >= 0 @ 11.2228 32.89/33.10 c bounds 1945 >= 0 @ 11.2605 32.89/33.10 c bounds 1939 >= 0 @ 11.269 32.89/33.10 c bounds 1897 >= 0 @ 11.277 32.89/33.10 c bounds 1836 >= 0 @ 11.2859 32.89/33.10 c bounds 1797 >= 0 @ 11.2953 32.89/33.10 c bounds 1686 >= 0 @ 11.3065 32.89/33.10 c bounds 1680 >= 0 @ 11.3134 32.89/33.10 c bounds 1533 >= 0 @ 11.3184 32.89/33.10 c bounds 1531 >= 0 @ 11.3376 32.89/33.10 c bounds 1512 >= 0 @ 11.3472 32.89/33.10 c bounds 1446 >= 0 @ 11.3831 32.89/33.10 c bounds 1191 >= 0 @ 11.3902 32.89/33.10 c bounds 1122 >= 0 @ 11.3999 32.89/33.10 c bounds 1040 >= 0 @ 11.4057 32.89/33.10 c bounds 1039 >= 0 @ 11.4228 32.89/33.10 c bounds 1007 >= 0 @ 11.4319 32.89/33.10 c bounds 989 >= 0 @ 11.4404 32.89/33.10 c bounds 929 >= 0 @ 11.4473 32.89/33.10 c bounds 888 >= 0 @ 11.4574 32.89/33.10 c bounds 866 >= 0 @ 11.5768 32.89/33.10 c bounds 838 >= 0 @ 11.6269 32.89/33.10 c bounds 787 >= 0 @ 11.6493 32.89/33.10 c bounds 709 >= 0 @ 11.9135 32.89/33.10 c bounds 701 >= 0 @ 11.9206 32.89/33.10 c bounds 596 >= 0 @ 12.151 32.89/33.10 c bounds 589 >= 0 @ 12.1583 32.89/33.10 c bounds 588 >= 0 @ 12.2238 32.89/33.10 c #Conflicts: 2000 | #Constraints: 659033 32.89/33.10 c INPROCESSING 32.89/33.10 c GARBAGE COLLECT 32.89/33.10 c bounds 532 >= 0 @ 15.7204 32.89/33.10 c bounds 528 >= 0 @ 16.7598 32.89/33.10 c bounds 527 >= 0 @ 16.7654 32.89/33.10 c bounds 525 >= 0 @ 16.8513 32.89/33.10 c #Conflicts: 3000 | #Constraints: 658915 32.89/33.10 c bounds 523 >= 0 @ 18.4637 32.89/33.10 c bounds 523 >= 8 @ 18.4722 32.89/33.10 c bounds 436 >= 8 @ 19.1153 32.89/33.10 c #Conflicts: 4000 | #Constraints: 659925 32.89/33.10 c INPROCESSING 32.89/33.10 c GARBAGE COLLECT 32.89/33.10 c #Conflicts: 5000 | #Constraints: 659323 32.89/33.10 c #Conflicts: 6000 | #Constraints: 660323 32.89/33.10 c INPROCESSING 32.89/33.10 c GARBAGE COLLECT 32.89/33.10 c bounds 431 >= 8 @ 31.0852 47.52/47.79 c bounds 430 >= 8 @ 31.1091 47.52/47.79 c bounds 424 >= 8 @ 31.1191 47.52/47.79 c bounds 421 >= 8 @ 31.1268 47.52/47.79 c bounds 419 >= 8 @ 31.1416 47.52/47.79 c #Conflicts: 7000 | #Constraints: 659329 47.52/47.79 c bounds 417 >= 8 @ 35.47 47.52/47.79 c #Conflicts: 8000 | #Constraints: 660338 47.52/47.79 c #Conflicts: 9000 | #Constraints: 661338 47.52/47.79 c INPROCESSING 47.52/47.79 c GARBAGE COLLECT 47.52/47.79 c rational objective 186.39 62.36/62.69 c #Conflicts: 10000 | #Constraints: 660042 62.36/62.69 c #Conflicts: 11000 | #Constraints: 661042 62.36/62.69 c #Conflicts: 12000 | #Constraints: 662042 62.36/62.69 c INPROCESSING 62.36/62.69 c GARBAGE COLLECT 62.36/62.69 c rational objective 187.272 80.30/80.66 c bounds 413 >= 8 @ 63.4738 80.30/80.66 c bounds 407 >= 8 @ 63.4904 80.30/80.66 c bounds 406 >= 8 @ 63.5429 80.30/80.66 c bounds 403 >= 8 @ 66.8423 80.30/80.66 c bounds 403 >= 13 @ 66.8544 80.30/80.66 c #Conflicts: 13000 | #Constraints: 660509 80.30/80.66 c #Conflicts: 14000 | #Constraints: 661509 80.30/80.66 c bounds 403 >= 18 @ 72.5765 80.30/80.66 c #Conflicts: 15000 | #Constraints: 662515 80.30/80.66 c INPROCESSING 80.30/80.66 c GARBAGE COLLECT 80.30/80.66 c rational objective 187.87 231.77/232.69 c #Conflicts: 16000 | #Constraints: 660736 231.77/232.69 c #Conflicts: 17000 | #Constraints: 661740 231.77/232.69 c #Conflicts: 18000 | #Constraints: 662741 231.77/232.69 c INPROCESSING 231.77/232.69 c GARBAGE COLLECT 231.77/232.69 c #Conflicts: 19000 | #Constraints: 660751 231.77/232.69 c bounds 401 >= 18 @ 128.623 231.77/232.69 c bounds 401 >= 22 @ 128.64 231.77/232.69 c #Conflicts: 20000 | #Constraints: 661755 231.77/232.69 c #Conflicts: 21000 | #Constraints: 662759 231.77/232.69 c INPROCESSING 231.77/232.69 c GARBAGE COLLECT 231.77/232.69 c #Conflicts: 22000 | #Constraints: 660549 231.77/232.69 c #Conflicts: 23000 | #Constraints: 661550 231.77/232.69 c #Conflicts: 24000 | #Constraints: 662553 231.77/232.69 c #Conflicts: 25000 | #Constraints: 663555 231.77/232.69 c INPROCESSING 231.77/232.69 c GARBAGE COLLECT 231.77/232.69 c #Conflicts: 26000 | #Constraints: 661172 231.77/232.69 c bounds 399 >= 22 @ 212.137 231.77/232.69 c #Conflicts: 27000 | #Constraints: 662182 231.77/232.69 c #Conflicts: 28000 | #Constraints: 663182 231.77/232.69 c #Conflicts: 29000 | #Constraints: 664182 231.77/232.69 c INPROCESSING 231.77/232.69 c GARBAGE COLLECT 231.77/232.69 c rational objective 187.87 257.98/258.98 c #Conflicts: 30000 | #Constraints: 661570 257.98/258.98 c #Conflicts: 31000 | #Constraints: 662592 257.98/258.98 c #Conflicts: 32000 | #Constraints: 663614 257.98/258.98 c #Conflicts: 33000 | #Constraints: 664712 257.98/258.98 c INPROCESSING 257.98/258.98 c GARBAGE COLLECT 257.98/258.98 c rational objective 187.966 290.67/291.79 c #Conflicts: 34000 | #Constraints: 661866 290.67/291.79 c #Conflicts: 35000 | #Constraints: 662901 290.67/291.79 c #Conflicts: 36000 | #Constraints: 663990 290.67/291.79 c #Conflicts: 37000 | #Constraints: 665053 290.67/291.79 c INPROCESSING 290.67/291.79 c GARBAGE COLLECT 290.67/291.79 c rational objective 188.248 334.21/335.42 c #Conflicts: 38000 | #Constraints: 661934 334.21/335.42 c #Conflicts: 39000 | #Constraints: 662950 334.21/335.42 c #Conflicts: 40000 | #Constraints: 664064 334.21/335.42 c #Conflicts: 41000 | #Constraints: 665216 334.21/335.42 c INPROCESSING 334.21/335.42 c GARBAGE COLLECT 334.21/335.42 c rational objective 242.993 487.40/489.13 c #Conflicts: 42000 | #Constraints: 661854 487.40/489.13 c #Conflicts: 43000 | #Constraints: 662862 487.40/489.13 c #Conflicts: 44000 | #Constraints: 663931 487.40/489.13 c #Conflicts: 45000 | #Constraints: 664968 487.40/489.13 c #Conflicts: 46000 | #Constraints: 665980 487.40/489.13 c INPROCESSING 487.40/489.13 c GARBAGE COLLECT 487.40/489.13 c #Conflicts: 47000 | #Constraints: 662388 487.40/489.13 c #Conflicts: 48000 | #Constraints: 663427 487.40/489.13 c #Conflicts: 49000 | #Constraints: 664446 487.40/489.13 c #Conflicts: 50000 | #Constraints: 665486 487.40/489.13 c #Conflicts: 51000 | #Constraints: 666513 487.40/489.13 c INPROCESSING 487.40/489.13 c GARBAGE COLLECT 487.40/489.13 c bounds 397 >= 22 @ 394.329 487.40/489.13 c #Conflicts: 52000 | #Constraints: 662751 487.40/489.13 c bounds 396 >= 22 @ 415.189 487.40/489.13 c bounds 396 >= 24 @ 415.213 487.40/489.13 c bounds 396 >= 26 @ 415.247 487.40/489.13 c bounds 396 >= 28 @ 415.281 487.40/489.13 c bounds 396 >= 30 @ 415.312 487.40/489.13 c bounds 396 >= 32 @ 415.344 487.40/489.13 c bounds 396 >= 34 @ 415.378 487.40/489.13 c bounds 396 >= 36 @ 415.419 487.40/489.13 c bounds 396 >= 38 @ 415.724 487.40/489.13 c #Conflicts: 53000 | #Constraints: 663801 487.40/489.13 c bounds 396 >= 40 @ 430.899 487.40/489.13 c #Conflicts: 54000 | #Constraints: 664813 487.40/489.13 c #Conflicts: 55000 | #Constraints: 665813 487.40/489.13 c #Conflicts: 56000 | #Constraints: 666813 487.40/489.13 c INPROCESSING 487.40/489.13 c GARBAGE COLLECT 487.40/489.13 c rational objective 188.832 716.38/718.99 c bounds 395 >= 40 @ 486.323 716.38/718.99 c bounds 393 >= 40 @ 488.314 716.38/718.99 c #Conflicts: 57000 | #Constraints: 662927 716.38/718.99 c #Conflicts: 58000 | #Constraints: 663939 716.38/718.99 c bounds 392 >= 40 @ 524.328 716.38/718.99 c bounds 392 >= 41 @ 524.363 716.38/718.99 c bounds 392 >= 42 @ 524.389 716.38/718.99 c bounds 392 >= 43 @ 524.429 716.38/718.99 c bounds 392 >= 44 @ 524.463 716.38/718.99 c bounds 392 >= 45 @ 524.504 716.38/718.99 c bounds 392 >= 46 @ 524.546 716.38/718.99 c bounds 392 >= 47 @ 524.584 716.38/718.99 c bounds 392 >= 48 @ 524.624 716.38/718.99 c bounds 392 >= 49 @ 524.664 716.38/718.99 c bounds 392 >= 50 @ 524.705 716.38/718.99 c bounds 392 >= 51 @ 524.743 716.38/718.99 c bounds 392 >= 52 @ 524.785 716.38/718.99 c bounds 392 >= 53 @ 524.84 716.38/718.99 c bounds 392 >= 54 @ 524.89 716.38/718.99 c bounds 392 >= 55 @ 530.964 716.38/718.99 c bounds 392 >= 56 @ 531.083 716.38/718.99 c bounds 392 >= 57 @ 531.157 716.38/718.99 c bounds 392 >= 58 @ 531.278 716.38/718.99 c bounds 392 >= 59 @ 531.371 716.38/718.99 c bounds 392 >= 60 @ 531.434 716.38/718.99 c bounds 392 >= 61 @ 531.612 716.38/718.99 c bounds 392 >= 62 @ 532.068 716.38/718.99 c bounds 392 >= 63 @ 532.478 716.38/718.99 c bounds 392 >= 64 @ 532.849 716.38/718.99 c #Conflicts: 59000 | #Constraints: 665123 716.38/718.99 c bounds 392 >= 65 @ 533.667 716.38/718.99 c bounds 392 >= 66 @ 534.008 716.38/718.99 c bounds 392 >= 67 @ 535.915 716.38/718.99 c bounds 392 >= 68 @ 538.473 716.38/718.99 c bounds 392 >= 69 @ 541.036 716.38/718.99 c #Conflicts: 60000 | #Constraints: 666222 716.38/718.99 c bounds 392 >= 70 @ 543.214 716.38/718.99 c bounds 392 >= 71 @ 545.41 716.38/718.99 c bounds 392 >= 72 @ 548.814 716.38/718.99 c #Conflicts: 61000 | #Constraints: 667297 716.38/718.99 c INPROCESSING 716.38/718.99 c GARBAGE COLLECT 716.38/718.99 c rational objective 189.628 1033.14/1036.87 c bounds 392 >= 73 @ 714.948 1033.14/1036.87 c bounds 392 >= 74 @ 716.384 1033.14/1036.87 c #Conflicts: 62000 | #Constraints: 663269 1033.14/1036.87 c bounds 392 >= 75 @ 719.242 1033.14/1036.87 c #Conflicts: 63000 | #Constraints: 664293 1033.14/1036.87 c bounds 392 >= 76 @ 727.301 1033.14/1036.87 c #Conflicts: 64000 | #Constraints: 665326 1033.14/1036.87 c bounds 392 >= 77 @ 732.918 1033.14/1036.87 c #Conflicts: 65000 | #Constraints: 666353 1033.14/1036.87 c #Conflicts: 66000 | #Constraints: 667353 1033.14/1036.87 c bounds 392 >= 78 @ 748.214 1033.14/1036.87 c INPROCESSING 1033.14/1036.87 c GARBAGE COLLECT 1033.14/1036.87 c #Conflicts: 67000 | #Constraints: 663162 1033.14/1036.87 c bounds 391 >= 78 @ 893.84 1033.14/1036.87 c #Conflicts: 68000 | #Constraints: 664163 1033.14/1036.87 c #Conflicts: 69000 | #Constraints: 665163 1033.14/1036.87 c bounds 391 >= 79 @ 913.855 1033.14/1036.87 c bounds 387 >= 79 @ 913.91 1033.14/1036.87 c bounds 386 >= 79 @ 914.924 1033.14/1036.87 c bounds 381 >= 79 @ 914.961 1033.14/1036.87 c bounds 380 >= 79 @ 914.994 1033.14/1036.87 c #Conflicts: 70000 | #Constraints: 666191 1033.14/1036.87 c bounds 379 >= 79 @ 921.305 1033.14/1036.87 c bounds 377 >= 79 @ 921.416 1033.14/1036.87 c bounds 375 >= 79 @ 929.163 1033.14/1036.87 c bounds 374 >= 79 @ 929.213 1033.14/1036.87 c bounds 370 >= 79 @ 929.328 1033.14/1036.87 c bounds 369 >= 79 @ 929.565 1033.14/1036.87 c #Conflicts: 71000 | #Constraints: 667204 1033.14/1036.87 c bounds 368 >= 79 @ 932.986 1033.14/1036.87 c #Conflicts: 72000 | #Constraints: 668205 1033.14/1036.87 c INPROCESSING 1033.14/1036.87 c GARBAGE COLLECT 1033.14/1036.87 c bounds 367 >= 79 @ 938.246 1033.14/1036.87 c bounds 366 >= 79 @ 938.269 1033.14/1036.87 c bounds 363 >= 79 @ 938.469 1033.14/1036.87 c #Conflicts: 73000 | #Constraints: 663782 1033.14/1036.87 c bounds 362 >= 79 @ 945.111 1033.14/1036.87 c #Conflicts: 74000 | #Constraints: 664783 1033.14/1036.87 c bounds 362 >= 80 @ 950.104 1033.14/1036.87 c #Conflicts: 75000 | #Constraints: 665816 1033.14/1036.87 c bounds 362 >= 81 @ 954.738 1033.14/1036.87 c bounds 360 >= 81 @ 954.781 1033.14/1036.87 c #Conflicts: 76000 | #Constraints: 666841 1033.14/1036.87 c #Conflicts: 77000 | #Constraints: 667847 1033.14/1036.87 c #Conflicts: 78000 | #Constraints: 668866 1033.14/1036.87 c INPROCESSING 1033.14/1036.87 c GARBAGE COLLECT 1033.14/1036.87 c #Conflicts: 79000 | #Constraints: 664228 1033.14/1036.87 c #Conflicts: 80000 | #Constraints: 665228 1033.14/1036.87 c bounds 360 >= 82 @ 995.991 1033.14/1036.87 c #Conflicts: 81000 | #Constraints: 666261 1033.14/1036.87 c #Conflicts: 82000 | #Constraints: 667261 1033.14/1036.87 c bounds 360 >= 83 @ 1012.61 1033.14/1036.87 c #Conflicts: 83000 | #Constraints: 668288 1033.14/1036.87 c #Conflicts: 84000 | #Constraints: 669288 1033.14/1036.87 c INPROCESSING 1033.14/1036.87 c GARBAGE COLLECT 1033.14/1036.87 c rational objective 189.663 1258.58/1263.20 c #Conflicts: 85000 | #Constraints: 664521 1258.58/1263.20 c #Conflicts: 86000 | #Constraints: 665797 1258.58/1263.20 c #Conflicts: 87000 | #Constraints: 667395 1258.58/1263.20 c #Conflicts: 88000 | #Constraints: 669034 1258.58/1263.20 c #Conflicts: 89000 | #Constraints: 670626 1258.58/1263.20 c #Conflicts: 90000 | #Constraints: 671943 1258.58/1263.20 c INPROCESSING 1258.58/1263.20 c GARBAGE COLLECT 1258.58/1263.20 c rational objective 189.663 1358.27/1363.31 c #Conflicts: 91000 | #Constraints: 665735 1358.27/1363.31 c #Conflicts: 92000 | #Constraints: 666735 1358.27/1363.31 c bounds 360 >= 84 @ 1281.93 1358.27/1363.31 c #Conflicts: 93000 | #Constraints: 667774 1358.27/1363.31 c #Conflicts: 94000 | #Constraints: 668774 1358.27/1363.31 c #Conflicts: 95000 | #Constraints: 669774 1358.27/1363.31 c #Conflicts: 96000 | #Constraints: 670774 1358.27/1363.31 c bounds 360 >= 85 @ 1314.34 1358.27/1363.31 c INPROCESSING 1358.27/1363.31 c GARBAGE COLLECT 1358.27/1363.31 c rational objective 189.663 1765.29/1772.02 c #Conflicts: 97000 | #Constraints: 664979 1765.29/1772.02 c #Conflicts: 98000 | #Constraints: 665979 1765.29/1772.02 c #Conflicts: 99000 | #Constraints: 666980 1765.29/1772.02 c #Conflicts: 100000 | #Constraints: 667980 1765.29/1772.02 c #Conflicts: 101000 | #Constraints: 668980 1765.29/1772.02 c bounds 360 >= 86 @ 1411.46 1765.29/1772.02 c #Conflicts: 102000 | #Constraints: 670017 1765.29/1772.02 c #Conflicts: 103000 | #Constraints: 671017 1765.29/1772.02 c INPROCESSING 1765.29/1772.02 c GARBAGE COLLECT 1765.29/1772.02 c #Conflicts: 104000 | #Constraints: 665297 1765.29/1772.02 c #Conflicts: 105000 | #Constraints: 666297 1765.29/1772.02 c bounds 355 >= 86 @ 1597.66 1765.29/1772.02 c #Conflicts: 106000 | #Constraints: 667301 1765.29/1772.02 c #Conflicts: 107000 | #Constraints: 668301 1765.29/1772.02 c #Conflicts: 108000 | #Constraints: 669301 1765.29/1772.02 c #Conflicts: 109000 | #Constraints: 670301 1765.29/1772.02 c #Conflicts: 110000 | #Constraints: 671301 1765.29/1772.02 c INPROCESSING 1765.29/1772.02 c GARBAGE COLLECT 1765.29/1772.02 c bounds 354 >= 86 @ 1644.33 1765.29/1772.02 c bounds 351 >= 86 @ 1644.36 1765.29/1772.02 c bounds 350 >= 86 @ 1649.05 1765.29/1772.02 c #Conflicts: 111000 | #Constraints: 665566 1765.29/1772.02 c bounds 345 >= 86 @ 1656.48 1765.29/1772.02 c bounds 344 >= 86 @ 1657.27 1765.29/1772.02 c #Conflicts: 112000 | #Constraints: 666578 1765.29/1772.02 c bounds 341 >= 86 @ 1658.75 1765.29/1772.02 c #Conflicts: 113000 | #Constraints: 667592 1765.29/1772.02 c #Conflicts: 114000 | #Constraints: 668606 1765.29/1772.02 c #Conflicts: 115000 | #Constraints: 669617 1765.29/1772.02 c bounds 339 >= 86 @ 1721.91 1765.29/1772.02 c #Conflicts: 116000 | #Constraints: 670631 1765.29/1772.02 c #Conflicts: 117000 | #Constraints: 671631 1765.29/1772.02 c INPROCESSING 1765.29/1772.02 c GARBAGE COLLECT 1765.29/1772.02 c rational objective 189.663 2033.40/2041.40 c #Conflicts: 118000 | #Constraints: 665718 2033.40/2041.40 c #Conflicts: 119000 | #Constraints: 666719 2033.40/2041.40 c #Conflicts: 120000 | #Constraints: 667719 2033.40/2041.40 c bounds 339 >= 87 @ 1808.49 2033.40/2041.40 c #Conflicts: 121000 | #Constraints: 668746 2033.40/2041.40 c #Conflicts: 122000 | #Constraints: 669746 2033.40/2041.40 c #Conflicts: 123000 | #Constraints: 670746 2033.40/2041.40 c #Conflicts: 124000 | #Constraints: 671746 2033.40/2041.40 c INPROCESSING 2033.40/2041.40 c GARBAGE COLLECT 2033.40/2041.40 c rational objective 189.665 2291.65/2300.67 c #Conflicts: 125000 | #Constraints: 665696 2291.65/2300.67 c #Conflicts: 126000 | #Constraints: 666696 2291.65/2300.67 c #Conflicts: 127000 | #Constraints: 667697 2291.65/2300.67 c #Conflicts: 128000 | #Constraints: 668698 2291.65/2300.67 c #Conflicts: 129000 | #Constraints: 669702 2291.65/2300.67 c #Conflicts: 130000 | #Constraints: 670704 2291.65/2300.67 c bounds 339 >= 88 @ 2104.98 2291.65/2300.67 c #Conflicts: 131000 | #Constraints: 671747 2291.65/2300.67 c INPROCESSING 2291.65/2300.67 c GARBAGE COLLECT 2291.65/2300.67 c #Conflicts: 132000 | #Constraints: 665505 2291.65/2300.67 c #Conflicts: 133000 | #Constraints: 666513 2291.65/2300.67 c #Conflicts: 134000 | #Constraints: 667520 2291.65/2300.67 c #Conflicts: 135000 | #Constraints: 668536 2291.65/2300.67 c #Conflicts: 136000 | #Constraints: 669546 2291.65/2300.67 c #Conflicts: 137000 | #Constraints: 670561 2291.65/2300.67 c #Conflicts: 138000 | #Constraints: 671567 2291.65/2300.67 c #Conflicts: 139000 | #Constraints: 672582 2291.65/2300.67 c INPROCESSING 2291.65/2300.67 c GARBAGE COLLECT 2291.65/2300.67 c rational objective 190.088 2387.57/2397.00 c #Conflicts: 140000 | #Constraints: 666132 2387.57/2397.00 c #Conflicts: 141000 | #Constraints: 667132 2387.57/2397.00 c #Conflicts: 142000 | #Constraints: 668133 2387.57/2397.00 c #Conflicts: 143000 | #Constraints: 669133 2387.57/2397.00 c #Conflicts: 144000 | #Constraints: 670133 2387.57/2397.00 c #Conflicts: 145000 | #Constraints: 671134 2387.57/2397.00 c #Conflicts: 146000 | #Constraints: 672134 2387.57/2397.00 c #Conflicts: 147000 | #Constraints: 673134 2387.57/2397.00 c INPROCESSING 2387.57/2397.00 c GARBAGE COLLECT 2387.57/2397.00 c rational objective 190.088 2538.43/2548.41 c #Conflicts: 148000 | #Constraints: 666515 2538.43/2548.41 c #Conflicts: 149000 | #Constraints: 667515 2538.43/2548.41 c #Conflicts: 150000 | #Constraints: 668515 2538.43/2548.41 c #Conflicts: 151000 | #Constraints: 669515 2538.43/2548.41 c #Conflicts: 152000 | #Constraints: 670516 2538.43/2548.41 c #Conflicts: 153000 | #Constraints: 671516 2538.43/2548.41 c bounds 339 >= 89 @ 2448.47 2538.43/2548.41 c #Conflicts: 154000 | #Constraints: 672565 2538.43/2548.41 c #Conflicts: 155000 | #Constraints: 674095 2538.43/2548.41 c INPROCESSING 2538.43/2548.41 c GARBAGE COLLECT 2538.43/2548.41 c rational objective 190.088 3047.89/3060.06 c #Conflicts: 156000 | #Constraints: 667154 3047.89/3060.06 c #Conflicts: 157000 | #Constraints: 668447 3047.89/3060.06 c #Conflicts: 158000 | #Constraints: 670185 3047.89/3060.06 c #Conflicts: 159000 | #Constraints: 671540 3047.89/3060.06 c #Conflicts: 160000 | #Constraints: 672835 3047.89/3060.06 c #Conflicts: 161000 | #Constraints: 674389 3047.89/3060.06 c #Conflicts: 162000 | #Constraints: 676126 3047.89/3060.06 c #Conflicts: 163000 | #Constraints: 677758 3047.89/3060.06 c INPROCESSING 3047.89/3060.06 c GARBAGE COLLECT 3047.89/3060.06 c rational objective 190.088 3188.61/3201.30 c #Conflicts: 164000 | #Constraints: 668836 3188.61/3201.30 c #Conflicts: 165000 | #Constraints: 669836 3188.61/3201.30 c #Conflicts: 166000 | #Constraints: 670837 3188.61/3201.30 c #Conflicts: 167000 | #Constraints: 671837 3188.61/3201.30 c #Conflicts: 168000 | #Constraints: 672837 3188.61/3201.30 c #Conflicts: 169000 | #Constraints: 673837 3188.61/3201.30 c #Conflicts: 170000 | #Constraints: 674838 3188.61/3201.30 c #Conflicts: 171000 | #Constraints: 675838 3188.61/3201.30 c INPROCESSING 3188.61/3201.30 c GARBAGE COLLECT 3188.61/3201.30 c rational objective 190.088 3351.25/3364.68 c #Conflicts: 172000 | #Constraints: 667593 3351.25/3364.68 c #Conflicts: 173000 | #Constraints: 668593 3351.25/3364.68 c #Conflicts: 174000 | #Constraints: 669593 3351.25/3364.68 c #Conflicts: 175000 | #Constraints: 670593 3351.25/3364.68 c #Conflicts: 176000 | #Constraints: 671594 3351.25/3364.68 c #Conflicts: 177000 | #Constraints: 672594 3351.25/3364.68 c #Conflicts: 178000 | #Constraints: 673594 3351.25/3364.68 c #Conflicts: 179000 | #Constraints: 674594 3351.25/3364.68 c bounds 339 >= 90 @ 3273.26 3351.25/3364.68 c #Conflicts: 180000 | #Constraints: 675633 3351.25/3364.68 c INPROCESSING 3351.25/3364.68 c GARBAGE COLLECT 3351.25/3364.68 c rational objective 190.088 3487.79/3501.72 c #Conflicts: 181000 | #Constraints: 667710 3487.79/3501.72 c #Conflicts: 182000 | #Constraints: 668710 3487.79/3501.72 c #Conflicts: 183000 | #Constraints: 669711 3487.79/3501.72 c #Conflicts: 184000 | #Constraints: 670711 3487.79/3501.72 c #Conflicts: 185000 | #Constraints: 671713 3487.79/3501.72 c #Conflicts: 186000 | #Constraints: 672713 3487.79/3501.72 c #Conflicts: 187000 | #Constraints: 673713 3487.79/3501.72 c #Conflicts: 188000 | #Constraints: 674713 3487.79/3501.72 c #Conflicts: 189000 | #Constraints: 675713 3487.79/3501.72 c INPROCESSING 3487.79/3501.72 c GARBAGE COLLECT 3487.79/3501.72 c rational objective 190.088 3600.04/3614.40 c #Conflicts: 190000 | #Constraints: 667844 3600.04/3614.40 c #Conflicts: 191000 | #Constraints: 668846 3600.04/3614.40 c #Conflicts: 192000 | #Constraints: 669846 3600.04/3614.40 c #Conflicts: 193000 | #Constraints: 670846 3600.04/3614.40 c #Conflicts: 194000 | #Constraints: 671846 3600.04/3614.40 c #Conflicts: 195000 | #Constraints: 672846 3600.04/3614.40 c #Conflicts: 196000 | #Constraints: 673846 3600.04/3614.40 c Program interrupted by user. 3600.04/3614.40 c cpu time 3581.83 s 3600.04/3614.40 c deterministic time 354838546750 3.55e+11 3600.04/3614.40 c optimization time 108.493 s 3600.04/3614.40 c total solve time 3471.59 s 3600.04/3614.40 c core-guided solve time 2051.76 s 3600.04/3614.40 c propagation time 1929.36 s 3600.04/3614.40 c conflict analysis time 462.834 s 3600.04/3614.40 c propagations 65812882 3600.04/3614.40 c resolve steps 2943496 3600.04/3614.40 c decisions 11214552 3600.04/3614.40 c conflicts 196074 3600.04/3614.40 c restarts 509 3600.04/3614.40 c inprocessing phases 35 3600.04/3614.40 c input clauses 657173 3600.04/3614.40 c input cardinalities 63 3600.04/3614.40 c input general constraints 838 3600.04/3614.40 c input average constraint length 6.57 3600.04/3614.40 c input average constraint degree 128.11 3600.04/3614.40 c learned clauses 88713 3600.04/3614.40 c learned cardinalities 41 3600.04/3614.40 c learned general constraints 115697 3600.04/3614.40 c learned average constraint length 3999.57 3600.04/3614.40 c learned average constraint degree 84844359358.51 3600.04/3614.40 c watched constraints 26240 3600.04/3614.40 c counting constraints 90295 3600.04/3614.40 c gcd simplifications 3220 3600.04/3614.40 c detected cardinalities 10 3600.04/3614.40 c weakened non-implied lits 288538205 3600.04/3614.40 c weakened non-implying lits 56296 3600.04/3614.40 c original variables 10000 3600.04/3614.40 c clausal propagations 14413899 3600.04/3614.40 c cardinality propagations 105622 3600.04/3614.40 c watched propagations 3147844 3600.04/3614.40 c counting propagations 47477918 3600.04/3614.40 c watch lookups 12506041546 3600.04/3614.40 c watch backjump lookups 12348184469 3600.04/3614.40 c watch checks 128697506288 3600.04/3614.40 c propagation checks 197256445615 3600.04/3614.40 c constraint additions 3875755510 3600.04/3614.40 c trail pops 77213321 3600.04/3614.40 c formula constraints 656900 3600.04/3614.40 c learned constraints 195774 3600.04/3614.40 c bound constraints 232 3600.04/3614.40 c core-guided constraints 942 3600.04/3614.40 c encountered formula constraints 1480917 3600.04/3614.40 c encountered learned constraints 1192508 3600.04/3614.40 c encountered bound constraints 12515 3600.04/3614.40 c encountered core-guided constraints 430726 3600.04/3614.40 c LP total time 1880.5 s 3600.04/3614.40 c LP solve time 1660.49 s 3600.04/3614.40 c LP constraints added 656954 3600.04/3614.40 c LP constraints removed 37 3600.04/3614.40 c LP pivots internal 198974 3600.04/3614.40 c LP pivots root 173592 3600.04/3614.40 c LP calls 8648 3600.04/3614.40 c LP optimalities 261 3600.04/3614.40 c LP no pivot count 102 3600.04/3614.40 c LP infeasibilities 8363 3600.04/3614.40 c LP valid Farkas constraints 8341 3600.04/3614.40 c LP learned Farkas constraints 304 3600.04/3614.40 c LP basis resets 24 3600.04/3614.40 c LP cycling count 4 3600.04/3614.40 c LP singular count 6 3600.04/3614.40 c LP no primal count 0 3600.04/3614.40 c LP no farkas count 5 3600.04/3614.40 c LP other issue count 9 3600.04/3614.40 c LP Gomory cuts 32 3600.04/3614.40 c LP learned cuts 22 3600.04/3614.40 c LP deleted cuts 37 3600.04/3614.40 c LP encountered Gomory constraints 703 3600.04/3614.40 c LP encountered Farkas constraints 20948 3600.04/3614.40 c LP encountered learned Farkas constraints 949 3600.04/3614.40 c CG auxiliary variables introduced 335 3600.04/3614.40 c CG solutions found 169 3600.04/3614.40 c CG cores constructed 63 3600.04/3614.40 c CG core cardinality constraints returned 0 3600.04/3614.40 c CG unit cores 0 3600.04/3614.40 c CG single cores 62 3600.04/3614.40 c CG blocks removed during cardinality reduction 0 3600.04/3614.40 c CG first core best 0 3600.04/3614.40 c CG decision core best 0 3600.04/3614.40 c CG core reduction tie 1 3600.04/3614.40 c CG core degree average 1.00 3600.04/3614.40 c CG core slack average 740.46 3600.04/3614.40 s SATISFIABLE 3600.04/3614.40 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 -x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 x886 -x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000
OK 339
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (62797 MiB free)
memory of node 1: 64510 MiB (63037 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455139-1721459292/watcher-4455139-1721459292 -o /tmp/evaluation-result-4455139-1721459292/solver-4455139-1721459292 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721459303-1045845 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455139-1721459292.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1045907, runsolver pid=1045900
[startup+0.100438 s]*
/proc/loadavg: 1.70 3.13 3.75 6/242 1045908
/proc/meminfo: memFree=128842540/131655788 swapFree=131071996/131071996
[pid=1045907] ppid=1045900 vsize=40436 memory=10764 CPUtime=0.1 cores=0,2
/proc/1045907/stat : 1045907 (roundingsat) R 1045900 1045907 1045835 0 -1 4194304 1507 0 0 0 6 4 0 0 20 0 1 0 198088794 41406464 2691 134679101440 4194304 7968373 140736144221104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12976128 140736144225212 140736144225376 140736144225376 140736144232393 0
/proc/1045907/statm: 10109 2691 1247 922 0 2061 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40436 KiB
Current children cumulated memory: 10764 KiB
[startup+0.212975 s]*
/proc/loadavg: 1.70 3.13 3.75 6/242 1045908
/proc/meminfo: memFree=128835564/131655788 swapFree=131071996/131071996
[pid=1045907] ppid=1045900 vsize=40436 memory=11024 CPUtime=0.21 cores=0,2
/proc/1045907/stat : 1045907 (roundingsat) R 1045900 1045907 1045835 0 -1 4194304 1539 0 0 0 14 7 0 0 20 0 1 0 198088794 41406464 2756 134679101440 4194304 7968373 140736144221104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12976128 140736144225212 140736144225376 140736144225376 140736144232393 0
/proc/1045907/statm: 10109 2756 1247 922 0 2061 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40436 KiB
Current children cumulated memory: 11024 KiB
[startup+0.31254 s]*
/proc/loadavg: 1.70 3.13 3.75 6/242 1045908
/proc/meminfo: memFree=128827604/131655788 swapFree=131071996/131071996
[pid=1045907] ppid=1045900 vsize=40952 memory=11288 CPUtime=0.31 cores=0,2
/proc/1045907/stat : 1045907 (roundingsat) R 1045900 1045907 1045835 0 -1 4194304 1654 0 0 0 21 10 0 0 20 0 1 0 198088794 41934848 2822 134679101440 4194304 7968373 140736144221104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12976128 140736144225212 140736144225376 140736144225376 140736144232393 0
/proc/1045907/statm: 10238 2822 1247 922 0 2190 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40952 KiB
Current children cumulated memory: 11288 KiB
[startup+0.700279 s]
/proc/loadavg: 1.70 3.13 3.75 6/242 1045908
/proc/meminfo: memFree=128817440/131655788 swapFree=131071996/131071996
[pid=1045907] ppid=1045900 vsize=45256 memory=15060 CPUtime=0.69 cores=0,2
/proc/1045907/stat : 1045907 (roundingsat) R 1045900 1045907 1045835 0 -1 4194304 2565 0 0 0 47 22 0 0 20 0 1 0 198088794 46342144 3765 134679101440 4194304 7968373 140736144221104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12976128 140736144225212 140736144225376 140736144225376 140736144232393 0
/proc/1045907/statm: 11314 3765 1247 922 0 3266 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45256 KiB
Current children cumulated memory: 15060 KiB
[startup+1.50028 s]
/proc/loadavg: 1.70 3.13 3.75 7/242 1045908
/proc/meminfo: memFree=128780232/131655788 swapFree=131071996/131071996
[pid=1045907] ppid=1045900 vsize=64372 memory=32160 CPUtime=1.48 cores=0,2
/proc/1045907/stat : 1045907 (roundingsat) R 1045900 1045907 1045835 0 -1 4194304 5827 0 0 0 99 49 0 0 20 0 1 0 198088794 65916928 8040 134679101440 4194304 7968373 140736144221104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12976128 140736144225212 140736144225376 140736144225376 140736144232393 0
/proc/1045907/statm: 16093 8040 1247 922 0 8045 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 64372 KiB
Current children cumulated memory: 32160 KiB
[startup+3.11342 s]
/proc/loadavg: 1.70 3.13 3.75 6/242 1045908
/proc/meminfo: memFree=127568592/131655788 swapFree=131071996/131071996
[pid=1045907] ppid=1045900 vsize=360724 memory=329636 CPUtime=3.09 cores=0,2
/proc/1045907/stat : 1045907 (roundingsat) R 1045900 1045907 1045835 0 -1 4194304 59592 0 0 0 219 90 0 0 20 0 1 0 198088794 369381376 82409 134679101440 4194304 7968373 140736144221104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12976128 140736144225212 140736144225376 140736144225376 140736144232393 0
/proc/1045907/statm: 90181 82409 1645 922 0 82133 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 360724 KiB
Current children cumulated memory: 329636 KiB
[startup+6.30031 s]
/proc/loadavg: 1.88 3.14 3.75 6/242 1045910
/proc/meminfo: memFree=127569044/131655788 swapFree=131071996/131071996
[pid=1045907] ppid=1045900 vsize=360724 memory=329636 CPUtime=6.26 cores=0,2
/proc/1045907/stat : 1045907 (roundingsat) R 1045900 1045907 1045835 0 -1 4194304 59628 0 0 0 536 90 0 0 20 0 1 0 198088794 369381376 82409 134679101440 4194304 7968373 140736144221104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12976128 140736144225212 140736144225376 140736144225376 140736144232393 0
/proc/1045907/statm: 90181 82409 1645 922 0 82133 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 360724 KiB
Current children cumulated memory: 329636 KiB
[startup+12.7003 s]
/proc/loadavg: 2.05 3.16 3.75 6/242 1045910
/proc/meminfo: memFree=127371464/131655788 swapFree=131071996/131071996
[pid=1045907] ppid=1045900 vsize=467092 memory=381212 CPUtime=12.64 cores=0,2
/proc/1045907/stat : 1045907 (roundingsat) R 1045900 1045907 1045835 0 -1 4194304 66528 0 0 0 1131 133 0 0 20 0 1 0 198088794 478302208 95303 134679101440 4194304 7968373 140736144221104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12976128 140736144225212 140736144225376 140736144225376 140736144232393 0
/proc/1045907/statm: 116773 95303 1843 922 0 108725 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 467092 KiB
Current children cumulated memory: 381212 KiB
[startup+25.5004 s]
/proc/loadavg: 2.48 3.20 3.75 6/242 1045913
/proc/meminfo: memFree=127051832/131655788 swapFree=131071996/131071996
[pid=1045907] ppid=1045900 vsize=537984 memory=443844 CPUtime=25.39 cores=0,2
/proc/1045907/stat : 1045907 (roundingsat) R 1045900 1045907 1045835 0 -1 4194304 72597 0 0 0 2365 174 0 0 20 0 1 0 198088794 550895616 110961 134679101440 4194304 7968373 140736144221104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12976128 140736144225212 140736144225376 140736144225376 140736144232393 0
/proc/1045907/statm: 134496 110961 1843 922 0 126448 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 537984 KiB
Current children cumulated memory: 443844 KiB
[startup+51.113 s]
/proc/loadavg: 3.13 3.30 3.77 6/242 1045919
/proc/meminfo: memFree=126554372/131655788 swapFree=131071996/131071996
[pid=1045907] ppid=1045900 vsize=641964 memory=523420 CPUtime=50.92 cores=0,2
/proc/1045907/stat : 1045907 (roundingsat) R 1045900 1045907 1045835 0 -1 4194304 80352 0 0 0 4884 208 0 0 20 0 1 0 198088794 657371136 130855 134679101440 4194304 7968373 140736144221104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12976128 140736144225212 140736144225376 140736144225376 140736144232393 0
/proc/1045907/statm: 160491 130855 1843 922 0 152443 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 641964 KiB
Current children cumulated memory: 523420 KiB
[startup+102.3 s]
/proc/loadavg: 3.68 3.42 3.79 6/242 1045928
/proc/meminfo: memFree=126160832/131655788 swapFree=131071996/131071996
[pid=1045907] ppid=1045900 vsize=805184 memory=654548 CPUtime=101.93 cores=0,2
/proc/1045907/stat : 1045907 (roundingsat) R 1045900 1045907 1045835 0 -1 4194304 93179 0 0 0 9926 267 0 0 20 0 1 0 198088794 824508416 163637 134679101440 4194304 7968373 140736144221104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12976128 140736144225212 140736144225376 140736144225376 140736144232393 0
/proc/1045907/statm: 201296 163637 1843 922 0 193248 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 805184 KiB
Current children cumulated memory: 654548 KiB
[startup+162.3 s]
/proc/loadavg: 4.00 3.56 3.82 6/244 1045942
/proc/meminfo: memFree=125141888/131655788 swapFree=131071996/131071996
[pid=1045907] ppid=1045900 vsize=948816 memory=840896 CPUtime=161.72 cores=0,2
/proc/1045907/stat : 1045907 (roundingsat) R 1045900 1045907 1045835 0 -1 4194304 111051 0 0 0 15866 306 0 0 20 0 1 0 198088794 971587584 210224 134679101440 4194304 7968373 140736144221104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12976128 140736144225212 140736144225376 140736144225376 140736144232393 0
/proc/1045907/statm: 237204 210224 1971 922 0 229156 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 948816 KiB
Current children cumulated memory: 840896 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 3.69 3.85 6/244 1045952
/proc/meminfo: memFree=124542384/131655788 swapFree=131071996/131071996
[pid=1045907] ppid=1045900 vsize=1150196 memory=962440 CPUtime=221.51 cores=0,2
/proc/1045907/stat : 1045907 (roundingsat) R 1045900 1045907 1045835 0 -1 4194304 122742 0 0 0 21803 348 0 0 20 0 1 0 198088794 1177800704 240610 134679101440 4194304 7968373 140736144221104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12976128 140736144225212 140736144225376 140736144225376 140736144232393 0
/proc/1045907/statm: 287549 240610 1971 922 0 279501 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 1150196 KiB
Current children cumulated memory: 962440 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 3.78 3.87 6/244 1045963
/proc/meminfo: memFree=124303084/131655788 swapFree=131071996/131071996
[pid=1045907] ppid=1045900 vsize=1155332 memory=980684 CPUtime=281.31 cores=0,2
/proc/1045907/stat : 1045907 (roundingsat) R 1045900 1045907 1045835 0 -1 4194304 123317 0 0 0 27741 390 0 0 20 0 1 0 198088794 1183059968 245171 134679101440 4194304 7968373 140736144221104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12976128 140736144225212 140736144225376 140736144225376 140736144232393 0
/proc/1045907/statm: 288833 245171 1971 922 0 280785 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 1155332 KiB
Current children cumulated memory: 980684 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 3.85 3.89 6/243 1045973
/proc/meminfo: memFree=123974560/131655788 swapFree=131071996/131071996
[pid=1045907] ppid=1045900 vsize=1162224 memory=988008 CPUtime=341.09 cores=0,2
/proc/1045907/stat : 1045907 (roundingsat) R 1045900 1045907 1045835 0 -1 4194304 124633 0 0 0 33702 407 0 0 20 0 1 0 198088794 1190117376 247002 134679101440 4194304 7968373 140736144221104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12976128 140736144225212 140736144225376 140736144225376 140736144232393 0
/proc/1045907/statm: 290556 247002 1971 922 0 282508 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 1162224 KiB
Current children cumulated memory: 988008 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.90 3.91 6/243 1045984
/proc/meminfo: memFree=123487324/131655788 swapFree=131071996/131071996
[pid=1045907] ppid=1045900 vsize=1234708 memory=1065620 CPUtime=400.88 cores=0,2
/proc/1045907/stat : 1045907 (roundingsat) R 1045900 1045907 1045835 0 -1 4194304 129261 0 0 0 39625 463 0 0 20 0 1 0 198088794 1264340992 266405 134679101440 4194304 7968373 140736144221104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12976128 140736144225212 140736144225376 140736144225376 140736144232393 0
/proc/1045907/statm: 308677 266405 1971 922 0 300629 0
Current children cumulated CPU time: 400.88 s
Current children cumulated vsize: 1234708 KiB
Current children cumulated memory: 1065620 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.95 3.93 6/241 1045995
/proc/meminfo: memFree=123351408/131655788 swapFree=131071996/131071996
[pid=1045907] ppid=1045900 vsize=1482152 memory=1168484 CPUtime=460.68 cores=0,2
/proc/1045907/stat : 1045907 (roundingsat) R 1045900 1045907 1045835 0 -1 4194304 136403 0 0 0 45550 518 0 0 20 0 1 0 198088794 1517723648 292121 134679101440 4194304 7968373 140736144221104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12976128 140736144225212 140736144225376 140736144225376 140736144232393 0
/proc/1045907/statm: 370538 292121 1971 922 0 362490 0
################
# More data... #
################
Current children cumulated memory: 2395616 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.22 4.16 6/243 1047424
/proc/meminfo: memFree=118654544/131655788 swapFree=131071996/131071996
[pid=1045907] ppid=1045900 vsize=2764320 memory=2552656 CPUtime=2851.01 cores=0,2
/proc/1045907/stat : 1045907 (roundingsat) R 1045900 1045907 1045835 0 -1 4194304 321632 0 0 0 283590 1511 0 0 20 0 1 0 198088794 2830663680 638164 134679101440 4194304 7968373 140736144221104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12976128 140736144225212 140736144225376 140736144225376 140736144232393 0
/proc/1045907/statm: 691080 638164 1971 922 0 683032 0
Current children cumulated CPU time: 2851.01 s
Current children cumulated vsize: 2764320 KiB
Current children cumulated memory: 2552656 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.19 4.15 6/243 1047434
/proc/meminfo: memFree=118516164/131655788 swapFree=131071996/131071996
[pid=1045907] ppid=1045900 vsize=3357504 memory=2687880 CPUtime=2910.74 cores=0,2
/proc/1045907/stat : 1045907 (roundingsat) R 1045900 1045907 1045835 0 -1 4194304 334118 0 0 0 289554 1520 0 0 20 0 1 0 198088794 3438084096 671970 134679101440 4194304 7968373 140736144221104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12976128 140736144225212 140736144225376 140736144225376 140736144232393 0
/proc/1045907/statm: 839376 671970 1971 922 0 831328 0
Current children cumulated CPU time: 2910.74 s
Current children cumulated vsize: 3357504 KiB
Current children cumulated memory: 2687880 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.17 4.15 6/243 1047444
/proc/meminfo: memFree=118396792/131655788 swapFree=131071996/131071996
[pid=1045907] ppid=1045900 vsize=3379908 memory=2803556 CPUtime=2970.5 cores=0,2
/proc/1045907/stat : 1045907 (roundingsat) R 1045900 1045907 1045835 0 -1 4194304 344119 0 0 0 295521 1529 0 0 20 0 1 0 198088794 3461025792 700889 134679101440 4194304 7968373 140736144221104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12976128 140736144225212 140736144225376 140736144225376 140736144232393 0
/proc/1045907/statm: 844977 700889 1971 922 0 836929 0
Current children cumulated CPU time: 2970.5 s
Current children cumulated vsize: 3379908 KiB
Current children cumulated memory: 2803556 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.17 4.15 6/243 1047623
/proc/meminfo: memFree=118312468/131655788 swapFree=131071996/131071996
[pid=1045907] ppid=1045900 vsize=3422404 memory=2887008 CPUtime=3030.25 cores=0,2
/proc/1045907/stat : 1045907 (roundingsat) R 1045900 1045907 1045835 0 -1 4194304 355173 0 0 0 301487 1538 0 0 20 0 1 0 198088794 3504541696 721752 134679101440 4194304 7968373 140736144221104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12976128 140736144225212 140736144225376 140736144225376 140736144232393 0
/proc/1045907/statm: 855601 721752 1971 922 0 847553 0
Current children cumulated CPU time: 3030.25 s
Current children cumulated vsize: 3422404 KiB
Current children cumulated memory: 2887008 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.16 4.15 6/243 1047634
/proc/meminfo: memFree=118038796/131655788 swapFree=131071996/131071996
[pid=1045907] ppid=1045900 vsize=3422404 memory=2887208 CPUtime=3090.01 cores=0,2
/proc/1045907/stat : 1045907 (roundingsat) R 1045900 1045907 1045835 0 -1 4194304 356235 0 0 0 307438 1563 0 0 20 0 1 0 198088794 3504541696 721802 134679101440 4194304 7968373 140736144221104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12976128 140736144225212 140736144225376 140736144225376 140736144232393 0
/proc/1045907/statm: 855601 721802 1971 922 0 847553 0
Current children cumulated CPU time: 3090.01 s
Current children cumulated vsize: 3422404 KiB
Current children cumulated memory: 2887208 KiB
[startup+3162.3 s]
/proc/loadavg: 4.05 4.13 4.14 6/242 1047657
/proc/meminfo: memFree=118038328/131655788 swapFree=131071996/131071996
[pid=1045907] ppid=1045900 vsize=3422404 memory=2887208 CPUtime=3149.77 cores=0,2
/proc/1045907/stat : 1045907 (roundingsat) R 1045900 1045907 1045835 0 -1 4194304 356687 0 0 0 313374 1603 0 0 20 0 1 0 198088794 3504541696 721802 134679101440 4194304 7968373 140736144221104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12976128 140736144225212 140736144225376 140736144225376 140736144232393 0
/proc/1045907/statm: 855601 721802 1971 922 0 847553 0
Current children cumulated CPU time: 3149.77 s
Current children cumulated vsize: 3422404 KiB
Current children cumulated memory: 2887208 KiB
[startup+3222.3 s]
/proc/loadavg: 4.27 4.17 4.15 6/242 1047667
/proc/meminfo: memFree=118035460/131655788 swapFree=131071996/131071996
[pid=1045907] ppid=1045900 vsize=3422404 memory=2890168 CPUtime=3209.53 cores=0,2
/proc/1045907/stat : 1045907 (roundingsat) R 1045900 1045907 1045835 0 -1 4194304 357324 0 0 0 319312 1641 0 0 20 0 1 0 198088794 3504541696 722542 134679101440 4194304 7968373 140736144221104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12976128 140736144225212 140736144225376 140736144225376 140736144232393 0
/proc/1045907/statm: 855601 722542 1971 922 0 847553 0
Current children cumulated CPU time: 3209.53 s
Current children cumulated vsize: 3422404 KiB
Current children cumulated memory: 2890168 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.17 4.15 6/242 1047678
/proc/meminfo: memFree=118042412/131655788 swapFree=131071996/131071996
[pid=1045907] ppid=1045900 vsize=3422404 memory=2890168 CPUtime=3269.28 cores=0,2
/proc/1045907/stat : 1045907 (roundingsat) R 1045900 1045907 1045835 0 -1 4194304 357885 0 0 0 325245 1683 0 0 20 0 1 0 198088794 3504541696 722542 134679101440 4194304 7968373 140736144221104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12976128 140736144225212 140736144225376 140736144225376 140736144232393 0
/proc/1045907/statm: 855601 722542 1971 922 0 847553 0
Current children cumulated CPU time: 3269.28 s
Current children cumulated vsize: 3422404 KiB
Current children cumulated memory: 2890168 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.17 4.15 6/241 1047688
/proc/meminfo: memFree=118032796/131655788 swapFree=131071996/131071996
[pid=1045907] ppid=1045900 vsize=3422404 memory=2890168 CPUtime=3329.04 cores=0,2
/proc/1045907/stat : 1045907 (roundingsat) R 1045900 1045907 1045835 0 -1 4194304 358414 0 0 0 331198 1706 0 0 20 0 1 0 198088794 3504541696 722542 134679101440 4194304 7968373 140736144221104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12976128 140736144225212 140736144225376 140736144225376 140736144232393 0
/proc/1045907/statm: 855601 722542 1971 922 0 847553 0
Current children cumulated CPU time: 3329.04 s
Current children cumulated vsize: 3422404 KiB
Current children cumulated memory: 2890168 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.17 4.15 6/242 1047700
/proc/meminfo: memFree=118013832/131655788 swapFree=131071996/131071996
[pid=1045907] ppid=1045900 vsize=3422404 memory=2890168 CPUtime=3388.8 cores=0,2
/proc/1045907/stat : 1045907 (roundingsat) R 1045900 1045907 1045835 0 -1 4194304 358932 0 0 0 337148 1732 0 0 20 0 1 0 198088794 3504541696 722542 134679101440 4194304 7968373 140736144221104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12976128 140736144225212 140736144225376 140736144225376 140736144232393 0
/proc/1045907/statm: 855601 722542 1971 922 0 847553 0
Current children cumulated CPU time: 3388.8 s
Current children cumulated vsize: 3422404 KiB
Current children cumulated memory: 2890168 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.15 4.14 6/242 1047711
/proc/meminfo: memFree=118003732/131655788 swapFree=131071996/131071996
[pid=1045907] ppid=1045900 vsize=3424464 memory=2886072 CPUtime=3448.55 cores=0,2
/proc/1045907/stat : 1045907 (roundingsat) R 1045900 1045907 1045835 0 -1 4194304 362767 0 0 0 343093 1762 0 0 20 0 1 0 198088794 3506651136 721518 134679101440 4194304 7968373 140736144221104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12976128 140736144225212 140736144225376 140736144225376 140736144232393 0
/proc/1045907/statm: 856116 721518 1971 922 0 848068 0
Current children cumulated CPU time: 3448.55 s
Current children cumulated vsize: 3424464 KiB
Current children cumulated memory: 2886072 KiB
[startup+3522.3 s]
/proc/loadavg: 4.25 4.18 4.15 6/242 1047721
/proc/meminfo: memFree=117988760/131655788 swapFree=131071996/131071996
[pid=1045907] ppid=1045900 vsize=3424464 memory=2892216 CPUtime=3508.31 cores=0,2
/proc/1045907/stat : 1045907 (roundingsat) R 1045900 1045907 1045835 0 -1 4194304 363282 0 0 0 349044 1787 0 0 20 0 1 0 198088794 3506651136 723054 134679101440 4194304 7968373 140736144221104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12976128 140736144225212 140736144225376 140736144225376 140736144232393 0
/proc/1045907/statm: 856116 723054 1971 922 0 848068 0
Current children cumulated CPU time: 3508.31 s
Current children cumulated vsize: 3424464 KiB
Current children cumulated memory: 2892216 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.16 4.15 6/242 1047731
/proc/meminfo: memFree=117942088/131655788 swapFree=131071996/131071996
[pid=1045907] ppid=1045900 vsize=3424464 memory=2885972 CPUtime=3568.07 cores=0,2
/proc/1045907/stat : 1045907 (roundingsat) R 1045900 1045907 1045835 0 -1 4194304 367696 0 0 0 354995 1812 0 0 20 0 1 0 198088794 3506651136 721493 134679101440 4194304 7968373 140736144221104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12976128 140736144225212 140736144225376 140736144225376 140736144232393 0
/proc/1045907/statm: 856116 721493 1971 922 0 848068 0
Current children cumulated CPU time: 3568.07 s
Current children cumulated vsize: 3424464 KiB
Current children cumulated memory: 2885972 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3614.4 s]
/proc/loadavg: 4.15 4.16 4.15 5/243 1047877
/proc/meminfo: memFree=125720664/131655788 swapFree=131071996/131071996
[pid=1045907] ppid=1045900 vsize=3424464 memory=2886072 CPUtime=3600.04 cores=0,2
/proc/1045907/stat : 1045907 (roundingsat) R 1045900 1045907 1045835 0 -1 4194304 368089 0 0 0 358183 1821 0 0 20 0 1 0 198088794 3506651136 721518 134679101440 4194304 7968373 140736144221104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12976128 140736144225212 140736144225376 140736144225376 140736144232393 0
/proc/1045907/statm: 856116 721518 1971 922 0 848068 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 3424464 KiB
Current children cumulated memory: 2886072 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3614.47 s]
# the end of solver process 1045907 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.84 s, system=18.28 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3614.47
CPU time (s): 3600.12
CPU user time (s): 3581.84
CPU system time (s): 18.28
CPU usage (%): 99.6031
Max. virtual memory (cumulated for all children) (KiB): 3536116
Max. memory (cumulated for all children) (KiB): 3005372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.84
system time used= 18.28
maximum resident set size= 3005372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 368150
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= 6
involuntary context switches= 24676
# summary of solver processes directly reported to runsolver:
# pid: 1045907
# total CPU time (s): 3600.12
# total CPU user time (s): 3581.84
# total CPU system time (s): 18.28
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8045 second user time and 36.5622 second system time
The end
Begin job on nodeC009 at 2024-07-20 09:08:24 IDJOB=4455139 IDBENCH=147558 IDSOLVER=3084 FILE ID=nodeC009/4455139-1721459292 RUNJOBID= nodeC009-1721459303-1045845 SLURM_JOB_ID= 7545707 Free space on /tmp= 723692 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455139-1721459292/watcher-4455139-1721459292 -o /tmp/evaluation-result-4455139-1721459292/solver-4455139-1721459292 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721459303-1045845 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455139-1721459292.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9792288b3bfa4387008e61c6fa17d472 RANDOM SEED=1089709519 nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.318 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.332 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.325 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.318 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.360 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 2294.855 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.317 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.536 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 128860568 kB MemAvailable: 129896456 kB Buffers: 600408 kB Cached: 1279496 kB SwapCached: 0 kB Active: 1159068 kB Inactive: 1080784 kB Active(anon): 1412 kB Inactive(anon): 404456 kB Active(file): 1157656 kB Inactive(file): 676328 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 88224 kB Writeback: 0 kB AnonPages: 360032 kB Mapped: 108556 kB Shmem: 45892 kB KReclaimable: 83868 kB Slab: 185196 kB SReclaimable: 83868 kB SUnreclaim: 101328 kB KernelStack: 3796 kB PageTables: 10252 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 790960 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 61952 kB HardwareCorrupted: 0 kB AnonHugePages: 235520 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 187208 kB DirectMap2M: 19640320 kB DirectMap1G: 116391936 kB Free space on /tmp at the end= 723700 MiB End job on nodeC009 at 2024-07-20 10:08:38