| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | SAT (TO) | 21 | 3600.04 | 3610.43 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_6.opb |
| MD5SUM | 9def910af6a1ee27abcf25feff61a445 |
| 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 | 20 |
| Best CPU time to get the best result obtained on this benchmark | 71.6563 |
| 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 | 6027 |
| Total number of constraints | 21278 |
| Number of constraints which are clauses | 21267 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 10 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 650 |
| Number of terms in the objective function | 650 |
| 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 | 650 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 31 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 681 |
| 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 6027 #constraints 21278 20.57/20.78 c bounds - >= 0 @ 0.055137 20.57/20.78 c bounds 26 >= 0 @ 0.201313 20.57/20.78 c bounds 26 >= 5 @ 0.201552 20.57/20.78 c bounds 26 >= 6 @ 0.205963 20.57/20.78 c bounds 26 >= 7 @ 0.20683 20.57/20.78 c bounds 26 >= 8 @ 0.207785 20.57/20.78 c bounds 25 >= 8 @ 0.212975 20.57/20.78 c bounds 25 >= 9 @ 0.21531 20.57/20.78 c bounds 25 >= 10 @ 0.216428 20.57/20.78 c bounds 25 >= 11 @ 0.216925 20.57/20.78 c bounds 25 >= 12 @ 0.230938 20.57/20.78 c bounds 24 >= 12 @ 0.232464 20.57/20.78 c bounds 23 >= 12 @ 0.23354 20.57/20.78 c bounds 22 >= 12 @ 0.236025 20.57/20.78 c bounds 21 >= 12 @ 0.257975 20.57/20.78 c bounds 21 >= 13 @ 0.487072 20.57/20.78 c #Conflicts: 1000 | #Constraints: 22332 20.57/20.78 c #Conflicts: 2000 | #Constraints: 23332 20.57/20.78 c INPROCESSING 20.57/20.78 c GARBAGE COLLECT 20.57/20.78 c bounds 21 >= 14 @ 1.92202 20.57/20.78 c #Conflicts: 3000 | #Constraints: 23337 20.57/20.78 c #Conflicts: 4000 | #Constraints: 24337 20.57/20.78 c bounds 21 >= 15 @ 4.25367 20.57/20.78 c INPROCESSING 20.57/20.78 c GARBAGE COLLECT 20.57/20.78 c #Conflicts: 5000 | #Constraints: 23783 20.57/20.78 c #Conflicts: 6000 | #Constraints: 24783 20.57/20.78 c INPROCESSING 20.57/20.78 c GARBAGE COLLECT 20.57/20.78 c #Conflicts: 7000 | #Constraints: 23777 20.57/20.78 c #Conflicts: 8000 | #Constraints: 24777 20.57/20.78 c #Conflicts: 9000 | #Constraints: 25777 20.57/20.78 c INPROCESSING 20.57/20.78 c GARBAGE COLLECT 20.57/20.78 c #Conflicts: 10000 | #Constraints: 24530 20.57/20.78 c #Conflicts: 11000 | #Constraints: 25530 20.57/20.78 c #Conflicts: 12000 | #Constraints: 26530 20.57/20.78 c INPROCESSING 20.57/20.78 c GARBAGE COLLECT 20.57/20.78 c #Conflicts: 13000 | #Constraints: 24950 20.57/20.78 c #Conflicts: 14000 | #Constraints: 25950 20.57/20.78 c #Conflicts: 15000 | #Constraints: 26950 20.57/20.78 c INPROCESSING 20.57/20.78 c GARBAGE COLLECT 20.57/20.78 c rational objective 15 26.06/26.27 c bounds 21 >= 16 @ 21.0847 26.06/26.27 c #Conflicts: 16000 | #Constraints: 25194 26.06/26.27 c #Conflicts: 17000 | #Constraints: 26194 26.06/26.27 c #Conflicts: 18000 | #Constraints: 27194 26.06/26.27 c INPROCESSING 26.06/26.27 c GARBAGE COLLECT 26.06/26.27 c rational objective 16 31.05/31.20 c #Conflicts: 19000 | #Constraints: 25265 31.05/31.20 c #Conflicts: 20000 | #Constraints: 26265 31.05/31.20 c #Conflicts: 21000 | #Constraints: 27265 31.05/31.20 c INPROCESSING 31.05/31.20 c GARBAGE COLLECT 31.05/31.20 c rational objective 16 34.94/35.19 c #Conflicts: 22000 | #Constraints: 25032 34.94/35.19 c #Conflicts: 23000 | #Constraints: 26032 34.94/35.19 c #Conflicts: 24000 | #Constraints: 27032 34.94/35.19 c #Conflicts: 25000 | #Constraints: 28032 34.94/35.19 c INPROCESSING 34.94/35.19 c GARBAGE COLLECT 34.94/35.19 c rational objective 16 45.82/46.10 c #Conflicts: 26000 | #Constraints: 25630 45.82/46.10 c #Conflicts: 27000 | #Constraints: 26630 45.82/46.10 c #Conflicts: 28000 | #Constraints: 27630 45.82/46.10 c #Conflicts: 29000 | #Constraints: 28630 45.82/46.10 c INPROCESSING 45.82/46.10 c GARBAGE COLLECT 45.82/46.10 c rational objective 16 50.60/50.81 c #Conflicts: 30000 | #Constraints: 26112 50.60/50.81 c #Conflicts: 31000 | #Constraints: 27112 50.60/50.81 c #Conflicts: 32000 | #Constraints: 28112 50.60/50.81 c #Conflicts: 33000 | #Constraints: 29112 50.60/50.81 c INPROCESSING 50.60/50.81 c GARBAGE COLLECT 50.60/50.81 c rational objective 16 56.69/56.91 c #Conflicts: 34000 | #Constraints: 26269 56.69/56.91 c #Conflicts: 35000 | #Constraints: 27269 56.69/56.91 c #Conflicts: 36000 | #Constraints: 28269 56.69/56.91 c #Conflicts: 37000 | #Constraints: 29269 56.69/56.91 c INPROCESSING 56.69/56.91 c GARBAGE COLLECT 56.69/56.91 c rational objective 16 66.56/66.82 c #Conflicts: 38000 | #Constraints: 26330 66.56/66.82 c #Conflicts: 39000 | #Constraints: 27330 66.56/66.82 c #Conflicts: 40000 | #Constraints: 28330 66.56/66.82 c #Conflicts: 41000 | #Constraints: 29330 66.56/66.82 c INPROCESSING 66.56/66.82 c GARBAGE COLLECT 66.56/66.82 c rational objective 16 73.85/74.13 c #Conflicts: 42000 | #Constraints: 26159 73.85/74.13 c #Conflicts: 43000 | #Constraints: 27160 73.85/74.13 c #Conflicts: 44000 | #Constraints: 28163 73.85/74.13 c #Conflicts: 45000 | #Constraints: 29163 73.85/74.13 c #Conflicts: 46000 | #Constraints: 30163 73.85/74.13 c INPROCESSING 73.85/74.13 c GARBAGE COLLECT 73.85/74.13 c rational objective 16 85.72/86.05 c #Conflicts: 47000 | #Constraints: 26683 85.72/86.05 c #Conflicts: 48000 | #Constraints: 27683 85.72/86.05 c #Conflicts: 49000 | #Constraints: 28683 85.72/86.05 c #Conflicts: 50000 | #Constraints: 29683 85.72/86.05 c bounds 21 >= 17 @ 82.7819 85.72/86.05 c #Conflicts: 51000 | #Constraints: 30707 85.72/86.05 c INPROCESSING 85.72/86.05 c GARBAGE COLLECT 85.72/86.05 c rational objective 17 93.10/93.43 c #Conflicts: 52000 | #Constraints: 27098 93.10/93.43 c #Conflicts: 53000 | #Constraints: 28100 93.10/93.43 c #Conflicts: 54000 | #Constraints: 29100 93.10/93.43 c #Conflicts: 55000 | #Constraints: 30102 93.10/93.43 c #Conflicts: 56000 | #Constraints: 31103 93.10/93.43 c INPROCESSING 93.10/93.43 c GARBAGE COLLECT 93.10/93.43 c rational objective 17 98.98/99.32 c #Conflicts: 57000 | #Constraints: 27271 98.98/99.32 c #Conflicts: 58000 | #Constraints: 28272 98.98/99.32 c #Conflicts: 59000 | #Constraints: 29272 98.98/99.32 c #Conflicts: 60000 | #Constraints: 30273 98.98/99.32 c #Conflicts: 61000 | #Constraints: 31273 98.98/99.32 c INPROCESSING 98.98/99.32 c GARBAGE COLLECT 98.98/99.32 c rational objective 17 114.64/115.02 c #Conflicts: 62000 | #Constraints: 27263 114.64/115.02 c #Conflicts: 63000 | #Constraints: 28263 114.64/115.02 c #Conflicts: 64000 | #Constraints: 29263 114.64/115.02 c #Conflicts: 65000 | #Constraints: 30263 114.64/115.02 c #Conflicts: 66000 | #Constraints: 31263 114.64/115.02 c INPROCESSING 114.64/115.02 c GARBAGE COLLECT 114.64/115.02 c rational objective 17 122.83/123.24 c #Conflicts: 67000 | #Constraints: 27205 122.83/123.24 c #Conflicts: 68000 | #Constraints: 28205 122.83/123.24 c #Conflicts: 69000 | #Constraints: 29205 122.83/123.24 c #Conflicts: 70000 | #Constraints: 30205 122.83/123.24 c #Conflicts: 71000 | #Constraints: 31205 122.83/123.24 c #Conflicts: 72000 | #Constraints: 32205 122.83/123.24 c INPROCESSING 122.83/123.24 c GARBAGE COLLECT 122.83/123.24 c rational objective 17 131.99/132.40 c #Conflicts: 73000 | #Constraints: 27742 131.99/132.40 c #Conflicts: 74000 | #Constraints: 28742 131.99/132.40 c #Conflicts: 75000 | #Constraints: 29742 131.99/132.40 c #Conflicts: 76000 | #Constraints: 30742 131.99/132.40 c #Conflicts: 77000 | #Constraints: 31742 131.99/132.40 c #Conflicts: 78000 | #Constraints: 32742 131.99/132.40 c INPROCESSING 131.99/132.40 c GARBAGE COLLECT 131.99/132.40 c rational objective 17 152.55/153.03 c #Conflicts: 79000 | #Constraints: 28129 152.55/153.03 c #Conflicts: 80000 | #Constraints: 29129 152.55/153.03 c #Conflicts: 81000 | #Constraints: 30129 152.55/153.03 c #Conflicts: 82000 | #Constraints: 31129 152.55/153.03 c #Conflicts: 83000 | #Constraints: 32129 152.55/153.03 c #Conflicts: 84000 | #Constraints: 33129 152.55/153.03 c INPROCESSING 152.55/153.03 c GARBAGE COLLECT 152.55/153.03 c rational objective 17 164.62/165.16 c #Conflicts: 85000 | #Constraints: 28450 164.62/165.16 c #Conflicts: 86000 | #Constraints: 29450 164.62/165.16 c #Conflicts: 87000 | #Constraints: 30450 164.62/165.16 c #Conflicts: 88000 | #Constraints: 31450 164.62/165.16 c #Conflicts: 89000 | #Constraints: 32450 164.62/165.16 c #Conflicts: 90000 | #Constraints: 33450 164.62/165.16 c INPROCESSING 164.62/165.16 c GARBAGE COLLECT 164.62/165.16 c rational objective 17 186.36/186.97 c #Conflicts: 91000 | #Constraints: 28405 186.36/186.97 c #Conflicts: 92000 | #Constraints: 29405 186.36/186.97 c #Conflicts: 93000 | #Constraints: 30405 186.36/186.97 c #Conflicts: 94000 | #Constraints: 31405 186.36/186.97 c #Conflicts: 95000 | #Constraints: 32405 186.36/186.97 c #Conflicts: 96000 | #Constraints: 33405 186.36/186.97 c INPROCESSING 186.36/186.97 c GARBAGE COLLECT 186.36/186.97 c rational objective 17 202.02/202.62 c #Conflicts: 97000 | #Constraints: 28274 202.02/202.62 c #Conflicts: 98000 | #Constraints: 29275 202.02/202.62 c #Conflicts: 99000 | #Constraints: 30277 202.02/202.62 c #Conflicts: 100000 | #Constraints: 31277 202.02/202.62 c #Conflicts: 101000 | #Constraints: 32277 202.02/202.62 c #Conflicts: 102000 | #Constraints: 33277 202.02/202.62 c #Conflicts: 103000 | #Constraints: 34277 202.02/202.62 c INPROCESSING 202.02/202.62 c GARBAGE COLLECT 202.02/202.62 c rational objective 17 226.96/227.68 c #Conflicts: 104000 | #Constraints: 28757 226.96/227.68 c #Conflicts: 105000 | #Constraints: 29757 226.96/227.68 c #Conflicts: 106000 | #Constraints: 30757 226.96/227.68 c #Conflicts: 107000 | #Constraints: 31757 226.96/227.68 c #Conflicts: 108000 | #Constraints: 32757 226.96/227.68 c #Conflicts: 109000 | #Constraints: 33757 226.96/227.68 c #Conflicts: 110000 | #Constraints: 34757 226.96/227.68 c INPROCESSING 226.96/227.68 c GARBAGE COLLECT 226.96/227.68 c rational objective 17 346.85/347.80 c #Conflicts: 111000 | #Constraints: 29277 346.85/347.80 c #Conflicts: 112000 | #Constraints: 30277 346.85/347.80 c #Conflicts: 113000 | #Constraints: 31277 346.85/347.80 c #Conflicts: 114000 | #Constraints: 32277 346.85/347.80 c #Conflicts: 115000 | #Constraints: 33277 346.85/347.80 c #Conflicts: 116000 | #Constraints: 34277 346.85/347.80 c #Conflicts: 117000 | #Constraints: 35277 346.85/347.80 c #Conflicts: 118000 | #Constraints: 36277 346.85/347.80 c #Conflicts: 119000 | #Constraints: 37277 346.85/347.80 c #Conflicts: 120000 | #Constraints: 38277 346.85/347.80 c #Conflicts: 121000 | #Constraints: 39277 346.85/347.80 c #Conflicts: 122000 | #Constraints: 40277 346.85/347.80 c #Conflicts: 123000 | #Constraints: 41277 346.85/347.80 c #Conflicts: 124000 | #Constraints: 42277 346.85/347.80 c #Conflicts: 125000 | #Constraints: 43277 346.85/347.80 c #Conflicts: 126000 | #Constraints: 44277 346.85/347.80 c #Conflicts: 127000 | #Constraints: 45277 346.85/347.80 c #Conflicts: 128000 | #Constraints: 46277 346.85/347.80 c #Conflicts: 129000 | #Constraints: 47277 346.85/347.80 c #Conflicts: 130000 | #Constraints: 48277 346.85/347.80 c #Conflicts: 131000 | #Constraints: 49277 346.85/347.80 c #Conflicts: 132000 | #Constraints: 50277 346.85/347.80 c #Conflicts: 133000 | #Constraints: 51277 346.85/347.80 c #Conflicts: 134000 | #Constraints: 52277 346.85/347.80 c #Conflicts: 135000 | #Constraints: 53277 346.85/347.80 c #Conflicts: 136000 | #Constraints: 54277 346.85/347.80 c #Conflicts: 137000 | #Constraints: 55277 346.85/347.80 c #Conflicts: 138000 | #Constraints: 56277 346.85/347.80 c #Conflicts: 139000 | #Constraints: 57277 346.85/347.80 c #Conflicts: 140000 | #Constraints: 58277 346.85/347.80 c INPROCESSING 346.85/347.80 c GARBAGE COLLECT 346.85/347.80 c rational objective 17 407.01/408.16 c #Conflicts: 141000 | #Constraints: 40714 407.01/408.16 c #Conflicts: 142000 | #Constraints: 41714 407.01/408.16 c #Conflicts: 143000 | #Constraints: 42714 407.01/408.16 c #Conflicts: 144000 | #Constraints: 43714 407.01/408.16 c #Conflicts: 145000 | #Constraints: 44714 407.01/408.16 c #Conflicts: 146000 | #Constraints: 45714 407.01/408.16 c #Conflicts: 147000 | #Constraints: 46714 407.01/408.16 c #Conflicts: 148000 | #Constraints: 47714 407.01/408.16 c INPROCESSING 407.01/408.16 c GARBAGE COLLECT 407.01/408.16 c rational objective 17 452.38/453.65 c #Conflicts: 149000 | #Constraints: 35553 452.38/453.65 c #Conflicts: 150000 | #Constraints: 36553 452.38/453.65 c #Conflicts: 151000 | #Constraints: 37553 452.38/453.65 c #Conflicts: 152000 | #Constraints: 38553 452.38/453.65 c #Conflicts: 153000 | #Constraints: 39553 452.38/453.65 c #Conflicts: 154000 | #Constraints: 40553 452.38/453.65 c #Conflicts: 155000 | #Constraints: 41553 452.38/453.65 c #Conflicts: 156000 | #Constraints: 42553 452.38/453.65 c INPROCESSING 452.38/453.65 c GARBAGE COLLECT 452.38/453.65 c rational objective 17 503.55/505.00 c #Conflicts: 157000 | #Constraints: 32791 503.55/505.00 c #Conflicts: 158000 | #Constraints: 33791 503.55/505.00 c #Conflicts: 159000 | #Constraints: 34791 503.55/505.00 c #Conflicts: 160000 | #Constraints: 35791 503.55/505.00 c #Conflicts: 161000 | #Constraints: 36791 503.55/505.00 c #Conflicts: 162000 | #Constraints: 37791 503.55/505.00 c #Conflicts: 163000 | #Constraints: 38791 503.55/505.00 c #Conflicts: 164000 | #Constraints: 39791 503.55/505.00 c #Conflicts: 165000 | #Constraints: 40791 503.55/505.00 c INPROCESSING 503.55/505.00 c GARBAGE COLLECT 503.55/505.00 c rational objective 17 546.84/548.38 c #Conflicts: 166000 | #Constraints: 32195 546.84/548.38 c #Conflicts: 167000 | #Constraints: 33195 546.84/548.38 c #Conflicts: 168000 | #Constraints: 34195 546.84/548.38 c #Conflicts: 169000 | #Constraints: 35195 546.84/548.38 c #Conflicts: 170000 | #Constraints: 36195 546.84/548.38 c #Conflicts: 171000 | #Constraints: 37195 546.84/548.38 c #Conflicts: 172000 | #Constraints: 38195 546.84/548.38 c #Conflicts: 173000 | #Constraints: 39195 546.84/548.38 c #Conflicts: 174000 | #Constraints: 40195 546.84/548.38 c INPROCESSING 546.84/548.38 c GARBAGE COLLECT 546.84/548.38 c rational objective 17 748.42/750.41 c #Conflicts: 175000 | #Constraints: 32047 748.42/750.41 c #Conflicts: 176000 | #Constraints: 33047 748.42/750.41 c #Conflicts: 177000 | #Constraints: 34047 748.42/750.41 c #Conflicts: 178000 | #Constraints: 35047 748.42/750.41 c #Conflicts: 179000 | #Constraints: 36047 748.42/750.41 c #Conflicts: 180000 | #Constraints: 37047 748.42/750.41 c #Conflicts: 181000 | #Constraints: 38047 748.42/750.41 c #Conflicts: 182000 | #Constraints: 39047 748.42/750.41 c #Conflicts: 183000 | #Constraints: 40047 748.42/750.41 c #Conflicts: 184000 | #Constraints: 41047 748.42/750.41 c #Conflicts: 185000 | #Constraints: 42047 748.42/750.41 c #Conflicts: 186000 | #Constraints: 43047 748.42/750.41 c #Conflicts: 187000 | #Constraints: 44047 748.42/750.41 c #Conflicts: 188000 | #Constraints: 45047 748.42/750.41 c #Conflicts: 189000 | #Constraints: 46047 748.42/750.41 c #Conflicts: 190000 | #Constraints: 47047 748.42/750.41 c #Conflicts: 191000 | #Constraints: 48047 748.42/750.41 c #Conflicts: 192000 | #Constraints: 49047 748.42/750.41 c #Conflicts: 193000 | #Constraints: 50047 748.42/750.41 c #Conflicts: 194000 | #Constraints: 51047 748.42/750.41 c #Conflicts: 195000 | #Constraints: 52047 748.42/750.41 c #Conflicts: 196000 | #Constraints: 53047 748.42/750.41 c #Conflicts: 197000 | #Constraints: 54047 748.42/750.41 c #Conflicts: 198000 | #Constraints: 55047 748.42/750.41 c #Conflicts: 199000 | #Constraints: 56047 748.42/750.41 c #Conflicts: 200000 | #Constraints: 57047 748.42/750.41 c #Conflicts: 201000 | #Constraints: 58047 748.42/750.41 c #Conflicts: 202000 | #Constraints: 59047 748.42/750.41 c #Conflicts: 203000 | #Constraints: 60047 748.42/750.41 c #Conflicts: 204000 | #Constraints: 61047 748.42/750.41 c #Conflicts: 205000 | #Constraints: 62047 748.42/750.41 c #Conflicts: 206000 | #Constraints: 63047 748.42/750.41 c #Conflicts: 207000 | #Constraints: 64047 748.42/750.41 c #Conflicts: 208000 | #Constraints: 65047 748.42/750.41 c #Conflicts: 209000 | #Constraints: 66047 748.42/750.41 c #Conflicts: 210000 | #Constraints: 67047 748.42/750.41 c INPROCESSING 748.42/750.41 c GARBAGE COLLECT 748.42/750.41 c rational objective 17 861.85/864.13 c #Conflicts: 211000 | #Constraints: 44998 861.85/864.13 c #Conflicts: 212000 | #Constraints: 45998 861.85/864.13 c #Conflicts: 213000 | #Constraints: 46998 861.85/864.13 c #Conflicts: 214000 | #Constraints: 47998 861.85/864.13 c #Conflicts: 215000 | #Constraints: 48998 861.85/864.13 c #Conflicts: 216000 | #Constraints: 49998 861.85/864.13 c #Conflicts: 217000 | #Constraints: 50998 861.85/864.13 c #Conflicts: 218000 | #Constraints: 51998 861.85/864.13 c #Conflicts: 219000 | #Constraints: 52998 861.85/864.13 c #Conflicts: 220000 | #Constraints: 53998 861.85/864.13 c INPROCESSING 861.85/864.13 c GARBAGE COLLECT 861.85/864.13 c rational objective 17 942.04/944.59 c #Conflicts: 221000 | #Constraints: 38613 942.04/944.59 c #Conflicts: 222000 | #Constraints: 39613 942.04/944.59 c #Conflicts: 223000 | #Constraints: 40613 942.04/944.59 c #Conflicts: 224000 | #Constraints: 41613 942.04/944.59 c #Conflicts: 225000 | #Constraints: 42613 942.04/944.59 c #Conflicts: 226000 | #Constraints: 43613 942.04/944.59 c #Conflicts: 227000 | #Constraints: 44613 942.04/944.59 c #Conflicts: 228000 | #Constraints: 45613 942.04/944.59 c #Conflicts: 229000 | #Constraints: 46613 942.04/944.59 c #Conflicts: 230000 | #Constraints: 47613 942.04/944.59 c #Conflicts: 231000 | #Constraints: 48613 942.04/944.59 c INPROCESSING 942.04/944.59 c GARBAGE COLLECT 942.04/944.59 c rational objective 17 1035.49/1038.23 c #Conflicts: 232000 | #Constraints: 36258 1035.49/1038.23 c #Conflicts: 233000 | #Constraints: 37258 1035.49/1038.23 c #Conflicts: 234000 | #Constraints: 38258 1035.49/1038.23 c #Conflicts: 235000 | #Constraints: 39258 1035.49/1038.23 c #Conflicts: 236000 | #Constraints: 40258 1035.49/1038.23 c #Conflicts: 237000 | #Constraints: 41258 1035.49/1038.23 c #Conflicts: 238000 | #Constraints: 42258 1035.49/1038.23 c #Conflicts: 239000 | #Constraints: 43258 1035.49/1038.23 c #Conflicts: 240000 | #Constraints: 44258 1035.49/1038.23 c #Conflicts: 241000 | #Constraints: 45258 1035.49/1038.23 c INPROCESSING 1035.49/1038.23 c GARBAGE COLLECT 1035.49/1038.23 c rational objective 17 1479.10/1483.12 c #Conflicts: 242000 | #Constraints: 34414 1479.10/1483.12 c #Conflicts: 243000 | #Constraints: 35414 1479.10/1483.12 c #Conflicts: 244000 | #Constraints: 36414 1479.10/1483.12 c #Conflicts: 245000 | #Constraints: 37414 1479.10/1483.12 c #Conflicts: 246000 | #Constraints: 38414 1479.10/1483.12 c #Conflicts: 247000 | #Constraints: 39414 1479.10/1483.12 c #Conflicts: 248000 | #Constraints: 40414 1479.10/1483.12 c #Conflicts: 249000 | #Constraints: 41414 1479.10/1483.12 c #Conflicts: 250000 | #Constraints: 42414 1479.10/1483.12 c #Conflicts: 251000 | #Constraints: 43414 1479.10/1483.12 c #Conflicts: 252000 | #Constraints: 44414 1479.10/1483.12 c #Conflicts: 253000 | #Constraints: 45414 1479.10/1483.12 c bounds 21 >= 18 @ 1131.73 1479.10/1483.12 c #Conflicts: 254000 | #Constraints: 46444 1479.10/1483.12 c #Conflicts: 255000 | #Constraints: 47444 1479.10/1483.12 c #Conflicts: 256000 | #Constraints: 48444 1479.10/1483.12 c #Conflicts: 257000 | #Constraints: 49444 1479.10/1483.12 c #Conflicts: 258000 | #Constraints: 50444 1479.10/1483.12 c #Conflicts: 259000 | #Constraints: 51444 1479.10/1483.12 c #Conflicts: 260000 | #Constraints: 52444 1479.10/1483.12 c #Conflicts: 261000 | #Constraints: 53444 1479.10/1483.12 c #Conflicts: 262000 | #Constraints: 54444 1479.10/1483.12 c #Conflicts: 263000 | #Constraints: 55444 1479.10/1483.12 c #Conflicts: 264000 | #Constraints: 56444 1479.10/1483.12 c #Conflicts: 265000 | #Constraints: 57444 1479.10/1483.12 c #Conflicts: 266000 | #Constraints: 58444 1479.10/1483.12 c #Conflicts: 267000 | #Constraints: 59444 1479.10/1483.12 c #Conflicts: 268000 | #Constraints: 60444 1479.10/1483.12 c #Conflicts: 269000 | #Constraints: 61444 1479.10/1483.12 c #Conflicts: 270000 | #Constraints: 62444 1479.10/1483.12 c #Conflicts: 271000 | #Constraints: 63444 1479.10/1483.12 c #Conflicts: 272000 | #Constraints: 64444 1479.10/1483.12 c #Conflicts: 273000 | #Constraints: 65444 1479.10/1483.12 c #Conflicts: 274000 | #Constraints: 66444 1479.10/1483.12 c #Conflicts: 275000 | #Constraints: 67444 1479.10/1483.12 c #Conflicts: 276000 | #Constraints: 68444 1479.10/1483.12 c #Conflicts: 277000 | #Constraints: 69444 1479.10/1483.12 c #Conflicts: 278000 | #Constraints: 70445 1479.10/1483.12 c #Conflicts: 279000 | #Constraints: 71445 1479.10/1483.12 c #Conflicts: 280000 | #Constraints: 72445 1479.10/1483.12 c #Conflicts: 281000 | #Constraints: 73445 1479.10/1483.12 c #Conflicts: 282000 | #Constraints: 74445 1479.10/1483.12 c #Conflicts: 283000 | #Constraints: 75445 1479.10/1483.12 c INPROCESSING 1479.10/1483.12 c GARBAGE COLLECT 1479.10/1483.12 c rational objective 18 1625.93/1630.33 c #Conflicts: 284000 | #Constraints: 49396 1625.93/1630.33 c #Conflicts: 285000 | #Constraints: 50396 1625.93/1630.33 c #Conflicts: 286000 | #Constraints: 51396 1625.93/1630.33 c #Conflicts: 287000 | #Constraints: 52396 1625.93/1630.33 c #Conflicts: 288000 | #Constraints: 53396 1625.93/1630.33 c #Conflicts: 289000 | #Constraints: 54396 1625.93/1630.33 c #Conflicts: 290000 | #Constraints: 55396 1625.93/1630.33 c #Conflicts: 291000 | #Constraints: 56396 1625.93/1630.33 c #Conflicts: 292000 | #Constraints: 57396 1625.93/1630.33 c #Conflicts: 293000 | #Constraints: 58396 1625.93/1630.33 c #Conflicts: 294000 | #Constraints: 59396 1625.93/1630.33 c #Conflicts: 295000 | #Constraints: 60396 1625.93/1630.33 c INPROCESSING 1625.93/1630.33 c GARBAGE COLLECT 1625.93/1630.33 c rational objective 18 1737.54/1742.23 c #Conflicts: 296000 | #Constraints: 42132 1737.54/1742.23 c #Conflicts: 297000 | #Constraints: 43132 1737.54/1742.23 c #Conflicts: 298000 | #Constraints: 44132 1737.54/1742.23 c #Conflicts: 299000 | #Constraints: 45132 1737.54/1742.23 c #Conflicts: 300000 | #Constraints: 46132 1737.54/1742.23 c #Conflicts: 301000 | #Constraints: 47132 1737.54/1742.23 c #Conflicts: 302000 | #Constraints: 48132 1737.54/1742.23 c #Conflicts: 303000 | #Constraints: 49132 1737.54/1742.23 c #Conflicts: 304000 | #Constraints: 50132 1737.54/1742.23 c #Conflicts: 305000 | #Constraints: 51132 1737.54/1742.23 c #Conflicts: 306000 | #Constraints: 52132 1737.54/1742.23 c #Conflicts: 307000 | #Constraints: 53132 1737.54/1742.23 c INPROCESSING 1737.54/1742.23 c GARBAGE COLLECT 1737.54/1742.23 c rational objective 18 1830.81/1835.74 c #Conflicts: 308000 | #Constraints: 38562 1830.81/1835.74 c #Conflicts: 309000 | #Constraints: 39562 1830.81/1835.74 c #Conflicts: 310000 | #Constraints: 40562 1830.81/1835.74 c #Conflicts: 311000 | #Constraints: 41562 1830.81/1835.74 c #Conflicts: 312000 | #Constraints: 42562 1830.81/1835.74 c #Conflicts: 313000 | #Constraints: 43562 1830.81/1835.74 c #Conflicts: 314000 | #Constraints: 44562 1830.81/1835.74 c #Conflicts: 315000 | #Constraints: 45562 1830.81/1835.74 c #Conflicts: 316000 | #Constraints: 46562 1830.81/1835.74 c #Conflicts: 317000 | #Constraints: 47562 1830.81/1835.74 c #Conflicts: 318000 | #Constraints: 48562 1830.81/1835.74 c #Conflicts: 319000 | #Constraints: 49562 1830.81/1835.74 c INPROCESSING 1830.81/1835.74 c GARBAGE COLLECT 1830.81/1835.74 c rational objective 18 2566.65/2573.84 c #Conflicts: 320000 | #Constraints: 36841 2566.65/2573.84 c #Conflicts: 321000 | #Constraints: 37841 2566.65/2573.84 c #Conflicts: 322000 | #Constraints: 38841 2566.65/2573.84 c #Conflicts: 323000 | #Constraints: 39841 2566.65/2573.84 c #Conflicts: 324000 | #Constraints: 40841 2566.65/2573.84 c #Conflicts: 325000 | #Constraints: 41841 2566.65/2573.84 c #Conflicts: 326000 | #Constraints: 42841 2566.65/2573.84 c #Conflicts: 327000 | #Constraints: 43841 2566.65/2573.84 c #Conflicts: 328000 | #Constraints: 44841 2566.65/2573.84 c #Conflicts: 329000 | #Constraints: 45841 2566.65/2573.84 c #Conflicts: 330000 | #Constraints: 46841 2566.65/2573.84 c #Conflicts: 331000 | #Constraints: 47841 2566.65/2573.84 c #Conflicts: 332000 | #Constraints: 48841 2566.65/2573.84 c #Conflicts: 333000 | #Constraints: 49841 2566.65/2573.84 c #Conflicts: 334000 | #Constraints: 50841 2566.65/2573.84 c #Conflicts: 335000 | #Constraints: 51841 2566.65/2573.84 c #Conflicts: 336000 | #Constraints: 52841 2566.65/2573.84 c #Conflicts: 337000 | #Constraints: 53841 2566.65/2573.84 c #Conflicts: 338000 | #Constraints: 54841 2566.65/2573.84 c #Conflicts: 339000 | #Constraints: 55841 2566.65/2573.84 c #Conflicts: 340000 | #Constraints: 56841 2566.65/2573.84 c #Conflicts: 341000 | #Constraints: 57841 2566.65/2573.84 c #Conflicts: 342000 | #Constraints: 58841 2566.65/2573.84 c #Conflicts: 343000 | #Constraints: 59841 2566.65/2573.84 c #Conflicts: 344000 | #Constraints: 60841 2566.65/2573.84 c #Conflicts: 345000 | #Constraints: 61841 2566.65/2573.84 c #Conflicts: 346000 | #Constraints: 62841 2566.65/2573.84 c #Conflicts: 347000 | #Constraints: 63841 2566.65/2573.84 c #Conflicts: 348000 | #Constraints: 64841 2566.65/2573.84 c #Conflicts: 349000 | #Constraints: 65841 2566.65/2573.84 c #Conflicts: 350000 | #Constraints: 66841 2566.65/2573.84 c #Conflicts: 351000 | #Constraints: 67841 2566.65/2573.84 c #Conflicts: 352000 | #Constraints: 68841 2566.65/2573.84 c #Conflicts: 353000 | #Constraints: 69841 2566.65/2573.84 c #Conflicts: 354000 | #Constraints: 70841 2566.65/2573.84 c #Conflicts: 355000 | #Constraints: 71841 2566.65/2573.84 c #Conflicts: 356000 | #Constraints: 72841 2566.65/2573.84 c #Conflicts: 357000 | #Constraints: 73841 2566.65/2573.84 c #Conflicts: 358000 | #Constraints: 74841 2566.65/2573.84 c #Conflicts: 359000 | #Constraints: 75841 2566.65/2573.84 c #Conflicts: 360000 | #Constraints: 76841 2566.65/2573.84 c #Conflicts: 361000 | #Constraints: 77841 2566.65/2573.84 c #Conflicts: 362000 | #Constraints: 78841 2566.65/2573.84 c #Conflicts: 363000 | #Constraints: 79841 2566.65/2573.84 c #Conflicts: 364000 | #Constraints: 80841 2566.65/2573.84 c #Conflicts: 365000 | #Constraints: 81841 2566.65/2573.84 c #Conflicts: 366000 | #Constraints: 82841 2566.65/2573.84 c INPROCESSING 2566.65/2573.84 c GARBAGE COLLECT 2566.65/2573.84 c rational objective 18 2649.89/2657.31 c #Conflicts: 367000 | #Constraints: 53281 2649.89/2657.31 c #Conflicts: 368000 | #Constraints: 54281 2649.89/2657.31 c #Conflicts: 369000 | #Constraints: 55281 2649.89/2657.31 c #Conflicts: 370000 | #Constraints: 56281 2649.89/2657.31 c #Conflicts: 371000 | #Constraints: 57281 2649.89/2657.31 c #Conflicts: 372000 | #Constraints: 58281 2649.89/2657.31 c #Conflicts: 373000 | #Constraints: 59281 2649.89/2657.31 c #Conflicts: 374000 | #Constraints: 60281 2649.89/2657.31 c #Conflicts: 375000 | #Constraints: 61281 2649.89/2657.31 c #Conflicts: 376000 | #Constraints: 62281 2649.89/2657.31 c #Conflicts: 377000 | #Constraints: 63281 2649.89/2657.31 c #Conflicts: 378000 | #Constraints: 64281 2649.89/2657.31 c #Conflicts: 379000 | #Constraints: 65281 2649.89/2657.31 c #Conflicts: 380000 | #Constraints: 66281 2649.89/2657.31 c INPROCESSING 2649.89/2657.31 c GARBAGE COLLECT 2649.89/2657.31 c rational objective 18 2723.06/2730.70 c #Conflicts: 381000 | #Constraints: 45060 2723.06/2730.70 c #Conflicts: 382000 | #Constraints: 46060 2723.06/2730.70 c #Conflicts: 383000 | #Constraints: 47060 2723.06/2730.70 c #Conflicts: 384000 | #Constraints: 48060 2723.06/2730.70 c #Conflicts: 385000 | #Constraints: 49060 2723.06/2730.70 c #Conflicts: 386000 | #Constraints: 50060 2723.06/2730.70 c #Conflicts: 387000 | #Constraints: 51060 2723.06/2730.70 c #Conflicts: 388000 | #Constraints: 52060 2723.06/2730.70 c #Conflicts: 389000 | #Constraints: 53060 2723.06/2730.70 c #Conflicts: 390000 | #Constraints: 54060 2723.06/2730.70 c #Conflicts: 391000 | #Constraints: 55060 2723.06/2730.70 c #Conflicts: 392000 | #Constraints: 56060 2723.06/2730.70 c #Conflicts: 393000 | #Constraints: 57060 2723.06/2730.70 c INPROCESSING 2723.06/2730.70 c GARBAGE COLLECT 2723.06/2730.70 c rational objective 18 3335.44/3345.04 c #Conflicts: 394000 | #Constraints: 40183 3335.44/3345.04 c #Conflicts: 395000 | #Constraints: 41183 3335.44/3345.04 c #Conflicts: 396000 | #Constraints: 42183 3335.44/3345.04 c #Conflicts: 397000 | #Constraints: 43183 3335.44/3345.04 c #Conflicts: 398000 | #Constraints: 44183 3335.44/3345.04 c #Conflicts: 399000 | #Constraints: 45183 3335.44/3345.04 c #Conflicts: 400000 | #Constraints: 46183 3335.44/3345.04 c #Conflicts: 401000 | #Constraints: 47183 3335.44/3345.04 c #Conflicts: 402000 | #Constraints: 48183 3335.44/3345.04 c #Conflicts: 403000 | #Constraints: 49183 3335.44/3345.04 c #Conflicts: 404000 | #Constraints: 50183 3335.44/3345.04 c #Conflicts: 405000 | #Constraints: 51183 3335.44/3345.04 c #Conflicts: 406000 | #Constraints: 52183 3335.44/3345.04 c #Conflicts: 407000 | #Constraints: 53183 3335.44/3345.04 c #Conflicts: 408000 | #Constraints: 54183 3335.44/3345.04 c #Conflicts: 409000 | #Constraints: 55183 3335.44/3345.04 c #Conflicts: 410000 | #Constraints: 56183 3335.44/3345.04 c #Conflicts: 411000 | #Constraints: 57183 3335.44/3345.04 c #Conflicts: 412000 | #Constraints: 58183 3335.44/3345.04 c #Conflicts: 413000 | #Constraints: 59183 3335.44/3345.04 c #Conflicts: 414000 | #Constraints: 60183 3335.44/3345.04 c #Conflicts: 415000 | #Constraints: 61183 3335.44/3345.04 c #Conflicts: 416000 | #Constraints: 62183 3335.44/3345.04 c #Conflicts: 417000 | #Constraints: 63184 3335.44/3345.04 c #Conflicts: 418000 | #Constraints: 64184 3335.44/3345.04 c #Conflicts: 419000 | #Constraints: 65184 3335.44/3345.04 c #Conflicts: 420000 | #Constraints: 66184 3335.44/3345.04 c #Conflicts: 421000 | #Constraints: 67184 3335.44/3345.04 c #Conflicts: 422000 | #Constraints: 68184 3335.44/3345.04 c #Conflicts: 423000 | #Constraints: 69184 3335.44/3345.04 c #Conflicts: 424000 | #Constraints: 70184 3335.44/3345.04 c #Conflicts: 425000 | #Constraints: 71184 3335.44/3345.04 c #Conflicts: 426000 | #Constraints: 72184 3335.44/3345.04 c #Conflicts: 427000 | #Constraints: 73184 3335.44/3345.04 c #Conflicts: 428000 | #Constraints: 74184 3335.44/3345.04 c #Conflicts: 429000 | #Constraints: 75184 3335.44/3345.04 c #Conflicts: 430000 | #Constraints: 76184 3335.44/3345.04 c #Conflicts: 431000 | #Constraints: 77184 3335.44/3345.04 c #Conflicts: 432000 | #Constraints: 78184 3335.44/3345.04 c #Conflicts: 433000 | #Constraints: 79184 3335.44/3345.04 c #Conflicts: 434000 | #Constraints: 80184 3335.44/3345.04 c #Conflicts: 435000 | #Constraints: 81184 3335.44/3345.04 c #Conflicts: 436000 | #Constraints: 82184 3335.44/3345.04 c #Conflicts: 437000 | #Constraints: 83184 3335.44/3345.04 c #Conflicts: 438000 | #Constraints: 84185 3335.44/3345.04 c #Conflicts: 439000 | #Constraints: 85185 3335.44/3345.04 c #Conflicts: 440000 | #Constraints: 86185 3335.44/3345.04 c #Conflicts: 441000 | #Constraints: 87185 3335.44/3345.04 c #Conflicts: 442000 | #Constraints: 88185 3335.44/3345.04 c #Conflicts: 443000 | #Constraints: 89185 3335.44/3345.04 c #Conflicts: 444000 | #Constraints: 90185 3335.44/3345.04 c #Conflicts: 445000 | #Constraints: 91185 3335.44/3345.04 c INPROCESSING 3335.44/3345.04 c GARBAGE COLLECT 3335.44/3345.04 c rational objective 18 3558.05/3568.39 c #Conflicts: 446000 | #Constraints: 57538 3558.05/3568.39 c #Conflicts: 447000 | #Constraints: 58538 3558.05/3568.39 c #Conflicts: 448000 | #Constraints: 59538 3558.05/3568.39 c #Conflicts: 449000 | #Constraints: 60538 3558.05/3568.39 c #Conflicts: 450000 | #Constraints: 61538 3558.05/3568.39 c #Conflicts: 451000 | #Constraints: 62538 3558.05/3568.39 c #Conflicts: 452000 | #Constraints: 63538 3558.05/3568.39 c #Conflicts: 453000 | #Constraints: 64538 3558.05/3568.39 c #Conflicts: 454000 | #Constraints: 65538 3558.05/3568.39 c #Conflicts: 455000 | #Constraints: 66538 3558.05/3568.39 c #Conflicts: 456000 | #Constraints: 67538 3558.05/3568.39 c #Conflicts: 457000 | #Constraints: 68538 3558.05/3568.39 c #Conflicts: 458000 | #Constraints: 69538 3558.05/3568.39 c #Conflicts: 459000 | #Constraints: 70538 3558.05/3568.39 c #Conflicts: 460000 | #Constraints: 71538 3558.05/3568.39 c INPROCESSING 3558.05/3568.39 c GARBAGE COLLECT 3558.05/3568.39 c rational objective 18 3600.02/3610.40 c #Conflicts: 461000 | #Constraints: 47821 3600.02/3610.40 c #Conflicts: 462000 | #Constraints: 48821 3600.02/3610.40 c #Conflicts: 463000 | #Constraints: 49821 3600.02/3610.40 c #Conflicts: 464000 | #Constraints: 50821 3600.02/3610.40 c Program interrupted by user. 3600.02/3610.40 c cpu time 3581.72 s 3600.02/3610.40 c deterministic time 400411384857 4.00e+11 3600.02/3610.40 c optimization time 41.6698 s 3600.02/3610.40 c total solve time 3540 s 3600.02/3610.40 c core-guided solve time 2021.39 s 3600.02/3610.40 c propagation time 2923.44 s 3600.02/3610.40 c conflict analysis time 619.289 s 3600.02/3610.40 c propagations 371343584 3600.02/3610.40 c resolve steps 33421849 3600.02/3610.40 c decisions 6762297 3600.02/3610.40 c conflicts 464672 3600.02/3610.40 c restarts 1022 3600.02/3610.40 c inprocessing phases 43 3600.02/3610.40 c input clauses 21314 3600.02/3610.40 c input cardinalities 32 3600.02/3610.40 c input general constraints 85 3600.02/3610.40 c input average constraint length 3.36 3600.02/3610.40 c input average constraint degree 1.34 3600.02/3610.40 c learned clauses 216295 3600.02/3610.40 c learned cardinalities 2043 3600.02/3610.40 c learned general constraints 246357 3600.02/3610.40 c learned average constraint length 828.32 3600.02/3610.40 c learned average constraint degree 17696824.05 3600.02/3610.40 c watched constraints 192402 3600.02/3610.40 c counting constraints 54040 3600.02/3610.40 c gcd simplifications 2757 3600.02/3610.40 c detected cardinalities 7 3600.02/3610.40 c weakened non-implied lits 37166497 3600.02/3610.40 c weakened non-implying lits 87797 3600.02/3610.40 c original variables 6027 3600.02/3610.40 c clausal propagations 298807311 3600.02/3610.40 c cardinality propagations 2024850 3600.02/3610.40 c watched propagations 9199265 3600.02/3610.40 c counting propagations 59852603 3600.02/3610.40 c watch lookups 56647385144 3600.02/3610.40 c watch backjump lookups 46870614137 3600.02/3610.40 c watch checks 283913985916 3600.02/3610.40 c propagation checks 11074683701 3600.02/3610.40 c constraint additions 1147531378 3600.02/3610.40 c trail pops 378567239 3600.02/3610.40 c formula constraints 21278 3600.02/3610.40 c learned constraints 464655 3600.02/3610.40 c bound constraints 19 3600.02/3610.40 c core-guided constraints 134 3600.02/3610.40 c encountered formula constraints 27410076 3600.02/3610.40 c encountered learned constraints 6241394 3600.02/3610.40 c encountered bound constraints 271 3600.02/3610.40 c encountered core-guided constraints 234296 3600.02/3610.40 c LP total time 120.545 s 3600.02/3610.40 c LP solve time 119.95 s 3600.02/3610.40 c LP constraints added 21509 3600.02/3610.40 c LP constraints removed 219 3600.02/3610.40 c LP pivots internal 467028 3600.02/3610.40 c LP pivots root 44432 3600.02/3610.40 c LP calls 489 3600.02/3610.40 c LP optimalities 465 3600.02/3610.40 c LP no pivot count 170 3600.02/3610.40 c LP infeasibilities 20 3600.02/3610.40 c LP valid Farkas constraints 20 3600.02/3610.40 c LP learned Farkas constraints 20 3600.02/3610.40 c LP basis resets 0 3600.02/3610.40 c LP cycling count 0 3600.02/3610.40 c LP singular count 0 3600.02/3610.40 c LP no primal count 0 3600.02/3610.40 c LP no farkas count 0 3600.02/3610.40 c LP other issue count 0 3600.02/3610.40 c LP Gomory cuts 0 3600.02/3610.40 c LP learned cuts 231 3600.02/3610.40 c LP deleted cuts 219 3600.02/3610.40 c LP encountered Gomory constraints 0 3600.02/3610.40 c LP encountered Farkas constraints 367 3600.02/3610.40 c LP encountered learned Farkas constraints 97 3600.02/3610.40 c CG auxiliary variables introduced 49 3600.02/3610.40 c CG solutions found 6 3600.02/3610.40 c CG cores constructed 14 3600.02/3610.40 c CG core cardinality constraints returned 0 3600.02/3610.40 c CG unit cores 1 3600.02/3610.40 c CG single cores 13 3600.02/3610.40 c CG blocks removed during cardinality reduction 0 3600.02/3610.40 c CG first core best 0 3600.02/3610.40 c CG decision core best 0 3600.02/3610.40 c CG core reduction tie 0 3600.02/3610.40 c CG core degree average 1.00 3600.02/3610.40 c CG core slack average 51.38 3600.02/3610.40 s SATISFIABLE 3600.02/3610.40 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 x1438 -x1439 x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 x1506 -x1507 x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 x1596 x1597 -x1598 x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 x1617 x1618 x1619 x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870 -x1871 -x1872 -x1873 -x1874 -x1875 x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 x2062 x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 x2129 -x2130 x2131 -x2132 -x2133 -x2134 -x2135 x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 x2143 -x2144 x2145 -x2146 -x2147 -x2148 -x2149 x2150 -x2151 x2152 -x2153 x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 x2192 -x2193 x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 x2262 -x2263 x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 x2318 -x2319 -x2320 -x2321 -x2322 -x2323 x2324 x2325 x2326 x2327 x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 x2353 -x2354 x2355 x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 x3852 x3853 x3854 x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 x3897 -x3898 -x3899 -x3900 -x3901 -x3902 x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 x4325 -x4326 x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 x4382 -x4383 x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 x4497 -x4498 -x4499 -x4500 -x4501 x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 x4687 -x4688 -x4689 -x4690 x4691 x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 x4797 x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 x5097 x5098 x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 x5165 -x5166 x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 x5174 -x5175 x5176 -x5177 -x5178 -x5179 -x5180 x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 x5352 x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 x5706 x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 x5815 -x5816 x5817 -x5818 x5819 -x5820 -x5821 x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 x6008 -x6009 x6010 x6011 -x6012 -x6013 -x6014 x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027
OK 21
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: 63968 MiB (36710 MiB free)
memory of node 1: 64473 MiB (51210 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460272-1722067492/watcher-4460272-1722067492 -o /tmp/evaluation-result-4460272-1722067492/solver-4460272-1722067492 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722064836-317337 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460272-1722067492 --lp-cut-gomory=0 HOME/instance-4460272-1722067492.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Current StackSize limit: 8192 KiB
solver pid=320111, runsolver pid=320108
[startup+0.100557 s]*
/proc/loadavg: 4.15 4.14 3.97 5/264 320112
/proc/meminfo: memFree=90018300/131524600 swapFree=131060368/131071996
[pid=320111] ppid=320108 vsize=49620 memory=19216 CPUtime=0.07 cores=4,6
/proc/320111/stat : 320111 (roundingsat) R 320108 320111 317326 0 -1 4194304 3203 0 0 0 5 2 0 0 20 0 1 0 43277132 50810880 4804 134679101440 4194304 8254357 140727488547184 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 20471808 140727488553823 140727488554085 140727488554085 140727488561097 0
/proc/320111/statm: 12405 4804 1712 992 0 4263 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 49620 KiB
Current children cumulated memory: 19216 KiB
[startup+0.206558 s]*
/proc/loadavg: 4.15 4.14 3.97 5/264 320112
/proc/meminfo: memFree=90014468/131524600 swapFree=131060368/131071996
[pid=320111] ppid=320108 vsize=52836 memory=22364 CPUtime=0.17 cores=4,6
/proc/320111/stat : 320111 (roundingsat) R 320108 320111 317326 0 -1 4194304 5028 0 0 0 14 3 0 0 20 0 1 0 43277132 54104064 5591 134679101440 4194304 8254357 140727488547184 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 20471808 140727488553823 140727488554085 140727488554085 140727488561097 0
/proc/320111/statm: 13209 5591 1760 992 0 5067 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 52836 KiB
Current children cumulated memory: 22364 KiB
[startup+0.30554 s]*
/proc/loadavg: 4.21 4.16 3.97 5/264 320112
/proc/meminfo: memFree=90013124/131524600 swapFree=131060368/131071996
[pid=320111] ppid=320108 vsize=53012 memory=23072 CPUtime=0.26 cores=4,6
/proc/320111/stat : 320111 (roundingsat) R 320108 320111 317326 0 -1 4194304 5149 0 0 0 23 3 0 0 20 0 1 0 43277132 54284288 5768 134679101440 4194304 8254357 140727488547184 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 20471808 140727488553823 140727488554085 140727488554085 140727488561097 0
/proc/320111/statm: 13253 5768 1808 992 0 5111 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 53012 KiB
Current children cumulated memory: 23072 KiB
[startup+0.70054 s]
/proc/loadavg: 4.21 4.16 3.97 5/264 320112
/proc/meminfo: memFree=90009540/131524600 swapFree=131060368/131071996
[pid=320111] ppid=320108 vsize=54744 memory=27756 CPUtime=0.64 cores=4,6
/proc/320111/stat : 320111 (roundingsat) R 320108 320111 317326 0 -1 4194304 5845 0 0 0 59 5 0 0 20 0 1 0 43277132 56057856 6939 134679101440 4194304 8254357 140727488547184 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 20471808 140727488553823 140727488554085 140727488554085 140727488561097 0
/proc/320111/statm: 13686 6939 1808 992 0 5544 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 54744 KiB
Current children cumulated memory: 27756 KiB
[startup+1.50054 s]
/proc/loadavg: 4.21 4.16 3.97 5/264 320112
/proc/meminfo: memFree=89997160/131524600 swapFree=131060368/131071996
[pid=320111] ppid=320108 vsize=67064 memory=38588 CPUtime=1.44 cores=4,6
/proc/320111/stat : 320111 (roundingsat) R 320108 320111 317326 0 -1 4194304 8156 0 0 0 136 8 0 0 20 0 1 0 43277132 68673536 9647 134679101440 4194304 8254357 140727488547184 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 20471808 140727488553823 140727488554085 140727488554085 140727488561097 0
/proc/320111/statm: 16766 9647 1904 992 0 8624 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 67064 KiB
Current children cumulated memory: 38588 KiB
[startup+3.10573 s]
/proc/loadavg: 4.21 4.16 3.97 5/264 320112
/proc/meminfo: memFree=89974308/131524600 swapFree=131060368/131071996
[pid=320111] ppid=320108 vsize=67764 memory=39380 CPUtime=3.02 cores=4,6
/proc/320111/stat : 320111 (roundingsat) R 320108 320111 317326 0 -1 4194304 8319 0 0 0 291 11 0 0 20 0 1 0 43277132 69390336 9845 134679101440 4194304 8254357 140727488547184 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20471808 140727488553823 140727488554085 140727488554085 140727488561097 0
/proc/320111/statm: 16941 9845 1904 992 0 8799 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 67764 KiB
Current children cumulated memory: 39380 KiB
[startup+6.30017 s]
/proc/loadavg: 4.20 4.15 3.97 5/264 320114
/proc/meminfo: memFree=89931308/131524600 swapFree=131060368/131071996
[pid=320111] ppid=320108 vsize=71248 memory=44592 CPUtime=6.21 cores=4,6
/proc/320111/stat : 320111 (roundingsat) R 320108 320111 317326 0 -1 4194304 9137 0 0 0 603 18 0 0 20 0 1 0 43277132 72957952 11148 134679101440 4194304 8254357 140727488547184 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20471808 140727488553823 140727488554085 140727488554085 140727488561097 0
/proc/320111/statm: 17812 11148 1904 992 0 9670 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 71248 KiB
Current children cumulated memory: 44592 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.15 3.97 6/264 320114
/proc/meminfo: memFree=89861148/131524600 swapFree=131060368/131071996
[pid=320111] ppid=320108 vsize=81660 memory=53956 CPUtime=12.6 cores=4,6
/proc/320111/stat : 320111 (roundingsat) R 320108 320111 317326 0 -1 4194304 10417 0 0 0 1231 29 0 0 20 0 1 0 43277132 83619840 13489 134679101440 4194304 8254357 140727488547184 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20471808 140727488553823 140727488554085 140727488554085 140727488561097 0
/proc/320111/statm: 20415 13489 1904 992 0 12273 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 81660 KiB
Current children cumulated memory: 53956 KiB
[startup+25.5002 s]
/proc/loadavg: 4.23 4.16 3.98 5/264 320117
/proc/meminfo: memFree=89694532/131524600 swapFree=131060368/131071996
[pid=320111] ppid=320108 vsize=87496 memory=58400 CPUtime=25.37 cores=4,6
/proc/320111/stat : 320111 (roundingsat) R 320108 320111 317326 0 -1 4194304 11556 0 0 0 2485 52 0 0 20 0 1 0 43277132 89595904 14600 134679101440 4194304 8254357 140727488547184 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20471808 140727488553823 140727488554085 140727488554085 140727488561097 0
/proc/320111/statm: 21874 14600 1904 992 0 13732 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 87496 KiB
Current children cumulated memory: 58400 KiB
[startup+51.1055 s]
/proc/loadavg: 4.22 4.16 3.99 5/261 320120
/proc/meminfo: memFree=89517364/131524600 swapFree=131060368/131071996
[pid=320111] ppid=320108 vsize=110840 memory=74704 CPUtime=50.9 cores=4,6
/proc/320111/stat : 320111 (roundingsat) R 320108 320111 317326 0 -1 4194304 14658 0 0 0 4987 103 0 0 20 0 1 0 43277132 113500160 18676 134679101440 4194304 8254357 140727488547184 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20471808 140727488553823 140727488554085 140727488554085 140727488561097 0
/proc/320111/statm: 27710 18676 1904 992 0 19568 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 110840 KiB
Current children cumulated memory: 74704 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.15 4.00 5/261 320128
/proc/meminfo: memFree=89053088/131524600 swapFree=131060368/131071996
[pid=320111] ppid=320108 vsize=140816 memory=96228 CPUtime=101.98 cores=4,6
/proc/320111/stat : 320111 (roundingsat) R 320108 320111 317326 0 -1 4194304 17440 0 0 0 10002 196 0 0 20 0 1 0 43277132 144195584 24057 134679101440 4194304 8254357 140727488547184 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20471808 140727488553823 140727488554085 140727488554085 140727488561097 0
/proc/320111/statm: 35204 24057 1904 992 0 27062 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 140816 KiB
Current children cumulated memory: 96228 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.14 4.00 5/261 320140
/proc/meminfo: memFree=88521040/131524600 swapFree=131060368/131071996
[pid=320111] ppid=320108 vsize=154216 memory=117020 CPUtime=161.82 cores=4,6
/proc/320111/stat : 320111 (roundingsat) R 320108 320111 317326 0 -1 4194304 20632 0 0 0 15900 282 0 0 20 0 1 0 43277132 157917184 29255 134679101440 4194304 8254357 140727488547184 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20471808 140727488553823 140727488554085 140727488554085 140727488561097 0
/proc/320111/statm: 38554 29255 1904 992 0 30412 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 154216 KiB
Current children cumulated memory: 117020 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.12 4.00 5/256 320150
/proc/meminfo: memFree=87990336/131524600 swapFree=131060368/131071996
[pid=320111] ppid=320108 vsize=195116 memory=146040 CPUtime=221.67 cores=4,6
/proc/320111/stat : 320111 (roundingsat) R 320108 320111 317326 0 -1 4194304 23845 0 0 0 21820 347 0 0 20 0 1 0 43277132 199798784 36510 134679101440 4194304 8254357 140727488547184 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20471808 140727488553823 140727488554085 140727488554085 140727488561097 0
/proc/320111/statm: 48779 36510 1904 992 0 40637 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 195116 KiB
Current children cumulated memory: 146040 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.14 4.02 5/255 320160
/proc/meminfo: memFree=87377644/131524600 swapFree=131060368/131071996
[pid=320111] ppid=320108 vsize=348008 memory=265572 CPUtime=281.52 cores=4,6
/proc/320111/stat : 320111 (roundingsat) R 320108 320111 317326 0 -1 4194304 30238 0 0 0 27733 419 0 0 20 0 1 0 43277132 356360192 66393 134679101440 4194304 8254357 140727488547184 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20471808 140727488553823 140727488554085 140727488554085 140727488561097 0
/proc/320111/statm: 87002 66393 1904 992 0 78860 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 348008 KiB
Current children cumulated memory: 265572 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.13 4.02 5/256 320178
/proc/meminfo: memFree=86834016/131524600 swapFree=131060368/131071996
[pid=320111] ppid=320108 vsize=519844 memory=363804 CPUtime=341.37 cores=4,6
/proc/320111/stat : 320111 (roundingsat) R 320108 320111 317326 0 -1 4194304 37944 0 0 0 33680 457 0 0 20 0 1 0 43277132 532320256 90951 134679101440 4194304 8254357 140727488547184 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20471808 140727488553823 140727488554085 140727488554085 140727488561097 0
/proc/320111/statm: 129961 90951 1904 992 0 121819 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 519844 KiB
Current children cumulated memory: 363804 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.14 4.02 5/256 320188
/proc/meminfo: memFree=86401116/131524600 swapFree=131060368/131071996
[pid=320111] ppid=320108 vsize=523084 memory=373104 CPUtime=401.22 cores=4,6
/proc/320111/stat : 320111 (roundingsat) R 320108 320111 317326 0 -1 4194304 38713 0 0 0 39627 495 0 0 20 0 1 0 43277132 535638016 93276 134679101440 4194304 8254357 140727488547184 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20471808 140727488553823 140727488554085 140727488554085 140727488561097 0
/proc/320111/statm: 130771 93276 1904 992 0 122629 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 523084 KiB
Current children cumulated memory: 373104 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.14 4.03 5/257 320200
/proc/meminfo: memFree=85818764/131524600 swapFree=131060368/131071996
[pid=320111] ppid=320108 vsize=526640 memory=376536 CPUtime=461.06 cores=4,6
/proc/320111/stat : 320111 (roundingsat) R 320108 320111 317326 0 -1 4194304 39571 0 0 0 45564 542 0 0 20 0 1 0 43277132 539279360 94134 134679101440 4194304 8254357 140727488547184 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20471808 140727488553823 140727488554085 140727488554085 140727488561097 0
/proc/320111/statm: 131660 94134 1904 992 0 123518 0
################
# More data... #
################
Current children cumulated memory: 528832 KiB
[startup+2862.3 s]
/proc/loadavg: 4.40 4.25 4.15 5/257 321446
/proc/meminfo: memFree=108901792/131524600 swapFree=131060368/131071996
[pid=320111] ppid=320108 vsize=625924 memory=528832 CPUtime=2854.24 cores=4,6
/proc/320111/stat : 320111 (roundingsat) R 320108 320111 317326 0 -1 4194304 65434 0 0 0 283809 1615 0 0 20 0 1 0 43277132 640946176 132208 134679101440 4194304 8254357 140727488547184 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20471808 140727488553823 140727488554085 140727488554085 140727488561097 0
/proc/320111/statm: 156481 132208 1904 992 0 148339 0
Current children cumulated CPU time: 2854.24 s
Current children cumulated vsize: 625924 KiB
Current children cumulated memory: 528832 KiB
[startup+2922.3 s]
/proc/loadavg: 4.25 4.24 4.15 5/257 321458
/proc/meminfo: memFree=108752760/131524600 swapFree=131060368/131071996
[pid=320111] ppid=320108 vsize=625924 memory=528832 CPUtime=2914.06 cores=4,6
/proc/320111/stat : 320111 (roundingsat) R 320108 320111 317326 0 -1 4194304 65626 0 0 0 289763 1643 0 0 20 0 1 0 43277132 640946176 132208 134679101440 4194304 8254357 140727488547184 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20471808 140727488553823 140727488554085 140727488554085 140727488561097 0
/proc/320111/statm: 156481 132208 1904 992 0 148339 0
Current children cumulated CPU time: 2914.06 s
Current children cumulated vsize: 625924 KiB
Current children cumulated memory: 528832 KiB
[startup+2982.3 s]
/proc/loadavg: 4.21 4.22 4.15 5/257 321468
/proc/meminfo: memFree=108677816/131524600 swapFree=131060368/131071996
[pid=320111] ppid=320108 vsize=625924 memory=528844 CPUtime=2973.87 cores=4,6
/proc/320111/stat : 320111 (roundingsat) R 320108 320111 317326 0 -1 4194304 65838 0 0 0 295726 1661 0 0 20 0 1 0 43277132 640946176 132211 134679101440 4194304 8254357 140727488547184 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20471808 140727488553823 140727488554085 140727488554085 140727488561097 0
/proc/320111/statm: 156481 132211 1904 992 0 148339 0
Current children cumulated CPU time: 2973.87 s
Current children cumulated vsize: 625924 KiB
Current children cumulated memory: 528844 KiB
[startup+3042.3 s]
/proc/loadavg: 4.19 4.21 4.15 5/259 321862
/proc/meminfo: memFree=108524828/131524600 swapFree=131060368/131071996
[pid=320111] ppid=320108 vsize=625924 memory=528852 CPUtime=3033.67 cores=4,6
/proc/320111/stat : 320111 (roundingsat) R 320108 320111 317326 0 -1 4194304 66048 0 0 0 301692 1675 0 0 20 0 1 0 43277132 640946176 132213 134679101440 4194304 8254357 140727488547184 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20471808 140727488553823 140727488554085 140727488554085 140727488561097 0
/proc/320111/statm: 156481 132213 1904 992 0 148339 0
Current children cumulated CPU time: 3033.67 s
Current children cumulated vsize: 625924 KiB
Current children cumulated memory: 528852 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.18 4.15 5/257 321872
/proc/meminfo: memFree=108389516/131524600 swapFree=131060368/131071996
[pid=320111] ppid=320108 vsize=625924 memory=528852 CPUtime=3093.49 cores=4,6
/proc/320111/stat : 320111 (roundingsat) R 320108 320111 317326 0 -1 4194304 66270 0 0 0 307657 1692 0 0 20 0 1 0 43277132 640946176 132213 134679101440 4194304 8254357 140727488547184 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20471808 140727488553823 140727488554085 140727488554085 140727488561097 0
/proc/320111/statm: 156481 132213 1904 992 0 148339 0
Current children cumulated CPU time: 3093.49 s
Current children cumulated vsize: 625924 KiB
Current children cumulated memory: 528852 KiB
[startup+3162.3 s]
/proc/loadavg: 4.20 4.20 4.15 5/257 321883
/proc/meminfo: memFree=108316536/131524600 swapFree=131060368/131071996
[pid=320111] ppid=320108 vsize=627520 memory=542384 CPUtime=3153.3 cores=4,6
/proc/320111/stat : 320111 (roundingsat) R 320108 320111 317326 0 -1 4194304 66861 0 0 0 313622 1708 0 0 20 0 1 0 43277132 642580480 135596 134679101440 4194304 8254357 140727488547184 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20471808 140727488553823 140727488554085 140727488554085 140727488561097 0
/proc/320111/statm: 156880 135596 1904 992 0 148738 0
Current children cumulated CPU time: 3153.3 s
Current children cumulated vsize: 627520 KiB
Current children cumulated memory: 542384 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.17 4.15 5/256 322061
/proc/meminfo: memFree=108229776/131524600 swapFree=131060368/131071996
[pid=320111] ppid=320108 vsize=629632 memory=577360 CPUtime=3213.12 cores=4,6
/proc/320111/stat : 320111 (roundingsat) R 320108 320111 317326 0 -1 4194304 67628 0 0 0 319593 1719 0 0 20 0 1 0 43277132 644743168 144340 134679101440 4194304 8254357 140727488547184 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20471808 140727488553823 140727488554085 140727488554085 140727488561097 0
/proc/320111/statm: 157408 144340 1904 992 0 149266 0
Current children cumulated CPU time: 3213.12 s
Current children cumulated vsize: 629632 KiB
Current children cumulated memory: 577360 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.15 4.14 5/257 322072
/proc/meminfo: memFree=108066844/131524600 swapFree=131060368/131071996
[pid=320111] ppid=320108 vsize=847308 memory=620980 CPUtime=3272.94 cores=4,6
/proc/320111/stat : 320111 (roundingsat) R 320108 320111 317326 0 -1 4194304 69082 0 0 0 325564 1730 0 0 20 0 1 0 43277132 867643392 155245 134679101440 4194304 8254357 140727488547184 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20471808 140727488553823 140727488554085 140727488554085 140727488561097 0
/proc/320111/statm: 211827 155245 1904 992 0 203685 0
Current children cumulated CPU time: 3272.94 s
Current children cumulated vsize: 847308 KiB
Current children cumulated memory: 620980 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.15 4.14 5/259 322087
/proc/meminfo: memFree=107892532/131524600 swapFree=131060368/131071996
[pid=320111] ppid=320108 vsize=850248 memory=644672 CPUtime=3332.75 cores=4,6
/proc/320111/stat : 320111 (roundingsat) R 320108 320111 317326 0 -1 4194304 70117 0 0 0 331535 1740 0 0 20 0 1 0 43277132 870653952 161168 134679101440 4194304 8254357 140727488547184 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20471808 140727488553823 140727488554085 140727488554085 140727488561097 0
/proc/320111/statm: 212562 161168 1904 992 0 204420 0
Current children cumulated CPU time: 3332.75 s
Current children cumulated vsize: 850248 KiB
Current children cumulated memory: 644672 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.14 4.14 5/258 322108
/proc/meminfo: memFree=107755112/131524600 swapFree=131060368/131071996
[pid=320111] ppid=320108 vsize=852668 memory=646840 CPUtime=3392.57 cores=4,6
/proc/320111/stat : 320111 (roundingsat) R 320108 320111 317326 0 -1 4194304 70736 0 0 0 337493 1764 0 0 20 0 1 0 43277132 873132032 161710 134679101440 4194304 8254357 140727488547184 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20471808 140727488553823 140727488554085 140727488554085 140727488561097 0
/proc/320111/statm: 213167 161710 1904 992 0 205025 0
Current children cumulated CPU time: 3392.57 s
Current children cumulated vsize: 852668 KiB
Current children cumulated memory: 646840 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.16 4.14 5/258 322119
/proc/meminfo: memFree=107635888/131524600 swapFree=131060368/131071996
[pid=320111] ppid=320108 vsize=852668 memory=647064 CPUtime=3452.38 cores=4,6
/proc/320111/stat : 320111 (roundingsat) R 320108 320111 317326 0 -1 4194304 70841 0 0 0 343454 1784 0 0 20 0 1 0 43277132 873132032 161766 134679101440 4194304 8254357 140727488547184 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20471808 140727488553823 140727488554085 140727488554085 140727488561097 0
/proc/320111/statm: 213167 161766 1904 992 0 205025 0
Current children cumulated CPU time: 3452.38 s
Current children cumulated vsize: 852668 KiB
Current children cumulated memory: 647064 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.14 5/257 322130
/proc/meminfo: memFree=107583676/131524600 swapFree=131060368/131071996
[pid=320111] ppid=320108 vsize=852668 memory=647072 CPUtime=3512.19 cores=4,6
/proc/320111/stat : 320111 (roundingsat) R 320108 320111 317326 0 -1 4194304 70984 0 0 0 349419 1800 0 0 20 0 1 0 43277132 873132032 161768 134679101440 4194304 8254357 140727488547184 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20471808 140727488553823 140727488554085 140727488554085 140727488561097 0
/proc/320111/statm: 213167 161768 1904 992 0 205025 0
Current children cumulated CPU time: 3512.19 s
Current children cumulated vsize: 852668 KiB
Current children cumulated memory: 647072 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.16 4.14 5/256 322140
/proc/meminfo: memFree=107334920/131524600 swapFree=131060368/131071996
[pid=320111] ppid=320108 vsize=852668 memory=647072 CPUtime=3572.01 cores=4,6
/proc/320111/stat : 320111 (roundingsat) R 320108 320111 317326 0 -1 4194304 71132 0 0 0 355385 1816 0 0 20 0 1 0 43277132 873132032 161768 134679101440 4194304 8254357 140727488547184 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20471808 140727488553823 140727488554085 140727488554085 140727488561097 0
/proc/320111/statm: 213167 161768 1904 992 0 205025 0
Current children cumulated CPU time: 3572.01 s
Current children cumulated vsize: 852668 KiB
Current children cumulated memory: 647072 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.18 4.16 4.14 5/255 322146
/proc/meminfo: memFree=107242380/131524600 swapFree=131060368/131071996
[pid=320111] ppid=320108 vsize=852668 memory=647072 CPUtime=3600.02 cores=4,6
/proc/320111/stat : 320111 (roundingsat) R 320108 320111 317326 0 -1 4194304 71217 0 0 0 358172 1830 0 0 20 0 1 0 43277132 873132032 161768 134679101440 4194304 8254357 140727488547184 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 20471808 140727488553823 140727488554085 140727488554085 140727488561097 0
/proc/320111/statm: 213167 161768 1904 992 0 205025 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 852668 KiB
Current children cumulated memory: 647072 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.43 s]
# the end of solver process 320111 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.73 s, system=18.3118 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.43
CPU time (s): 3600.04
CPU user time (s): 3581.73
CPU system time (s): 18.3118
CPU usage (%): 99.7123
Max. virtual memory (cumulated for all children) (KiB): 852668
Max. memory (cumulated for all children) (KiB): 647072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.73
system time used= 18.3118
maximum resident set size= 647272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71233
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7763400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 315
involuntary context switches= 4879
# summary of solver processes directly reported to runsolver:
# pid: 320111
# total CPU time (s): 3600.04
# total CPU user time (s): 3581.73
# total CPU system time (s): 18.3118
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.95727 second user time and 17.4303 second system time
The end
Begin job on nodeC014 at 2024-07-27 10:04:52 IDJOB=4460272 IDBENCH=148185 IDSOLVER=3086 FILE ID=nodeC014/4460272-1722067492 RUNJOBID= nodeC014-1722064836-317337 SLURM_JOB_ID= 8248084 Free space on /tmp= 890004 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460272-1722067492/watcher-4460272-1722067492 -o /tmp/evaluation-result-4460272-1722067492/solver-4460272-1722067492 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722064836-317337 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460272-1722067492 --lp-cut-gomory=0 HOME/instance-4460272-1722067492.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9def910af6a1ee27abcf25feff61a445 RANDOM SEED=656700094 nodeC014.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 : 3656.506 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.45 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 : 3688.370 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 : 7005.48 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 : 3600.365 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.45 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 : 3600.603 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 : 7005.48 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 : 3631.611 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.45 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 : 3688.465 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 : 7005.48 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 : 3662.868 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.45 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.989 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 : 7005.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 90031684 kB MemAvailable: 127129700 kB Buffers: 367668 kB Cached: 37494652 kB SwapCached: 140 kB Active: 825996 kB Inactive: 39926100 kB Active(anon): 2192 kB Inactive(anon): 2940272 kB Active(file): 823804 kB Inactive(file): 36985828 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131060368 kB Dirty: 225076 kB Writeback: 4 kB AnonPages: 2881608 kB Mapped: 103256 kB Shmem: 52988 kB KReclaimable: 256416 kB Slab: 387936 kB SReclaimable: 256416 kB SUnreclaim: 131520 kB KernelStack: 4304 kB PageTables: 15080 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 3491476 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 15424 kB HardwareCorrupted: 0 kB AnonHugePages: 2041856 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: 393940 kB DirectMap2M: 46565376 kB DirectMap1G: 89128960 kB Free space on /tmp at the end= 889700 MiB End job on nodeC014 at 2024-07-27 11:05:03