| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (2) | SAT | 1697.37 | 1702.28 |
| 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.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.04 c #variables 7276 #constraints 7492 17.34/17.47 c #Conflicts: 1000 | #Constraints: 8491 17.34/17.47 c #Conflicts: 2000 | #Constraints: 9491 17.34/17.47 c INPROCESSING 17.34/17.47 c GARBAGE COLLECT 17.34/17.47 c #Conflicts: 3000 | #Constraints: 9185 17.34/17.47 c #Conflicts: 4000 | #Constraints: 10185 17.34/17.47 c INPROCESSING 17.34/17.47 c GARBAGE COLLECT 17.34/17.47 c #Conflicts: 5000 | #Constraints: 9658 17.34/17.47 c #Conflicts: 6000 | #Constraints: 10658 17.34/17.47 c INPROCESSING 17.34/17.47 c GARBAGE COLLECT 17.34/17.47 c #Conflicts: 7000 | #Constraints: 9714 17.34/17.47 c #Conflicts: 8000 | #Constraints: 10714 17.34/17.47 c #Conflicts: 9000 | #Constraints: 11714 17.34/17.47 c INPROCESSING 17.34/17.47 c GARBAGE COLLECT 17.34/17.47 c rational objective 107 29.71/29.84 c #Conflicts: 10000 | #Constraints: 10485 29.71/29.84 c #Conflicts: 11000 | #Constraints: 11485 29.71/29.84 c #Conflicts: 12000 | #Constraints: 12485 29.71/29.84 c INPROCESSING 29.71/29.84 c GARBAGE COLLECT 29.71/29.84 c #Conflicts: 13000 | #Constraints: 10989 29.71/29.84 c #Conflicts: 14000 | #Constraints: 11989 29.71/29.84 c #Conflicts: 15000 | #Constraints: 12989 29.71/29.84 c INPROCESSING 29.71/29.84 c GARBAGE COLLECT 29.71/29.84 c #Conflicts: 16000 | #Constraints: 11247 29.71/29.84 c #Conflicts: 17000 | #Constraints: 12247 29.71/29.84 c #Conflicts: 18000 | #Constraints: 13247 29.71/29.84 c INPROCESSING 29.71/29.84 c GARBAGE COLLECT 29.71/29.84 c #Conflicts: 19000 | #Constraints: 11305 29.71/29.84 c #Conflicts: 20000 | #Constraints: 12305 29.71/29.84 c #Conflicts: 21000 | #Constraints: 13305 29.71/29.84 c INPROCESSING 29.71/29.84 c GARBAGE COLLECT 29.71/29.84 c #Conflicts: 22000 | #Constraints: 11156 29.71/29.84 c #Conflicts: 23000 | #Constraints: 12156 29.71/29.84 c #Conflicts: 24000 | #Constraints: 13156 29.71/29.84 c #Conflicts: 25000 | #Constraints: 14156 29.71/29.84 c INPROCESSING 29.71/29.84 c GARBAGE COLLECT 29.71/29.84 c rational objective 107 39.19/39.39 c #Conflicts: 26000 | #Constraints: 11748 39.19/39.39 c #Conflicts: 27000 | #Constraints: 12748 39.19/39.39 c #Conflicts: 28000 | #Constraints: 13748 39.19/39.39 c #Conflicts: 29000 | #Constraints: 14748 39.19/39.39 c #Conflicts: 30000 | #Constraints: 15749 39.19/39.39 c #Conflicts: 31000 | #Constraints: 16749 39.19/39.39 c #Conflicts: 32000 | #Constraints: 17749 39.19/39.39 c #Conflicts: 33000 | #Constraints: 18749 39.19/39.39 c #Conflicts: 34000 | #Constraints: 19749 39.19/39.39 c #Conflicts: 35000 | #Constraints: 20749 39.19/39.39 c #Conflicts: 36000 | #Constraints: 21749 39.19/39.39 c #Conflicts: 37000 | #Constraints: 22749 39.19/39.39 c #Conflicts: 38000 | #Constraints: 23749 39.19/39.39 c INPROCESSING 39.19/39.39 c GARBAGE COLLECT 39.19/39.39 c rational objective 107 43.57/43.76 c #Conflicts: 39000 | #Constraints: 16723 43.57/43.76 c #Conflicts: 40000 | #Constraints: 17723 43.57/43.76 c #Conflicts: 41000 | #Constraints: 18723 43.57/43.76 c #Conflicts: 42000 | #Constraints: 19723 43.57/43.76 c INPROCESSING 43.57/43.76 c GARBAGE COLLECT 43.57/43.76 c rational objective 107 48.26/48.41 c #Conflicts: 43000 | #Constraints: 14295 48.26/48.41 c #Conflicts: 44000 | #Constraints: 15295 48.26/48.41 c #Conflicts: 45000 | #Constraints: 16295 48.26/48.41 c #Conflicts: 46000 | #Constraints: 17296 48.26/48.41 c #Conflicts: 47000 | #Constraints: 18296 48.26/48.41 c #Conflicts: 48000 | #Constraints: 19296 48.26/48.41 c INPROCESSING 48.26/48.41 c GARBAGE COLLECT 48.26/48.41 c rational objective 107 54.86/55.11 c #Conflicts: 49000 | #Constraints: 14488 54.86/55.11 c #Conflicts: 50000 | #Constraints: 15488 54.86/55.11 c #Conflicts: 51000 | #Constraints: 16488 54.86/55.11 c #Conflicts: 52000 | #Constraints: 17488 54.86/55.11 c #Conflicts: 53000 | #Constraints: 18488 54.86/55.11 c INPROCESSING 54.86/55.11 c GARBAGE COLLECT 54.86/55.11 c rational objective 107 63.32/63.56 c #Conflicts: 54000 | #Constraints: 13970 63.32/63.56 c #Conflicts: 55000 | #Constraints: 14970 63.32/63.56 c #Conflicts: 56000 | #Constraints: 15970 63.32/63.56 c #Conflicts: 57000 | #Constraints: 16970 63.32/63.56 c #Conflicts: 58000 | #Constraints: 17970 63.32/63.56 c INPROCESSING 63.32/63.56 c GARBAGE COLLECT 63.32/63.56 c rational objective 107 104.73/105.03 c #Conflicts: 59000 | #Constraints: 13474 104.73/105.03 c #Conflicts: 60000 | #Constraints: 14474 104.73/105.03 c #Conflicts: 61000 | #Constraints: 15474 104.73/105.03 c #Conflicts: 62000 | #Constraints: 16474 104.73/105.03 c #Conflicts: 63000 | #Constraints: 17474 104.73/105.03 c #Conflicts: 64000 | #Constraints: 18474 104.73/105.03 c #Conflicts: 65000 | #Constraints: 19474 104.73/105.03 c #Conflicts: 66000 | #Constraints: 20474 104.73/105.03 c #Conflicts: 67000 | #Constraints: 21474 104.73/105.03 c #Conflicts: 68000 | #Constraints: 22474 104.73/105.03 c #Conflicts: 69000 | #Constraints: 23474 104.73/105.03 c #Conflicts: 70000 | #Constraints: 24474 104.73/105.03 c #Conflicts: 71000 | #Constraints: 25474 104.73/105.03 c #Conflicts: 72000 | #Constraints: 26474 104.73/105.03 c #Conflicts: 73000 | #Constraints: 27474 104.73/105.03 c #Conflicts: 74000 | #Constraints: 28474 104.73/105.03 c #Conflicts: 75000 | #Constraints: 29474 104.73/105.03 c #Conflicts: 76000 | #Constraints: 30474 104.73/105.03 c #Conflicts: 77000 | #Constraints: 31475 104.73/105.03 c #Conflicts: 78000 | #Constraints: 32475 104.73/105.03 c INPROCESSING 104.73/105.03 c GARBAGE COLLECT 104.73/105.03 c #Conflicts: 79000 | #Constraints: 21166 104.73/105.03 c #Conflicts: 80000 | #Constraints: 22166 104.73/105.03 c #Conflicts: 81000 | #Constraints: 23166 104.73/105.03 c #Conflicts: 82000 | #Constraints: 24167 104.73/105.03 c #Conflicts: 83000 | #Constraints: 25167 104.73/105.03 c #Conflicts: 84000 | #Constraints: 26167 104.73/105.03 c INPROCESSING 104.73/105.03 c GARBAGE COLLECT 104.73/105.03 c rational objective 107 112.20/112.51 c #Conflicts: 85000 | #Constraints: 17645 112.20/112.51 c #Conflicts: 86000 | #Constraints: 18645 112.20/112.51 c #Conflicts: 87000 | #Constraints: 19645 112.20/112.51 c #Conflicts: 88000 | #Constraints: 20645 112.20/112.51 c #Conflicts: 89000 | #Constraints: 21645 112.20/112.51 c #Conflicts: 90000 | #Constraints: 22645 112.20/112.51 c #Conflicts: 91000 | #Constraints: 23645 112.20/112.51 c INPROCESSING 112.20/112.51 c GARBAGE COLLECT 112.20/112.51 c rational objective 107 121.08/121.46 c #Conflicts: 92000 | #Constraints: 16254 121.08/121.46 c #Conflicts: 93000 | #Constraints: 17254 121.08/121.46 c #Conflicts: 94000 | #Constraints: 18254 121.08/121.46 c #Conflicts: 95000 | #Constraints: 19254 121.08/121.46 c #Conflicts: 96000 | #Constraints: 20254 121.08/121.46 c #Conflicts: 97000 | #Constraints: 21254 121.08/121.46 c #Conflicts: 98000 | #Constraints: 22254 121.08/121.46 c #Conflicts: 99000 | #Constraints: 23254 121.08/121.46 c INPROCESSING 121.08/121.46 c GARBAGE COLLECT 121.08/121.46 c rational objective 107 149.71/150.12 c #Conflicts: 100000 | #Constraints: 16609 149.71/150.12 c #Conflicts: 101000 | #Constraints: 17609 149.71/150.12 c #Conflicts: 102000 | #Constraints: 18609 149.71/150.12 c #Conflicts: 103000 | #Constraints: 19609 149.71/150.12 c #Conflicts: 104000 | #Constraints: 20609 149.71/150.12 c #Conflicts: 105000 | #Constraints: 21609 149.71/150.12 c #Conflicts: 106000 | #Constraints: 22609 149.71/150.12 c #Conflicts: 107000 | #Constraints: 23609 149.71/150.12 c #Conflicts: 108000 | #Constraints: 24609 149.71/150.12 c #Conflicts: 109000 | #Constraints: 25609 149.71/150.12 c #Conflicts: 110000 | #Constraints: 26610 149.71/150.12 c #Conflicts: 111000 | #Constraints: 27610 149.71/150.12 c #Conflicts: 112000 | #Constraints: 28610 149.71/150.12 c #Conflicts: 113000 | #Constraints: 29610 149.71/150.12 c #Conflicts: 114000 | #Constraints: 30610 149.71/150.12 c #Conflicts: 115000 | #Constraints: 31610 149.71/150.12 c #Conflicts: 116000 | #Constraints: 32610 149.71/150.12 c #Conflicts: 117000 | #Constraints: 33610 149.71/150.12 c #Conflicts: 118000 | #Constraints: 34611 149.71/150.12 c #Conflicts: 119000 | #Constraints: 35611 149.71/150.12 c #Conflicts: 120000 | #Constraints: 36611 149.71/150.12 c #Conflicts: 121000 | #Constraints: 37611 149.71/150.12 c #Conflicts: 122000 | #Constraints: 38611 149.71/150.12 c #Conflicts: 123000 | #Constraints: 39611 149.71/150.12 c INPROCESSING 149.71/150.12 c GARBAGE COLLECT 149.71/150.12 c rational objective 107 160.97/161.46 c #Conflicts: 124000 | #Constraints: 24528 160.97/161.46 c #Conflicts: 125000 | #Constraints: 25528 160.97/161.46 c #Conflicts: 126000 | #Constraints: 26528 160.97/161.46 c #Conflicts: 127000 | #Constraints: 27528 160.97/161.46 c #Conflicts: 128000 | #Constraints: 28528 160.97/161.46 c #Conflicts: 129000 | #Constraints: 29528 160.97/161.46 c #Conflicts: 130000 | #Constraints: 30528 160.97/161.46 c #Conflicts: 131000 | #Constraints: 31528 160.97/161.46 c #Conflicts: 132000 | #Constraints: 32528 160.97/161.46 c INPROCESSING 160.97/161.46 c GARBAGE COLLECT 160.97/161.46 c rational objective 107 167.95/168.43 c #Conflicts: 133000 | #Constraints: 21244 167.95/168.43 c #Conflicts: 134000 | #Constraints: 22244 167.95/168.43 c #Conflicts: 135000 | #Constraints: 23244 167.95/168.43 c #Conflicts: 136000 | #Constraints: 24244 167.95/168.43 c #Conflicts: 137000 | #Constraints: 25244 167.95/168.43 c #Conflicts: 138000 | #Constraints: 26244 167.95/168.43 c #Conflicts: 139000 | #Constraints: 27244 167.95/168.43 c #Conflicts: 140000 | #Constraints: 28244 167.95/168.43 c INPROCESSING 167.95/168.43 c GARBAGE COLLECT 167.95/168.43 c rational objective 107 175.82/176.32 c #Conflicts: 141000 | #Constraints: 18762 175.82/176.32 c #Conflicts: 142000 | #Constraints: 19763 175.82/176.32 c #Conflicts: 143000 | #Constraints: 20763 175.82/176.32 c #Conflicts: 144000 | #Constraints: 21763 175.82/176.32 c #Conflicts: 145000 | #Constraints: 22763 175.82/176.32 c #Conflicts: 146000 | #Constraints: 23763 175.82/176.32 c #Conflicts: 147000 | #Constraints: 24763 175.82/176.32 c #Conflicts: 148000 | #Constraints: 25763 175.82/176.32 c #Conflicts: 149000 | #Constraints: 26763 175.82/176.32 c INPROCESSING 175.82/176.32 c GARBAGE COLLECT 175.82/176.32 c rational objective 107 213.54/214.14 c #Conflicts: 150000 | #Constraints: 18105 213.54/214.14 c #Conflicts: 151000 | #Constraints: 19105 213.54/214.14 c #Conflicts: 152000 | #Constraints: 20105 213.54/214.14 c #Conflicts: 153000 | #Constraints: 21106 213.54/214.14 c #Conflicts: 154000 | #Constraints: 22106 213.54/214.14 c #Conflicts: 155000 | #Constraints: 23106 213.54/214.14 c #Conflicts: 156000 | #Constraints: 24106 213.54/214.14 c #Conflicts: 157000 | #Constraints: 25107 213.54/214.14 c #Conflicts: 158000 | #Constraints: 26107 213.54/214.14 c #Conflicts: 159000 | #Constraints: 27107 213.54/214.14 c #Conflicts: 160000 | #Constraints: 28107 213.54/214.14 c #Conflicts: 161000 | #Constraints: 29107 213.54/214.14 c #Conflicts: 162000 | #Constraints: 30107 213.54/214.14 c #Conflicts: 163000 | #Constraints: 31107 213.54/214.14 c #Conflicts: 164000 | #Constraints: 32107 213.54/214.14 c #Conflicts: 165000 | #Constraints: 33107 213.54/214.14 c #Conflicts: 166000 | #Constraints: 34107 213.54/214.14 c #Conflicts: 167000 | #Constraints: 35107 213.54/214.14 c #Conflicts: 168000 | #Constraints: 36107 213.54/214.14 c #Conflicts: 169000 | #Constraints: 37107 213.54/214.14 c #Conflicts: 170000 | #Constraints: 38107 213.54/214.14 c #Conflicts: 171000 | #Constraints: 39108 213.54/214.14 c #Conflicts: 172000 | #Constraints: 40108 213.54/214.14 c #Conflicts: 173000 | #Constraints: 41108 213.54/214.14 c #Conflicts: 174000 | #Constraints: 42108 213.54/214.14 c #Conflicts: 175000 | #Constraints: 43109 213.54/214.14 c #Conflicts: 176000 | #Constraints: 44109 213.54/214.14 c #Conflicts: 177000 | #Constraints: 45109 213.54/214.14 c #Conflicts: 178000 | #Constraints: 46109 213.54/214.14 c #Conflicts: 179000 | #Constraints: 47109 213.54/214.14 c INPROCESSING 213.54/214.14 c GARBAGE COLLECT 213.54/214.14 c rational objective 107 225.09/225.70 c #Conflicts: 180000 | #Constraints: 28364 225.09/225.70 c #Conflicts: 181000 | #Constraints: 29364 225.09/225.70 c #Conflicts: 182000 | #Constraints: 30364 225.09/225.70 c #Conflicts: 183000 | #Constraints: 31364 225.09/225.70 c #Conflicts: 184000 | #Constraints: 32364 225.09/225.70 c #Conflicts: 185000 | #Constraints: 33365 225.09/225.70 c #Conflicts: 186000 | #Constraints: 34365 225.09/225.70 c #Conflicts: 187000 | #Constraints: 35365 225.09/225.70 c #Conflicts: 188000 | #Constraints: 36366 225.09/225.70 c #Conflicts: 189000 | #Constraints: 37366 225.09/225.70 c INPROCESSING 225.09/225.70 c GARBAGE COLLECT 225.09/225.70 c rational objective 107 235.86/236.56 c #Conflicts: 190000 | #Constraints: 23476 235.86/236.56 c #Conflicts: 191000 | #Constraints: 24476 235.86/236.56 c #Conflicts: 192000 | #Constraints: 25476 235.86/236.56 c #Conflicts: 193000 | #Constraints: 26476 235.86/236.56 c #Conflicts: 194000 | #Constraints: 27476 235.86/236.56 c #Conflicts: 195000 | #Constraints: 28477 235.86/236.56 c #Conflicts: 196000 | #Constraints: 29477 235.86/236.56 c #Conflicts: 197000 | #Constraints: 30477 235.86/236.56 c #Conflicts: 198000 | #Constraints: 31477 235.86/236.56 c #Conflicts: 199000 | #Constraints: 32477 235.86/236.56 c #Conflicts: 200000 | #Constraints: 33477 235.86/236.56 c INPROCESSING 235.86/236.56 c GARBAGE COLLECT 235.86/236.56 c rational objective 107 250.73/251.41 c #Conflicts: 201000 | #Constraints: 21789 250.73/251.41 c #Conflicts: 202000 | #Constraints: 22789 250.73/251.41 c #Conflicts: 203000 | #Constraints: 23789 250.73/251.41 c #Conflicts: 204000 | #Constraints: 24789 250.73/251.41 c #Conflicts: 205000 | #Constraints: 25789 250.73/251.41 c #Conflicts: 206000 | #Constraints: 26789 250.73/251.41 c #Conflicts: 207000 | #Constraints: 27789 250.73/251.41 c #Conflicts: 208000 | #Constraints: 28790 250.73/251.41 c #Conflicts: 209000 | #Constraints: 29790 250.73/251.41 c #Conflicts: 210000 | #Constraints: 30790 250.73/251.41 c INPROCESSING 250.73/251.41 c GARBAGE COLLECT 250.73/251.41 c rational objective 107 318.04/318.95 c #Conflicts: 211000 | #Constraints: 20172 318.04/318.95 c #Conflicts: 212000 | #Constraints: 21173 318.04/318.95 c #Conflicts: 213000 | #Constraints: 22173 318.04/318.95 c #Conflicts: 214000 | #Constraints: 23173 318.04/318.95 c #Conflicts: 215000 | #Constraints: 24173 318.04/318.95 c #Conflicts: 216000 | #Constraints: 25174 318.04/318.95 c #Conflicts: 217000 | #Constraints: 26174 318.04/318.95 c #Conflicts: 218000 | #Constraints: 27174 318.04/318.95 c #Conflicts: 219000 | #Constraints: 28174 318.04/318.95 c #Conflicts: 220000 | #Constraints: 29174 318.04/318.95 c #Conflicts: 221000 | #Constraints: 30174 318.04/318.95 c #Conflicts: 222000 | #Constraints: 31174 318.04/318.95 c #Conflicts: 223000 | #Constraints: 32174 318.04/318.95 c #Conflicts: 224000 | #Constraints: 33174 318.04/318.95 c #Conflicts: 225000 | #Constraints: 34174 318.04/318.95 c #Conflicts: 226000 | #Constraints: 35174 318.04/318.95 c #Conflicts: 227000 | #Constraints: 36174 318.04/318.95 c #Conflicts: 228000 | #Constraints: 37174 318.04/318.95 c #Conflicts: 229000 | #Constraints: 38174 318.04/318.95 c #Conflicts: 230000 | #Constraints: 39174 318.04/318.95 c #Conflicts: 231000 | #Constraints: 40174 318.04/318.95 c #Conflicts: 232000 | #Constraints: 41174 318.04/318.95 c #Conflicts: 233000 | #Constraints: 42174 318.04/318.95 c #Conflicts: 234000 | #Constraints: 43174 318.04/318.95 c #Conflicts: 235000 | #Constraints: 44175 318.04/318.95 c #Conflicts: 236000 | #Constraints: 45175 318.04/318.95 c #Conflicts: 237000 | #Constraints: 46176 318.04/318.95 c #Conflicts: 238000 | #Constraints: 47176 318.04/318.95 c #Conflicts: 239000 | #Constraints: 48176 318.04/318.95 c #Conflicts: 240000 | #Constraints: 49176 318.04/318.95 c #Conflicts: 241000 | #Constraints: 50176 318.04/318.95 c #Conflicts: 242000 | #Constraints: 51176 318.04/318.95 c #Conflicts: 243000 | #Constraints: 52176 318.04/318.95 c #Conflicts: 244000 | #Constraints: 53176 318.04/318.95 c #Conflicts: 245000 | #Constraints: 54176 318.04/318.95 c INPROCESSING 318.04/318.95 c GARBAGE COLLECT 318.04/318.95 c rational objective 107 336.00/337.01 c #Conflicts: 246000 | #Constraints: 31837 336.00/337.01 c #Conflicts: 247000 | #Constraints: 32837 336.00/337.01 c #Conflicts: 248000 | #Constraints: 33837 336.00/337.01 c #Conflicts: 249000 | #Constraints: 34837 336.00/337.01 c #Conflicts: 250000 | #Constraints: 35837 336.00/337.01 c #Conflicts: 251000 | #Constraints: 36837 336.00/337.01 c #Conflicts: 252000 | #Constraints: 37837 336.00/337.01 c #Conflicts: 253000 | #Constraints: 38837 336.00/337.01 c #Conflicts: 254000 | #Constraints: 39837 336.00/337.01 c #Conflicts: 255000 | #Constraints: 40837 336.00/337.01 c #Conflicts: 256000 | #Constraints: 41837 336.00/337.01 c #Conflicts: 257000 | #Constraints: 42838 336.00/337.01 c INPROCESSING 336.00/337.01 c GARBAGE COLLECT 336.00/337.01 c rational objective 107 349.07/350.09 c #Conflicts: 258000 | #Constraints: 26209 349.07/350.09 c #Conflicts: 259000 | #Constraints: 27209 349.07/350.09 c #Conflicts: 260000 | #Constraints: 28209 349.07/350.09 c #Conflicts: 261000 | #Constraints: 29209 349.07/350.09 c #Conflicts: 262000 | #Constraints: 30209 349.07/350.09 c #Conflicts: 263000 | #Constraints: 31209 349.07/350.09 c #Conflicts: 264000 | #Constraints: 32209 349.07/350.09 c #Conflicts: 265000 | #Constraints: 33209 349.07/350.09 c #Conflicts: 266000 | #Constraints: 34210 349.07/350.09 c #Conflicts: 267000 | #Constraints: 35211 349.07/350.09 c #Conflicts: 268000 | #Constraints: 36211 349.07/350.09 c #Conflicts: 269000 | #Constraints: 37211 349.07/350.09 c INPROCESSING 349.07/350.09 c GARBAGE COLLECT 349.07/350.09 c rational objective 107 364.41/365.49 c #Conflicts: 270000 | #Constraints: 23322 364.41/365.49 c #Conflicts: 271000 | #Constraints: 24322 364.41/365.49 c #Conflicts: 272000 | #Constraints: 25322 364.41/365.49 c #Conflicts: 273000 | #Constraints: 26322 364.41/365.49 c #Conflicts: 274000 | #Constraints: 27322 364.41/365.49 c #Conflicts: 275000 | #Constraints: 28322 364.41/365.49 c #Conflicts: 276000 | #Constraints: 29322 364.41/365.49 c #Conflicts: 277000 | #Constraints: 30323 364.41/365.49 c #Conflicts: 278000 | #Constraints: 31324 364.41/365.49 c #Conflicts: 279000 | #Constraints: 32324 364.41/365.49 c #Conflicts: 280000 | #Constraints: 33325 364.41/365.49 c #Conflicts: 281000 | #Constraints: 34325 364.41/365.49 c #Conflicts: 282000 | #Constraints: 35325 364.41/365.49 c INPROCESSING 364.41/365.49 c GARBAGE COLLECT 364.41/365.49 c rational objective 107 436.23/437.44 c #Conflicts: 283000 | #Constraints: 22704 436.23/437.44 c #Conflicts: 284000 | #Constraints: 23705 436.23/437.44 c #Conflicts: 285000 | #Constraints: 24705 436.23/437.44 c #Conflicts: 286000 | #Constraints: 25705 436.23/437.44 c #Conflicts: 287000 | #Constraints: 26705 436.23/437.44 c #Conflicts: 288000 | #Constraints: 27705 436.23/437.44 c #Conflicts: 289000 | #Constraints: 28705 436.23/437.44 c #Conflicts: 290000 | #Constraints: 29705 436.23/437.44 c #Conflicts: 291000 | #Constraints: 30705 436.23/437.44 c #Conflicts: 292000 | #Constraints: 31705 436.23/437.44 c #Conflicts: 293000 | #Constraints: 32705 436.23/437.44 c #Conflicts: 294000 | #Constraints: 33705 436.23/437.44 c #Conflicts: 295000 | #Constraints: 34705 436.23/437.44 c #Conflicts: 296000 | #Constraints: 35705 436.23/437.44 c #Conflicts: 297000 | #Constraints: 36705 436.23/437.44 c #Conflicts: 298000 | #Constraints: 37705 436.23/437.44 c #Conflicts: 299000 | #Constraints: 38705 436.23/437.44 c #Conflicts: 300000 | #Constraints: 39705 436.23/437.44 c #Conflicts: 301000 | #Constraints: 40705 436.23/437.44 c #Conflicts: 302000 | #Constraints: 41705 436.23/437.44 c #Conflicts: 303000 | #Constraints: 42705 436.23/437.44 c #Conflicts: 304000 | #Constraints: 43705 436.23/437.44 c #Conflicts: 305000 | #Constraints: 44706 436.23/437.44 c #Conflicts: 306000 | #Constraints: 45706 436.23/437.44 c #Conflicts: 307000 | #Constraints: 46706 436.23/437.44 c #Conflicts: 308000 | #Constraints: 47706 436.23/437.44 c #Conflicts: 309000 | #Constraints: 48706 436.23/437.44 c #Conflicts: 310000 | #Constraints: 49706 436.23/437.44 c #Conflicts: 311000 | #Constraints: 50706 436.23/437.44 c #Conflicts: 312000 | #Constraints: 51706 436.23/437.44 c #Conflicts: 313000 | #Constraints: 52706 436.23/437.44 c #Conflicts: 314000 | #Constraints: 53706 436.23/437.44 c #Conflicts: 315000 | #Constraints: 54706 436.23/437.44 c #Conflicts: 316000 | #Constraints: 55706 436.23/437.44 c #Conflicts: 317000 | #Constraints: 56706 436.23/437.44 c #Conflicts: 318000 | #Constraints: 57706 436.23/437.44 c #Conflicts: 319000 | #Constraints: 58706 436.23/437.44 c #Conflicts: 320000 | #Constraints: 59706 436.23/437.44 c #Conflicts: 321000 | #Constraints: 60706 436.23/437.44 c #Conflicts: 322000 | #Constraints: 61707 436.23/437.44 c INPROCESSING 436.23/437.44 c GARBAGE COLLECT 436.23/437.44 c rational objective 107 456.07/457.31 c #Conflicts: 323000 | #Constraints: 35808 456.07/457.31 c #Conflicts: 324000 | #Constraints: 36808 456.07/457.31 c #Conflicts: 325000 | #Constraints: 37808 456.07/457.31 c #Conflicts: 326000 | #Constraints: 38808 456.07/457.31 c #Conflicts: 327000 | #Constraints: 39808 456.07/457.31 c #Conflicts: 328000 | #Constraints: 40808 456.07/457.31 c #Conflicts: 329000 | #Constraints: 41808 456.07/457.31 c #Conflicts: 330000 | #Constraints: 42808 456.07/457.31 c #Conflicts: 331000 | #Constraints: 43808 456.07/457.31 c #Conflicts: 332000 | #Constraints: 44808 456.07/457.31 c #Conflicts: 333000 | #Constraints: 45808 456.07/457.31 c #Conflicts: 334000 | #Constraints: 46808 456.07/457.31 c #Conflicts: 335000 | #Constraints: 47808 456.07/457.31 c #Conflicts: 336000 | #Constraints: 48808 456.07/457.31 c INPROCESSING 456.07/457.31 c GARBAGE COLLECT 456.07/457.31 c rational objective 107 469.54/470.85 c #Conflicts: 337000 | #Constraints: 29493 469.54/470.85 c #Conflicts: 338000 | #Constraints: 30493 469.54/470.85 c #Conflicts: 339000 | #Constraints: 31493 469.54/470.85 c #Conflicts: 340000 | #Constraints: 32493 469.54/470.85 c #Conflicts: 341000 | #Constraints: 33493 469.54/470.85 c #Conflicts: 342000 | #Constraints: 34493 469.54/470.85 c #Conflicts: 343000 | #Constraints: 35493 469.54/470.85 c #Conflicts: 344000 | #Constraints: 36493 469.54/470.85 c #Conflicts: 345000 | #Constraints: 37494 469.54/470.85 c #Conflicts: 346000 | #Constraints: 38494 469.54/470.85 c #Conflicts: 347000 | #Constraints: 39495 469.54/470.85 c #Conflicts: 348000 | #Constraints: 40495 469.54/470.85 c #Conflicts: 349000 | #Constraints: 41495 469.54/470.85 c INPROCESSING 469.54/470.85 c GARBAGE COLLECT 469.54/470.85 c rational objective 107 488.29/489.61 c #Conflicts: 350000 | #Constraints: 25464 488.29/489.61 c #Conflicts: 351000 | #Constraints: 26464 488.29/489.61 c #Conflicts: 352000 | #Constraints: 27464 488.29/489.61 c #Conflicts: 353000 | #Constraints: 28464 488.29/489.61 c #Conflicts: 354000 | #Constraints: 29464 488.29/489.61 c #Conflicts: 355000 | #Constraints: 30464 488.29/489.61 c #Conflicts: 356000 | #Constraints: 31464 488.29/489.61 c #Conflicts: 357000 | #Constraints: 32465 488.29/489.61 c #Conflicts: 358000 | #Constraints: 33465 488.29/489.61 c #Conflicts: 359000 | #Constraints: 34465 488.29/489.61 c #Conflicts: 360000 | #Constraints: 35465 488.29/489.61 c #Conflicts: 361000 | #Constraints: 36465 488.29/489.61 c #Conflicts: 362000 | #Constraints: 37466 488.29/489.61 c #Conflicts: 363000 | #Constraints: 38466 488.29/489.61 c INPROCESSING 488.29/489.61 c GARBAGE COLLECT 488.29/489.61 c rational objective 107 562.50/564.09 c #Conflicts: 364000 | #Constraints: 23956 562.50/564.09 c #Conflicts: 365000 | #Constraints: 24956 562.50/564.09 c #Conflicts: 366000 | #Constraints: 25956 562.50/564.09 c #Conflicts: 367000 | #Constraints: 26956 562.50/564.09 c #Conflicts: 368000 | #Constraints: 27956 562.50/564.09 c #Conflicts: 369000 | #Constraints: 28957 562.50/564.09 c #Conflicts: 370000 | #Constraints: 29957 562.50/564.09 c #Conflicts: 371000 | #Constraints: 30957 562.50/564.09 c #Conflicts: 372000 | #Constraints: 31957 562.50/564.09 c #Conflicts: 373000 | #Constraints: 32957 562.50/564.09 c #Conflicts: 374000 | #Constraints: 33957 562.50/564.09 c #Conflicts: 375000 | #Constraints: 34957 562.50/564.09 c #Conflicts: 376000 | #Constraints: 35957 562.50/564.09 c #Conflicts: 377000 | #Constraints: 36957 562.50/564.09 c #Conflicts: 378000 | #Constraints: 37958 562.50/564.09 c #Conflicts: 379000 | #Constraints: 38958 562.50/564.09 c #Conflicts: 380000 | #Constraints: 39958 562.50/564.09 c #Conflicts: 381000 | #Constraints: 40958 562.50/564.09 c #Conflicts: 382000 | #Constraints: 41958 562.50/564.09 c #Conflicts: 383000 | #Constraints: 42958 562.50/564.09 c #Conflicts: 384000 | #Constraints: 43958 562.50/564.09 c #Conflicts: 385000 | #Constraints: 44958 562.50/564.09 c #Conflicts: 386000 | #Constraints: 45958 562.50/564.09 c #Conflicts: 387000 | #Constraints: 46958 562.50/564.09 c #Conflicts: 388000 | #Constraints: 47958 562.50/564.09 c #Conflicts: 389000 | #Constraints: 48959 562.50/564.09 c #Conflicts: 390000 | #Constraints: 49959 562.50/564.09 c #Conflicts: 391000 | #Constraints: 50959 562.50/564.09 c #Conflicts: 392000 | #Constraints: 51959 562.50/564.09 c #Conflicts: 393000 | #Constraints: 52959 562.50/564.09 c #Conflicts: 394000 | #Constraints: 53959 562.50/564.09 c #Conflicts: 395000 | #Constraints: 54959 562.50/564.09 c #Conflicts: 396000 | #Constraints: 55959 562.50/564.09 c #Conflicts: 397000 | #Constraints: 56959 562.50/564.09 c #Conflicts: 398000 | #Constraints: 57959 562.50/564.09 c #Conflicts: 399000 | #Constraints: 58959 562.50/564.09 c #Conflicts: 400000 | #Constraints: 59959 562.50/564.09 c #Conflicts: 401000 | #Constraints: 60959 562.50/564.09 c #Conflicts: 402000 | #Constraints: 61959 562.50/564.09 c #Conflicts: 403000 | #Constraints: 62959 562.50/564.09 c #Conflicts: 404000 | #Constraints: 63959 562.50/564.09 c #Conflicts: 405000 | #Constraints: 64959 562.50/564.09 c #Conflicts: 406000 | #Constraints: 65959 562.50/564.09 c #Conflicts: 407000 | #Constraints: 66959 562.50/564.09 c #Conflicts: 408000 | #Constraints: 67959 562.50/564.09 c #Conflicts: 409000 | #Constraints: 68959 562.50/564.09 c INPROCESSING 562.50/564.09 c GARBAGE COLLECT 562.50/564.09 c rational objective 107 588.81/590.45 c #Conflicts: 410000 | #Constraints: 39370 588.81/590.45 c #Conflicts: 411000 | #Constraints: 40372 588.81/590.45 c #Conflicts: 412000 | #Constraints: 41372 588.81/590.45 c #Conflicts: 413000 | #Constraints: 42373 588.81/590.45 c #Conflicts: 414000 | #Constraints: 43373 588.81/590.45 c #Conflicts: 415000 | #Constraints: 44374 588.81/590.45 c #Conflicts: 416000 | #Constraints: 45374 588.81/590.45 c #Conflicts: 417000 | #Constraints: 46374 588.81/590.45 c #Conflicts: 418000 | #Constraints: 47374 588.81/590.45 c #Conflicts: 419000 | #Constraints: 48374 588.81/590.45 c #Conflicts: 420000 | #Constraints: 49374 588.81/590.45 c #Conflicts: 421000 | #Constraints: 50374 588.81/590.45 c #Conflicts: 422000 | #Constraints: 51374 588.81/590.45 c #Conflicts: 423000 | #Constraints: 52374 588.81/590.45 c #Conflicts: 424000 | #Constraints: 53375 588.81/590.45 c INPROCESSING 588.81/590.45 c GARBAGE COLLECT 588.81/590.45 c rational objective 107 607.66/609.31 c #Conflicts: 425000 | #Constraints: 31465 607.66/609.31 c #Conflicts: 426000 | #Constraints: 32465 607.66/609.31 c #Conflicts: 427000 | #Constraints: 33465 607.66/609.31 c #Conflicts: 428000 | #Constraints: 34465 607.66/609.31 c #Conflicts: 429000 | #Constraints: 35465 607.66/609.31 c #Conflicts: 430000 | #Constraints: 36465 607.66/609.31 c #Conflicts: 431000 | #Constraints: 37465 607.66/609.31 c #Conflicts: 432000 | #Constraints: 38465 607.66/609.31 c #Conflicts: 433000 | #Constraints: 39465 607.66/609.31 c #Conflicts: 434000 | #Constraints: 40465 607.66/609.31 c #Conflicts: 435000 | #Constraints: 41465 607.66/609.31 c #Conflicts: 436000 | #Constraints: 42465 607.66/609.31 c #Conflicts: 437000 | #Constraints: 43465 607.66/609.31 c #Conflicts: 438000 | #Constraints: 44465 607.66/609.31 c #Conflicts: 439000 | #Constraints: 45465 607.66/609.31 c #Conflicts: 440000 | #Constraints: 46465 607.66/609.31 c INPROCESSING 607.66/609.31 c GARBAGE COLLECT 607.66/609.31 c rational objective 107 631.99/633.79 c #Conflicts: 441000 | #Constraints: 28295 631.99/633.79 c #Conflicts: 442000 | #Constraints: 29295 631.99/633.79 c #Conflicts: 443000 | #Constraints: 30295 631.99/633.79 c #Conflicts: 444000 | #Constraints: 31295 631.99/633.79 c #Conflicts: 445000 | #Constraints: 32295 631.99/633.79 c #Conflicts: 446000 | #Constraints: 33295 631.99/633.79 c #Conflicts: 447000 | #Constraints: 34295 631.99/633.79 c #Conflicts: 448000 | #Constraints: 35295 631.99/633.79 c #Conflicts: 449000 | #Constraints: 36295 631.99/633.79 c #Conflicts: 450000 | #Constraints: 37295 631.99/633.79 c #Conflicts: 451000 | #Constraints: 38295 631.99/633.79 c #Conflicts: 452000 | #Constraints: 39295 631.99/633.79 c #Conflicts: 453000 | #Constraints: 40295 631.99/633.79 c #Conflicts: 454000 | #Constraints: 41295 631.99/633.79 c #Conflicts: 455000 | #Constraints: 42295 631.99/633.79 c #Conflicts: 456000 | #Constraints: 43295 631.99/633.79 c INPROCESSING 631.99/633.79 c GARBAGE COLLECT 631.99/633.79 c rational objective 107 758.25/760.31 c #Conflicts: 457000 | #Constraints: 26837 758.25/760.31 c #Conflicts: 458000 | #Constraints: 27837 758.25/760.31 c #Conflicts: 459000 | #Constraints: 28837 758.25/760.31 c #Conflicts: 460000 | #Constraints: 29837 758.25/760.31 c #Conflicts: 461000 | #Constraints: 30837 758.25/760.31 c #Conflicts: 462000 | #Constraints: 31838 758.25/760.31 c #Conflicts: 463000 | #Constraints: 32838 758.25/760.31 c #Conflicts: 464000 | #Constraints: 33838 758.25/760.31 c #Conflicts: 465000 | #Constraints: 34838 758.25/760.31 c #Conflicts: 466000 | #Constraints: 35838 758.25/760.31 c #Conflicts: 467000 | #Constraints: 36838 758.25/760.31 c #Conflicts: 468000 | #Constraints: 37838 758.25/760.31 c #Conflicts: 469000 | #Constraints: 38838 758.25/760.31 c #Conflicts: 470000 | #Constraints: 39838 758.25/760.31 c #Conflicts: 471000 | #Constraints: 40838 758.25/760.31 c #Conflicts: 472000 | #Constraints: 41838 758.25/760.31 c #Conflicts: 473000 | #Constraints: 42838 758.25/760.31 c #Conflicts: 474000 | #Constraints: 43838 758.25/760.31 c #Conflicts: 475000 | #Constraints: 44838 758.25/760.31 c #Conflicts: 476000 | #Constraints: 45839 758.25/760.31 c #Conflicts: 477000 | #Constraints: 46839 758.25/760.31 c #Conflicts: 478000 | #Constraints: 47839 758.25/760.31 c #Conflicts: 479000 | #Constraints: 48839 758.25/760.31 c #Conflicts: 480000 | #Constraints: 49839 758.25/760.31 c #Conflicts: 481000 | #Constraints: 50839 758.25/760.31 c #Conflicts: 482000 | #Constraints: 51839 758.25/760.31 c #Conflicts: 483000 | #Constraints: 52839 758.25/760.31 c #Conflicts: 484000 | #Constraints: 53839 758.25/760.31 c #Conflicts: 485000 | #Constraints: 54839 758.25/760.31 c #Conflicts: 486000 | #Constraints: 55839 758.25/760.31 c #Conflicts: 487000 | #Constraints: 56839 758.25/760.31 c #Conflicts: 488000 | #Constraints: 57839 758.25/760.31 c #Conflicts: 489000 | #Constraints: 58839 758.25/760.31 c #Conflicts: 490000 | #Constraints: 59839 758.25/760.31 c #Conflicts: 491000 | #Constraints: 60839 758.25/760.31 c #Conflicts: 492000 | #Constraints: 61839 758.25/760.31 c #Conflicts: 493000 | #Constraints: 62840 758.25/760.31 c #Conflicts: 494000 | #Constraints: 63840 758.25/760.31 c #Conflicts: 495000 | #Constraints: 64840 758.25/760.31 c #Conflicts: 496000 | #Constraints: 65840 758.25/760.31 c #Conflicts: 497000 | #Constraints: 66840 758.25/760.31 c #Conflicts: 498000 | #Constraints: 67840 758.25/760.31 c #Conflicts: 499000 | #Constraints: 68840 758.25/760.31 c #Conflicts: 500000 | #Constraints: 69840 758.25/760.31 c #Conflicts: 501000 | #Constraints: 70840 758.25/760.31 c #Conflicts: 502000 | #Constraints: 71840 758.25/760.31 c #Conflicts: 503000 | #Constraints: 72840 758.25/760.31 c #Conflicts: 504000 | #Constraints: 73840 758.25/760.31 c #Conflicts: 505000 | #Constraints: 74840 758.25/760.31 c #Conflicts: 506000 | #Constraints: 75841 758.25/760.31 c #Conflicts: 507000 | #Constraints: 76841 758.25/760.31 c INPROCESSING 758.25/760.31 c GARBAGE COLLECT 758.25/760.31 c rational objective 107 787.08/789.21 c #Conflicts: 508000 | #Constraints: 43587 787.08/789.21 c #Conflicts: 509000 | #Constraints: 44587 787.08/789.21 c #Conflicts: 510000 | #Constraints: 45587 787.08/789.21 c #Conflicts: 511000 | #Constraints: 46587 787.08/789.21 c #Conflicts: 512000 | #Constraints: 47587 787.08/789.21 c #Conflicts: 513000 | #Constraints: 48587 787.08/789.21 c #Conflicts: 514000 | #Constraints: 49587 787.08/789.21 c #Conflicts: 515000 | #Constraints: 50587 787.08/789.21 c #Conflicts: 516000 | #Constraints: 51587 787.08/789.21 c #Conflicts: 517000 | #Constraints: 52587 787.08/789.21 c #Conflicts: 518000 | #Constraints: 53587 787.08/789.21 c #Conflicts: 519000 | #Constraints: 54587 787.08/789.21 c #Conflicts: 520000 | #Constraints: 55587 787.08/789.21 c #Conflicts: 521000 | #Constraints: 56587 787.08/789.21 c #Conflicts: 522000 | #Constraints: 57587 787.08/789.21 c #Conflicts: 523000 | #Constraints: 58587 787.08/789.21 c #Conflicts: 524000 | #Constraints: 59587 787.08/789.21 c INPROCESSING 787.08/789.21 c GARBAGE COLLECT 787.08/789.21 c rational objective 107 807.12/809.33 c #Conflicts: 525000 | #Constraints: 34994 807.12/809.33 c #Conflicts: 526000 | #Constraints: 35994 807.12/809.33 c #Conflicts: 527000 | #Constraints: 36994 807.12/809.33 c #Conflicts: 528000 | #Constraints: 37994 807.12/809.33 c #Conflicts: 529000 | #Constraints: 38994 807.12/809.33 c #Conflicts: 530000 | #Constraints: 39994 807.12/809.33 c #Conflicts: 531000 | #Constraints: 40994 807.12/809.33 c #Conflicts: 532000 | #Constraints: 41994 807.12/809.33 c #Conflicts: 533000 | #Constraints: 42994 807.12/809.33 c #Conflicts: 534000 | #Constraints: 43994 807.12/809.33 c #Conflicts: 535000 | #Constraints: 44994 807.12/809.33 c #Conflicts: 536000 | #Constraints: 45994 807.12/809.33 c #Conflicts: 537000 | #Constraints: 46994 807.12/809.33 c #Conflicts: 538000 | #Constraints: 47994 807.12/809.33 c #Conflicts: 539000 | #Constraints: 48994 807.12/809.33 c #Conflicts: 540000 | #Constraints: 49994 807.12/809.33 c #Conflicts: 541000 | #Constraints: 50994 807.12/809.33 c INPROCESSING 807.12/809.33 c GARBAGE COLLECT 807.12/809.33 c rational objective 107 825.67/827.96 c #Conflicts: 542000 | #Constraints: 30561 825.67/827.96 c #Conflicts: 543000 | #Constraints: 31561 825.67/827.96 c #Conflicts: 544000 | #Constraints: 32561 825.67/827.96 c #Conflicts: 545000 | #Constraints: 33561 825.67/827.96 c #Conflicts: 546000 | #Constraints: 34561 825.67/827.96 c #Conflicts: 547000 | #Constraints: 35561 825.67/827.96 c #Conflicts: 548000 | #Constraints: 36561 825.67/827.96 c #Conflicts: 549000 | #Constraints: 37561 825.67/827.96 c #Conflicts: 550000 | #Constraints: 38561 825.67/827.96 c #Conflicts: 551000 | #Constraints: 39562 825.67/827.96 c #Conflicts: 552000 | #Constraints: 40562 825.67/827.96 c #Conflicts: 553000 | #Constraints: 41562 825.67/827.96 c #Conflicts: 554000 | #Constraints: 42562 825.67/827.96 c #Conflicts: 555000 | #Constraints: 43562 825.67/827.96 c #Conflicts: 556000 | #Constraints: 44562 825.67/827.96 c #Conflicts: 557000 | #Constraints: 45562 825.67/827.96 c #Conflicts: 558000 | #Constraints: 46562 825.67/827.96 c INPROCESSING 825.67/827.96 c GARBAGE COLLECT 825.67/827.96 c rational objective 107 944.03/946.64 c #Conflicts: 559000 | #Constraints: 28244 944.03/946.64 c #Conflicts: 560000 | #Constraints: 29244 944.03/946.64 c #Conflicts: 561000 | #Constraints: 30244 944.03/946.64 c #Conflicts: 562000 | #Constraints: 31244 944.03/946.64 c #Conflicts: 563000 | #Constraints: 32244 944.03/946.64 c #Conflicts: 564000 | #Constraints: 33244 944.03/946.64 c #Conflicts: 565000 | #Constraints: 34244 944.03/946.64 c #Conflicts: 566000 | #Constraints: 35244 944.03/946.64 c #Conflicts: 567000 | #Constraints: 36244 944.03/946.64 c #Conflicts: 568000 | #Constraints: 37244 944.03/946.64 c #Conflicts: 569000 | #Constraints: 38244 944.03/946.64 c #Conflicts: 570000 | #Constraints: 39244 944.03/946.64 c #Conflicts: 571000 | #Constraints: 40244 944.03/946.64 c #Conflicts: 572000 | #Constraints: 41245 944.03/946.64 c #Conflicts: 573000 | #Constraints: 42245 944.03/946.64 c #Conflicts: 574000 | #Constraints: 43245 944.03/946.64 c #Conflicts: 575000 | #Constraints: 44246 944.03/946.64 c #Conflicts: 576000 | #Constraints: 45246 944.03/946.64 c #Conflicts: 577000 | #Constraints: 46247 944.03/946.64 c #Conflicts: 578000 | #Constraints: 47247 944.03/946.64 c #Conflicts: 579000 | #Constraints: 48247 944.03/946.64 c #Conflicts: 580000 | #Constraints: 49247 944.03/946.64 c #Conflicts: 581000 | #Constraints: 50247 944.03/946.64 c #Conflicts: 582000 | #Constraints: 51247 944.03/946.64 c #Conflicts: 583000 | #Constraints: 52247 944.03/946.64 c #Conflicts: 584000 | #Constraints: 53247 944.03/946.64 c #Conflicts: 585000 | #Constraints: 54247 944.03/946.64 c #Conflicts: 586000 | #Constraints: 55247 944.03/946.64 c #Conflicts: 587000 | #Constraints: 56247 944.03/946.64 c #Conflicts: 588000 | #Constraints: 57247 944.03/946.64 c #Conflicts: 589000 | #Constraints: 58247 944.03/946.64 c #Conflicts: 590000 | #Constraints: 59247 944.03/946.64 c #Conflicts: 591000 | #Constraints: 60247 944.03/946.64 c #Conflicts: 592000 | #Constraints: 61248 944.03/946.64 c #Conflicts: 593000 | #Constraints: 62248 944.03/946.64 c #Conflicts: 594000 | #Constraints: 63248 944.03/946.64 c #Conflicts: 595000 | #Constraints: 64248 944.03/946.64 c #Conflicts: 596000 | #Constraints: 65249 944.03/946.64 c #Conflicts: 597000 | #Constraints: 66249 944.03/946.64 c #Conflicts: 598000 | #Constraints: 67249 944.03/946.64 c #Conflicts: 599000 | #Constraints: 68249 944.03/946.64 c #Conflicts: 600000 | #Constraints: 69249 944.03/946.64 c #Conflicts: 601000 | #Constraints: 70249 944.03/946.64 c #Conflicts: 602000 | #Constraints: 71249 944.03/946.64 c #Conflicts: 603000 | #Constraints: 72249 944.03/946.64 c #Conflicts: 604000 | #Constraints: 73249 944.03/946.64 c #Conflicts: 605000 | #Constraints: 74249 944.03/946.64 c #Conflicts: 606000 | #Constraints: 75249 944.03/946.64 c #Conflicts: 607000 | #Constraints: 76249 944.03/946.64 c #Conflicts: 608000 | #Constraints: 77249 944.03/946.64 c #Conflicts: 609000 | #Constraints: 78249 944.03/946.64 c #Conflicts: 610000 | #Constraints: 79249 944.03/946.64 c #Conflicts: 611000 | #Constraints: 80249 944.03/946.64 c #Conflicts: 612000 | #Constraints: 81249 944.03/946.64 c #Conflicts: 613000 | #Constraints: 82250 944.03/946.64 c #Conflicts: 614000 | #Constraints: 83250 944.03/946.64 c INPROCESSING 944.03/946.64 c GARBAGE COLLECT 944.03/946.64 c rational objective 107 975.84/978.58 c #Conflicts: 615000 | #Constraints: 46427 975.84/978.58 c #Conflicts: 616000 | #Constraints: 47427 975.84/978.58 c #Conflicts: 617000 | #Constraints: 48427 975.84/978.58 c #Conflicts: 618000 | #Constraints: 49427 975.84/978.58 c #Conflicts: 619000 | #Constraints: 50427 975.84/978.58 c #Conflicts: 620000 | #Constraints: 51428 975.84/978.58 c #Conflicts: 621000 | #Constraints: 52428 975.84/978.58 c #Conflicts: 622000 | #Constraints: 53428 975.84/978.58 c #Conflicts: 623000 | #Constraints: 54428 975.84/978.58 c #Conflicts: 624000 | #Constraints: 55428 975.84/978.58 c #Conflicts: 625000 | #Constraints: 56428 975.84/978.58 c #Conflicts: 626000 | #Constraints: 57428 975.84/978.58 c #Conflicts: 627000 | #Constraints: 58428 975.84/978.58 c #Conflicts: 628000 | #Constraints: 59428 975.84/978.58 c #Conflicts: 629000 | #Constraints: 60428 975.84/978.58 c #Conflicts: 630000 | #Constraints: 61428 975.84/978.58 c #Conflicts: 631000 | #Constraints: 62428 975.84/978.58 c #Conflicts: 632000 | #Constraints: 63428 975.84/978.58 c #Conflicts: 633000 | #Constraints: 64428 975.84/978.58 c INPROCESSING 975.84/978.58 c GARBAGE COLLECT 975.84/978.58 c rational objective 107 999.97/1002.78 c #Conflicts: 634000 | #Constraints: 37139 999.97/1002.78 c #Conflicts: 635000 | #Constraints: 38139 999.97/1002.78 c #Conflicts: 636000 | #Constraints: 39139 999.97/1002.78 c #Conflicts: 637000 | #Constraints: 40139 999.97/1002.78 c #Conflicts: 638000 | #Constraints: 41139 999.97/1002.78 c #Conflicts: 639000 | #Constraints: 42140 999.97/1002.78 c #Conflicts: 640000 | #Constraints: 43140 999.97/1002.78 c #Conflicts: 641000 | #Constraints: 44140 999.97/1002.78 c #Conflicts: 642000 | #Constraints: 45140 999.97/1002.78 c #Conflicts: 643000 | #Constraints: 46140 999.97/1002.78 c #Conflicts: 644000 | #Constraints: 47140 999.97/1002.78 c #Conflicts: 645000 | #Constraints: 48140 999.97/1002.78 c #Conflicts: 646000 | #Constraints: 49140 999.97/1002.78 c #Conflicts: 647000 | #Constraints: 50140 999.97/1002.78 c #Conflicts: 648000 | #Constraints: 51140 999.97/1002.78 c #Conflicts: 649000 | #Constraints: 52140 999.97/1002.78 c #Conflicts: 650000 | #Constraints: 53140 999.97/1002.78 c #Conflicts: 651000 | #Constraints: 54140 999.97/1002.78 c #Conflicts: 652000 | #Constraints: 55140 999.97/1002.78 c INPROCESSING 999.97/1002.78 c GARBAGE COLLECT 999.97/1002.78 c rational objective 107 1025.11/1027.97 c #Conflicts: 653000 | #Constraints: 32513 1025.11/1027.97 c #Conflicts: 654000 | #Constraints: 33513 1025.11/1027.97 c #Conflicts: 655000 | #Constraints: 34514 1025.11/1027.97 c #Conflicts: 656000 | #Constraints: 35514 1025.11/1027.97 c #Conflicts: 657000 | #Constraints: 36514 1025.11/1027.97 c #Conflicts: 658000 | #Constraints: 37514 1025.11/1027.97 c #Conflicts: 659000 | #Constraints: 38514 1025.11/1027.97 c #Conflicts: 660000 | #Constraints: 39514 1025.11/1027.97 c #Conflicts: 661000 | #Constraints: 40514 1025.11/1027.97 c #Conflicts: 662000 | #Constraints: 41514 1025.11/1027.97 c #Conflicts: 663000 | #Constraints: 42514 1025.11/1027.97 c #Conflicts: 664000 | #Constraints: 43514 1025.11/1027.97 c #Conflicts: 665000 | #Constraints: 44514 1025.11/1027.97 c #Conflicts: 666000 | #Constraints: 45514 1025.11/1027.97 c #Conflicts: 667000 | #Constraints: 46514 1025.11/1027.97 c #Conflicts: 668000 | #Constraints: 47514 1025.11/1027.97 c #Conflicts: 669000 | #Constraints: 48514 1025.11/1027.97 c #Conflicts: 670000 | #Constraints: 49514 1025.11/1027.97 c #Conflicts: 671000 | #Constraints: 50514 1025.11/1027.97 c INPROCESSING 1025.11/1027.97 c GARBAGE COLLECT 1025.11/1027.97 c rational objective 107 1153.96/1157.14 c #Conflicts: 672000 | #Constraints: 30151 1153.96/1157.14 c #Conflicts: 673000 | #Constraints: 31151 1153.96/1157.14 c #Conflicts: 674000 | #Constraints: 32151 1153.96/1157.14 c #Conflicts: 675000 | #Constraints: 33151 1153.96/1157.14 c #Conflicts: 676000 | #Constraints: 34152 1153.96/1157.14 c #Conflicts: 677000 | #Constraints: 35152 1153.96/1157.14 c #Conflicts: 678000 | #Constraints: 36152 1153.96/1157.14 c #Conflicts: 679000 | #Constraints: 37152 1153.96/1157.14 c #Conflicts: 680000 | #Constraints: 38152 1153.96/1157.14 c #Conflicts: 681000 | #Constraints: 39152 1153.96/1157.14 c #Conflicts: 682000 | #Constraints: 40152 1153.96/1157.14 c #Conflicts: 683000 | #Constraints: 41152 1153.96/1157.14 c #Conflicts: 684000 | #Constraints: 42152 1153.96/1157.14 c #Conflicts: 685000 | #Constraints: 43152 1153.96/1157.14 c #Conflicts: 686000 | #Constraints: 44153 1153.96/1157.14 c #Conflicts: 687000 | #Constraints: 45153 1153.96/1157.14 c #Conflicts: 688000 | #Constraints: 46153 1153.96/1157.14 c #Conflicts: 689000 | #Constraints: 47153 1153.96/1157.14 c #Conflicts: 690000 | #Constraints: 48153 1153.96/1157.14 c #Conflicts: 691000 | #Constraints: 49153 1153.96/1157.14 c #Conflicts: 692000 | #Constraints: 50153 1153.96/1157.14 c #Conflicts: 693000 | #Constraints: 51153 1153.96/1157.14 c #Conflicts: 694000 | #Constraints: 52153 1153.96/1157.14 c #Conflicts: 695000 | #Constraints: 53153 1153.96/1157.14 c #Conflicts: 696000 | #Constraints: 54153 1153.96/1157.14 c #Conflicts: 697000 | #Constraints: 55153 1153.96/1157.14 c #Conflicts: 698000 | #Constraints: 56154 1153.96/1157.14 c #Conflicts: 699000 | #Constraints: 57154 1153.96/1157.14 c #Conflicts: 700000 | #Constraints: 58154 1153.96/1157.14 c #Conflicts: 701000 | #Constraints: 59154 1153.96/1157.14 c #Conflicts: 702000 | #Constraints: 60154 1153.96/1157.14 c #Conflicts: 703000 | #Constraints: 61154 1153.96/1157.14 c #Conflicts: 704000 | #Constraints: 62154 1153.96/1157.14 c #Conflicts: 705000 | #Constraints: 63154 1153.96/1157.14 c #Conflicts: 706000 | #Constraints: 64154 1153.96/1157.14 c #Conflicts: 707000 | #Constraints: 65154 1153.96/1157.14 c #Conflicts: 708000 | #Constraints: 66154 1153.96/1157.14 c #Conflicts: 709000 | #Constraints: 67154 1153.96/1157.14 c #Conflicts: 710000 | #Constraints: 68154 1153.96/1157.14 c #Conflicts: 711000 | #Constraints: 69154 1153.96/1157.14 c #Conflicts: 712000 | #Constraints: 70155 1153.96/1157.14 c #Conflicts: 713000 | #Constraints: 71155 1153.96/1157.14 c #Conflicts: 714000 | #Constraints: 72155 1153.96/1157.14 c #Conflicts: 715000 | #Constraints: 73155 1153.96/1157.14 c #Conflicts: 716000 | #Constraints: 74155 1153.96/1157.14 c #Conflicts: 717000 | #Constraints: 75155 1153.96/1157.14 c #Conflicts: 718000 | #Constraints: 76156 1153.96/1157.14 c #Conflicts: 719000 | #Constraints: 77156 1153.96/1157.14 c #Conflicts: 720000 | #Constraints: 78156 1153.96/1157.14 c #Conflicts: 721000 | #Constraints: 79156 1153.96/1157.14 c #Conflicts: 722000 | #Constraints: 80156 1153.96/1157.14 c #Conflicts: 723000 | #Constraints: 81157 1153.96/1157.14 c #Conflicts: 724000 | #Constraints: 82157 1153.96/1157.14 c #Conflicts: 725000 | #Constraints: 83157 1153.96/1157.14 c #Conflicts: 726000 | #Constraints: 84157 1153.96/1157.14 c #Conflicts: 727000 | #Constraints: 85157 1153.96/1157.14 c #Conflicts: 728000 | #Constraints: 86157 1153.96/1157.14 c #Conflicts: 729000 | #Constraints: 87157 1153.96/1157.14 c #Conflicts: 730000 | #Constraints: 88157 1153.96/1157.14 c #Conflicts: 731000 | #Constraints: 89157 1153.96/1157.14 c #Conflicts: 732000 | #Constraints: 90157 1153.96/1157.14 c #Conflicts: 733000 | #Constraints: 91157 1153.96/1157.14 c INPROCESSING 1153.96/1157.14 c GARBAGE COLLECT 1153.96/1157.14 c rational objective 107 1194.53/1197.88 c #Conflicts: 734000 | #Constraints: 50723 1194.53/1197.88 c #Conflicts: 735000 | #Constraints: 51723 1194.53/1197.88 c #Conflicts: 736000 | #Constraints: 52723 1194.53/1197.88 c #Conflicts: 737000 | #Constraints: 53724 1194.53/1197.88 c #Conflicts: 738000 | #Constraints: 54724 1194.53/1197.88 c #Conflicts: 739000 | #Constraints: 55724 1194.53/1197.88 c #Conflicts: 740000 | #Constraints: 56724 1194.53/1197.88 c #Conflicts: 741000 | #Constraints: 57724 1194.53/1197.88 c #Conflicts: 742000 | #Constraints: 58724 1194.53/1197.88 c #Conflicts: 743000 | #Constraints: 59724 1194.53/1197.88 c #Conflicts: 744000 | #Constraints: 60724 1194.53/1197.88 c #Conflicts: 745000 | #Constraints: 61724 1194.53/1197.88 c #Conflicts: 746000 | #Constraints: 62724 1194.53/1197.88 c #Conflicts: 747000 | #Constraints: 63724 1194.53/1197.88 c #Conflicts: 748000 | #Constraints: 64724 1194.53/1197.88 c #Conflicts: 749000 | #Constraints: 65724 1194.53/1197.88 c #Conflicts: 750000 | #Constraints: 66724 1194.53/1197.88 c #Conflicts: 751000 | #Constraints: 67724 1194.53/1197.88 c #Conflicts: 752000 | #Constraints: 68725 1194.53/1197.88 c #Conflicts: 753000 | #Constraints: 69725 1194.53/1197.88 c INPROCESSING 1194.53/1197.88 c GARBAGE COLLECT 1194.53/1197.88 c rational objective 107 1223.05/1226.44 c #Conflicts: 754000 | #Constraints: 39825 1223.05/1226.44 c #Conflicts: 755000 | #Constraints: 40825 1223.05/1226.44 c #Conflicts: 756000 | #Constraints: 41825 1223.05/1226.44 c #Conflicts: 757000 | #Constraints: 42826 1223.05/1226.44 c #Conflicts: 758000 | #Constraints: 43826 1223.05/1226.44 c #Conflicts: 759000 | #Constraints: 44827 1223.05/1226.44 c #Conflicts: 760000 | #Constraints: 45827 1223.05/1226.44 c #Conflicts: 761000 | #Constraints: 46827 1223.05/1226.44 c #Conflicts: 762000 | #Constraints: 47828 1223.05/1226.44 c #Conflicts: 763000 | #Constraints: 48828 1223.05/1226.44 c #Conflicts: 764000 | #Constraints: 49828 1223.05/1226.44 c #Conflicts: 765000 | #Constraints: 50828 1223.05/1226.44 c #Conflicts: 766000 | #Constraints: 51828 1223.05/1226.44 c #Conflicts: 767000 | #Constraints: 52828 1223.05/1226.44 c #Conflicts: 768000 | #Constraints: 53828 1223.05/1226.44 c #Conflicts: 769000 | #Constraints: 54828 1223.05/1226.44 c #Conflicts: 770000 | #Constraints: 55828 1223.05/1226.44 c #Conflicts: 771000 | #Constraints: 56828 1223.05/1226.44 c #Conflicts: 772000 | #Constraints: 57828 1223.05/1226.44 c #Conflicts: 773000 | #Constraints: 58828 1223.05/1226.44 c #Conflicts: 774000 | #Constraints: 59828 1223.05/1226.44 c INPROCESSING 1223.05/1226.44 c GARBAGE COLLECT 1223.05/1226.44 c rational objective 107 1251.97/1255.43 c #Conflicts: 775000 | #Constraints: 35105 1251.97/1255.43 c #Conflicts: 776000 | #Constraints: 36105 1251.97/1255.43 c #Conflicts: 777000 | #Constraints: 37106 1251.97/1255.43 c #Conflicts: 778000 | #Constraints: 38106 1251.97/1255.43 c #Conflicts: 779000 | #Constraints: 39106 1251.97/1255.43 c #Conflicts: 780000 | #Constraints: 40106 1251.97/1255.43 c #Conflicts: 781000 | #Constraints: 41106 1251.97/1255.43 c #Conflicts: 782000 | #Constraints: 42106 1251.97/1255.43 c #Conflicts: 783000 | #Constraints: 43106 1251.97/1255.43 c #Conflicts: 784000 | #Constraints: 44106 1251.97/1255.43 c #Conflicts: 785000 | #Constraints: 45106 1251.97/1255.43 c #Conflicts: 786000 | #Constraints: 46106 1251.97/1255.43 c #Conflicts: 787000 | #Constraints: 47107 1251.97/1255.43 c #Conflicts: 788000 | #Constraints: 48107 1251.97/1255.43 c #Conflicts: 789000 | #Constraints: 49107 1251.97/1255.43 c #Conflicts: 790000 | #Constraints: 50107 1251.97/1255.43 c #Conflicts: 791000 | #Constraints: 51107 1251.97/1255.43 c #Conflicts: 792000 | #Constraints: 52107 1251.97/1255.43 c #Conflicts: 793000 | #Constraints: 53107 1251.97/1255.43 c #Conflicts: 794000 | #Constraints: 54107 1251.97/1255.43 c #Conflicts: 795000 | #Constraints: 55107 1251.97/1255.43 c INPROCESSING 1251.97/1255.43 c GARBAGE COLLECT 1251.97/1255.43 c rational objective 107 1402.34/1406.22 c #Conflicts: 796000 | #Constraints: 32827 1402.34/1406.22 c #Conflicts: 797000 | #Constraints: 33827 1402.34/1406.22 c #Conflicts: 798000 | #Constraints: 34827 1402.34/1406.22 c #Conflicts: 799000 | #Constraints: 35827 1402.34/1406.22 c #Conflicts: 800000 | #Constraints: 36827 1402.34/1406.22 c #Conflicts: 801000 | #Constraints: 37827 1402.34/1406.22 c #Conflicts: 802000 | #Constraints: 38828 1402.34/1406.22 c #Conflicts: 803000 | #Constraints: 39829 1402.34/1406.22 c #Conflicts: 804000 | #Constraints: 40829 1402.34/1406.22 c #Conflicts: 805000 | #Constraints: 41829 1402.34/1406.22 c #Conflicts: 806000 | #Constraints: 42830 1402.34/1406.22 c #Conflicts: 807000 | #Constraints: 43830 1402.34/1406.22 c #Conflicts: 808000 | #Constraints: 44830 1402.34/1406.22 c #Conflicts: 809000 | #Constraints: 45830 1402.34/1406.22 c #Conflicts: 810000 | #Constraints: 46831 1402.34/1406.22 c #Conflicts: 811000 | #Constraints: 47831 1402.34/1406.22 c #Conflicts: 812000 | #Constraints: 48831 1402.34/1406.22 c #Conflicts: 813000 | #Constraints: 49831 1402.34/1406.22 c #Conflicts: 814000 | #Constraints: 50831 1402.34/1406.22 c #Conflicts: 815000 | #Constraints: 51831 1402.34/1406.22 c #Conflicts: 816000 | #Constraints: 52831 1402.34/1406.22 c #Conflicts: 817000 | #Constraints: 53831 1402.34/1406.22 c #Conflicts: 818000 | #Constraints: 54831 1402.34/1406.22 c #Conflicts: 819000 | #Constraints: 55831 1402.34/1406.22 c #Conflicts: 820000 | #Constraints: 56831 1402.34/1406.22 c #Conflicts: 821000 | #Constraints: 57831 1402.34/1406.22 c #Conflicts: 822000 | #Constraints: 58831 1402.34/1406.22 c #Conflicts: 823000 | #Constraints: 59831 1402.34/1406.22 c #Conflicts: 824000 | #Constraints: 60831 1402.34/1406.22 c #Conflicts: 825000 | #Constraints: 61831 1402.34/1406.22 c #Conflicts: 826000 | #Constraints: 62831 1402.34/1406.22 c #Conflicts: 827000 | #Constraints: 63832 1402.34/1406.22 c #Conflicts: 828000 | #Constraints: 64832 1402.34/1406.22 c #Conflicts: 829000 | #Constraints: 65832 1402.34/1406.22 c #Conflicts: 830000 | #Constraints: 66833 1402.34/1406.22 c #Conflicts: 831000 | #Constraints: 67833 1402.34/1406.22 c #Conflicts: 832000 | #Constraints: 68833 1402.34/1406.22 c #Conflicts: 833000 | #Constraints: 69833 1402.34/1406.22 c #Conflicts: 834000 | #Constraints: 70833 1402.34/1406.22 c #Conflicts: 835000 | #Constraints: 71833 1402.34/1406.22 c #Conflicts: 836000 | #Constraints: 72833 1402.34/1406.22 c #Conflicts: 837000 | #Constraints: 73833 1402.34/1406.22 c #Conflicts: 838000 | #Constraints: 74833 1402.34/1406.22 c #Conflicts: 839000 | #Constraints: 75833 1402.34/1406.22 c #Conflicts: 840000 | #Constraints: 76833 1402.34/1406.22 c #Conflicts: 841000 | #Constraints: 77833 1402.34/1406.22 c #Conflicts: 842000 | #Constraints: 78833 1402.34/1406.22 c #Conflicts: 843000 | #Constraints: 79833 1402.34/1406.22 c #Conflicts: 844000 | #Constraints: 80833 1402.34/1406.22 c #Conflicts: 845000 | #Constraints: 81833 1402.34/1406.22 c #Conflicts: 846000 | #Constraints: 82834 1402.34/1406.22 c #Conflicts: 847000 | #Constraints: 83834 1402.34/1406.22 c #Conflicts: 848000 | #Constraints: 84834 1402.34/1406.22 c #Conflicts: 849000 | #Constraints: 85834 1402.34/1406.22 c #Conflicts: 850000 | #Constraints: 86834 1402.34/1406.22 c #Conflicts: 851000 | #Constraints: 87834 1402.34/1406.22 c #Conflicts: 852000 | #Constraints: 88834 1402.34/1406.22 c #Conflicts: 853000 | #Constraints: 89834 1402.34/1406.22 c #Conflicts: 854000 | #Constraints: 90834 1402.34/1406.22 c #Conflicts: 855000 | #Constraints: 91834 1402.34/1406.22 c #Conflicts: 856000 | #Constraints: 92834 1402.34/1406.22 c #Conflicts: 857000 | #Constraints: 93834 1402.34/1406.22 c #Conflicts: 858000 | #Constraints: 94834 1402.34/1406.22 c #Conflicts: 859000 | #Constraints: 95834 1402.34/1406.22 c #Conflicts: 860000 | #Constraints: 96834 1402.34/1406.22 c #Conflicts: 861000 | #Constraints: 97834 1402.34/1406.22 c INPROCESSING 1402.34/1406.22 c GARBAGE COLLECT 1402.34/1406.22 c rational objective 107 1452.30/1456.37 c #Conflicts: 862000 | #Constraints: 53716 1452.30/1456.37 c #Conflicts: 863000 | #Constraints: 54716 1452.30/1456.37 c #Conflicts: 864000 | #Constraints: 55716 1452.30/1456.37 c #Conflicts: 865000 | #Constraints: 56716 1452.30/1456.37 c #Conflicts: 866000 | #Constraints: 57716 1452.30/1456.37 c #Conflicts: 867000 | #Constraints: 58716 1452.30/1456.37 c #Conflicts: 868000 | #Constraints: 59716 1452.30/1456.37 c #Conflicts: 869000 | #Constraints: 60717 1452.30/1456.37 c #Conflicts: 870000 | #Constraints: 61717 1452.30/1456.37 c #Conflicts: 871000 | #Constraints: 62717 1452.30/1456.37 c #Conflicts: 872000 | #Constraints: 63717 1452.30/1456.37 c #Conflicts: 873000 | #Constraints: 64717 1452.30/1456.37 c #Conflicts: 874000 | #Constraints: 65717 1452.30/1456.37 c #Conflicts: 875000 | #Constraints: 66718 1452.30/1456.37 c #Conflicts: 876000 | #Constraints: 67718 1452.30/1456.37 c #Conflicts: 877000 | #Constraints: 68718 1452.30/1456.37 c #Conflicts: 878000 | #Constraints: 69718 1452.30/1456.37 c #Conflicts: 879000 | #Constraints: 70718 1452.30/1456.37 c #Conflicts: 880000 | #Constraints: 71718 1452.30/1456.37 c #Conflicts: 881000 | #Constraints: 72718 1452.30/1456.37 c #Conflicts: 882000 | #Constraints: 73718 1452.30/1456.37 c #Conflicts: 883000 | #Constraints: 74718 1452.30/1456.37 c #Conflicts: 884000 | #Constraints: 75718 1452.30/1456.37 c INPROCESSING 1452.30/1456.37 c GARBAGE COLLECT 1452.30/1456.37 c rational objective 107 1491.49/1495.69 c #Conflicts: 885000 | #Constraints: 43144 1491.49/1495.69 c #Conflicts: 886000 | #Constraints: 44144 1491.49/1495.69 c #Conflicts: 887000 | #Constraints: 45144 1491.49/1495.69 c #Conflicts: 888000 | #Constraints: 46144 1491.49/1495.69 c #Conflicts: 889000 | #Constraints: 47144 1491.49/1495.69 c #Conflicts: 890000 | #Constraints: 48144 1491.49/1495.69 c #Conflicts: 891000 | #Constraints: 49144 1491.49/1495.69 c #Conflicts: 892000 | #Constraints: 50144 1491.49/1495.69 c #Conflicts: 893000 | #Constraints: 51144 1491.49/1495.69 c #Conflicts: 894000 | #Constraints: 52144 1491.49/1495.69 c #Conflicts: 895000 | #Constraints: 53144 1491.49/1495.69 c #Conflicts: 896000 | #Constraints: 54145 1491.49/1495.69 c #Conflicts: 897000 | #Constraints: 55146 1491.49/1495.69 c #Conflicts: 898000 | #Constraints: 56146 1491.49/1495.69 c #Conflicts: 899000 | #Constraints: 57146 1491.49/1495.69 c #Conflicts: 900000 | #Constraints: 58147 1491.49/1495.69 c #Conflicts: 901000 | #Constraints: 59147 1491.49/1495.69 c #Conflicts: 902000 | #Constraints: 60147 1491.49/1495.69 c #Conflicts: 903000 | #Constraints: 61147 1491.49/1495.69 c #Conflicts: 904000 | #Constraints: 62147 1491.49/1495.69 c #Conflicts: 905000 | #Constraints: 63147 1491.49/1495.69 c #Conflicts: 906000 | #Constraints: 64147 1491.49/1495.69 c INPROCESSING 1491.49/1495.69 c GARBAGE COLLECT 1491.49/1495.69 c rational objective 107 1524.40/1528.64 c #Conflicts: 907000 | #Constraints: 37160 1524.40/1528.64 c #Conflicts: 908000 | #Constraints: 38160 1524.40/1528.64 c #Conflicts: 909000 | #Constraints: 39160 1524.40/1528.64 c #Conflicts: 910000 | #Constraints: 40160 1524.40/1528.64 c #Conflicts: 911000 | #Constraints: 41160 1524.40/1528.64 c #Conflicts: 912000 | #Constraints: 42160 1524.40/1528.64 c #Conflicts: 913000 | #Constraints: 43160 1524.40/1528.64 c #Conflicts: 914000 | #Constraints: 44160 1524.40/1528.64 c #Conflicts: 915000 | #Constraints: 45160 1524.40/1528.64 c #Conflicts: 916000 | #Constraints: 46160 1524.40/1528.64 c #Conflicts: 917000 | #Constraints: 47160 1524.40/1528.64 c #Conflicts: 918000 | #Constraints: 48161 1524.40/1528.64 c #Conflicts: 919000 | #Constraints: 49161 1524.40/1528.64 c #Conflicts: 920000 | #Constraints: 50161 1524.40/1528.64 c #Conflicts: 921000 | #Constraints: 51161 1524.40/1528.64 c #Conflicts: 922000 | #Constraints: 52161 1524.40/1528.64 c #Conflicts: 923000 | #Constraints: 53161 1524.40/1528.64 c #Conflicts: 924000 | #Constraints: 54161 1524.40/1528.64 c #Conflicts: 925000 | #Constraints: 55161 1524.40/1528.64 c #Conflicts: 926000 | #Constraints: 56161 1524.40/1528.64 c #Conflicts: 927000 | #Constraints: 57161 1524.40/1528.64 c #Conflicts: 928000 | #Constraints: 58161 1524.40/1528.64 c INPROCESSING 1524.40/1528.64 c GARBAGE COLLECT 1524.40/1528.64 c rational objective 107 1685.83/1690.59 c #Conflicts: 929000 | #Constraints: 33972 1685.83/1690.59 c #Conflicts: 930000 | #Constraints: 34972 1685.83/1690.59 c #Conflicts: 931000 | #Constraints: 35972 1685.83/1690.59 c #Conflicts: 932000 | #Constraints: 36972 1685.83/1690.59 c #Conflicts: 933000 | #Constraints: 37972 1685.83/1690.59 c #Conflicts: 934000 | #Constraints: 38972 1685.83/1690.59 c #Conflicts: 935000 | #Constraints: 39972 1685.83/1690.59 c #Conflicts: 936000 | #Constraints: 40972 1685.83/1690.59 c #Conflicts: 937000 | #Constraints: 41972 1685.83/1690.59 c #Conflicts: 938000 | #Constraints: 42973 1685.83/1690.59 c #Conflicts: 939000 | #Constraints: 43973 1685.83/1690.59 c #Conflicts: 940000 | #Constraints: 44973 1685.83/1690.59 c #Conflicts: 941000 | #Constraints: 45973 1685.83/1690.59 c #Conflicts: 942000 | #Constraints: 46973 1685.83/1690.59 c #Conflicts: 943000 | #Constraints: 47973 1685.83/1690.59 c #Conflicts: 944000 | #Constraints: 48973 1685.83/1690.59 c #Conflicts: 945000 | #Constraints: 49974 1685.83/1690.59 c #Conflicts: 946000 | #Constraints: 50974 1685.83/1690.59 c #Conflicts: 947000 | #Constraints: 51974 1685.83/1690.59 c #Conflicts: 948000 | #Constraints: 52974 1685.83/1690.59 c #Conflicts: 949000 | #Constraints: 53974 1685.83/1690.59 c #Conflicts: 950000 | #Constraints: 54974 1685.83/1690.59 c #Conflicts: 951000 | #Constraints: 55974 1685.83/1690.59 c #Conflicts: 952000 | #Constraints: 56974 1685.83/1690.59 c #Conflicts: 953000 | #Constraints: 57974 1685.83/1690.59 c #Conflicts: 954000 | #Constraints: 58974 1685.83/1690.59 c #Conflicts: 955000 | #Constraints: 59974 1685.83/1690.59 c #Conflicts: 956000 | #Constraints: 60974 1685.83/1690.59 c #Conflicts: 957000 | #Constraints: 61975 1685.83/1690.59 c #Conflicts: 958000 | #Constraints: 62975 1685.83/1690.59 c #Conflicts: 959000 | #Constraints: 63975 1685.83/1690.59 c #Conflicts: 960000 | #Constraints: 64975 1685.83/1690.59 c #Conflicts: 961000 | #Constraints: 65975 1685.83/1690.59 c #Conflicts: 962000 | #Constraints: 66975 1685.83/1690.59 c #Conflicts: 963000 | #Constraints: 67975 1685.83/1690.59 c #Conflicts: 964000 | #Constraints: 68975 1685.83/1690.59 c #Conflicts: 965000 | #Constraints: 69975 1685.83/1690.59 c #Conflicts: 966000 | #Constraints: 70975 1685.83/1690.59 c #Conflicts: 967000 | #Constraints: 71975 1685.83/1690.59 c #Conflicts: 968000 | #Constraints: 72975 1685.83/1690.59 c #Conflicts: 969000 | #Constraints: 73975 1685.83/1690.59 c #Conflicts: 970000 | #Constraints: 74975 1685.83/1690.59 c #Conflicts: 971000 | #Constraints: 75975 1685.83/1690.59 c #Conflicts: 972000 | #Constraints: 76975 1685.83/1690.59 c #Conflicts: 973000 | #Constraints: 77975 1685.83/1690.59 c #Conflicts: 974000 | #Constraints: 78975 1685.83/1690.59 c #Conflicts: 975000 | #Constraints: 79975 1685.83/1690.59 c #Conflicts: 976000 | #Constraints: 80975 1685.83/1690.59 c #Conflicts: 977000 | #Constraints: 81975 1685.83/1690.59 c #Conflicts: 978000 | #Constraints: 82975 1685.83/1690.59 c #Conflicts: 979000 | #Constraints: 83975 1685.83/1690.59 c #Conflicts: 980000 | #Constraints: 84975 1685.83/1690.59 c #Conflicts: 981000 | #Constraints: 85975 1685.83/1690.59 c #Conflicts: 982000 | #Constraints: 86975 1685.83/1690.59 c #Conflicts: 983000 | #Constraints: 87975 1685.83/1690.59 c #Conflicts: 984000 | #Constraints: 88975 1685.83/1690.59 c #Conflicts: 985000 | #Constraints: 89975 1685.83/1690.59 c #Conflicts: 986000 | #Constraints: 90975 1685.83/1690.59 c #Conflicts: 987000 | #Constraints: 91975 1685.83/1690.59 c #Conflicts: 988000 | #Constraints: 92975 1685.83/1690.59 c #Conflicts: 989000 | #Constraints: 93975 1685.83/1690.59 c #Conflicts: 990000 | #Constraints: 94976 1685.83/1690.59 c #Conflicts: 991000 | #Constraints: 95976 1685.83/1690.59 c #Conflicts: 992000 | #Constraints: 96976 1685.83/1690.59 c #Conflicts: 993000 | #Constraints: 97976 1685.83/1690.59 c #Conflicts: 994000 | #Constraints: 98976 1685.83/1690.59 c #Conflicts: 995000 | #Constraints: 99976 1685.83/1690.59 c #Conflicts: 996000 | #Constraints: 100976 1685.83/1690.59 c #Conflicts: 997000 | #Constraints: 101976 1685.83/1690.59 c #Conflicts: 998000 | #Constraints: 102976 1685.83/1690.59 c #Conflicts: 999000 | #Constraints: 103976 1685.83/1690.59 c #Conflicts: 1000000 | #Constraints: 104976 1685.83/1690.59 c #Conflicts: 1001000 | #Constraints: 105976 1685.83/1690.59 c INPROCESSING 1685.83/1690.59 c GARBAGE COLLECT 1685.83/1690.59 c rational objective 107 1697.32/1702.02 c #Conflicts: 1002000 | #Constraints: 58285 1697.32/1702.02 c #Conflicts: 1003000 | #Constraints: 59285 1697.32/1702.02 c #Conflicts: 1004000 | #Constraints: 60285 1697.32/1702.02 c #Conflicts: 1005000 | #Constraints: 61285 1697.32/1702.02 c #Conflicts: 1006000 | #Constraints: 62285 1697.32/1702.02 c #Conflicts: 1007000 | #Constraints: 63286 1697.32/1702.02 c cpu time 1671.45 s 1697.32/1702.02 c deterministic time 164535548518 1.65e+11 1697.32/1702.02 c optimization time 0.000112 s 1697.32/1702.02 c total solve time 1671.41 s 1697.32/1702.02 c core-guided solve time 0 s 1697.32/1702.02 c propagation time 1156.41 s 1697.32/1702.02 c conflict analysis time 379.352 s 1697.32/1702.02 c propagations 390120234 1697.32/1702.02 c resolve steps 32806470 1697.32/1702.02 c decisions 9837422 1697.32/1702.02 c conflicts 1007897 1697.32/1702.02 c restarts 2045 1697.32/1702.02 c inprocessing phases 55 1697.32/1702.02 c input clauses 7385 1697.32/1702.02 c input cardinalities 107 1697.32/1702.02 c input general constraints 0 1697.32/1702.02 c input average constraint length 6.24 1697.32/1702.02 c input average constraint degree 1.94 1697.32/1702.02 c learned clauses 670125 1697.32/1702.02 c learned cardinalities 27774 1697.32/1702.02 c learned general constraints 310086 1697.32/1702.02 c learned average constraint length 768.95 1697.32/1702.02 c learned average constraint degree 30374108.21 1697.32/1702.02 c watched constraints 248254 1697.32/1702.02 c counting constraints 61832 1697.32/1702.02 c gcd simplifications 2495 1697.32/1702.02 c detected cardinalities 2608 1697.32/1702.02 c weakened non-implied lits 134828484 1697.32/1702.02 c weakened non-implying lits 282335 1697.32/1702.02 c original variables 7276 1697.32/1702.02 c clausal propagations 147753045 1697.32/1702.02 c cardinality propagations 142464927 1697.32/1702.02 c watched propagations 25322976 1697.32/1702.02 c counting propagations 70567668 1697.32/1702.02 c watch lookups 11380449838 1697.32/1702.02 c watch backjump lookups 9059085608 1697.32/1702.02 c watch checks 113791927500 1697.32/1702.02 c propagation checks 27223984449 1697.32/1702.02 c constraint additions 2277960104 1697.32/1702.02 c trail pops 400965034 1697.32/1702.02 c formula constraints 7492 1697.32/1702.02 c learned constraints 1007810 1697.32/1702.02 c bound constraints 0 1697.32/1702.02 c core-guided constraints 0 1697.32/1702.02 c encountered formula constraints 19419507 1697.32/1702.02 c encountered learned constraints 14393809 1697.32/1702.02 c encountered bound constraints 0 1697.32/1702.02 c encountered core-guided constraints 0 1697.32/1702.02 c LP total time 388.65 s 1697.32/1702.02 c LP solve time 384.74 s 1697.32/1702.02 c LP constraints added 10094 1697.32/1702.02 c LP constraints removed 2546 1697.32/1702.02 c LP pivots internal 1011340 1697.32/1702.02 c LP pivots root 206988 1697.32/1702.02 c LP calls 233 1697.32/1702.02 c LP optimalities 140 1697.32/1702.02 c LP no pivot count 5 1697.32/1702.02 c LP infeasibilities 88 1697.32/1702.02 c LP valid Farkas constraints 88 1697.32/1702.02 c LP learned Farkas constraints 87 1697.32/1702.02 c LP basis resets 0 1697.32/1702.02 c LP cycling count 0 1697.32/1702.02 c LP singular count 0 1697.32/1702.02 c LP no primal count 0 1697.32/1702.02 c LP no farkas count 0 1697.32/1702.02 c LP other issue count 0 1697.32/1702.02 c LP Gomory cuts 0 1697.32/1702.02 c LP learned cuts 2602 1697.32/1702.02 c LP deleted cuts 2546 1697.32/1702.02 c LP encountered Gomory constraints 0 1697.32/1702.02 c LP encountered Farkas constraints 628 1697.32/1702.02 c LP encountered learned Farkas constraints 336 1697.32/1702.02 c CG auxiliary variables introduced 0 1697.32/1702.02 c CG solutions found 0 1697.32/1702.02 c CG cores constructed 0 1697.32/1702.02 c CG core cardinality constraints returned 0 1697.32/1702.02 c CG unit cores 0 1697.32/1702.02 c CG single cores 0 1697.32/1702.02 c CG blocks removed during cardinality reduction 0 1697.32/1702.02 c CG first core best 0 1697.32/1702.02 c CG decision core best 0 1697.32/1702.02 c CG core reduction tie 0 1697.32/1702.02 c CG core degree average 0.00 1697.32/1702.02 c CG core slack average 0.00 1697.32/1702.02 s SATISFIABLE 1697.32/1702.02 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: 64096 MiB (61049 MiB free)
memory of node 1: 64473 MiB (46322 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460664-1722069739/watcher-4460664-1722069739 -o /tmp/evaluation-result-4460664-1722069739/solver-4460664-1722069739 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722064837-301307 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460664-1722069739 --lp-cut-gomory=0 HOME/instance-4460664-1722069739.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=304489, runsolver pid=304486
[startup+0.1001 s]*
/proc/loadavg: 4.27 4.26 4.16 5/253 304490
/proc/meminfo: memFree=109934792/131655788 swapFree=131058856/131071996
[pid=304489] ppid=304486 vsize=50260 memory=19068 CPUtime=0.11 cores=4,6
/proc/304489/stat : 304489 (roundingsat) R 304486 304489 301296 0 -1 4194304 3969 0 0 0 10 1 0 0 20 0 1 0 42963809 51466240 4767 134679101440 4194304 8254357 140730680620768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40783872 140730680623963 140730680624225 140730680624225 140730680631241 0
/proc/304489/statm: 12565 4767 1708 992 0 4423 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 50260 KiB
Current children cumulated memory: 19068 KiB
[startup+0.213858 s]*
/proc/loadavg: 4.27 4.26 4.16 5/253 304490
/proc/meminfo: memFree=109930256/131655788 swapFree=131058856/131071996
[pid=304489] ppid=304486 vsize=51424 memory=20124 CPUtime=0.22 cores=4,6
/proc/304489/stat : 304489 (roundingsat) R 304486 304489 301296 0 -1 4194304 4263 0 0 0 21 1 0 0 20 0 1 0 42963809 52658176 5031 134679101440 4194304 8254357 140730680620768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40783872 140730680623963 140730680624225 140730680624225 140730680631241 0
/proc/304489/statm: 12856 5031 1708 992 0 4714 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 51424 KiB
Current children cumulated memory: 20124 KiB
[startup+0.313769 s]*
/proc/loadavg: 4.27 4.26 4.16 5/253 304490
/proc/meminfo: memFree=109928136/131655788 swapFree=131058856/131071996
[pid=304489] ppid=304486 vsize=51424 memory=20124 CPUtime=0.32 cores=4,6
/proc/304489/stat : 304489 (roundingsat) R 304486 304489 301296 0 -1 4194304 4272 0 0 0 31 1 0 0 20 0 1 0 42963809 52658176 5031 134679101440 4194304 8254357 140730680620768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40783872 140730680623963 140730680624225 140730680624225 140730680631241 0
/proc/304489/statm: 12856 5031 1708 992 0 4714 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 51424 KiB
Current children cumulated memory: 20124 KiB
[startup+0.700376 s]
/proc/loadavg: 4.27 4.26 4.16 5/253 304490
/proc/meminfo: memFree=109921612/131655788 swapFree=131058856/131071996
[pid=304489] ppid=304486 vsize=51424 memory=20388 CPUtime=0.69 cores=4,6
/proc/304489/stat : 304489 (roundingsat) R 304486 304489 301296 0 -1 4194304 4288 0 0 0 67 2 0 0 20 0 1 0 42963809 52658176 5097 134679101440 4194304 8254357 140730680620768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40783872 140730680623963 140730680624225 140730680624225 140730680631241 0
/proc/304489/statm: 12856 5097 1708 992 0 4714 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 51424 KiB
Current children cumulated memory: 20388 KiB
[startup+1.50035 s]
/proc/loadavg: 4.27 4.26 4.16 5/253 304490
/proc/meminfo: memFree=109902152/131655788 swapFree=131058856/131071996
[pid=304489] ppid=304486 vsize=53176 memory=25248 CPUtime=1.49 cores=4,6
/proc/304489/stat : 304489 (roundingsat) R 304486 304489 301296 0 -1 4194304 4962 0 0 0 140 9 0 0 20 0 1 0 42963809 54452224 6312 134679101440 4194304 8254357 140730680620768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40783872 140730680623963 140730680624225 140730680624225 140730680631241 0
/proc/304489/statm: 13294 6312 1755 992 0 5152 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 53176 KiB
Current children cumulated memory: 25248 KiB
[startup+3.11355 s]
/proc/loadavg: 4.24 4.26 4.16 5/255 304492
/proc/meminfo: memFree=109855876/131655788 swapFree=131058856/131071996
[pid=304489] ppid=304486 vsize=54444 memory=26796 CPUtime=3.09 cores=4,6
/proc/304489/stat : 304489 (roundingsat) R 304486 304489 301296 0 -1 4194304 5367 0 0 0 298 11 0 0 20 0 1 0 42963809 55750656 6699 134679101440 4194304 8254357 140730680620768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40783872 140730680623963 140730680624225 140730680624225 140730680631241 0
/proc/304489/statm: 13611 6699 1755 992 0 5469 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 54444 KiB
Current children cumulated memory: 26796 KiB
[startup+6.30029 s]
/proc/loadavg: 4.24 4.26 4.16 5/255 304492
/proc/meminfo: memFree=109758892/131655788 swapFree=131058856/131071996
[pid=304489] ppid=304486 vsize=55084 memory=27588 CPUtime=6.27 cores=4,6
/proc/304489/stat : 304489 (roundingsat) R 304486 304489 301296 0 -1 4194304 5576 0 0 0 612 15 0 0 20 0 1 0 42963809 56406016 6897 134679101440 4194304 8254357 140730680620768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40783872 140730680623963 140730680624225 140730680624225 140730680631241 0
/proc/304489/statm: 13771 6897 1755 992 0 5629 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 55084 KiB
Current children cumulated memory: 27588 KiB
[startup+12.7003 s]
/proc/loadavg: 4.30 4.27 4.17 5/255 304494
/proc/meminfo: memFree=109591208/131655788 swapFree=131058856/131071996
[pid=304489] ppid=304486 vsize=60564 memory=31564 CPUtime=12.65 cores=4,6
/proc/304489/stat : 304489 (roundingsat) R 304486 304489 301296 0 -1 4194304 6479 0 0 0 1229 36 0 0 20 0 1 0 42963809 62017536 7891 134679101440 4194304 8254357 140730680620768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40783872 140730680623963 140730680624225 140730680624225 140730680631241 0
/proc/304489/statm: 15141 7891 1865 992 0 6999 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 60564 KiB
Current children cumulated memory: 31564 KiB
[startup+25.5004 s]
/proc/loadavg: 4.24 4.26 4.17 5/255 304495
/proc/meminfo: memFree=109290332/131655788 swapFree=131058856/131071996
[pid=304489] ppid=304486 vsize=64076 memory=36832 CPUtime=25.42 cores=4,6
/proc/304489/stat : 304489 (roundingsat) R 304486 304489 301296 0 -1 4194304 7795 0 0 0 2476 66 0 0 20 0 1 0 42963809 65613824 9208 134679101440 4194304 8254357 140730680620768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40783872 140730680623963 140730680624225 140730680624225 140730680631241 0
/proc/304489/statm: 16019 9208 1865 992 0 7877 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 64076 KiB
Current children cumulated memory: 36832 KiB
[startup+51.1136 s]
/proc/loadavg: 4.28 4.27 4.17 5/255 304500
/proc/meminfo: memFree=108651104/131655788 swapFree=131058856/131071996
[pid=304489] ppid=304486 vsize=115384 memory=75556 CPUtime=50.97 cores=4,6
/proc/304489/stat : 304489 (roundingsat) R 304486 304489 301296 0 -1 4194304 11551 0 0 0 4944 153 0 0 20 0 1 0 42963809 118153216 18889 134679101440 4194304 8254357 140730680620768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40783872 140730680623963 140730680624225 140730680624225 140730680631241 0
/proc/304489/statm: 28846 18889 1865 992 0 20704 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 115384 KiB
Current children cumulated memory: 75556 KiB
[startup+102.3 s]
/proc/loadavg: 4.24 4.26 4.17 5/255 304509
/proc/meminfo: memFree=108060696/131655788 swapFree=131058856/131071996
[pid=304489] ppid=304486 vsize=156256 memory=104024 CPUtime=102.02 cores=4,6
/proc/304489/stat : 304489 (roundingsat) R 304486 304489 301296 0 -1 4194304 14608 0 0 0 9947 255 0 0 20 0 1 0 42963809 160006144 26006 134679101440 4194304 8254357 140730680620768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40783872 140730680623963 140730680624225 140730680624225 140730680631241 0
/proc/304489/statm: 39064 26006 1865 992 0 30922 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 156256 KiB
Current children cumulated memory: 104024 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.22 4.17 5/254 304519
/proc/meminfo: memFree=107624792/131655788 swapFree=131058856/131071996
[pid=304489] ppid=304486 vsize=168268 memory=136280 CPUtime=161.86 cores=4,6
/proc/304489/stat : 304489 (roundingsat) R 304486 304489 301296 0 -1 4194304 17580 0 0 0 15799 387 0 0 20 0 1 0 42963809 172306432 34070 134679101440 4194304 8254357 140730680620768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40783872 140730680623963 140730680624225 140730680624225 140730680631241 0
/proc/304489/statm: 42067 34070 1865 992 0 33925 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 168268 KiB
Current children cumulated memory: 136280 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.21 4.17 5/253 304532
/proc/meminfo: memFree=105652156/131655788 swapFree=131058856/131071996
[pid=304489] ppid=304486 vsize=224568 memory=149756 CPUtime=221.7 cores=4,6
/proc/304489/stat : 304489 (roundingsat) R 304486 304489 301296 0 -1 4194304 19457 0 0 0 21649 521 0 0 20 0 1 0 42963809 229957632 37439 134679101440 4194304 8254357 140730680620768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40783872 140730680623963 140730680624225 140730680624225 140730680631241 0
/proc/304489/statm: 56142 37439 1865 992 0 48000 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 224568 KiB
Current children cumulated memory: 149756 KiB
[startup+282.3 s]
/proc/loadavg: 4.19 4.21 4.17 5/260 304549
/proc/meminfo: memFree=104451204/131655788 swapFree=131058856/131071996
[pid=304489] ppid=304486 vsize=225796 memory=179612 CPUtime=281.54 cores=4,6
/proc/304489/stat : 304489 (roundingsat) R 304486 304489 301296 0 -1 4194304 20223 0 0 0 27548 606 0 0 20 0 1 0 42963809 231215104 44903 134679101440 4194304 8254357 140730680620768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40783872 140730680623963 140730680624225 140730680624225 140730680631241 0
/proc/304489/statm: 56449 44903 1865 992 0 48307 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 225796 KiB
Current children cumulated memory: 179612 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.19 4.17 5/259 304559
/proc/meminfo: memFree=104099264/131655788 swapFree=131058856/131071996
[pid=304489] ppid=304486 vsize=319268 memory=262648 CPUtime=341.38 cores=4,6
/proc/304489/stat : 304489 (roundingsat) R 304486 304489 301296 0 -1 4194304 23615 0 0 0 33427 711 0 0 20 0 1 0 42963809 326930432 65662 134679101440 4194304 8254357 140730680620768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40783872 140730680623963 140730680624225 140730680624225 140730680631241 0
/proc/304489/statm: 79817 65662 1865 992 0 71675 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 319268 KiB
Current children cumulated memory: 262648 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.17 4.16 5/259 304571
/proc/meminfo: memFree=103774872/131655788 swapFree=131058856/131071996
[pid=304489] ppid=304486 vsize=322560 memory=265552 CPUtime=401.22 cores=4,6
/proc/304489/stat : 304489 (roundingsat) R 304486 304489 301296 0 -1 4194304 24361 0 0 0 39288 834 0 0 20 0 1 0 42963809 330301440 66388 134679101440 4194304 8254357 140730680620768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40783872 140730680623963 140730680624225 140730680624225 140730680631241 0
/proc/304489/statm: 80640 66388 1865 992 0 72498 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 322560 KiB
Current children cumulated memory: 265552 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.15 4.16 5/259 304581
/proc/meminfo: memFree=103435812/131655788 swapFree=131058856/131071996
[pid=304489] ppid=304486 vsize=327968 memory=271504 CPUtime=461.05 cores=4,6
/proc/304489/stat : 304489 (roundingsat) R 304486 304489 301296 0 -1 4194304 25842 0 0 0 45180 925 0 0 20 0 1 0 42963809 335839232 67876 134679101440 4194304 8254357 140730680620768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40783872 140730680623963 140730680624225 140730680624225 140730680631241 0
################
# More data... #
################
/proc/loadavg: 4.17 4.20 4.18 5/255 305311
/proc/meminfo: memFree=91619664/131655788 swapFree=131058856/131071996
[pid=304489] ppid=304486 vsize=709292 memory=484828 CPUtime=1298.74 cores=4,6
/proc/304489/stat : 304489 (roundingsat) R 304486 304489 301296 0 -1 4194304 37242 0 0 0 127741 2133 0 0 20 0 1 0 42963809 726315008 121207 134679101440 4194304 8254357 140730680620768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40783872 140730680623963 140730680624225 140730680624225 140730680631241 0
/proc/304489/statm: 177323 121207 1865 992 0 169181 0
Current children cumulated CPU time: 1298.74 s
Current children cumulated vsize: 709292 KiB
Current children cumulated memory: 484828 KiB
[startup+1362.3 s]
/proc/loadavg: 4.12 4.18 4.18 5/254 305322
/proc/meminfo: memFree=91538368/131655788 swapFree=131058856/131071996
[pid=304489] ppid=304486 vsize=711084 memory=486596 CPUtime=1358.57 cores=4,6
/proc/304489/stat : 304489 (roundingsat) R 304486 304489 301296 0 -1 4194304 37717 0 0 0 133669 2188 0 0 20 0 1 0 42963809 728150016 121649 134679101440 4194304 8254357 140730680620768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40783872 140730680623963 140730680624225 140730680624225 140730680631241 0
/proc/304489/statm: 177771 121649 1865 992 0 169629 0
Current children cumulated CPU time: 1358.57 s
Current children cumulated vsize: 711084 KiB
Current children cumulated memory: 486596 KiB
[startup+1422.3 s]
/proc/loadavg: 4.20 4.19 4.18 5/254 305333
/proc/meminfo: memFree=90709628/131655788 swapFree=131058856/131071996
[pid=304489] ppid=304486 vsize=723016 memory=497188 CPUtime=1418.39 cores=4,6
/proc/304489/stat : 304489 (roundingsat) R 304486 304489 301296 0 -1 4194304 40804 0 0 0 139589 2250 0 0 20 0 1 0 42963809 740368384 124297 134679101440 4194304 8254357 140730680620768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40783872 140730680623963 140730680624225 140730680624225 140730680631241 0
/proc/304489/statm: 180754 124297 1865 992 0 172612 0
Current children cumulated CPU time: 1418.39 s
Current children cumulated vsize: 723016 KiB
Current children cumulated memory: 497188 KiB
[startup+1482.3 s]
/proc/loadavg: 4.19 4.18 4.18 5/258 305347
/proc/meminfo: memFree=89608372/131655788 swapFree=131058856/131071996
[pid=304489] ppid=304486 vsize=723372 memory=497548 CPUtime=1478.22 cores=4,6
/proc/304489/stat : 304489 (roundingsat) R 304486 304489 301296 0 -1 4194304 41320 0 0 0 145486 2336 0 0 20 0 1 0 42963809 740732928 124387 134679101440 4194304 8254357 140730680620768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40783872 140730680623963 140730680624225 140730680624225 140730680631241 0
/proc/304489/statm: 180843 124387 1865 992 0 172701 0
Current children cumulated CPU time: 1478.22 s
Current children cumulated vsize: 723372 KiB
Current children cumulated memory: 497548 KiB
[startup+1542.3 s]
/proc/loadavg: 4.20 4.18 4.18 5/258 305357
/proc/meminfo: memFree=89465252/131655788 swapFree=131058856/131071996
[pid=304489] ppid=304486 vsize=723260 memory=497692 CPUtime=1538.06 cores=4,6
/proc/304489/stat : 304489 (roundingsat) R 304486 304489 301296 0 -1 4194304 41766 0 0 0 151373 2433 0 0 20 0 1 0 42963809 740618240 124423 134679101440 4194304 8254357 140730680620768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40783872 140730680623963 140730680624225 140730680624225 140730680631241 0
/proc/304489/statm: 180815 124423 1865 992 0 172673 0
Current children cumulated CPU time: 1538.06 s
Current children cumulated vsize: 723260 KiB
Current children cumulated memory: 497692 KiB
[startup+1602.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/251 305368
/proc/meminfo: memFree=88958436/131655788 swapFree=131058856/131071996
[pid=304489] ppid=304486 vsize=723552 memory=497692 CPUtime=1597.9 cores=4,6
/proc/304489/stat : 304489 (roundingsat) R 304486 304489 301296 0 -1 4194304 41802 0 0 0 157289 2501 0 0 20 0 1 0 42963809 740917248 124423 134679101440 4194304 8254357 140730680620768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40783872 140730680623963 140730680624225 140730680624225 140730680631241 0
/proc/304489/statm: 180888 124423 1865 992 0 172746 0
Current children cumulated CPU time: 1597.9 s
Current children cumulated vsize: 723552 KiB
Current children cumulated memory: 497692 KiB
[startup+1662.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/251 305379
/proc/meminfo: memFree=87968204/131655788 swapFree=131058856/131071996
[pid=304489] ppid=304486 vsize=726364 memory=500792 CPUtime=1657.71 cores=4,6
/proc/304489/stat : 304489 (roundingsat) R 304486 304489 301296 0 -1 4194304 42614 0 0 0 163221 2550 0 0 20 0 1 0 42963809 743796736 125198 134679101440 4194304 8254357 140730680620768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40783872 140730680623963 140730680624225 140730680624225 140730680631241 0
/proc/304489/statm: 181591 125198 1865 992 0 173449 0
Current children cumulated CPU time: 1657.71 s
Current children cumulated vsize: 726364 KiB
Current children cumulated memory: 500792 KiB
[startup+1702.27 s]
# the end of solver process 304489 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1671.46 s, system=25.9167 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1664 s]*
/proc/loadavg: 4.13 4.16 4.17 5/251 305379
/proc/meminfo: memFree=87955040/131655788 swapFree=131058856/131071996
[pid=304489] ppid=304486 vsize=726364 memory=500792 CPUtime=1659.43 cores=4,6
/proc/304489/stat : 304489 (roundingsat) R 304486 304489 301296 0 -1 4194304 42638 0 0 0 163391 2552 0 0 20 0 1 0 42963809 743796736 125198 134679101440 4194304 8254357 140730680620768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40783872 140730680623963 140730680624225 140730680624225 140730680631241 0
/proc/304489/statm: 181591 125198 1865 992 0 173449 0
Current children cumulated CPU time: 1659.43 s
Current children cumulated vsize: 726364 KiB
Current children cumulated memory: 500792 KiB
[startup+1689.6 s]
/proc/loadavg: 4.08 4.14 4.17 5/251 305385
/proc/meminfo: memFree=87485832/131655788 swapFree=131058856/131071996
[pid=304489] ppid=304486 vsize=729428 memory=522044 CPUtime=1684.93 cores=4,6
/proc/304489/stat : 304489 (roundingsat) R 304486 304489 301296 0 -1 4194304 43338 0 0 0 165922 2571 0 0 20 0 1 0 42963809 746934272 130511 134679101440 4194304 8254357 140730680620768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40783872 140730680623963 140730680624225 140730680624225 140730680631241 0
/proc/304489/statm: 182357 130511 1865 992 0 174215 0
Current children cumulated CPU time: 1684.93 s
Current children cumulated vsize: 729428 KiB
Current children cumulated memory: 522044 KiB
[startup+1696 s]*
/proc/loadavg: 4.16 4.16 4.17 5/251 305387
/proc/meminfo: memFree=87352028/131655788 swapFree=131058856/131071996
[pid=304489] ppid=304486 vsize=730524 memory=524724 CPUtime=1691.33 cores=4,6
/proc/304489/stat : 304489 (roundingsat) R 304486 304489 301296 0 -1 4194304 43933 0 0 0 166554 2579 0 0 20 0 1 0 42963809 748056576 131181 134679101440 4194304 8254357 140730680620768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40783872 140730680623963 140730680624225 140730680624225 140730680631241 0
/proc/304489/statm: 182631 131181 1865 992 0 174489 0
Current children cumulated CPU time: 1691.33 s
Current children cumulated vsize: 730524 KiB
Current children cumulated memory: 524724 KiB
[startup+1699.2 s]
/proc/loadavg: 4.14 4.15 4.17 5/251 305387
/proc/meminfo: memFree=87329900/131655788 swapFree=131058856/131071996
[pid=304489] ppid=304486 vsize=730684 memory=524984 CPUtime=1694.51 cores=4,6
/proc/304489/stat : 304489 (roundingsat) R 304486 304489 301296 0 -1 4194304 44016 0 0 0 166867 2584 0 0 20 0 1 0 42963809 748220416 131246 134679101440 4194304 8254357 140730680620768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40783872 140730680623963 140730680624225 140730680624225 140730680631241 0
/proc/304489/statm: 182671 131246 1865 992 0 174529 0
Current children cumulated CPU time: 1694.51 s
Current children cumulated vsize: 730684 KiB
Current children cumulated memory: 524984 KiB
[startup+1700.8 s]
/proc/loadavg: 4.14 4.15 4.17 5/251 305388
/proc/meminfo: memFree=87319540/131655788 swapFree=131058856/131071996
[pid=304489] ppid=304486 vsize=730684 memory=524984 CPUtime=1696.11 cores=4,6
/proc/304489/stat : 304489 (roundingsat) R 304486 304489 301296 0 -1 4194304 44016 0 0 0 167025 2586 0 0 20 0 1 0 42963809 748220416 131246 134679101440 4194304 8254357 140730680620768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40783872 140730680623963 140730680624225 140730680624225 140730680631241 0
/proc/304489/statm: 182671 131246 1865 992 0 174529 0
Current children cumulated CPU time: 1696.11 s
Current children cumulated vsize: 730684 KiB
Current children cumulated memory: 524984 KiB
[startup+1701.6 s]
/proc/loadavg: 4.14 4.15 4.17 5/251 305388
/proc/meminfo: memFree=87307968/131655788 swapFree=131058856/131071996
[pid=304489] ppid=304486 vsize=730684 memory=524984 CPUtime=1696.9 cores=4,6
/proc/304489/stat : 304489 (roundingsat) R 304486 304489 301296 0 -1 4194304 44016 0 0 0 167103 2587 0 0 20 0 1 0 42963809 748220416 131246 134679101440 4194304 8254357 140730680620768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40783872 140730680623963 140730680624225 140730680624225 140730680631241 0
/proc/304489/statm: 182671 131246 1865 992 0 174529 0
Current children cumulated CPU time: 1696.9 s
Current children cumulated vsize: 730684 KiB
Current children cumulated memory: 524984 KiB
[startup+1702 s]*
/proc/loadavg: 4.14 4.15 4.17 5/251 305388
/proc/meminfo: memFree=87284456/131655788 swapFree=131058856/131071996
[pid=304489] ppid=304486 vsize=730684 memory=524984 CPUtime=1697.32 cores=4,6
/proc/304489/stat : 304489 (roundingsat) R 304486 304489 301296 0 -1 4194304 44016 0 0 0 167144 2588 0 0 20 0 1 0 42963809 748220416 131246 134679101440 4194304 8254357 140730680620768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40783872 140730680623963 140730680624225 140730680624225 140730680631241 0
/proc/304489/statm: 182671 131246 1865 992 0 174529 0
Current children cumulated CPU time: 1697.32 s
Current children cumulated vsize: 730684 KiB
Current children cumulated memory: 524984 KiB
[startup+1702.2 s]
/proc/loadavg: 4.14 4.15 4.17 5/251 305388
/proc/meminfo: memFree=87284456/131655788 swapFree=131058856/131071996
[pid=304489] ppid=304486 vsize=730684 memory=524984 CPUtime=1697.33 cores=4,6
/proc/304489/stat : 304489 (roundingsat) D 304486 304489 301296 0 -1 4194304 44016 0 0 0 167145 2588 0 0 20 0 1 0 42963809 748220416 131246 134679101440 4194304 8254357 140730680620768 0 0 0 0 0 25182210 0 0 0 17 6 0 0 31 0 0 9037040 9046032 40783872 140730680623963 140730680624225 140730680624225 140730680631241 0
/proc/304489/statm: 182671 131246 1865 992 0 174529 0
Current children cumulated CPU time: 1697.33 s
Current children cumulated vsize: 730684 KiB
Current children cumulated memory: 524984 KiB
Child status: 0
Real time (s): 1702.28
CPU time (s): 1697.37
CPU user time (s): 1671.46
CPU system time (s): 25.9167
CPU usage (%): 99.712
Max. virtual memory (cumulated for all children) (KiB): 732024
Max. memory (cumulated for all children) (KiB): 526196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1671.46
system time used= 25.9167
maximum resident set size= 526196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44024
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4608552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1040
involuntary context switches= 2248
# summary of solver processes directly reported to runsolver:
# pid: 304489
# total CPU time (s): 1697.37
# total CPU user time (s): 1671.46
# total CPU system time (s): 25.9167
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.86299 second user time and 16.641 second system time
The end
Begin job on nodeC009 at 2024-07-27 10:42:19 IDJOB=4460664 IDBENCH=158360 IDSOLVER=3086 FILE ID=nodeC009/4460664-1722069739 RUNJOBID= nodeC009-1722064837-301307 SLURM_JOB_ID= 8248111 Free space on /tmp= 723620 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-4460664-1722069739/watcher-4460664-1722069739 -o /tmp/evaluation-result-4460664-1722069739/solver-4460664-1722069739 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722064837-301307 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460664-1722069739 --lp-cut-gomory=0 HOME/instance-4460664-1722069739.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 86c4e69ec1b5c87cf6b12225bb221f99 RANDOM SEED=1135578224 nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3580.827 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3623.955 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.383 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.392 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3616.486 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3493.547 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.255 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.334 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 109950120 kB MemAvailable: 125619852 kB Buffers: 385124 kB Cached: 16023344 kB SwapCached: 4924 kB Active: 2069396 kB Inactive: 18865928 kB Active(anon): 1608 kB Inactive(anon): 4578780 kB Active(file): 2067788 kB Inactive(file): 14287148 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131058856 kB Dirty: 668024 kB Writeback: 8 kB AnonPages: 4520216 kB Mapped: 102204 kB Shmem: 53492 kB KReclaimable: 309992 kB Slab: 443264 kB SReclaimable: 309992 kB SUnreclaim: 133272 kB KernelStack: 4048 kB PageTables: 18508 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 5677788 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18848 kB HardwareCorrupted: 0 kB AnonHugePages: 2377728 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: 367432 kB DirectMap2M: 44625920 kB DirectMap1G: 91226112 kB Free space on /tmp at the end= 723616 MiB End job on nodeC009 at 2024-07-27 11:10:42