| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | SAT (TO) | 23 | 3600.09 | 3616.87 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_3.opb |
| MD5SUM | 529ae296d86301d65a8fd4e36abb4ed9 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 21 |
| Best CPU time to get the best result obtained on this benchmark | 90.3129 |
| 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 | 6076 |
| Total number of constraints | 21401 |
| Number of constraints which are clauses | 21392 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 8 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 666 |
| Number of terms in the objective function | 666 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 666 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 31 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 697 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.05/7.21 c #variables 6076 #constraints 21401 4.13/11.39 c bounds - >= 0 @ 0.055398 4.13/11.39 c bounds 31 >= 0 @ 0.174752 4.13/11.39 c bounds 31 >= 5 @ 0.174862 4.13/11.39 c bounds 31 >= 6 @ 0.218635 4.13/11.39 c bounds 31 >= 7 @ 0.219069 4.13/11.39 c bounds 30 >= 7 @ 0.221032 4.13/11.39 c bounds 30 >= 8 @ 0.221903 4.13/11.39 c bounds 29 >= 8 @ 0.224581 4.13/11.39 c bounds 29 >= 9 @ 0.224891 4.13/11.39 c bounds 29 >= 10 @ 0.225751 4.13/11.39 c bounds 29 >= 11 @ 0.226613 4.13/11.39 c bounds 28 >= 11 @ 0.227928 4.13/11.39 c bounds 28 >= 12 @ 0.230329 4.13/11.39 c #Conflicts: 1000 | #Constraints: 22425 4.13/11.39 c #Conflicts: 2000 | #Constraints: 23425 4.13/11.39 c INPROCESSING 4.13/11.39 c GARBAGE COLLECT 4.13/11.39 c bounds 28 >= 13 @ 1.82471 4.13/11.39 WSVECS04 Frhs2[11]: 6 0 3.23131 shouldn't be 4.13/11.39 WSVECS04 Frhs2[41]: 6 0 0.269745 shouldn't be 4.13/11.39 WSVECS04 Frhs2[110]: 6 0 3.00002 shouldn't be 4.13/11.39 WSVECS04 Frhs2[160]: 6 0 0.0345538 shouldn't be 4.13/11.39 WSVECS04 Frhs2[283]: 6 0 4.1634 shouldn't be 4.13/11.39 WSVECS04 Frhs2[287]: 6 0 4.16339 shouldn't be 4.13/11.39 WSVECS04 Frhs2[308]: 6 0 6.41295 shouldn't be 4.13/11.39 WSVECS04 Frhs2[329]: 6 0 7.41294 shouldn't be 4.13/11.39 WSVECS04 Frhs2[335]: 6 0 4.16343 shouldn't be 4.13/11.39 WSVECS04 Frhs2[353]: 6 0 8.32676 shouldn't be 4.13/11.39 WSVECS04 Frhs2[568]: 6 0 0.328416 shouldn't be 4.13/11.39 WSVECS04 Frhs2[629]: 6 0 2.10939 shouldn't be 4.13/11.39 WSVECS04 Frhs2[722]: 6 0 2.45819 shouldn't be 4.13/11.39 WSVECS04 Frhs2[763]: 6 0 0.56004 shouldn't be 4.13/11.39 WSVECS04 Frhs2[803]: 6 0 1.84008 shouldn't be 4.13/11.39 WSVECS04 Frhs2[806]: 6 0 1.12009 shouldn't be 4.13/11.39 WSVECS04 Frhs2[816]: 6 0 0.214621 shouldn't be 4.13/11.39 WSVECS04 Frhs2[821]: 6 0 1.60007 shouldn't be 4.13/11.39 WSVECS04 Frhs2[848]: 6 0 1.28004 shouldn't be 4.13/11.39 WSVECS04 Frhs2[857]: 6 0 1.36004 shouldn't be 4.13/11.39 WSVECS04 Frhs2[882]: 6 0 1.20368 shouldn't be 4.13/11.39 WSVECS04 Frhs2[901]: 6 0 2.24737 shouldn't be 4.13/11.39 WSVECS04 Frhs2[2075]: 6 0 4.16339 shouldn't be 4.13/11.39 WSVECS04 Frhs2[2076]: 6 0 4.16338 shouldn't be 4.13/11.39 WSVECS04 Frhs2[2079]: 6 0 4.16338 shouldn't be 4.13/11.39 WSVECS04 Frhs2[2080]: 6 0 4.16337 shouldn't be 4.13/11.39 WSVECS04 Frhs2[2081]: 6 0 4.16342 shouldn't be 4.13/11.39 WSVECS04 Frhs2[2082]: 6 0 4.16338 shouldn't be 4.13/11.39 WSVECS04 Frhs2[2083]: 6 0 4.16344 shouldn't be 4.13/11.39 WSVECS04 Frhs2[2084]: 6 0 4.16344 shouldn't be 4.13/11.39 WSVECS04 Frhs2[2086]: 6 0 4.16344 shouldn't be 4.13/11.39 WSVECS04 Frhs2[2089]: 6 0 4.16343 shouldn't be 4.13/11.39 WSVECS04 Frhs2[2090]: 6 0 4.16343 shouldn't be 4.13/11.39 WSVECS04 Frhs2[2092]: 6 0 4.16342 shouldn't be 4.13/11.39 WSVECS04 Frhs2[2094]: 6 0 4.16338 shouldn't be 4.13/11.39 WSVECS04 Frhs2[2345]: 6 -6.4129 0 shouldn't be 4.13/11.39 WSVECS04 Frhs2[2348]: 6 0 6.4129 shouldn't be 4.13/11.39 WSVECS04 Frhs2[2349]: 6 0 6.41292 shouldn't be 4.13/11.39 WSVECS04 Frhs2[2350]: 6 0 6.41292 shouldn't be 4.13/11.39 WSVECS04 Frhs2[2351]: 6 0 6.4129 shouldn't be 4.13/11.39 WSVECS04 Frhs2[2352]: 6 0 6.41297 shouldn't be 4.13/11.39 WSVECS04 Frhs2[2353]: 6 0 6.41293 shouldn't be 4.13/11.39 WSVECS04 Frhs2[2354]: 6 0 6.41296 shouldn't be 4.13/11.39 WSVECS04 Frhs2[2355]: 6 0 6.41292 shouldn't be 4.13/11.39 WSVECS04 Frhs2[2620]: 6 0 2.16345 shouldn't be 4.13/11.39 WSVECS04 Frhs2[2872]: 6 0 2.16342 shouldn't be 4.13/11.39 WSVECS04 Frhs2[2958]: 6 0 4.16338 shouldn't be 4.13/11.39 WSVECS04 Frhs2[3048]: 6 0 4.97041 shouldn't be 4.13/11.39 WSVECS04 Frhs2[3062]: 6 0 5.09099 shouldn't be 4.13/11.39 WSVECS04 Frhs2[3190]: 6 0 2.3418 shouldn't be 4.13/11.39 WSVECS04 Frhs2[3317]: 6 0 0.034565 shouldn't be 4.13/11.39 WSVECS04 Frhs2[3516]: 6 0 0.250042 shouldn't be 4.13/11.39 WSVECS04 Frhs2[3728]: 6 0 0.951785 shouldn't be 4.13/11.39 WSVECS04 Frhs2[3729]: 6 0 0.951826 shouldn't be 4.13/11.39 WSVECS04 Frhs2[3730]: 6 0 0.951834 shouldn't be 4.13/11.39 WSVECS04 Frhs2[3890]: 6 0 4.72929 shouldn't be 4.13/11.39 WSVECS04 Frhs2[3990]: 6 0 1.18117 shouldn't be 4.13/11.39 WSVECS04 Frhs2[4042]: 6 -0.676673 0 shouldn't be 4.13/11.39 WSVECS04 Frhs2[4044]: 6 0 0.676608 shouldn't be 4.13/11.39 WSVECS04 Frhs2[4045]: 6 0 0.676671 shouldn't be 4.13/11.39 WSVECS04 Frhs2[5008]: 6 0 0.320023 shouldn't be 4.13/11.39 WSVECS04 Frhs2[5113]: 6 0 0.0545605 shouldn't be 4.13/11.39 WSVECS04 Frhs2[5114]: 6 0 0.0546151 shouldn't be 4.13/11.39 WSVECS04 Frhs2[5115]: 6 0 0.0545695 shouldn't be 4.13/11.39 WSVECS04 Frhs2[5116]: 6 0 0.0545924 shouldn't be 4.13/11.39 WSVECS04 Frhs2[5117]: 6 0 0.0545889 shouldn't be 4.13/11.39 WSVECS04 Frhs2[5118]: 6 0 0.0545601 shouldn't be 4.13/11.39 WSVECS04 Frhs2[5119]: 6 0 0.0545832 shouldn't be 4.13/11.39 WSVECS04 Frhs2[5120]: 6 0 0.0546052 shouldn't be 4.13/11.39 WSVECS04 Frhs2[5202]: 6 0 2.6546 shouldn't be 4.13/11.39 WSVECS04 Frhs2[5248]: 6 0 0.120093 shouldn't be 4.13/11.39 WSVECS04 Frhs2[5249]: 6 0 0.120091 shouldn't be 4.13/11.39 WSVECS04 Frhs2[5250]: 6 0 0.120054 shouldn't be 4.13/11.39 WSVECS04 Frhs2[5856]: 6 0 0.272821 shouldn't be 4.13/11.39 WSVECS04 Frhs2[5929]: 6 0 0.818247 shouldn't be 4.13/11.39 WSVECS04 Frhs2[5948]: 6 0 2.02186 shouldn't be 4.13/11.39 WSVECS04 Frhs2[5960]: 6 0 0.0909624 shouldn't be 4.13/11.39 WSVECS04 Frhs2[6002]: 6 0 0.363686 shouldn't be 4.13/11.39 WSVECS04 Frhs2[6016]: 6 0 0.840044 shouldn't be 4.13/11.39 WSVECS04 Frhs2[6054]: 6 0 0.272749 shouldn't be 4.13/11.39 WSVECS04 Frhs2[6061]: 6 0 0.090977 shouldn't be 15.41/22.69 c bounds 28 >= 14 @ 4.59911 15.41/22.69 c #Conflicts: 3000 | #Constraints: 23448 15.41/22.69 c #Conflicts: 4000 | #Constraints: 24448 15.41/22.69 c INPROCESSING 15.41/22.69 c GARBAGE COLLECT 15.41/22.69 c #Conflicts: 5000 | #Constraints: 23903 15.41/22.69 c #Conflicts: 6000 | #Constraints: 24903 15.41/22.69 c INPROCESSING 15.41/22.69 c GARBAGE COLLECT 15.41/22.69 c rational objective 10.6102 43.65/50.94 c #Conflicts: 7000 | #Constraints: 23875 43.65/50.94 c #Conflicts: 8000 | #Constraints: 24875 43.65/50.94 c #Conflicts: 9000 | #Constraints: 25875 43.65/50.94 c INPROCESSING 43.65/50.94 c GARBAGE COLLECT 43.65/50.94 c bounds 28 >= 15 @ 17.4209 43.65/50.94 c bounds 28 >= 16 @ 17.4711 43.65/50.94 c #Conflicts: 10000 | #Constraints: 24588 43.65/50.94 c #Conflicts: 11000 | #Constraints: 25588 43.65/50.94 c #Conflicts: 12000 | #Constraints: 26588 43.65/50.94 c INPROCESSING 43.65/50.94 c GARBAGE COLLECT 43.65/50.94 c #Conflicts: 13000 | #Constraints: 25100 43.65/50.94 c #Conflicts: 14000 | #Constraints: 26100 43.65/50.94 c #Conflicts: 15000 | #Constraints: 27100 43.65/50.94 c INPROCESSING 43.65/50.94 c GARBAGE COLLECT 43.65/50.94 c #Conflicts: 16000 | #Constraints: 25297 43.65/50.94 c #Conflicts: 17000 | #Constraints: 26301 43.65/50.94 c #Conflicts: 18000 | #Constraints: 27304 43.65/50.94 c INPROCESSING 43.65/50.94 c GARBAGE COLLECT 43.65/50.94 c bounds 28 >= 17 @ 35.4787 43.65/50.94 c #Conflicts: 19000 | #Constraints: 25320 43.65/50.94 c #Conflicts: 20000 | #Constraints: 26320 43.65/50.94 c #Conflicts: 21000 | #Constraints: 27320 43.65/50.94 c INPROCESSING 43.65/50.94 c GARBAGE COLLECT 43.65/50.94 c rational objective 11.2968 48.13/55.45 c #Conflicts: 22000 | #Constraints: 25194 48.13/55.45 c #Conflicts: 23000 | #Constraints: 26194 48.13/55.45 c #Conflicts: 24000 | #Constraints: 27194 48.13/55.45 c #Conflicts: 25000 | #Constraints: 28194 48.13/55.45 c INPROCESSING 48.13/55.45 c GARBAGE COLLECT 48.13/55.45 c rational objective 11.306 109.78/117.29 c #Conflicts: 26000 | #Constraints: 25774 109.78/117.29 c #Conflicts: 27000 | #Constraints: 26774 109.78/117.29 c #Conflicts: 28000 | #Constraints: 27774 109.78/117.29 c #Conflicts: 29000 | #Constraints: 28774 109.78/117.29 c INPROCESSING 109.78/117.29 c GARBAGE COLLECT 109.78/117.29 c #Conflicts: 30000 | #Constraints: 26163 109.78/117.29 c #Conflicts: 31000 | #Constraints: 27163 109.78/117.29 c #Conflicts: 32000 | #Constraints: 28163 109.78/117.29 c #Conflicts: 33000 | #Constraints: 29163 109.78/117.29 c INPROCESSING 109.78/117.29 c GARBAGE COLLECT 109.78/117.29 c #Conflicts: 34000 | #Constraints: 26405 109.78/117.29 c #Conflicts: 35000 | #Constraints: 27406 109.78/117.29 c #Conflicts: 36000 | #Constraints: 28407 109.78/117.29 c #Conflicts: 37000 | #Constraints: 29407 109.78/117.29 c INPROCESSING 109.78/117.29 c GARBAGE COLLECT 109.78/117.29 c #Conflicts: 38000 | #Constraints: 26367 109.78/117.29 c #Conflicts: 39000 | #Constraints: 27367 109.78/117.29 c #Conflicts: 40000 | #Constraints: 28367 109.78/117.29 c #Conflicts: 41000 | #Constraints: 29367 109.78/117.29 c INPROCESSING 109.78/117.29 c GARBAGE COLLECT 109.78/117.29 c #Conflicts: 42000 | #Constraints: 26154 109.78/117.29 c #Conflicts: 43000 | #Constraints: 27154 109.78/117.29 c #Conflicts: 44000 | #Constraints: 28154 109.78/117.29 c bounds 28 >= 18 @ 85.8348 109.78/117.29 c #Conflicts: 45000 | #Constraints: 29174 109.78/117.29 c #Conflicts: 46000 | #Constraints: 30174 109.78/117.29 c INPROCESSING 109.78/117.29 c GARBAGE COLLECT 109.78/117.29 c #Conflicts: 47000 | #Constraints: 26772 109.78/117.29 c #Conflicts: 48000 | #Constraints: 27772 109.78/117.29 c #Conflicts: 49000 | #Constraints: 28772 109.78/117.29 c #Conflicts: 50000 | #Constraints: 29772 109.78/117.29 c #Conflicts: 51000 | #Constraints: 30772 109.78/117.29 c INPROCESSING 109.78/117.29 c GARBAGE COLLECT 109.78/117.29 c rational objective 11.3138 120.74/128.24 c #Conflicts: 52000 | #Constraints: 27274 120.74/128.24 c bounds 27 >= 18 @ 109.077 120.74/128.24 c bounds 26 >= 18 @ 109.188 120.74/128.24 c #Conflicts: 53000 | #Constraints: 28276 120.74/128.24 c #Conflicts: 54000 | #Constraints: 29276 120.74/128.24 c #Conflicts: 55000 | #Constraints: 30276 120.74/128.24 c #Conflicts: 56000 | #Constraints: 31276 120.74/128.24 c INPROCESSING 120.74/128.24 c GARBAGE COLLECT 120.74/128.24 c #Conflicts: 57000 | #Constraints: 27422 120.74/128.24 c #Conflicts: 58000 | #Constraints: 28422 120.74/128.24 c #Conflicts: 59000 | #Constraints: 29422 120.74/128.24 c #Conflicts: 60000 | #Constraints: 30422 120.74/128.24 c #Conflicts: 61000 | #Constraints: 31422 120.74/128.24 c INPROCESSING 120.74/128.24 c GARBAGE COLLECT 120.74/128.24 c rational objective 11.3288 151.27/158.81 c #Conflicts: 62000 | #Constraints: 27411 151.27/158.81 c #Conflicts: 63000 | #Constraints: 28411 151.27/158.81 c #Conflicts: 64000 | #Constraints: 29411 151.27/158.81 c #Conflicts: 65000 | #Constraints: 30411 151.27/158.81 c #Conflicts: 66000 | #Constraints: 31412 151.27/158.81 c bounds 25 >= 18 @ 124.533 151.27/158.81 c INPROCESSING 151.27/158.81 c GARBAGE COLLECT 151.27/158.81 c #Conflicts: 67000 | #Constraints: 27303 151.27/158.81 c #Conflicts: 68000 | #Constraints: 28303 151.27/158.81 c #Conflicts: 69000 | #Constraints: 29303 151.27/158.81 c #Conflicts: 70000 | #Constraints: 30303 151.27/158.81 c #Conflicts: 71000 | #Constraints: 31303 151.27/158.81 c #Conflicts: 72000 | #Constraints: 32303 151.27/158.81 c INPROCESSING 151.27/158.81 c GARBAGE COLLECT 151.27/158.81 c rational objective 11.3534 198.85/206.58 c bounds 24 >= 18 @ 148.786 198.85/206.58 c #Conflicts: 73000 | #Constraints: 27928 198.85/206.58 c #Conflicts: 74000 | #Constraints: 28928 198.85/206.58 c #Conflicts: 75000 | #Constraints: 29928 198.85/206.58 c #Conflicts: 76000 | #Constraints: 30928 198.85/206.58 c #Conflicts: 77000 | #Constraints: 31928 198.85/206.58 c #Conflicts: 78000 | #Constraints: 32928 198.85/206.58 c INPROCESSING 198.85/206.58 c GARBAGE COLLECT 198.85/206.58 c #Conflicts: 79000 | #Constraints: 28254 198.85/206.58 c #Conflicts: 80000 | #Constraints: 29254 198.85/206.58 c #Conflicts: 81000 | #Constraints: 30254 198.85/206.58 c #Conflicts: 82000 | #Constraints: 31255 198.85/206.58 c #Conflicts: 83000 | #Constraints: 32255 198.85/206.58 c #Conflicts: 84000 | #Constraints: 33255 198.85/206.58 c INPROCESSING 198.85/206.58 c GARBAGE COLLECT 198.85/206.58 c #Conflicts: 85000 | #Constraints: 28443 198.85/206.58 c #Conflicts: 86000 | #Constraints: 29443 198.85/206.58 c #Conflicts: 87000 | #Constraints: 30443 198.85/206.58 c #Conflicts: 88000 | #Constraints: 31443 198.85/206.58 c #Conflicts: 89000 | #Constraints: 32443 198.85/206.58 c #Conflicts: 90000 | #Constraints: 33443 198.85/206.58 c INPROCESSING 198.85/206.58 c GARBAGE COLLECT 198.85/206.58 c rational objective 11.3552 209.83/217.51 c #Conflicts: 91000 | #Constraints: 28559 209.83/217.51 c #Conflicts: 92000 | #Constraints: 29559 209.83/217.51 c #Conflicts: 93000 | #Constraints: 30559 209.83/217.51 c #Conflicts: 94000 | #Constraints: 31559 209.83/217.51 c #Conflicts: 95000 | #Constraints: 32559 209.83/217.51 c #Conflicts: 96000 | #Constraints: 33559 209.83/217.51 c INPROCESSING 209.83/217.51 c GARBAGE COLLECT 209.83/217.51 c rational objective 11.3687 241.95/249.79 c #Conflicts: 97000 | #Constraints: 28312 241.95/249.79 c #Conflicts: 98000 | #Constraints: 29312 241.95/249.79 c #Conflicts: 99000 | #Constraints: 30312 241.95/249.79 c #Conflicts: 100000 | #Constraints: 31312 241.95/249.79 c #Conflicts: 101000 | #Constraints: 32312 241.95/249.79 c #Conflicts: 102000 | #Constraints: 33312 241.95/249.79 c #Conflicts: 103000 | #Constraints: 34312 241.95/249.79 c INPROCESSING 241.95/249.79 c GARBAGE COLLECT 241.95/249.79 c rational objective 11.3814 273.67/281.50 c #Conflicts: 104000 | #Constraints: 29025 273.67/281.50 c #Conflicts: 105000 | #Constraints: 30025 273.67/281.50 c #Conflicts: 106000 | #Constraints: 31025 273.67/281.50 c #Conflicts: 107000 | #Constraints: 32025 273.67/281.50 c #Conflicts: 108000 | #Constraints: 33025 273.67/281.50 c #Conflicts: 109000 | #Constraints: 34025 273.67/281.50 c #Conflicts: 110000 | #Constraints: 35025 273.67/281.50 c INPROCESSING 273.67/281.50 c GARBAGE COLLECT 273.67/281.50 c #Conflicts: 111000 | #Constraints: 29325 273.67/281.50 c #Conflicts: 112000 | #Constraints: 30325 273.67/281.50 c #Conflicts: 113000 | #Constraints: 31325 273.67/281.50 c #Conflicts: 114000 | #Constraints: 32325 273.67/281.50 c #Conflicts: 115000 | #Constraints: 33325 273.67/281.50 c #Conflicts: 116000 | #Constraints: 34325 273.67/281.50 c #Conflicts: 117000 | #Constraints: 35325 273.67/281.50 c INPROCESSING 273.67/281.50 c GARBAGE COLLECT 273.67/281.50 c #Conflicts: 118000 | #Constraints: 29489 273.67/281.50 c #Conflicts: 119000 | #Constraints: 30489 273.67/281.50 c #Conflicts: 120000 | #Constraints: 31489 273.67/281.50 c #Conflicts: 121000 | #Constraints: 32489 273.67/281.50 c #Conflicts: 122000 | #Constraints: 33489 273.67/281.50 c #Conflicts: 123000 | #Constraints: 34489 273.67/281.50 c #Conflicts: 124000 | #Constraints: 35489 273.67/281.50 c INPROCESSING 273.67/281.50 c GARBAGE COLLECT 273.67/281.50 c rational objective 11.4001 325.43/333.43 c #Conflicts: 125000 | #Constraints: 29463 325.43/333.43 c #Conflicts: 126000 | #Constraints: 30463 325.43/333.43 c #Conflicts: 127000 | #Constraints: 31463 325.43/333.43 c #Conflicts: 128000 | #Constraints: 32463 325.43/333.43 c #Conflicts: 129000 | #Constraints: 33463 325.43/333.43 c #Conflicts: 130000 | #Constraints: 34463 325.43/333.43 c #Conflicts: 131000 | #Constraints: 35463 325.43/333.43 c INPROCESSING 325.43/333.43 c GARBAGE COLLECT 325.43/333.43 c #Conflicts: 132000 | #Constraints: 29380 325.43/333.43 c #Conflicts: 133000 | #Constraints: 30380 325.43/333.43 c #Conflicts: 134000 | #Constraints: 31380 325.43/333.43 c #Conflicts: 135000 | #Constraints: 32380 325.43/333.43 c #Conflicts: 136000 | #Constraints: 33380 325.43/333.43 c #Conflicts: 137000 | #Constraints: 34380 325.43/333.43 c #Conflicts: 138000 | #Constraints: 35380 325.43/333.43 c #Conflicts: 139000 | #Constraints: 36380 325.43/333.43 c INPROCESSING 325.43/333.43 c GARBAGE COLLECT 325.43/333.43 c rational objective 11.4039 376.79/384.99 c #Conflicts: 140000 | #Constraints: 29915 376.79/384.99 c #Conflicts: 141000 | #Constraints: 30915 376.79/384.99 c bounds 23 >= 18 @ 322.353 376.79/384.99 c #Conflicts: 142000 | #Constraints: 31916 376.79/384.99 c #Conflicts: 143000 | #Constraints: 32916 376.79/384.99 c #Conflicts: 144000 | #Constraints: 33916 376.79/384.99 c #Conflicts: 145000 | #Constraints: 34916 376.79/384.99 c #Conflicts: 146000 | #Constraints: 35916 376.79/384.99 c #Conflicts: 147000 | #Constraints: 36916 376.79/384.99 c INPROCESSING 376.79/384.99 c GARBAGE COLLECT 376.79/384.99 c #Conflicts: 148000 | #Constraints: 30314 376.79/384.99 c #Conflicts: 149000 | #Constraints: 31314 376.79/384.99 c #Conflicts: 150000 | #Constraints: 32314 376.79/384.99 c #Conflicts: 151000 | #Constraints: 33314 376.79/384.99 c #Conflicts: 152000 | #Constraints: 34314 376.79/384.99 c #Conflicts: 153000 | #Constraints: 35314 376.79/384.99 c #Conflicts: 154000 | #Constraints: 36314 376.79/384.99 c #Conflicts: 155000 | #Constraints: 37314 376.79/384.99 c INPROCESSING 376.79/384.99 c GARBAGE COLLECT 376.79/384.99 c rational objective 11.4056 417.98/426.29 c #Conflicts: 156000 | #Constraints: 30673 417.98/426.29 c #Conflicts: 157000 | #Constraints: 31673 417.98/426.29 c #Conflicts: 158000 | #Constraints: 32673 417.98/426.29 c #Conflicts: 159000 | #Constraints: 33673 417.98/426.29 c #Conflicts: 160000 | #Constraints: 34673 417.98/426.29 c #Conflicts: 161000 | #Constraints: 35673 417.98/426.29 c #Conflicts: 162000 | #Constraints: 36673 417.98/426.29 c #Conflicts: 163000 | #Constraints: 37673 417.98/426.29 c INPROCESSING 417.98/426.29 c GARBAGE COLLECT 417.98/426.29 c #Conflicts: 164000 | #Constraints: 30607 417.98/426.29 c #Conflicts: 165000 | #Constraints: 31607 417.98/426.29 c #Conflicts: 166000 | #Constraints: 32607 417.98/426.29 c #Conflicts: 167000 | #Constraints: 33607 417.98/426.29 c #Conflicts: 168000 | #Constraints: 34607 417.98/426.29 c #Conflicts: 169000 | #Constraints: 35607 417.98/426.29 c #Conflicts: 170000 | #Constraints: 36607 417.98/426.29 c #Conflicts: 171000 | #Constraints: 37607 417.98/426.29 c INPROCESSING 417.98/426.29 c GARBAGE COLLECT 417.98/426.29 c rational objective 11.4056 476.25/484.67 c #Conflicts: 172000 | #Constraints: 30372 476.25/484.67 c #Conflicts: 173000 | #Constraints: 31372 476.25/484.67 c #Conflicts: 174000 | #Constraints: 32372 476.25/484.67 c #Conflicts: 175000 | #Constraints: 33372 476.25/484.67 c #Conflicts: 176000 | #Constraints: 34372 476.25/484.67 c #Conflicts: 177000 | #Constraints: 35372 476.25/484.67 c #Conflicts: 178000 | #Constraints: 36372 476.25/484.67 c #Conflicts: 179000 | #Constraints: 37372 476.25/484.67 c #Conflicts: 180000 | #Constraints: 38372 476.25/484.67 c INPROCESSING 476.25/484.67 c GARBAGE COLLECT 476.25/484.67 c #Conflicts: 181000 | #Constraints: 31083 476.25/484.67 c #Conflicts: 182000 | #Constraints: 32083 476.25/484.67 c #Conflicts: 183000 | #Constraints: 33083 476.25/484.67 c #Conflicts: 184000 | #Constraints: 34083 476.25/484.67 c #Conflicts: 185000 | #Constraints: 35083 476.25/484.67 c #Conflicts: 186000 | #Constraints: 36083 476.25/484.67 c #Conflicts: 187000 | #Constraints: 37083 476.25/484.67 c #Conflicts: 188000 | #Constraints: 38083 476.25/484.67 c #Conflicts: 189000 | #Constraints: 39083 476.25/484.67 c INPROCESSING 476.25/484.67 c GARBAGE COLLECT 476.25/484.67 c rational objective 11.4056 541.60/550.17 c #Conflicts: 190000 | #Constraints: 31403 541.60/550.17 c #Conflicts: 191000 | #Constraints: 32403 541.60/550.17 c #Conflicts: 192000 | #Constraints: 33403 541.60/550.17 c #Conflicts: 193000 | #Constraints: 34403 541.60/550.17 c #Conflicts: 194000 | #Constraints: 35403 541.60/550.17 c #Conflicts: 195000 | #Constraints: 36403 541.60/550.17 c #Conflicts: 196000 | #Constraints: 37403 541.60/550.17 c #Conflicts: 197000 | #Constraints: 38403 541.60/550.17 c #Conflicts: 198000 | #Constraints: 39403 541.60/550.17 c INPROCESSING 541.60/550.17 c GARBAGE COLLECT 541.60/550.17 c #Conflicts: 199000 | #Constraints: 31741 541.60/550.17 c #Conflicts: 200000 | #Constraints: 32741 541.60/550.17 c #Conflicts: 201000 | #Constraints: 33741 541.60/550.17 c #Conflicts: 202000 | #Constraints: 34741 541.60/550.17 c #Conflicts: 203000 | #Constraints: 35741 541.60/550.17 c #Conflicts: 204000 | #Constraints: 36741 541.60/550.17 c #Conflicts: 205000 | #Constraints: 37741 541.60/550.17 c #Conflicts: 206000 | #Constraints: 38742 541.60/550.17 c #Conflicts: 207000 | #Constraints: 39745 541.60/550.17 c INPROCESSING 541.60/550.17 c GARBAGE COLLECT 541.60/550.17 c rational objective 11.4056 617.91/626.69 c #Conflicts: 208000 | #Constraints: 31590 617.91/626.69 c #Conflicts: 209000 | #Constraints: 32590 617.91/626.69 c #Conflicts: 210000 | #Constraints: 33590 617.91/626.69 c #Conflicts: 211000 | #Constraints: 34590 617.91/626.69 c #Conflicts: 212000 | #Constraints: 35590 617.91/626.69 c #Conflicts: 213000 | #Constraints: 36590 617.91/626.69 c #Conflicts: 214000 | #Constraints: 37590 617.91/626.69 c #Conflicts: 215000 | #Constraints: 38590 617.91/626.69 c #Conflicts: 216000 | #Constraints: 39590 617.91/626.69 c INPROCESSING 617.91/626.69 c GARBAGE COLLECT 617.91/626.69 c #Conflicts: 217000 | #Constraints: 31341 617.91/626.69 c #Conflicts: 218000 | #Constraints: 32341 617.91/626.69 c #Conflicts: 219000 | #Constraints: 33341 617.91/626.69 c #Conflicts: 220000 | #Constraints: 34341 617.91/626.69 c #Conflicts: 221000 | #Constraints: 35341 617.91/626.69 c #Conflicts: 222000 | #Constraints: 36341 617.91/626.69 c #Conflicts: 223000 | #Constraints: 37341 617.91/626.69 c #Conflicts: 224000 | #Constraints: 38341 617.91/626.69 c #Conflicts: 225000 | #Constraints: 39341 617.91/626.69 c #Conflicts: 226000 | #Constraints: 40341 617.91/626.69 c INPROCESSING 617.91/626.69 c GARBAGE COLLECT 617.91/626.69 c rational objective 11.4056 642.06/650.85 c #Conflicts: 227000 | #Constraints: 32087 642.06/650.85 c #Conflicts: 228000 | #Constraints: 33087 642.06/650.85 c #Conflicts: 229000 | #Constraints: 34087 642.06/650.85 c #Conflicts: 230000 | #Constraints: 35087 642.06/650.85 c #Conflicts: 231000 | #Constraints: 36087 642.06/650.85 c #Conflicts: 232000 | #Constraints: 37087 642.06/650.85 c #Conflicts: 233000 | #Constraints: 38087 642.06/650.85 c #Conflicts: 234000 | #Constraints: 39087 642.06/650.85 c #Conflicts: 235000 | #Constraints: 40087 642.06/650.85 c #Conflicts: 236000 | #Constraints: 41087 642.06/650.85 c INPROCESSING 642.06/650.85 c GARBAGE COLLECT 642.06/650.85 c rational objective 11.4056 691.83/700.79 c #Conflicts: 237000 | #Constraints: 32440 691.83/700.79 c #Conflicts: 238000 | #Constraints: 33440 691.83/700.79 c #Conflicts: 239000 | #Constraints: 34440 691.83/700.79 c #Conflicts: 240000 | #Constraints: 35440 691.83/700.79 c #Conflicts: 241000 | #Constraints: 36440 691.83/700.79 c #Conflicts: 242000 | #Constraints: 37440 691.83/700.79 c #Conflicts: 243000 | #Constraints: 38440 691.83/700.79 c #Conflicts: 244000 | #Constraints: 39440 691.83/700.79 c #Conflicts: 245000 | #Constraints: 40440 691.83/700.79 c bounds 23 >= 19 @ 681.296 691.83/700.79 c #Conflicts: 246000 | #Constraints: 41469 691.83/700.79 c INPROCESSING 691.83/700.79 c GARBAGE COLLECT 691.83/700.79 c rational objective 11.4056 1047.82/1057.67 c #Conflicts: 247000 | #Constraints: 32609 1047.82/1057.67 c #Conflicts: 248000 | #Constraints: 33609 1047.82/1057.67 c #Conflicts: 249000 | #Constraints: 34609 1047.82/1057.67 c #Conflicts: 250000 | #Constraints: 35609 1047.82/1057.67 c #Conflicts: 251000 | #Constraints: 36609 1047.82/1057.67 c #Conflicts: 252000 | #Constraints: 37609 1047.82/1057.67 c #Conflicts: 253000 | #Constraints: 38610 1047.82/1057.67 c #Conflicts: 254000 | #Constraints: 39610 1047.82/1057.67 c #Conflicts: 255000 | #Constraints: 40610 1047.82/1057.67 c #Conflicts: 256000 | #Constraints: 41610 1047.82/1057.67 c #Conflicts: 257000 | #Constraints: 42610 1047.82/1057.67 c #Conflicts: 258000 | #Constraints: 43610 1047.82/1057.67 c #Conflicts: 259000 | #Constraints: 44610 1047.82/1057.67 c #Conflicts: 260000 | #Constraints: 45610 1047.82/1057.67 c #Conflicts: 261000 | #Constraints: 46610 1047.82/1057.67 c #Conflicts: 262000 | #Constraints: 47610 1047.82/1057.67 c #Conflicts: 263000 | #Constraints: 48610 1047.82/1057.67 c #Conflicts: 264000 | #Constraints: 49610 1047.82/1057.67 c #Conflicts: 265000 | #Constraints: 50610 1047.82/1057.67 c #Conflicts: 266000 | #Constraints: 51610 1047.82/1057.67 c #Conflicts: 267000 | #Constraints: 52610 1047.82/1057.67 c #Conflicts: 268000 | #Constraints: 53610 1047.82/1057.67 c #Conflicts: 269000 | #Constraints: 54610 1047.82/1057.67 c #Conflicts: 270000 | #Constraints: 55610 1047.82/1057.67 c #Conflicts: 271000 | #Constraints: 56610 1047.82/1057.67 c #Conflicts: 272000 | #Constraints: 57610 1047.82/1057.67 c #Conflicts: 273000 | #Constraints: 58610 1047.82/1057.67 c #Conflicts: 274000 | #Constraints: 59610 1047.82/1057.67 c #Conflicts: 275000 | #Constraints: 60610 1047.82/1057.67 c #Conflicts: 276000 | #Constraints: 61610 1047.82/1057.67 c #Conflicts: 277000 | #Constraints: 62610 1047.82/1057.67 c #Conflicts: 278000 | #Constraints: 63610 1047.82/1057.67 c #Conflicts: 279000 | #Constraints: 64610 1047.82/1057.67 c #Conflicts: 280000 | #Constraints: 65610 1047.82/1057.67 c #Conflicts: 281000 | #Constraints: 66610 1047.82/1057.67 c #Conflicts: 282000 | #Constraints: 67610 1047.82/1057.67 c #Conflicts: 283000 | #Constraints: 68610 1047.82/1057.67 c #Conflicts: 284000 | #Constraints: 69610 1047.82/1057.67 c #Conflicts: 285000 | #Constraints: 70610 1047.82/1057.67 c #Conflicts: 286000 | #Constraints: 71610 1047.82/1057.67 c #Conflicts: 287000 | #Constraints: 72610 1047.82/1057.67 c #Conflicts: 288000 | #Constraints: 73610 1047.82/1057.67 c #Conflicts: 289000 | #Constraints: 74610 1047.82/1057.67 c #Conflicts: 290000 | #Constraints: 75610 1047.82/1057.67 c #Conflicts: 291000 | #Constraints: 76610 1047.82/1057.67 c #Conflicts: 292000 | #Constraints: 77610 1047.82/1057.67 c #Conflicts: 293000 | #Constraints: 78610 1047.82/1057.67 c #Conflicts: 294000 | #Constraints: 79610 1047.82/1057.67 c INPROCESSING 1047.82/1057.67 c GARBAGE COLLECT 1047.82/1057.67 c rational objective 11.4064 1202.80/1213.09 c #Conflicts: 295000 | #Constraints: 51723 1202.80/1213.09 c #Conflicts: 296000 | #Constraints: 52723 1202.80/1213.09 c #Conflicts: 297000 | #Constraints: 53723 1202.80/1213.09 c #Conflicts: 298000 | #Constraints: 54723 1202.80/1213.09 c #Conflicts: 299000 | #Constraints: 55723 1202.80/1213.09 c #Conflicts: 300000 | #Constraints: 56723 1202.80/1213.09 c #Conflicts: 301000 | #Constraints: 57723 1202.80/1213.09 c #Conflicts: 302000 | #Constraints: 58723 1202.80/1213.09 c #Conflicts: 303000 | #Constraints: 59723 1202.80/1213.09 c #Conflicts: 304000 | #Constraints: 60723 1202.80/1213.09 c #Conflicts: 305000 | #Constraints: 61723 1202.80/1213.09 c INPROCESSING 1202.80/1213.09 c GARBAGE COLLECT 1202.80/1213.09 c rational objective 11.4064 1333.05/1343.67 c #Conflicts: 306000 | #Constraints: 42826 1333.05/1343.67 c #Conflicts: 307000 | #Constraints: 43826 1333.05/1343.67 c #Conflicts: 308000 | #Constraints: 44826 1333.05/1343.67 c #Conflicts: 309000 | #Constraints: 45826 1333.05/1343.67 c #Conflicts: 310000 | #Constraints: 46826 1333.05/1343.67 c #Conflicts: 311000 | #Constraints: 47826 1333.05/1343.67 c #Conflicts: 312000 | #Constraints: 48826 1333.05/1343.67 c #Conflicts: 313000 | #Constraints: 49826 1333.05/1343.67 c #Conflicts: 314000 | #Constraints: 50826 1333.05/1343.67 c #Conflicts: 315000 | #Constraints: 51826 1333.05/1343.67 c #Conflicts: 316000 | #Constraints: 52826 1333.05/1343.67 c INPROCESSING 1333.05/1343.67 c GARBAGE COLLECT 1333.05/1343.67 c rational objective 11.4065 1442.06/1452.93 c #Conflicts: 317000 | #Constraints: 38044 1442.06/1452.93 c #Conflicts: 318000 | #Constraints: 39044 1442.06/1452.93 c #Conflicts: 319000 | #Constraints: 40044 1442.06/1452.93 c #Conflicts: 320000 | #Constraints: 41044 1442.06/1452.93 c #Conflicts: 321000 | #Constraints: 42044 1442.06/1452.93 c #Conflicts: 322000 | #Constraints: 43044 1442.06/1452.93 c #Conflicts: 323000 | #Constraints: 44044 1442.06/1452.93 c #Conflicts: 324000 | #Constraints: 45044 1442.06/1452.93 c #Conflicts: 325000 | #Constraints: 46044 1442.06/1452.93 c #Conflicts: 326000 | #Constraints: 47044 1442.06/1452.93 c #Conflicts: 327000 | #Constraints: 48044 1442.06/1452.93 c #Conflicts: 328000 | #Constraints: 49044 1442.06/1452.93 c INPROCESSING 1442.06/1452.93 c GARBAGE COLLECT 1442.06/1452.93 c rational objective 11.4065 2667.36/2681.40 c #Conflicts: 329000 | #Constraints: 36353 2667.36/2681.40 c #Conflicts: 330000 | #Constraints: 37353 2667.36/2681.40 c #Conflicts: 331000 | #Constraints: 38353 2667.36/2681.40 c #Conflicts: 332000 | #Constraints: 39353 2667.36/2681.40 c #Conflicts: 333000 | #Constraints: 40353 2667.36/2681.40 c #Conflicts: 334000 | #Constraints: 41353 2667.36/2681.40 c #Conflicts: 335000 | #Constraints: 42353 2667.36/2681.40 c #Conflicts: 336000 | #Constraints: 43353 2667.36/2681.40 c #Conflicts: 337000 | #Constraints: 44353 2667.36/2681.40 c #Conflicts: 338000 | #Constraints: 45353 2667.36/2681.40 c #Conflicts: 339000 | #Constraints: 46353 2667.36/2681.40 c #Conflicts: 340000 | #Constraints: 47353 2667.36/2681.40 c #Conflicts: 341000 | #Constraints: 48353 2667.36/2681.40 c #Conflicts: 342000 | #Constraints: 49353 2667.36/2681.40 c #Conflicts: 343000 | #Constraints: 50353 2667.36/2681.40 c #Conflicts: 344000 | #Constraints: 51353 2667.36/2681.40 c #Conflicts: 345000 | #Constraints: 52353 2667.36/2681.40 c #Conflicts: 346000 | #Constraints: 53353 2667.36/2681.40 c #Conflicts: 347000 | #Constraints: 54353 2667.36/2681.40 c #Conflicts: 348000 | #Constraints: 55353 2667.36/2681.40 c #Conflicts: 349000 | #Constraints: 56353 2667.36/2681.40 c #Conflicts: 350000 | #Constraints: 57353 2667.36/2681.40 c #Conflicts: 351000 | #Constraints: 58353 2667.36/2681.40 c #Conflicts: 352000 | #Constraints: 59353 2667.36/2681.40 c #Conflicts: 353000 | #Constraints: 60353 2667.36/2681.40 c #Conflicts: 354000 | #Constraints: 61353 2667.36/2681.40 c #Conflicts: 355000 | #Constraints: 62353 2667.36/2681.40 c #Conflicts: 356000 | #Constraints: 63353 2667.36/2681.40 c #Conflicts: 357000 | #Constraints: 64353 2667.36/2681.40 c #Conflicts: 358000 | #Constraints: 65353 2667.36/2681.40 c #Conflicts: 359000 | #Constraints: 66353 2667.36/2681.40 c #Conflicts: 360000 | #Constraints: 67353 2667.36/2681.40 c #Conflicts: 361000 | #Constraints: 68353 2667.36/2681.40 c #Conflicts: 362000 | #Constraints: 69353 2667.36/2681.40 c #Conflicts: 363000 | #Constraints: 70353 2667.36/2681.40 c #Conflicts: 364000 | #Constraints: 71353 2667.36/2681.40 c #Conflicts: 365000 | #Constraints: 72353 2667.36/2681.40 c #Conflicts: 366000 | #Constraints: 73353 2667.36/2681.40 c #Conflicts: 367000 | #Constraints: 74353 2667.36/2681.40 c #Conflicts: 368000 | #Constraints: 75353 2667.36/2681.40 c #Conflicts: 369000 | #Constraints: 76353 2667.36/2681.40 c #Conflicts: 370000 | #Constraints: 77353 2667.36/2681.40 c #Conflicts: 371000 | #Constraints: 78353 2667.36/2681.40 c #Conflicts: 372000 | #Constraints: 79353 2667.36/2681.40 c #Conflicts: 373000 | #Constraints: 80353 2667.36/2681.40 c #Conflicts: 374000 | #Constraints: 81353 2667.36/2681.40 c #Conflicts: 375000 | #Constraints: 82353 2667.36/2681.40 c #Conflicts: 376000 | #Constraints: 83353 2667.36/2681.40 c #Conflicts: 377000 | #Constraints: 84353 2667.36/2681.40 c #Conflicts: 378000 | #Constraints: 85353 2667.36/2681.40 c #Conflicts: 379000 | #Constraints: 86353 2667.36/2681.40 c #Conflicts: 380000 | #Constraints: 87353 2667.36/2681.40 c #Conflicts: 381000 | #Constraints: 88353 2667.36/2681.40 c INPROCESSING 2667.36/2681.40 c GARBAGE COLLECT 2667.36/2681.40 c rational objective 11.424 2762.43/2776.74 c #Conflicts: 382000 | #Constraints: 55995 2762.43/2776.74 c #Conflicts: 383000 | #Constraints: 56995 2762.43/2776.74 c #Conflicts: 384000 | #Constraints: 57995 2762.43/2776.74 c #Conflicts: 385000 | #Constraints: 58995 2762.43/2776.74 c #Conflicts: 386000 | #Constraints: 59995 2762.43/2776.74 c #Conflicts: 387000 | #Constraints: 60995 2762.43/2776.74 c #Conflicts: 388000 | #Constraints: 61995 2762.43/2776.74 c #Conflicts: 389000 | #Constraints: 62995 2762.43/2776.74 c #Conflicts: 390000 | #Constraints: 63995 2762.43/2776.74 c #Conflicts: 391000 | #Constraints: 64995 2762.43/2776.74 c #Conflicts: 392000 | #Constraints: 65995 2762.43/2776.74 c #Conflicts: 393000 | #Constraints: 66995 2762.43/2776.74 c #Conflicts: 394000 | #Constraints: 67995 2762.43/2776.74 c INPROCESSING 2762.43/2776.74 c GARBAGE COLLECT 2762.43/2776.74 c rational objective 11.4241 2824.08/2838.56 c #Conflicts: 395000 | #Constraints: 45581 2824.08/2838.56 c #Conflicts: 396000 | #Constraints: 46581 2824.08/2838.56 c #Conflicts: 397000 | #Constraints: 47581 2824.08/2838.56 c #Conflicts: 398000 | #Constraints: 48581 2824.08/2838.56 c #Conflicts: 399000 | #Constraints: 49581 2824.08/2838.56 c #Conflicts: 400000 | #Constraints: 50581 2824.08/2838.56 c #Conflicts: 401000 | #Constraints: 51581 2824.08/2838.56 c #Conflicts: 402000 | #Constraints: 52581 2824.08/2838.56 c #Conflicts: 403000 | #Constraints: 53581 2824.08/2838.56 c #Conflicts: 404000 | #Constraints: 54581 2824.08/2838.56 c #Conflicts: 405000 | #Constraints: 55581 2824.08/2838.56 c #Conflicts: 406000 | #Constraints: 56581 2824.08/2838.56 c #Conflicts: 407000 | #Constraints: 57581 2824.08/2838.56 c #Conflicts: 408000 | #Constraints: 58581 2824.08/2838.56 c INPROCESSING 2824.08/2838.56 c GARBAGE COLLECT 2824.08/2838.56 c rational objective 11.4274 2870.25/2884.87 c #Conflicts: 409000 | #Constraints: 41278 2870.25/2884.87 c #Conflicts: 410000 | #Constraints: 42278 2870.25/2884.87 c #Conflicts: 411000 | #Constraints: 43278 2870.25/2884.87 c #Conflicts: 412000 | #Constraints: 44278 2870.25/2884.87 c #Conflicts: 413000 | #Constraints: 45278 2870.25/2884.87 c #Conflicts: 414000 | #Constraints: 46278 2870.25/2884.87 c #Conflicts: 415000 | #Constraints: 47278 2870.25/2884.87 c #Conflicts: 416000 | #Constraints: 48278 2870.25/2884.87 c #Conflicts: 417000 | #Constraints: 49278 2870.25/2884.87 c #Conflicts: 418000 | #Constraints: 50278 2870.25/2884.87 c #Conflicts: 419000 | #Constraints: 51278 2870.25/2884.87 c #Conflicts: 420000 | #Constraints: 52278 2870.25/2884.87 c #Conflicts: 421000 | #Constraints: 53278 2870.25/2884.87 c INPROCESSING 2870.25/2884.87 c GARBAGE COLLECT 2870.25/2884.87 c rational objective 11.4274 3240.07/3255.75 c #Conflicts: 422000 | #Constraints: 38470 3240.07/3255.75 c #Conflicts: 423000 | #Constraints: 39470 3240.07/3255.75 c #Conflicts: 424000 | #Constraints: 40470 3240.07/3255.75 c #Conflicts: 425000 | #Constraints: 41470 3240.07/3255.75 c #Conflicts: 426000 | #Constraints: 42470 3240.07/3255.75 c #Conflicts: 427000 | #Constraints: 43470 3240.07/3255.75 c #Conflicts: 428000 | #Constraints: 44470 3240.07/3255.75 c #Conflicts: 429000 | #Constraints: 45470 3240.07/3255.75 c #Conflicts: 430000 | #Constraints: 46470 3240.07/3255.75 c #Conflicts: 431000 | #Constraints: 47470 3240.07/3255.75 c #Conflicts: 432000 | #Constraints: 48470 3240.07/3255.75 c #Conflicts: 433000 | #Constraints: 49470 3240.07/3255.75 c #Conflicts: 434000 | #Constraints: 50470 3240.07/3255.75 c #Conflicts: 435000 | #Constraints: 51470 3240.07/3255.75 c #Conflicts: 436000 | #Constraints: 52470 3240.07/3255.75 c #Conflicts: 437000 | #Constraints: 53470 3240.07/3255.75 c #Conflicts: 438000 | #Constraints: 54470 3240.07/3255.75 c #Conflicts: 439000 | #Constraints: 55470 3240.07/3255.75 c #Conflicts: 440000 | #Constraints: 56470 3240.07/3255.75 c #Conflicts: 441000 | #Constraints: 57470 3240.07/3255.75 c #Conflicts: 442000 | #Constraints: 58470 3240.07/3255.75 c #Conflicts: 443000 | #Constraints: 59470 3240.07/3255.75 c #Conflicts: 444000 | #Constraints: 60470 3240.07/3255.75 c #Conflicts: 445000 | #Constraints: 61470 3240.07/3255.75 c #Conflicts: 446000 | #Constraints: 62470 3240.07/3255.75 c #Conflicts: 447000 | #Constraints: 63470 3240.07/3255.75 c #Conflicts: 448000 | #Constraints: 64470 3240.07/3255.75 c #Conflicts: 449000 | #Constraints: 65470 3240.07/3255.75 c #Conflicts: 450000 | #Constraints: 66470 3240.07/3255.75 c #Conflicts: 451000 | #Constraints: 67470 3240.07/3255.75 c #Conflicts: 452000 | #Constraints: 68470 3240.07/3255.75 c #Conflicts: 453000 | #Constraints: 69470 3240.07/3255.75 c #Conflicts: 454000 | #Constraints: 70470 3240.07/3255.75 c #Conflicts: 455000 | #Constraints: 71470 3240.07/3255.75 c #Conflicts: 456000 | #Constraints: 72470 3240.07/3255.75 c #Conflicts: 457000 | #Constraints: 73470 3240.07/3255.75 c #Conflicts: 458000 | #Constraints: 74470 3240.07/3255.75 c #Conflicts: 459000 | #Constraints: 75470 3240.07/3255.75 c #Conflicts: 460000 | #Constraints: 76470 3240.07/3255.75 c #Conflicts: 461000 | #Constraints: 77470 3240.07/3255.75 c #Conflicts: 462000 | #Constraints: 78470 3240.07/3255.75 c #Conflicts: 463000 | #Constraints: 79470 3240.07/3255.75 c #Conflicts: 464000 | #Constraints: 80470 3240.07/3255.75 c #Conflicts: 465000 | #Constraints: 81470 3240.07/3255.75 c #Conflicts: 466000 | #Constraints: 82470 3240.07/3255.75 c #Conflicts: 467000 | #Constraints: 83470 3240.07/3255.75 c #Conflicts: 468000 | #Constraints: 84470 3240.07/3255.75 c #Conflicts: 469000 | #Constraints: 85470 3240.07/3255.75 c #Conflicts: 470000 | #Constraints: 86470 3240.07/3255.75 c #Conflicts: 471000 | #Constraints: 87470 3240.07/3255.75 c #Conflicts: 472000 | #Constraints: 88470 3240.07/3255.75 c #Conflicts: 473000 | #Constraints: 89470 3240.07/3255.75 c #Conflicts: 474000 | #Constraints: 90470 3240.07/3255.75 c #Conflicts: 475000 | #Constraints: 91470 3240.07/3255.75 c #Conflicts: 476000 | #Constraints: 92470 3240.07/3255.75 c #Conflicts: 477000 | #Constraints: 93470 3240.07/3255.75 c #Conflicts: 478000 | #Constraints: 94470 3240.07/3255.75 c #Conflicts: 479000 | #Constraints: 95470 3240.07/3255.75 c #Conflicts: 480000 | #Constraints: 96470 3240.07/3255.75 c INPROCESSING 3240.07/3255.75 c GARBAGE COLLECT 3240.07/3255.75 c rational objective 11.4278 3470.77/3487.19 c #Conflicts: 481000 | #Constraints: 60173 3470.77/3487.19 c #Conflicts: 482000 | #Constraints: 61173 3470.77/3487.19 c #Conflicts: 483000 | #Constraints: 62173 3470.77/3487.19 c #Conflicts: 484000 | #Constraints: 63173 3470.77/3487.19 c #Conflicts: 485000 | #Constraints: 64173 3470.77/3487.19 c #Conflicts: 486000 | #Constraints: 65173 3470.77/3487.19 c #Conflicts: 487000 | #Constraints: 66173 3470.77/3487.19 c #Conflicts: 488000 | #Constraints: 67173 3470.77/3487.19 c #Conflicts: 489000 | #Constraints: 68173 3470.77/3487.19 c #Conflicts: 490000 | #Constraints: 69173 3470.77/3487.19 c #Conflicts: 491000 | #Constraints: 70173 3470.77/3487.19 c #Conflicts: 492000 | #Constraints: 71173 3470.77/3487.19 c #Conflicts: 493000 | #Constraints: 72173 3470.77/3487.19 c #Conflicts: 494000 | #Constraints: 73173 3470.77/3487.19 c INPROCESSING 3470.77/3487.19 c GARBAGE COLLECT 3470.77/3487.19 c rational objective 11.4302 3542.85/3559.46 c #Conflicts: 495000 | #Constraints: 48410 3542.85/3559.46 c #Conflicts: 496000 | #Constraints: 49410 3542.85/3559.46 c #Conflicts: 497000 | #Constraints: 50410 3542.85/3559.46 c #Conflicts: 498000 | #Constraints: 51410 3542.85/3559.46 c #Conflicts: 499000 | #Constraints: 52410 3542.85/3559.46 c #Conflicts: 500000 | #Constraints: 53410 3542.85/3559.46 c #Conflicts: 501000 | #Constraints: 54410 3542.85/3559.46 c #Conflicts: 502000 | #Constraints: 55410 3542.85/3559.46 c #Conflicts: 503000 | #Constraints: 56411 3542.85/3559.46 c #Conflicts: 504000 | #Constraints: 57411 3542.85/3559.46 c #Conflicts: 505000 | #Constraints: 58411 3542.85/3559.46 c #Conflicts: 506000 | #Constraints: 59411 3542.85/3559.46 c #Conflicts: 507000 | #Constraints: 60411 3542.85/3559.46 c #Conflicts: 508000 | #Constraints: 61411 3542.85/3559.46 c #Conflicts: 509000 | #Constraints: 62411 3542.85/3559.46 c INPROCESSING 3542.85/3559.46 c GARBAGE COLLECT 3542.85/3559.46 c rational objective 11.4316 3600.07/3616.80 c #Conflicts: 510000 | #Constraints: 42960 3600.07/3616.80 c #Conflicts: 511000 | #Constraints: 43960 3600.07/3616.80 c #Conflicts: 512000 | #Constraints: 44960 3600.07/3616.80 c #Conflicts: 513000 | #Constraints: 45960 3600.07/3616.80 c #Conflicts: 514000 | #Constraints: 46960 3600.07/3616.80 c #Conflicts: 515000 | #Constraints: 47960 3600.07/3616.80 c #Conflicts: 516000 | #Constraints: 48960 3600.07/3616.80 c #Conflicts: 517000 | #Constraints: 49960 3600.07/3616.80 c #Conflicts: 518000 | #Constraints: 50960 3600.07/3616.80 c #Conflicts: 519000 | #Constraints: 51960 3600.07/3616.80 c #Conflicts: 520000 | #Constraints: 52960 3600.07/3616.80 c #Conflicts: 521000 | #Constraints: 53960 3600.07/3616.80 c #Conflicts: 522000 | #Constraints: 54960 3600.07/3616.80 c #Conflicts: 523000 | #Constraints: 55960 3600.07/3616.80 c Program interrupted by user. 3600.07/3616.80 c cpu time 3579.76 s 3600.07/3616.80 c deterministic time 412007805111 4.12e+11 3600.07/3616.80 c optimization time 56.617 s 3600.07/3616.80 c total solve time 3523.08 s 3600.07/3616.80 c core-guided solve time 2246.15 s 3600.07/3616.80 c propagation time 2866.93 s 3600.07/3616.80 c conflict analysis time 542.42 s 3600.07/3616.80 c propagations 389343257 3600.07/3616.80 c resolve steps 29430355 3600.07/3616.80 c decisions 8032635 3600.07/3616.80 c conflicts 523332 3600.07/3616.80 c restarts 1068 3600.07/3616.80 c inprocessing phases 52 3600.07/3616.80 c input clauses 21432 3600.07/3616.80 c input cardinalities 24 3600.07/3616.80 c input general constraints 72 3600.07/3616.80 c input average constraint length 3.05 3600.07/3616.80 c input average constraint degree 1.41 3600.07/3616.80 c learned clauses 222191 3600.07/3616.80 c learned cardinalities 3201 3600.07/3616.80 c learned general constraints 297962 3600.07/3616.80 c learned average constraint length 750.60 3600.07/3616.80 c learned average constraint degree 10846436.43 3600.07/3616.80 c watched constraints 236465 3600.07/3616.80 c counting constraints 61569 3600.07/3616.80 c gcd simplifications 2080 3600.07/3616.80 c detected cardinalities 9 3600.07/3616.80 c weakened non-implied lits 40297240 3600.07/3616.80 c weakened non-implying lits 54924 3600.07/3616.80 c original variables 6076 3600.07/3616.80 c clausal propagations 314482049 3600.07/3616.80 c cardinality propagations 4501709 3600.07/3616.80 c watched propagations 9172333 3600.07/3616.80 c counting propagations 59158511 3600.07/3616.80 c watch lookups 50005620955 3600.07/3616.80 c watch backjump lookups 40619996776 3600.07/3616.80 c watch checks 307474834502 3600.07/3616.80 c propagation checks 11991136737 3600.07/3616.80 c constraint additions 1120029106 3600.07/3616.80 c trail pops 397895551 3600.07/3616.80 c formula constraints 21401 3600.07/3616.80 c learned constraints 523318 3600.07/3616.80 c bound constraints 9 3600.07/3616.80 c core-guided constraints 118 3600.07/3616.80 c encountered formula constraints 24748321 3600.07/3616.80 c encountered learned constraints 5067818 3600.07/3616.80 c encountered bound constraints 331 3600.07/3616.80 c encountered core-guided constraints 136913 3600.07/3616.80 c LP total time 256.292 s 3600.07/3616.80 c LP solve time 255.6 s 3600.07/3616.80 c LP constraints added 21578 3600.07/3616.80 c LP constraints removed 156 3600.07/3616.80 c LP pivots internal 528651 3600.07/3616.80 c LP pivots root 386940 3600.07/3616.80 c LP calls 212 3600.07/3616.80 c LP optimalities 189 3600.07/3616.80 c LP no pivot count 1 3600.07/3616.80 c LP infeasibilities 18 3600.07/3616.80 c LP valid Farkas constraints 18 3600.07/3616.80 c LP learned Farkas constraints 18 3600.07/3616.80 c LP basis resets 0 3600.07/3616.80 c LP cycling count 0 3600.07/3616.80 c LP singular count 0 3600.07/3616.80 c LP no primal count 0 3600.07/3616.80 c LP no farkas count 0 3600.07/3616.80 c LP other issue count 0 3600.07/3616.80 c LP Gomory cuts 0 3600.07/3616.80 c LP learned cuts 177 3600.07/3616.80 c LP deleted cuts 156 3600.07/3616.80 c LP encountered Gomory constraints 0 3600.07/3616.80 c LP encountered Farkas constraints 247 3600.07/3616.80 c LP encountered learned Farkas constraints 39 3600.07/3616.80 c CG auxiliary variables introduced 44 3600.07/3616.80 c CG solutions found 9 3600.07/3616.80 c CG cores constructed 15 3600.07/3616.80 c CG core cardinality constraints returned 0 3600.07/3616.80 c CG unit cores 1 3600.07/3616.80 c CG single cores 14 3600.07/3616.80 c CG blocks removed during cardinality reduction 0 3600.07/3616.80 c CG first core best 0 3600.07/3616.80 c CG decision core best 0 3600.07/3616.80 c CG core reduction tie 0 3600.07/3616.80 c CG core degree average 1.00 3600.07/3616.80 c CG core slack average 48.43 3600.07/3616.80 s SATISFIABLE 3600.07/3616.80 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
OK 23
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: 63931 MiB (63202 MiB free)
memory of node 1: 64510 MiB (63989 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462659-1722344413/watcher-4462659-1722344413 -o /tmp/evaluation-result-4462659-1722344413/solver-4462659-1722344413 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722340763-6985 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462659-1722344413 --lp-cut-gomory=0 HOME/instance-4462659-1722344413.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=9686, runsolver pid=9683
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 4.17 4.15 4.09 1/250 9687
/proc/meminfo: memFree=130243548/131524600 swapFree=131071996/131071996
[pid=9686] ppid=9683 vsize=37376 memory=2564 CPUtime=0 cores=1,3
/proc/9686/stat : 9686 (roundingsat) D 9683 9686 6973 0 -1 1078198272 217 0 0 0 0 0 0 0 20 0 1 0 1039847 38273024 641 134679101440 4194304 8255733 140728048589520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32251904 140728048595806 140728048596068 140728048596068 140728048603081 0
/proc/9686/statm: 9344 641 585 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2564 KiB
[startup+0.205245 s]*
/proc/loadavg: 4.17 4.15 4.09 1/250 9687
/proc/meminfo: memFree=130243224/131524600 swapFree=131071996/131071996
[pid=9686] ppid=9683 vsize=37376 memory=2564 CPUtime=0 cores=1,3
/proc/9686/stat : 9686 (roundingsat) D 9683 9686 6973 0 -1 1078198272 217 0 0 0 0 0 0 0 20 0 1 0 1039847 38273024 641 134679101440 4194304 8255733 140728048589520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32251904 140728048595806 140728048596068 140728048596068 140728048603081 0
/proc/9686/statm: 9344 641 585 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2564 KiB
[startup+0.304656 s]*
/proc/loadavg: 4.17 4.15 4.09 1/250 9687
/proc/meminfo: memFree=130243224/131524600 swapFree=131071996/131071996
[pid=9686] ppid=9683 vsize=37376 memory=2564 CPUtime=0 cores=1,3
/proc/9686/stat : 9686 (roundingsat) D 9683 9686 6973 0 -1 1078198272 217 0 0 0 0 0 0 0 20 0 1 0 1039847 38273024 641 134679101440 4194304 8255733 140728048589520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32251904 140728048595806 140728048596068 140728048596068 140728048603081 0
/proc/9686/statm: 9344 641 585 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2564 KiB
[startup+0.700241 s]
/proc/loadavg: 4.17 4.15 4.09 1/250 9687
/proc/meminfo: memFree=130242780/131524600 swapFree=131071996/131071996
[pid=9686] ppid=9683 vsize=37376 memory=2564 CPUtime=0 cores=1,3
/proc/9686/stat : 9686 (roundingsat) D 9683 9686 6973 0 -1 1078198272 217 0 0 0 0 0 0 0 20 0 1 0 1039847 38273024 641 134679101440 4194304 8255733 140728048589520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32251904 140728048595806 140728048596068 140728048596068 140728048603081 0
/proc/9686/statm: 9344 641 585 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2564 KiB
[startup+1.50024 s]
/proc/loadavg: 4.17 4.15 4.09 1/250 9687
/proc/meminfo: memFree=130242752/131524600 swapFree=131071996/131071996
[pid=9686] ppid=9683 vsize=37376 memory=2564 CPUtime=0 cores=1,3
/proc/9686/stat : 9686 (roundingsat) D 9683 9686 6973 0 -1 1078198272 217 0 0 0 0 0 0 0 20 0 1 0 1039847 38273024 641 134679101440 4194304 8255733 140728048589520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32251904 140728048595806 140728048596068 140728048596068 140728048603081 0
/proc/9686/statm: 9344 641 585 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2564 KiB
[startup+3.10438 s]
/proc/loadavg: 4.17 4.15 4.09 1/250 9687
/proc/meminfo: memFree=130242752/131524600 swapFree=131071996/131071996
[pid=9686] ppid=9683 vsize=37376 memory=2564 CPUtime=0 cores=1,3
/proc/9686/stat : 9686 (roundingsat) D 9683 9686 6973 0 -1 4194304 217 0 0 0 0 0 0 0 20 0 1 0 1039847 38273024 641 134679101440 4194304 8255733 140728048589520 0 0 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 9037040 9046032 32251904 140728048595806 140728048596068 140728048596068 140728048603081 0
/proc/9686/statm: 9344 641 585 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2564 KiB
heavy processes:
[startup+6.30023 s]
/proc/loadavg: 4.16 4.15 4.09 2/250 9689
/proc/meminfo: memFree=130239168/131524600 swapFree=131071996/131071996
[pid=9686] ppid=9683 vsize=37376 memory=2564 CPUtime=0 cores=1,3
/proc/9686/stat : 9686 (roundingsat) D 9683 9686 6973 0 -1 1077936128 217 0 0 0 0 0 0 0 20 0 1 0 1039847 38273024 641 134679101440 4194304 8255733 140728048589520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32251904 140728048595806 140728048596068 140728048596068 140728048603081 0
/proc/9686/statm: 9344 641 585 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2564 KiB
heavy processes:
[startup+12.7002 s]
/proc/loadavg: 4.23 4.16 4.09 4/256 9709
/proc/meminfo: memFree=130095824/131524600 swapFree=131071996/131071996
[pid=9686] ppid=9683 vsize=69772 memory=43240 CPUtime=5.53 cores=1,3
/proc/9686/stat : 9686 (roundingsat) R 9683 9686 6973 0 -1 4194304 8578 0 0 0 538 15 0 0 20 0 1 0 1039847 71446528 10810 134679101440 4194304 8255733 140728048589520 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32251904 140728048595806 140728048596068 140728048596068 140728048603081 0
/proc/9686/statm: 17443 10810 1871 992 0 9301 0
Current children cumulated CPU time: 5.53 s
Current children cumulated vsize: 69772 KiB
Current children cumulated memory: 43240 KiB
heavy processes:
[startup+25.5002 s]
/proc/loadavg: 4.18 4.15 4.09 5/261 9779
/proc/meminfo: memFree=129651072/131524600 swapFree=131071996/131071996
[pid=9686] ppid=9683 vsize=97608 memory=61876 CPUtime=18.31 cores=1,3
/proc/9686/stat : 9686 (roundingsat) R 9683 9686 6973 0 -1 4194304 11706 0 0 0 1793 38 0 0 20 0 1 0 1039847 99950592 15469 134679101440 4194304 8255733 140728048589520 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32251904 140728048595806 140728048596068 140728048596068 140728048603081 0
/proc/9686/statm: 24402 15469 1871 992 0 16260 0
Current children cumulated CPU time: 18.31 s
Current children cumulated vsize: 97608 KiB
Current children cumulated memory: 61876 KiB
heavy processes:
[startup+51.1057 s]
/proc/loadavg: 4.11 4.14 4.09 5/260 9842
/proc/meminfo: memFree=129171204/131524600 swapFree=131071996/131071996
[pid=9686] ppid=9683 vsize=130816 memory=86600 CPUtime=43.84 cores=1,3
/proc/9686/stat : 9686 (roundingsat) R 9683 9686 6973 0 -1 4194304 15341 0 0 0 4305 79 0 0 20 0 1 0 1039847 133955584 21650 134679101440 4194304 8255733 140728048589520 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32251904 140728048595806 140728048596068 140728048596068 140728048603081 0
/proc/9686/statm: 32704 21650 1887 992 0 24562 0
Current children cumulated CPU time: 43.84 s
Current children cumulated vsize: 130816 KiB
Current children cumulated memory: 86600 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.16 4.10 5/260 9850
/proc/meminfo: memFree=127520876/131524600 swapFree=131071996/131071996
[pid=9686] ppid=9683 vsize=147716 memory=101060 CPUtime=94.92 cores=1,3
/proc/9686/stat : 9686 (roundingsat) R 9683 9686 6973 0 -1 4194304 19014 0 0 0 9323 169 0 0 20 0 1 0 1039847 151261184 25265 134679101440 4194304 8255733 140728048589520 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32251904 140728048595806 140728048596068 140728048596068 140728048603081 0
/proc/9686/statm: 36929 25265 1887 992 0 28787 0
Current children cumulated CPU time: 94.92 s
Current children cumulated vsize: 147716 KiB
Current children cumulated memory: 101060 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.15 4.09 5/260 9860
/proc/meminfo: memFree=126053960/131524600 swapFree=131071996/131071996
[pid=9686] ppid=9683 vsize=152504 memory=108152 CPUtime=154.76 cores=1,3
/proc/9686/stat : 9686 (roundingsat) R 9683 9686 6973 0 -1 4194304 20496 0 0 0 15209 267 0 0 20 0 1 0 1039847 156164096 27038 134679101440 4194304 8255733 140728048589520 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32251904 140728048595806 140728048596068 140728048596068 140728048603081 0
/proc/9686/statm: 38126 27038 1887 992 0 29984 0
Current children cumulated CPU time: 154.76 s
Current children cumulated vsize: 152504 KiB
Current children cumulated memory: 108152 KiB
[startup+222.3 s]
/proc/loadavg: 4.43 4.23 4.12 5/259 9870
/proc/meminfo: memFree=124825732/131524600 swapFree=131071996/131071996
[pid=9686] ppid=9683 vsize=159848 memory=117556 CPUtime=214.61 cores=1,3
/proc/9686/stat : 9686 (roundingsat) R 9683 9686 6973 0 -1 4194304 22304 0 0 0 21114 347 0 0 20 0 1 0 1039847 163684352 29389 134679101440 4194304 8255733 140728048589520 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32251904 140728048595806 140728048596068 140728048596068 140728048603081 0
/proc/9686/statm: 39962 29389 1887 992 0 31820 0
Current children cumulated CPU time: 214.61 s
Current children cumulated vsize: 159848 KiB
Current children cumulated memory: 117556 KiB
[startup+282.3 s]
/proc/loadavg: 4.57 4.31 4.16 5/259 9882
/proc/meminfo: memFree=123684628/131524600 swapFree=131071996/131071996
[pid=9686] ppid=9683 vsize=164704 memory=130980 CPUtime=274.46 cores=1,3
/proc/9686/stat : 9686 (roundingsat) R 9683 9686 6973 0 -1 4194304 23670 0 0 0 27021 425 0 0 20 0 1 0 1039847 168656896 32745 134679101440 4194304 8255733 140728048589520 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32251904 140728048595806 140728048596068 140728048596068 140728048603081 0
/proc/9686/statm: 41176 32745 1887 992 0 33034 0
Current children cumulated CPU time: 274.46 s
Current children cumulated vsize: 164704 KiB
Current children cumulated memory: 130980 KiB
[startup+342.3 s]
/proc/loadavg: 4.44 4.34 4.18 5/257 9892
/proc/meminfo: memFree=122660736/131524600 swapFree=131071996/131071996
[pid=9686] ppid=9683 vsize=199592 memory=149080 CPUtime=334.31 cores=1,3
/proc/9686/stat : 9686 (roundingsat) R 9683 9686 6973 0 -1 4194304 25221 0 0 0 32931 500 0 0 20 0 1 0 1039847 204382208 37270 134679101440 4194304 8255733 140728048589520 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32251904 140728048595806 140728048596068 140728048596068 140728048603081 0
/proc/9686/statm: 49898 37270 1887 992 0 41756 0
Current children cumulated CPU time: 334.31 s
Current children cumulated vsize: 199592 KiB
Current children cumulated memory: 149080 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 4.29 4.17 5/257 9902
/proc/meminfo: memFree=121700684/131524600 swapFree=131071996/131071996
[pid=9686] ppid=9683 vsize=206348 memory=165540 CPUtime=394.15 cores=1,3
/proc/9686/stat : 9686 (roundingsat) R 9683 9686 6973 0 -1 4194304 26648 0 0 0 38844 571 0 0 20 0 1 0 1039847 211300352 41385 134679101440 4194304 8255733 140728048589520 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32251904 140728048595806 140728048596068 140728048596068 140728048603081 0
/proc/9686/statm: 51587 41385 1887 992 0 43445 0
Current children cumulated CPU time: 394.15 s
Current children cumulated vsize: 206348 KiB
Current children cumulated memory: 165540 KiB
[startup+462.3 s]
/proc/loadavg: 4.20 4.28 4.18 5/257 9914
################
# More data... #
################
Current children cumulated memory: 595844 KiB
[startup+2862.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/261 10968
/proc/meminfo: memFree=86239252/131524600 swapFree=131071996/131071996
[pid=9686] ppid=9683 vsize=695932 memory=595844 CPUtime=2847.82 cores=1,3
/proc/9686/stat : 9686 (roundingsat) R 9683 9686 6973 0 -1 4194304 78639 0 0 0 283143 1639 0 0 20 0 1 0 1039847 712634368 148961 134679101440 4194304 8255733 140728048589520 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32251904 140728048595806 140728048596068 140728048596068 140728048603081 0
/proc/9686/statm: 173983 148961 1887 992 0 165841 0
Current children cumulated CPU time: 2847.82 s
Current children cumulated vsize: 695932 KiB
Current children cumulated memory: 595844 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/261 10978
/proc/meminfo: memFree=85506916/131524600 swapFree=131071996/131071996
[pid=9686] ppid=9683 vsize=695932 memory=595844 CPUtime=2907.64 cores=1,3
/proc/9686/stat : 9686 (roundingsat) R 9683 9686 6973 0 -1 4194304 78820 0 0 0 289066 1698 0 0 20 0 1 0 1039847 712634368 148961 134679101440 4194304 8255733 140728048589520 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32251904 140728048595806 140728048596068 140728048596068 140728048603081 0
/proc/9686/statm: 173983 148961 1887 992 0 165841 0
Current children cumulated CPU time: 2907.64 s
Current children cumulated vsize: 695932 KiB
Current children cumulated memory: 595844 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/261 10988
/proc/meminfo: memFree=84750548/131524600 swapFree=131071996/131071996
[pid=9686] ppid=9683 vsize=695932 memory=595844 CPUtime=2967.48 cores=1,3
/proc/9686/stat : 9686 (roundingsat) R 9683 9686 6973 0 -1 4194304 79050 0 0 0 295008 1740 0 0 20 0 1 0 1039847 712634368 148961 134679101440 4194304 8255733 140728048589520 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32251904 140728048595806 140728048596068 140728048596068 140728048603081 0
/proc/9686/statm: 173983 148961 1887 992 0 165841 0
Current children cumulated CPU time: 2967.48 s
Current children cumulated vsize: 695932 KiB
Current children cumulated memory: 595844 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/261 11001
/proc/meminfo: memFree=83990716/131524600 swapFree=131071996/131071996
[pid=9686] ppid=9683 vsize=698948 memory=598136 CPUtime=3027.3 cores=1,3
/proc/9686/stat : 9686 (roundingsat) R 9683 9686 6973 0 -1 4194304 79901 0 0 0 300964 1766 0 0 20 0 1 0 1039847 715722752 149534 134679101440 4194304 8255733 140728048589520 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32251904 140728048595806 140728048596068 140728048596068 140728048603081 0
/proc/9686/statm: 174737 149534 1887 992 0 166595 0
Current children cumulated CPU time: 3027.3 s
Current children cumulated vsize: 698948 KiB
Current children cumulated memory: 598136 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/261 11012
/proc/meminfo: memFree=83173160/131524600 swapFree=131071996/131071996
[pid=9686] ppid=9683 vsize=704796 memory=602600 CPUtime=3087.13 cores=1,3
/proc/9686/stat : 9686 (roundingsat) R 9683 9686 6973 0 -1 4194304 81275 0 0 0 306924 1789 0 0 20 0 1 0 1039847 721711104 150650 134679101440 4194304 8255733 140728048589520 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32251904 140728048595806 140728048596068 140728048596068 140728048603081 0
/proc/9686/statm: 176199 150650 1887 992 0 168057 0
Current children cumulated CPU time: 3087.13 s
Current children cumulated vsize: 704796 KiB
Current children cumulated memory: 602600 KiB
[startup+3162.3 s]
/proc/loadavg: 4.21 4.16 4.10 5/259 11022
/proc/meminfo: memFree=82428940/131524600 swapFree=131071996/131071996
[pid=9686] ppid=9683 vsize=707024 memory=664184 CPUtime=3146.96 cores=1,3
/proc/9686/stat : 9686 (roundingsat) R 9683 9686 6973 0 -1 4194304 82143 0 0 0 312889 1807 0 0 20 0 1 0 1039847 723992576 166046 134679101440 4194304 8255733 140728048589520 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32251904 140728048595806 140728048596068 140728048596068 140728048603081 0
/proc/9686/statm: 176756 166046 1887 992 0 168614 0
Current children cumulated CPU time: 3146.96 s
Current children cumulated vsize: 707024 KiB
Current children cumulated memory: 664184 KiB
[startup+3222.3 s]
/proc/loadavg: 4.24 4.18 4.11 5/259 11032
/proc/meminfo: memFree=81595492/131524600 swapFree=131071996/131071996
[pid=9686] ppid=9683 vsize=928356 memory=711616 CPUtime=3206.78 cores=1,3
/proc/9686/stat : 9686 (roundingsat) R 9683 9686 6973 0 -1 4194304 83969 0 0 0 318853 1825 0 0 20 0 1 0 1039847 950636544 177904 134679101440 4194304 8255733 140728048589520 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32251904 140728048595806 140728048596068 140728048596068 140728048603081 0
/proc/9686/statm: 232089 177904 1887 992 0 223947 0
Current children cumulated CPU time: 3206.78 s
Current children cumulated vsize: 928356 KiB
Current children cumulated memory: 711616 KiB
[startup+3282.3 s]
/proc/loadavg: 4.21 4.18 4.11 5/259 11043
/proc/meminfo: memFree=80685484/131524600 swapFree=131071996/131071996
[pid=9686] ppid=9683 vsize=931736 memory=727064 CPUtime=3266.59 cores=1,3
/proc/9686/stat : 9686 (roundingsat) R 9683 9686 6973 0 -1 4194304 84946 0 0 0 324809 1850 0 0 20 0 1 0 1039847 954097664 181766 134679101440 4194304 8255733 140728048589520 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32251904 140728048595806 140728048596068 140728048596068 140728048603081 0
/proc/9686/statm: 232934 181766 1887 992 0 224792 0
Current children cumulated CPU time: 3266.59 s
Current children cumulated vsize: 931736 KiB
Current children cumulated memory: 727064 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.17 4.11 5/260 11437
/proc/meminfo: memFree=79740388/131524600 swapFree=131071996/131071996
[pid=9686] ppid=9683 vsize=931736 memory=727236 CPUtime=3326.41 cores=1,3
/proc/9686/stat : 9686 (roundingsat) R 9683 9686 6973 0 -1 4194304 85087 0 0 0 330768 1873 0 0 20 0 1 0 1039847 954097664 181809 134679101440 4194304 8255733 140728048589520 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32251904 140728048595806 140728048596068 140728048596068 140728048603081 0
/proc/9686/statm: 232934 181809 1887 992 0 224792 0
Current children cumulated CPU time: 3326.41 s
Current children cumulated vsize: 931736 KiB
Current children cumulated memory: 727236 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.16 4.11 5/259 11447
/proc/meminfo: memFree=78596200/131524600 swapFree=131071996/131071996
[pid=9686] ppid=9683 vsize=931736 memory=727236 CPUtime=3386.22 cores=1,3
/proc/9686/stat : 9686 (roundingsat) R 9683 9686 6973 0 -1 4194304 85356 0 0 0 336729 1893 0 0 20 0 1 0 1039847 954097664 181809 134679101440 4194304 8255733 140728048589520 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32251904 140728048595806 140728048596068 140728048596068 140728048603081 0
/proc/9686/statm: 232934 181809 1887 992 0 224792 0
Current children cumulated CPU time: 3386.22 s
Current children cumulated vsize: 931736 KiB
Current children cumulated memory: 727236 KiB
[startup+3462.3 s]
/proc/loadavg: 4.31 4.19 4.12 5/259 11459
/proc/meminfo: memFree=77927300/131524600 swapFree=131071996/131071996
[pid=9686] ppid=9683 vsize=931736 memory=727236 CPUtime=3446.04 cores=1,3
/proc/9686/stat : 9686 (roundingsat) R 9683 9686 6973 0 -1 4194304 85510 0 0 0 342693 1911 0 0 20 0 1 0 1039847 954097664 181809 134679101440 4194304 8255733 140728048589520 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32251904 140728048595806 140728048596068 140728048596068 140728048603081 0
/proc/9686/statm: 232934 181809 1887 992 0 224792 0
Current children cumulated CPU time: 3446.04 s
Current children cumulated vsize: 931736 KiB
Current children cumulated memory: 727236 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.18 4.12 5/261 11639
/proc/meminfo: memFree=77197608/131524600 swapFree=131071996/131071996
[pid=9686] ppid=9683 vsize=931736 memory=727332 CPUtime=3505.86 cores=1,3
/proc/9686/stat : 9686 (roundingsat) R 9683 9686 6973 0 -1 4194304 85803 0 0 0 348633 1953 0 0 20 0 1 0 1039847 954097664 181833 134679101440 4194304 8255733 140728048589520 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32251904 140728048595806 140728048596068 140728048596068 140728048603081 0
/proc/9686/statm: 232934 181833 1887 992 0 224792 0
Current children cumulated CPU time: 3505.86 s
Current children cumulated vsize: 931736 KiB
Current children cumulated memory: 727332 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/261 11649
/proc/meminfo: memFree=76342048/131524600 swapFree=131071996/131071996
[pid=9686] ppid=9683 vsize=931736 memory=727332 CPUtime=3565.67 cores=1,3
/proc/9686/stat : 9686 (roundingsat) R 9683 9686 6973 0 -1 4194304 85957 0 0 0 354566 2001 0 0 20 0 1 0 1039847 954097664 181833 134679101440 4194304 8255733 140728048589520 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32251904 140728048595806 140728048596068 140728048596068 140728048603081 0
/proc/9686/statm: 232934 181833 1887 992 0 224792 0
Current children cumulated CPU time: 3565.67 s
Current children cumulated vsize: 931736 KiB
Current children cumulated memory: 727332 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3616.8 s]
/proc/loadavg: 4.11 4.16 4.11 6/258 11688
/proc/meminfo: memFree=78651228/131524600 swapFree=131071996/131071996
[pid=9686] ppid=9683 vsize=931736 memory=727332 CPUtime=3600.07 cores=1,3
/proc/9686/stat : 9686 (roundingsat) R 9683 9686 6973 0 -1 4194304 86098 0 0 0 357975 2032 0 0 20 0 1 0 1039847 954097664 181833 134679101440 4194304 8255733 140728048589520 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32251904 140728048595806 140728048596068 140728048596068 140728048603081 0
/proc/9686/statm: 232934 181833 1887 992 0 224792 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 931736 KiB
Current children cumulated memory: 727332 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3616.87 s]
# the end of solver process 9686 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3579.76 s, system=20.3328 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3616.87
CPU time (s): 3600.09
CPU user time (s): 3579.76
CPU system time (s): 20.3328
CPU usage (%): 99.536
Max. virtual memory (cumulated for all children) (KiB): 931736
Max. memory (cumulated for all children) (KiB): 727332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.76
system time used= 20.3328
maximum resident set size= 727480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86113
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6447280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 431
involuntary context switches= 4798
# summary of solver processes directly reported to runsolver:
# pid: 9686
# total CPU time (s): 3600.09
# total CPU user time (s): 3579.76
# total CPU system time (s): 20.3328
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.92118 second user time and 17.671 second system time
The end
Begin job on nodeC022 at 2024-07-30 15:00:13 IDJOB=4462659 IDBENCH=148194 IDSOLVER=3089 FILE ID=nodeC022/4462659-1722344413 RUNJOBID= nodeC022-1722340763-6985 SLURM_JOB_ID= 8248995 Free space on /tmp= 890024 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.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-4462659-1722344413/watcher-4462659-1722344413 -o /tmp/evaluation-result-4462659-1722344413/solver-4462659-1722344413 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722340763-6985 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462659-1722344413 --lp-cut-gomory=0 HOME/instance-4462659-1722344413.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 529ae296d86301d65a8fd4e36abb4ed9 RANDOM SEED=768974306 nodeC022.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 : 0xb00002a cpu MHz : 1616.850 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7000.46 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 : 0xb00002a cpu MHz : 3476.534 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7007.42 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 : 0xb00002a cpu MHz : 1200.287 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7000.46 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 : 0xb00002a cpu MHz : 3424.885 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7007.42 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 : 0xb00002a cpu MHz : 1200.312 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7000.46 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 : 0xb00002a cpu MHz : 1953.341 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7007.42 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 : 0xb00002a cpu MHz : 3368.388 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7000.46 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 : 0xb00002a cpu MHz : 2005.634 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7007.42 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 130244076 kB MemAvailable: 129878752 kB Buffers: 50724 kB Cached: 421760 kB SwapCached: 0 kB Active: 189640 kB Inactive: 627732 kB Active(anon): 1444 kB Inactive(anon): 364772 kB Active(file): 188196 kB Inactive(file): 262960 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 12580 kB Writeback: 0 kB AnonPages: 345188 kB Mapped: 89232 kB Shmem: 21336 kB KReclaimable: 46336 kB Slab: 124712 kB SReclaimable: 46336 kB SUnreclaim: 78376 kB KernelStack: 3940 kB PageTables: 9520 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 700912 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8672 kB HardwareCorrupted: 0 kB AnonHugePages: 227328 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: 264916 kB DirectMap2M: 9994240 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 890060 MiB End job on nodeC022 at 2024-07-30 16:00:30