| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | No Cert. | 3600.21 | 3663.6 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb |
| MD5SUM | eddbc5130f16a1842e21dd4bd4477bf2 |
| 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 | 254 |
| Best CPU time to get the best result obtained on this benchmark | 3558.02 |
| 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 | 494527 |
| 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 | 494527 |
| 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.58/2.68 c #variables 10000 #constraints 656900 4.17/4.26 c bounds - >= 0 @ 2.00575 4.17/4.26 c rational objective 181.5 28.09/28.21 c bounds 6291 >= 0 @ 4.47346 28.09/28.21 c bounds 5939 >= 0 @ 4.48307 28.09/28.21 c bounds 5897 >= 0 @ 4.49486 28.09/28.21 c bounds 5700 >= 0 @ 4.50207 28.09/28.21 c bounds 5632 >= 0 @ 4.50736 28.09/28.21 c bounds 5426 >= 0 @ 4.51165 28.09/28.21 c bounds 5399 >= 0 @ 4.52118 28.09/28.21 c bounds 5307 >= 0 @ 4.52477 28.09/28.21 c bounds 5296 >= 0 @ 4.64504 28.09/28.21 c bounds 5244 >= 0 @ 4.65144 28.09/28.21 c bounds 5240 >= 0 @ 4.65578 28.09/28.21 c bounds 5202 >= 0 @ 4.66039 28.09/28.21 c bounds 5173 >= 0 @ 4.67463 28.09/28.21 c bounds 5111 >= 0 @ 4.68277 28.09/28.21 c bounds 5097 >= 0 @ 4.69504 28.09/28.21 c bounds 5054 >= 0 @ 4.70096 28.09/28.21 c bounds 5021 >= 0 @ 4.70678 28.09/28.21 c bounds 4966 >= 0 @ 4.71379 28.09/28.21 c bounds 4896 >= 0 @ 4.72032 28.09/28.21 c bounds 4870 >= 0 @ 4.72865 28.09/28.21 c bounds 4823 >= 0 @ 4.73269 28.09/28.21 c bounds 4674 >= 0 @ 4.73891 28.09/28.21 c bounds 4661 >= 0 @ 4.85087 28.09/28.21 c #Conflicts: 1000 | #Constraints: 657932 28.09/28.21 c #Conflicts: 2000 | #Constraints: 658951 28.09/28.21 c INPROCESSING 28.09/28.21 c GARBAGE COLLECT 28.09/28.21 c bounds 4648 >= 0 @ 19.4643 28.09/28.21 c bounds 4622 >= 0 @ 19.479 28.09/28.21 c bounds 4619 >= 0 @ 19.4908 28.09/28.21 c bounds 4618 >= 0 @ 19.5373 28.09/28.21 c bounds 4599 >= 0 @ 19.8037 28.09/28.21 c bounds 4569 >= 0 @ 19.8338 28.09/28.21 c bounds 4553 >= 0 @ 19.8449 28.09/28.21 c bounds 4515 >= 0 @ 19.9585 28.09/28.21 c bounds 4514 >= 0 @ 19.9781 28.09/28.21 c bounds 4440 >= 0 @ 19.9961 28.09/28.21 c bounds 4434 >= 0 @ 20.1157 28.09/28.21 c bounds 4422 >= 0 @ 20.1432 28.09/28.21 c bounds 4389 >= 0 @ 20.1675 28.09/28.21 c bounds 4338 >= 0 @ 20.2584 28.09/28.21 c bounds 4266 >= 0 @ 20.364 28.09/28.21 c bounds 4263 >= 0 @ 20.3769 28.09/28.21 c bounds 4234 >= 0 @ 20.3894 28.09/28.21 c bounds 4172 >= 0 @ 20.5021 28.09/28.21 c bounds 4103 >= 0 @ 20.5178 28.09/28.21 c bounds 4093 >= 0 @ 20.5383 28.09/28.21 c bounds 4042 >= 0 @ 20.5578 28.09/28.21 c bounds 4014 >= 0 @ 20.6649 28.09/28.21 c bounds 4010 >= 0 @ 20.7723 28.09/28.21 c bounds 4006 >= 0 @ 20.792 28.09/28.21 c bounds 3986 >= 0 @ 20.8144 28.09/28.21 c bounds 3941 >= 0 @ 20.8381 28.09/28.21 c bounds 3928 >= 0 @ 21.0127 28.09/28.21 c bounds 3865 >= 0 @ 21.0312 28.09/28.21 c bounds 3817 >= 0 @ 21.0561 28.09/28.21 c bounds 3792 >= 0 @ 21.0706 28.09/28.21 c bounds 3726 >= 0 @ 21.1663 28.09/28.21 c bounds 3707 >= 0 @ 21.1863 28.09/28.21 c bounds 3704 >= 0 @ 21.2012 28.09/28.21 c bounds 3697 >= 0 @ 21.2234 28.09/28.21 c bounds 3693 >= 0 @ 21.2356 28.09/28.21 c bounds 3669 >= 0 @ 21.3745 28.09/28.21 c bounds 3601 >= 0 @ 21.4091 28.09/28.21 c bounds 3597 >= 0 @ 21.5411 28.09/28.21 c bounds 3584 >= 0 @ 21.5775 28.09/28.21 c bounds 3583 >= 0 @ 21.5896 28.09/28.21 c bounds 3575 >= 0 @ 21.6192 28.09/28.21 c bounds 3559 >= 0 @ 21.7763 28.09/28.21 c bounds 3535 >= 0 @ 21.8022 28.09/28.21 c bounds 3510 >= 0 @ 21.8203 28.09/28.21 c bounds 3464 >= 0 @ 21.8328 28.09/28.21 c bounds 3403 >= 0 @ 21.8542 28.09/28.21 c bounds 3360 >= 0 @ 21.8685 28.09/28.21 c bounds 3298 >= 0 @ 21.8932 28.09/28.21 c bounds 3252 >= 0 @ 21.9871 28.09/28.21 c bounds 3247 >= 0 @ 22.0007 28.09/28.21 c bounds 3236 >= 0 @ 22.03 28.09/28.21 c bounds 3219 >= 0 @ 22.1406 28.09/28.21 c bounds 3166 >= 0 @ 22.1526 28.09/28.21 c bounds 3157 >= 0 @ 22.1643 28.09/28.21 c bounds 3103 >= 0 @ 22.2496 28.09/28.21 c bounds 3090 >= 0 @ 22.2691 28.09/28.21 c bounds 3055 >= 0 @ 22.3786 28.09/28.21 c bounds 3052 >= 0 @ 22.3936 28.09/28.21 c bounds 3003 >= 0 @ 22.4083 28.09/28.21 c bounds 2991 >= 0 @ 22.4224 28.09/28.21 c bounds 2990 >= 0 @ 22.4351 28.09/28.21 c bounds 2984 >= 0 @ 22.5508 28.09/28.21 c bounds 2960 >= 0 @ 22.5721 28.09/28.21 c bounds 2908 >= 0 @ 22.6849 28.09/28.21 c bounds 2906 >= 0 @ 22.6982 28.09/28.21 c bounds 2886 >= 0 @ 22.7187 28.09/28.21 c bounds 2854 >= 0 @ 22.7342 28.09/28.21 c bounds 2823 >= 0 @ 22.8649 28.09/28.21 c bounds 2820 >= 0 @ 22.8915 28.09/28.21 c bounds 2736 >= 0 @ 22.9113 28.09/28.21 c bounds 2725 >= 0 @ 22.9263 28.09/28.21 c bounds 2710 >= 0 @ 22.949 28.09/28.21 c bounds 2705 >= 0 @ 22.9662 28.09/28.21 c bounds 2671 >= 0 @ 23.0793 28.09/28.21 c bounds 2640 >= 0 @ 23.0961 28.09/28.21 c bounds 2632 >= 0 @ 23.1153 28.09/28.21 c bounds 2573 >= 0 @ 23.1376 28.09/28.21 c bounds 2568 >= 0 @ 23.1507 28.09/28.21 c bounds 2519 >= 0 @ 23.1689 28.09/28.21 c bounds 2490 >= 0 @ 23.2861 28.09/28.21 c bounds 2480 >= 0 @ 23.302 28.09/28.21 c bounds 2461 >= 0 @ 23.3166 28.09/28.21 c bounds 2411 >= 0 @ 23.3433 28.09/28.21 c bounds 2382 >= 0 @ 23.3727 28.09/28.21 c bounds 2377 >= 0 @ 23.4879 28.09/28.21 c bounds 2358 >= 0 @ 23.5096 28.09/28.21 c bounds 2335 >= 0 @ 23.5403 28.09/28.21 c bounds 2317 >= 0 @ 23.5811 28.09/28.21 c bounds 2296 >= 0 @ 23.7046 28.09/28.21 c bounds 2277 >= 0 @ 23.8278 28.09/28.21 c bounds 2249 >= 0 @ 23.9435 28.09/28.21 c bounds 2214 >= 0 @ 23.9674 28.09/28.21 c bounds 2195 >= 0 @ 23.9911 28.09/28.21 c bounds 2168 >= 0 @ 24.1354 28.09/28.21 c bounds 2160 >= 0 @ 24.1646 28.09/28.21 c bounds 2159 >= 0 @ 24.2149 28.09/28.21 c bounds 2141 >= 0 @ 24.3118 28.09/28.21 c bounds 2134 >= 0 @ 24.8597 28.09/28.21 c bounds 2132 >= 0 @ 24.9759 28.09/28.21 c bounds 2106 >= 0 @ 25.0184 28.09/28.21 c bounds 2103 >= 0 @ 25.3416 28.09/28.21 c bounds 2101 >= 0 @ 25.3658 28.09/28.21 c bounds 2054 >= 0 @ 25.4728 28.09/28.21 c bounds 2043 >= 0 @ 25.7793 28.09/28.21 c bounds 2035 >= 0 @ 25.8264 28.09/28.21 c bounds 2033 >= 0 @ 25.8399 28.09/28.21 c bounds 2013 >= 0 @ 26.2261 28.09/28.21 c bounds 2008 >= 0 @ 26.4551 28.09/28.21 c bounds 2005 >= 0 @ 26.5062 28.09/28.21 c bounds 2003 >= 0 @ 26.5426 28.09/28.21 c bounds 2001 >= 0 @ 26.5906 28.09/28.21 c bounds 2000 >= 0 @ 26.6344 28.09/28.21 c bounds 1991 >= 0 @ 26.6593 28.09/28.21 c bounds 1981 >= 0 @ 26.6847 72.09/72.48 c bounds 1980 >= 0 @ 26.7046 72.09/72.48 c bounds 1963 >= 0 @ 26.7266 72.09/72.48 c bounds 1959 >= 0 @ 26.829 72.09/72.48 c bounds 1927 >= 0 @ 27.2124 72.09/72.48 c bounds 1916 >= 0 @ 27.2685 72.09/72.48 c bounds 1911 >= 0 @ 27.3918 72.09/72.48 c bounds 1894 >= 0 @ 27.4152 72.09/72.48 c bounds 1879 >= 0 @ 27.4302 72.09/72.48 c bounds 1865 >= 0 @ 27.4507 72.09/72.48 c bounds 1840 >= 0 @ 27.4781 72.09/72.48 c bounds 1836 >= 0 @ 27.4966 72.09/72.48 c bounds 1830 >= 0 @ 27.8822 72.09/72.48 c bounds 1822 >= 0 @ 27.9931 72.09/72.48 c bounds 1821 >= 0 @ 28.3502 72.09/72.48 c bounds 1820 >= 0 @ 28.6354 72.09/72.48 c bounds 1815 >= 0 @ 28.6522 72.09/72.48 c bounds 1805 >= 0 @ 28.7826 72.09/72.48 c bounds 1785 >= 0 @ 28.9789 72.09/72.48 c bounds 1774 >= 0 @ 29.107 72.09/72.48 c bounds 1763 >= 0 @ 29.1637 72.09/72.48 c bounds 1736 >= 0 @ 29.292 72.09/72.48 c bounds 1716 >= 0 @ 29.3301 72.09/72.48 c bounds 1713 >= 0 @ 29.3551 72.09/72.48 c bounds 1693 >= 0 @ 29.6839 72.09/72.48 c bounds 1689 >= 0 @ 29.8255 72.09/72.48 c bounds 1659 >= 0 @ 29.859 72.09/72.48 c bounds 1637 >= 0 @ 29.8868 72.09/72.48 c bounds 1636 >= 0 @ 29.9106 72.09/72.48 c bounds 1625 >= 0 @ 30.0339 72.09/72.48 c bounds 1622 >= 0 @ 30.1026 72.09/72.48 c bounds 1595 >= 0 @ 30.2219 72.09/72.48 c bounds 1594 >= 0 @ 30.5976 72.09/72.48 c bounds 1588 >= 0 @ 30.6229 72.09/72.48 c bounds 1577 >= 0 @ 30.699 72.09/72.48 c bounds 1574 >= 0 @ 30.8104 72.09/72.48 c bounds 1568 >= 0 @ 30.8263 72.09/72.48 c bounds 1511 >= 0 @ 30.8453 72.09/72.48 c bounds 1510 >= 0 @ 31.1984 72.09/72.48 c bounds 1509 >= 0 @ 31.5009 72.09/72.48 c bounds 1482 >= 0 @ 31.531 72.09/72.48 c bounds 1466 >= 0 @ 31.5494 72.09/72.48 c bounds 1453 >= 0 @ 31.5702 72.09/72.48 c #Conflicts: 3000 | #Constraints: 659131 72.09/72.48 c bounds 1450 >= 0 @ 31.804 72.09/72.48 c bounds 1444 >= 0 @ 32.4618 72.09/72.48 c bounds 1429 >= 0 @ 32.5035 72.09/72.48 c bounds 1428 >= 0 @ 32.5958 72.09/72.48 c bounds 1427 >= 0 @ 32.625 72.09/72.48 c bounds 1404 >= 0 @ 32.6523 72.09/72.48 c bounds 1396 >= 0 @ 32.6775 72.09/72.48 c bounds 1394 >= 0 @ 32.7039 72.09/72.48 c bounds 1358 >= 0 @ 32.8255 72.09/72.48 c bounds 1357 >= 0 @ 32.859 72.09/72.48 c bounds 1353 >= 0 @ 32.902 72.09/72.48 c #Conflicts: 4000 | #Constraints: 660166 72.09/72.48 c INPROCESSING 72.09/72.48 c GARBAGE COLLECT 72.09/72.48 c bounds 1346 >= 0 @ 49.18 72.09/72.48 c bounds 1344 >= 0 @ 49.2067 72.09/72.48 c bounds 1340 >= 0 @ 49.2361 72.09/72.48 c bounds 1339 >= 0 @ 49.2583 72.09/72.48 c bounds 1331 >= 0 @ 49.2774 72.09/72.48 c bounds 1319 >= 0 @ 49.5199 72.09/72.48 c bounds 1303 >= 0 @ 49.6404 72.09/72.48 c bounds 1302 >= 0 @ 49.7457 72.09/72.48 c bounds 1296 >= 0 @ 49.9624 72.09/72.48 c bounds 1292 >= 0 @ 49.9952 72.09/72.48 c bounds 1288 >= 0 @ 50.1115 72.09/72.48 c bounds 1261 >= 0 @ 50.1438 72.09/72.48 c bounds 1253 >= 0 @ 50.2714 72.09/72.48 c bounds 1239 >= 0 @ 50.2916 72.09/72.48 c bounds 1226 >= 0 @ 50.4718 72.09/72.48 c bounds 1223 >= 0 @ 50.4949 72.09/72.48 c bounds 1188 >= 0 @ 50.5204 72.09/72.48 c bounds 1186 >= 0 @ 50.5349 72.09/72.48 c bounds 1181 >= 0 @ 50.549 72.09/72.48 c bounds 1178 >= 0 @ 50.6568 72.09/72.48 c bounds 1173 >= 0 @ 50.6793 72.09/72.48 c bounds 1152 >= 0 @ 50.7021 72.09/72.48 c bounds 1131 >= 0 @ 50.8466 72.09/72.48 c bounds 1130 >= 0 @ 51.0833 72.09/72.48 c bounds 1112 >= 0 @ 51.1156 72.09/72.48 c bounds 1099 >= 0 @ 51.6329 72.09/72.48 c bounds 1093 >= 0 @ 51.8499 72.09/72.48 c bounds 1082 >= 0 @ 52.0911 72.09/72.48 c bounds 1069 >= 0 @ 52.3316 72.09/72.48 c bounds 1051 >= 0 @ 52.5258 72.09/72.48 c bounds 1047 >= 0 @ 52.5621 72.09/72.48 c bounds 1035 >= 0 @ 52.609 72.09/72.48 c bounds 1034 >= 0 @ 52.6294 72.09/72.48 c bounds 1020 >= 0 @ 52.7625 72.09/72.48 c bounds 1016 >= 0 @ 53.0804 72.09/72.48 c bounds 1008 >= 0 @ 53.2428 72.09/72.48 c bounds 1002 >= 0 @ 53.2718 72.09/72.48 c bounds 999 >= 0 @ 53.3755 72.09/72.48 c bounds 984 >= 0 @ 53.4092 72.09/72.48 c bounds 972 >= 0 @ 53.5029 72.09/72.48 c bounds 968 >= 0 @ 59.8423 72.09/72.48 c #Conflicts: 5000 | #Constraints: 659427 72.09/72.48 c bounds 967 >= 0 @ 61.8106 72.09/72.48 c bounds 962 >= 0 @ 62.0236 72.09/72.48 c bounds 956 >= 0 @ 62.0817 72.09/72.48 c bounds 952 >= 0 @ 62.1357 72.09/72.48 c bounds 949 >= 0 @ 62.1719 72.09/72.48 c #Conflicts: 6000 | #Constraints: 660432 72.09/72.48 c INPROCESSING 72.09/72.48 c GARBAGE COLLECT 72.09/72.48 c rational objective 181.5 180.53/181.37 c bounds 946 >= 0 @ 70.4007 180.53/181.37 c bounds 939 >= 0 @ 70.428 180.53/181.37 c bounds 937 >= 0 @ 70.4472 180.53/181.37 c bounds 936 >= 0 @ 70.8229 180.53/181.37 c bounds 931 >= 0 @ 70.8619 180.53/181.37 c #Conflicts: 7000 | #Constraints: 659359 180.53/181.37 c bounds 923 >= 0 @ 77.2608 180.53/181.37 c bounds 920 >= 0 @ 77.304 180.53/181.37 c bounds 915 >= 0 @ 77.3352 180.53/181.37 c bounds 912 >= 0 @ 77.3794 180.53/181.37 c bounds 903 >= 0 @ 77.4616 180.53/181.37 c bounds 901 >= 0 @ 77.5007 180.53/181.37 c bounds 895 >= 0 @ 77.5816 180.53/181.37 c bounds 893 >= 0 @ 77.6731 180.53/181.37 c bounds 885 >= 0 @ 77.7241 180.53/181.37 c bounds 884 >= 0 @ 77.7556 180.53/181.37 c bounds 883 >= 0 @ 77.8265 180.53/181.37 c #Conflicts: 8000 | #Constraints: 660370 180.53/181.37 c #Conflicts: 9000 | #Constraints: 661377 180.53/181.37 c INPROCESSING 180.53/181.37 c GARBAGE COLLECT 180.53/181.37 c bounds 876 >= 0 @ 114.95 180.53/181.37 c bounds 871 >= 0 @ 114.971 180.53/181.37 c bounds 868 >= 0 @ 115.014 180.53/181.37 c bounds 866 >= 0 @ 115.036 180.53/181.37 c bounds 856 >= 0 @ 115.067 180.53/181.37 c bounds 847 >= 0 @ 115.108 180.53/181.37 c bounds 843 >= 0 @ 115.14 180.53/181.37 c bounds 832 >= 0 @ 115.165 180.53/181.37 c bounds 830 >= 0 @ 115.243 180.53/181.37 c bounds 828 >= 0 @ 115.277 180.53/181.37 c bounds 809 >= 0 @ 115.302 180.53/181.37 c bounds 807 >= 0 @ 115.334 180.53/181.37 c bounds 805 >= 0 @ 115.355 180.53/181.37 c bounds 792 >= 0 @ 115.909 180.53/181.37 c bounds 784 >= 0 @ 115.937 180.53/181.37 c bounds 783 >= 0 @ 115.961 180.53/181.37 c bounds 782 >= 0 @ 116.075 180.53/181.37 c bounds 777 >= 0 @ 116.52 180.53/181.37 c bounds 776 >= 0 @ 116.633 180.53/181.37 c bounds 766 >= 0 @ 116.901 180.53/181.37 c bounds 763 >= 0 @ 118.801 180.53/181.37 c #Conflicts: 10000 | #Constraints: 660085 180.53/181.37 c #Conflicts: 11000 | #Constraints: 661102 180.53/181.37 c #Conflicts: 12000 | #Constraints: 662114 180.53/181.37 c INPROCESSING 180.53/181.37 c GARBAGE COLLECT 180.53/181.37 c bounds 762 >= 0 @ 143.298 180.53/181.37 c bounds 757 >= 0 @ 143.324 180.53/181.37 c bounds 749 >= 0 @ 143.411 180.53/181.37 c bounds 748 >= 0 @ 143.921 180.53/181.37 c bounds 740 >= 0 @ 145.771 180.53/181.37 c bounds 739 >= 0 @ 146.004 180.53/181.37 c bounds 734 >= 0 @ 146.645 180.53/181.37 c bounds 733 >= 0 @ 146.902 180.53/181.37 c bounds 728 >= 0 @ 146.928 180.53/181.37 c bounds 727 >= 0 @ 147.157 180.53/181.37 c bounds 722 >= 0 @ 147.323 180.53/181.37 c bounds 721 >= 0 @ 147.531 180.53/181.37 c bounds 720 >= 0 @ 149.148 180.53/181.37 c bounds 714 >= 0 @ 149.195 180.53/181.37 c bounds 708 >= 0 @ 149.482 180.53/181.37 c bounds 695 >= 0 @ 149.673 180.53/181.37 c bounds 693 >= 0 @ 149.697 180.53/181.37 c bounds 689 >= 0 @ 150.387 180.53/181.37 c bounds 687 >= 0 @ 150.411 180.53/181.37 c bounds 662 >= 0 @ 150.688 180.53/181.37 c bounds 655 >= 0 @ 150.87 180.53/181.37 c bounds 653 >= 0 @ 151 180.53/181.37 c bounds 649 >= 0 @ 151.183 180.53/181.37 c bounds 648 >= 0 @ 151.213 180.53/181.37 c bounds 635 >= 0 @ 151.324 180.53/181.37 c bounds 629 >= 0 @ 151.368 180.53/181.37 c bounds 622 >= 0 @ 151.414 180.53/181.37 c bounds 612 >= 0 @ 151.458 180.53/181.37 c bounds 601 >= 0 @ 151.597 180.53/181.37 c bounds 589 >= 0 @ 152.004 180.53/181.37 c #Conflicts: 13000 | #Constraints: 660564 180.53/181.37 c bounds 588 >= 0 @ 153.148 180.53/181.37 c bounds 584 >= 0 @ 156.677 180.53/181.37 c #Conflicts: 14000 | #Constraints: 661578 180.53/181.37 c bounds 581 >= 0 @ 163.55 180.53/181.37 c bounds 580 >= 0 @ 163.619 180.53/181.37 c bounds 579 >= 0 @ 163.869 180.53/181.37 c #Conflicts: 15000 | #Constraints: 662595 180.53/181.37 c INPROCESSING 180.53/181.37 c GARBAGE COLLECT 180.53/181.37 c rational objective 182.227 224.78/225.79 c #Conflicts: 16000 | #Constraints: 660746 224.78/225.79 c #Conflicts: 17000 | #Constraints: 661757 224.78/225.79 c #Conflicts: 18000 | #Constraints: 662768 224.78/225.79 c INPROCESSING 224.78/225.79 c GARBAGE COLLECT 224.78/225.79 c rational objective 182.227 388.64/390.25 c bounds 577 >= 0 @ 224.194 388.64/390.25 c bounds 576 >= 0 @ 224.222 388.64/390.25 c bounds 575 >= 0 @ 224.267 388.64/390.25 c bounds 572 >= 0 @ 224.668 388.64/390.25 c bounds 571 >= 0 @ 224.807 388.64/390.25 c bounds 565 >= 0 @ 225.046 388.64/390.25 c bounds 561 >= 0 @ 226.388 388.64/390.25 c bounds 560 >= 0 @ 226.424 388.64/390.25 c bounds 559 >= 0 @ 226.505 388.64/390.25 c bounds 558 >= 0 @ 226.659 388.64/390.25 c bounds 557 >= 0 @ 226.813 388.64/390.25 c bounds 553 >= 0 @ 226.847 388.64/390.25 c #Conflicts: 19000 | #Constraints: 660789 388.64/390.25 c bounds 549 >= 0 @ 229.399 388.64/390.25 c bounds 543 >= 0 @ 231.705 388.64/390.25 c bounds 542 >= 0 @ 232.487 388.64/390.25 c bounds 541 >= 0 @ 232.894 388.64/390.25 c bounds 538 >= 0 @ 233.073 388.64/390.25 c bounds 521 >= 0 @ 234.818 388.64/390.25 c bounds 520 >= 0 @ 235.644 388.64/390.25 c #Conflicts: 20000 | #Constraints: 661821 388.64/390.25 c bounds 518 >= 0 @ 239.048 388.64/390.25 c #Conflicts: 21000 | #Constraints: 662838 388.64/390.25 c INPROCESSING 388.64/390.25 c GARBAGE COLLECT 388.64/390.25 c #Conflicts: 22000 | #Constraints: 660577 388.64/390.25 c bounds 517 >= 0 @ 257.107 388.64/390.25 c bounds 506 >= 0 @ 257.236 388.64/390.25 c bounds 504 >= 0 @ 263.669 388.64/390.25 c bounds 502 >= 0 @ 264.941 388.64/390.25 c #Conflicts: 23000 | #Constraints: 661598 388.64/390.25 c #Conflicts: 24000 | #Constraints: 662611 388.64/390.25 c #Conflicts: 25000 | #Constraints: 663619 388.64/390.25 c INPROCESSING 388.64/390.25 c GARBAGE COLLECT 388.64/390.25 c bounds 501 >= 0 @ 293.101 388.64/390.25 c bounds 500 >= 0 @ 293.238 388.64/390.25 c bounds 499 >= 0 @ 295.925 388.64/390.25 c bounds 494 >= 0 @ 296.208 388.64/390.25 c bounds 490 >= 0 @ 298.353 388.64/390.25 c #Conflicts: 26000 | #Constraints: 661193 388.64/390.25 c bounds 489 >= 0 @ 301.506 388.64/390.25 c bounds 487 >= 0 @ 301.585 388.64/390.25 c #Conflicts: 27000 | #Constraints: 662209 388.64/390.25 c bounds 485 >= 0 @ 314.492 388.64/390.25 c #Conflicts: 28000 | #Constraints: 663222 388.64/390.25 c #Conflicts: 29000 | #Constraints: 664233 388.64/390.25 c INPROCESSING 388.64/390.25 c GARBAGE COLLECT 388.64/390.25 c rational objective 182.227 572.92/575.25 c bounds 484 >= 0 @ 382.908 572.92/575.25 c bounds 482 >= 0 @ 384.873 572.92/575.25 c bounds 474 >= 0 @ 386.238 572.92/575.25 c bounds 472 >= 0 @ 388.798 572.92/575.25 c bounds 465 >= 0 @ 390.398 572.92/575.25 c bounds 464 >= 0 @ 390.453 572.92/575.25 c #Conflicts: 30000 | #Constraints: 661608 572.92/575.25 c bounds 463 >= 0 @ 403.098 572.92/575.25 c #Conflicts: 31000 | #Constraints: 662630 572.92/575.25 c #Conflicts: 32000 | #Constraints: 663640 572.92/575.25 c #Conflicts: 33000 | #Constraints: 664648 572.92/575.25 c INPROCESSING 572.92/575.25 c GARBAGE COLLECT 572.92/575.25 c bounds 460 >= 0 @ 428.928 572.92/575.25 c bounds 458 >= 0 @ 429.05 572.92/575.25 c bounds 455 >= 0 @ 429.085 572.92/575.25 c bounds 450 >= 0 @ 429.317 572.92/575.25 c bounds 449 >= 0 @ 430.814 572.92/575.25 c bounds 448 >= 0 @ 431.073 572.92/575.25 c bounds 446 >= 0 @ 432.19 572.92/575.25 c bounds 445 >= 0 @ 433.68 572.92/575.25 c bounds 438 >= 0 @ 435.25 572.92/575.25 c bounds 437 >= 0 @ 438.291 572.92/575.25 c bounds 436 >= 0 @ 438.579 572.92/575.25 c #Conflicts: 34000 | #Constraints: 661812 572.92/575.25 c bounds 435 >= 0 @ 443.956 572.92/575.25 c bounds 432 >= 0 @ 444.207 572.92/575.25 c bounds 431 >= 0 @ 445.775 572.92/575.25 c #Conflicts: 35000 | #Constraints: 662838 572.92/575.25 c bounds 429 >= 0 @ 454.078 572.92/575.25 c bounds 427 >= 0 @ 462.449 572.92/575.25 c bounds 425 >= 0 @ 462.617 572.92/575.25 c bounds 424 >= 0 @ 462.846 572.92/575.25 c bounds 422 >= 0 @ 463.525 572.92/575.25 c #Conflicts: 36000 | #Constraints: 663865 572.92/575.25 c bounds 421 >= 0 @ 465.72 572.92/575.25 c bounds 417 >= 0 @ 466.415 572.92/575.25 c bounds 416 >= 0 @ 468.39 572.92/575.25 c bounds 414 >= 0 @ 469.386 572.92/575.25 c bounds 407 >= 0 @ 469.91 572.92/575.25 c bounds 404 >= 0 @ 470.424 572.92/575.25 c bounds 402 >= 0 @ 470.718 572.92/575.25 c bounds 401 >= 0 @ 471.059 572.92/575.25 c bounds 396 >= 0 @ 471.761 572.92/575.25 c bounds 395 >= 0 @ 475.917 572.92/575.25 c bounds 394 >= 0 @ 476.436 572.92/575.25 c bounds 393 >= 0 @ 476.526 572.92/575.25 c #Conflicts: 37000 | #Constraints: 664906 572.92/575.25 c INPROCESSING 572.92/575.25 c GARBAGE COLLECT 572.92/575.25 c #Conflicts: 38000 | #Constraints: 661807 572.92/575.25 c #Conflicts: 39000 | #Constraints: 662820 572.92/575.25 c #Conflicts: 40000 | #Constraints: 663831 572.92/575.25 c #Conflicts: 41000 | #Constraints: 664840 572.92/575.25 c INPROCESSING 572.92/575.25 c GARBAGE COLLECT 572.92/575.25 c rational objective 183.75 742.56/745.42 c #Conflicts: 42000 | #Constraints: 661591 742.56/745.42 c bounds 392 >= 0 @ 576.15 742.56/745.42 c bounds 391 >= 0 @ 576.346 742.56/745.42 c bounds 390 >= 0 @ 579.147 742.56/745.42 c bounds 389 >= 0 @ 579.341 742.56/745.42 c bounds 387 >= 0 @ 579.652 742.56/745.42 c bounds 386 >= 0 @ 579.753 742.56/745.42 c #Conflicts: 43000 | #Constraints: 662611 742.56/745.42 c #Conflicts: 44000 | #Constraints: 663630 742.56/745.42 c #Conflicts: 45000 | #Constraints: 664643 742.56/745.42 c #Conflicts: 46000 | #Constraints: 665655 742.56/745.42 c INPROCESSING 742.56/745.42 c GARBAGE COLLECT 742.56/745.42 c bounds 384 >= 0 @ 636.477 742.56/745.42 c bounds 383 >= 0 @ 636.531 742.56/745.42 c bounds 379 >= 0 @ 637.877 742.56/745.42 c bounds 377 >= 0 @ 638.142 742.56/745.42 c bounds 376 >= 0 @ 638.374 742.56/745.42 c bounds 371 >= 0 @ 638.435 742.56/745.42 c bounds 369 >= 0 @ 638.501 742.56/745.42 c bounds 365 >= 0 @ 638.549 742.56/745.42 c bounds 364 >= 0 @ 638.603 742.56/745.42 c #Conflicts: 47000 | #Constraints: 662217 742.56/745.42 c bounds 363 >= 0 @ 645.037 742.56/745.42 c bounds 362 >= 0 @ 645.46 742.56/745.42 c bounds 360 >= 0 @ 646.107 742.56/745.42 c bounds 358 >= 0 @ 646.16 742.56/745.42 c bounds 357 >= 0 @ 646.217 742.56/745.42 c #Conflicts: 48000 | #Constraints: 663235 742.56/745.42 c #Conflicts: 49000 | #Constraints: 664246 742.56/745.42 c #Conflicts: 50000 | #Constraints: 665252 742.56/745.42 c #Conflicts: 51000 | #Constraints: 666259 742.56/745.42 c INPROCESSING 742.56/745.42 c GARBAGE COLLECT 742.56/745.42 c rational objective 183.75 967.43/970.98 c #Conflicts: 52000 | #Constraints: 662596 967.43/970.98 c #Conflicts: 53000 | #Constraints: 663602 967.43/970.98 c bounds 354 >= 0 @ 765.083 967.43/970.98 c #Conflicts: 54000 | #Constraints: 664612 967.43/970.98 c #Conflicts: 55000 | #Constraints: 665620 967.43/970.98 c #Conflicts: 56000 | #Constraints: 666628 967.43/970.98 c INPROCESSING 967.43/970.98 c GARBAGE COLLECT 967.43/970.98 c bounds 353 >= 0 @ 803.572 967.43/970.98 c bounds 352 >= 0 @ 810.358 967.43/970.98 c #Conflicts: 57000 | #Constraints: 662793 967.43/970.98 c #Conflicts: 58000 | #Constraints: 663805 967.43/970.98 c #Conflicts: 59000 | #Constraints: 664813 967.43/970.98 c #Conflicts: 60000 | #Constraints: 665817 967.43/970.98 c #Conflicts: 61000 | #Constraints: 666823 967.43/970.98 c INPROCESSING 967.43/970.98 c GARBAGE COLLECT 967.43/970.98 c rational objective 183.75 1136.43/1140.46 c bounds 351 >= 0 @ 956.208 1136.43/1140.46 c bounds 350 >= 0 @ 957.575 1136.43/1140.46 c bounds 349 >= 0 @ 957.625 1136.43/1140.46 c #Conflicts: 62000 | #Constraints: 662796 1136.43/1140.46 c #Conflicts: 63000 | #Constraints: 663807 1136.43/1140.46 c #Conflicts: 64000 | #Constraints: 664816 1136.43/1140.46 c bounds 348 >= 0 @ 1020.46 1136.43/1140.46 c #Conflicts: 65000 | #Constraints: 665825 1136.43/1140.46 c #Conflicts: 66000 | #Constraints: 666835 1136.43/1140.46 c INPROCESSING 1136.43/1140.46 c GARBAGE COLLECT 1136.43/1140.46 c #Conflicts: 67000 | #Constraints: 662585 1136.43/1140.46 c #Conflicts: 68000 | #Constraints: 663593 1136.43/1140.46 c #Conflicts: 69000 | #Constraints: 664601 1136.43/1140.46 c #Conflicts: 70000 | #Constraints: 665610 1136.43/1140.46 c #Conflicts: 71000 | #Constraints: 666618 1136.43/1140.46 c #Conflicts: 72000 | #Constraints: 667626 1136.43/1140.46 c INPROCESSING 1136.43/1140.46 c GARBAGE COLLECT 1136.43/1140.46 c rational objective 184.144 1315.01/1319.56 c bounds 347 >= 0 @ 1125.07 1315.01/1319.56 c bounds 346 >= 0 @ 1128.76 1315.01/1319.56 c bounds 345 >= 0 @ 1132.48 1315.01/1319.56 c #Conflicts: 73000 | #Constraints: 663188 1315.01/1319.56 c #Conflicts: 74000 | #Constraints: 664201 1315.01/1319.56 c #Conflicts: 75000 | #Constraints: 665212 1315.01/1319.56 c #Conflicts: 76000 | #Constraints: 666225 1315.01/1319.56 c #Conflicts: 77000 | #Constraints: 667240 1315.01/1319.56 c #Conflicts: 78000 | #Constraints: 668250 1315.01/1319.56 c INPROCESSING 1315.01/1319.56 c GARBAGE COLLECT 1315.01/1319.56 c rational objective 184.152 1688.65/1694.16 c #Conflicts: 79000 | #Constraints: 663603 1688.65/1694.16 c #Conflicts: 80000 | #Constraints: 664612 1688.65/1694.16 c #Conflicts: 81000 | #Constraints: 665619 1688.65/1694.16 c #Conflicts: 82000 | #Constraints: 666628 1688.65/1694.16 c #Conflicts: 83000 | #Constraints: 667632 1688.65/1694.16 c #Conflicts: 84000 | #Constraints: 668640 1688.65/1694.16 c INPROCESSING 1688.65/1694.16 c GARBAGE COLLECT 1688.65/1694.16 c #Conflicts: 85000 | #Constraints: 663790 1688.65/1694.16 c #Conflicts: 86000 | #Constraints: 664796 1688.65/1694.16 c #Conflicts: 87000 | #Constraints: 665801 1688.65/1694.16 c #Conflicts: 88000 | #Constraints: 666807 1688.65/1694.16 c #Conflicts: 89000 | #Constraints: 667811 1688.65/1694.16 c #Conflicts: 90000 | #Constraints: 668815 1688.65/1694.16 c INPROCESSING 1688.65/1694.16 c GARBAGE COLLECT 1688.65/1694.16 c rational objective 184.152 1952.75/1958.98 c #Conflicts: 91000 | #Constraints: 663781 1952.75/1958.98 c #Conflicts: 92000 | #Constraints: 664793 1952.75/1958.98 c #Conflicts: 93000 | #Constraints: 665800 1952.75/1958.98 c #Conflicts: 94000 | #Constraints: 666807 1952.75/1958.98 c #Conflicts: 95000 | #Constraints: 667814 1952.75/1958.98 c #Conflicts: 96000 | #Constraints: 668822 1952.75/1958.98 c INPROCESSING 1952.75/1958.98 c GARBAGE COLLECT 1952.75/1958.98 c bounds 341 >= 0 @ 1786.32 1952.75/1958.98 c bounds 339 >= 0 @ 1787.51 1952.75/1958.98 c #Conflicts: 97000 | #Constraints: 663588 1952.75/1958.98 c #Conflicts: 98000 | #Constraints: 664602 1952.75/1958.98 c #Conflicts: 99000 | #Constraints: 665610 1952.75/1958.98 c #Conflicts: 100000 | #Constraints: 666619 1952.75/1958.98 c #Conflicts: 101000 | #Constraints: 667628 1952.75/1958.98 c #Conflicts: 102000 | #Constraints: 668635 1952.75/1958.98 c bounds 338 >= 0 @ 1898.02 1952.75/1958.98 c #Conflicts: 103000 | #Constraints: 669645 1952.75/1958.98 c INPROCESSING 1952.75/1958.98 c GARBAGE COLLECT 1952.75/1958.98 c rational objective 184.152 2087.84/2094.47 c #Conflicts: 104000 | #Constraints: 664184 2087.84/2094.47 c #Conflicts: 105000 | #Constraints: 665187 2087.84/2094.47 c #Conflicts: 106000 | #Constraints: 666187 2087.84/2094.47 c #Conflicts: 107000 | #Constraints: 667189 2087.84/2094.47 c #Conflicts: 108000 | #Constraints: 668200 2087.84/2094.47 c #Conflicts: 109000 | #Constraints: 669207 2087.84/2094.47 c #Conflicts: 110000 | #Constraints: 670214 2087.84/2094.47 c INPROCESSING 2087.84/2094.47 c GARBAGE COLLECT 2087.84/2094.47 c rational objective 184.152 2335.15/2342.44 c #Conflicts: 111000 | #Constraints: 664574 2335.15/2342.44 c #Conflicts: 112000 | #Constraints: 665582 2335.15/2342.44 c #Conflicts: 113000 | #Constraints: 666591 2335.15/2342.44 c #Conflicts: 114000 | #Constraints: 667600 2335.15/2342.44 c #Conflicts: 115000 | #Constraints: 668609 2335.15/2342.44 c #Conflicts: 116000 | #Constraints: 669619 2335.15/2342.44 c #Conflicts: 117000 | #Constraints: 670627 2335.15/2342.44 c INPROCESSING 2335.15/2342.44 c GARBAGE COLLECT 2335.15/2342.44 c #Conflicts: 118000 | #Constraints: 664781 2335.15/2342.44 c #Conflicts: 119000 | #Constraints: 665788 2335.15/2342.44 c #Conflicts: 120000 | #Constraints: 666793 2335.15/2342.44 c #Conflicts: 121000 | #Constraints: 667797 2335.15/2342.44 c #Conflicts: 122000 | #Constraints: 668803 2335.15/2342.44 c #Conflicts: 123000 | #Constraints: 669812 2335.15/2342.44 c #Conflicts: 124000 | #Constraints: 670821 2335.15/2342.44 c INPROCESSING 2335.15/2342.44 c GARBAGE COLLECT 2335.15/2342.44 c rational objective 184.152 2556.35/2564.26 c #Conflicts: 125000 | #Constraints: 664778 2556.35/2564.26 c bounds 337 >= 0 @ 2334.8 2556.35/2564.26 c #Conflicts: 126000 | #Constraints: 665789 2556.35/2564.26 c #Conflicts: 127000 | #Constraints: 666793 2556.35/2564.26 c #Conflicts: 128000 | #Constraints: 667797 2556.35/2564.26 c #Conflicts: 129000 | #Constraints: 668803 2556.35/2564.26 c #Conflicts: 130000 | #Constraints: 669810 2556.35/2564.26 c #Conflicts: 131000 | #Constraints: 670823 2556.35/2564.26 c INPROCESSING 2556.35/2564.26 c GARBAGE COLLECT 2556.35/2564.26 c rational objective 184.152 2674.71/2682.91 c #Conflicts: 132000 | #Constraints: 664587 2674.71/2682.91 c #Conflicts: 133000 | #Constraints: 665597 2674.71/2682.91 c #Conflicts: 134000 | #Constraints: 666600 2674.71/2682.91 c #Conflicts: 135000 | #Constraints: 667610 2674.71/2682.91 c #Conflicts: 136000 | #Constraints: 668618 2674.71/2682.91 c #Conflicts: 137000 | #Constraints: 669624 2674.71/2682.91 c #Conflicts: 138000 | #Constraints: 670631 2674.71/2682.91 c #Conflicts: 139000 | #Constraints: 671638 2674.71/2682.91 c INPROCESSING 2674.71/2682.91 c GARBAGE COLLECT 2674.71/2682.91 c rational objective 184.152 2842.82/2851.58 c #Conflicts: 140000 | #Constraints: 665185 2842.82/2851.58 c #Conflicts: 141000 | #Constraints: 666188 2842.82/2851.58 c #Conflicts: 142000 | #Constraints: 667193 2842.82/2851.58 c #Conflicts: 143000 | #Constraints: 668201 2842.82/2851.58 c #Conflicts: 144000 | #Constraints: 669209 2842.82/2851.58 c #Conflicts: 145000 | #Constraints: 670219 2842.82/2851.58 c #Conflicts: 146000 | #Constraints: 671221 2842.82/2851.58 c #Conflicts: 147000 | #Constraints: 672232 2842.82/2851.58 c INPROCESSING 2842.82/2851.58 c GARBAGE COLLECT 2842.82/2851.58 c rational objective 184.152 3070.57/3079.98 c #Conflicts: 148000 | #Constraints: 665593 3070.57/3079.98 c #Conflicts: 149000 | #Constraints: 666601 3070.57/3079.98 c #Conflicts: 150000 | #Constraints: 667608 3070.57/3079.98 c #Conflicts: 151000 | #Constraints: 668615 3070.57/3079.98 c #Conflicts: 152000 | #Constraints: 669629 3070.57/3079.98 c #Conflicts: 153000 | #Constraints: 670638 3070.57/3079.98 c #Conflicts: 154000 | #Constraints: 671646 3070.57/3079.98 c #Conflicts: 155000 | #Constraints: 672654 3070.57/3079.98 c INPROCESSING 3070.57/3079.98 c GARBAGE COLLECT 3070.57/3079.98 c rational objective 184.152 3219.85/3229.64 c #Conflicts: 156000 | #Constraints: 665798 3219.85/3229.64 c #Conflicts: 157000 | #Constraints: 666806 3219.85/3229.64 c #Conflicts: 158000 | #Constraints: 667814 3219.85/3229.64 c #Conflicts: 159000 | #Constraints: 668821 3219.85/3229.64 c #Conflicts: 160000 | #Constraints: 669832 3219.85/3229.64 c #Conflicts: 161000 | #Constraints: 670837 3219.85/3229.64 c #Conflicts: 162000 | #Constraints: 671846 3219.85/3229.64 c #Conflicts: 163000 | #Constraints: 672855 3219.85/3229.64 c INPROCESSING 3219.85/3229.64 c GARBAGE COLLECT 3219.85/3229.64 c rational objective 184.152 3381.61/3391.88 c #Conflicts: 164000 | #Constraints: 665799 3381.61/3391.88 c #Conflicts: 165000 | #Constraints: 666807 3381.61/3391.88 c #Conflicts: 166000 | #Constraints: 667814 3381.61/3391.88 c #Conflicts: 167000 | #Constraints: 668822 3381.61/3391.88 c #Conflicts: 168000 | #Constraints: 669830 3381.61/3391.88 c #Conflicts: 169000 | #Constraints: 670838 3381.61/3391.88 c #Conflicts: 170000 | #Constraints: 671847 3381.61/3391.88 c #Conflicts: 171000 | #Constraints: 672855 3381.61/3391.88 c INPROCESSING 3381.61/3391.88 c GARBAGE COLLECT 3381.61/3391.88 c rational objective 184.152 3553.02/3563.78 c #Conflicts: 172000 | #Constraints: 665594 3553.02/3563.78 c #Conflicts: 173000 | #Constraints: 666602 3553.02/3563.78 c #Conflicts: 174000 | #Constraints: 667610 3553.02/3563.78 c #Conflicts: 175000 | #Constraints: 668613 3553.02/3563.78 c #Conflicts: 176000 | #Constraints: 669618 3553.02/3563.78 c #Conflicts: 177000 | #Constraints: 670626 3553.02/3563.78 c #Conflicts: 178000 | #Constraints: 671639 3553.02/3563.78 c #Conflicts: 179000 | #Constraints: 672646 3553.02/3563.78 c #Conflicts: 180000 | #Constraints: 673657 3553.02/3563.78 c INPROCESSING 3553.02/3563.78 c GARBAGE COLLECT 3553.02/3563.78 c rational objective 184.152 3600.08/3610.94 c #Conflicts: 181000 | #Constraints: 666193 3600.08/3610.94 c #Conflicts: 182000 | #Constraints: 667201 3600.08/3610.94 c #Conflicts: 183000 | #Constraints: 668208 3600.08/3610.94 c Program interrupted by user. 3600.08/3610.94 c cpu time 3564.45 s 3600.08/3610.94 c deterministic time 467400962756 4.67e+11 3600.08/3610.94 c optimization time 42.9879 s 3600.08/3610.94 c total solve time 3519.46 s 3600.08/3610.94 c core-guided solve time 2314.89 s 3600.08/3610.94 c propagation time 1871.5 s 3600.08/3610.94 c conflict analysis time 831.647 s 3600.08/3610.94 c propagations 42107556 3600.08/3610.94 c resolve steps 1988871 3600.08/3610.94 c decisions 6820037 3600.08/3610.94 c conflicts 183234 3600.08/3610.94 c restarts 507 3600.08/3610.94 c inprocessing phases 34 3600.08/3610.94 c input clauses 656900 3600.08/3610.94 c input cardinalities 0 3600.08/3610.94 c input general constraints 412 3600.08/3610.94 c input average constraint length 8.30 3600.08/3610.94 c input average constraint degree 309.87 3600.08/3610.94 c learned clauses 28270 3600.08/3610.94 c learned cardinalities 9 3600.08/3610.94 c learned general constraints 156799 3600.08/3610.94 c learned average constraint length 7126.20 3600.08/3610.94 c learned average constraint degree 363577811196.95 3600.08/3610.94 c watched constraints 1365 3600.08/3610.94 c counting constraints 155846 3600.08/3610.94 c gcd simplifications 2131 3600.08/3610.94 c detected cardinalities 0 3600.08/3610.94 c weakened non-implied lits 288900403 3600.08/3610.94 c weakened non-implying lits 84027 3600.08/3610.94 c original variables 10000 3600.08/3610.94 c clausal propagations 13608902 3600.08/3610.94 c cardinality propagations 125 3600.08/3610.94 c watched propagations 8238 3600.08/3610.94 c counting propagations 27654935 3600.08/3610.94 c watch lookups 13916288592 3600.08/3610.94 c watch backjump lookups 13906045450 3600.08/3610.94 c watch checks 1105125114 3600.08/3610.94 c propagation checks 435052701294 3600.08/3610.94 c constraint additions 3322407510 3600.08/3610.94 c trail pops 49099278 3600.08/3610.94 c formula constraints 656900 3600.08/3610.94 c learned constraints 181388 3600.08/3610.94 c bound constraints 412 3600.08/3610.94 c core-guided constraints 0 3600.08/3610.94 c encountered formula constraints 1673195 3600.08/3610.94 c encountered learned constraints 381122 3600.08/3610.94 c encountered bound constraints 3264 3600.08/3610.94 c encountered core-guided constraints 0 3600.08/3610.94 c LP total time 1053.32 s 3600.08/3610.94 c LP solve time 956.98 s 3600.08/3610.94 c LP constraints added 656904 3600.08/3610.94 c LP constraints removed 0 3600.08/3610.94 c LP pivots internal 183350 3600.08/3610.94 c LP pivots root 184574 3600.08/3610.94 c LP calls 2051 3600.08/3610.94 c LP optimalities 200 3600.08/3610.94 c LP no pivot count 25 3600.08/3610.94 c LP infeasibilities 1846 3600.08/3610.94 c LP valid Farkas constraints 1845 3600.08/3610.94 c LP learned Farkas constraints 1845 3600.08/3610.94 c LP basis resets 2 3600.08/3610.94 c LP cycling count 0 3600.08/3610.94 c LP singular count 1 3600.08/3610.94 c LP no primal count 0 3600.08/3610.94 c LP no farkas count 1 3600.08/3610.94 c LP other issue count 0 3600.08/3610.94 c LP Gomory cuts 0 3600.08/3610.94 c LP learned cuts 4 3600.08/3610.94 c LP deleted cuts 0 3600.08/3610.94 c LP encountered Gomory constraints 0 3600.08/3610.94 c LP encountered Farkas constraints 101920 3600.08/3610.94 c LP encountered learned Farkas constraints 10759 3600.08/3610.94 c CG auxiliary variables introduced 0 3600.08/3610.94 c CG solutions found 412 3600.08/3610.94 c CG cores constructed 0 3600.08/3610.94 c CG core cardinality constraints returned 0 3600.08/3610.94 c CG unit cores 0 3600.08/3610.94 c CG single cores 0 3600.08/3610.94 c CG blocks removed during cardinality reduction 0 3600.08/3610.94 c CG first core best 0 3600.08/3610.94 c CG decision core best 0 3600.08/3610.94 c CG core reduction tie 0 3600.08/3610.94 c CG core degree average 0.00 3600.08/3610.94 c CG core slack average 0.00 3600.08/3610.94 s SATISFIABLE 3600.08/3610.94 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 -
ERROR: no interpretation found !
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 (61275 MiB free)
memory of node 1: 64510 MiB (60520 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460192-1722064838/watcher-4460192-1722064838 -o /tmp/evaluation-result-4460192-1722064838/solver-4460192-1722064838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722064838-310535 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460192-1722064838 --lp-cut-gomory=0 HOME/instance-4460192-1722064838.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=310575, runsolver pid=310571
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 0.08 0.08 0.09 5/244 310596
/proc/meminfo: memFree=124699644/131655788 swapFree=131057052/131071996
[pid=310575] ppid=310571 vsize=40828 memory=9516 CPUtime=0.1 cores=1,3
/proc/310575/stat : 310575 (roundingsat) R 310571 310575 310523 0 -1 4194304 1581 0 0 0 8 2 0 0 20 0 1 0 42473575 41807872 2379 134679101440 4194304 8254357 140734102588912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11010048 140734102590299 140734102590561 140734102590561 140734102597577 0
/proc/310575/statm: 10207 2379 1378 992 0 2065 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 9516 KiB
[startup+0.214161 s]*
/proc/loadavg: 0.08 0.08 0.09 6/244 310596
/proc/meminfo: memFree=124694988/131655788 swapFree=131057052/131071996
[pid=310575] ppid=310571 vsize=41212 memory=12088 CPUtime=0.22 cores=1,3
/proc/310575/stat : 310575 (roundingsat) R 310571 310575 310523 0 -1 4194304 1680 0 0 0 17 5 0 0 20 0 1 0 42473575 42201088 3022 134679101440 4194304 8254357 140734102588912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11010048 140734102590299 140734102590561 140734102590561 140734102597577 0
/proc/310575/statm: 10303 3022 1378 992 0 2161 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 41212 KiB
Current children cumulated memory: 12088 KiB
[startup+0.312892 s]*
/proc/loadavg: 0.08 0.08 0.09 6/244 310596
/proc/meminfo: memFree=124690456/131655788 swapFree=131057052/131071996
[pid=310575] ppid=310571 vsize=41344 memory=12352 CPUtime=0.31 cores=1,3
/proc/310575/stat : 310575 (roundingsat) R 310571 310575 310523 0 -1 4194304 1763 0 0 0 23 8 0 0 20 0 1 0 42473575 42336256 3088 134679101440 4194304 8254357 140734102588912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11010048 140734102590299 140734102590561 140734102590561 140734102597577 0
/proc/310575/statm: 10336 3088 1378 992 0 2194 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41344 KiB
Current children cumulated memory: 12352 KiB
[startup+0.700267 s]
/proc/loadavg: 0.08 0.08 0.09 6/244 310596
/proc/meminfo: memFree=124682312/131655788 swapFree=131057052/131071996
[pid=310575] ppid=310571 vsize=47020 memory=17188 CPUtime=0.68 cores=1,3
/proc/310575/stat : 310575 (roundingsat) R 310571 310575 310523 0 -1 4194304 3013 0 0 0 50 18 0 0 20 0 1 0 42473575 48148480 4297 134679101440 4194304 8254357 140734102588912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11010048 140734102590299 140734102590561 140734102590561 140734102597577 0
/proc/310575/statm: 11755 4297 1378 992 0 3613 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 47020 KiB
Current children cumulated memory: 17188 KiB
[startup+1.50029 s]
/proc/loadavg: 0.08 0.08 0.09 5/244 310596
/proc/meminfo: memFree=124649612/131655788 swapFree=131057052/131071996
[pid=310575] ppid=310571 vsize=65028 memory=33484 CPUtime=1.48 cores=1,3
/proc/310575/stat : 310575 (roundingsat) R 310571 310575 310523 0 -1 4194304 6035 0 0 0 107 41 0 0 20 0 1 0 42473575 66588672 8371 134679101440 4194304 8254357 140734102588912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11010048 140734102590299 140734102590561 140734102590561 140734102597577 0
/proc/310575/statm: 16257 8371 1378 992 0 8115 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 65028 KiB
Current children cumulated memory: 33484 KiB
[startup+3.11389 s]
/proc/loadavg: 0.08 0.08 0.09 5/244 310596
/proc/meminfo: memFree=123415300/131655788 swapFree=131057052/131071996
[pid=310575] ppid=310571 vsize=361152 memory=330132 CPUtime=3.09 cores=1,3
/proc/310575/stat : 310575 (roundingsat) R 310571 310575 310523 0 -1 4194304 60422 0 0 0 234 75 0 0 20 0 1 0 42473575 369819648 82533 134679101440 4194304 8254357 140734102588912 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11010048 140734102590299 140734102590561 140734102590561 140734102597577 0
/proc/310575/statm: 90288 82533 1713 992 0 82146 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 361152 KiB
Current children cumulated memory: 330132 KiB
[startup+6.3003 s]
/proc/loadavg: 0.39 0.15 0.11 5/244 310596
/proc/meminfo: memFree=123415868/131655788 swapFree=131057052/131071996
[pid=310575] ppid=310571 vsize=367240 memory=317892 CPUtime=6.27 cores=1,3
/proc/310575/stat : 310575 (roundingsat) R 310571 310575 310523 0 -1 4194304 61354 0 0 0 542 85 0 0 20 0 1 0 42473575 376053760 79473 134679101440 4194304 8254357 140734102588912 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11010048 140734102590299 140734102590561 140734102590561 140734102597577 0
/proc/310575/statm: 91810 79473 1871 992 0 83668 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 367240 KiB
Current children cumulated memory: 317892 KiB
[startup+12.7003 s]
/proc/loadavg: 0.68 0.21 0.13 5/247 310601
/proc/meminfo: memFree=122836432/131655788 swapFree=131057052/131071996
[pid=310575] ppid=310571 vsize=438112 memory=394136 CPUtime=12.64 cores=1,3
/proc/310575/stat : 310575 (roundingsat) R 310571 310575 310523 0 -1 4194304 69708 0 0 0 1159 105 0 0 20 0 1 0 42473575 448626688 98534 134679101440 4194304 8254357 140734102588912 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11010048 140734102590299 140734102590561 140734102590561 140734102597577 0
/proc/310575/statm: 109528 98534 1886 992 0 101386 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 438112 KiB
Current children cumulated memory: 394136 KiB
[startup+25.5004 s]
/proc/loadavg: 1.49 0.41 0.20 5/253 310608
/proc/meminfo: memFree=122158248/131655788 swapFree=131057052/131071996
[pid=310575] ppid=310571 vsize=476088 memory=437976 CPUtime=25.4 cores=1,3
/proc/310575/stat : 310575 (roundingsat) R 310571 310575 310523 0 -1 4194304 76622 0 0 0 2406 134 0 0 20 0 1 0 42473575 487514112 109494 134679101440 4194304 8254357 140734102588912 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11010048 140734102590299 140734102590561 140734102590561 140734102597577 0
/proc/310575/statm: 119022 109494 1886 992 0 110880 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 476088 KiB
Current children cumulated memory: 437976 KiB
[startup+51.1141 s]
/proc/loadavg: 2.35 0.70 0.30 5/253 310614
/proc/meminfo: memFree=120802616/131655788 swapFree=131057052/131071996
[pid=310575] ppid=310571 vsize=745812 memory=657488 CPUtime=50.88 cores=1,3
/proc/310575/stat : 310575 (roundingsat) R 310571 310575 310523 0 -1 4194304 99015 0 0 0 4888 200 0 0 20 0 1 0 42473575 763711488 164372 134679101440 4194304 8254357 140734102588912 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11010048 140734102590299 140734102590561 140734102590561 140734102597577 0
/proc/310575/statm: 186453 164372 1886 992 0 178311 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 745812 KiB
Current children cumulated memory: 657488 KiB
[startup+102.3 s]
/proc/loadavg: 3.43 1.26 0.51 5/253 310622
/proc/meminfo: memFree=117943392/131655788 swapFree=131057052/131071996
[pid=310575] ppid=310571 vsize=1046684 memory=826600 CPUtime=101.85 cores=1,3
/proc/310575/stat : 310575 (roundingsat) R 310571 310575 310523 0 -1 4194304 115759 0 0 0 9885 300 0 0 20 0 1 0 42473575 1071804416 206650 134679101440 4194304 8254357 140734102588912 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11010048 140734102590299 140734102590561 140734102590561 140734102597577 0
/proc/310575/statm: 261671 206650 1886 992 0 253529 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 1046684 KiB
Current children cumulated memory: 826600 KiB
[startup+162.3 s]
/proc/loadavg: 3.92 1.80 0.75 5/256 310635
/proc/meminfo: memFree=115388072/131655788 swapFree=131057052/131071996
[pid=310575] ppid=310571 vsize=1268256 memory=1109268 CPUtime=161.6 cores=1,3
/proc/310575/stat : 310575 (roundingsat) R 310571 310575 310523 0 -1 4194304 157927 0 0 0 15742 418 0 0 20 0 1 0 42473575 1298694144 277317 134679101440 4194304 8254357 140734102588912 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11010048 140734102590299 140734102590561 140734102590561 140734102597577 0
/proc/310575/statm: 317064 277317 1886 992 0 308922 0
Current children cumulated CPU time: 161.6 s
Current children cumulated vsize: 1268256 KiB
Current children cumulated memory: 1109268 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.22 0.96 5/256 310646
/proc/meminfo: memFree=114048520/131655788 swapFree=131057052/131071996
[pid=310575] ppid=310571 vsize=1268852 memory=1112764 CPUtime=221.39 cores=1,3
/proc/310575/stat : 310575 (roundingsat) R 310571 310575 310523 0 -1 4194304 158412 0 0 0 21652 487 0 0 20 0 1 0 42473575 1299304448 278191 134679101440 4194304 8254357 140734102588912 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11010048 140734102590299 140734102590561 140734102590561 140734102597577 0
/proc/310575/statm: 317213 278191 1886 992 0 309071 0
Current children cumulated CPU time: 221.39 s
Current children cumulated vsize: 1268852 KiB
Current children cumulated memory: 1112764 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 2.58 1.16 5/256 311038
/proc/meminfo: memFree=111814696/131655788 swapFree=131057052/131071996
[pid=310575] ppid=310571 vsize=1568200 memory=1261432 CPUtime=281.16 cores=1,3
/proc/310575/stat : 310575 (roundingsat) R 310571 310575 310523 0 -1 4194304 176470 0 0 0 27508 608 0 0 20 0 1 0 42473575 1605836800 315358 134679101440 4194304 8254357 140734102588912 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11010048 140734102590299 140734102590561 140734102590561 140734102597577 0
/proc/310575/statm: 392050 315358 1886 992 0 383908 0
Current children cumulated CPU time: 281.16 s
Current children cumulated vsize: 1568200 KiB
Current children cumulated memory: 1261432 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 2.84 1.34 5/256 311051
/proc/meminfo: memFree=109523304/131655788 swapFree=131057052/131071996
[pid=310575] ppid=310571 vsize=1622292 memory=1380320 CPUtime=340.93 cores=1,3
/proc/310575/stat : 310575 (roundingsat) R 310571 310575 310523 0 -1 4194304 188220 0 0 0 33376 717 0 0 20 0 1 0 42473575 1661227008 345080 134679101440 4194304 8254357 140734102588912 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11010048 140734102590299 140734102590561 140734102590561 140734102597577 0
/proc/310575/statm: 405573 345080 1886 992 0 397431 0
Current children cumulated CPU time: 340.93 s
Current children cumulated vsize: 1622292 KiB
Current children cumulated memory: 1380320 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.08 1.52 5/256 311062
/proc/meminfo: memFree=107415376/131655788 swapFree=131057052/131071996
[pid=310575] ppid=310571 vsize=1626232 memory=1386956 CPUtime=400.7 cores=1,3
/proc/310575/stat : 310575 (roundingsat) R 310571 310575 310523 0 -1 4194304 188916 0 0 0 39323 747 0 0 20 0 1 0 42473575 1665261568 346739 134679101440 4194304 8254357 140734102588912 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11010048 140734102590299 140734102590561 140734102590561 140734102597577 0
/proc/310575/statm: 406558 346739 1886 992 0 398416 0
Current children cumulated CPU time: 400.7 s
Current children cumulated vsize: 1626232 KiB
Current children cumulated memory: 1386956 KiB
[startup+462.3 s]
/proc/loadavg: 4.25 3.31 1.70 5/260 311245
/proc/meminfo: memFree=104690740/131655788 swapFree=131057052/131071996
[pid=310575] ppid=310571 vsize=1641588 memory=1450112 CPUtime=460.45 cores=1,3
/proc/310575/stat : 310575 (roundingsat) R 310571 310575 310523 0 -1 4194304 191596 0 0 0 45188 857 0 0 20 0 1 0 42473575 1680986112 362528 134679101440 4194304 8254357 140734102588912 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11010048 140734102590299 140734102590561 140734102590561 140734102597577 0
/proc/310575/statm: 410397 362528 1886 992 0 402255 0
################
# More data... #
################
[startup+3222.31 s]
/proc/loadavg: 4.45 4.28 4.13 5/268 312437
/proc/meminfo: memFree=669600/131655788 swapFree=131056796/131071996
[pid=310575] ppid=310571 vsize=3368480 memory=2852972 CPUtime=3212.58 cores=1,3
/proc/310575/stat : 310575 (roundingsat) R 310571 310575 310523 0 -1 4194304 390167 0 0 0 318029 3229 0 0 20 0 1 0 42473575 3449323520 713243 134679101440 4194304 8254357 140734102588912 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11010048 140734102590299 140734102590561 140734102590561 140734102597577 0
/proc/310575/statm: 842120 713243 1967 992 0 833978 0
Current children cumulated CPU time: 3212.58 s
Current children cumulated vsize: 3368480 KiB
Current children cumulated memory: 2852972 KiB
[startup+3282.31 s]
/proc/loadavg: 4.25 4.26 4.13 7/266 312447
/proc/meminfo: memFree=678300/131655788 swapFree=131056796/131071996
[pid=310575] ppid=310571 vsize=3368480 memory=2852972 CPUtime=3272.43 cores=1,3
/proc/310575/stat : 310575 (roundingsat) R 310571 310575 310523 0 -1 4194304 391464 0 0 0 323959 3284 0 0 20 0 1 0 42473575 3449323520 713243 134679101440 4194304 8254357 140734102588912 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11010048 140734102590299 140734102590561 140734102590561 140734102597577 0
/proc/310575/statm: 842120 713243 1967 992 0 833978 0
Current children cumulated CPU time: 3272.43 s
Current children cumulated vsize: 3368480 KiB
Current children cumulated memory: 2852972 KiB
[startup+3342.31 s]
/proc/loadavg: 4.25 4.25 4.14 5/266 312457
/proc/meminfo: memFree=531840/131655788 swapFree=131056796/131071996
[pid=310575] ppid=310571 vsize=3368480 memory=2852972 CPUtime=3332.26 cores=1,3
/proc/310575/stat : 310575 (roundingsat) R 310571 310575 310523 0 -1 4194304 393087 0 0 0 329868 3358 0 0 20 0 1 0 42473575 3449323520 713243 134679101440 4194304 8254357 140734102588912 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11010048 140734102590299 140734102590561 140734102590561 140734102597577 0
/proc/310575/statm: 842120 713243 1967 992 0 833978 0
Current children cumulated CPU time: 3332.26 s
Current children cumulated vsize: 3368480 KiB
Current children cumulated memory: 2852972 KiB
[startup+3402.31 s]
/proc/loadavg: 4.09 4.20 4.12 5/266 312469
/proc/meminfo: memFree=502308/131655788 swapFree=131056796/131071996
[pid=310575] ppid=310571 vsize=3368480 memory=2852972 CPUtime=3392.1 cores=1,3
/proc/310575/stat : 310575 (roundingsat) R 310571 310575 310523 0 -1 4194304 395325 0 0 0 335816 3394 0 0 20 0 1 0 42473575 3449323520 713243 134679101440 4194304 8254357 140734102588912 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11010048 140734102590299 140734102590561 140734102590561 140734102597577 0
/proc/310575/statm: 842120 713243 1967 992 0 833978 0
Current children cumulated CPU time: 3392.1 s
Current children cumulated vsize: 3368480 KiB
Current children cumulated memory: 2852972 KiB
[startup+3462.32 s]
/proc/loadavg: 4.51 4.32 4.17 5/265 312479
/proc/meminfo: memFree=548160/131655788 swapFree=131056796/131071996
[pid=310575] ppid=310571 vsize=3368480 memory=2852972 CPUtime=3451.92 cores=1,3
/proc/310575/stat : 310575 (roundingsat) R 310571 310575 310523 0 -1 4194304 396350 0 0 0 341732 3460 0 0 20 0 1 0 42473575 3449323520 713243 134679101440 4194304 8254357 140734102588912 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11010048 140734102590299 140734102590561 140734102590561 140734102597577 0
/proc/310575/statm: 842120 713243 1967 992 0 833978 0
Current children cumulated CPU time: 3451.92 s
Current children cumulated vsize: 3368480 KiB
Current children cumulated memory: 2852972 KiB
[startup+3522.31 s]
/proc/loadavg: 4.39 4.31 4.17 5/265 312494
/proc/meminfo: memFree=493336/131655788 swapFree=131056796/131071996
[pid=310575] ppid=310571 vsize=3368480 memory=2852976 CPUtime=3511.75 cores=1,3
/proc/310575/stat : 310575 (roundingsat) R 310571 310575 310523 0 -1 4194304 397423 0 0 0 347660 3515 0 0 20 0 1 0 42473575 3449323520 713244 134679101440 4194304 8254357 140734102588912 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11010048 140734102590299 140734102590561 140734102590561 140734102597577 0
/proc/310575/statm: 842120 713244 1967 992 0 833978 0
Current children cumulated CPU time: 3511.75 s
Current children cumulated vsize: 3368480 KiB
Current children cumulated memory: 2852976 KiB
[startup+3582.31 s]
/proc/loadavg: 4.19 4.26 4.17 5/267 312509
/proc/meminfo: memFree=558888/131655788 swapFree=131056796/131071996
[pid=310575] ppid=310571 vsize=3368480 memory=2852976 CPUtime=3571.58 cores=1,3
/proc/310575/stat : 310575 (roundingsat) R 310571 310575 310523 0 -1 4194304 398529 0 0 0 353623 3535 0 0 20 0 1 0 42473575 3449323520 713244 134679101440 4194304 8254357 140734102588912 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11010048 140734102590299 140734102590561 140734102590561 140734102597577 0
/proc/310575/statm: 842120 713244 1967 992 0 833978 0
Current children cumulated CPU time: 3571.58 s
Current children cumulated vsize: 3368480 KiB
Current children cumulated memory: 2852976 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.33 4.29 4.18 5/267 312514
/proc/meminfo: memFree=565688/131655788 swapFree=131056796/131071996
[pid=310575] ppid=310571 vsize=3368480 memory=2852976 CPUtime=3600.08 cores=1,3
/proc/310575/stat : 310575 (roundingsat) R 310571 310575 310523 0 -1 4194304 399144 0 0 0 356444 3564 0 0 20 0 1 0 42473575 3449323520 713244 134679101440 4194304 8254357 140734102588912 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11010048 140734102590299 140734102590561 140734102590561 140734102597577 0
/proc/310575/statm: 842120 713244 1967 992 0 833978 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3368480 KiB
Current children cumulated memory: 2852976 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.33 4.29 4.18 2/267 312514
/proc/meminfo: memFree=680904/131655788 swapFree=131056796/131071996
[pid=310575] ppid=310571 vsize=3368480 memory=2852976 CPUtime=3600.11 cores=1,3
/proc/310575/stat : 310575 (roundingsat) D 310571 310575 310523 0 -1 4194304 399148 0 1 0 356445 3566 0 0 20 0 1 0 42473575 3449323520 713244 134679101440 4194304 8254357 140734102588912 0 0 256 0 0 25182210 0 0 0 17 1 0 0 4 0 0 9037040 9046032 11010048 140734102590299 140734102590561 140734102590561 140734102597577 0
/proc/310575/statm: 842120 713244 1967 992 0 833978 0
??? kill 310575 sig 9
??? end of watcher thread
[startup+3663.6 s]
# the end of solver process 310575 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3564.46 s, system=35.75 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3611.4 s]
/proc/loadavg: 4.33 4.29 4.18 3/267 312514
/proc/meminfo: memFree=493884/131655788 swapFree=131056796/131071996
[pid=310575] ppid=310571 vsize=3368480 memory=2852976 CPUtime=3600.11 cores=1,3
/proc/310575/stat : 310575 (roundingsat) D 310571 310575 310523 0 -1 4194304 399148 0 1 0 356445 3566 0 0 20 0 1 0 42473575 3449323520 713244 134679101440 4194304 8254357 140734102588912 0 0 0 0 0 25182210 0 0 0 17 1 0 0 4 0 0 9037040 9046032 11010048 140734102590299 140734102590561 140734102590561 140734102597577 0
/proc/310575/statm: 842120 713244 1967 992 0 833978 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 3368480 KiB
Current children cumulated memory: 2852976 KiB
[startup+3612.2 s]*
/proc/loadavg: 4.33 4.29 4.18 2/267 312514
/proc/meminfo: memFree=680904/131655788 swapFree=131056796/131071996
[pid=310575] ppid=310571 vsize=3368480 memory=2852976 CPUtime=3600.11 cores=1,3
/proc/310575/stat : 310575 (roundingsat) D 310571 310575 310523 0 -1 4194304 399148 0 1 0 356445 3566 0 0 20 0 1 0 42473575 3449323520 713244 134679101440 4194304 8254357 140734102588912 0 0 0 0 0 25182210 0 0 0 17 1 0 0 4 0 0 9037040 9046032 11010048 140734102590299 140734102590561 140734102590561 140734102597577 0
/proc/310575/statm: 842120 713244 1967 992 0 833978 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 3368480 KiB
Current children cumulated memory: 2852976 KiB
[startup+3612.6 s]
/proc/loadavg: 4.33 4.29 4.18 2/267 312514
/proc/meminfo: memFree=680904/131655788 swapFree=131056796/131071996
[pid=310575] ppid=310571 vsize=3368480 memory=2852976 CPUtime=3600.11 cores=1,3
/proc/310575/stat : 310575 (roundingsat) D 310571 310575 310523 0 -1 4194304 399148 0 1 0 356445 3566 0 0 20 0 1 0 42473575 3449323520 713244 134679101440 4194304 8254357 140734102588912 0 0 0 0 0 25182210 0 0 0 17 1 0 0 4 0 0 9037040 9046032 11010048 140734102590299 140734102590561 140734102590561 140734102597577 0
/proc/310575/statm: 842120 713244 1967 992 0 833978 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 3368480 KiB
Current children cumulated memory: 2852976 KiB
[startup+3612.8 s]
/proc/loadavg: 4.33 4.29 4.18 2/267 312514
/proc/meminfo: memFree=680904/131655788 swapFree=131056796/131071996
[pid=310575] ppid=310571 vsize=3368480 memory=2852976 CPUtime=3600.11 cores=1,3
/proc/310575/stat : 310575 (roundingsat) D 310571 310575 310523 0 -1 4194304 399148 0 1 0 356445 3566 0 0 20 0 1 0 42473575 3449323520 713244 134679101440 4194304 8254357 140734102588912 0 0 0 0 0 25182210 0 0 0 17 1 0 0 4 0 0 9037040 9046032 11010048 140734102590299 140734102590561 140734102590561 140734102597577 0
/proc/310575/statm: 842120 713244 1967 992 0 833978 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 3368480 KiB
Current children cumulated memory: 2852976 KiB
[startup+3612.9 s]
/proc/loadavg: 4.33 4.29 4.18 2/267 312514
/proc/meminfo: memFree=680904/131655788 swapFree=131056796/131071996
[pid=310575] ppid=310571 vsize=3368480 memory=2852976 CPUtime=3600.11 cores=1,3
/proc/310575/stat : 310575 (roundingsat) D 310571 310575 310523 0 -1 4194304 399148 0 1 0 356445 3566 0 0 20 0 1 0 42473575 3449323520 713244 134679101440 4194304 8254357 140734102588912 0 0 0 0 0 25182210 0 0 0 17 1 0 0 4 0 0 9037040 9046032 11010048 140734102590299 140734102590561 140734102590561 140734102597577 0
/proc/310575/statm: 842120 713244 1967 992 0 833978 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 3368480 KiB
Current children cumulated memory: 2852976 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3663.6
CPU time (s): 3600.21
CPU user time (s): 3564.46
CPU system time (s): 35.75
CPU usage (%): 98.2697
Max. virtual memory (cumulated for all children) (KiB): 3368480
Max. memory (cumulated for all children) (KiB): 2852976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.46
system time used= 35.75
maximum resident set size= 2853224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 399148
page faults= 1
swaps= 0
block input operations= 3968
block output operations= 81424240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6559
involuntary context switches= 4700
# summary of solver processes directly reported to runsolver:
# pid: 310575
# total CPU time (s): 3600.21
# total CPU user time (s): 3564.46
# total CPU system time (s): 35.75
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4991 second user time and 37.9382 second system time
The end
Begin job on nodeC012 at 2024-07-27 09:20:38 IDJOB=4460192 IDBENCH=147554 IDSOLVER=3086 FILE ID=nodeC012/4460192-1722064838 RUNJOBID= nodeC012-1722064838-310535 SLURM_JOB_ID= 8248114 Free space on /tmp= 723716 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460192-1722064838/watcher-4460192-1722064838 -o /tmp/evaluation-result-4460192-1722064838/solver-4460192-1722064838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722064838-310535 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460192-1722064838 --lp-cut-gomory=0 HOME/instance-4460192-1722064838.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= eddbc5130f16a1842e21dd4bd4477bf2 RANDOM SEED=1957297555 nodeC012.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.209 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 : 6983.47 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.166 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.32 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.166 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 : 6983.47 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.182 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.32 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.192 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 : 6983.47 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 : 1197.167 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.32 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.166 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 : 6983.47 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.252 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.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 124724508 kB MemAvailable: 129910656 kB Buffers: 371256 kB Cached: 5600484 kB SwapCached: 188 kB Active: 2689472 kB Inactive: 3597752 kB Active(anon): 3884 kB Inactive(anon): 364704 kB Active(file): 2685588 kB Inactive(file): 3233048 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131057052 kB Dirty: 83688 kB Writeback: 12 kB AnonPages: 312488 kB Mapped: 117964 kB Shmem: 53076 kB KReclaimable: 215088 kB Slab: 328428 kB SReclaimable: 215088 kB SUnreclaim: 113340 kB KernelStack: 3664 kB PageTables: 9644 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 774616 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 15136 kB HardwareCorrupted: 0 kB AnonHugePages: 194560 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: 402248 kB DirectMap2M: 55076864 kB DirectMap1G: 80740352 kB Free space on /tmp at the end= 723692 MiB End job on nodeC012 at 2024-07-27 10:21:42