| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (1) | SAT | 1502.57 | 1507.77 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K107.opb |
| MD5SUM | 86c4e69ec1b5c87cf6b12225bb221f99 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 1.99716 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 7276 |
| Total number of constraints | 7492 |
| Number of constraints which are clauses | 7385 |
| Number of constraints which are cardinality constraints (but not clauses) | 107 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 107 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 108 |
| Number of bits of the biggest sum of numbers | 7 |
| 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.07 c RoundingSat 2 0.00/0.07 c branch 0.00/0.07 c commit 0.02/0.11 c #variables 7276 #constraints 7492 16.96/17.14 c #Conflicts: 1000 | #Constraints: 8491 16.96/17.14 c #Conflicts: 2000 | #Constraints: 9491 16.96/17.14 c INPROCESSING 16.96/17.14 c GARBAGE COLLECT 16.96/17.14 c #Conflicts: 3000 | #Constraints: 9185 16.96/17.14 c #Conflicts: 4000 | #Constraints: 10185 16.96/17.14 c INPROCESSING 16.96/17.14 c GARBAGE COLLECT 16.96/17.14 c #Conflicts: 5000 | #Constraints: 9658 16.96/17.14 c #Conflicts: 6000 | #Constraints: 10658 16.96/17.14 c INPROCESSING 16.96/17.14 c GARBAGE COLLECT 16.96/17.14 c #Conflicts: 7000 | #Constraints: 9714 16.96/17.14 c #Conflicts: 8000 | #Constraints: 10714 16.96/17.14 c #Conflicts: 9000 | #Constraints: 11714 16.96/17.14 c INPROCESSING 16.96/17.14 c GARBAGE COLLECT 16.96/17.14 c rational objective 107 28.62/28.88 c #Conflicts: 10000 | #Constraints: 10485 28.62/28.88 c #Conflicts: 11000 | #Constraints: 11485 28.62/28.88 c #Conflicts: 12000 | #Constraints: 12485 28.62/28.88 c INPROCESSING 28.62/28.88 c GARBAGE COLLECT 28.62/28.88 c #Conflicts: 13000 | #Constraints: 10989 28.62/28.88 c #Conflicts: 14000 | #Constraints: 11989 28.62/28.88 c #Conflicts: 15000 | #Constraints: 12989 28.62/28.88 c INPROCESSING 28.62/28.88 c GARBAGE COLLECT 28.62/28.88 c #Conflicts: 16000 | #Constraints: 11247 28.62/28.88 c #Conflicts: 17000 | #Constraints: 12247 28.62/28.88 c #Conflicts: 18000 | #Constraints: 13247 28.62/28.88 c INPROCESSING 28.62/28.88 c GARBAGE COLLECT 28.62/28.88 c #Conflicts: 19000 | #Constraints: 11305 28.62/28.88 c #Conflicts: 20000 | #Constraints: 12305 28.62/28.88 c #Conflicts: 21000 | #Constraints: 13305 28.62/28.88 c INPROCESSING 28.62/28.88 c GARBAGE COLLECT 28.62/28.88 c #Conflicts: 22000 | #Constraints: 11156 28.62/28.88 c #Conflicts: 23000 | #Constraints: 12156 28.62/28.88 c #Conflicts: 24000 | #Constraints: 13156 28.62/28.88 c #Conflicts: 25000 | #Constraints: 14156 28.62/28.88 c INPROCESSING 28.62/28.88 c GARBAGE COLLECT 28.62/28.88 c rational objective 107 37.40/37.63 c #Conflicts: 26000 | #Constraints: 11748 37.40/37.63 c #Conflicts: 27000 | #Constraints: 12748 37.40/37.63 c #Conflicts: 28000 | #Constraints: 13748 37.40/37.63 c #Conflicts: 29000 | #Constraints: 14748 37.40/37.63 c #Conflicts: 30000 | #Constraints: 15749 37.40/37.63 c #Conflicts: 31000 | #Constraints: 16749 37.40/37.63 c #Conflicts: 32000 | #Constraints: 17749 37.40/37.63 c #Conflicts: 33000 | #Constraints: 18749 37.40/37.63 c #Conflicts: 34000 | #Constraints: 19749 37.40/37.63 c #Conflicts: 35000 | #Constraints: 20749 37.40/37.63 c #Conflicts: 36000 | #Constraints: 21749 37.40/37.63 c #Conflicts: 37000 | #Constraints: 22749 37.40/37.63 c #Conflicts: 38000 | #Constraints: 23749 37.40/37.63 c INPROCESSING 37.40/37.63 c GARBAGE COLLECT 37.40/37.63 c rational objective 107 41.39/41.68 c #Conflicts: 39000 | #Constraints: 16723 41.39/41.68 c #Conflicts: 40000 | #Constraints: 17723 41.39/41.68 c #Conflicts: 41000 | #Constraints: 18723 41.39/41.68 c #Conflicts: 42000 | #Constraints: 19723 41.39/41.68 c INPROCESSING 41.39/41.68 c GARBAGE COLLECT 41.39/41.68 c rational objective 107 45.97/46.28 c #Conflicts: 43000 | #Constraints: 14295 45.97/46.28 c #Conflicts: 44000 | #Constraints: 15295 45.97/46.28 c #Conflicts: 45000 | #Constraints: 16295 45.97/46.28 c #Conflicts: 46000 | #Constraints: 17296 45.97/46.28 c #Conflicts: 47000 | #Constraints: 18296 45.97/46.28 c #Conflicts: 48000 | #Constraints: 19296 45.97/46.28 c INPROCESSING 45.97/46.28 c GARBAGE COLLECT 45.97/46.28 c rational objective 107 52.35/52.66 c #Conflicts: 49000 | #Constraints: 14488 52.35/52.66 c #Conflicts: 50000 | #Constraints: 15488 52.35/52.66 c #Conflicts: 51000 | #Constraints: 16488 52.35/52.66 c #Conflicts: 52000 | #Constraints: 17488 52.35/52.66 c #Conflicts: 53000 | #Constraints: 18488 52.35/52.66 c INPROCESSING 52.35/52.66 c GARBAGE COLLECT 52.35/52.66 c rational objective 107 60.63/60.91 c #Conflicts: 54000 | #Constraints: 13970 60.63/60.91 c #Conflicts: 55000 | #Constraints: 14970 60.63/60.91 c #Conflicts: 56000 | #Constraints: 15970 60.63/60.91 c #Conflicts: 57000 | #Constraints: 16970 60.63/60.91 c #Conflicts: 58000 | #Constraints: 17970 60.63/60.91 c INPROCESSING 60.63/60.91 c GARBAGE COLLECT 60.63/60.91 c rational objective 107 100.51/100.96 c #Conflicts: 59000 | #Constraints: 13474 100.51/100.96 c #Conflicts: 60000 | #Constraints: 14474 100.51/100.96 c #Conflicts: 61000 | #Constraints: 15474 100.51/100.96 c #Conflicts: 62000 | #Constraints: 16474 100.51/100.96 c #Conflicts: 63000 | #Constraints: 17474 100.51/100.96 c #Conflicts: 64000 | #Constraints: 18474 100.51/100.96 c #Conflicts: 65000 | #Constraints: 19474 100.51/100.96 c #Conflicts: 66000 | #Constraints: 20474 100.51/100.96 c #Conflicts: 67000 | #Constraints: 21474 100.51/100.96 c #Conflicts: 68000 | #Constraints: 22474 100.51/100.96 c #Conflicts: 69000 | #Constraints: 23474 100.51/100.96 c #Conflicts: 70000 | #Constraints: 24474 100.51/100.96 c #Conflicts: 71000 | #Constraints: 25474 100.51/100.96 c #Conflicts: 72000 | #Constraints: 26474 100.51/100.96 c #Conflicts: 73000 | #Constraints: 27474 100.51/100.96 c #Conflicts: 74000 | #Constraints: 28474 100.51/100.96 c #Conflicts: 75000 | #Constraints: 29474 100.51/100.96 c #Conflicts: 76000 | #Constraints: 30474 100.51/100.96 c #Conflicts: 77000 | #Constraints: 31475 100.51/100.96 c #Conflicts: 78000 | #Constraints: 32475 100.51/100.96 c INPROCESSING 100.51/100.96 c GARBAGE COLLECT 100.51/100.96 c #Conflicts: 79000 | #Constraints: 21166 100.51/100.96 c #Conflicts: 80000 | #Constraints: 22166 100.51/100.96 c #Conflicts: 81000 | #Constraints: 23166 100.51/100.96 c #Conflicts: 82000 | #Constraints: 24167 100.51/100.96 c #Conflicts: 83000 | #Constraints: 25167 100.51/100.96 c #Conflicts: 84000 | #Constraints: 26167 100.51/100.96 c INPROCESSING 100.51/100.96 c GARBAGE COLLECT 100.51/100.96 c rational objective 107 107.58/108.01 c #Conflicts: 85000 | #Constraints: 17645 107.58/108.01 c #Conflicts: 86000 | #Constraints: 18645 107.58/108.01 c #Conflicts: 87000 | #Constraints: 19645 107.58/108.01 c #Conflicts: 88000 | #Constraints: 20645 107.58/108.01 c #Conflicts: 89000 | #Constraints: 21645 107.58/108.01 c #Conflicts: 90000 | #Constraints: 22645 107.58/108.01 c #Conflicts: 91000 | #Constraints: 23645 107.58/108.01 c INPROCESSING 107.58/108.01 c GARBAGE COLLECT 107.58/108.01 c rational objective 107 116.06/116.56 c #Conflicts: 92000 | #Constraints: 16254 116.06/116.56 c #Conflicts: 93000 | #Constraints: 17254 116.06/116.56 c #Conflicts: 94000 | #Constraints: 18254 116.06/116.56 c #Conflicts: 95000 | #Constraints: 19254 116.06/116.56 c #Conflicts: 96000 | #Constraints: 20254 116.06/116.56 c #Conflicts: 97000 | #Constraints: 21254 116.06/116.56 c #Conflicts: 98000 | #Constraints: 22254 116.06/116.56 c #Conflicts: 99000 | #Constraints: 23254 116.06/116.56 c INPROCESSING 116.06/116.56 c GARBAGE COLLECT 116.06/116.56 c rational objective 107 141.76/142.38 c #Conflicts: 100000 | #Constraints: 16609 141.76/142.38 c #Conflicts: 101000 | #Constraints: 17609 141.76/142.38 c #Conflicts: 102000 | #Constraints: 18609 141.76/142.38 c #Conflicts: 103000 | #Constraints: 19609 141.76/142.38 c #Conflicts: 104000 | #Constraints: 20609 141.76/142.38 c #Conflicts: 105000 | #Constraints: 21609 141.76/142.38 c #Conflicts: 106000 | #Constraints: 22609 141.76/142.38 c #Conflicts: 107000 | #Constraints: 23609 141.76/142.38 c #Conflicts: 108000 | #Constraints: 24609 141.76/142.38 c #Conflicts: 109000 | #Constraints: 25609 141.76/142.38 c #Conflicts: 110000 | #Constraints: 26610 141.76/142.38 c #Conflicts: 111000 | #Constraints: 27610 141.76/142.38 c #Conflicts: 112000 | #Constraints: 28610 141.76/142.38 c #Conflicts: 113000 | #Constraints: 29610 141.76/142.38 c #Conflicts: 114000 | #Constraints: 30610 141.76/142.38 c #Conflicts: 115000 | #Constraints: 31610 141.76/142.38 c #Conflicts: 116000 | #Constraints: 32610 141.76/142.38 c #Conflicts: 117000 | #Constraints: 33610 141.76/142.38 c #Conflicts: 118000 | #Constraints: 34611 141.76/142.38 c #Conflicts: 119000 | #Constraints: 35611 141.76/142.38 c #Conflicts: 120000 | #Constraints: 36611 141.76/142.38 c #Conflicts: 121000 | #Constraints: 37611 141.76/142.38 c #Conflicts: 122000 | #Constraints: 38611 141.76/142.38 c #Conflicts: 123000 | #Constraints: 39611 141.76/142.38 c INPROCESSING 141.76/142.38 c GARBAGE COLLECT 141.76/142.38 c rational objective 107 151.74/152.33 c #Conflicts: 124000 | #Constraints: 24528 151.74/152.33 c #Conflicts: 125000 | #Constraints: 25528 151.74/152.33 c #Conflicts: 126000 | #Constraints: 26528 151.74/152.33 c #Conflicts: 127000 | #Constraints: 27528 151.74/152.33 c #Conflicts: 128000 | #Constraints: 28528 151.74/152.33 c #Conflicts: 129000 | #Constraints: 29528 151.74/152.33 c #Conflicts: 130000 | #Constraints: 30528 151.74/152.33 c #Conflicts: 131000 | #Constraints: 31528 151.74/152.33 c #Conflicts: 132000 | #Constraints: 32528 151.74/152.33 c INPROCESSING 151.74/152.33 c GARBAGE COLLECT 151.74/152.33 c rational objective 107 157.91/158.54 c #Conflicts: 133000 | #Constraints: 21244 157.91/158.54 c #Conflicts: 134000 | #Constraints: 22244 157.91/158.54 c #Conflicts: 135000 | #Constraints: 23244 157.91/158.54 c #Conflicts: 136000 | #Constraints: 24244 157.91/158.54 c #Conflicts: 137000 | #Constraints: 25244 157.91/158.54 c #Conflicts: 138000 | #Constraints: 26244 157.91/158.54 c #Conflicts: 139000 | #Constraints: 27244 157.91/158.54 c #Conflicts: 140000 | #Constraints: 28244 157.91/158.54 c INPROCESSING 157.91/158.54 c GARBAGE COLLECT 157.91/158.54 c rational objective 107 164.99/165.68 c #Conflicts: 141000 | #Constraints: 18762 164.99/165.68 c #Conflicts: 142000 | #Constraints: 19763 164.99/165.68 c #Conflicts: 143000 | #Constraints: 20763 164.99/165.68 c #Conflicts: 144000 | #Constraints: 21763 164.99/165.68 c #Conflicts: 145000 | #Constraints: 22763 164.99/165.68 c #Conflicts: 146000 | #Constraints: 23763 164.99/165.68 c #Conflicts: 147000 | #Constraints: 24763 164.99/165.68 c #Conflicts: 148000 | #Constraints: 25763 164.99/165.68 c #Conflicts: 149000 | #Constraints: 26763 164.99/165.68 c INPROCESSING 164.99/165.68 c GARBAGE COLLECT 164.99/165.68 c rational objective 107 198.78/199.58 c #Conflicts: 150000 | #Constraints: 18105 198.78/199.58 c #Conflicts: 151000 | #Constraints: 19105 198.78/199.58 c #Conflicts: 152000 | #Constraints: 20105 198.78/199.58 c #Conflicts: 153000 | #Constraints: 21106 198.78/199.58 c #Conflicts: 154000 | #Constraints: 22106 198.78/199.58 c #Conflicts: 155000 | #Constraints: 23106 198.78/199.58 c #Conflicts: 156000 | #Constraints: 24106 198.78/199.58 c #Conflicts: 157000 | #Constraints: 25107 198.78/199.58 c #Conflicts: 158000 | #Constraints: 26107 198.78/199.58 c #Conflicts: 159000 | #Constraints: 27107 198.78/199.58 c #Conflicts: 160000 | #Constraints: 28107 198.78/199.58 c #Conflicts: 161000 | #Constraints: 29107 198.78/199.58 c #Conflicts: 162000 | #Constraints: 30107 198.78/199.58 c #Conflicts: 163000 | #Constraints: 31107 198.78/199.58 c #Conflicts: 164000 | #Constraints: 32107 198.78/199.58 c #Conflicts: 165000 | #Constraints: 33107 198.78/199.58 c #Conflicts: 166000 | #Constraints: 34107 198.78/199.58 c #Conflicts: 167000 | #Constraints: 35107 198.78/199.58 c #Conflicts: 168000 | #Constraints: 36107 198.78/199.58 c #Conflicts: 169000 | #Constraints: 37107 198.78/199.58 c #Conflicts: 170000 | #Constraints: 38107 198.78/199.58 c #Conflicts: 171000 | #Constraints: 39108 198.78/199.58 c #Conflicts: 172000 | #Constraints: 40108 198.78/199.58 c #Conflicts: 173000 | #Constraints: 41108 198.78/199.58 c #Conflicts: 174000 | #Constraints: 42108 198.78/199.58 c #Conflicts: 175000 | #Constraints: 43109 198.78/199.58 c #Conflicts: 176000 | #Constraints: 44109 198.78/199.58 c #Conflicts: 177000 | #Constraints: 45109 198.78/199.58 c #Conflicts: 178000 | #Constraints: 46109 198.78/199.58 c #Conflicts: 179000 | #Constraints: 47109 198.78/199.58 c INPROCESSING 198.78/199.58 c GARBAGE COLLECT 198.78/199.58 c rational objective 107 209.14/209.95 c #Conflicts: 180000 | #Constraints: 28364 209.14/209.95 c #Conflicts: 181000 | #Constraints: 29364 209.14/209.95 c #Conflicts: 182000 | #Constraints: 30364 209.14/209.95 c #Conflicts: 183000 | #Constraints: 31364 209.14/209.95 c #Conflicts: 184000 | #Constraints: 32364 209.14/209.95 c #Conflicts: 185000 | #Constraints: 33365 209.14/209.95 c #Conflicts: 186000 | #Constraints: 34365 209.14/209.95 c #Conflicts: 187000 | #Constraints: 35365 209.14/209.95 c #Conflicts: 188000 | #Constraints: 36366 209.14/209.95 c #Conflicts: 189000 | #Constraints: 37366 209.14/209.95 c INPROCESSING 209.14/209.95 c GARBAGE COLLECT 209.14/209.95 c rational objective 107 219.41/220.28 c #Conflicts: 190000 | #Constraints: 23476 219.41/220.28 c #Conflicts: 191000 | #Constraints: 24476 219.41/220.28 c #Conflicts: 192000 | #Constraints: 25476 219.41/220.28 c #Conflicts: 193000 | #Constraints: 26476 219.41/220.28 c #Conflicts: 194000 | #Constraints: 27476 219.41/220.28 c #Conflicts: 195000 | #Constraints: 28477 219.41/220.28 c #Conflicts: 196000 | #Constraints: 29477 219.41/220.28 c #Conflicts: 197000 | #Constraints: 30477 219.41/220.28 c #Conflicts: 198000 | #Constraints: 31477 219.41/220.28 c #Conflicts: 199000 | #Constraints: 32477 219.41/220.28 c #Conflicts: 200000 | #Constraints: 33477 219.41/220.28 c INPROCESSING 219.41/220.28 c GARBAGE COLLECT 219.41/220.28 c rational objective 107 233.57/234.43 c #Conflicts: 201000 | #Constraints: 21789 233.57/234.43 c #Conflicts: 202000 | #Constraints: 22789 233.57/234.43 c #Conflicts: 203000 | #Constraints: 23789 233.57/234.43 c #Conflicts: 204000 | #Constraints: 24789 233.57/234.43 c #Conflicts: 205000 | #Constraints: 25789 233.57/234.43 c #Conflicts: 206000 | #Constraints: 26789 233.57/234.43 c #Conflicts: 207000 | #Constraints: 27789 233.57/234.43 c #Conflicts: 208000 | #Constraints: 28790 233.57/234.43 c #Conflicts: 209000 | #Constraints: 29790 233.57/234.43 c #Conflicts: 210000 | #Constraints: 30790 233.57/234.43 c INPROCESSING 233.57/234.43 c GARBAGE COLLECT 233.57/234.43 c rational objective 107 293.77/294.86 c #Conflicts: 211000 | #Constraints: 20172 293.77/294.86 c #Conflicts: 212000 | #Constraints: 21173 293.77/294.86 c #Conflicts: 213000 | #Constraints: 22173 293.77/294.86 c #Conflicts: 214000 | #Constraints: 23173 293.77/294.86 c #Conflicts: 215000 | #Constraints: 24173 293.77/294.86 c #Conflicts: 216000 | #Constraints: 25174 293.77/294.86 c #Conflicts: 217000 | #Constraints: 26174 293.77/294.86 c #Conflicts: 218000 | #Constraints: 27174 293.77/294.86 c #Conflicts: 219000 | #Constraints: 28174 293.77/294.86 c #Conflicts: 220000 | #Constraints: 29174 293.77/294.86 c #Conflicts: 221000 | #Constraints: 30174 293.77/294.86 c #Conflicts: 222000 | #Constraints: 31174 293.77/294.86 c #Conflicts: 223000 | #Constraints: 32174 293.77/294.86 c #Conflicts: 224000 | #Constraints: 33174 293.77/294.86 c #Conflicts: 225000 | #Constraints: 34174 293.77/294.86 c #Conflicts: 226000 | #Constraints: 35174 293.77/294.86 c #Conflicts: 227000 | #Constraints: 36174 293.77/294.86 c #Conflicts: 228000 | #Constraints: 37174 293.77/294.86 c #Conflicts: 229000 | #Constraints: 38174 293.77/294.86 c #Conflicts: 230000 | #Constraints: 39174 293.77/294.86 c #Conflicts: 231000 | #Constraints: 40174 293.77/294.86 c #Conflicts: 232000 | #Constraints: 41174 293.77/294.86 c #Conflicts: 233000 | #Constraints: 42174 293.77/294.86 c #Conflicts: 234000 | #Constraints: 43174 293.77/294.86 c #Conflicts: 235000 | #Constraints: 44175 293.77/294.86 c #Conflicts: 236000 | #Constraints: 45175 293.77/294.86 c #Conflicts: 237000 | #Constraints: 46176 293.77/294.86 c #Conflicts: 238000 | #Constraints: 47176 293.77/294.86 c #Conflicts: 239000 | #Constraints: 48176 293.77/294.86 c #Conflicts: 240000 | #Constraints: 49176 293.77/294.86 c #Conflicts: 241000 | #Constraints: 50176 293.77/294.86 c #Conflicts: 242000 | #Constraints: 51176 293.77/294.86 c #Conflicts: 243000 | #Constraints: 52176 293.77/294.86 c #Conflicts: 244000 | #Constraints: 53176 293.77/294.86 c #Conflicts: 245000 | #Constraints: 54176 293.77/294.86 c INPROCESSING 293.77/294.86 c GARBAGE COLLECT 293.77/294.86 c rational objective 107 310.31/311.47 c #Conflicts: 246000 | #Constraints: 31837 310.31/311.47 c #Conflicts: 247000 | #Constraints: 32837 310.31/311.47 c #Conflicts: 248000 | #Constraints: 33837 310.31/311.47 c #Conflicts: 249000 | #Constraints: 34837 310.31/311.47 c #Conflicts: 250000 | #Constraints: 35837 310.31/311.47 c #Conflicts: 251000 | #Constraints: 36837 310.31/311.47 c #Conflicts: 252000 | #Constraints: 37837 310.31/311.47 c #Conflicts: 253000 | #Constraints: 38837 310.31/311.47 c #Conflicts: 254000 | #Constraints: 39837 310.31/311.47 c #Conflicts: 255000 | #Constraints: 40837 310.31/311.47 c #Conflicts: 256000 | #Constraints: 41837 310.31/311.47 c #Conflicts: 257000 | #Constraints: 42838 310.31/311.47 c INPROCESSING 310.31/311.47 c GARBAGE COLLECT 310.31/311.47 c rational objective 107 322.57/323.74 c #Conflicts: 258000 | #Constraints: 26209 322.57/323.74 c #Conflicts: 259000 | #Constraints: 27209 322.57/323.74 c #Conflicts: 260000 | #Constraints: 28209 322.57/323.74 c #Conflicts: 261000 | #Constraints: 29209 322.57/323.74 c #Conflicts: 262000 | #Constraints: 30209 322.57/323.74 c #Conflicts: 263000 | #Constraints: 31209 322.57/323.74 c #Conflicts: 264000 | #Constraints: 32209 322.57/323.74 c #Conflicts: 265000 | #Constraints: 33209 322.57/323.74 c #Conflicts: 266000 | #Constraints: 34210 322.57/323.74 c #Conflicts: 267000 | #Constraints: 35211 322.57/323.74 c #Conflicts: 268000 | #Constraints: 36211 322.57/323.74 c #Conflicts: 269000 | #Constraints: 37211 322.57/323.74 c INPROCESSING 322.57/323.74 c GARBAGE COLLECT 322.57/323.74 c rational objective 107 336.33/337.56 c #Conflicts: 270000 | #Constraints: 23322 336.33/337.56 c #Conflicts: 271000 | #Constraints: 24322 336.33/337.56 c #Conflicts: 272000 | #Constraints: 25322 336.33/337.56 c #Conflicts: 273000 | #Constraints: 26322 336.33/337.56 c #Conflicts: 274000 | #Constraints: 27322 336.33/337.56 c #Conflicts: 275000 | #Constraints: 28322 336.33/337.56 c #Conflicts: 276000 | #Constraints: 29322 336.33/337.56 c #Conflicts: 277000 | #Constraints: 30323 336.33/337.56 c #Conflicts: 278000 | #Constraints: 31324 336.33/337.56 c #Conflicts: 279000 | #Constraints: 32324 336.33/337.56 c #Conflicts: 280000 | #Constraints: 33325 336.33/337.56 c #Conflicts: 281000 | #Constraints: 34325 336.33/337.56 c #Conflicts: 282000 | #Constraints: 35325 336.33/337.56 c INPROCESSING 336.33/337.56 c GARBAGE COLLECT 336.33/337.56 c rational objective 107 400.81/402.25 c #Conflicts: 283000 | #Constraints: 22704 400.81/402.25 c #Conflicts: 284000 | #Constraints: 23705 400.81/402.25 c #Conflicts: 285000 | #Constraints: 24705 400.81/402.25 c #Conflicts: 286000 | #Constraints: 25705 400.81/402.25 c #Conflicts: 287000 | #Constraints: 26705 400.81/402.25 c #Conflicts: 288000 | #Constraints: 27705 400.81/402.25 c #Conflicts: 289000 | #Constraints: 28705 400.81/402.25 c #Conflicts: 290000 | #Constraints: 29705 400.81/402.25 c #Conflicts: 291000 | #Constraints: 30705 400.81/402.25 c #Conflicts: 292000 | #Constraints: 31705 400.81/402.25 c #Conflicts: 293000 | #Constraints: 32705 400.81/402.25 c #Conflicts: 294000 | #Constraints: 33705 400.81/402.25 c #Conflicts: 295000 | #Constraints: 34705 400.81/402.25 c #Conflicts: 296000 | #Constraints: 35705 400.81/402.25 c #Conflicts: 297000 | #Constraints: 36705 400.81/402.25 c #Conflicts: 298000 | #Constraints: 37705 400.81/402.25 c #Conflicts: 299000 | #Constraints: 38705 400.81/402.25 c #Conflicts: 300000 | #Constraints: 39705 400.81/402.25 c #Conflicts: 301000 | #Constraints: 40705 400.81/402.25 c #Conflicts: 302000 | #Constraints: 41705 400.81/402.25 c #Conflicts: 303000 | #Constraints: 42705 400.81/402.25 c #Conflicts: 304000 | #Constraints: 43705 400.81/402.25 c #Conflicts: 305000 | #Constraints: 44706 400.81/402.25 c #Conflicts: 306000 | #Constraints: 45706 400.81/402.25 c #Conflicts: 307000 | #Constraints: 46706 400.81/402.25 c #Conflicts: 308000 | #Constraints: 47706 400.81/402.25 c #Conflicts: 309000 | #Constraints: 48706 400.81/402.25 c #Conflicts: 310000 | #Constraints: 49706 400.81/402.25 c #Conflicts: 311000 | #Constraints: 50706 400.81/402.25 c #Conflicts: 312000 | #Constraints: 51706 400.81/402.25 c #Conflicts: 313000 | #Constraints: 52706 400.81/402.25 c #Conflicts: 314000 | #Constraints: 53706 400.81/402.25 c #Conflicts: 315000 | #Constraints: 54706 400.81/402.25 c #Conflicts: 316000 | #Constraints: 55706 400.81/402.25 c #Conflicts: 317000 | #Constraints: 56706 400.81/402.25 c #Conflicts: 318000 | #Constraints: 57706 400.81/402.25 c #Conflicts: 319000 | #Constraints: 58706 400.81/402.25 c #Conflicts: 320000 | #Constraints: 59706 400.81/402.25 c #Conflicts: 321000 | #Constraints: 60706 400.81/402.25 c #Conflicts: 322000 | #Constraints: 61707 400.81/402.25 c INPROCESSING 400.81/402.25 c GARBAGE COLLECT 400.81/402.25 c rational objective 107 417.86/419.39 c #Conflicts: 323000 | #Constraints: 35808 417.86/419.39 c #Conflicts: 324000 | #Constraints: 36808 417.86/419.39 c #Conflicts: 325000 | #Constraints: 37808 417.86/419.39 c #Conflicts: 326000 | #Constraints: 38808 417.86/419.39 c #Conflicts: 327000 | #Constraints: 39808 417.86/419.39 c #Conflicts: 328000 | #Constraints: 40808 417.86/419.39 c #Conflicts: 329000 | #Constraints: 41808 417.86/419.39 c #Conflicts: 330000 | #Constraints: 42808 417.86/419.39 c #Conflicts: 331000 | #Constraints: 43808 417.86/419.39 c #Conflicts: 332000 | #Constraints: 44808 417.86/419.39 c #Conflicts: 333000 | #Constraints: 45808 417.86/419.39 c #Conflicts: 334000 | #Constraints: 46808 417.86/419.39 c #Conflicts: 335000 | #Constraints: 47808 417.86/419.39 c #Conflicts: 336000 | #Constraints: 48808 417.86/419.39 c INPROCESSING 417.86/419.39 c GARBAGE COLLECT 417.86/419.39 c rational objective 107 430.71/432.22 c #Conflicts: 337000 | #Constraints: 29493 430.71/432.22 c #Conflicts: 338000 | #Constraints: 30493 430.71/432.22 c #Conflicts: 339000 | #Constraints: 31493 430.71/432.22 c #Conflicts: 340000 | #Constraints: 32493 430.71/432.22 c #Conflicts: 341000 | #Constraints: 33493 430.71/432.22 c #Conflicts: 342000 | #Constraints: 34493 430.71/432.22 c #Conflicts: 343000 | #Constraints: 35493 430.71/432.22 c #Conflicts: 344000 | #Constraints: 36493 430.71/432.22 c #Conflicts: 345000 | #Constraints: 37494 430.71/432.22 c #Conflicts: 346000 | #Constraints: 38494 430.71/432.22 c #Conflicts: 347000 | #Constraints: 39495 430.71/432.22 c #Conflicts: 348000 | #Constraints: 40495 430.71/432.22 c #Conflicts: 349000 | #Constraints: 41495 430.71/432.22 c INPROCESSING 430.71/432.22 c GARBAGE COLLECT 430.71/432.22 c rational objective 107 448.86/450.44 c #Conflicts: 350000 | #Constraints: 25464 448.86/450.44 c #Conflicts: 351000 | #Constraints: 26464 448.86/450.44 c #Conflicts: 352000 | #Constraints: 27464 448.86/450.44 c #Conflicts: 353000 | #Constraints: 28464 448.86/450.44 c #Conflicts: 354000 | #Constraints: 29464 448.86/450.44 c #Conflicts: 355000 | #Constraints: 30464 448.86/450.44 c #Conflicts: 356000 | #Constraints: 31464 448.86/450.44 c #Conflicts: 357000 | #Constraints: 32465 448.86/450.44 c #Conflicts: 358000 | #Constraints: 33465 448.86/450.44 c #Conflicts: 359000 | #Constraints: 34465 448.86/450.44 c #Conflicts: 360000 | #Constraints: 35465 448.86/450.44 c #Conflicts: 361000 | #Constraints: 36465 448.86/450.44 c #Conflicts: 362000 | #Constraints: 37466 448.86/450.44 c #Conflicts: 363000 | #Constraints: 38466 448.86/450.44 c INPROCESSING 448.86/450.44 c GARBAGE COLLECT 448.86/450.44 c rational objective 107 516.54/518.32 c #Conflicts: 364000 | #Constraints: 23956 516.54/518.32 c #Conflicts: 365000 | #Constraints: 24956 516.54/518.32 c #Conflicts: 366000 | #Constraints: 25956 516.54/518.32 c #Conflicts: 367000 | #Constraints: 26956 516.54/518.32 c #Conflicts: 368000 | #Constraints: 27956 516.54/518.32 c #Conflicts: 369000 | #Constraints: 28957 516.54/518.32 c #Conflicts: 370000 | #Constraints: 29957 516.54/518.32 c #Conflicts: 371000 | #Constraints: 30957 516.54/518.32 c #Conflicts: 372000 | #Constraints: 31957 516.54/518.32 c #Conflicts: 373000 | #Constraints: 32957 516.54/518.32 c #Conflicts: 374000 | #Constraints: 33957 516.54/518.32 c #Conflicts: 375000 | #Constraints: 34957 516.54/518.32 c #Conflicts: 376000 | #Constraints: 35957 516.54/518.32 c #Conflicts: 377000 | #Constraints: 36957 516.54/518.32 c #Conflicts: 378000 | #Constraints: 37958 516.54/518.32 c #Conflicts: 379000 | #Constraints: 38958 516.54/518.32 c #Conflicts: 380000 | #Constraints: 39958 516.54/518.32 c #Conflicts: 381000 | #Constraints: 40958 516.54/518.32 c #Conflicts: 382000 | #Constraints: 41958 516.54/518.32 c #Conflicts: 383000 | #Constraints: 42958 516.54/518.32 c #Conflicts: 384000 | #Constraints: 43958 516.54/518.32 c #Conflicts: 385000 | #Constraints: 44958 516.54/518.32 c #Conflicts: 386000 | #Constraints: 45958 516.54/518.32 c #Conflicts: 387000 | #Constraints: 46958 516.54/518.32 c #Conflicts: 388000 | #Constraints: 47958 516.54/518.32 c #Conflicts: 389000 | #Constraints: 48959 516.54/518.32 c #Conflicts: 390000 | #Constraints: 49959 516.54/518.32 c #Conflicts: 391000 | #Constraints: 50959 516.54/518.32 c #Conflicts: 392000 | #Constraints: 51959 516.54/518.32 c #Conflicts: 393000 | #Constraints: 52959 516.54/518.32 c #Conflicts: 394000 | #Constraints: 53959 516.54/518.32 c #Conflicts: 395000 | #Constraints: 54959 516.54/518.32 c #Conflicts: 396000 | #Constraints: 55959 516.54/518.32 c #Conflicts: 397000 | #Constraints: 56959 516.54/518.32 c #Conflicts: 398000 | #Constraints: 57959 516.54/518.32 c #Conflicts: 399000 | #Constraints: 58959 516.54/518.32 c #Conflicts: 400000 | #Constraints: 59959 516.54/518.32 c #Conflicts: 401000 | #Constraints: 60959 516.54/518.32 c #Conflicts: 402000 | #Constraints: 61959 516.54/518.32 c #Conflicts: 403000 | #Constraints: 62959 516.54/518.32 c #Conflicts: 404000 | #Constraints: 63959 516.54/518.32 c #Conflicts: 405000 | #Constraints: 64959 516.54/518.32 c #Conflicts: 406000 | #Constraints: 65959 516.54/518.32 c #Conflicts: 407000 | #Constraints: 66959 516.54/518.32 c #Conflicts: 408000 | #Constraints: 67959 516.54/518.32 c #Conflicts: 409000 | #Constraints: 68959 516.54/518.32 c INPROCESSING 516.54/518.32 c GARBAGE COLLECT 516.54/518.32 c rational objective 107 539.56/541.47 c #Conflicts: 410000 | #Constraints: 39370 539.56/541.47 c #Conflicts: 411000 | #Constraints: 40372 539.56/541.47 c #Conflicts: 412000 | #Constraints: 41372 539.56/541.47 c #Conflicts: 413000 | #Constraints: 42373 539.56/541.47 c #Conflicts: 414000 | #Constraints: 43373 539.56/541.47 c #Conflicts: 415000 | #Constraints: 44374 539.56/541.47 c #Conflicts: 416000 | #Constraints: 45374 539.56/541.47 c #Conflicts: 417000 | #Constraints: 46374 539.56/541.47 c #Conflicts: 418000 | #Constraints: 47374 539.56/541.47 c #Conflicts: 419000 | #Constraints: 48374 539.56/541.47 c #Conflicts: 420000 | #Constraints: 49374 539.56/541.47 c #Conflicts: 421000 | #Constraints: 50374 539.56/541.47 c #Conflicts: 422000 | #Constraints: 51374 539.56/541.47 c #Conflicts: 423000 | #Constraints: 52374 539.56/541.47 c #Conflicts: 424000 | #Constraints: 53375 539.56/541.47 c INPROCESSING 539.56/541.47 c GARBAGE COLLECT 539.56/541.47 c rational objective 107 556.70/558.65 c #Conflicts: 425000 | #Constraints: 31465 556.70/558.65 c #Conflicts: 426000 | #Constraints: 32465 556.70/558.65 c #Conflicts: 427000 | #Constraints: 33465 556.70/558.65 c #Conflicts: 428000 | #Constraints: 34465 556.70/558.65 c #Conflicts: 429000 | #Constraints: 35465 556.70/558.65 c #Conflicts: 430000 | #Constraints: 36465 556.70/558.65 c #Conflicts: 431000 | #Constraints: 37465 556.70/558.65 c #Conflicts: 432000 | #Constraints: 38465 556.70/558.65 c #Conflicts: 433000 | #Constraints: 39465 556.70/558.65 c #Conflicts: 434000 | #Constraints: 40465 556.70/558.65 c #Conflicts: 435000 | #Constraints: 41465 556.70/558.65 c #Conflicts: 436000 | #Constraints: 42465 556.70/558.65 c #Conflicts: 437000 | #Constraints: 43465 556.70/558.65 c #Conflicts: 438000 | #Constraints: 44465 556.70/558.65 c #Conflicts: 439000 | #Constraints: 45465 556.70/558.65 c #Conflicts: 440000 | #Constraints: 46465 556.70/558.65 c INPROCESSING 556.70/558.65 c GARBAGE COLLECT 556.70/558.65 c rational objective 107 578.23/580.27 c #Conflicts: 441000 | #Constraints: 28295 578.23/580.27 c #Conflicts: 442000 | #Constraints: 29295 578.23/580.27 c #Conflicts: 443000 | #Constraints: 30295 578.23/580.27 c #Conflicts: 444000 | #Constraints: 31295 578.23/580.27 c #Conflicts: 445000 | #Constraints: 32295 578.23/580.27 c #Conflicts: 446000 | #Constraints: 33295 578.23/580.27 c #Conflicts: 447000 | #Constraints: 34295 578.23/580.27 c #Conflicts: 448000 | #Constraints: 35295 578.23/580.27 c #Conflicts: 449000 | #Constraints: 36295 578.23/580.27 c #Conflicts: 450000 | #Constraints: 37295 578.23/580.27 c #Conflicts: 451000 | #Constraints: 38295 578.23/580.27 c #Conflicts: 452000 | #Constraints: 39295 578.23/580.27 c #Conflicts: 453000 | #Constraints: 40295 578.23/580.27 c #Conflicts: 454000 | #Constraints: 41295 578.23/580.27 c #Conflicts: 455000 | #Constraints: 42295 578.23/580.27 c #Conflicts: 456000 | #Constraints: 43295 578.23/580.27 c INPROCESSING 578.23/580.27 c GARBAGE COLLECT 578.23/580.27 c rational objective 107 690.34/692.75 c #Conflicts: 457000 | #Constraints: 26837 690.34/692.75 c #Conflicts: 458000 | #Constraints: 27837 690.34/692.75 c #Conflicts: 459000 | #Constraints: 28837 690.34/692.75 c #Conflicts: 460000 | #Constraints: 29837 690.34/692.75 c #Conflicts: 461000 | #Constraints: 30837 690.34/692.75 c #Conflicts: 462000 | #Constraints: 31838 690.34/692.75 c #Conflicts: 463000 | #Constraints: 32838 690.34/692.75 c #Conflicts: 464000 | #Constraints: 33838 690.34/692.75 c #Conflicts: 465000 | #Constraints: 34838 690.34/692.75 c #Conflicts: 466000 | #Constraints: 35838 690.34/692.75 c #Conflicts: 467000 | #Constraints: 36838 690.34/692.75 c #Conflicts: 468000 | #Constraints: 37838 690.34/692.75 c #Conflicts: 469000 | #Constraints: 38838 690.34/692.75 c #Conflicts: 470000 | #Constraints: 39838 690.34/692.75 c #Conflicts: 471000 | #Constraints: 40838 690.34/692.75 c #Conflicts: 472000 | #Constraints: 41838 690.34/692.75 c #Conflicts: 473000 | #Constraints: 42838 690.34/692.75 c #Conflicts: 474000 | #Constraints: 43838 690.34/692.75 c #Conflicts: 475000 | #Constraints: 44838 690.34/692.75 c #Conflicts: 476000 | #Constraints: 45839 690.34/692.75 c #Conflicts: 477000 | #Constraints: 46839 690.34/692.75 c #Conflicts: 478000 | #Constraints: 47839 690.34/692.75 c #Conflicts: 479000 | #Constraints: 48839 690.34/692.75 c #Conflicts: 480000 | #Constraints: 49839 690.34/692.75 c #Conflicts: 481000 | #Constraints: 50839 690.34/692.75 c #Conflicts: 482000 | #Constraints: 51839 690.34/692.75 c #Conflicts: 483000 | #Constraints: 52839 690.34/692.75 c #Conflicts: 484000 | #Constraints: 53839 690.34/692.75 c #Conflicts: 485000 | #Constraints: 54839 690.34/692.75 c #Conflicts: 486000 | #Constraints: 55839 690.34/692.75 c #Conflicts: 487000 | #Constraints: 56839 690.34/692.75 c #Conflicts: 488000 | #Constraints: 57839 690.34/692.75 c #Conflicts: 489000 | #Constraints: 58839 690.34/692.75 c #Conflicts: 490000 | #Constraints: 59839 690.34/692.75 c #Conflicts: 491000 | #Constraints: 60839 690.34/692.75 c #Conflicts: 492000 | #Constraints: 61839 690.34/692.75 c #Conflicts: 493000 | #Constraints: 62840 690.34/692.75 c #Conflicts: 494000 | #Constraints: 63840 690.34/692.75 c #Conflicts: 495000 | #Constraints: 64840 690.34/692.75 c #Conflicts: 496000 | #Constraints: 65840 690.34/692.75 c #Conflicts: 497000 | #Constraints: 66840 690.34/692.75 c #Conflicts: 498000 | #Constraints: 67840 690.34/692.75 c #Conflicts: 499000 | #Constraints: 68840 690.34/692.75 c #Conflicts: 500000 | #Constraints: 69840 690.34/692.75 c #Conflicts: 501000 | #Constraints: 70840 690.34/692.75 c #Conflicts: 502000 | #Constraints: 71840 690.34/692.75 c #Conflicts: 503000 | #Constraints: 72840 690.34/692.75 c #Conflicts: 504000 | #Constraints: 73840 690.34/692.75 c #Conflicts: 505000 | #Constraints: 74840 690.34/692.75 c #Conflicts: 506000 | #Constraints: 75841 690.34/692.75 c #Conflicts: 507000 | #Constraints: 76841 690.34/692.75 c INPROCESSING 690.34/692.75 c GARBAGE COLLECT 690.34/692.75 c rational objective 107 715.94/718.42 c #Conflicts: 508000 | #Constraints: 43587 715.94/718.42 c #Conflicts: 509000 | #Constraints: 44587 715.94/718.42 c #Conflicts: 510000 | #Constraints: 45587 715.94/718.42 c #Conflicts: 511000 | #Constraints: 46587 715.94/718.42 c #Conflicts: 512000 | #Constraints: 47587 715.94/718.42 c #Conflicts: 513000 | #Constraints: 48587 715.94/718.42 c #Conflicts: 514000 | #Constraints: 49587 715.94/718.42 c #Conflicts: 515000 | #Constraints: 50587 715.94/718.42 c #Conflicts: 516000 | #Constraints: 51587 715.94/718.42 c #Conflicts: 517000 | #Constraints: 52587 715.94/718.42 c #Conflicts: 518000 | #Constraints: 53587 715.94/718.42 c #Conflicts: 519000 | #Constraints: 54587 715.94/718.42 c #Conflicts: 520000 | #Constraints: 55587 715.94/718.42 c #Conflicts: 521000 | #Constraints: 56587 715.94/718.42 c #Conflicts: 522000 | #Constraints: 57587 715.94/718.42 c #Conflicts: 523000 | #Constraints: 58587 715.94/718.42 c #Conflicts: 524000 | #Constraints: 59587 715.94/718.42 c INPROCESSING 715.94/718.42 c GARBAGE COLLECT 715.94/718.42 c rational objective 107 733.48/736.05 c #Conflicts: 525000 | #Constraints: 34994 733.48/736.05 c #Conflicts: 526000 | #Constraints: 35994 733.48/736.05 c #Conflicts: 527000 | #Constraints: 36994 733.48/736.05 c #Conflicts: 528000 | #Constraints: 37994 733.48/736.05 c #Conflicts: 529000 | #Constraints: 38994 733.48/736.05 c #Conflicts: 530000 | #Constraints: 39994 733.48/736.05 c #Conflicts: 531000 | #Constraints: 40994 733.48/736.05 c #Conflicts: 532000 | #Constraints: 41994 733.48/736.05 c #Conflicts: 533000 | #Constraints: 42994 733.48/736.05 c #Conflicts: 534000 | #Constraints: 43994 733.48/736.05 c #Conflicts: 535000 | #Constraints: 44994 733.48/736.05 c #Conflicts: 536000 | #Constraints: 45994 733.48/736.05 c #Conflicts: 537000 | #Constraints: 46994 733.48/736.05 c #Conflicts: 538000 | #Constraints: 47994 733.48/736.05 c #Conflicts: 539000 | #Constraints: 48994 733.48/736.05 c #Conflicts: 540000 | #Constraints: 49994 733.48/736.05 c #Conflicts: 541000 | #Constraints: 50994 733.48/736.05 c INPROCESSING 733.48/736.05 c GARBAGE COLLECT 733.48/736.05 c rational objective 107 749.02/751.68 c #Conflicts: 542000 | #Constraints: 30561 749.02/751.68 c #Conflicts: 543000 | #Constraints: 31561 749.02/751.68 c #Conflicts: 544000 | #Constraints: 32561 749.02/751.68 c #Conflicts: 545000 | #Constraints: 33561 749.02/751.68 c #Conflicts: 546000 | #Constraints: 34561 749.02/751.68 c #Conflicts: 547000 | #Constraints: 35561 749.02/751.68 c #Conflicts: 548000 | #Constraints: 36561 749.02/751.68 c #Conflicts: 549000 | #Constraints: 37561 749.02/751.68 c #Conflicts: 550000 | #Constraints: 38561 749.02/751.68 c #Conflicts: 551000 | #Constraints: 39562 749.02/751.68 c #Conflicts: 552000 | #Constraints: 40562 749.02/751.68 c #Conflicts: 553000 | #Constraints: 41562 749.02/751.68 c #Conflicts: 554000 | #Constraints: 42562 749.02/751.68 c #Conflicts: 555000 | #Constraints: 43562 749.02/751.68 c #Conflicts: 556000 | #Constraints: 44562 749.02/751.68 c #Conflicts: 557000 | #Constraints: 45562 749.02/751.68 c #Conflicts: 558000 | #Constraints: 46562 749.02/751.68 c INPROCESSING 749.02/751.68 c GARBAGE COLLECT 749.02/751.68 c rational objective 107 852.25/855.26 c #Conflicts: 559000 | #Constraints: 28244 852.25/855.26 c #Conflicts: 560000 | #Constraints: 29244 852.25/855.26 c #Conflicts: 561000 | #Constraints: 30244 852.25/855.26 c #Conflicts: 562000 | #Constraints: 31244 852.25/855.26 c #Conflicts: 563000 | #Constraints: 32244 852.25/855.26 c #Conflicts: 564000 | #Constraints: 33244 852.25/855.26 c #Conflicts: 565000 | #Constraints: 34244 852.25/855.26 c #Conflicts: 566000 | #Constraints: 35244 852.25/855.26 c #Conflicts: 567000 | #Constraints: 36244 852.25/855.26 c #Conflicts: 568000 | #Constraints: 37244 852.25/855.26 c #Conflicts: 569000 | #Constraints: 38244 852.25/855.26 c #Conflicts: 570000 | #Constraints: 39244 852.25/855.26 c #Conflicts: 571000 | #Constraints: 40244 852.25/855.26 c #Conflicts: 572000 | #Constraints: 41245 852.25/855.26 c #Conflicts: 573000 | #Constraints: 42245 852.25/855.26 c #Conflicts: 574000 | #Constraints: 43245 852.25/855.26 c #Conflicts: 575000 | #Constraints: 44246 852.25/855.26 c #Conflicts: 576000 | #Constraints: 45246 852.25/855.26 c #Conflicts: 577000 | #Constraints: 46247 852.25/855.26 c #Conflicts: 578000 | #Constraints: 47247 852.25/855.26 c #Conflicts: 579000 | #Constraints: 48247 852.25/855.26 c #Conflicts: 580000 | #Constraints: 49247 852.25/855.26 c #Conflicts: 581000 | #Constraints: 50247 852.25/855.26 c #Conflicts: 582000 | #Constraints: 51247 852.25/855.26 c #Conflicts: 583000 | #Constraints: 52247 852.25/855.26 c #Conflicts: 584000 | #Constraints: 53247 852.25/855.26 c #Conflicts: 585000 | #Constraints: 54247 852.25/855.26 c #Conflicts: 586000 | #Constraints: 55247 852.25/855.26 c #Conflicts: 587000 | #Constraints: 56247 852.25/855.26 c #Conflicts: 588000 | #Constraints: 57247 852.25/855.26 c #Conflicts: 589000 | #Constraints: 58247 852.25/855.26 c #Conflicts: 590000 | #Constraints: 59247 852.25/855.26 c #Conflicts: 591000 | #Constraints: 60247 852.25/855.26 c #Conflicts: 592000 | #Constraints: 61248 852.25/855.26 c #Conflicts: 593000 | #Constraints: 62248 852.25/855.26 c #Conflicts: 594000 | #Constraints: 63248 852.25/855.26 c #Conflicts: 595000 | #Constraints: 64248 852.25/855.26 c #Conflicts: 596000 | #Constraints: 65249 852.25/855.26 c #Conflicts: 597000 | #Constraints: 66249 852.25/855.26 c #Conflicts: 598000 | #Constraints: 67249 852.25/855.26 c #Conflicts: 599000 | #Constraints: 68249 852.25/855.26 c #Conflicts: 600000 | #Constraints: 69249 852.25/855.26 c #Conflicts: 601000 | #Constraints: 70249 852.25/855.26 c #Conflicts: 602000 | #Constraints: 71249 852.25/855.26 c #Conflicts: 603000 | #Constraints: 72249 852.25/855.26 c #Conflicts: 604000 | #Constraints: 73249 852.25/855.26 c #Conflicts: 605000 | #Constraints: 74249 852.25/855.26 c #Conflicts: 606000 | #Constraints: 75249 852.25/855.26 c #Conflicts: 607000 | #Constraints: 76249 852.25/855.26 c #Conflicts: 608000 | #Constraints: 77249 852.25/855.26 c #Conflicts: 609000 | #Constraints: 78249 852.25/855.26 c #Conflicts: 610000 | #Constraints: 79249 852.25/855.26 c #Conflicts: 611000 | #Constraints: 80249 852.25/855.26 c #Conflicts: 612000 | #Constraints: 81249 852.25/855.26 c #Conflicts: 613000 | #Constraints: 82250 852.25/855.26 c #Conflicts: 614000 | #Constraints: 83250 852.25/855.26 c INPROCESSING 852.25/855.26 c GARBAGE COLLECT 852.25/855.26 c rational objective 107 879.65/882.71 c #Conflicts: 615000 | #Constraints: 46427 879.65/882.71 c #Conflicts: 616000 | #Constraints: 47427 879.65/882.71 c #Conflicts: 617000 | #Constraints: 48427 879.65/882.71 c #Conflicts: 618000 | #Constraints: 49427 879.65/882.71 c #Conflicts: 619000 | #Constraints: 50427 879.65/882.71 c #Conflicts: 620000 | #Constraints: 51428 879.65/882.71 c #Conflicts: 621000 | #Constraints: 52428 879.65/882.71 c #Conflicts: 622000 | #Constraints: 53428 879.65/882.71 c #Conflicts: 623000 | #Constraints: 54428 879.65/882.71 c #Conflicts: 624000 | #Constraints: 55428 879.65/882.71 c #Conflicts: 625000 | #Constraints: 56428 879.65/882.71 c #Conflicts: 626000 | #Constraints: 57428 879.65/882.71 c #Conflicts: 627000 | #Constraints: 58428 879.65/882.71 c #Conflicts: 628000 | #Constraints: 59428 879.65/882.71 c #Conflicts: 629000 | #Constraints: 60428 879.65/882.71 c #Conflicts: 630000 | #Constraints: 61428 879.65/882.71 c #Conflicts: 631000 | #Constraints: 62428 879.65/882.71 c #Conflicts: 632000 | #Constraints: 63428 879.65/882.71 c #Conflicts: 633000 | #Constraints: 64428 879.65/882.71 c INPROCESSING 879.65/882.71 c GARBAGE COLLECT 879.65/882.71 c rational objective 107 900.48/903.63 c #Conflicts: 634000 | #Constraints: 37139 900.48/903.63 c #Conflicts: 635000 | #Constraints: 38139 900.48/903.63 c #Conflicts: 636000 | #Constraints: 39139 900.48/903.63 c #Conflicts: 637000 | #Constraints: 40139 900.48/903.63 c #Conflicts: 638000 | #Constraints: 41139 900.48/903.63 c #Conflicts: 639000 | #Constraints: 42140 900.48/903.63 c #Conflicts: 640000 | #Constraints: 43140 900.48/903.63 c #Conflicts: 641000 | #Constraints: 44140 900.48/903.63 c #Conflicts: 642000 | #Constraints: 45140 900.48/903.63 c #Conflicts: 643000 | #Constraints: 46140 900.48/903.63 c #Conflicts: 644000 | #Constraints: 47140 900.48/903.63 c #Conflicts: 645000 | #Constraints: 48140 900.48/903.63 c #Conflicts: 646000 | #Constraints: 49140 900.48/903.63 c #Conflicts: 647000 | #Constraints: 50140 900.48/903.63 c #Conflicts: 648000 | #Constraints: 51140 900.48/903.63 c #Conflicts: 649000 | #Constraints: 52140 900.48/903.63 c #Conflicts: 650000 | #Constraints: 53140 900.48/903.63 c #Conflicts: 651000 | #Constraints: 54140 900.48/903.63 c #Conflicts: 652000 | #Constraints: 55140 900.48/903.63 c INPROCESSING 900.48/903.63 c GARBAGE COLLECT 900.48/903.63 c rational objective 107 921.51/924.72 c #Conflicts: 653000 | #Constraints: 32513 921.51/924.72 c #Conflicts: 654000 | #Constraints: 33513 921.51/924.72 c #Conflicts: 655000 | #Constraints: 34514 921.51/924.72 c #Conflicts: 656000 | #Constraints: 35514 921.51/924.72 c #Conflicts: 657000 | #Constraints: 36514 921.51/924.72 c #Conflicts: 658000 | #Constraints: 37514 921.51/924.72 c #Conflicts: 659000 | #Constraints: 38514 921.51/924.72 c #Conflicts: 660000 | #Constraints: 39514 921.51/924.72 c #Conflicts: 661000 | #Constraints: 40514 921.51/924.72 c #Conflicts: 662000 | #Constraints: 41514 921.51/924.72 c #Conflicts: 663000 | #Constraints: 42514 921.51/924.72 c #Conflicts: 664000 | #Constraints: 43514 921.51/924.72 c #Conflicts: 665000 | #Constraints: 44514 921.51/924.72 c #Conflicts: 666000 | #Constraints: 45514 921.51/924.72 c #Conflicts: 667000 | #Constraints: 46514 921.51/924.72 c #Conflicts: 668000 | #Constraints: 47514 921.51/924.72 c #Conflicts: 669000 | #Constraints: 48514 921.51/924.72 c #Conflicts: 670000 | #Constraints: 49514 921.51/924.72 c #Conflicts: 671000 | #Constraints: 50514 921.51/924.72 c INPROCESSING 921.51/924.72 c GARBAGE COLLECT 921.51/924.72 c rational objective 107 1029.63/1033.22 c #Conflicts: 672000 | #Constraints: 30151 1029.63/1033.22 c #Conflicts: 673000 | #Constraints: 31151 1029.63/1033.22 c #Conflicts: 674000 | #Constraints: 32151 1029.63/1033.22 c #Conflicts: 675000 | #Constraints: 33151 1029.63/1033.22 c #Conflicts: 676000 | #Constraints: 34152 1029.63/1033.22 c #Conflicts: 677000 | #Constraints: 35152 1029.63/1033.22 c #Conflicts: 678000 | #Constraints: 36152 1029.63/1033.22 c #Conflicts: 679000 | #Constraints: 37152 1029.63/1033.22 c #Conflicts: 680000 | #Constraints: 38152 1029.63/1033.22 c #Conflicts: 681000 | #Constraints: 39152 1029.63/1033.22 c #Conflicts: 682000 | #Constraints: 40152 1029.63/1033.22 c #Conflicts: 683000 | #Constraints: 41152 1029.63/1033.22 c #Conflicts: 684000 | #Constraints: 42152 1029.63/1033.22 c #Conflicts: 685000 | #Constraints: 43152 1029.63/1033.22 c #Conflicts: 686000 | #Constraints: 44153 1029.63/1033.22 c #Conflicts: 687000 | #Constraints: 45153 1029.63/1033.22 c #Conflicts: 688000 | #Constraints: 46153 1029.63/1033.22 c #Conflicts: 689000 | #Constraints: 47153 1029.63/1033.22 c #Conflicts: 690000 | #Constraints: 48153 1029.63/1033.22 c #Conflicts: 691000 | #Constraints: 49153 1029.63/1033.22 c #Conflicts: 692000 | #Constraints: 50153 1029.63/1033.22 c #Conflicts: 693000 | #Constraints: 51153 1029.63/1033.22 c #Conflicts: 694000 | #Constraints: 52153 1029.63/1033.22 c #Conflicts: 695000 | #Constraints: 53153 1029.63/1033.22 c #Conflicts: 696000 | #Constraints: 54153 1029.63/1033.22 c #Conflicts: 697000 | #Constraints: 55153 1029.63/1033.22 c #Conflicts: 698000 | #Constraints: 56154 1029.63/1033.22 c #Conflicts: 699000 | #Constraints: 57154 1029.63/1033.22 c #Conflicts: 700000 | #Constraints: 58154 1029.63/1033.22 c #Conflicts: 701000 | #Constraints: 59154 1029.63/1033.22 c #Conflicts: 702000 | #Constraints: 60154 1029.63/1033.22 c #Conflicts: 703000 | #Constraints: 61154 1029.63/1033.22 c #Conflicts: 704000 | #Constraints: 62154 1029.63/1033.22 c #Conflicts: 705000 | #Constraints: 63154 1029.63/1033.22 c #Conflicts: 706000 | #Constraints: 64154 1029.63/1033.22 c #Conflicts: 707000 | #Constraints: 65154 1029.63/1033.22 c #Conflicts: 708000 | #Constraints: 66154 1029.63/1033.22 c #Conflicts: 709000 | #Constraints: 67154 1029.63/1033.22 c #Conflicts: 710000 | #Constraints: 68154 1029.63/1033.22 c #Conflicts: 711000 | #Constraints: 69154 1029.63/1033.22 c #Conflicts: 712000 | #Constraints: 70155 1029.63/1033.22 c #Conflicts: 713000 | #Constraints: 71155 1029.63/1033.22 c #Conflicts: 714000 | #Constraints: 72155 1029.63/1033.22 c #Conflicts: 715000 | #Constraints: 73155 1029.63/1033.22 c #Conflicts: 716000 | #Constraints: 74155 1029.63/1033.22 c #Conflicts: 717000 | #Constraints: 75155 1029.63/1033.22 c #Conflicts: 718000 | #Constraints: 76156 1029.63/1033.22 c #Conflicts: 719000 | #Constraints: 77156 1029.63/1033.22 c #Conflicts: 720000 | #Constraints: 78156 1029.63/1033.22 c #Conflicts: 721000 | #Constraints: 79156 1029.63/1033.22 c #Conflicts: 722000 | #Constraints: 80156 1029.63/1033.22 c #Conflicts: 723000 | #Constraints: 81157 1029.63/1033.22 c #Conflicts: 724000 | #Constraints: 82157 1029.63/1033.22 c #Conflicts: 725000 | #Constraints: 83157 1029.63/1033.22 c #Conflicts: 726000 | #Constraints: 84157 1029.63/1033.22 c #Conflicts: 727000 | #Constraints: 85157 1029.63/1033.22 c #Conflicts: 728000 | #Constraints: 86157 1029.63/1033.22 c #Conflicts: 729000 | #Constraints: 87157 1029.63/1033.22 c #Conflicts: 730000 | #Constraints: 88157 1029.63/1033.22 c #Conflicts: 731000 | #Constraints: 89157 1029.63/1033.22 c #Conflicts: 732000 | #Constraints: 90157 1029.63/1033.22 c #Conflicts: 733000 | #Constraints: 91157 1029.63/1033.22 c INPROCESSING 1029.63/1033.22 c GARBAGE COLLECT 1029.63/1033.22 c rational objective 107 1065.51/1069.27 c #Conflicts: 734000 | #Constraints: 50723 1065.51/1069.27 c #Conflicts: 735000 | #Constraints: 51723 1065.51/1069.27 c #Conflicts: 736000 | #Constraints: 52723 1065.51/1069.27 c #Conflicts: 737000 | #Constraints: 53724 1065.51/1069.27 c #Conflicts: 738000 | #Constraints: 54724 1065.51/1069.27 c #Conflicts: 739000 | #Constraints: 55724 1065.51/1069.27 c #Conflicts: 740000 | #Constraints: 56724 1065.51/1069.27 c #Conflicts: 741000 | #Constraints: 57724 1065.51/1069.27 c #Conflicts: 742000 | #Constraints: 58724 1065.51/1069.27 c #Conflicts: 743000 | #Constraints: 59724 1065.51/1069.27 c #Conflicts: 744000 | #Constraints: 60724 1065.51/1069.27 c #Conflicts: 745000 | #Constraints: 61724 1065.51/1069.27 c #Conflicts: 746000 | #Constraints: 62724 1065.51/1069.27 c #Conflicts: 747000 | #Constraints: 63724 1065.51/1069.27 c #Conflicts: 748000 | #Constraints: 64724 1065.51/1069.27 c #Conflicts: 749000 | #Constraints: 65724 1065.51/1069.27 c #Conflicts: 750000 | #Constraints: 66724 1065.51/1069.27 c #Conflicts: 751000 | #Constraints: 67724 1065.51/1069.27 c #Conflicts: 752000 | #Constraints: 68725 1065.51/1069.27 c #Conflicts: 753000 | #Constraints: 69725 1065.51/1069.27 c INPROCESSING 1065.51/1069.27 c GARBAGE COLLECT 1065.51/1069.27 c rational objective 107 1091.01/1094.80 c #Conflicts: 754000 | #Constraints: 39825 1091.01/1094.80 c #Conflicts: 755000 | #Constraints: 40825 1091.01/1094.80 c #Conflicts: 756000 | #Constraints: 41825 1091.01/1094.80 c #Conflicts: 757000 | #Constraints: 42826 1091.01/1094.80 c #Conflicts: 758000 | #Constraints: 43826 1091.01/1094.80 c #Conflicts: 759000 | #Constraints: 44827 1091.01/1094.80 c #Conflicts: 760000 | #Constraints: 45827 1091.01/1094.80 c #Conflicts: 761000 | #Constraints: 46827 1091.01/1094.80 c #Conflicts: 762000 | #Constraints: 47828 1091.01/1094.80 c #Conflicts: 763000 | #Constraints: 48828 1091.01/1094.80 c #Conflicts: 764000 | #Constraints: 49828 1091.01/1094.80 c #Conflicts: 765000 | #Constraints: 50828 1091.01/1094.80 c #Conflicts: 766000 | #Constraints: 51828 1091.01/1094.80 c #Conflicts: 767000 | #Constraints: 52828 1091.01/1094.80 c #Conflicts: 768000 | #Constraints: 53828 1091.01/1094.80 c #Conflicts: 769000 | #Constraints: 54828 1091.01/1094.80 c #Conflicts: 770000 | #Constraints: 55828 1091.01/1094.80 c #Conflicts: 771000 | #Constraints: 56828 1091.01/1094.80 c #Conflicts: 772000 | #Constraints: 57828 1091.01/1094.80 c #Conflicts: 773000 | #Constraints: 58828 1091.01/1094.80 c #Conflicts: 774000 | #Constraints: 59828 1091.01/1094.80 c INPROCESSING 1091.01/1094.80 c GARBAGE COLLECT 1091.01/1094.80 c rational objective 107 1116.82/1120.79 c #Conflicts: 775000 | #Constraints: 35105 1116.82/1120.79 c #Conflicts: 776000 | #Constraints: 36105 1116.82/1120.79 c #Conflicts: 777000 | #Constraints: 37106 1116.82/1120.79 c #Conflicts: 778000 | #Constraints: 38106 1116.82/1120.79 c #Conflicts: 779000 | #Constraints: 39106 1116.82/1120.79 c #Conflicts: 780000 | #Constraints: 40106 1116.82/1120.79 c #Conflicts: 781000 | #Constraints: 41106 1116.82/1120.79 c #Conflicts: 782000 | #Constraints: 42106 1116.82/1120.79 c #Conflicts: 783000 | #Constraints: 43106 1116.82/1120.79 c #Conflicts: 784000 | #Constraints: 44106 1116.82/1120.79 c #Conflicts: 785000 | #Constraints: 45106 1116.82/1120.79 c #Conflicts: 786000 | #Constraints: 46106 1116.82/1120.79 c #Conflicts: 787000 | #Constraints: 47107 1116.82/1120.79 c #Conflicts: 788000 | #Constraints: 48107 1116.82/1120.79 c #Conflicts: 789000 | #Constraints: 49107 1116.82/1120.79 c #Conflicts: 790000 | #Constraints: 50107 1116.82/1120.79 c #Conflicts: 791000 | #Constraints: 51107 1116.82/1120.79 c #Conflicts: 792000 | #Constraints: 52107 1116.82/1120.79 c #Conflicts: 793000 | #Constraints: 53107 1116.82/1120.79 c #Conflicts: 794000 | #Constraints: 54107 1116.82/1120.79 c #Conflicts: 795000 | #Constraints: 55107 1116.82/1120.79 c INPROCESSING 1116.82/1120.79 c GARBAGE COLLECT 1116.82/1120.79 c rational objective 107 1245.38/1249.74 c #Conflicts: 796000 | #Constraints: 32827 1245.38/1249.74 c #Conflicts: 797000 | #Constraints: 33827 1245.38/1249.74 c #Conflicts: 798000 | #Constraints: 34827 1245.38/1249.74 c #Conflicts: 799000 | #Constraints: 35827 1245.38/1249.74 c #Conflicts: 800000 | #Constraints: 36827 1245.38/1249.74 c #Conflicts: 801000 | #Constraints: 37827 1245.38/1249.74 c #Conflicts: 802000 | #Constraints: 38828 1245.38/1249.74 c #Conflicts: 803000 | #Constraints: 39829 1245.38/1249.74 c #Conflicts: 804000 | #Constraints: 40829 1245.38/1249.74 c #Conflicts: 805000 | #Constraints: 41829 1245.38/1249.74 c #Conflicts: 806000 | #Constraints: 42830 1245.38/1249.74 c #Conflicts: 807000 | #Constraints: 43830 1245.38/1249.74 c #Conflicts: 808000 | #Constraints: 44830 1245.38/1249.74 c #Conflicts: 809000 | #Constraints: 45830 1245.38/1249.74 c #Conflicts: 810000 | #Constraints: 46831 1245.38/1249.74 c #Conflicts: 811000 | #Constraints: 47831 1245.38/1249.74 c #Conflicts: 812000 | #Constraints: 48831 1245.38/1249.74 c #Conflicts: 813000 | #Constraints: 49831 1245.38/1249.74 c #Conflicts: 814000 | #Constraints: 50831 1245.38/1249.74 c #Conflicts: 815000 | #Constraints: 51831 1245.38/1249.74 c #Conflicts: 816000 | #Constraints: 52831 1245.38/1249.74 c #Conflicts: 817000 | #Constraints: 53831 1245.38/1249.74 c #Conflicts: 818000 | #Constraints: 54831 1245.38/1249.74 c #Conflicts: 819000 | #Constraints: 55831 1245.38/1249.74 c #Conflicts: 820000 | #Constraints: 56831 1245.38/1249.74 c #Conflicts: 821000 | #Constraints: 57831 1245.38/1249.74 c #Conflicts: 822000 | #Constraints: 58831 1245.38/1249.74 c #Conflicts: 823000 | #Constraints: 59831 1245.38/1249.74 c #Conflicts: 824000 | #Constraints: 60831 1245.38/1249.74 c #Conflicts: 825000 | #Constraints: 61831 1245.38/1249.74 c #Conflicts: 826000 | #Constraints: 62831 1245.38/1249.74 c #Conflicts: 827000 | #Constraints: 63832 1245.38/1249.74 c #Conflicts: 828000 | #Constraints: 64832 1245.38/1249.74 c #Conflicts: 829000 | #Constraints: 65832 1245.38/1249.74 c #Conflicts: 830000 | #Constraints: 66833 1245.38/1249.74 c #Conflicts: 831000 | #Constraints: 67833 1245.38/1249.74 c #Conflicts: 832000 | #Constraints: 68833 1245.38/1249.74 c #Conflicts: 833000 | #Constraints: 69833 1245.38/1249.74 c #Conflicts: 834000 | #Constraints: 70833 1245.38/1249.74 c #Conflicts: 835000 | #Constraints: 71833 1245.38/1249.74 c #Conflicts: 836000 | #Constraints: 72833 1245.38/1249.74 c #Conflicts: 837000 | #Constraints: 73833 1245.38/1249.74 c #Conflicts: 838000 | #Constraints: 74833 1245.38/1249.74 c #Conflicts: 839000 | #Constraints: 75833 1245.38/1249.74 c #Conflicts: 840000 | #Constraints: 76833 1245.38/1249.74 c #Conflicts: 841000 | #Constraints: 77833 1245.38/1249.74 c #Conflicts: 842000 | #Constraints: 78833 1245.38/1249.74 c #Conflicts: 843000 | #Constraints: 79833 1245.38/1249.74 c #Conflicts: 844000 | #Constraints: 80833 1245.38/1249.74 c #Conflicts: 845000 | #Constraints: 81833 1245.38/1249.74 c #Conflicts: 846000 | #Constraints: 82834 1245.38/1249.74 c #Conflicts: 847000 | #Constraints: 83834 1245.38/1249.74 c #Conflicts: 848000 | #Constraints: 84834 1245.38/1249.74 c #Conflicts: 849000 | #Constraints: 85834 1245.38/1249.74 c #Conflicts: 850000 | #Constraints: 86834 1245.38/1249.74 c #Conflicts: 851000 | #Constraints: 87834 1245.38/1249.74 c #Conflicts: 852000 | #Constraints: 88834 1245.38/1249.74 c #Conflicts: 853000 | #Constraints: 89834 1245.38/1249.74 c #Conflicts: 854000 | #Constraints: 90834 1245.38/1249.74 c #Conflicts: 855000 | #Constraints: 91834 1245.38/1249.74 c #Conflicts: 856000 | #Constraints: 92834 1245.38/1249.74 c #Conflicts: 857000 | #Constraints: 93834 1245.38/1249.74 c #Conflicts: 858000 | #Constraints: 94834 1245.38/1249.74 c #Conflicts: 859000 | #Constraints: 95834 1245.38/1249.74 c #Conflicts: 860000 | #Constraints: 96834 1245.38/1249.74 c #Conflicts: 861000 | #Constraints: 97834 1245.38/1249.74 c INPROCESSING 1245.38/1249.74 c GARBAGE COLLECT 1245.38/1249.74 c rational objective 107 1289.82/1294.37 c #Conflicts: 862000 | #Constraints: 53716 1289.82/1294.37 c #Conflicts: 863000 | #Constraints: 54716 1289.82/1294.37 c #Conflicts: 864000 | #Constraints: 55716 1289.82/1294.37 c #Conflicts: 865000 | #Constraints: 56716 1289.82/1294.37 c #Conflicts: 866000 | #Constraints: 57716 1289.82/1294.37 c #Conflicts: 867000 | #Constraints: 58716 1289.82/1294.37 c #Conflicts: 868000 | #Constraints: 59716 1289.82/1294.37 c #Conflicts: 869000 | #Constraints: 60717 1289.82/1294.37 c #Conflicts: 870000 | #Constraints: 61717 1289.82/1294.37 c #Conflicts: 871000 | #Constraints: 62717 1289.82/1294.37 c #Conflicts: 872000 | #Constraints: 63717 1289.82/1294.37 c #Conflicts: 873000 | #Constraints: 64717 1289.82/1294.37 c #Conflicts: 874000 | #Constraints: 65717 1289.82/1294.37 c #Conflicts: 875000 | #Constraints: 66718 1289.82/1294.37 c #Conflicts: 876000 | #Constraints: 67718 1289.82/1294.37 c #Conflicts: 877000 | #Constraints: 68718 1289.82/1294.37 c #Conflicts: 878000 | #Constraints: 69718 1289.82/1294.37 c #Conflicts: 879000 | #Constraints: 70718 1289.82/1294.37 c #Conflicts: 880000 | #Constraints: 71718 1289.82/1294.37 c #Conflicts: 881000 | #Constraints: 72718 1289.82/1294.37 c #Conflicts: 882000 | #Constraints: 73718 1289.82/1294.37 c #Conflicts: 883000 | #Constraints: 74718 1289.82/1294.37 c #Conflicts: 884000 | #Constraints: 75718 1289.82/1294.37 c INPROCESSING 1289.82/1294.37 c GARBAGE COLLECT 1289.82/1294.37 c rational objective 107 1324.81/1329.43 c #Conflicts: 885000 | #Constraints: 43144 1324.81/1329.43 c #Conflicts: 886000 | #Constraints: 44144 1324.81/1329.43 c #Conflicts: 887000 | #Constraints: 45144 1324.81/1329.43 c #Conflicts: 888000 | #Constraints: 46144 1324.81/1329.43 c #Conflicts: 889000 | #Constraints: 47144 1324.81/1329.43 c #Conflicts: 890000 | #Constraints: 48144 1324.81/1329.43 c #Conflicts: 891000 | #Constraints: 49144 1324.81/1329.43 c #Conflicts: 892000 | #Constraints: 50144 1324.81/1329.43 c #Conflicts: 893000 | #Constraints: 51144 1324.81/1329.43 c #Conflicts: 894000 | #Constraints: 52144 1324.81/1329.43 c #Conflicts: 895000 | #Constraints: 53144 1324.81/1329.43 c #Conflicts: 896000 | #Constraints: 54145 1324.81/1329.43 c #Conflicts: 897000 | #Constraints: 55146 1324.81/1329.43 c #Conflicts: 898000 | #Constraints: 56146 1324.81/1329.43 c #Conflicts: 899000 | #Constraints: 57146 1324.81/1329.43 c #Conflicts: 900000 | #Constraints: 58147 1324.81/1329.43 c #Conflicts: 901000 | #Constraints: 59147 1324.81/1329.43 c #Conflicts: 902000 | #Constraints: 60147 1324.81/1329.43 c #Conflicts: 903000 | #Constraints: 61147 1324.81/1329.43 c #Conflicts: 904000 | #Constraints: 62147 1324.81/1329.43 c #Conflicts: 905000 | #Constraints: 63147 1324.81/1329.43 c #Conflicts: 906000 | #Constraints: 64147 1324.81/1329.43 c INPROCESSING 1324.81/1329.43 c GARBAGE COLLECT 1324.81/1329.43 c rational objective 107 1354.90/1359.68 c #Conflicts: 907000 | #Constraints: 37160 1354.90/1359.68 c #Conflicts: 908000 | #Constraints: 38160 1354.90/1359.68 c #Conflicts: 909000 | #Constraints: 39160 1354.90/1359.68 c #Conflicts: 910000 | #Constraints: 40160 1354.90/1359.68 c #Conflicts: 911000 | #Constraints: 41160 1354.90/1359.68 c #Conflicts: 912000 | #Constraints: 42160 1354.90/1359.68 c #Conflicts: 913000 | #Constraints: 43160 1354.90/1359.68 c #Conflicts: 914000 | #Constraints: 44160 1354.90/1359.68 c #Conflicts: 915000 | #Constraints: 45160 1354.90/1359.68 c #Conflicts: 916000 | #Constraints: 46160 1354.90/1359.68 c #Conflicts: 917000 | #Constraints: 47160 1354.90/1359.68 c #Conflicts: 918000 | #Constraints: 48161 1354.90/1359.68 c #Conflicts: 919000 | #Constraints: 49161 1354.90/1359.68 c #Conflicts: 920000 | #Constraints: 50161 1354.90/1359.68 c #Conflicts: 921000 | #Constraints: 51161 1354.90/1359.68 c #Conflicts: 922000 | #Constraints: 52161 1354.90/1359.68 c #Conflicts: 923000 | #Constraints: 53161 1354.90/1359.68 c #Conflicts: 924000 | #Constraints: 54161 1354.90/1359.68 c #Conflicts: 925000 | #Constraints: 55161 1354.90/1359.68 c #Conflicts: 926000 | #Constraints: 56161 1354.90/1359.68 c #Conflicts: 927000 | #Constraints: 57161 1354.90/1359.68 c #Conflicts: 928000 | #Constraints: 58161 1354.90/1359.68 c INPROCESSING 1354.90/1359.68 c GARBAGE COLLECT 1354.90/1359.68 c rational objective 107 1492.63/1497.87 c #Conflicts: 929000 | #Constraints: 33972 1492.63/1497.87 c #Conflicts: 930000 | #Constraints: 34972 1492.63/1497.87 c #Conflicts: 931000 | #Constraints: 35972 1492.63/1497.87 c #Conflicts: 932000 | #Constraints: 36972 1492.63/1497.87 c #Conflicts: 933000 | #Constraints: 37972 1492.63/1497.87 c #Conflicts: 934000 | #Constraints: 38972 1492.63/1497.87 c #Conflicts: 935000 | #Constraints: 39972 1492.63/1497.87 c #Conflicts: 936000 | #Constraints: 40972 1492.63/1497.87 c #Conflicts: 937000 | #Constraints: 41972 1492.63/1497.87 c #Conflicts: 938000 | #Constraints: 42973 1492.63/1497.87 c #Conflicts: 939000 | #Constraints: 43973 1492.63/1497.87 c #Conflicts: 940000 | #Constraints: 44973 1492.63/1497.87 c #Conflicts: 941000 | #Constraints: 45973 1492.63/1497.87 c #Conflicts: 942000 | #Constraints: 46973 1492.63/1497.87 c #Conflicts: 943000 | #Constraints: 47973 1492.63/1497.87 c #Conflicts: 944000 | #Constraints: 48973 1492.63/1497.87 c #Conflicts: 945000 | #Constraints: 49974 1492.63/1497.87 c #Conflicts: 946000 | #Constraints: 50974 1492.63/1497.87 c #Conflicts: 947000 | #Constraints: 51974 1492.63/1497.87 c #Conflicts: 948000 | #Constraints: 52974 1492.63/1497.87 c #Conflicts: 949000 | #Constraints: 53974 1492.63/1497.87 c #Conflicts: 950000 | #Constraints: 54974 1492.63/1497.87 c #Conflicts: 951000 | #Constraints: 55974 1492.63/1497.87 c #Conflicts: 952000 | #Constraints: 56974 1492.63/1497.87 c #Conflicts: 953000 | #Constraints: 57974 1492.63/1497.87 c #Conflicts: 954000 | #Constraints: 58974 1492.63/1497.87 c #Conflicts: 955000 | #Constraints: 59974 1492.63/1497.87 c #Conflicts: 956000 | #Constraints: 60974 1492.63/1497.87 c #Conflicts: 957000 | #Constraints: 61975 1492.63/1497.87 c #Conflicts: 958000 | #Constraints: 62975 1492.63/1497.87 c #Conflicts: 959000 | #Constraints: 63975 1492.63/1497.87 c #Conflicts: 960000 | #Constraints: 64975 1492.63/1497.87 c #Conflicts: 961000 | #Constraints: 65975 1492.63/1497.87 c #Conflicts: 962000 | #Constraints: 66975 1492.63/1497.87 c #Conflicts: 963000 | #Constraints: 67975 1492.63/1497.87 c #Conflicts: 964000 | #Constraints: 68975 1492.63/1497.87 c #Conflicts: 965000 | #Constraints: 69975 1492.63/1497.87 c #Conflicts: 966000 | #Constraints: 70975 1492.63/1497.87 c #Conflicts: 967000 | #Constraints: 71975 1492.63/1497.87 c #Conflicts: 968000 | #Constraints: 72975 1492.63/1497.87 c #Conflicts: 969000 | #Constraints: 73975 1492.63/1497.87 c #Conflicts: 970000 | #Constraints: 74975 1492.63/1497.87 c #Conflicts: 971000 | #Constraints: 75975 1492.63/1497.87 c #Conflicts: 972000 | #Constraints: 76975 1492.63/1497.87 c #Conflicts: 973000 | #Constraints: 77975 1492.63/1497.87 c #Conflicts: 974000 | #Constraints: 78975 1492.63/1497.87 c #Conflicts: 975000 | #Constraints: 79975 1492.63/1497.87 c #Conflicts: 976000 | #Constraints: 80975 1492.63/1497.87 c #Conflicts: 977000 | #Constraints: 81975 1492.63/1497.87 c #Conflicts: 978000 | #Constraints: 82975 1492.63/1497.87 c #Conflicts: 979000 | #Constraints: 83975 1492.63/1497.87 c #Conflicts: 980000 | #Constraints: 84975 1492.63/1497.87 c #Conflicts: 981000 | #Constraints: 85975 1492.63/1497.87 c #Conflicts: 982000 | #Constraints: 86975 1492.63/1497.87 c #Conflicts: 983000 | #Constraints: 87975 1492.63/1497.87 c #Conflicts: 984000 | #Constraints: 88975 1492.63/1497.87 c #Conflicts: 985000 | #Constraints: 89975 1492.63/1497.87 c #Conflicts: 986000 | #Constraints: 90975 1492.63/1497.87 c #Conflicts: 987000 | #Constraints: 91975 1492.63/1497.87 c #Conflicts: 988000 | #Constraints: 92975 1492.63/1497.87 c #Conflicts: 989000 | #Constraints: 93975 1492.63/1497.87 c #Conflicts: 990000 | #Constraints: 94976 1492.63/1497.87 c #Conflicts: 991000 | #Constraints: 95976 1492.63/1497.87 c #Conflicts: 992000 | #Constraints: 96976 1492.63/1497.87 c #Conflicts: 993000 | #Constraints: 97976 1492.63/1497.87 c #Conflicts: 994000 | #Constraints: 98976 1492.63/1497.87 c #Conflicts: 995000 | #Constraints: 99976 1492.63/1497.87 c #Conflicts: 996000 | #Constraints: 100976 1492.63/1497.87 c #Conflicts: 997000 | #Constraints: 101976 1492.63/1497.87 c #Conflicts: 998000 | #Constraints: 102976 1492.63/1497.87 c #Conflicts: 999000 | #Constraints: 103976 1492.63/1497.87 c #Conflicts: 1000000 | #Constraints: 104976 1492.63/1497.87 c #Conflicts: 1001000 | #Constraints: 105976 1492.63/1497.87 c INPROCESSING 1492.63/1497.87 c GARBAGE COLLECT 1492.63/1497.87 c rational objective 107 1502.50/1507.75 c #Conflicts: 1002000 | #Constraints: 58285 1502.50/1507.75 c #Conflicts: 1003000 | #Constraints: 59285 1502.50/1507.75 c #Conflicts: 1004000 | #Constraints: 60285 1502.50/1507.75 c #Conflicts: 1005000 | #Constraints: 61285 1502.50/1507.75 c #Conflicts: 1006000 | #Constraints: 62285 1502.50/1507.75 c #Conflicts: 1007000 | #Constraints: 63286 1502.50/1507.75 c cpu time 1480.11 s 1502.50/1507.75 c deterministic time 164535548518 1.65e+11 1502.50/1507.75 c optimization time 9.3e-05 s 1502.50/1507.75 c total solve time 1480.08 s 1502.50/1507.75 c core-guided solve time 0 s 1502.50/1507.75 c propagation time 1002.66 s 1502.50/1507.75 c conflict analysis time 347.622 s 1502.50/1507.75 c propagations 390120234 1502.50/1507.75 c resolve steps 32806470 1502.50/1507.75 c decisions 9837422 1502.50/1507.75 c conflicts 1007897 1502.50/1507.75 c restarts 2045 1502.50/1507.75 c inprocessing phases 55 1502.50/1507.75 c input clauses 7385 1502.50/1507.75 c input cardinalities 107 1502.50/1507.75 c input general constraints 0 1502.50/1507.75 c input average constraint length 6.24 1502.50/1507.75 c input average constraint degree 1.94 1502.50/1507.75 c learned clauses 670125 1502.50/1507.75 c learned cardinalities 27774 1502.50/1507.75 c learned general constraints 310086 1502.50/1507.75 c learned average constraint length 768.95 1502.50/1507.75 c learned average constraint degree 30374108.21 1502.50/1507.75 c watched constraints 248254 1502.50/1507.75 c counting constraints 61832 1502.50/1507.75 c gcd simplifications 2495 1502.50/1507.75 c detected cardinalities 2608 1502.50/1507.75 c weakened non-implied lits 134828484 1502.50/1507.75 c weakened non-implying lits 282335 1502.50/1507.75 c original variables 7276 1502.50/1507.75 c clausal propagations 147753045 1502.50/1507.75 c cardinality propagations 142464927 1502.50/1507.75 c watched propagations 25322976 1502.50/1507.75 c counting propagations 70567668 1502.50/1507.75 c watch lookups 11380449838 1502.50/1507.75 c watch backjump lookups 9059085608 1502.50/1507.75 c watch checks 113791927500 1502.50/1507.75 c propagation checks 27223984449 1502.50/1507.75 c constraint additions 2277960104 1502.50/1507.75 c trail pops 400965034 1502.50/1507.75 c formula constraints 7492 1502.50/1507.75 c learned constraints 1007810 1502.50/1507.75 c bound constraints 0 1502.50/1507.75 c core-guided constraints 0 1502.50/1507.75 c encountered formula constraints 19419507 1502.50/1507.75 c encountered learned constraints 14393809 1502.50/1507.75 c encountered bound constraints 0 1502.50/1507.75 c encountered core-guided constraints 0 1502.50/1507.75 c LP total time 381.772 s 1502.50/1507.75 c LP solve time 378.06 s 1502.50/1507.75 c LP constraints added 10094 1502.50/1507.75 c LP constraints removed 2546 1502.50/1507.75 c LP pivots internal 1011340 1502.50/1507.75 c LP pivots root 206988 1502.50/1507.75 c LP calls 233 1502.50/1507.75 c LP optimalities 140 1502.50/1507.75 c LP no pivot count 5 1502.50/1507.75 c LP infeasibilities 88 1502.50/1507.75 c LP valid Farkas constraints 88 1502.50/1507.75 c LP learned Farkas constraints 87 1502.50/1507.75 c LP basis resets 0 1502.50/1507.75 c LP cycling count 0 1502.50/1507.75 c LP singular count 0 1502.50/1507.75 c LP no primal count 0 1502.50/1507.75 c LP no farkas count 0 1502.50/1507.75 c LP other issue count 0 1502.50/1507.75 c LP Gomory cuts 0 1502.50/1507.75 c LP learned cuts 2602 1502.50/1507.75 c LP deleted cuts 2546 1502.50/1507.75 c LP encountered Gomory constraints 0 1502.50/1507.75 c LP encountered Farkas constraints 628 1502.50/1507.75 c LP encountered learned Farkas constraints 336 1502.50/1507.75 c CG auxiliary variables introduced 0 1502.50/1507.75 c CG solutions found 0 1502.50/1507.75 c CG cores constructed 0 1502.50/1507.75 c CG core cardinality constraints returned 0 1502.50/1507.75 c CG unit cores 0 1502.50/1507.75 c CG single cores 0 1502.50/1507.75 c CG blocks removed during cardinality reduction 0 1502.50/1507.75 c CG first core best 0 1502.50/1507.75 c CG decision core best 0 1502.50/1507.75 c CG core reduction tie 0 1502.50/1507.75 c CG core degree average 0.00 1502.50/1507.75 c CG core slack average 0.00 1502.50/1507.75 s SATISFIABLE 1502.50/1507.75 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 -x265 x266 -x267 x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 x1066 -x1067 x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 x2097 -x2098 x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 x3436 -x3437 x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 x3752 -x3753 x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 x4402 -x4403 -x4404 -x4405 -x4406 -x4407 x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 x4617 -x4618 x4619 -x4620 x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 x4683 -x4684 x4685 -x4686 x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 x5116 -x5117 x5118 -x5119 x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 x6194 -x6195 -x6196 -x6197 -x6198 -x6199 x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 x6298 -x6299 x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 x6317 -x6318 x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 x6353 -x6354 -x6355 -x6356 x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 x6568 -x6569 x6570 -x6571 x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 x6838 -x6839 x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 x7158 -x7159 -x7160 -x7161 x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 x7276
OK 0
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 (57006 MiB free)
memory of node 1: 64473 MiB (57786 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457181-1721830217/watcher-4457181-1721830217 -o /tmp/evaluation-result-4457181-1721830217/solver-4457181-1721830217 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721830217-244499 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457181-1721830217 --lp-cut-gomory=0 HOME/instance-4457181-1721830217.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=244552, runsolver pid=244545
Current StackSize limit: 8192 KiB
[startup+0.107447 s]*
/proc/loadavg: 1.09 1.12 1.41 5/263 244563
/proc/meminfo: memFree=117532084/131524600 swapFree=131071216/131071996
[pid=244552] ppid=244545 vsize=40912 memory=10828 CPUtime=0.02 cores=0,2
/proc/244552/stat : 244552 (roundingsat) R 244545 244552 244489 0 -1 4194304 1645 0 1 0 2 0 0 0 20 0 1 0 19544253 41893888 2707 134679101440 4194304 8254037 140731462298576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 7 0 0 9037040 9046032 41570304 140731462300508 140731462300770 140731462300770 140731462307785 0
/proc/244552/statm: 10228 2707 1670 992 0 2086 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 40912 KiB
Current children cumulated memory: 10828 KiB
[startup+0.2051 s]*
/proc/loadavg: 1.09 1.12 1.41 5/263 244563
/proc/meminfo: memFree=117501040/131524600 swapFree=131071216/131071996
[pid=244552] ppid=244545 vsize=50260 memory=19108 CPUtime=0.12 cores=0,2
/proc/244552/stat : 244552 (roundingsat) R 244545 244552 244489 0 -1 4194304 3987 0 1 0 11 1 0 0 20 0 1 0 19544253 51466240 4777 134679101440 4194304 8254037 140731462298576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 7 0 0 9037040 9046032 41570304 140731462300508 140731462300770 140731462300770 140731462307785 0
/proc/244552/statm: 12565 4777 1718 992 0 4423 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 50260 KiB
Current children cumulated memory: 19108 KiB
[startup+0.305954 s]*
/proc/loadavg: 1.09 1.12 1.41 7/263 244563
/proc/meminfo: memFree=117497440/131524600 swapFree=131071216/131071996
[pid=244552] ppid=244545 vsize=51424 memory=20164 CPUtime=0.22 cores=0,2
/proc/244552/stat : 244552 (roundingsat) R 244545 244552 244489 0 -1 4194304 4267 0 1 0 21 1 0 0 20 0 1 0 19544253 52658176 5041 134679101440 4194304 8254037 140731462298576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 7 0 0 9037040 9046032 41570304 140731462300508 140731462300770 140731462300770 140731462307785 0
/proc/244552/statm: 12856 5041 1718 992 0 4714 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 51424 KiB
Current children cumulated memory: 20164 KiB
[startup+0.700185 s]
/proc/loadavg: 1.09 1.12 1.41 6/263 244563
/proc/meminfo: memFree=117496216/131524600 swapFree=131071216/131071996
[pid=244552] ppid=244545 vsize=51424 memory=20428 CPUtime=0.61 cores=0,2
/proc/244552/stat : 244552 (roundingsat) R 244545 244552 244489 0 -1 4194304 4290 0 1 0 60 1 0 0 20 0 1 0 19544253 52658176 5107 134679101440 4194304 8254037 140731462298576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 7 0 0 9037040 9046032 41570304 140731462300508 140731462300770 140731462300770 140731462307785 0
/proc/244552/statm: 12856 5107 1718 992 0 4714 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 51424 KiB
Current children cumulated memory: 20428 KiB
[startup+1.50019 s]
/proc/loadavg: 1.09 1.12 1.41 6/263 244563
/proc/meminfo: memFree=117484544/131524600 swapFree=131071216/131071996
[pid=244552] ppid=244545 vsize=53176 memory=24232 CPUtime=1.41 cores=0,2
/proc/244552/stat : 244552 (roundingsat) R 244545 244552 244489 0 -1 4194304 4709 0 1 0 132 9 0 0 20 0 1 0 19544253 54452224 6058 134679101440 4194304 8254037 140731462298576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 7 0 0 9037040 9046032 41570304 140731462300508 140731462300770 140731462300770 140731462307785 0
/proc/244552/statm: 13294 6058 1765 992 0 5152 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 53176 KiB
Current children cumulated memory: 24232 KiB
[startup+3.10646 s]
/proc/loadavg: 1.32 1.17 1.43 6/263 244563
/proc/meminfo: memFree=117462820/131524600 swapFree=131071216/131071996
[pid=244552] ppid=244545 vsize=54444 memory=25780 CPUtime=3.01 cores=0,2
/proc/244552/stat : 244552 (roundingsat) R 244545 244552 244489 0 -1 4194304 5114 0 1 0 290 11 0 0 20 0 1 0 19544253 55750656 6445 134679101440 4194304 8254037 140731462298576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 7 0 0 9037040 9046032 41570304 140731462300508 140731462300770 140731462300770 140731462307785 0
/proc/244552/statm: 13611 6445 1765 992 0 5469 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 54444 KiB
Current children cumulated memory: 25780 KiB
[startup+6.30017 s]
/proc/loadavg: 1.32 1.17 1.43 6/263 244565
/proc/meminfo: memFree=117436760/131524600 swapFree=131071216/131071996
[pid=244552] ppid=244545 vsize=55084 memory=26572 CPUtime=6.19 cores=0,2
/proc/244552/stat : 244552 (roundingsat) R 244545 244552 244489 0 -1 4194304 5323 0 1 0 603 16 0 0 20 0 1 0 19544253 56406016 6643 134679101440 4194304 8254037 140731462298576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 7 0 0 9037040 9046032 41570304 140731462300508 140731462300770 140731462300770 140731462307785 0
/proc/244552/statm: 13771 6643 1765 992 0 5629 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 55084 KiB
Current children cumulated memory: 26572 KiB
[startup+12.7002 s]
/proc/loadavg: 1.81 1.28 1.46 6/263 244565
/proc/meminfo: memFree=117383808/131524600 swapFree=131071216/131071996
[pid=244552] ppid=244545 vsize=60564 memory=33368 CPUtime=12.57 cores=0,2
/proc/244552/stat : 244552 (roundingsat) R 244545 244552 244489 0 -1 4194304 6391 0 1 0 1224 33 0 0 20 0 1 0 19544253 62017536 8342 134679101440 4194304 8254037 140731462298576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 7 0 0 9037040 9046032 41570304 140731462300508 140731462300770 140731462300770 140731462307785 0
/proc/244552/statm: 15141 8342 1871 992 0 6999 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 60564 KiB
Current children cumulated memory: 33368 KiB
[startup+25.5002 s]
/proc/loadavg: 2.15 1.37 1.49 6/263 244568
/proc/meminfo: memFree=117277456/131524600 swapFree=131071216/131071996
[pid=244552] ppid=244545 vsize=64076 memory=37044 CPUtime=25.34 cores=0,2
/proc/244552/stat : 244552 (roundingsat) R 244545 244552 244489 0 -1 4194304 7330 0 1 0 2472 62 0 0 20 0 1 0 19544253 65613824 9261 134679101440 4194304 8254037 140731462298576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 7 0 0 9037040 9046032 41570304 140731462300508 140731462300770 140731462300770 140731462307785 0
/proc/244552/statm: 16019 9261 1871 992 0 7877 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 64076 KiB
Current children cumulated memory: 37044 KiB
[startup+51.1065 s]
/proc/loadavg: 2.85 1.60 1.56 6/263 244571
/proc/meminfo: memFree=116989768/131524600 swapFree=131071216/131071996
[pid=244552] ppid=244545 vsize=115516 memory=74552 CPUtime=50.86 cores=0,2
/proc/244552/stat : 244552 (roundingsat) R 244545 244552 244489 0 -1 4194304 11360 0 1 0 4946 140 0 0 20 0 1 0 19544253 118288384 18638 134679101440 4194304 8254037 140731462298576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 7 0 0 9037040 9046032 41570304 140731462300508 140731462300770 140731462300770 140731462307785 0
/proc/244552/statm: 28879 18638 1871 992 0 20737 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 115516 KiB
Current children cumulated memory: 74552 KiB
[startup+102.3 s]
/proc/loadavg: 3.65 2.04 1.72 6/263 244579
/proc/meminfo: memFree=116585580/131524600 swapFree=131071216/131071996
[pid=244552] ppid=244545 vsize=156496 memory=105312 CPUtime=101.89 cores=0,2
/proc/244552/stat : 244552 (roundingsat) R 244545 244552 244489 0 -1 4194304 14441 0 1 0 9952 237 0 0 20 0 1 0 19544253 160251904 26328 134679101440 4194304 8254037 140731462298576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 7 0 0 9037040 9046032 41570304 140731462300508 140731462300770 140731462300770 140731462307785 0
/proc/244552/statm: 39124 26328 1871 992 0 30982 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 156496 KiB
Current children cumulated memory: 105312 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.41 1.87 6/263 244591
/proc/meminfo: memFree=115882408/131524600 swapFree=131071216/131071996
[pid=244552] ppid=244545 vsize=168832 memory=137852 CPUtime=161.7 cores=0,2
/proc/244552/stat : 244552 (roundingsat) R 244545 244552 244489 0 -1 4194304 17477 0 1 0 15809 361 0 0 20 0 1 0 19544253 172883968 34463 134679101440 4194304 8254037 140731462298576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 7 0 0 9037040 9046032 41570304 140731462300508 140731462300770 140731462300770 140731462307785 0
/proc/244552/statm: 42208 34463 1871 992 0 34066 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 168832 KiB
Current children cumulated memory: 137852 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 2.73 2.01 6/262 244602
/proc/meminfo: memFree=115414656/131524600 swapFree=131071216/131071996
[pid=244552] ppid=244545 vsize=224568 memory=150836 CPUtime=221.51 cores=0,2
/proc/244552/stat : 244552 (roundingsat) R 244545 244552 244489 0 -1 4194304 19725 0 1 0 21662 489 0 0 20 0 1 0 19544253 229957632 37709 134679101440 4194304 8254037 140731462298576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 7 0 0 9037040 9046032 41570304 140731462300508 140731462300770 140731462300770 140731462307785 0
/proc/244552/statm: 56142 37709 1871 992 0 48000 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 224568 KiB
Current children cumulated memory: 150836 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 2.98 2.15 7/262 244612
/proc/meminfo: memFree=114839976/131524600 swapFree=131071216/131071996
[pid=244552] ppid=244545 vsize=313796 memory=238156 CPUtime=281.31 cores=0,2
/proc/244552/stat : 244552 (roundingsat) R 244545 244552 244489 0 -1 4194304 22541 0 1 0 27570 561 0 0 20 0 1 0 19544253 321327104 59539 134679101440 4194304 8254037 140731462298576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 7 0 0 9037040 9046032 41570304 140731462300508 140731462300770 140731462300770 140731462307785 0
/proc/244552/statm: 78449 59539 1871 992 0 70307 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 313796 KiB
Current children cumulated memory: 238156 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.19 2.27 6/257 244622
/proc/meminfo: memFree=114299984/131524600 swapFree=131071216/131071996
[pid=244552] ppid=244545 vsize=320768 memory=265004 CPUtime=341.11 cores=0,2
/proc/244552/stat : 244552 (roundingsat) R 244545 244552 244489 0 -1 4194304 24234 0 1 0 33433 678 0 0 20 0 1 0 19544253 328466432 66251 134679101440 4194304 8254037 140731462298576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 7 0 0 9037040 9046032 41570304 140731462300508 140731462300770 140731462300770 140731462307785 0
/proc/244552/statm: 80192 66251 1871 992 0 72050 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 320768 KiB
Current children cumulated memory: 265004 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.37 2.39 6/257 244633
/proc/meminfo: memFree=113879040/131524600 swapFree=131071216/131071996
[pid=244552] ppid=244545 vsize=326952 memory=271220 CPUtime=400.91 cores=0,2
/proc/244552/stat : 244552 (roundingsat) R 244545 244552 244489 0 -1 4194304 25813 0 1 0 39321 770 0 0 20 0 1 0 19544253 334798848 67805 134679101440 4194304 8254037 140731462298576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 7 0 0 9037040 9046032 41570304 140731462300508 140731462300770 140731462300770 140731462307785 0
/proc/244552/statm: 81738 67805 1871 992 0 73596 0
Current children cumulated CPU time: 400.91 s
Current children cumulated vsize: 326952 KiB
Current children cumulated memory: 271220 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.50 2.50 6/257 244643
/proc/meminfo: memFree=113431972/131524600 swapFree=131071216/131071996
[pid=244552] ppid=244545 vsize=328260 memory=272608 CPUtime=460.72 cores=0,2
/proc/244552/stat : 244552 (roundingsat) R 244545 244552 244489 0 -1 4194304 26598 0 1 0 45194 878 0 0 20 0 1 0 19544253 336138240 68152 134679101440 4194304 8254037 140731462298576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 7 0 0 9037040 9046032 41570304 140731462300508 140731462300770 140731462300770 140731462307785 0
/proc/244552/statm: 82065 68152 1871 992 0 73923 0
################
# More data... #
################
/proc/loadavg: 4.10 4.06 3.36 6/260 245317
/proc/meminfo: memFree=108477140/131524600 swapFree=131071216/131071996
[pid=244552] ppid=244545 vsize=709292 memory=488572 CPUtime=1118.42 cores=0,2
/proc/244552/stat : 244552 (roundingsat) R 244545 244552 244489 0 -1 4194304 37869 0 1 0 110062 1780 0 0 20 0 1 0 19544253 726315008 122143 134679101440 4194304 8254037 140731462298576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 7 0 0 9037040 9046032 41570304 140731462300508 140731462300770 140731462300770 140731462307785 0
/proc/244552/statm: 177323 122143 1871 992 0 169181 0
Current children cumulated CPU time: 1118.42 s
Current children cumulated vsize: 709292 KiB
Current children cumulated memory: 488572 KiB
[startup+1182.3 s]
/proc/loadavg: 4.14 4.08 3.41 6/259 245327
/proc/meminfo: memFree=108139616/131524600 swapFree=131071216/131071996
[pid=244552] ppid=244545 vsize=709292 memory=488604 CPUtime=1178.2 cores=0,2
/proc/244552/stat : 244552 (roundingsat) R 244545 244552 244489 0 -1 4194304 37956 0 1 0 115954 1866 0 0 20 0 1 0 19544253 726315008 122151 134679101440 4194304 8254037 140731462298576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 7 0 0 9037040 9046032 41570304 140731462300508 140731462300770 140731462300770 140731462307785 0
/proc/244552/statm: 177323 122151 1871 992 0 169181 0
Current children cumulated CPU time: 1178.2 s
Current children cumulated vsize: 709292 KiB
Current children cumulated memory: 488604 KiB
[startup+1242.3 s]
/proc/loadavg: 4.10 4.08 3.46 6/263 245398
/proc/meminfo: memFree=107801580/131524600 swapFree=131071216/131071996
[pid=244552] ppid=244545 vsize=719852 memory=497624 CPUtime=1238 cores=0,2
/proc/244552/stat : 244552 (roundingsat) R 244545 244552 244489 0 -1 4194304 40320 0 1 0 121881 1919 0 0 20 0 1 0 19544253 737128448 124406 134679101440 4194304 8254037 140731462298576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 7 0 0 9037040 9046032 41570304 140731462300508 140731462300770 140731462300770 140731462307785 0
/proc/244552/statm: 179963 124406 1871 992 0 171821 0
Current children cumulated CPU time: 1238 s
Current children cumulated vsize: 719852 KiB
Current children cumulated memory: 497624 KiB
[startup+1302.3 s]
/proc/loadavg: 4.11 4.08 3.50 6/263 245409
/proc/meminfo: memFree=107425048/131524600 swapFree=131071216/131071996
[pid=244552] ppid=244545 vsize=723096 memory=500068 CPUtime=1297.8 cores=0,2
/proc/244552/stat : 244552 (roundingsat) R 244545 244552 244489 0 -1 4194304 41837 0 1 0 127778 2002 0 0 20 0 1 0 19544253 740450304 125017 134679101440 4194304 8254037 140731462298576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 7 0 0 9037040 9046032 41570304 140731462300508 140731462300770 140731462300770 140731462307785 0
/proc/244552/statm: 180774 125017 1871 992 0 172632 0
Current children cumulated CPU time: 1297.8 s
Current children cumulated vsize: 723096 KiB
Current children cumulated memory: 500068 KiB
[startup+1362.3 s]
/proc/loadavg: 4.10 4.08 3.54 6/264 245421
/proc/meminfo: memFree=107024428/131524600 swapFree=131071216/131071996
[pid=244552] ppid=244545 vsize=723260 memory=500572 CPUtime=1357.59 cores=0,2
/proc/244552/stat : 244552 (roundingsat) R 244545 244552 244489 0 -1 4194304 42438 0 1 0 133654 2105 0 0 20 0 1 0 19544253 740618240 125143 134679101440 4194304 8254037 140731462298576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 7 0 0 9037040 9046032 41570304 140731462300508 140731462300770 140731462300770 140731462307785 0
/proc/244552/statm: 180815 125143 1871 992 0 172673 0
Current children cumulated CPU time: 1357.59 s
Current children cumulated vsize: 723260 KiB
Current children cumulated memory: 500572 KiB
[startup+1422.3 s]
/proc/loadavg: 4.08 4.08 3.58 6/262 245431
/proc/meminfo: memFree=106621024/131524600 swapFree=131071216/131071996
[pid=244552] ppid=244545 vsize=723552 memory=500840 CPUtime=1417.39 cores=0,2
/proc/244552/stat : 244552 (roundingsat) R 244545 244552 244489 0 -1 4194304 42549 0 1 0 139563 2176 0 0 20 0 1 0 19544253 740917248 125210 134679101440 4194304 8254037 140731462298576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 7 0 0 9037040 9046032 41570304 140731462300508 140731462300770 140731462300770 140731462307785 0
/proc/244552/statm: 180888 125210 1871 992 0 172746 0
Current children cumulated CPU time: 1417.39 s
Current children cumulated vsize: 723552 KiB
Current children cumulated memory: 500840 KiB
[startup+1482.3 s]
/proc/loadavg: 4.06 4.08 3.61 6/262 245441
/proc/meminfo: memFree=106320652/131524600 swapFree=131071216/131071996
[pid=244552] ppid=244545 vsize=727944 memory=504872 CPUtime=1477.18 cores=0,2
/proc/244552/stat : 244552 (roundingsat) R 244545 244552 244489 0 -1 4194304 43733 0 1 0 145498 2220 0 0 20 0 1 0 19544253 745414656 126218 134679101440 4194304 8254037 140731462298576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 7 0 0 9037040 9046032 41570304 140731462300508 140731462300770 140731462300770 140731462307785 0
/proc/244552/statm: 181986 126218 1871 992 0 173844 0
Current children cumulated CPU time: 1477.18 s
Current children cumulated vsize: 727944 KiB
Current children cumulated memory: 504872 KiB
[startup+1507.77 s]
# the end of solver process 244552 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1480.11 s, system=22.4609 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1484.8 s]
/proc/loadavg: 4.06 4.08 3.61 6/262 245441
/proc/meminfo: memFree=106311464/131524600 swapFree=131071216/131071996
[pid=244552] ppid=244545 vsize=729004 memory=505400 CPUtime=1479.68 cores=0,2
/proc/244552/stat : 244552 (roundingsat) R 244545 244552 244489 0 -1 4194304 43891 0 1 0 145744 2224 0 0 20 0 1 0 19544253 746500096 126350 134679101440 4194304 8254037 140731462298576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 7 0 0 9037040 9046032 41570304 140731462300508 140731462300770 140731462300770 140731462307785 0
/proc/244552/statm: 182251 126350 1871 992 0 174109 0
Current children cumulated CPU time: 1479.68 s
Current children cumulated vsize: 729004 KiB
Current children cumulated memory: 505400 KiB
[startup+1497.6 s]
/proc/loadavg: 4.05 4.07 3.62 6/262 245445
/proc/meminfo: memFree=106224016/131524600 swapFree=131071216/131071996
[pid=244552] ppid=244545 vsize=729720 memory=524844 CPUtime=1492.43 cores=0,2
/proc/244552/stat : 244552 (roundingsat) R 244545 244552 244489 0 -1 4194304 44127 0 1 0 147010 2233 0 0 20 0 1 0 19544253 747233280 131211 134679101440 4194304 8254037 140731462298576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 7 0 0 9037040 9046032 41570304 140731462300508 140731462300770 140731462300770 140731462307785 0
/proc/244552/statm: 182430 131211 1871 992 0 174288 0
Current children cumulated CPU time: 1492.43 s
Current children cumulated vsize: 729720 KiB
Current children cumulated memory: 524844 KiB
[startup+1504 s]*
/proc/loadavg: 4.04 4.07 3.62 7/262 245446
/proc/meminfo: memFree=106175368/131524600 swapFree=131071216/131071996
[pid=244552] ppid=244545 vsize=730524 memory=525488 CPUtime=1498.82 cores=0,2
/proc/244552/stat : 244552 (roundingsat) R 244545 244552 244489 0 -1 4194304 44696 0 1 0 147643 2239 0 0 20 0 1 0 19544253 748056576 131372 134679101440 4194304 8254037 140731462298576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 7 0 0 9037040 9046032 41570304 140731462300508 140731462300770 140731462300770 140731462307785 0
/proc/244552/statm: 182631 131372 1871 992 0 174489 0
Current children cumulated CPU time: 1498.82 s
Current children cumulated vsize: 730524 KiB
Current children cumulated memory: 525488 KiB
[startup+1505.6 s]
/proc/loadavg: 4.04 4.07 3.62 6/262 245448
/proc/meminfo: memFree=106172604/131524600 swapFree=131071216/131071996
[pid=244552] ppid=244545 vsize=730684 memory=525748 CPUtime=1500.41 cores=0,2
/proc/244552/stat : 244552 (roundingsat) R 244545 244552 244489 0 -1 4194304 44779 0 1 0 147800 2241 0 0 20 0 1 0 19544253 748220416 131437 134679101440 4194304 8254037 140731462298576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 7 0 0 9037040 9046032 41570304 140731462300508 140731462300770 140731462300770 140731462307785 0
/proc/244552/statm: 182671 131437 1871 992 0 174529 0
Current children cumulated CPU time: 1500.41 s
Current children cumulated vsize: 730684 KiB
Current children cumulated memory: 525748 KiB
[startup+1506.4 s]
/proc/loadavg: 4.04 4.07 3.62 6/262 245448
/proc/meminfo: memFree=106169976/131524600 swapFree=131071216/131071996
[pid=244552] ppid=244545 vsize=730684 memory=525748 CPUtime=1501.21 cores=0,2
/proc/244552/stat : 244552 (roundingsat) R 244545 244552 244489 0 -1 4194304 44779 0 1 0 147878 2243 0 0 20 0 1 0 19544253 748220416 131437 134679101440 4194304 8254037 140731462298576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 7 0 0 9037040 9046032 41570304 140731462300508 140731462300770 140731462300770 140731462307785 0
/proc/244552/statm: 182671 131437 1871 992 0 174529 0
Current children cumulated CPU time: 1501.21 s
Current children cumulated vsize: 730684 KiB
Current children cumulated memory: 525748 KiB
[startup+1507.2 s]
/proc/loadavg: 4.04 4.07 3.62 6/262 245448
/proc/meminfo: memFree=106162176/131524600 swapFree=131071216/131071996
[pid=244552] ppid=244545 vsize=730684 memory=525748 CPUtime=1502.01 cores=0,2
/proc/244552/stat : 244552 (roundingsat) R 244545 244552 244489 0 -1 4194304 44779 0 1 0 147957 2244 0 0 20 0 1 0 19544253 748220416 131437 134679101440 4194304 8254037 140731462298576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 7 0 0 9037040 9046032 41570304 140731462300508 140731462300770 140731462300770 140731462307785 0
/proc/244552/statm: 182671 131437 1871 992 0 174529 0
Current children cumulated CPU time: 1502.01 s
Current children cumulated vsize: 730684 KiB
Current children cumulated memory: 525748 KiB
[startup+1507.6 s]
/proc/loadavg: 4.04 4.07 3.62 6/262 245448
/proc/meminfo: memFree=106162176/131524600 swapFree=131071216/131071996
[pid=244552] ppid=244545 vsize=730684 memory=525748 CPUtime=1502.4 cores=0,2
/proc/244552/stat : 244552 (roundingsat) R 244545 244552 244489 0 -1 4194304 44779 0 1 0 147996 2244 0 0 20 0 1 0 19544253 748220416 131437 134679101440 4194304 8254037 140731462298576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 7 0 0 9037040 9046032 41570304 140731462300508 140731462300770 140731462300770 140731462307785 0
/proc/244552/statm: 182671 131437 1871 992 0 174529 0
Current children cumulated CPU time: 1502.4 s
Current children cumulated vsize: 730684 KiB
Current children cumulated memory: 525748 KiB
[startup+1507.7 s]
/proc/loadavg: 4.04 4.07 3.62 6/262 245448
/proc/meminfo: memFree=106162176/131524600 swapFree=131071216/131071996
[pid=244552] ppid=244545 vsize=730684 memory=525748 CPUtime=1502.5 cores=0,2
/proc/244552/stat : 244552 (roundingsat) R 244545 244552 244489 0 -1 4194304 44779 0 1 0 148005 2245 0 0 20 0 1 0 19544253 748220416 131437 134679101440 4194304 8254037 140731462298576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 7 0 0 9037040 9046032 41570304 140731462300508 140731462300770 140731462300770 140731462307785 0
/proc/244552/statm: 182671 131437 1871 992 0 174529 0
Current children cumulated CPU time: 1502.5 s
Current children cumulated vsize: 730684 KiB
Current children cumulated memory: 525748 KiB
Child status: 0
Real time (s): 1507.77
CPU time (s): 1502.57
CPU user time (s): 1480.11
CPU system time (s): 22.4609
CPU usage (%): 99.655
Max. virtual memory (cumulated for all children) (KiB): 732024
Max. memory (cumulated for all children) (KiB): 526952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1480.11
system time used= 22.4609
maximum resident set size= 526952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44787
page faults= 1
swaps= 0
block input operations= 24
block output operations= 4608552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 194
involuntary context switches= 10633
# summary of solver processes directly reported to runsolver:
# pid: 244552
# total CPU time (s): 1502.57
# total CPU user time (s): 1480.11
# total CPU system time (s): 22.4609
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.39059 second user time and 8.57638 second system time
The end
Begin job on nodeC017 at 2024-07-24 16:10:17 IDJOB=4457181 IDBENCH=158360 IDSOLVER=3085 FILE ID=nodeC017/4457181-1721830217 RUNJOBID= nodeC017-1721830217-244499 SLURM_JOB_ID= 7891507 Free space on /tmp= 890080 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K107.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-4457181-1721830217/watcher-4457181-1721830217 -o /tmp/evaluation-result-4457181-1721830217/solver-4457181-1721830217 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721830217-244499 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457181-1721830217 --lp-cut-gomory=0 HOME/instance-4457181-1721830217.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 86c4e69ec1b5c87cf6b12225bb221f99 RANDOM SEED=8886360 nodeC017.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 : 3546.671 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.61 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 : 3580.258 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.74 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 : 3603.197 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.61 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 : 3561.943 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.74 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 : 3534.999 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.61 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 : 3575.420 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.74 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 : 3576.418 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.61 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 : 3496.628 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 117548732 kB MemAvailable: 129648152 kB Buffers: 276044 kB Cached: 12569128 kB SwapCached: 88 kB Active: 2603332 kB Inactive: 10585756 kB Active(anon): 1460 kB Inactive(anon): 397004 kB Active(file): 2601872 kB Inactive(file): 10188752 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071216 kB Dirty: 24316 kB Writeback: 20 kB AnonPages: 342680 kB Mapped: 118612 kB Shmem: 53820 kB KReclaimable: 297236 kB Slab: 424720 kB SReclaimable: 297236 kB SUnreclaim: 127484 kB KernelStack: 4100 kB PageTables: 9632 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 726080 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21280 kB HardwareCorrupted: 0 kB AnonHugePages: 223232 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: 422612 kB DirectMap2M: 40245248 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 890056 MiB End job on nodeC017 at 2024-07-24 16:35:25