| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 23 | 3600.04 | 3614.23 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_2.opb |
| MD5SUM | a7d8f923a6cdb36d5c6f2d05cbd48ec7 |
| 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 | 19 |
| Best CPU time to get the best result obtained on this benchmark | 263.345 |
| 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 | 8901 |
| Total number of constraints | 32298 |
| Number of constraints which are clauses | 32280 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 17 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 790 |
| Number of terms in the objective function | 790 |
| 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 | 790 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 820 |
| 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.00/0.09 c #variables 8901 #constraints 32298 11.74/11.89 c bounds - >= 5 @ 0.067061 11.74/11.89 c #Conflicts: 1000 | #Constraints: 33297 11.74/11.89 c #Conflicts: 2000 | #Constraints: 34297 11.74/11.89 c INPROCESSING 11.74/11.89 c GARBAGE COLLECT 11.74/11.89 c bounds - >= 6 @ 2.76087 11.74/11.89 c bounds - >= 7 @ 2.7633 11.74/11.89 c bounds - >= 8 @ 2.76454 11.74/11.89 c bounds - >= 9 @ 2.76565 11.74/11.89 c bounds - >= 10 @ 2.76812 11.74/11.89 c bounds - >= 11 @ 2.77043 11.74/11.89 c bounds - >= 12 @ 2.88569 11.74/11.89 c bounds - >= 13 @ 3.35699 11.74/11.89 c #Conflicts: 3000 | #Constraints: 34361 11.74/11.89 c #Conflicts: 4000 | #Constraints: 35361 11.74/11.89 c INPROCESSING 11.74/11.89 c GARBAGE COLLECT 11.74/11.89 c bounds 26 >= 13 @ 8.42286 11.74/11.89 c bounds 25 >= 13 @ 8.44976 11.74/11.89 c #Conflicts: 5000 | #Constraints: 34789 11.74/11.89 c #Conflicts: 6000 | #Constraints: 35789 11.74/11.89 c INPROCESSING 11.74/11.89 c GARBAGE COLLECT 11.74/11.89 c rational objective 13 23.30/23.49 c #Conflicts: 7000 | #Constraints: 34781 23.30/23.49 c #Conflicts: 8000 | #Constraints: 35781 23.30/23.49 c #Conflicts: 9000 | #Constraints: 36781 23.30/23.49 c INPROCESSING 23.30/23.49 c GARBAGE COLLECT 23.30/23.49 c #Conflicts: 10000 | #Constraints: 35465 23.30/23.49 c #Conflicts: 11000 | #Constraints: 36465 23.30/23.49 c #Conflicts: 12000 | #Constraints: 37465 23.30/23.49 c INPROCESSING 23.30/23.49 c GARBAGE COLLECT 23.30/23.49 c rational objective 13 50.41/50.68 c #Conflicts: 13000 | #Constraints: 35919 50.41/50.68 c bounds 25 >= 14 @ 34.1877 50.41/50.68 c bounds 24 >= 14 @ 34.2189 50.41/50.68 c #Conflicts: 14000 | #Constraints: 36938 50.41/50.68 c #Conflicts: 15000 | #Constraints: 37939 50.41/50.68 c INPROCESSING 50.41/50.68 c GARBAGE COLLECT 50.41/50.68 c #Conflicts: 16000 | #Constraints: 36171 50.41/50.68 c #Conflicts: 17000 | #Constraints: 37174 50.41/50.68 c #Conflicts: 18000 | #Constraints: 38174 50.41/50.68 c INPROCESSING 50.41/50.68 c GARBAGE COLLECT 50.41/50.68 c #Conflicts: 19000 | #Constraints: 36204 50.41/50.68 c #Conflicts: 20000 | #Constraints: 37206 50.41/50.68 c #Conflicts: 21000 | #Constraints: 38207 50.41/50.68 c INPROCESSING 50.41/50.68 c GARBAGE COLLECT 50.41/50.68 c rational objective 14 91.07/91.46 c #Conflicts: 22000 | #Constraints: 36006 91.07/91.46 c #Conflicts: 23000 | #Constraints: 37007 91.07/91.46 c #Conflicts: 24000 | #Constraints: 38007 91.07/91.46 c #Conflicts: 25000 | #Constraints: 39008 91.07/91.46 c INPROCESSING 91.07/91.46 c GARBAGE COLLECT 91.07/91.46 c #Conflicts: 26000 | #Constraints: 36637 91.07/91.46 c #Conflicts: 27000 | #Constraints: 37637 91.07/91.46 c bounds 24 >= 15 @ 79.962 91.07/91.46 c #Conflicts: 28000 | #Constraints: 38652 91.07/91.46 c #Conflicts: 29000 | #Constraints: 39652 91.07/91.46 c INPROCESSING 91.07/91.46 c GARBAGE COLLECT 91.07/91.46 c #Conflicts: 30000 | #Constraints: 37035 91.07/91.46 c #Conflicts: 31000 | #Constraints: 38035 91.07/91.46 c #Conflicts: 32000 | #Constraints: 39035 91.07/91.46 c #Conflicts: 33000 | #Constraints: 40035 91.07/91.46 c INPROCESSING 91.07/91.46 c GARBAGE COLLECT 91.07/91.46 c #Conflicts: 34000 | #Constraints: 37223 91.07/91.46 c #Conflicts: 35000 | #Constraints: 38223 91.07/91.46 c #Conflicts: 36000 | #Constraints: 39223 91.07/91.46 c #Conflicts: 37000 | #Constraints: 40223 91.07/91.46 c INPROCESSING 91.07/91.46 c GARBAGE COLLECT 91.07/91.46 c rational objective 15 102.04/102.41 c #Conflicts: 38000 | #Constraints: 37231 102.04/102.41 c #Conflicts: 39000 | #Constraints: 38232 102.04/102.41 c #Conflicts: 40000 | #Constraints: 39232 102.04/102.41 c #Conflicts: 41000 | #Constraints: 40232 102.04/102.41 c INPROCESSING 102.04/102.41 c GARBAGE COLLECT 102.04/102.41 c rational objective 15 159.15/159.75 c #Conflicts: 42000 | #Constraints: 37042 159.15/159.75 c #Conflicts: 43000 | #Constraints: 38042 159.15/159.75 c #Conflicts: 44000 | #Constraints: 39042 159.15/159.75 c #Conflicts: 45000 | #Constraints: 40042 159.15/159.75 c #Conflicts: 46000 | #Constraints: 41042 159.15/159.75 c INPROCESSING 159.15/159.75 c GARBAGE COLLECT 159.15/159.75 c #Conflicts: 47000 | #Constraints: 37704 159.15/159.75 c #Conflicts: 48000 | #Constraints: 38704 159.15/159.75 c #Conflicts: 49000 | #Constraints: 39704 159.15/159.75 c #Conflicts: 50000 | #Constraints: 40704 159.15/159.75 c #Conflicts: 51000 | #Constraints: 41704 159.15/159.75 c INPROCESSING 159.15/159.75 c GARBAGE COLLECT 159.15/159.75 c rational objective 15 200.41/201.16 c #Conflicts: 52000 | #Constraints: 38092 200.41/201.16 c #Conflicts: 53000 | #Constraints: 39092 200.41/201.16 c #Conflicts: 54000 | #Constraints: 40092 200.41/201.16 c bounds 24 >= 16 @ 177.153 200.41/201.16 c #Conflicts: 55000 | #Constraints: 41119 200.41/201.16 c #Conflicts: 56000 | #Constraints: 42119 200.41/201.16 c INPROCESSING 200.41/201.16 c GARBAGE COLLECT 200.41/201.16 c #Conflicts: 57000 | #Constraints: 38308 200.41/201.16 c #Conflicts: 58000 | #Constraints: 39308 200.41/201.16 c #Conflicts: 59000 | #Constraints: 40308 200.41/201.16 c #Conflicts: 60000 | #Constraints: 41308 200.41/201.16 c #Conflicts: 61000 | #Constraints: 42308 200.41/201.16 c INPROCESSING 200.41/201.16 c GARBAGE COLLECT 200.41/201.16 c rational objective 16 274.96/275.90 c #Conflicts: 62000 | #Constraints: 38310 274.96/275.90 c #Conflicts: 63000 | #Constraints: 39310 274.96/275.90 c #Conflicts: 64000 | #Constraints: 40310 274.96/275.90 c #Conflicts: 65000 | #Constraints: 41310 274.96/275.90 c #Conflicts: 66000 | #Constraints: 42310 274.96/275.90 c INPROCESSING 274.96/275.90 c GARBAGE COLLECT 274.96/275.90 c #Conflicts: 67000 | #Constraints: 38173 274.96/275.90 c #Conflicts: 68000 | #Constraints: 39173 274.96/275.90 c #Conflicts: 69000 | #Constraints: 40173 274.96/275.90 c #Conflicts: 70000 | #Constraints: 41173 274.96/275.90 c bounds 23 >= 16 @ 250.454 274.96/275.90 c #Conflicts: 71000 | #Constraints: 42174 274.96/275.90 c #Conflicts: 72000 | #Constraints: 43174 274.96/275.90 c INPROCESSING 274.96/275.90 c GARBAGE COLLECT 274.96/275.90 c #Conflicts: 73000 | #Constraints: 38764 274.96/275.90 c #Conflicts: 74000 | #Constraints: 39764 274.96/275.90 c #Conflicts: 75000 | #Constraints: 40766 274.96/275.90 c #Conflicts: 76000 | #Constraints: 41766 274.96/275.90 c #Conflicts: 77000 | #Constraints: 42766 274.96/275.90 c #Conflicts: 78000 | #Constraints: 43766 274.96/275.90 c INPROCESSING 274.96/275.90 c GARBAGE COLLECT 274.96/275.90 c rational objective 16 347.12/348.35 c #Conflicts: 79000 | #Constraints: 39135 347.12/348.35 c #Conflicts: 80000 | #Constraints: 40135 347.12/348.35 c #Conflicts: 81000 | #Constraints: 41135 347.12/348.35 c #Conflicts: 82000 | #Constraints: 42135 347.12/348.35 c #Conflicts: 83000 | #Constraints: 43135 347.12/348.35 c #Conflicts: 84000 | #Constraints: 44135 347.12/348.35 c INPROCESSING 347.12/348.35 c GARBAGE COLLECT 347.12/348.35 c #Conflicts: 85000 | #Constraints: 39442 347.12/348.35 c #Conflicts: 86000 | #Constraints: 40442 347.12/348.35 c #Conflicts: 87000 | #Constraints: 41442 347.12/348.35 c #Conflicts: 88000 | #Constraints: 42442 347.12/348.35 c #Conflicts: 89000 | #Constraints: 43442 347.12/348.35 c #Conflicts: 90000 | #Constraints: 44442 347.12/348.35 c INPROCESSING 347.12/348.35 c GARBAGE COLLECT 347.12/348.35 c rational objective 16 401.83/403.25 c #Conflicts: 91000 | #Constraints: 39447 401.83/403.25 c #Conflicts: 92000 | #Constraints: 40447 401.83/403.25 c #Conflicts: 93000 | #Constraints: 41447 401.83/403.25 c #Conflicts: 94000 | #Constraints: 42447 401.83/403.25 c #Conflicts: 95000 | #Constraints: 43447 401.83/403.25 c #Conflicts: 96000 | #Constraints: 44447 401.83/403.25 c INPROCESSING 401.83/403.25 c GARBAGE COLLECT 401.83/403.25 c rational objective 16 431.83/433.39 c #Conflicts: 97000 | #Constraints: 39332 431.83/433.39 c #Conflicts: 98000 | #Constraints: 40332 431.83/433.39 c #Conflicts: 99000 | #Constraints: 41332 431.83/433.39 c #Conflicts: 100000 | #Constraints: 42332 431.83/433.39 c #Conflicts: 101000 | #Constraints: 43332 431.83/433.39 c #Conflicts: 102000 | #Constraints: 44332 431.83/433.39 c #Conflicts: 103000 | #Constraints: 45332 431.83/433.39 c INPROCESSING 431.83/433.39 c GARBAGE COLLECT 431.83/433.39 c rational objective 16 863.14/866.09 c #Conflicts: 104000 | #Constraints: 39878 863.14/866.09 c #Conflicts: 105000 | #Constraints: 40878 863.14/866.09 c #Conflicts: 106000 | #Constraints: 41878 863.14/866.09 c #Conflicts: 107000 | #Constraints: 42878 863.14/866.09 c #Conflicts: 108000 | #Constraints: 43878 863.14/866.09 c #Conflicts: 109000 | #Constraints: 44878 863.14/866.09 c #Conflicts: 110000 | #Constraints: 45878 863.14/866.09 c INPROCESSING 863.14/866.09 c GARBAGE COLLECT 863.14/866.09 c #Conflicts: 111000 | #Constraints: 40367 863.14/866.09 c #Conflicts: 112000 | #Constraints: 41367 863.14/866.09 c #Conflicts: 113000 | #Constraints: 42367 863.14/866.09 c #Conflicts: 114000 | #Constraints: 43367 863.14/866.09 c #Conflicts: 115000 | #Constraints: 44368 863.14/866.09 c #Conflicts: 116000 | #Constraints: 45368 863.14/866.09 c #Conflicts: 117000 | #Constraints: 46368 863.14/866.09 c #Conflicts: 118000 | #Constraints: 47368 863.14/866.09 c #Conflicts: 119000 | #Constraints: 48368 863.14/866.09 c #Conflicts: 120000 | #Constraints: 49368 863.14/866.09 c #Conflicts: 121000 | #Constraints: 50368 863.14/866.09 c #Conflicts: 122000 | #Constraints: 51368 863.14/866.09 c #Conflicts: 123000 | #Constraints: 52368 863.14/866.09 c #Conflicts: 124000 | #Constraints: 53368 863.14/866.09 c #Conflicts: 125000 | #Constraints: 54368 863.14/866.09 c #Conflicts: 126000 | #Constraints: 55368 863.14/866.09 c #Conflicts: 127000 | #Constraints: 56368 863.14/866.09 c #Conflicts: 128000 | #Constraints: 57368 863.14/866.09 c #Conflicts: 129000 | #Constraints: 58368 863.14/866.09 c #Conflicts: 130000 | #Constraints: 59368 863.14/866.09 c #Conflicts: 131000 | #Constraints: 60368 863.14/866.09 c #Conflicts: 132000 | #Constraints: 61368 863.14/866.09 c #Conflicts: 133000 | #Constraints: 62368 863.14/866.09 c #Conflicts: 134000 | #Constraints: 63368 863.14/866.09 c #Conflicts: 135000 | #Constraints: 64368 863.14/866.09 c #Conflicts: 136000 | #Constraints: 65368 863.14/866.09 c #Conflicts: 137000 | #Constraints: 66368 863.14/866.09 c #Conflicts: 138000 | #Constraints: 67368 863.14/866.09 c #Conflicts: 139000 | #Constraints: 68368 863.14/866.09 c #Conflicts: 140000 | #Constraints: 69368 863.14/866.09 c INPROCESSING 863.14/866.09 c GARBAGE COLLECT 863.14/866.09 c rational objective 16 1005.59/1008.97 c #Conflicts: 141000 | #Constraints: 51788 1005.59/1008.97 c #Conflicts: 142000 | #Constraints: 52788 1005.59/1008.97 c #Conflicts: 143000 | #Constraints: 53788 1005.59/1008.97 c #Conflicts: 144000 | #Constraints: 54788 1005.59/1008.97 c #Conflicts: 145000 | #Constraints: 55788 1005.59/1008.97 c #Conflicts: 146000 | #Constraints: 56788 1005.59/1008.97 c #Conflicts: 147000 | #Constraints: 57788 1005.59/1008.97 c #Conflicts: 148000 | #Constraints: 58788 1005.59/1008.97 c INPROCESSING 1005.59/1008.97 c GARBAGE COLLECT 1005.59/1008.97 c rational objective 16 1137.85/1141.62 c #Conflicts: 149000 | #Constraints: 46503 1137.85/1141.62 c #Conflicts: 150000 | #Constraints: 47503 1137.85/1141.62 c #Conflicts: 151000 | #Constraints: 48503 1137.85/1141.62 c #Conflicts: 152000 | #Constraints: 49503 1137.85/1141.62 c #Conflicts: 153000 | #Constraints: 50503 1137.85/1141.62 c #Conflicts: 154000 | #Constraints: 51503 1137.85/1141.62 c #Conflicts: 155000 | #Constraints: 52503 1137.85/1141.62 c #Conflicts: 156000 | #Constraints: 53503 1137.85/1141.62 c INPROCESSING 1137.85/1141.62 c GARBAGE COLLECT 1137.85/1141.62 c rational objective 16 1245.49/1249.63 c #Conflicts: 157000 | #Constraints: 43800 1245.49/1249.63 c #Conflicts: 158000 | #Constraints: 44800 1245.49/1249.63 c #Conflicts: 159000 | #Constraints: 45800 1245.49/1249.63 c #Conflicts: 160000 | #Constraints: 46800 1245.49/1249.63 c #Conflicts: 161000 | #Constraints: 47800 1245.49/1249.63 c #Conflicts: 162000 | #Constraints: 48800 1245.49/1249.63 c #Conflicts: 163000 | #Constraints: 49800 1245.49/1249.63 c #Conflicts: 164000 | #Constraints: 50800 1245.49/1249.63 c #Conflicts: 165000 | #Constraints: 51800 1245.49/1249.63 c INPROCESSING 1245.49/1249.63 c GARBAGE COLLECT 1245.49/1249.63 c rational objective 16 2367.46/2375.08 c #Conflicts: 166000 | #Constraints: 43211 2367.46/2375.08 c #Conflicts: 167000 | #Constraints: 44211 2367.46/2375.08 c #Conflicts: 168000 | #Constraints: 45211 2367.46/2375.08 c #Conflicts: 169000 | #Constraints: 46211 2367.46/2375.08 c #Conflicts: 170000 | #Constraints: 47211 2367.46/2375.08 c #Conflicts: 171000 | #Constraints: 48211 2367.46/2375.08 c #Conflicts: 172000 | #Constraints: 49211 2367.46/2375.08 c #Conflicts: 173000 | #Constraints: 50211 2367.46/2375.08 c #Conflicts: 174000 | #Constraints: 51211 2367.46/2375.08 c #Conflicts: 175000 | #Constraints: 52211 2367.46/2375.08 c #Conflicts: 176000 | #Constraints: 53211 2367.46/2375.08 c #Conflicts: 177000 | #Constraints: 54211 2367.46/2375.08 c #Conflicts: 178000 | #Constraints: 55211 2367.46/2375.08 c #Conflicts: 179000 | #Constraints: 56211 2367.46/2375.08 c #Conflicts: 180000 | #Constraints: 57211 2367.46/2375.08 c #Conflicts: 181000 | #Constraints: 58211 2367.46/2375.08 c #Conflicts: 182000 | #Constraints: 59211 2367.46/2375.08 c #Conflicts: 183000 | #Constraints: 60211 2367.46/2375.08 c #Conflicts: 184000 | #Constraints: 61211 2367.46/2375.08 c #Conflicts: 185000 | #Constraints: 62211 2367.46/2375.08 c #Conflicts: 186000 | #Constraints: 63211 2367.46/2375.08 c #Conflicts: 187000 | #Constraints: 64211 2367.46/2375.08 c #Conflicts: 188000 | #Constraints: 65211 2367.46/2375.08 c #Conflicts: 189000 | #Constraints: 66211 2367.46/2375.08 c #Conflicts: 190000 | #Constraints: 67211 2367.46/2375.08 c #Conflicts: 191000 | #Constraints: 68211 2367.46/2375.08 c #Conflicts: 192000 | #Constraints: 69211 2367.46/2375.08 c #Conflicts: 193000 | #Constraints: 70211 2367.46/2375.08 c #Conflicts: 194000 | #Constraints: 71211 2367.46/2375.08 c #Conflicts: 195000 | #Constraints: 72211 2367.46/2375.08 c #Conflicts: 196000 | #Constraints: 73211 2367.46/2375.08 c #Conflicts: 197000 | #Constraints: 74211 2367.46/2375.08 c #Conflicts: 198000 | #Constraints: 75211 2367.46/2375.08 c #Conflicts: 199000 | #Constraints: 76211 2367.46/2375.08 c #Conflicts: 200000 | #Constraints: 77211 2367.46/2375.08 c #Conflicts: 201000 | #Constraints: 78211 2367.46/2375.08 c INPROCESSING 2367.46/2375.08 c GARBAGE COLLECT 2367.46/2375.08 c rational objective 16 2571.79/2580.05 c #Conflicts: 202000 | #Constraints: 56644 2571.79/2580.05 c #Conflicts: 203000 | #Constraints: 57644 2571.79/2580.05 c #Conflicts: 204000 | #Constraints: 58644 2571.79/2580.05 c #Conflicts: 205000 | #Constraints: 59644 2571.79/2580.05 c #Conflicts: 206000 | #Constraints: 60644 2571.79/2580.05 c bounds 23 >= 17 @ 2499.96 2571.79/2580.05 c #Conflicts: 207000 | #Constraints: 61671 2571.79/2580.05 c #Conflicts: 208000 | #Constraints: 62671 2571.79/2580.05 c #Conflicts: 209000 | #Constraints: 63671 2571.79/2580.05 c #Conflicts: 210000 | #Constraints: 64671 2571.79/2580.05 c INPROCESSING 2571.79/2580.05 c GARBAGE COLLECT 2571.79/2580.05 c rational objective 17 2720.06/2728.87 c #Conflicts: 211000 | #Constraints: 49283 2720.06/2728.87 c #Conflicts: 212000 | #Constraints: 50283 2720.06/2728.87 c #Conflicts: 213000 | #Constraints: 51283 2720.06/2728.87 c #Conflicts: 214000 | #Constraints: 52283 2720.06/2728.87 c #Conflicts: 215000 | #Constraints: 53283 2720.06/2728.87 c #Conflicts: 216000 | #Constraints: 54283 2720.06/2728.87 c #Conflicts: 217000 | #Constraints: 55283 2720.06/2728.87 c #Conflicts: 218000 | #Constraints: 56283 2720.06/2728.87 c #Conflicts: 219000 | #Constraints: 57283 2720.06/2728.87 c #Conflicts: 220000 | #Constraints: 58283 2720.06/2728.87 c INPROCESSING 2720.06/2728.87 c GARBAGE COLLECT 2720.06/2728.87 c rational objective 17 3600.01/3614.21 c #Conflicts: 221000 | #Constraints: 46303 3600.01/3614.21 c #Conflicts: 222000 | #Constraints: 47303 3600.01/3614.21 c #Conflicts: 223000 | #Constraints: 48304 3600.01/3614.21 c #Conflicts: 224000 | #Constraints: 49304 3600.01/3614.21 c #Conflicts: 225000 | #Constraints: 50304 3600.01/3614.21 c #Conflicts: 226000 | #Constraints: 51304 3600.01/3614.21 c #Conflicts: 227000 | #Constraints: 52304 3600.01/3614.21 c #Conflicts: 228000 | #Constraints: 53304 3600.01/3614.21 c #Conflicts: 229000 | #Constraints: 54304 3600.01/3614.21 c #Conflicts: 230000 | #Constraints: 55304 3600.01/3614.21 c #Conflicts: 231000 | #Constraints: 56304 3600.01/3614.21 c #Conflicts: 232000 | #Constraints: 57304 3600.01/3614.21 c #Conflicts: 233000 | #Constraints: 58304 3600.01/3614.21 c #Conflicts: 234000 | #Constraints: 59304 3600.01/3614.21 c #Conflicts: 235000 | #Constraints: 60305 3600.01/3614.21 c #Conflicts: 236000 | #Constraints: 61305 3600.01/3614.21 c #Conflicts: 237000 | #Constraints: 62305 3600.01/3614.21 c #Conflicts: 238000 | #Constraints: 63305 3600.01/3614.21 c #Conflicts: 239000 | #Constraints: 64305 3600.01/3614.21 c #Conflicts: 240000 | #Constraints: 65305 3600.01/3614.21 c #Conflicts: 241000 | #Constraints: 66305 3600.01/3614.21 c #Conflicts: 242000 | #Constraints: 67305 3600.01/3614.21 c #Conflicts: 243000 | #Constraints: 68305 3600.01/3614.21 c #Conflicts: 244000 | #Constraints: 69305 3600.01/3614.21 c #Conflicts: 245000 | #Constraints: 70305 3600.01/3614.21 c #Conflicts: 246000 | #Constraints: 71305 3600.01/3614.21 c #Conflicts: 247000 | #Constraints: 72305 3600.01/3614.21 c #Conflicts: 248000 | #Constraints: 73305 3600.01/3614.21 c #Conflicts: 249000 | #Constraints: 74305 3600.01/3614.21 c #Conflicts: 250000 | #Constraints: 75305 3600.01/3614.21 c #Conflicts: 251000 | #Constraints: 76305 3600.01/3614.21 c #Conflicts: 252000 | #Constraints: 77305 3600.01/3614.21 c #Conflicts: 253000 | #Constraints: 78305 3600.01/3614.21 c #Conflicts: 254000 | #Constraints: 79305 3600.01/3614.21 c #Conflicts: 255000 | #Constraints: 80305 3600.01/3614.21 c #Conflicts: 256000 | #Constraints: 81305 3600.01/3614.21 c #Conflicts: 257000 | #Constraints: 82305 3600.01/3614.21 c #Conflicts: 258000 | #Constraints: 83305 3600.01/3614.21 c #Conflicts: 259000 | #Constraints: 84305 3600.01/3614.21 c #Conflicts: 260000 | #Constraints: 85305 3600.01/3614.21 c Program interrupted by user. 3600.01/3614.21 c cpu time 3586.44 s 3600.01/3614.21 c deterministic time 485149413513 4.85e+11 3600.01/3614.21 c optimization time 877.009 s 3600.01/3614.21 c total solve time 2709.36 s 3600.01/3614.21 c core-guided solve time 2090.28 s 3600.01/3614.21 c propagation time 3036.56 s 3600.01/3614.21 c conflict analysis time 464.329 s 3600.01/3614.21 c propagations 334603774 3600.01/3614.21 c resolve steps 21137826 3600.01/3614.21 c decisions 8053324 3600.01/3614.21 c conflicts 260156 3600.01/3614.21 c restarts 618 3600.01/3614.21 c inprocessing phases 32 3600.01/3614.21 c input clauses 32333 3600.01/3614.21 c input cardinalities 28 3600.01/3614.21 c input general constraints 82 3600.01/3614.21 c input average constraint length 3.14 3600.01/3614.21 c input average constraint degree 1.23 3600.01/3614.21 c learned clauses 99923 3600.01/3614.21 c learned cardinalities 2601 3600.01/3614.21 c learned general constraints 157673 3600.01/3614.21 c learned average constraint length 1366.50 3600.01/3614.21 c learned average constraint degree 69218924.82 3600.01/3614.21 c watched constraints 127131 3600.01/3614.21 c counting constraints 30624 3600.01/3614.21 c gcd simplifications 1028 3600.01/3614.21 c detected cardinalities 4 3600.01/3614.21 c weakened non-implied lits 30592511 3600.01/3614.21 c weakened non-implying lits 47662 3600.01/3614.21 c original variables 8901 3600.01/3614.21 c clausal propagations 284603070 3600.01/3614.21 c cardinality propagations 3940052 3600.01/3614.21 c watched propagations 13966198 3600.01/3614.21 c counting propagations 30384985 3600.01/3614.21 c watch lookups 49576409002 3600.01/3614.21 c watch backjump lookups 41260909218 3600.01/3614.21 c watch checks 373280237595 3600.01/3614.21 c propagation checks 19426694455 3600.01/3614.21 c constraint additions 919210777 3600.01/3614.21 c trail pops 342912027 3600.01/3614.21 c formula constraints 32298 3600.01/3614.21 c learned constraints 260137 3600.01/3614.21 c bound constraints 16 3600.01/3614.21 c core-guided constraints 129 3600.01/3614.21 c encountered formula constraints 19093761 3600.01/3614.21 c encountered learned constraints 2208528 3600.01/3614.21 c encountered bound constraints 222 3600.01/3614.21 c encountered core-guided constraints 94203 3600.01/3614.21 c LP total time 139.378 s 3600.01/3614.21 c LP solve time 128.21 s 3600.01/3614.21 c LP constraints added 32404 3600.01/3614.21 c LP constraints removed 102 3600.01/3614.21 c LP pivots internal 261223 3600.01/3614.21 c LP pivots root 122117 3600.01/3614.21 c LP calls 147 3600.01/3614.21 c LP optimalities 120 3600.01/3614.21 c LP no pivot count 34 3600.01/3614.21 c LP infeasibilities 23 3600.01/3614.21 c LP valid Farkas constraints 23 3600.01/3614.21 c LP learned Farkas constraints 23 3600.01/3614.21 c LP basis resets 0 3600.01/3614.21 c LP cycling count 0 3600.01/3614.21 c LP singular count 0 3600.01/3614.21 c LP no primal count 0 3600.01/3614.21 c LP no farkas count 0 3600.01/3614.21 c LP other issue count 0 3600.01/3614.21 c LP Gomory cuts 14 3600.01/3614.21 c LP learned cuts 92 3600.01/3614.21 c LP deleted cuts 102 3600.01/3614.21 c LP encountered Gomory constraints 0 3600.01/3614.21 c LP encountered Farkas constraints 1056 3600.01/3614.21 c LP encountered learned Farkas constraints 189 3600.01/3614.21 c CG auxiliary variables introduced 47 3600.01/3614.21 c CG solutions found 4 3600.01/3614.21 c CG cores constructed 12 3600.01/3614.21 c CG core cardinality constraints returned 0 3600.01/3614.21 c CG unit cores 0 3600.01/3614.21 c CG single cores 12 3600.01/3614.21 c CG blocks removed during cardinality reduction 0 3600.01/3614.21 c CG first core best 0 3600.01/3614.21 c CG decision core best 0 3600.01/3614.21 c CG core reduction tie 0 3600.01/3614.21 c CG core degree average 1.00 3600.01/3614.21 c CG core slack average 67.33 3600.01/3614.21 s SATISFIABLE 3600.01/3614.21 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 x1196 x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 x1613 x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 x2130 x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 x2581 x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 x2779 x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 x3097 x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 x3459 x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 x4883 x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 x4892 -x4893 -x4894 -x4895 -x4896 -x4897 x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 x4992 -x4993 x4994 -x4995 -x4996 -x4997 -x4998 -x4999 x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 x5179 -x5180 -x5181 x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 x5514 -x5515 x5516 -x5517 -x5518 -x5519 -x5520 -x5521 x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 x5582 -x5583 x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 x5617 -x5618 x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 x5722 -x5723 -x5724 -x5725 -x5726 x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 x5752 -x5753 -x5754 -x5755 -x5756 x5757 -x5758 -x5759 -x5760 -x5761 x5762 -x5763 -x5764 -x5765 -x5766 x5767 x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 x5777 x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 x5867 -x5868 x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 x5989 x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 x6167 -x6168 -x6169 -x6170 x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 x6348 x6349 -x6350 x6351 -x6352 -x6353 -x6354 -x6355 x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 x6412 -x6413 x6414 -x6415 -x6416 -x6417 -x6418 x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 x6477 -x6478 -x6479 x6480 -x6481 -x6482 -x6483 x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 x6494 -x6495 x6496 -x6497 -x6498 -x6499 x6500 x6501 -x6502 x6503 -x6504 -x6505 -x6506 -x6507 x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 x6538 -x6539 -x6540 x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 x6680 -x6681 -x6682 -x6683 -x6684 -x6685 x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 x7379 -x7380 -x7381 -x7382 -x7383 x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 x7917 x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 x7968 -x7969 x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 x8160 -x8161 x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 x8412 -x8413 -x8414 -x8415 -x8416 -x8417 x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 x8690 -x8691 -x8692 x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 x8730 -x8731 -x8732 -x8733 x8734 x8735 -x8736 -x8737 x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 x8865 -x8866 -x8867 x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 x8894 x8895 -x8896 -x8897 -x8898 -x8899 -x8900 x8901
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 (60757 MiB free)
memory of node 1: 64510 MiB (60858 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455224-1721461196/watcher-4455224-1721461196 -o /tmp/evaluation-result-4455224-1721461196/solver-4455224-1721461196 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721456537-1067952 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455224-1721461196.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1071792, runsolver pid=1071789
Current StackSize limit: 8192 KiB
[startup+0.100535 s]*
/proc/loadavg: 4.17 4.15 4.10 5/255 1071793
/proc/meminfo: memFree=124513604/131524600 swapFree=131071996/131071996
[pid=1071792] ppid=1071789 vsize=58620 memory=29208 CPUtime=0.09 cores=0,2
/proc/1071792/stat : 1071792 (roundingsat) R 1071789 1071792 1067942 0 -1 4194304 5823 0 0 0 7 2 0 0 20 0 1 0 198289277 60026880 7236 134679101440 4194304 7968373 140723957527216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12517376 140723957531580 140723957531744 140723957531744 140723957538761 0
/proc/1071792/statm: 14655 7236 1641 922 0 6607 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58620 KiB
Current children cumulated memory: 29208 KiB
[startup+0.205616 s]*
/proc/loadavg: 4.17 4.15 4.10 5/255 1071793
/proc/meminfo: memFree=124511564/131524600 swapFree=131071996/131071996
[pid=1071792] ppid=1071789 vsize=58560 memory=28960 CPUtime=0.19 cores=0,2
/proc/1071792/stat : 1071792 (roundingsat) R 1071789 1071792 1067942 0 -1 4194304 7313 0 0 0 16 3 0 0 20 0 1 0 198289277 59965440 7240 134679101440 4194304 7968373 140723957527216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12517376 140723957531580 140723957531744 140723957531744 140723957538761 0
/proc/1071792/statm: 14640 7240 1737 922 0 6592 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 58560 KiB
Current children cumulated memory: 28960 KiB
[startup+0.305532 s]*
/proc/loadavg: 4.17 4.15 4.10 5/255 1071793
/proc/meminfo: memFree=124510752/131524600 swapFree=131071996/131071996
[pid=1071792] ppid=1071789 vsize=59068 memory=29488 CPUtime=0.3 cores=0,2
/proc/1071792/stat : 1071792 (roundingsat) R 1071789 1071792 1067942 0 -1 4194304 7484 0 0 0 26 4 0 0 20 0 1 0 198289277 60485632 7372 134679101440 4194304 7968373 140723957527216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12517376 140723957531580 140723957531744 140723957531744 140723957538761 0
/proc/1071792/statm: 14767 7372 1737 922 0 6719 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 59068 KiB
Current children cumulated memory: 29488 KiB
[startup+0.700183 s]
/proc/loadavg: 4.17 4.15 4.10 5/255 1071793
/proc/meminfo: memFree=124507752/131524600 swapFree=131071996/131071996
[pid=1071792] ppid=1071789 vsize=59336 memory=32708 CPUtime=0.68 cores=0,2
/proc/1071792/stat : 1071792 (roundingsat) R 1071789 1071792 1067942 0 -1 4194304 7750 0 0 0 64 4 0 0 20 0 1 0 198289277 60760064 8177 134679101440 4194304 7968373 140723957527216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12517376 140723957531580 140723957531744 140723957531744 140723957538761 0
/proc/1071792/statm: 14834 8177 1769 922 0 6786 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 59336 KiB
Current children cumulated memory: 32708 KiB
[startup+1.50018 s]
/proc/loadavg: 4.17 4.15 4.10 6/255 1071793
/proc/meminfo: memFree=124505176/131524600 swapFree=131071996/131071996
[pid=1071792] ppid=1071789 vsize=68872 memory=39264 CPUtime=1.48 cores=0,2
/proc/1071792/stat : 1071792 (roundingsat) R 1071789 1071792 1067942 0 -1 4194304 9339 0 0 0 142 6 0 0 20 0 1 0 198289277 70524928 9816 134679101440 4194304 7968373 140723957527216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12517376 140723957531580 140723957531744 140723957531744 140723957538761 0
/proc/1071792/statm: 17218 9816 1769 922 0 9170 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 68872 KiB
Current children cumulated memory: 39264 KiB
[startup+3.10495 s]
/proc/loadavg: 4.17 4.15 4.10 6/255 1071793
/proc/meminfo: memFree=124491688/131524600 swapFree=131071996/131071996
[pid=1071792] ppid=1071789 vsize=75440 memory=48456 CPUtime=3.07 cores=0,2
/proc/1071792/stat : 1071792 (roundingsat) R 1071789 1071792 1067942 0 -1 4194304 11102 0 0 0 298 9 0 0 20 0 1 0 198289277 77250560 12114 134679101440 4194304 7968373 140723957527216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12517376 140723957531580 140723957531744 140723957531744 140723957538761 0
/proc/1071792/statm: 18860 12114 1830 922 0 10812 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 75440 KiB
Current children cumulated memory: 48456 KiB
[startup+6.30017 s]
/proc/loadavg: 4.16 4.14 4.10 6/255 1071793
/proc/meminfo: memFree=124487628/131524600 swapFree=131071996/131071996
[pid=1071792] ppid=1071789 vsize=81700 memory=55608 CPUtime=6.26 cores=0,2
/proc/1071792/stat : 1071792 (roundingsat) R 1071789 1071792 1067942 0 -1 4194304 13187 0 0 0 608 18 0 0 20 0 1 0 198289277 83660800 13902 134679101440 4194304 7968373 140723957527216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12517376 140723957531580 140723957531744 140723957531744 140723957538761 0
/proc/1071792/statm: 20425 13902 1846 922 0 12377 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 81700 KiB
Current children cumulated memory: 55608 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.14 4.10 6/255 1071794
/proc/meminfo: memFree=124474088/131524600 swapFree=131071996/131071996
[pid=1071792] ppid=1071789 vsize=103080 memory=72912 CPUtime=12.63 cores=0,2
/proc/1071792/stat : 1071792 (roundingsat) R 1071789 1071792 1067942 0 -1 4194304 16453 0 0 0 1238 25 0 0 20 0 1 0 198289277 105553920 18228 134679101440 4194304 7968373 140723957527216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12517376 140723957531580 140723957531744 140723957531744 140723957538761 0
/proc/1071792/statm: 25770 18228 1846 922 0 17722 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 103080 KiB
Current children cumulated memory: 72912 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.13 4.10 6/255 1071796
/proc/meminfo: memFree=124456868/131524600 swapFree=131071996/131071996
[pid=1071792] ppid=1071789 vsize=118412 memory=82420 CPUtime=25.4 cores=0,2
/proc/1071792/stat : 1071792 (roundingsat) R 1071789 1071792 1067942 0 -1 4194304 17701 0 0 0 2491 49 0 0 20 0 1 0 198289277 121253888 20605 134679101440 4194304 7968373 140723957527216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12517376 140723957531580 140723957531744 140723957531744 140723957538761 0
/proc/1071792/statm: 29603 20605 1846 922 0 21555 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 118412 KiB
Current children cumulated memory: 82420 KiB
[startup+51.1054 s]
/proc/loadavg: 4.13 4.14 4.10 6/257 1071805
/proc/meminfo: memFree=124435812/131524600 swapFree=131071996/131071996
[pid=1071792] ppid=1071789 vsize=127492 memory=99476 CPUtime=50.91 cores=0,2
/proc/1071792/stat : 1071792 (roundingsat) R 1071789 1071792 1067942 0 -1 4194304 19872 0 0 0 5011 80 0 0 20 0 1 0 198289277 130551808 24869 134679101440 4194304 7968373 140723957527216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12517376 140723957531580 140723957531744 140723957531744 140723957538761 0
/proc/1071792/statm: 31873 24869 1846 922 0 23825 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 127492 KiB
Current children cumulated memory: 99476 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.13 4.09 6/256 1071814
/proc/meminfo: memFree=124404316/131524600 swapFree=131071996/131071996
[pid=1071792] ppid=1071789 vsize=186548 memory=128924 CPUtime=101.94 cores=0,2
/proc/1071792/stat : 1071792 (roundingsat) R 1071789 1071792 1067942 0 -1 4194304 22777 0 0 0 10053 141 0 0 20 0 1 0 198289277 191025152 32231 134679101440 4194304 7968373 140723957527216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12517376 140723957531580 140723957531744 140723957531744 140723957538761 0
/proc/1071792/statm: 46637 32231 1846 922 0 38589 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 186548 KiB
Current children cumulated memory: 128924 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.12 4.09 6/256 1071825
/proc/meminfo: memFree=124379776/131524600 swapFree=131071996/131071996
[pid=1071792] ppid=1071789 vsize=199940 memory=151132 CPUtime=161.73 cores=0,2
/proc/1071792/stat : 1071792 (roundingsat) R 1071789 1071792 1067942 0 -1 4194304 26366 0 0 0 15982 191 0 0 20 0 1 0 198289277 204738560 37783 134679101440 4194304 7968373 140723957527216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12517376 140723957531580 140723957531744 140723957531744 140723957538761 0
/proc/1071792/statm: 49985 37783 1846 922 0 41937 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 199940 KiB
Current children cumulated memory: 151132 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.14 4.10 6/256 1071835
/proc/meminfo: memFree=124365188/131524600 swapFree=131071996/131071996
[pid=1071792] ppid=1071789 vsize=210872 memory=161956 CPUtime=221.54 cores=0,2
/proc/1071792/stat : 1071792 (roundingsat) R 1071789 1071792 1067942 0 -1 4194304 29060 0 0 0 21903 251 0 0 20 0 1 0 198289277 215932928 40489 134679101440 4194304 7968373 140723957527216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12517376 140723957531580 140723957531744 140723957531744 140723957538761 0
/proc/1071792/statm: 52718 40489 1846 922 0 44670 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 210872 KiB
Current children cumulated memory: 161956 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.13 4.09 6/256 1071847
/proc/meminfo: memFree=124344060/131524600 swapFree=131071996/131071996
[pid=1071792] ppid=1071789 vsize=214336 memory=175632 CPUtime=281.34 cores=0,2
/proc/1071792/stat : 1071792 (roundingsat) R 1071789 1071792 1067942 0 -1 4194304 29989 0 0 0 27817 317 0 0 20 0 1 0 198289277 219480064 43908 134679101440 4194304 7968373 140723957527216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12517376 140723957531580 140723957531744 140723957531744 140723957538761 0
/proc/1071792/statm: 53584 43908 1846 922 0 45536 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 214336 KiB
Current children cumulated memory: 175632 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.13 4.09 6/257 1071858
/proc/meminfo: memFree=124294532/131524600 swapFree=131071996/131071996
[pid=1071792] ppid=1071789 vsize=268728 memory=202540 CPUtime=341.13 cores=0,2
/proc/1071792/stat : 1071792 (roundingsat) R 1071789 1071792 1067942 0 -1 4194304 31620 0 0 0 33749 364 0 0 20 0 1 0 198289277 275177472 50635 134679101440 4194304 7968373 140723957527216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12517376 140723957531580 140723957531744 140723957531744 140723957538761 0
/proc/1071792/statm: 67182 50635 1846 922 0 59134 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 268728 KiB
Current children cumulated memory: 202540 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.12 4.09 6/255 1071868
/proc/meminfo: memFree=124274348/131524600 swapFree=131071996/131071996
[pid=1071792] ppid=1071789 vsize=272120 memory=212096 CPUtime=400.93 cores=0,2
/proc/1071792/stat : 1071792 (roundingsat) R 1071789 1071792 1067942 0 -1 4194304 32502 0 0 0 39691 402 0 0 20 0 1 0 198289277 278650880 53024 134679101440 4194304 7968373 140723957527216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12517376 140723957531580 140723957531744 140723957531744 140723957538761 0
/proc/1071792/statm: 68030 53024 1846 922 0 59982 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 272120 KiB
Current children cumulated memory: 212096 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.13 4.09 6/255 1071879
/proc/meminfo: memFree=124148240/131524600 swapFree=131071996/131071996
[pid=1071792] ppid=1071789 vsize=278076 memory=226416 CPUtime=460.74 cores=0,2
/proc/1071792/stat : 1071792 (roundingsat) R 1071789 1071792 1067942 0 -1 4194304 34090 0 0 0 45617 457 0 0 20 0 1 0 198289277 284749824 56604 134679101440 4194304 7968373 140723957527216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12517376 140723957531580 140723957531744 140723957531744 140723957538761 0
/proc/1071792/statm: 69519 56604 1846 922 0 61471 0
################
# More data... #
################
Current children cumulated memory: 844336 KiB
[startup+2862.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/255 1073398
/proc/meminfo: memFree=121672144/131524600 swapFree=131071996/131071996
[pid=1071792] ppid=1071789 vsize=959100 memory=844620 CPUtime=2853.08 cores=0,2
/proc/1071792/stat : 1071792 (roundingsat) R 1071789 1071792 1067942 0 -1 4194304 95274 0 0 0 284121 1187 0 0 20 0 1 0 198289277 982118400 211155 134679101440 4194304 7968373 140723957527216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12517376 140723957531580 140723957531744 140723957531744 140723957538761 0
/proc/1071792/statm: 239775 211155 1846 922 0 231727 0
Current children cumulated CPU time: 2853.08 s
Current children cumulated vsize: 959100 KiB
Current children cumulated memory: 844620 KiB
[startup+2922.3 s]
/proc/loadavg: 4.19 4.11 4.10 5/258 1073579
/proc/meminfo: memFree=121164932/131524600 swapFree=131071996/131071996
[pid=1071792] ppid=1071789 vsize=959100 memory=859052 CPUtime=2912.76 cores=0,2
/proc/1071792/stat : 1071792 (roundingsat) R 1071789 1071792 1067942 0 -1 4194304 95641 0 0 0 290065 1211 0 0 20 0 1 0 198289277 982118400 214763 134679101440 4194304 7968373 140723957527216 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 8652288 8659920 12517376 140723957531580 140723957531744 140723957531744 140723957538761 0
/proc/1071792/statm: 239775 214763 1846 922 0 231727 0
Current children cumulated CPU time: 2912.76 s
Current children cumulated vsize: 959100 KiB
Current children cumulated memory: 859052 KiB
[startup+2982.3 s]
/proc/loadavg: 4.24 4.13 4.10 5/258 1073589
/proc/meminfo: memFree=120989280/131524600 swapFree=131071996/131071996
[pid=1071792] ppid=1071789 vsize=964892 memory=863192 CPUtime=2972.22 cores=0,2
/proc/1071792/stat : 1071792 (roundingsat) R 1071789 1071792 1067942 0 -1 4194304 97040 0 0 0 295992 1230 0 0 20 0 1 0 198289277 988049408 215798 134679101440 4194304 7968373 140723957527216 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 8652288 8659920 12517376 140723957531580 140723957531744 140723957531744 140723957538761 0
/proc/1071792/statm: 241223 215798 1846 922 0 233175 0
Current children cumulated CPU time: 2972.22 s
Current children cumulated vsize: 964892 KiB
Current children cumulated memory: 863192 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/258 1073599
/proc/meminfo: memFree=120935532/131524600 swapFree=131071996/131071996
[pid=1071792] ppid=1071789 vsize=970876 memory=867452 CPUtime=3031.68 cores=0,2
/proc/1071792/stat : 1071792 (roundingsat) R 1071789 1071792 1067942 0 -1 4194304 98495 0 0 0 301922 1246 0 0 20 0 1 0 198289277 994177024 216863 134679101440 4194304 7968373 140723957527216 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 8652288 8659920 12517376 140723957531580 140723957531744 140723957531744 140723957538761 0
/proc/1071792/statm: 242719 216863 1846 922 0 234671 0
Current children cumulated CPU time: 3031.68 s
Current children cumulated vsize: 970876 KiB
Current children cumulated memory: 867452 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/259 1073668
/proc/meminfo: memFree=120286940/131524600 swapFree=131071996/131071996
[pid=1071792] ppid=1071789 vsize=976256 memory=871440 CPUtime=3091.14 cores=0,2
/proc/1071792/stat : 1071792 (roundingsat) R 1071789 1071792 1067942 0 -1 4194304 99888 0 0 0 307858 1256 0 0 20 0 1 0 198289277 999686144 217860 134679101440 4194304 7968373 140723957527216 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 8652288 8659920 12517376 140723957531580 140723957531744 140723957531744 140723957538761 0
/proc/1071792/statm: 244064 217860 1846 922 0 236016 0
Current children cumulated CPU time: 3091.14 s
Current children cumulated vsize: 976256 KiB
Current children cumulated memory: 871440 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/259 1073679
/proc/meminfo: memFree=119300828/131524600 swapFree=131071996/131071996
[pid=1071792] ppid=1071789 vsize=982428 memory=876324 CPUtime=3150.61 cores=0,2
/proc/1071792/stat : 1071792 (roundingsat) R 1071789 1071792 1067942 0 -1 4194304 101505 0 0 0 313789 1272 0 0 20 0 1 0 198289277 1006006272 219081 134679101440 4194304 7968373 140723957527216 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 8652288 8659920 12517376 140723957531580 140723957531744 140723957531744 140723957538761 0
/proc/1071792/statm: 245607 219081 1846 922 0 237559 0
Current children cumulated CPU time: 3150.61 s
Current children cumulated vsize: 982428 KiB
Current children cumulated memory: 876324 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/258 1073689
/proc/meminfo: memFree=118540064/131524600 swapFree=131071996/131071996
[pid=1071792] ppid=1071789 vsize=990344 memory=881920 CPUtime=3210.05 cores=0,2
/proc/1071792/stat : 1071792 (roundingsat) R 1071789 1071792 1067942 0 -1 4194304 103218 0 0 0 319721 1284 0 0 20 0 1 0 198289277 1014112256 220480 134679101440 4194304 7968373 140723957527216 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 8652288 8659920 12517376 140723957531580 140723957531744 140723957531744 140723957538761 0
/proc/1071792/statm: 247586 220480 1846 922 0 239538 0
Current children cumulated CPU time: 3210.05 s
Current children cumulated vsize: 990344 KiB
Current children cumulated memory: 881920 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/258 1073701
/proc/meminfo: memFree=117894236/131524600 swapFree=131071996/131071996
[pid=1071792] ppid=1071789 vsize=995868 memory=896556 CPUtime=3269.5 cores=0,2
/proc/1071792/stat : 1071792 (roundingsat) R 1071789 1071792 1067942 0 -1 4194304 104724 0 0 0 325654 1296 0 0 20 0 1 0 198289277 1019768832 224139 134679101440 4194304 7968373 140723957527216 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 8652288 8659920 12517376 140723957531580 140723957531744 140723957531744 140723957538761 0
/proc/1071792/statm: 248967 224139 1846 922 0 240919 0
Current children cumulated CPU time: 3269.5 s
Current children cumulated vsize: 995868 KiB
Current children cumulated memory: 896556 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/258 1073711
/proc/meminfo: memFree=117133152/131524600 swapFree=131071996/131071996
[pid=1071792] ppid=1071789 vsize=1000544 memory=920856 CPUtime=3329.02 cores=0,2
/proc/1071792/stat : 1071792 (roundingsat) R 1071789 1071792 1067942 0 -1 4194304 106082 0 0 0 331592 1310 0 0 20 0 1 0 198289277 1024557056 230214 134679101440 4194304 7968373 140723957527216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12517376 140723957531580 140723957531744 140723957531744 140723957538761 0
/proc/1071792/statm: 250136 230214 1846 922 0 242088 0
Current children cumulated CPU time: 3329.02 s
Current children cumulated vsize: 1000544 KiB
Current children cumulated memory: 920856 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/255 1073721
/proc/meminfo: memFree=117018216/131524600 swapFree=131071996/131071996
[pid=1071792] ppid=1071789 vsize=1004716 memory=946912 CPUtime=3388.83 cores=0,2
/proc/1071792/stat : 1071792 (roundingsat) R 1071789 1071792 1067942 0 -1 4194304 107402 0 0 0 337562 1321 0 0 20 0 1 0 198289277 1028829184 236728 134679101440 4194304 7968373 140723957527216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12517376 140723957531580 140723957531744 140723957531744 140723957538761 0
/proc/1071792/statm: 251179 236728 1846 922 0 243131 0
Current children cumulated CPU time: 3388.83 s
Current children cumulated vsize: 1004716 KiB
Current children cumulated memory: 946912 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/255 1073732
/proc/meminfo: memFree=116946540/131524600 swapFree=131071996/131071996
[pid=1071792] ppid=1071789 vsize=1013520 memory=971744 CPUtime=3448.63 cores=0,2
/proc/1071792/stat : 1071792 (roundingsat) R 1071789 1071792 1067942 0 -1 4194304 109471 0 0 0 343532 1331 0 0 20 0 1 0 198289277 1037844480 242936 134679101440 4194304 7968373 140723957527216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12517376 140723957531580 140723957531744 140723957531744 140723957538761 0
/proc/1071792/statm: 253380 242936 1846 922 0 245332 0
Current children cumulated CPU time: 3448.63 s
Current children cumulated vsize: 1013520 KiB
Current children cumulated memory: 971744 KiB
[startup+3522.3 s]
/proc/loadavg: 4.46 4.20 4.13 5/255 1073742
/proc/meminfo: memFree=116946292/131524600 swapFree=131071996/131071996
[pid=1071792] ppid=1071789 vsize=1369216 memory=991732 CPUtime=3508.42 cores=0,2
/proc/1071792/stat : 1071792 (roundingsat) R 1071789 1071792 1067942 0 -1 4194304 111720 0 0 0 349501 1341 0 0 20 0 1 0 198289277 1402077184 247933 134679101440 4194304 7968373 140723957527216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12517376 140723957531580 140723957531744 140723957531744 140723957538761 0
/proc/1071792/statm: 342304 247933 1846 922 0 334256 0
Current children cumulated CPU time: 3508.42 s
Current children cumulated vsize: 1369216 KiB
Current children cumulated memory: 991732 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.18 4.12 5/254 1073752
/proc/meminfo: memFree=116884756/131524600 swapFree=131071996/131071996
[pid=1071792] ppid=1071789 vsize=1375684 memory=1016428 CPUtime=3568.21 cores=0,2
/proc/1071792/stat : 1071792 (roundingsat) R 1071789 1071792 1067942 0 -1 4194304 112942 0 0 0 355469 1352 0 0 20 0 1 0 198289277 1408700416 254107 134679101440 4194304 7968373 140723957527216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12517376 140723957531580 140723957531744 140723957531744 140723957538761 0
/proc/1071792/statm: 343921 254107 1846 922 0 335873 0
Current children cumulated CPU time: 3568.21 s
Current children cumulated vsize: 1375684 KiB
Current children cumulated memory: 1016428 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3614.2 s]
/proc/loadavg: 4.21 4.18 4.12 5/254 1073757
/proc/meminfo: memFree=116869936/131524600 swapFree=131071996/131071996
[pid=1071792] ppid=1071789 vsize=1378212 memory=1028520 CPUtime=3600.01 cores=0,2
/proc/1071792/stat : 1071792 (roundingsat) R 1071789 1071792 1067942 0 -1 4194304 113591 0 0 0 358642 1359 0 0 20 0 1 0 198289277 1411289088 257130 134679101440 4194304 7968373 140723957527216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 12517376 140723957531580 140723957531744 140723957531744 140723957538761 0
/proc/1071792/statm: 344553 257130 1846 922 0 336505 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1378212 KiB
Current children cumulated memory: 1028520 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3614.23 s]
# the end of solver process 1071792 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.44 s, system=13.6051 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3614.23
CPU time (s): 3600.04
CPU user time (s): 3586.44
CPU system time (s): 13.6051
CPU usage (%): 99.6076
Max. virtual memory (cumulated for all children) (KiB): 1378212
Max. memory (cumulated for all children) (KiB): 1028520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.44
system time used= 13.6051
maximum resident set size= 1029024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113609
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119
involuntary context switches= 27949
# summary of solver processes directly reported to runsolver:
# pid: 1071792
# total CPU time (s): 3600.04
# total CPU user time (s): 3586.44
# total CPU system time (s): 13.6051
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.73965 second user time and 15.9664 second system time
The end
Begin job on nodeC033 at 2024-07-20 09:40:08 IDJOB=4455224 IDBENCH=148193 IDSOLVER=3084 FILE ID=nodeC033/4455224-1721461196 RUNJOBID= nodeC033-1721456537-1067952 SLURM_JOB_ID= 7545693 Free space on /tmp= 890064 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455224-1721461196/watcher-4455224-1721461196 -o /tmp/evaluation-result-4455224-1721461196/solver-4455224-1721461196 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721456537-1067952 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455224-1721461196.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a7d8f923a6cdb36d5c6f2d05cbd48ec7 RANDOM SEED=763962040 nodeC033.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 : 3660.021 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 : 6999.50 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 : 3687.469 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 : 7006.25 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 : 3642.865 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 : 6999.50 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 : 3599.913 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 : 7006.25 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 : 3681.036 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 : 6999.50 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 : 3687.520 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 : 7006.25 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 : 3633.334 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 : 6999.50 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 : 3599.895 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 : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 124534168 kB MemAvailable: 128881024 kB Buffers: 604928 kB Cached: 4534464 kB SwapCached: 0 kB Active: 1093444 kB Inactive: 5164680 kB Active(anon): 1580 kB Inactive(anon): 1163436 kB Active(file): 1091864 kB Inactive(file): 4001244 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 6196 kB Writeback: 0 kB AnonPages: 1114368 kB Mapped: 118348 kB Shmem: 45908 kB KReclaimable: 186792 kB Slab: 310528 kB SReclaimable: 186792 kB SUnreclaim: 123736 kB KernelStack: 4108 kB PageTables: 11248 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1562140 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 72672 kB HardwareCorrupted: 0 kB AnonHugePages: 907264 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: 273108 kB DirectMap2M: 28860416 kB DirectMap1G: 106954752 kB Free space on /tmp at the end= 889976 MiB End job on nodeC033 at 2024-07-20 10:40:22